Dual Forms on Supermanifolds and Cartan Calculus

Abstract

The complex of "stable forms" on supermanifolds is studied. Stable forms on $M$ are represented by certain Lagrangians of "copaths" (formal systems of equations, which may or may not specify actual surfaces) on $M\times {\mathbb{R}}^D$. Changes of $D$ give rise to stability isomorphisms. The Cartan--de Rham complex made of stable forms extends both in positive and negative degree and its positive half is isomorphic to the complex of forms defined as Lagrangians of paths. Considering the negative half is necessary, in particular, for homotopy invariance. We introduce analogs of exterior multiplication by covectors and of contraction with vectors. We find (anti)commutation relations for them. An analog of Cartan's homotopy identity is proved. Before stabilization it contains some "stability operator" $\sigma$.

21 pages, LaTeX, uses package diagrams.sty (= diagrams.tex) by Paul Taylor, available at ftp://ctan.tug.org/tex-archive/macros/generic/diagrams/taylor/ (or at any_mirror_of_CTAN/tex-archive/macros/generic/diagrams/taylor/)

References in corpus (2)

• Picture changing operators in supergeometry and superstring theory
• Complex Generated by Variational Derivatives. Lagrangian Formalism of Infinite Order and a Generalized Stokes' Formula

Cited by in corpus (6)

• Pictures from Super Chern-Simons Theory
• Super Chern-Simons Theory: BV-formalism and $A_{\infty }$-algebras
• On the Geometry of Forms on Supermanifolds
• On super Plücker embedding and cluster algebras
• On Forms, Cohomology, and BV Laplacians in Odd Symplectic Geometry
• An alternative form of the Helmholtz criterion in the inverse problem of calculus of variations