Backround
Definition
Presentation over a site
Models
superalgebra and (synthetic ) supergeometry
this entry is under construction
The notion of smooth super -groupoid or smooth super geometric homotopy type is the combination of of super ∞-groupoid and smooth ∞-groupoid. The cohesive (∞,1)-topos of smooth super--groupoids is a context that realizes higher supergeometry.
Smooth super -groupoids include supermanifolds, super Lie groups and their deloopings etc. Under Lie differentiation these map to super L-∞ algebras.
We consider one of at least two possible definitions, that differ (only) slightly in some fine technical detail. The other is at super smooth infinity-groupoid.
We take a smooth super -groupoid to be a smooth ∞-groupoid but not over the base topos ∞Grpd of bare ∞-groupoids, but over the base topos Super∞Grpd of super ∞-groupoids.
Write for the full subcategory of that of supermanifolds on the super Cartesian spaces . Regard this as a site by taking the coverage the product coverage of the good open cover coverage of CartSp and the trivial coverage on superpoints.
The (∞,1)-topos of def. is a cohesive (∞,1)-topos over ∞Grpd.
This and the stronger statement that it is in fact it is actually cohesive over Super∞Grpd is discussed below, see cor. .
is a cohesive (∞,1)-topos over Super∞Grpd.
By definition of the coverage on in def. , the proof of the cohesion of Smooth∞Grpd = goes through verbatim for each fixed superpoint and that gives precisely the claim.
Super∞Grpd is infinitesimally cohesive over ∞Grpd.
By the discussion at Super∞Grpd.
is cohesive and in
In fact we have a commutative diagram of cohesive (∞,1)-topos
where the right vertical adjoints exhibit infinitesimal cohesion.
We discuss realizations of the general abstract structures in a cohesive (∞,1)-topos realized in .
A super L-∞ algebra is an L-∞ algebra internal to .
The Lie integration of is …
The brane bouquet of Green-Schwarz action functionals for super -brane sigma-models.
For general references see the references at super ∞-groupoid .
Discussion of smooth super -groupoids:
Urs Schreiber, section 4.5 of: differential cohomology in a cohesive topos
Hisham Sati, Urs Schreiber, Section 3.1.3 of: Proper Orbifold Cohomology (arXiv:2008.01101)
Urs Schreiber, Introduction to Higher Supergeometry, lecture at Higher Structures in M-Theory 2018, Durham Symposium
published in parts as: Higher Structures in M-Theory (with Branislav Jurčo, Christian Saemann, Martin Wolf), Fortschritte der Physik (2019) (arXiv:1903.02807, doi:10.1002/prop.201910001)
Last revised on August 15, 2024 at 09:29:23. See the history of this page for a list of all contributions to it.