nLab supergeometry

Contents

Context

Super-Geometry

Contents

Idea

Supergeometry is the (higher) geometry over the base topos on superpoints modeled on the canonical line object \mathbb{R} in there.

As ordinary differential geometry studies spaces – smooth manifolds – that locally look like vector spaces, supergeometry studies spaces – supermanifolds – that locally look like super vector spaces.

As ordinary algebraic geometry studies spaces – schemes – that locally look like affine spaces, supergeometry studies superschemes.

From the point of view of noncommutative geometry, the supergeometry is a very mild special case of noncommutativity in geometry: some coordinates commute, some anticommute.

For more see at geometry of physics – supergeometry.

Supergeometry may defined over an arbitrary commutative ring (Schwarz and Shapiro 06).

geometries of physics

A\phantom{A}(higher) geometryA\phantom{A}A\phantom{A}siteA\phantom{A}A\phantom{A}sheaf toposA\phantom{A}A\phantom{A}∞-sheaf ∞-toposA\phantom{A}
A\phantom{A}discrete geometryA\phantom{A}A\phantom{A}PointA\phantom{A}A\phantom{A}SetA\phantom{A}A\phantom{A}Discrete∞GrpdA\phantom{A}
A\phantom{A}differential geometryA\phantom{A}A\phantom{A}CartSpA\phantom{A}A\phantom{A}SmoothSetA\phantom{A}A\phantom{A}Smooth∞GrpdA\phantom{A}
A\phantom{A}formal geometryA\phantom{A}A\phantom{A}FormalCartSpA\phantom{A}A\phantom{A}FormalSmoothSetA\phantom{A}A\phantom{A}FormalSmooth∞GrpdA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}A\phantom{A}SuperFormalCartSpA\phantom{A}A\phantom{A}SuperFormalSmoothSetA\phantom{A}A\phantom{A}SuperFormalSmooth∞GrpdA\phantom{A}

\,

duality between \;algebra and geometry

A\phantom{A}geometryA\phantom{A}A\phantom{A}categoryA\phantom{A}A\phantom{A}dual categoryA\phantom{A}A\phantom{A}algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand-KolmogorovAlg op\overset{\text{<a href="https://ncatlab.org/nlab/show/Gelfand-Kolmogorov+theorem">Gelfand-Kolmogorov</a>}}{\hookrightarrow} Alg^{op}_{\mathbb{R}}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cpt\phantom{NC}TopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C *,comm op\overset{\text{<a class="existingWikiWord" href="https://ncatlab.org/nlab/show/Gelfand+duality">Gelfand duality</a>}}{\simeq} TopAlg^{op}_{C^\ast, comm}A\phantom{A}A\phantom{A}comm. C-star-algebraA\phantom{A}
A\phantom{A}noncomm. topologyA\phantom{A}A\phantom{A}NCTopSpaces H,cptNCTopSpaces_{H,cpt}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg C * op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} TopAlg^{op}_{C^\ast}A\phantom{A}A\phantom{A}general C-star-algebraA\phantom{A}
A\phantom{A}algebraic geometryA\phantom{A}A\phantom{A}NCSchemes Aff\phantom{NC}Schemes_{Aff}A\phantom{A}A\phantom{A}almost by def.TopAlg fin op\overset{\text{<a href="https://ncatlab.org/nlab/show/affine+scheme#AffineSchemesFullSubcategoryOfOppositeOfRings">almost by def.</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{fin} A\phantom{A}A\phantom{A}fin. gen.A\phantom{A}
A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}noncomm. algebraicA\phantom{A}
A\phantom{A}geometryA\phantom{A}
A\phantom{A}NCSchemes AffNCSchemes_{Aff}A\phantom{A}A\phantom{A}Gelfand dualityTopAlg fin,red op\overset{\phantom{\text{Gelfand duality}}}{\coloneqq} \phantom{Top}Alg^{op}_{fin, red}A\phantom{A}A\phantom{A}fin. gen.
A\phantom{A}associative algebraA\phantom{A}A\phantom{A}
A\phantom{A}differential geometryA\phantom{A}A\phantom{A}SmoothManifoldsSmoothManifoldsA\phantom{A}A\phantom{A}Milnor's exerciseTopAlg comm op\overset{\text{<a href="https://ncatlab.org/nlab/show/embedding+of+smooth+manifolds+into+formal+duals+of+R-algebras">Milnor's exercise</a>}}{\hookrightarrow} \phantom{Top}Alg^{op}_{comm}A\phantom{A}A\phantom{A}commutative algebraA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}A\phantom{A}SuperSpaces Cart n|q\array{SuperSpaces_{Cart} \\ \\ \mathbb{R}^{n\vert q}}A\phantom{A}A\phantom{A}Milnor's exercise Alg 2AAAA op C ( n) q\array{ \overset{\phantom{\text{Milnor's exercise}}}{\hookrightarrow} & Alg^{op}_{\mathbb{Z}_2 \phantom{AAAA}} \\ \mapsto & C^\infty(\mathbb{R}^n) \otimes \wedge^\bullet \mathbb{R}^q }A\phantom{A}A\phantom{A}supercommutativeA\phantom{A}
A\phantom{A}superalgebraA\phantom{A}
A\phantom{A}formal higherA\phantom{A}
A\phantom{A}supergeometryA\phantom{A}
A\phantom{A}(super Lie theory)A\phantom{A}
ASuperL Alg fin 𝔤A\phantom{A}\array{ Super L_\infty Alg_{fin} \\ \mathfrak{g} }\phantom{A}AALada-MarklA sdgcAlg op CE(𝔤)A\phantom{A}\array{ \overset{ \phantom{A}\text{<a href="https://ncatlab.org/nlab/show/L-infinity-algebra#ReformulationInTermsOfSemifreeDGAlgebra">Lada-Markl</a>}\phantom{A} }{\hookrightarrow} & sdgcAlg^{op} \\ \mapsto & CE(\mathfrak{g}) }\phantom{A}A\phantom{A}differential graded-commutativeA\phantom{A}
A\phantom{A}superalgebra
A\phantom{A} (“FDAs”)

in physics:

A\phantom{A}algebraA\phantom{A}A\phantom{A}geometryA\phantom{A}
A\phantom{A}Poisson algebraA\phantom{A}A\phantom{A}Poisson manifoldA\phantom{A}
A\phantom{A}deformation quantizationA\phantom{A}A\phantom{A}geometric quantizationA\phantom{A}
A\phantom{A}algebra of observablesA\phantom{A}space of statesA\phantom{A}
A\phantom{A}Heisenberg pictureA\phantom{A}Schrödinger pictureA\phantom{A}
A\phantom{A}AQFTA\phantom{A}A\phantom{A}FQFTA\phantom{A}
A\phantom{A}higher algebraA\phantom{A}A\phantom{A}higher geometryA\phantom{A}
A\phantom{A}Poisson n-algebraA\phantom{A}A\phantom{A}n-plectic manifoldA\phantom{A}
A\phantom{A}En-algebrasA\phantom{A}A\phantom{A}higher symplectic geometryA\phantom{A}
A\phantom{A}BD-BV quantizationA\phantom{A}A\phantom{A}higher geometric quantizationA\phantom{A}
A\phantom{A}factorization algebra of observablesA\phantom{A}A\phantom{A}extended quantum field theoryA\phantom{A}
A\phantom{A}factorization homologyA\phantom{A}A\phantom{A}cobordism representationA\phantom{A}

References

Historically influential general considerations:

Survey:

Introductory lecture notes:

Discussion via functorial geometry:

Discussion of traditional algebraic geometry for super-schemes:

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 2 k\mathbb{Z}_2^k-supermanifolds, ICTP preprints, IC/84/183, 1984.

A summary/review is in the appendix of

Generalization to supergeometry over an arbitrary commutative ring, in particular pp-adic rings, is given in

A review of all this as geometry in the topos over the category of superpoints is in

Formulation in terms of synthetic differential supergeometry is in

For many more references see at supermanifold.

Plenty of discussion of supergeometry with an eye towards supersymmetry in quantum field theory is in

especially in the contribution

The appendix there

  • Sign manifesto (pdf)

means to sort out various sign conventions of relevance.

Discussion of how supersymmetry is universally induced in higher category theory/homotopy theory by the free abelian ∞-group on the point – the sphere spectrum – is in

For more on this see at superalgebra.

Discussion related to G-structure and Killing spinors includes

Discussion of classical field theory with fermions as taking place on supermanifolds is in the following references

Discussion on the context of super- string theory (especially regarding super Riemann surfaces):

Generalization of Artin's representability theorem to supergeometry:

Last revised on March 10, 2024 at 14:56:10. See the history of this page for a list of all contributions to it.