Searcharxiv⌕ Search

arXiv subjects

Dimitry Leites

Publications and source records attributed to Dimitry Leites.

At least 37 records · Page 2Linked to original sources

Simple Vectorial Lie Algebras in Characteristic 2 and their Superizations

We overview the classifications of simple finite-dimensional modular Lie algebras. In characteristic 2, their list is wider than that in other characteristics; e.g., it contains desuperizations of modular analogs of complex simple vectorial Lie superalgebras. We consider odd parameters of deformations. For all 15 Weisfeiler gradings of the 5 exceptional families, and one Weisfeiler grading for each of 2 serial simple complex Lie superalgebras (with 2 exceptional subseries), we describe their characteristic-2 analogs - new simple Lie algebras. Descriptions of several of these analogs, and of their desuperizations, are far from obvious. One of the exceptional simple vectorial Lie algebras is a previously unknown deform (the result of a deformation) of the characteristic-2 version of the Lie algebra of divergence-free vector fields; this is a new simple Lie algebra with no analogs in characteristics distinct from 2. In characteristic 2, every simple Lie superalgebra can be obtained from a simple Lie algebra by one of the two methods described in arXiv:1407.1695. Most of the simple Lie superalgebras thus obtained from simple Lie algebras we describe here are new.

math.RT↗

Duflo-Serganova homology for exceptional modular Lie superalgebras with Cartan matrix

For the exceptional finite-dimensional modular Lie superalgebras $\mathfrak{g}(A)$ with indecomposable Cartan matrix $A$, and their simple subquotients, we computed non-isomorphic Lie superalgebras constituting the homologies of the odd elements with zero square. These homologies are~key ingredients in the Duflo--Serganova approach to the representation theory. There were two definitions of defect of Lie superalgebras in the literature with different ranges of application. We suggest a third definition and an easy-to-use way to find its value. In positive characteristic, we found out one more reason to consider the space of roots over reals, unlike the space of weights, which should be considered over the ground field. We proved that the rank of the homological element (decisive in calculating the defect of a given Lie superalgebra) should be considered in the adjoint module, not the irreducible module of least dimension (although the latter is sometimes possible to consider, e.g., for $p=0$). We also computed the above homology for the only case of simple Lie superalgebras with symmetric root system not considered so far over the field of complex numbers, and its modular versions: $\mathfrak{psl}(a|a+pk)$ for $a$ and $k$ small, and $p=2, 3, 5$.

math.RT↗

How to superize the notion of Kaehler manifold

The definition of Kaehler manifold is superized. In the super setting, it admits a continuous parameter, unlike their analogs on manifolds. This parameter runs the same singular supervariety of parameters that parameterize deformations of the Schouten bracket (a.k.a. Buttin bracket, a.k.a. anti-bracket) considered as deformations of the Lie superalgebra structure given by the bracket. The same idea yields definitions of several versions of hyper-Kaeahler supermanifolds depending on parameters that also run over a singular supervariety. Moreover, the same idea is potentially applicable to the Kaehler and hyper-Kaehler manifolds (or supermanifolds corresponding to the even tensors that define them); in these cases infinite-dimensional (super)manifolds should enter the picture. Strangely enough, "how to embody this idea for the case of only even tensors involved?" is an open problem. The actions of Lie algebras on the space of differential forms on symplectic, and hyper-Kaehler manifold (known already to A.Weil, and Verbitsky, respectively) are extended to actions of Lie superalgebras on the same spaces with values in a line bundle with a maximally non-integrable connections, see Leites D., Shchepochkina I., The Howe duality and Lie superalgebras. In: S.~Duplij and J.~Wess (eds.) "Noncommutative Structures in Mathematics and Physics", Proc. NATO Advanced Research Workshop, Kiev, 2000. Kluwer, 2001, 93--112; arXiv:math.RT/0202181.

math.DG↗

Inverses of Cartan matrices of Lie algebras and Lie superalgebras

The inverses of indecomposable Cartan matrices are computed for finite-dimensional Lie algebras and Lie superalgebras over fields of any characteristic, and for hyperbolic (almost affine) complex Lie (super)algebras. We discovered three yet inexplicable new phenomena, of which (a) and (b) concern hyperbolic (almost affine) complex Lie (super)algebras, except for the 5 Lie superalgebras whose Cartan matrices have 0 on the main diagonal: (a) several of the inverses of Cartan matrices have all their elements negative (not just non-positive, as they should be according to an a priori characterization due to Zhang Hechun); (b) the 0s only occur on the main diagonals of the inverses; (c) the determinants of inequivalent Cartan matrices of the simple Lie (super)algebra may differ (in any characteristic). We interpret most of the results of Wei Yangjiang and Zou Yi Ming, Inverses of Cartan matrices of Lie algebras and Lie superalgebras, Linear Alg. Appl., 521 (2017) 283--298 as inverses of the Gram matrices of non-degenerate invariant symmetric bilinear forms on the (super)algebras considered, not of Cartan matrices, and give more adequate references. In particular, the inverses of Cartan matrices of simple Lie algebras were already published, starting with Dynkin's paper in 1952, see also Table 2 in Springer's book by Onishchik and Vinberg (1990).

math.RT↗

The Dzhumadildaev brackets: a hidden supersymmetry of commutators and the Amitsur-Levitzki-type identities

The Amitsur-Levitzki identity for matrices was generalized in several directions: by Kostant for simple finite-dimensional Lie algebras, by Kirillov (later joined by Kontsevich, Molev, Ovsienko, and Udalova) for simple vectorial Lie algebras with polynomial coefficients, and by Gie, Pinczon, and Ushirobira for the orthosymplectic Lie superalgebra $\mathfrak{osp}(1|n)$. Dzhumadildaev switched the focus of attention in these results by considering the algebra formed by antisymmetrizors and discovered a hidden supersymmetry of commutators. We overview these results and their possible generalizations (open problems).

math.RA↗

Two problems in the theory of differential equations

1) The differential equation considered in terms of exterior differential forms, as É.Cartan did, singles out a differential ideal in the supercommutative superalgebra of differential forms, hence an affine supervariety. In view of this observation, it is evident that every differential equation has a supersymmetry (perhaps trivial). Superymmetries of which (systems of) classical differential equations are missed yet? 2) Why criteria of formal integrability of differential equations are never used in practice?

math-ph↗

The roots of exceptional modular Lie superalgebras with Cartan matrix

For each of the exceptional Lie superalgebras with indecomposable Cartan matrix, we give the explicit list of its roots of and the corresponding Chevalley basis for one of the inequivalent Cartan matrices, the one corresponding to the greatest number of mutually orthogonal isotropic odd simple roots. Our main tools: Grozman's Mathematica-based code SuperLie, and Python.

math.RT↗

Restricted simple Lie (super)algebras in characteristic $3$

We give explicit formulas proving restrictedness of the following Lie (super)algebras: known exceptional simple vectorial Lie (super)algebras in characteristic 3, deformed Lie (super)algebras with indecomposable Cartan matrix, and (under certain conditions) their simple subquotients over an algebraically closed field of characteristic 3, as well as one type of the deformed divergence-free Lie superalgebras with any number of indeterminates in any characteristic.

math.RT↗

Classification of simple Lie superalgebras in characteristic $2$

All results concern characteristic 2. Two procedures that to every simple Lie algebra assign simple Lie superalgebras, most of the latter new, are offered. We prove that every simple finite-dimensional Lie superalgebra is obtained as the result of one of these procedures, so we classified all simple finite-dimensional Lie superalgebras modulo non-existing at the moment classification of simple finite-dimensional Lie algebras. This result concerns Lie superalgebras considered naively, as vector spaces. To obtain classification of simple Lie superalgebras in the category of supervarieties, one should list the non-isomorphic deforms (results of deformations) with odd parameter. This problem is open bar several examples described in arXiv~0807.3054. For Lie algebras, in addition to the known ---"classical" --- restrictedness, we introduce a (2,4)-structure on the two non-alternating series: orthogonal and of Hamiltonian vector fields. For Lie superalgebras, the classical restrictedness of Lie algebras has two analogs: $(2|4)$- and $(2|2)$-structures, one more analog --- a $(2,4)|4$-structure on Lie superalgebras is the analog of (2,4)-structure on Lie algebras.

math.RT↗

Non-degenerate invariant (super)symmetric bilinear forms on simple Lie (super)algebras

We review the list of non-degenerate invariant (super)symmetric bilinear forms (briefly: NIS) on the following simple (relatives of) Lie (super)algebras: (a) with symmetrizable Cartan matrix of any growth, (b) with non-symmetrizable Cartan matrix of polynomial growth, (c) Lie (super)algebras of vector fields with polynomial coefficients, (d) stringy a.k.a. superconformal superalgebras, (e) queerifications of simple restricted Lie algebras. Over algebraically closed fields of positive characteristic, we establish when the deform (i.e., the result of deformation) of the known finite-dimensional simple Lie (super)algebra has a NIS. Amazingly, in most of the cases considered, if the Lie (super)algebra has a NIS, its deform has a NIS with the same Gram matrix after an identification of bases of the initial and deformed algebras. We do not consider odd parameters of deformations. Closely related with simple Lie (super)algebras with NIS is the notion of doubly extended Lie (super)algebras of which affine Kac--Moody (super)algebras are the most known examples.

math.RT↗

Invariant differential operators in positive characteristic

We consider an analog of the problem Veblen formulated in 1928 at the IMC: classify invariant differential operators between "natural objects" (spaces of either tensor fields, or jets, in modern terms) over a real manifold of any dimension. For unary operators, the problem was solved by Rudakov (no nonscalar operators except the exterior differential); for binary ones, by Grozman (there are no operators of orders higher than 3, operators of order 2 and 3 are, bar an exception in dimension 1, compositions of order 1 operators which, up to dualization and permutation of arguments, form 8 families). In dimension one, Grozman discovered an indecomposable selfdual operator of order 3 that does not exist in higher dimensions. We solve Veblen's problem in the 1-dimensional case over the ground field of positive characteristic. In addition to analogs of the Berezin integral (strangely overlooked so far) and binary operators constructed from them, we discovered two more (up to dualization) types of indecomposable operators of however high order: analogs of the Grozman operator and a completely new type of operators.

math.RT↗

Lie algebra deformations in characteristic 2

Of four types of Kaplansky algebras, type-2 and type-4 algebras have previously unobserved $\mathbb{Z}/2$-gradings: nonlinear in roots. A method assigning a simple Lie superalgebra to every $\mathbb{Z}/2$-graded simple Lie algebra in characteristic 2 is illustrated by seven new series. Type-2 algebras and one of the two type-4 algebras are demystified as nontrivial deforms (the results of deformations) of the alternate Hamiltonian algebras. The type-1 Kaplansky algebra is recognized as the derived of the nonalternate version of the Hamiltonian Lie algebra, the one that preserves a tensorial 2-form, not an exterior one. Deforms corresponding to nontrivial cohomology classes can be isomorphic to the initial algebra, e.g., we confirm Grishkov's implicit claim and explicitly describe the Jurman algebra as such a "semitrivial" deform of the derived of the alternate Hamiltonian Lie algebra. This paper helps to sharpen the formulation of a conjecture describing all simple finite-dimensional Lie algebras over any algebraically closed field of nonzero characteristic and supports a conjecture of Dzhumadildaev and Kostrikin stating that all simple finite-dimensional modular Lie algebras are either of "standard" type or deforms thereof. In characteristic 2, we give sufficient conditions for the known deformations to be semitrivial.

math.RT↗

Structures of G(2) type and nonintegrable distributions in characteristic p

Lately we observe: (1) an upsurge of interest (in particular, triggered by a paper by Atiyah and Witten) to manifolds with G(2)-type structure; (2) classifications are obtained of simple (finite dimensional and graded vectorial) Lie superalgebras over fields of complex and real numbers and of simple finite dimensional Lie algebras over algebraically closed fields of characteristic p>3; (3) importance of nonintegrable distributions in (1) -- (2). We add to interrelation of (1)--(3) an explicit description of several exceptional simple Lie algebras for p=2, 3 (Melikyan algebras; Brown, Ermolaev, Frank, and Skryabin algebras) as subalgebras of Lie algebras of vector fields preserving nonintegrable distributions analogous to (or identical with) those preserved by G(2), O(7), Sp(4) and Sp(10). The description is performed in terms of Cartan-Tanaka-Shchepochkina prolongs and is similar to descriptions of simple Lie superalgebras of vector fields with polynomial coefficients. Our results illustrate usefulness of Shchepochkina's algorithm and SuperLie package; two families of simple Lie algebras found in the process might be new.

math.RT↗

Shapovalov determinant for loop superalgebras

Let a given finite dimensional simple Lie superalgebra g possess an even invariant non-degenerate supersymmetric bilinear form. We show how to recover the quadratic Casimir element for the Kac-Moody superalgebra related to the loop superalgebra with values in g from the quadratic Casimir element for g. Our main tool here is an explicit Wick normal form of the even quadratic Casimir operator for the Kac--Moody superalgebra associated with g; this Wick normal form is of independent interest. If g possesses an odd invariant supersymmetric bilinear form we compute the cubic Casimir element. In addition to the cases of Lie superalgebras g(A) with Cartan matrix A for which the answer was known, we consider the Poisson Lie superalgebra poi(0|n) and the related Kac--Moody superalgebra.

math.RT↗

Simple prolongs of the non-positive parts of graded Lie algebras with Cartan matrix in characteristic 2

Over an algebraically closed fields, an alternative to the method due to Kostrikin and Shafarevich was recently suggested. It produces all known simple finite dimensional Lie algebras in characteristic p>2. For p=2, we investigate one of the steps of this method, interpret several other simple Lie algebras, previously known only as sums of their components, as Lie algebras of vector fields. One new series of exceptional simple Lie algebras is discovered, together with its "hidden supersymmetries". In characteristic 2, certain simple Lie algebras are "desuperizations" of simple Lie superalgebras. Several simple Lie algebras we describe as results of generalized Cartan prolongation of the non-positive parts, relative a simplest (by declaring degree of just one pair of root vectors corresponding to opposite simple roots nonzero) grading by integers, of Lie algebras with Cartan matrix are "desuperizations" of characteristic 2 versions of complex simple exceptional vectorial Lie superalgebras. We list the Lie superalgebras (some of them new) obtained from the Lie algebras considered by declaring certain generators odd. One of the simple Lie algebras obtained is the prolong relative to a non-simplest grading, so the classification to be obtained might be more involved than we previously thought.

math.RT↗

Minkowski superspaces and superstrings as almost real-complex supermanifolds

In 1996/7, J. Bernstein observed that smooth or analytic supermanifolds that mathematicians study are real or (almost) complex ones, while Minkowski superspaces are completely different objects. They are what we call almost real-complex supermanifolds, i.e., real supermanifolds with a non-integrable distribution, the collection of subspaces of the tangent space, and in every subspace a complex structure is given. An almost complex structure on a real supermanifold can be given by an even or odd operator; it is complex (without "always") if the suitable superization of the Nijenhuis tensor vanishes. On almost real-complex supermanifolds, we define the circumcised analog of the Nijenhuis tensor. We compute it for the Minkowski superspaces and superstrings. The space of values of the circumcised Nijenhuis tensor splits into (indecomposable, generally) components whose irreducible constituents are similar to those of Riemann or Penrose tensors. The Nijenhuis tensor vanishes identically only on superstrings of superdimension 1|1 and, besides, the superstring is endowed with a contact structure. We also prove that all real forms of complex Grassmann algebras are isomorphic although singled out by manifestly different anti-involutions.

math.DG↗

Divided power (co)homology. Presentations of simple finite dimensional modular Lie superalgebras with Cartan matrix

For modular Lie superalgebras, new notions are introduced: Divided power homology and divided power cohomology. For illustration, we give presentations (in terms of analogs of Chevalley generators) of finite dimensional Lie (super)algebras with indecomposable Cartan matrix in characteristic 2 (and in other characteristics for completeness of the picture). We correct the currently available in the literature notions of Chevalley generators and Cartan matrix in the modular and super cases, and an auxiliary notion of the Dynkin diagram. In characteristic 2, the defining relations of simple classical Lie algebras of the A, D, E types are not only Serre ones; these non-Serre relations are same for Lie superalgebras with the same Cartan matrix and any distribution of parities of the generators. Presentations of simple orthogonal Lie algebras having no Cartan matrix are also given..

math.RT↗