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$

Embedding of the Lie superalgebra D(2,1;α)D(2, 1 ; \alpha) into the Lie superalgebra of pseudodifferential symbols on S1∣2S^{1|2}

We obtain an embedding of a one-parameter family of exceptional simple Lie superalgebras $D(2, 1 ; \alpha)$ into the Lie superalgebra of pseudodifferential symbols on the supercircle $S^{1|2}$. Correspondingly, there is an embedding of $D(2, 1 ; \alpha)$ into a nontrivial central extension of the derived contact superconformal algebra $K'(4)$ realized in terms of $4\times 4$ matrices over a Weyl algebra.Comment: 19 pages, LaTex, to be published in J.Math. Phy

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.Comment: Exposition of the same results as in v.1 is more lucid. Reference to related recent work by Witten is adde

The Shapovalov determinant for the Poisson superalgebras

Among simple Z-graded Lie superalgebras of polynomial growth, there are several which have no Cartan matrix but, nevertheless, have a quadratic even Casimir element C_{2}: these are the Lie superalgebra k^L(1|6) of vector fields on the (1|6)-dimensional supercircle preserving the contact form, and the series: the finite dimensional Lie superalgebra sh(0|2k) of special Hamiltonian fields in 2k odd indeterminates, and the Kac--Moody version of sh(0|2k). Using C_{2} we compute N. Shapovalov determinant for k^L(1|6) and sh(0|2k), and for the Poisson superalgebras po(0|2k) associated with sh(0|2k). A. Shapovalov described irreducible finite dimensional representations of po(0|n) and sh(0|n); we generalize his result for Verma modules: give criteria for irreducibility of the Verma modules over po(0|2k) and sh(0|2k)

Sylvester-t' Hooft generators of sl(n) and sl(n|n), and relations between them

Among the simple finite dimensional Lie algebras, only sl(n) possesses two automorphisms of finite order which have no common nonzero eigenvector with eigenvalue one. It turns out that these automorphisms are inner and form a pair of generators that allow one to generate all of sl(n) under bracketing. It seems that Sylvester was the first to mention these generators, but he used them as generators of the associative algebra of all n times n matrices Mat(n). These generators appear in the description of elliptic solutions of the classical Yang-Baxter equation, orthogonal decompositions of Lie algebras, 't Hooft's work on confinement operators in QCD, and various other instances. Here I give an algorithm which both generates sl(n) and explicitly describes a set of defining relations. For simple (up to center) Lie superalgebras, analogs of Sylvester generators exist only for sl(n|n). The relations for this case are also computed.Comment: 14 pages, 6 figure

On sl(2)-equivariant quantizations

By computing certain cohomology of Vect(M) of smooth vector fields we prove that on 1-dimensional manifolds M there is no quantization map intertwining the action of non-projective embeddings of the Lie algebra sl(2) into the Lie algebra Vect(M). Contrariwise, for projective embeddings sl(2)-equivariant quantization exists.Comment: 09 pages, LaTeX2e, no figures; to appear in Journal of Nonlinear Mathematical Physic

Division Algebras and Extended N=2,4,8 SuperKdVs

The first example of an N=8 supersymmetric extension of the KdV equation is here explicitly constructed. It involves 8 bosonic and 8 fermionic fields. It corresponds to the unique N=8 solution based on a generalized hamiltonian dynamics with (generalized) Poisson brackets given by the Non-associative N=8 Superconformal Algebra. The complete list of inequivalent classes of parametric-dependent N=3 and N=4 superKdVs obtained from the ``Non-associative N=8 SCA" is also furnished. Furthermore, a fundamental domain characterizing the class of inequivalent N=4 superKdVs based on the "minimal N=4 SCA" is given.Comment: 14 pages, LaTe

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

Differential operators on supercircle: conformally equivariant quantization and symbol calculus

We consider the supercircle $S^{1|1}$ equipped with the standard contact structure. The conformal Lie superalgebra K(1) acts on $S^{1|1}$ as the Lie superalgebra of contact vector fields; it contains the M\"obius superalgebra $osp(1|2)$. We study the space of linear differential operators on weighted densities as a module over $osp(1|2)$. We introduce the canonical isomorphism between this space and the corresponding space of symbols and find interesting resonant cases where such an isomorphism does not exist

Cohomology of the Lie Superalgebra of Contact Vector Fields on R1∣1\mathbb{R}^{1|1} and Deformations of the Superspace of Symbols

Following Feigin and Fuchs, we compute the first cohomology of the Lie superalgebra $\mathcal{K}(1)$ of contact vector fields on the (1,1)-dimensional real superspace with coefficients in the superspace of linear differential operators acting on the superspaces of weighted densities. We also compute the same, but $\mathfrak{osp}(1|2)$-relative, cohomology. We explicitly give 1-cocycles spanning these cohomology. We classify generic formal $\mathfrak{osp}(1|2)$-trivial deformations of the $\mathcal{K}(1)$-module structure on the superspaces of symbols of differential operators. We prove that any generic formal $\mathfrak{osp}(1|2)$-trivial deformation of this $\mathcal{K}(1)$-module is equivalent to a polynomial one of degree $\leq4$. This work is the simplest superization of a result by Bouarroudj [On $\mathfrak{sl}$(2)-relative cohomology of the Lie algebra of vector fields and differential operators, J. Nonlinear Math. Phys., no.1, (2007), 112--127]. Further superizations correspond to $\mathfrak{osp}(N|2)$-relative cohomology of the Lie superalgebras of contact vector fields on $1|N$-dimensional superspace