A super -groupoid is an ∞-groupoid modeled on super points.
The notion subsumes and generalizes that of bare super groups, but not that of super Lie groups, the latter are instead examples of smooth super ∞-groupoids sitting over the base of super -groupoids.
Being an (∞,1)-category of (∞,1)-presheaves the constant -presheaf (∞,1)-functor
has a left adjoint given by forming (∞,1)-colimits and a right adjoint given by (∞,1)-limits. Since the category has a terminal object (the point ) its opposite category has an initial object and so is just given by evaluation at that object. .
It follows that and hence (by the discussion at adjoint (∞,1)-functor) that is a full and faithful (∞,1)-functor.
Moreover, evaluation preserves (∞,1)-limits (since for (∞,1)-presheaves there are computed objectwise for each object of the site) and so by the adjoint (∞,1)-functor theorem there does exist a further right adjoint . By the (∞,1)-Yoneda lemma and by adjointness this sends an ∞-groupoid to the (∞,1)-presheaf given by
Now the crucial aspect is that for all since every superpoint has a unique global point, this being the archetypical property of infinitesimally thickened points. So it follows that
and hence that . Therefore preserves in particular finite products so that is cohesive, but of course this shows now that it is in fact infinitesimally cohesive.
Relation to smooth super -groupoids
be the (∞,1)-sheaf (∞,1)-topos of smooth super ∞-groupoids. This is cohesive over the base topos .
For more on this see at smooth super ∞-groupoid.
is naturally a ringed topos, with commutative ring-object
which as a presheaf is given by
with ring structure induced over each super point from the ring structure of the even part of the Grassmann algebra .
The higher algebra over this ring object is what is called superalgebra. See there for details on this.
For the ground field and its embedding as a super vector space into the topos by the map discussed at superalgebra – In the topos over superpoints – K-modules we have
(…) supergeometry (…)
We discuss the general abstract structures in a cohesive (∞,1)-topos realized in .
Exponentiated -Lie algebras
We discuss Exponentiated ∞-Lie algebras in .
For a super -algebra, its Lie integration is the super -groupoid presented by the simplicial presheaf
on superpoints given by the assignment
Here on the right we have vertical differential forms with respect to the projection of supermanifolds and with sitting instants (see Lie integration).
For write for the Grassmann algebra on -generators, being the global functions on the super point .
Over the super Lie integration from def 3 is the ordinary Lie integration of the ordinary L-∞ algebra
This is the standard even rules mechanism: write for the Grassmann algebra of duals on the generators of . Then using that the category of finite-dimensional super vector spaces is a compact closed category, we compute
Here in the third step we used that the underlying dg-algebra of is free to find the space of morphisms of dg-algebras inside that of super-vector spaces (of generators) as indicated. Since the differential on both sides is -linear, the claim follows.
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 Supersymmetry and Quantum Field Theory (D. Volkov memorial volume) Springer-Verlag, 1998 , Lecture Notes in Physics, 509 , J. Wess and V. Akulov (editors)(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)
An fairly comprehensive and introductory review is in
The site of formal duals not just to Grassmann algebras but to all super-infinitesimally thickened points is discussed in
- L. Balduzzi, C. Carmeli, R. Fioresi, The local functors of points of Supermanifolds (arXiv:0908.1872)