Invariant bilinear differential operators

I classified bilinear differential operators acting in the spaces of tensor fields on any real or complex manifold and invariant with respect to the diffeomorphisms in 1980. Here I give the details of the proof.Comment: 49 pages, LaTe

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.Comment: 33 pages; Formulation of Theorem 3.2.1 corrected; references added; exposition edite

On bilinear invariant differential operators acting on tensor fields on the symplectic manifold

Let $M$ be an $n$-dimensional manifold, $V$ the space of a representation $\rho: GL(n)\longrightarrow GL(V)$. Locally, let $T(V)$ be the space of sections of the tensor bundle with fiber $V$ over a sufficiently small open set $U\subset M$, in other words, $T(V)$ is the space of tensor fields of type $V$ on $M$ on which the group \Diff (M) of diffeomorphisms of $M$ naturally acts. Elsewhere, the author classified the \Diff (M)-invariant differential operators $D: T(V_{1})\otimes T(V_{2})\longrightarrow T(V_{3})$ for irreducible fibers with lowest weight. Here the result is generalized to bilinear operators invariant with respect to the group \Diff_{\omega}(M) of symplectomorphisms of the symplectic manifold $(M, \omega)$. We classify all first order invariant operators; the list of other operators is conjectural. Among the new operators we mention a 2nd order one which determins an ``algebra'' structure on the space of metrics (symmetric forms) on $M$

The nonholonomic Riemann and Weyl tensors for flag manifolds

On any manifold, any non-degenerate symmetric 2-form (metric) and any skew-symmetric (differential) form W can be reduced to a canonical form at any point, but not in any neighborhood: the respective obstructions being the Riemannian tensor and dW. The obstructions to flatness (to reducibility to a canonical form) are well-known for any G-structure, not only for Riemannian or symplectic structures. For the manifold with a nonholonomic structure (nonintegrable distribution), the general notions of flatness and obstructions to it, though of huge interest (e.g., in supergravity) were not known until recently, though particular cases were known for more than a century (e.g., any contact structure is ``flat'': it can always be reduced, locally, to a canonical form). We give a general definition of the NONHOLONOMIC analogs of the Riemann and Weyl tensors. With the help of Premet's theorems and a package SuperLie we calculate these tensors for the particular case of flag varieties associated with each maximal (and several other) parabolic subalgebra of each simple Lie algebra. We also compute obstructions to flatness of the G(2)-structure and its nonholonomic super counterpart.Comment: 27 pages, LaTe

Cartan matrices and presentations of the exceptional simple Elduque Lie superalgebra

Recently Alberto Elduque listed all simple and graded modulo 2 finite dimensional Lie algebras and superalgebras whose odd component is the spinor representation of the orthogonal Lie algebra equal to the even component, and discovered one exceptional such Lie superalgebra in characteristic 5. For this Lie superalgebra all inequivalent Cartan matrices (in other words, inequivalent systems of simple roots) are listed together with defining relations between analogs of its Chevalley generators.Comment: 5 pages, 1 figure, LaTeX2

Defining relations of almost affine (hyperbolic) superalgebras

For all almost affine (hyperbolic) Lie superalgebras, the defining relations are computed in terms of their Chevalley generators.Comment: Published in the special issue of JNMP in memory of F.A. Berezi

Classification of Finite Dimensional Modular Lie Superalgebras with Indecomposable Cartan Matrix

Finite dimensional modular Lie superalgebras over algebraically closed fields with indecomposable Cartan matrices are classified under some technical, most probably inessential, hypotheses. If the Cartan matrix is invertible, the corresponding Lie superalgebra is simple otherwise the quotient of the derived Lie superalgebra modulo center is simple (if its rank is greater than 1). Eleven new exceptional simple modular Lie superalgebras are discovered. Several features of classic notions, or notions themselves, are clarified or introduced, e.g., Cartan matrix, several versions of restrictedness in characteristic 2, Dynkin diagram, Chevalley generators, and even the notion of Lie superalgebra if the characteristic is equal to 2. Interesting phenomena in characteristic 2: (1) all simple Lie superalgebras with Cartan matrix are obtained from simple Lie algebras with Cartan matrix by declaring several (any) of its Chevalley generators odd; (2) there exist simple Lie superalgebras whose even parts are solvable. The Lie superalgebras of fixed points of automorphisms corresponding to the symmetries of Dynkin diagrams are also listed and their simple subquotients described