Manifolds and cobordisms
A supermanifold is a space locally modeled on Cartesian spaces and superpoints.
There are different approaches to the definition and theory of supermanifolds in the literature. The definition
is popular. The definition
has been argued to have advantages, see also the references at super ∞-groupoid.
As locally ringed spaces
We discuss a description of supermanifolds that goes back to (BerezinLeites).
Forgetting the graded part by projecting out the nilpotent ideal in (i.e. applying the bosonic modality) yields the underlying ordinary smooth manifold .
One just writes for the super algebra of global sections.
With the obvious morphisms of ringed space this forms the category SDiff of supermanifolds.
For a smooth finite-rank vector bundle the manifold equipped with the Grassmann algebra over of the sections of the dual bundle
is a supermanifold. This is usually denoted by .
In particular, let be the trivial rank vector bundle on then one writes
for the corresponding supermanifold.
Every supermanifold is isomorphic to one of the form where is an ordinary smooth vector bundle.
But we have the following useful characterization of morphisms of supermanifolds:
There is a natural bijection
so the contravariant embedding of supermanifolds into superalgebra is a full and faithful functor.
Composition with the standard coordinate functions on yields an isomorphism
The first statement is a direct extension of the classical fact that the contravariant embedding of ordinary smooth manifolds into algebras is a full and faithful functor.
As manifolds modeled on Grassman algebras
We discuss a desription of supermanifolds that goes back to (DeWitt 92) and (Rogers).
As manifolds over the base topos on superpoints
Let be the category of superpoints. And its presheaf topos.
We discuss a definition of supermanifolds that characterizes them, roughly, as manifolds over this base topos. See (Sachse) and the references at super ∞-groupoid.
See also this post at Theoretical Atlas.
be the sheaf topos over superpoints. Let
be the canonical continuum real line under the restricted Yoneda embedding of supermanifolds and equipped with its canonical internal algebra structure, hence by prop. 2 the presheaf of algebras which sends a Grassmann algebra to its even subalgebra, as discussed at superalgebra.
A superdomain is an open subfunctor (…) of a locally convex -module.
This appears as (Sachse, def. 4.6).
We now want to describe supermanifolds as manifolds in modeled on superdomains.
Write SmoothMfd for the category of ordinary smooth manifolds.
A supermanifold is a functor equipped with an equivalence class of supersmooth atlases.
A morphism of supermanifolds is a natural transformation , such that for each pair of charts and the pullback
can be equipped with the structture of a Banach superdomain such that and are supersmooth (…)
This appears as (Sachse, def. 4.13, 4.14).
The categories of supermanifolds defined as locally ringed spaces, def. 1 and as manifolds over superpoints, def. 4 are equivalent.
This appears as (Sachse, theorem 5.1). See section 5.2 there for a discussion of the relation to the DeWitt-definition.
A brief survey is in
Discussion with an eye towards supergravity is in
Discussion with an eye on integration over supermanifolds is in
Global properties are discussed in
- Louis Crane, Jeffrey M. Rabin, Global properties of supermanifolds, Comm. Math. Phys. Volume 100, Number 1 (1985), 141-160. (Euclid)
As locally ringed spaces
Felix Berezin, D. A. Leĭtes, Supermanifolds, (Russian) Dokl. Akad. Nauk SSSR 224 (1975), no. 3, 505–508; English transl.: Soviet Math. Dokl. 16 (1975), no. 5, 1218–1222 (1976).
I. L. Buchbinder, S. M. Kuzenko, Ideas and methods of supersymmetry and supergravity; or A walk through superspace
A more general variant of this in the spirit of locally algebra-ed toposes is in
- Alexander Alldridge, A convenient category of supermanifolds (arXiv:1109.3161)
As manifolds over superpoints
The observation that the study of super-structures in mathematics is usefully regarded as taking place over the base topos on the site of super points has been made around 1984 in
- V. Molotkov., Infinite-dimensional -supermanifolds , ICTP preprints, IC/84/183, 1984.
A summary/review is in the appendix of
Anatoly Konechny and Albert Schwarz,
On -dimensional supermanifolds, in: Julius Wess, V. Akulov (eds.) Supersymmetry and Quantum Field Theory (D. Volkov memorial volume) Springer-Verlag, 1998 , Lecture Notes in Physics, 509 (arXiv:hep-th/9706003)
Theory of -dimensional supermanifolds Sel. math., New ser. 6 (2000) 471 - 486
Albert Schwarz, I- Shapiro, Supergeometry and Arithmetic Geometry (arXiv:hep-th/0605119)
A review with more emphasis on the relevant category theory/topos theory is in
The site of formal duals not just to Grassmann algebras but to all super-infinitesimally thickened points is discussed in (Konechny-Schwarz) above and also in
- L. Balduzzi, C. Carmeli, R. Fioresi, The local functors of points of Supermanifolds (arXiv:0908.1872)
As manifolds modeld on Grassmann algebras
Yuri Manin, Topics in noncommutative geometry, Princeton Univ. Press 1991.
Pierre Deligne, P. Etingof, Daniel Freed, L. Jeffrey, D. Kazhdan, J. Morgan, D.R. Morrison and Edward Witten (eds.) Quantum Fields and Strings, A course for mathematicians, 2 vols. Amer. Math. Soc. Providence 1999. (web version)
V. S. Varadarajan, Supersymmetry for mathematicians: an introduction, AMS and Courant Institute, 2004.
Alberto S. Cattaneo, Florian Schaetz, Introduction to supergeometry, arxiv/1011.3401
There are many books in physics on supersymmetry (most well known is by Wess and Barger from 1992), but they emphasise more on the supersymmetry algebras rather than on (the superspace and) supermanifolds. They should therefore rather be listed under entry supersymmetry.
See also pdf