-
Non-split superstrings of dimension $(1|2)$
Authors:
Dimitry Leites,
Alexander S. Tikhomirov
Abstract:
Any supermanifold diffeomorphic to one whose structure sheaf is the sheaf of sections of a~vector bundle over the underlying manifold is called split. Gawȩdzki (1977) and Batchelor (1979) were the first to prove that any smooth supermanifold is split. In 1981, P.~Green, and Palamodov, found examples of non-split analytic supermanifolds and described obstructions to splitness that were further stud…
▽ More
Any supermanifold diffeomorphic to one whose structure sheaf is the sheaf of sections of a~vector bundle over the underlying manifold is called split. Gawȩdzki (1977) and Batchelor (1979) were the first to prove that any smooth supermanifold is split. In 1981, P.~Green, and Palamodov, found examples of non-split analytic supermanifolds and described obstructions to splitness that were further studied by Manin (resp. Onishchik with his students) following Palamodov's (resp. Green's) approach. Following Palamodov, Donagi and Witten demonstrated that some of the moduli supervarieties of superstring theories are non-split. None of the above-mentioned authors considered odd parameters of supervarieties of obstructions to non-splitness. Here, using Palamodov's approach, we classify and describe the even (degree-2) and the odd (degree-1) obstructions to splitness of $(1|2)$-dimensional superstrings. In particular, we correct calculations of degree-2 obstructions due to Bunegina and Onishchik and confirm Manin's answer.
△ Less
Submitted 4 March, 2025;
originally announced March 2025.
-
Gordan-Rankin-Cohen operators on superstrings
Authors:
V. Bovdi,
D. Leites
Abstract:
We distinguish two classifications of bidifferential operators: between (A) spaces of modular forms and (B) spaces of weighted densities.
(A) The invariant under the projective action of $\text{SL}(2;\mathbb{Z})$ binary differential operators between spaces of modular forms of integer or half-integer weight on the 1-dimensional manifold were found by Gordan (called transvectants), rediscovered a…
▽ More
We distinguish two classifications of bidifferential operators: between (A) spaces of modular forms and (B) spaces of weighted densities.
(A) The invariant under the projective action of $\text{SL}(2;\mathbb{Z})$ binary differential operators between spaces of modular forms of integer or half-integer weight on the 1-dimensional manifold were found by Gordan (called transvectants), rediscovered and classified by Rankin and Cohen (called brackets), and, in still another context, by Janson and Peetre. The invariant under the algebraic supergroup $\text{OSp}(1|2; \mathbb{Z})$ super modular forms of integer and half-integer weight on $(1|1)$-dimensional superstrings with contact structure were introduced, bidifferential operators between them classified and further studied by Gieres-Theisen, Cohen-Manin-Zagier, and Gargoubi-Ovsienko.
(B) For any complex weights, we classify the analogs of Gordan-Rankin-Cohen (briefly: GRC) binary differential operators between spaces of weighted densities invariant under $\mathfrak{pgl}(2)$. For any complex weights, we classify the analogs of GRC-operators between spaces of weighted densities invariant under the Lie superalgebra $\mathfrak{osp}(1|2)$. In the case of $(1|1)$-dimensional superstring without any additional structure, we also classify the analogs of GRC-operators between spaces of any weighted densities invariant under the Lie superalgebra $\mathfrak{pgl}(1|2)$.
△ Less
Submitted 28 April, 2024;
originally announced April 2024.
-
Superized Leznov-Saveliev equations as the zero-curvature condition on a reduced connection
Authors:
Dimitry Leites
Abstract:
The equations of open 2-dimensional Toda lattice (TL) correspond to Leznov-Saveliev equations (LSE) interpreted as zero-curvature Yang-Mills equations on the variety of $O(3)$-orbits on the Minkowski space when the gauge algebra is the image of $\mathfrak{sl}(2)$ under a principal embedding into a simple finite-dimensional Lie algebra $\mathfrak{g}(A)$ with Cartan matrix $A$. The known integrable…
▽ More
The equations of open 2-dimensional Toda lattice (TL) correspond to Leznov-Saveliev equations (LSE) interpreted as zero-curvature Yang-Mills equations on the variety of $O(3)$-orbits on the Minkowski space when the gauge algebra is the image of $\mathfrak{sl}(2)$ under a principal embedding into a simple finite-dimensional Lie algebra $\mathfrak{g}(A)$ with Cartan matrix $A$. The known integrable super versions of TL equations correspond to matrices $A$ of two different types. I interpret the super LSE of one type 1 as zero-curvature equations for the \textit{reduced} connection on the non-integrable distribution on the supervariety of $OSp(1|2)$-orbits on the $N=1$-extended Minkowski superspace; the Leznov-Saveliev method of solution is applicable only to $\mathfrak{g}(A)$ finite-dimensional and admitting a superprincipal embedding $\mathfrak{osp}(1|2)\to\mathfrak{g}(A)$. The simplest LSE1 is the super Liouville equation; it can be also interpreted in terms of the superstring action. Olshanetsky introduced LSE2 -- another type of equations of super TL. Olshanetsky's equations, as well as LSE1 with infinite-dimensional $\mathfrak{g}(A)$, can be solved by the Inverse Scattering Method. To interpret these equations remains an open problem, except for the super Liouville equation -- the only case where these two types of LSE coincide. I also review related less known and less popular mathematical constructions involved.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Supertraces on queerified algebras
Authors:
Dimitry Leites,
Irina Shchepochkina
Abstract:
We describe supertraces on ``queerifications'' (see arxiv:2203.06917) of the algebras of matrices of ``complex size'', algebras of observables of Calogero-Moser model, Vasiliev higher spin algebras, and (super)algebras of pseudo-differential operators. In the latter case, the supertraces establish complete integrability of the analogs of Euler equations to be written.
We describe supertraces on ``queerifications'' (see arxiv:2203.06917) of the algebras of matrices of ``complex size'', algebras of observables of Calogero-Moser model, Vasiliev higher spin algebras, and (super)algebras of pseudo-differential operators. In the latter case, the supertraces establish complete integrability of the analogs of Euler equations to be written.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
On odd parameters in geometry
Authors:
Dimitry Leites
Abstract:
1) In 1976, looking at simple finite-dimensional complex Lie superalgebras, J.~Bernstein and I, and independently M.~Duflo, observed that certain divergence-free vectorial Lie superalgebras have deformations with odd parameters and conjectured that other simple Lie superalgebras have no such deformations (unpublished). Here, I prove this conjecture and overview the known classification of simple f…
▽ More
1) In 1976, looking at simple finite-dimensional complex Lie superalgebras, J.~Bernstein and I, and independently M.~Duflo, observed that certain divergence-free vectorial Lie superalgebras have deformations with odd parameters and conjectured that other simple Lie superalgebras have no such deformations (unpublished). Here, I prove this conjecture and overview the known classification of simple finite-dimensional complex Lie superalgebras, their presentations, realizations, and (very sketchily) relations with simple Lie (super)algebras over fields of positive characteristic.
2) Any supermanifold which is a ringed space of the form (a manifold $M$, the sheaf of sections of the exterior algebra of a vector bundle over $M$) is called split. Gawȩdzki (1977) and Batchelor (1979) proved that every smooth supermanifolds is split. In 1982, P. Green and Palamodov showed that a~complex-analytic supermanifold can be non-split, i.e., not diffeomorphic to a split supermanifold. So far, researchers considered, mostly, even obstructions to splitness. This lead them to the conclusion that any supermanifolds of superdimension $m|1$ is split. I'll show that there are non-split supermanifolds of superdimension $m|1$; for example, certain $1|1$-dimensional superstrings, the obstructions to their splitness correspond to odd parameters.
△ Less
Submitted 21 September, 2024; v1 submitted 31 October, 2022;
originally announced October 2022.
-
Arkady Onishchik: on his life and work on supersymmetry
Authors:
Dimitry Leites
Abstract:
Selected stories about the life of A. L. Onishchik, and a review of his contribution to the classification of non-split supermanifolds, in particular, supercurves a.k.a. superstrings; his editorial and educational work. A brief overview of his and his students' results in supersymmetry, and their impact on other researchers.
Several open problems growing out of Onishchik's research are presented…
▽ More
Selected stories about the life of A. L. Onishchik, and a review of his contribution to the classification of non-split supermanifolds, in particular, supercurves a.k.a. superstrings; his editorial and educational work. A brief overview of his and his students' results in supersymmetry, and their impact on other researchers.
Several open problems growing out of Onishchik's research are presented, some of them are related with odd parameters of deformations and non-holonomic structures of supermanifolds important in physical models, such as Minkowski superspaces and certain superstrings.
△ Less
Submitted 13 December, 2022; v1 submitted 13 March, 2022;
originally announced March 2022.
-
New simple Lie superalgebras as queerified associative algebras
Authors:
Dimitry Leites
Abstract:
Over $\mathbb{C}$, Montgomery superized Herstein's construction of simple Lie algebras from finite-dimensional associative algebras, found obstructions to the procedure and applied it to $\mathbb{Z}/2$-graded associative algebra of differential operators with polynomial coefficients.
Since the 1990s, Vasiliev and Konstein with their co-authors constructed (via the Herstein--Montgomery method, ha…
▽ More
Over $\mathbb{C}$, Montgomery superized Herstein's construction of simple Lie algebras from finite-dimensional associative algebras, found obstructions to the procedure and applied it to $\mathbb{Z}/2$-graded associative algebra of differential operators with polynomial coefficients.
Since the 1990s, Vasiliev and Konstein with their co-authors constructed (via the Herstein--Montgomery method, having rediscovered it) simple Lie (super)algebras from the associative (super)algebra such as Vasiliev's higher spin algebras (a.k.a. algebras of observables of the rational Calogero model) and algebras of symplectic reflections.
The "queerification" is another method for cooking a~simple Lie superalgebra from the simple associative (super)algebra. The above examples of associative (super)algebras, and Lie (super)algebras of "matrices of complex size" can be "queerified" by adding new elements resembling Faddeev--Popov ghosts.
Conjectures: 1) a "queerified" Hamiltonian describes a version of the Calogero model with $1\vert 1$-dimensional time; 2) metabelean algebras and inhomogeneous subalgebras of Lie superalgebras naturally widen supersymmetries in future theories; 3) only graded-commutative algebras can imitate algebras of functions in a reasonably rich non-commutative Geometry.
△ Less
Submitted 28 February, 2023; v1 submitted 14 March, 2022;
originally announced March 2022.
-
On a hidden supersymmetry of cosmological billiards
Authors:
Dimitry Leites,
Oleksandr Lozhechnyk
Abstract:
The hyperbolic Lie algebras with symmetrizable Cartan matrix are classified, there are 142 of them some of which can be ``superized'' to an almost affine Lie superalgebra. We list all 97 pairs (a hyperbolic Lie algebra $H$, its superized almost affine Lie superalgebra $S(H)$). Several (18 of the total 66) superizable hyperbolic Lie algebras have multiple superizations. The tracks of cosmological b…
▽ More
The hyperbolic Lie algebras with symmetrizable Cartan matrix are classified, there are 142 of them some of which can be ``superized'' to an almost affine Lie superalgebra. We list all 97 pairs (a hyperbolic Lie algebra $H$, its superized almost affine Lie superalgebra $S(H)$). Several (18 of the total 66) superizable hyperbolic Lie algebras have multiple superizations. The tracks of cosmological billiards corresponding to both terms of these pairs ($H\leftrightarrow S(H)$) are the same since the Weyl chambers of $H$ and of $S(H)$ differ only by a~scale.
We also classified ``superizations'' of hyperbolic Lie algebras with non-symmetrizable Cartan matrix. No interpretations of these Lie (super)algebras are known to us.
△ Less
Submitted 13 September, 2024; v1 submitted 8 February, 2021;
originally announced February 2021.
-
How to superize the notion of Kaehler manifold
Authors:
Dimitry Leites
Abstract:
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 ide…
▽ More
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.
△ Less
Submitted 28 November, 2019;
originally announced November 2019.
-
Two problems in the theory of differential equations
Authors:
Dimitry Leites
Abstract:
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 equa…
▽ More
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?
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
Non-degenerate invariant (super)symmetric bilinear forms on simple Lie (super)algebras
Authors:
Sofiane Bouarroudj,
Andrey Krutov,
Dimitry Leites,
Irina Shchepochkina
Abstract:
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) queerif…
▽ More
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.
△ Less
Submitted 14 June, 2018;
originally announced June 2018.
-
Defining relations of almost affine (hyperbolic) superalgebras
Authors:
Sofiane Bouarroudj,
Pavel Grozman,
Dimitry Leites
Abstract:
For all almost affine (hyperbolic) Lie superalgebras, the defining relations are computed in terms of their Chevalley generators.
For all almost affine (hyperbolic) Lie superalgebras, the defining relations are computed in terms of their Chevalley generators.
△ Less
Submitted 1 December, 2010;
originally announced December 2010.
-
How to quantize the antibracket
Authors:
Dimitry Leites,
Irina Shchepochkina
Abstract:
The uniqueness of (the class of) deformation of Poisson Lie algebra has long been a completely accepted folklore.
Actually, it is wrong as stated, because its validity depends on the class of functions that generate Poisson Lie algebra, Po(2n): it is true for polynomials but false for Laurent polynomials.
We show that unlike the Lie superalgebra Po(2n|m), its quotient modulo center, the Lie…
▽ More
The uniqueness of (the class of) deformation of Poisson Lie algebra has long been a completely accepted folklore.
Actually, it is wrong as stated, because its validity depends on the class of functions that generate Poisson Lie algebra, Po(2n): it is true for polynomials but false for Laurent polynomials.
We show that unlike the Lie superalgebra Po(2n|m), its quotient modulo center, the Lie superalgebra H(2n|m) of Hamiltonian vector fields with polynomial coefficients, has exceptional extra deformations for (2n|m)=(2|2) and only for this superdimension. We relate this result to the complete description of deformations of the antibracket (also called the Schouten or Buttin bracket).
The representation of the deform (the result of quantization) of the Poisson algebra in the Fock space coincides with the simplest space on which the Lie algebra of commutation relations acts. This coincidence is not necessary for Lie superalgebras
△ Less
Submitted 12 October, 2005;
originally announced October 2005.
-
Defining relations associated with the principal sl(2)-subalgebras of simple Lie algebras
Authors:
Pavel Grozman,
Dimitry Leites
Abstract:
The notion of defining relations is well-defined for any nilpotent Lie algebra. Therefore a conventional way to present a simple Lie algebra G is by splitting it into the direct sum of a commutative Cartan subalgebra and two maximal nilpotent subalgebras (positive and negative) and together the generators of both these nilpotent subalgebras together generate G. Though there are many relations be…
▽ More
The notion of defining relations is well-defined for any nilpotent Lie algebra. Therefore a conventional way to present a simple Lie algebra G is by splitting it into the direct sum of a commutative Cartan subalgebra and two maximal nilpotent subalgebras (positive and negative) and together the generators of both these nilpotent subalgebras together generate G. Though there are many relations between these generators, they are neat (Serre relations).
It is possible to determine the relations for generators of different type, e.g, with the principal embeddings of sl(2) into G one can associate only TWO elements that generate G. We explicitly describe the corresponding presentations of simple Lie algebras, for all finite dimensional and certain infinite dimensional ones; namely, for the Lie algebra "of matrices of a complex size" realized as a subalgebra of the Lie algebra of differential operators in 1 indeterminate. The relations obtained are rather simple.
Our results might be of interest in applications to integrable systems (like vector-valued Liouville (or Leznov-Saveliev, or 2-dimensional Toda) equations and KdV-type equations). They also indicate how to q-quantize the Lie algebra of matrices of complex size.
△ Less
Submitted 3 October, 2005;
originally announced October 2005.
-
Defining relations for the exceptional Lie superalgebras of vector fields pertaining to The Standard Model
Authors:
Pavel Grozman,
Dimitry Leites,
Irina Shchepochkina
Abstract:
We list defining relations for the four of the five exceptional simple Lie superalgebras some of which, as David Broadhurst conjectured and Kac demonstrated, may pertain to The Standard Model or Grand unified theories of elementary particles. For the fifth superalgebra the result is not final: there might be infinitely many relations. Contrariwise, for the same Lie superalgebra with Laurent poly…
▽ More
We list defining relations for the four of the five exceptional simple Lie superalgebras some of which, as David Broadhurst conjectured and Kac demonstrated, may pertain to The Standard Model or Grand unified theories of elementary particles. For the fifth superalgebra the result is not final: there might be infinitely many relations. Contrariwise, for the same Lie superalgebra with Laurent polynomials as coefficients there are only finitely many relations.
△ Less
Submitted 18 February, 2002;
originally announced February 2002.
-
The Index Theorem for Homogeneous Differential Operators on Supermanifolds
Authors:
Dimitry Leites
Abstract:
In mid 60s Bott proved that (1) the index theorem for homogeneous, G-invariant, elliptic differential operators acting in the spaces of sections of induced representations of G over G/H reduces to the Weyl character formula and (2) the index of an equivariant elliptic operator does not depend on the operator, but on the representations. Here the same theorem is formulated for the unitary supergr…
▽ More
In mid 60s Bott proved that (1) the index theorem for homogeneous, G-invariant, elliptic differential operators acting in the spaces of sections of induced representations of G over G/H reduces to the Weyl character formula and (2) the index of an equivariant elliptic operator does not depend on the operator, but on the representations. Here the same theorem is formulated for the unitary supergroup G=U(p|q). For atypical representations the character formula does not reduce to that for the Lie group underlying the supergroup G and this contradicts a statement of Rempel and Schmitt on index on supermanifolds (Pseudodifferential operators and the index theorem on supermanifolds. Seminar Analysis, 1981/82, 92--131, Akad. Wiss. DDR, Berlin, 1982; id., Pseudodifferential operators and the index theorem on supermanifolds. Math. Nachr. 111 (1983), 153--175).
△ Less
Submitted 18 February, 2002;
originally announced February 2002.
