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 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)

Supergeometry and Quantum Field Theory, or: What is a Classical Configuration?

We discuss of the conceptual difficulties connected with the anticommutativity of classical fermion fields, and we argue that the "space" of all classical configurations of a model with such fields should be described as an infinite-dimensional supermanifold M. We discuss the two main approaches to supermanifolds, and we examine the reasons why many physicists tend to prefer the Rogers approach although the Berezin-Kostant-Leites approach is the more fundamental one. We develop the infinite-dimensional variant of the latter, and we show that the functionals on classical configurations considered in a previous paper are nothing but superfunctions on M. We present a programme for future mathematical work, which applies to any classical field model with fermion fields. This programme is (partially) implemented in successor papers.Comment: 46 pages, LateX2E+AMSLaTe

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

Spherical harmonics and integration in superspace

In this paper the classical theory of spherical harmonics in R^m is extended to superspace using techniques from Clifford analysis. After defining a super-Laplace operator and studying some basic properties of polynomial null-solutions of this operator, a new type of integration over the supersphere is introduced by exploiting the formal equivalence with an old result of Pizzetti. This integral is then used to prove orthogonality of spherical harmonics of different degree, Green-like theorems and also an extension of the important Funk-Hecke theorem to superspace. Finally, this integration over the supersphere is used to define an integral over the whole superspace and it is proven that this is equivalent with the Berezin integral, thus providing a more sound definition of the Berezin integral.Comment: 22 pages, accepted for publication in J. Phys.

Orthogonal polynomials of discrete variable and Lie algebras of complex size matrices

We give a uniform interpretation of the classical continuous Chebyshev's and Hahn's orthogonal polynomials of discrete variable in terms of Feigin's Lie algebra gl(N), where N is any complex number. One can similarly interpret Chebyshev's and Hahn's q-polynomials and introduce orthogonal polynomials corresponding to Lie superlagebras. We also describe the real forms of gl(N), quasi-finite modules over gl(N), and conditions for unitarity of the quasi-finite modules. Analogs of tensors over gl(N) are also introduced.Comment: 25 pages, LaTe

Even and odd symplectic and K\"ahlerian structures on projective superspaces

Supergeneralization of \DC P(N) provided by even and odd K\"ahlerian structures from Hamiltonian reduction are construct.Operator $\Delta$ which used in Batalin-- Vilkovisky quantization formalism and mechanics which are bi-Hamiltonian under corresponding even and odd Poisson brackets are considered.Comment: 19 page

On contractions of classical basic superalgebras

We define a class of orthosymplectic $osp(m;j|2n;\omega)$ and unitary $sl(m;j|n;\epsilon)$ superalgebras which may be obtained from $osp(m|2n)$ and $sl(m|n)$ by contractions and analytic continuations in a similar way as the special linear, orthogonal and the symplectic Cayley-Klein algebras are obtained from the corresponding classical ones. Casimir operators of Cayley-Klein superalgebras are obtained from the corresponding operators of the basic superalgebras. Contractions of $sl(2|1)$ and $osp(3|2)$ are regarded as an examples.Comment: 15 pages, Late

Structure and representations on the quantum supergroup

The structure and representations of the quantum supergroup OSP(2|2n) are studied systematically. The algebra of functions on the quantum supergroup, which specifies the quantum supergroup itself, is taken to be the superalgebra generated by the matrix elements of the vector representation of the quantized universal superalgebra U(osp(2|2n)). It is shown that the algebra of functions is dense in the full dual U(osp(2|2n))* of U(osp(2|2n)) and possesses a Hopf superalgebra structure. The left integral and right integral on the quantum supergroup are discussed. Induced representations are developed using the noncommutative geometry of quantum homogeneous supervector bundles, and a geometric realization of irreducible representations is obtained

Explicit Character Formulae for Positive Energy UIRs of D=4 Conformal Supersymmetry

This paper continues the project of constructing the character formulae for the positive energy unitary irreducible representations of the N-extended D=4 conformal superalgebras su(2,2/N). In the first paper we gave the bare characters which represent the defining odd entries of the characters. Now we give the full explicit character formulae for N=1 and for several important examples for N=2 and N=4.Comment: 48 pages, TeX with Harvmac, overlap in preliminaries with arXiv:hep-th/0406154; some comments and references adde