nLab super infinity-groupoid

Context

Cohesive $\infty$-Toposes

cohesive topos

cohesive (∞,1)-topos

cohesive homotopy type theory

Structures in a cohesive $(\infty,1)$-topos

structures in a cohesive (∞,1)-topos

Structures with infinitesimal cohesion

infinitesimal cohesion?

superalgebra

and

supergeometry

Contents

Idea

A super $\infty$-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 $\infty$-groupoids.

Definition

Definition

Let $SuperPoints$ be the category of super points, regarded as a site with trivial coverage.

The (∞,1)-sheaf (∞,1)-topos over $SuperPoint$

$Super\infty Grpd := Sh_{(\infty,1)}(SuperPoint)$

we call the (∞,1)-topos of super $\infty$-groupoids.

Properties

Infinitesimal cohesion

Proposition

The (∞,1)-topos $Super\infty Grpd$, def. 1, is an infinitesimal cohesive (∞,1)-topos over ∞Grpd.

Proof

Being an (∞,1)-category of (∞,1)-presheaves the constant $\infty$-presheaf (∞,1)-functor

$Disc \;\colon\; \infty Grpd \longrightarrow Super \infty Grpd$

has a left adjoint $\Pi$ given by forming (∞,1)-colimits and a right adjoint $\Gamma$ given by (∞,1)-limits. Since the category $SuperPoints$ has a terminal object (the point $\mathbb{R}^{0|0}$) its opposite category has an initial object and so $\Gamma$ is just given by evaluation at that object. $\Gamma X \simeq X(\ast)$.

It follows that $\Gamma\circ Disc \simeq Id$ and hence (by the discussion at adjoint (∞,1)-functor) that $Disc$ 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 $coDisc \colon \infty Grpd \hookrightarrow Super \infty Grpd$. By the (∞,1)-Yoneda lemma and by adjointness this sends an ∞-groupoid $X$ to the (∞,1)-presheaf given by

$coDisc(X) \;\colon\; \mathbb{R}^{0|q} \;\mapsto\; Super\infty Grpd(\mathbb{R}^{0|q}, coDisc(X)) \simeq \infty Grpd(\Gamma(\mathbb{R}^{0|q}), X) \,.$

Now the crucial aspect is that $\Gamma(\mathbb{R}^{0|q}) \simeq \ast$ for all $q \in \mathbb{N}$ since every superpoint has a unique global point, this being the archetypical property of infinitesimally thickened points. So it follows that

$coDisc \simeq Disc$

and hence that $\Pi \simeq \Gamma$. Therefore $\Pi$ preserves in particular finite products so that $Super \infty Grpd$ is cohesive, but of course this shows now that it is in fact infinitesimally cohesive.

Relation to smooth super $\infty$-groupoids

Let

\begin{aligned} SmoothSuper\infty Grpd & := Sh_{(\infty,1)}(CartSp, Super\infty Grpd) \simeq Sh_{(\infty,1)}(CartSp\times SuperPoint, \infty Grpd) \\ & =: Sh_{(\infty,1)}(CartSp\times SuperPoint) \end{aligned}

be the (∞,1)-sheaf (∞,1)-topos of smooth super ∞-groupoids. This is cohesive over the base topos $Super \infty Grpd$.

For more on this see at smooth super ∞-groupoid.

Superalgebra

$Super \infty Grpd$ is naturally a ringed topos, with commutative ring-object

$\mathbb{K} \in Super \infty Grpd$

which as a presheaf $\mathbb{K} : SuperPoint^{op} \simeq GrAlg \to Set \hookrightarrow sSet$ is given by

$\mathbb{K} : Spec \Lambda \mapsto \Lambda_{even}$

with ring structure induced over each super point $\mathbb{R}^{0|q} = Spec \Lambda = Spec \wedge^\bullet \mathbb{R}^q$ from the ring structure of the even part $\Lambda_{even}$ of the Grassmann algebra $\lambda$.

The higher algebra over this ring object is what is called superalgebra. See there for details on this.

For $k$ the ground field and $j(k)$ 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

$\mathbb{K} \simeq j(k) \,.$

Supergeometry

(…) supergeometry (…)

Structures in $Super \infty Grpd$

We discuss the general abstract structures in a cohesive (∞,1)-topos realized in $Super \infty Grpd$.

Exponentiated $\infty$-Lie algebras

We discuss Exponentiated ∞-Lie algebras in $Super \infty Grpd$.

Definition

The category of super $L_\infty$-algebras is

$S L_\infty Alg := (ScdgAlg^+_{sf})^{op}$

the opposite category of semi-free dg-algebras in super vector spaces: commutative monoids in the category of cochain complexes of super vector spaces whose underlying commutative graded algebra is free on generators in positive degree.

For $\mathfrak{g}$ a super $L_\infty$-algebra we write $CE(\mathfrak{g})$ for the corresponding dg-algebra: its Chevalley-Eilenberg algebra.

Definition

For $\mathfrak{g}$ a super $L_\infty$-algebra, its Lie integration is the super $\infty$-groupoid presented by the simplicial presheaf

$\exp(\mathfrak{g}) \in [SuperPoint^{op}, sSet]$

on superpoints given by the assignment

$\exp(\mathfrak{g}) : (\mathbb{R}^{0|q}, [k]) \mapsto Hom_{dgsAlg_k}( CE(\mathfrak{g}, \Omega^\bullet_{vert}(\mathbb{R}^{0|q} \times \Delta^k)) ) \,.$

Here on the right we have vertical differential forms with respect to the projection of supermanifolds $\mathbb{R}^{0|q} \times \Delta^k \to \mathbb{R}^{0|q}$ and with sitting instants (see Lie integration).

Note

For $q \in \mathbb{N}$ write $\Lambda_q := C^\infty(\mathbb{R}^{0|q})$ for the Grassmann algebra on $q$-generators, being the global functions on the super point $\mathbb{R}^{0|q}$.

Over $\mathbb{R}^{0|q}$ the super Lie integration from def 3 is the ordinary Lie integration of the ordinary L-∞ algebra $(\mathfrak{g} \otimes_k \Lambda_q)_{even}$

$\exp(\mathfrak{q})(\mathbb{R}^{0|q}) = \exp( (\mathfrak{g}\otimes_k \Lambda_q)_{even} ) \,.$
Proof

This is the standard even rules mechanism: write $\Lambda^q$ for the Grassmann algebra of duals on the generators of $\Lambda_q$. Then using that the category $sVect$ of finite-dimensional super vector spaces is a compact closed category, we compute

\begin{aligned} Hom_{dgsAlg}(CE(\mathfrak{g}), \Omega^\bullet_{vert}(\mathbb{R}^{0|q} \times \Delta^n)) & \simeq Hom_{dgsAlg}( CE(\mathfrak{g}), C^\infty(\mathbb{R}^{0|q}) \otimes \Omega^\bullet( \Delta^n) ) \\ & \simeq Hom_{dgsAlg}( CE(\mathfrak{g}), \Lambda_q \otimes \Omega^\bullet( \Delta^n) ) \\ & \subset Hom_{Ch^\bullet(sVect)}(\mathfrak{g}^*[1] , \Lambda_q \otimes \Omega^\bullet( \Delta^n)) \\ & \simeq Hom_{Ch^\bullet(sVect)}(\mathfrak{g}^*[1]\otimes (\Lambda^q)^* , \Omega^\bullet( \Delta^n)) \\ & \simeq Hom_{Ch^\bullet(sVect)}((\mathfrak{g} \otimes \Lambda_q)^*[1] , \Omega^\bullet( \Delta^n)) \\ & \simeq Hom_{Ch^\bullet(sVect)}((\mathfrak{g} \otimes \Lambda_q)^*[1]_{even} , \Omega^\bullet( \Delta^n)) \\ & \supset Hom_{dgsAlg}( CE((\mathfrak{g}\otimes_k \Lambda_q)_{even}), \Omega^\bullet( \Delta^n)) \end{aligned} \,.

Here in the third step we used that the underlying dg-algebra of $CE(\mathfrak{g})$ 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 $\Lambda_q$-linear, the claim follows.

References

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

and in

• V. Molotkov., Infinite-dimensional $\mathbb{Z}_2^k$-supermanifolds , ICTP preprints, IC/84/183, 1984.

A summary/review is in the appendix of

• Anatoly Konechny and Albert Schwarz,

On $(k \oplus l|q)$-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 $(k \oplus l|q)$-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)

Revised on October 23, 2013 10:08:04 by Urs Schreiber (82.169.114.243)