nLab geometry of physics -- supergeometry


this entry is one section of “geometry of physics – supergeometry and superphysics

which is one chapter of “geometry of physics

previous sections: superalgebra, categories and toposes, smooth sets

following sections: geometry of physics – supersymmetry, geometry of physics – smooth homotopy types


Supergeometry is the generalization of differential geometry (or algebraic geometry) to the situation where algebras of functions are generalized from commutative algebras to supercommutative superalgebras.

In geometry of physics – superalgebra we discussed why it is mathematically compelling to pass to supercommutative superalgebra and how this implies a dual concept of superspace in terms of affine superschemes. Here we discuss how to build a fully-fledged theory of geometry on these affine superspacessupergeometry – in parallel to the discussion of ordinary differential geometry in geometry of physics – smooth sets.

Apart from the abstract mathematical motivation for supergeometry, it is also an experimental fact that the observable universe is fundamentally described by supergeometry. Namely the Pauli exclusion principle, in its refined form of the spin-statistics theorem, implies that the phase space of a field theory (already of a classical field theory) with fermion fields (such as that of electrons and quarks) is a superspace whose even-graded coordinates are the configurations of the boson fields, while the odd-graded coordinates correspond to the configurations of the fermion fields. It is impossible to have an action functional for fermion fields as a function on a non-super (infinite-dimensional)-manifold.

This is an old insight: The experimental detection of the special properties of fermions that show their super-geometric nature goes back all the way to the Stern-Gerlach experiment in 1922, which revealed that electrons are spinors. The Pauli exclusion principle (Pauli 1925) – deduced from the nature of energy levels of electrons in atoms – says that no two such spinors may occupy the exact same quantum state. Technically this says that the spinor field variable ψ\psi has to satisfy

ψψ=0. \psi \psi = 0 \,.

A little later it was realized that the axioms of local field theory imply that all spinor fields need to be fermions in that for any two classical spinor field variables ψ 1\psi_1, ψ 2\psi_2 the Grassmann sign rule holds (Grassmann 1844):

ψ 1ψ 2=ψ 2ψ 1 \psi_1 \psi_2 = - \psi_2 \psi_1

(which of course immediately implies the Pauli exclusion principle). This is the celebrated spin-statistics theorem, whose formulation goes back to Fierz in 1939 and Pauli in 1940. And that sign rule is of course precisely the sign rule in a supercommutative superalgebra, for the fermion field observables ψ i\psi_i being odd-graded functions on a supergeometric phase space.

Notice that this phenomenon is not a negligible subtlety: the Pauli exclusion principle is what implies stability of matter by forcing electrons in an atom to fill up “orbitals” consecutively as opposed to all falling into the ground state, as a bosonic condensate would do. There would be no solid state physics without supergeometry of phase spaces, no solid matter. (In addition, the Pauli degeneracy pressure controls more exotic phenomena, for instance the stability of neutron stars against their gravitational collapse.)

As a slogan:

\,\,\,\,\,\; The geometry of phase spaces for fermions,

\,\,\,\,\,\; hence for matter fields admitting solid states,

\,\,\,\,\,\; is supergeometry.

Nevertheless, few textbooks make the supergeometric aspect in the physics of fermions explicit. Some discuss it only after quantization (and some will even claim that fermion fields do not exist classically); some only discuss it in the context of spacetime supersymmetry. But notice that supergeometry is a subject in itself even without presence or mentioning of spacetime supersymmetry (which is super Poincaré group symmetry), just as differential geometry is a subject in itself even without the presence or mentioning of Poincaré group symmetry. Hence this we discuss independently in geometry of physics – supersymmetry.

Texts which do make the super-geometric nature of fermion fields explicit include

This we discuss elsewhere.








In the section geometry of physics – superalgebra we had discussed the category of affine super schemes (in this definition)

Var(sVect )sCalg k op=CMon(sVect ). Var(sVect_{\mathbb{R}}) \coloneqq sCalg_k^{op} = CMon(sVect_{\mathbb{R}}) \,.

Here we use these as local model spaces to develop geometry locally modeled on affine superschemes. Since we are interested in physics, and since spacetimes and phase spaces in physics are objects in differential geometry, not in algebraic geometry (even if sometimes they may come from there), we consider the full subcategory of super Cartesian spaces (this example)

SuperCartSp={ p|q} p,qAff(sVect k), SuperCartSp = \{\mathbb{R}^{p\vert q}\}_{p,q \in \mathbb{N}} \hookrightarrow Aff(sVect_k) \,,

whose algebras of functions by definition are tensor products (over the real numbers \mathbb{R}) of \mathbb{R}-algebras of smooth functions with Grassmann algebras

𝒪( p|q)C ( p) ( *) q. \mathcal{O}(\mathbb{R}^{p\vert q}) \;\coloneqq\; C^\infty(\mathbb{R}^p) \otimes_{\mathbb{R}} \wedge^\bullet (\mathbb{R}^\ast)^q \,.

These serve as our “abstract super-coordinate systems” that define supergeometry in direct analogy to how ordinary Cartesian spaces serve as the abstract coordinate systems that define differential geometry as found at geometry of physics – coordinate systems and_geometry of physics – smooth sets.

Then a general superspace is modeled as a sheaf on the category of super Cartesian spaces, possibly satisfying some suitable properties. see remark below for explanation of this perspective.

This means that we follow the perspective of “functorial geometry” due to Grothendieck 65, where a scheme is regarded as a sheaf over the category of affine schemes (its “functor of points”) satisfying the condition that it is covered by (representables of) affines via formally étale morphism. We explain all this below.

Beware that – despite the urging in Grothendieck 73 that the definition of schemes as locally ringed spaces should be abandoned in favour of the perspective of functorial geometry – most textbooks on supergeometry do stick with the point of view of locally ringed spaces. (One might argue that in smooth supergeometry this is a particularly heavy violation of Grothendieck’s urging, since, in contrast to algebraic schemes, every supermanifold is already affine.)

An exception is the approach propagated in Schwarz 84, Molotkov 84, Konechny-Schwarz 97 of which a clean account is given in Sachse 08. These authors consider (pre-)sheaves on the category of superpoints. This gives the “super” in “super-geometry” a functorial interpretation, but the (smooth) “geometry” still needs to be added in by hand. Hence this approach satisfies Grothendieck’s urging half-way.

The full application of the perspective of functorial geometry to supergeometry is known as synthetic differential supergeometry, where one considers sheaves over the full category of formal super Cartesian spaces (Yetter 88, section 3). This is essentially the perspective which we adopt here. We do however not refer to the (super-)Kock-Lawvere axioms for synthetic differential geometry but instead use the axiomatics of “differential cohesion” (Schreiber 13). This we explain below.

Super Cartesian spaces

For reference, recall:


(Grassmann algebra)

For qq\in \mathbb{N}, the real Grassmann algebra

C ( 0|q) θ 1,,θ q C^\infty(\mathbb{R}^{0|q}) \coloneqq \wedge^\bullet \langle \theta_1, \cdots, \theta_q\rangle

is the \mathbb{R}-algebra freely generated from qq generators {θ i} i=1 q\{\theta_i\}_{i = 1}^q (now regarded as being in odd degree), subject to the relations

θ iθ j=θ jθ i \theta_i \theta_j = - \theta_j \theta_i

for all i,j{1,,q}i,j \in \{1,\cdots, q\}. In particular

θ iθ i=0 \theta_i \theta_i = 0

for all i{1,,q}i \in \{1, \cdots, q\} (since \mathbb{R} has characteristic zero and in particular char()2char(\mathbb{R}) \neq 2).

For p,qp,q \in \mathbb{N}, the super-Cartesian space p|q\mathbb{R}^{p|q} is the formal dual of the supercommutative superalgebra written 𝒪( p|q)\mathcal{O}(\mathbb{R}^{p\vert q}) or C ( p|q)C^\infty(\mathbb{R}^{p|q}) whose underlying /2\mathbb{Z}/2\mathbb{Z}-graded vector space is

C ( p|q)C ( p) θ 1,,θ q C^\infty(\mathbb{R}^{p|q}) \coloneqq C^\infty(\mathbb{R}^p) \otimes_{\mathbb{R}} \wedge^\bullet\langle\theta_1, \cdots, \theta_q\rangle

with the product given by the relations

(fθ i 1θ i k)(gθ j 1θ j l) =fgθ i 1θ i kθ j 1θ j l =(1) klgfθ j 1θ j lθ i 1θ i k \begin{aligned} \left( f \theta_{i_1}\cdots \theta_{i_k} \right) \left( g \theta_{j_1}\cdots \theta_{j_l} \right) & = f \cdot g \; \theta_{i_1}\cdots \theta_{i_k} \theta_{j_1}\cdots \theta_{j_l} \\ & = (-1)^{k l} g\cdot f \; \theta_{j_1}\cdots \theta_{j_l} \theta_{i_1}\cdots \theta_{i_k} \end{aligned}

where fgf \cdot g is the ordinary pointwise product of smooth functions:

p|qSpec(C ( p) ( q) *). \mathbb{R}^{p \vert q} \coloneqq Spec( C^\infty(\mathbb{R}^p) \otimes_{\mathbb{R}} \wedge^\bullet (\mathbb{R}^q)^\ast ) \,.


SuperCartSpsCAlg op SuperCartSp \hookrightarrow sCAlg_{\mathbb{R}}^{op}

for the full subcategory of the opposite category of commutative superalgebras on those of this form. We write p|qSuperCartSp\mathbb{R}^{p|q} \in SuperCartSp for the formal dual of C ( p|q)C^\infty(\mathbb{R}^{p|q}).

Moreover, we write

CartSpAAAASuperCartSp CartSp \overset{\phantom{AAAA}}{\hookrightarrow} SuperCartSp

for the full subcategory on ordinary Cartesian spaces with smooth functions between them. These are the “abstract coordinate charts” from the discussion at geometry of physics – smooth sets, and so we are evidently entitled to think of the objects in SuperCartSpSuperCartSp as abstract super coordinate systems and to develop a geometry induced from these.

Recall the three magic algebraic properties of smooth functions that make the above algebraic description of differential geometry work:


(first two magic properties of algebras of smooth functions)

  1. (embedding of smooth manifolds into formal duals of R-algebras)

    The functor that assigns algebras of smooth functions to smooth manifolds

    C ():SmthMfdAAAACAlg opAAAAsCAlg op C^\infty(-) \;\colon\; SmthMfd \overset{\phantom{AAAA}}{\hookrightarrow} CAlg_{\mathbb{R}}^{op} \overset{\phantom{AAAA}}{\hookrightarrow} sCAlg_{\mathbb{R}}^{op}

    is fully faithful (this Def.).

  2. (smooth Serre-Swan theorem)

    The functor that assigns smooth sections of smooth vector bundles of finite rank

    Γ X():SmthVectBund /XC (X)Mod \Gamma_X(-) \;\colon\; SmthVectBund_{/X} \hookrightarrow C^\infty(X) Mod

    is fully faithful (its essential image being the finitely generated projective modules over the \mathbb{R}-algebra of smooth functions).

    (Nestruev 03, theorem 11.32)

    Moreover, the modules over the \mathbb{R}-algebra C (X)C^\infty(X) of smooth functions on XX which arise this way as sections of smooth vector bundles over a Cartesian space XX are precisely the finitely generated free modules over C (X)C^\infty(X).

    (Nestruev 03, theorem 11.32)

There is a third such magic algebraic property of smooth functions, which plays a role now:


(derivations of smooth functions are vector fields)

Let XX be a smooth manifold. Write

der X:Γ(TX)Der(C (X)) der_X \;\colon\; \Gamma(T X) \longrightarrow Der(C^\infty(X))

for the function that sends a smooth vector field vΓ(TX)v \in \Gamma(T X) to the derivation of the algebra of smooth functions on XX given by forming derivatives: der X(v)(f)v(f)der_X(v)(f) \coloneqq v(f). This is a derivation by the chain rule.

Then this function is a bijection, hence every derivation of C (X)CAlg C^\infty(X) \in CAlg_{\mathbb{R}} comes from differentiation along some smooth vector field, which is uniquely defined thereby.


By the existence of partitions of unity we may restrict to the situation where X= nX = \mathbb{R}^n is a Cartesian space. By the Hadamard lemma every smooth function fC ( n)f \in C^\infty(\mathbb{R}^n) may be written as

f(x)=f(0)+ ix ig i(x) f(x) = f(0) + \sum_i x_i g_i(x)

for smooth functions {g iC (X)}\{g_i \in C^\infty(X)\} with g i(0)=fx i(0)g_i(0) = \frac{\partial f}{\partial x_i}(0). Since any derivation δ:C (X)C (X)\delta : C^\infty(X) \to C^\infty(X) by definition satisfies the Leibniz rule, it follows that

δ(f)(0)= iδ(x i)fx i(0). \delta(f)(0) = \sum_i \delta(x_i) \frac{\partial f}{\partial x_i}(0) \,.

Similarly, by translation, at all other points. Therefore δ\delta is already fixed by its action of the coordinate functions {x iC (X)}\{x_i \in C^\infty(X)\}. Let v δT nv_\delta \in T \mathbb{R}^n be the vector field

v δ iδ(x i)x i v_\delta \coloneqq \sum_i \delta(x_i) \frac{\partial}{\partial x_i}

then it follows that δ\delta is the derivation coming from v δv_\delta under Γ X(TX)Der(C (X))\Gamma_X(T X) \to Der(C^\infty(X)).

Recall further from geometry of physics – superalgebra that the category of supercommutative superalgebras is related to that of ordinary commutative algebras over \mathbb{R} by an adjoint cylinder (this prop.):


(adjoint modality of even fermionic and bosonic in superalgebras)

The canonical inclusion of commutative algebras into supercommutative superalgebras is part of an fully faithful adjoint triple (this Def.) of the form

() evenι op()/() odd:CAlg kAAAAι opAAAAAA() evenAAAA()/() oddAAsCAlg k. (-)_{even} \;\dashv\; \iota^{op} \;\dashv\; (-)/(-)_{odd} \;\;\colon\;\; CAlg_k \underoverset {\underset{\phantom{AA}(-)_{even}\phantom{AA}}{\longleftarrow}} {\overset{\phantom{AA}(-)/(-)_{odd}\phantom{AA}}{\longleftarrow}} {\overset{\phantom{AAAA}\iota^{op}\phantom{AAAA}}{\hookrightarrow}} sCAlg_k \,.

(Here and in the following we display pairs of adjoint functors (this Def.) such that the left adjoint is on top and the right adjoint is on the bottom.)

The formal dual (this Def.) of this statement is that affine superschemes are related to ordinary affine schemes over \mathbb{R} by an adjoint modality of this form

evenι sup:Disc supAff(Vect k)AAAιAAAAAΠ supAAAAevenAAAff(sVect k). even \;\dashv\; \iota_{sup} \;\;\colon\;\; Disc_{sup} Aff(Vect_k) \underoverset {\underset { \phantom{AA} \Pi_{sup} \phantom{AA} } {\longleftarrow} } {\overset { \phantom{AA} even \phantom{AA} } {\longleftarrow} } {\overset{ \phantom{AAA} \iota \phantom{AAA} }{\hookrightarrow}} Aff(sVect_k) \,.

Beware that

  1. Π sup\Pi_{sup} is the formal dual of ()/() odd(-)/(-)_{odd},

  2. eveneven is the formal dual of () even(-)_{even}.

That they change position in the diagrams is because we always draw left adjoints on top of right adjoints and the handedness of adjoints changes as we pass to opposite categories.


The algebra of functions on even( 0|2)even({\mathbb{R}^{0\vert 2}}) is

𝒪(even( 0|2)) =𝒪( 0|2) even =( ( 2) *) even ={a 0+a 1θ 1+a 2θ 2+a 12θ 1θ 2|a } even ={a 0+a 12θ 1θ 2|a 12} =[ϵ]/(ϵ 2) \begin{aligned} \mathcal{O}\left( even({\mathbb{R}^{0\vert 2}})\right) & = \mathcal{O}(\mathbb{R}^{0\vert 2})_{even} \\ & = (\wedge^\bullet(\mathbb{R}^2)^\ast)_{even} \\ &= \left\{a_0 + a_1 \, \theta_1 + a_2 \, \theta_2 + a_{12} \theta_1 \theta_2 \,\vert a_\bullet \in \mathbb{R}\,\right\}_{even} \\ &= \left\{a_0 + a_{12} \theta_1 \theta_2 \,\vert a_{12} \in \mathbb{R}\,\right\} \\ &= \mathbb{R}[\epsilon]/(\epsilon^2) \end{aligned}

where in the last line we renamed θ 1θ 2\theta_1 \theta_2 to ϵ\epsilon.

This algebra [ϵ]/(ϵ 2)\mathbb{R}[\epsilon]/(\epsilon^2) is known as the algebra of dual numbers over \mathbb{R}. It is to be thought of as the algebra of functions on a bosonic but infinitesimally thickened point, an infinitesimal neighbourhood of a point inside the real line which is “so very small” that the canonical coordinate function ϵ\epsilon on it takes values “so tiny” that its square, which is bound to be even tinier, is actually indistinguishable from zero.

We will write

𝔻 1Spec([ϵ]/(ϵ 2))Aff(sVect k) \mathbb{D}^1 \;\coloneqq\; Spec(\mathbb{R}[\epsilon]/(\epsilon^2)) \;\in\; Aff(sVect_k)

for the space formally dual to this algebra of dual numbers and think of it as the 1-dimensional first order infinitesimal disk.

In generalization of this we make the following definitions:


(formal Cartesian spaces)


InfPoint AAA CAlg op 𝔻 V V \array{ InfPoint &\overset{\phantom{AAA}}{\hookrightarrow}& CAlg_{\mathbb{R}}^{op} \\ \mathbb{D}_V &\mapsto& \mathbb{R} \oplus V }

for the full subcategory (this Example) of the opposite category (this Example) of commutative algebras over \mathbb{R} on formal duals 𝔻\mathbb{D} of commutative algebras over the real numbers of the form

𝒪(𝔻 V)(V), \mathcal{O}(\mathbb{D}_V) \;\coloneqq\; (\mathbb{R}\oplus V) \,,

with VV a nilpotent ideal of finite-dimension over \mathbb{R} (the direct sum on the right is that of underlying vector spaces, not of algebras).

We call this the category of infinitesimally thickened points.

Alternative terminology:

  1. In synthetic differential geometry these algebras are called Weil algebras,

  2. in algebraic geometry they are known as local real Artin algebras.

Write moreover

FormalCartSp AAAA CAlg op n×𝔻 V C ( n) (V) \array{ FormalCartSp &\overset{\phantom{AAAA}}{\hookrightarrow}& CAlg_{\mathbb{R}}^{op} \\ \mathbb{R}^n \times \mathbb{D}_V &\mapsto& C^\infty(\mathbb{R}^n) \otimes_{\mathbb{R}} (\mathbb{R} \oplus V) }

for the full subcategory on formal duals n×𝔻\mathbb{R}^n \times \mathbb{D} of those algebras which are tensor products of commutative \mathbb{R}-algebras of the form

𝒪( n×𝔻)C ( n) C (𝔻) \mathcal{O}(\mathbb{R}^n \times \mathbb{D}) \coloneqq C^\infty(\mathbb{R}^n) \otimes_{\mathbb{R}} C^\infty(\mathbb{D})

of algebras C ( p)C^\infty(\mathbb{R}^p) of smooth functions n\mathbb{R}^n with algebras corresponding to infinitesimally thickened points 𝔻\mathbb{D} as above.


(formal schemes and synthetic differential geometry)

This kind of construction in Def. is traditionally more familiar from the theory of formal schemes, but the same kind of general abstract theory goes through in the context of differential geometry, a point of view known as synthetic differential geometry (Lawvere 97), preconfigured already in the prespective of functorial geometry of Grothendieck 65.

The crucial property of infinitesimally thickened points (def. ) is that they co-represent tangent vectors and jets:


(morphisms out of infinitesimally thickened point are tangent vectors)

Write 𝔻 1=Spec([ϵ]/(ϵ 2))\mathbb{D}^1 = Spec(\mathbb{R}[\epsilon]/(\epsilon^2)) for the formal dual of the algebra of dual numbers (example ). Then morphisms in FormalCartSpFormalCartSp (def. ) of the form

n×𝔻 1 n \mathbb{R}^n \times \mathbb{D}^1 \longrightarrow \mathbb{R}^n

which are the identity after restriction along n n×𝔻 1\mathbb{R}^n \to \mathbb{R}^n \times \mathbb{D}^1, are in natural bijection with smooth vector fields on n\mathbb{R}^n.

Moreover, morphisms of the form

𝔻 1 n \mathbb{D}^1 \longrightarrow \mathbb{R}^n

are equivalently single tangent vectors, hence for every n\mathbb{R}^n there is a natural bijection

Hom FormalCartSp(𝔻 1, n)T nunderlyingset Hom_{FormalCartSp}(\mathbb{D}^1, \mathbb{R}^n) \simeq \underset{\text{underlying} \atop \text{set}}{\underbrace{T \mathbb{R}^n}}

between the hom-set from the formal dual of the ring of dual numbers and the set of tangent vectors.


By definition, morphisms

n×𝔻 n \mathbb{R}^n \times \mathbb{D}\longrightarrow \mathbb{R}^n

which are the identity after restriction along n n×𝔻\mathbb{R}^n \to \mathbb{R}^n \times \mathbb{D}, are equivalently algebra homomorphisms of the form

(C ( n)ϵC ( n))C ( n) (C^\infty(\mathbb{R}^n) \oplus \epsilon C^\infty(\mathbb{R}^n)) \longleftarrow C^\infty(\mathbb{R}^n)

which are the identity modulo ϵ\epsilon. Such a morphism has to take any function fC ( n)f \in C^\infty(\mathbb{R}^n) to

f+(f)ϵ f + (\partial f) \epsilon

for some smooth function (f)C ( n)(\partial f) \in C^\infty(\mathbb{R}^n). The condition that this assignment makes an algebra homomorphism is equivalent to the statement that for all f 1,f 2C ( n)f_1,f_2 \in C^\infty(\mathbb{R}^n)

(f 1f 2+((f 1f 2))ϵ)=(f 1+(f 1)ϵ)(f 2+(f 2)ϵ). (f_1 f_2 + (\partial (f_1 f_2))\epsilon ) = (f_1 + (\partial f_1) \epsilon) (f_2 + (\partial f_2) \epsilon) \,.

Multiplying this out and using that ϵ 2=0\epsilon^2 = 0 this in turn is equivalent to

(f 1f 2)=(f 1)f 2+f 1(f 2). \partial(f_1 f_2) = (\partial f_1) f_2 + f_1 (\partial f_2) \,.

This means equivalently that :C ( n)C ( n)\partial\colon C^\infty(\mathbb{R}^n)\to C^\infty(\mathbb{R}^n) is a derivation. But derivations of smooth functions are vector fields (prop. ).

We now explore further the relations between Cartesian spaces, formal Cartesian spaces, and super formal Cartesian spaces.


(co-reflection of Cartesian spaces inside formal Cartesian spaces)

The canonical inclusion ι\iota of the category of ordinary Cartesian spaces into that of formal Cartesian spaces has a left adjoint (this Def.) \Re (“reduction”)

CartSpAAΠ infAAAAι infAAFormalCartSp CartSp \underoverset {\underset{\phantom{AA}\Pi_{inf} \phantom{AA}}{\longleftarrow}} {\overset{\phantom{AA}\iota_{inf} \phantom{AA}}{\hookrightarrow}} {\bot} FormalCartSp

given by

Π inf( n×𝔻) n. \Pi_{inf}(\mathbb{R}^n \times \mathbb{D}) \coloneqq \mathbb{R}^n \,.

Hence ι\iota exhibits CartSpCartSp as a coreflective subcategory (this Def.) of FormalCartSpFormalCartSp

We say that n\mathbb{R}^n is the reduced scheme of n×𝔻\mathbb{R}^n \times \mathbb{D}.


We check the natural isomorphism on hom-sets that characterizes a pair of adjoint functors (here):

By definition, a morphism of the form

f:i( n 1) n 2×𝔻 f \;\colon\; i(\mathbb{R}^{n_1}) \longrightarrow \mathbb{R}^{n_2} \times \mathbb{D}

is equivalently a homomorphism of commutative algebras of the form

f *:C ( n 1)C ( n 2) (V) f^\ast \;\colon\; C^\infty(\mathbb{R}^{n_1}) \longleftarrow C^\infty(\mathbb{R}^{n_2}) \otimes_{\mathbb{R}} (\mathbb{R} \oplus V)

where all elements vVv \in V are nilpotent, in that there exists n vn_v \in \mathbb{N} such that (v) n v=0(v)^{n_v} = 0. Every algebra homomorphism needs to preserve this equation, and hence needs to send nilpotent elements to nilpotent elements. But the only nilpotent element in the ordinary function algebra C ( n)C^\infty(\mathbb{R}^n) is the zero-function, and so it follows that the above homomorphism has to vanish on all of VV, hence has to factor (necessarily uniquely) through a homomorphism of the form

f˜ *:C ( n 1)C ( n 2). \tilde f^\ast \;\colon\; C^\infty(\mathbb{R}^{n_1}) \longleftarrow C^\infty(\mathbb{R}^{n_2}) \,.

This is dually a morphism of the form

f˜: n 1 n 2 \tilde f \;\colon\; \mathbb{R}^{n_1} \longrightarrow \mathbb{R}^{n_2}

in CartSpCartSp. This establishes a natural bijection ff˜f \leftrightarrow \tilde f.

The above discussion following prop. means that in passing to commutative superalgebras there are two stages of generalizations of plain differential geometry involved:

  1. Cartesian spaces are generalized to formal Cartesian spaces;

  2. formalCartesian spaces are further generalized to super formal Cartesian spaces.

In order to make this explicit, it is convenient to introduce the following slight generalization of super Cartesian spaces (def. ), which are simply Cartesian products of ordinary Cartesian spaces with an infinitesimally thickened point that may have both even and odd graded elements in its algebra of functions.


(super formal Cartesian spaces)


SuperFormalCartSp AAιAA sCAlg op n|q×𝔻 V= n× 0|q×𝔻 V C ( n) ( q) (V) \array{ SuperFormalCartSp &\overset{ \phantom{AA} \iota \phantom{AA} }{\hookrightarrow}& sCAlg_{\mathbb{R}}^{op} \\ \mathbb{R}^{n\vert q} \times \mathbb{D}_V = \mathbb{R}^n \times \mathbb{R}^{0 \vert q} \times \mathbb{D}_V & \mapsto & C^\infty( \mathbb{R}^{n} ) \otimes_{\mathbb{R}} \wedge^\bullet( \mathbb{R}^q ) \otimes_{\mathbb{R}} (\mathbb{R} \oplus V) }

for the full subcategory (this Example) of that of the opposite category of supercommutative superalgebras on those which are tensor products of commutative algebras of

  1. the algebra of smooth functions on a Cartesian space,

  2. a Grassmann algebra (Def. ),

  3. a Weil algebra (Def. )

One place in the literature where such super formal Cartesian spaces are made explicit is in Konechny-Schwarz 97.

Just as formal Cartesian spaces may be thought of as local model spaces for synthetic differential geometry, super formal Cartesian spaces may be thought of as a model for synthetic differential supergeometry. This we come to below.

For completeness it is useful to compare the coreflection of prop. to the following simple reflection.


*Cat \ast \in Cat

for the category with a single object and a single morphism (the identity) on that object. We will think of this as the category containing just the point space, which we want to think of as the local model space for discrete geometry.


There is a pair of adjoint functors

*ΠCartSp \ast \; \underoverset {\underset{}{\hookrightarrow}} {\overset{\Pi}{\longleftarrow}} {} \;CartSp

into the category of Cartesian spaces, where the bottom functor sends the unique object to the point 0\mathbb{R}^0, and where its left adjoint on top is, necessarily, the unique functor constant on the unique object on the left.


The natural isomorphism between hom sets characterizing this pair of adjoint functors simply expresses the fact that 0\mathbb{R}^0 is the terminal object in CartSpCartSp, hence that for n\mathbb{R}^n any Cartesian space, then there is a unique smooth function of the form n 0\mathbb{R}^n \to \mathbb{R}^0.

In conclusion, the various extra structures on local model spaces (abstract coordinate systems) which we considered are organized in the following diagram:


(progression of (co-)reflective site-inclusions)

The coreflective subcategory inclusion of Cartesian spaces into formal Cartesian spaces from prop. and the coreflective as well as reflective subcategory inclusion of affine schemes into affine superschemes from prop. and the terminal inclusion of prop. combine to give the following system of adjoint functors on our local model spaces

discretegeometry differentialgeometry formaldifferentialgeometry superdifferentialgeometry * AAΠAA AADiscAA CartSp AAι infAA AAΠ infAA A AA FormalCartSp AAevenAA AAι supAA AAΠ supAA A AA AA SuperFormalCartSp. \array{ { \text{} \atop { \text{discrete} \atop {\text{geometry}} } } && {\text{} \atop {\text{differential} \atop \text{geometry}}} && {\text{formal} \atop {\text{differential} \atop {geometry}}} && {\text{super} \atop {\text{differential} \atop \text{geometry}}} \\ \\ \ast & \array{ \overset{\phantom{AA}\Pi\phantom{AA}}{\longleftarrow} \\ \overset{\phantom{AA}Disc\phantom{AA}}{\hookrightarrow} } & CartSp & \array{ \overset{\phantom{AA}\iota_{inf}\phantom{AA}}{\hookrightarrow} \\ \overset{\phantom{AA}\Pi_{inf}\phantom{AA}}{\longleftarrow} \\ \phantom{A} \\ \phantom{A \atop A} } & FormalCartSp & \array{ \overset{\phantom{AA}even\phantom{AA}}{\longleftarrow} \\ \overset{\phantom{AA}\iota_{sup}\phantom{AA}}{\hookrightarrow} \\ \overset{\phantom{AA}\Pi_{sup}\phantom{AA}}{\longleftarrow} \\ \phantom{A} \\ \phantom{A \atop A} \\ \phantom{A \atop A} } & SuperFormalCartSp } \,.

Super smooth sets

Above we discussed (formal) super Cartesian spaces. What we are after is geometry of generalized space which is “locally modeled” on these, in the sense explained in the chapter on categories and toposes . In order to do so we

  1. consider generalized superspaces whose collection forms a “good category” (the sheaf topos over super Cartesian space) in that lots of universal constructions on general superspaces (limits, colimits) still yield general superspaces;

  2. use special properties of this nice category (differential cohesion) in order to characterize and construct the good, tame superspaces, such as actual supermanifolds.

The construction proceeds in direct anology to the non-super version discussed in the chapters on smooth sets and on manifolds and orbifolds. For reference we first briefly recall this bosonic situation.

The following simple definitions and are key to the whole theory. They embody the perspective of functorial geometry (Grothendieck 65). See remark below for exegesis and illustration.



Write CartSp for the category of Cartesian space n\mathbb{R}^n for nn \in\mathbb{N} with smooth functions between them. Say that a collection of morphisms {U iX}\{U_i \to X\} in CartSpCartSp is covering if this is a good open cover in that every finite non-empty intersection of the charts is diffeomorphic to a Cartesian space. This defines a coverage on CartSp and hence makes it a site.


(smooth set)

We say a smooth set (this Def.ets#CategoryOfSmoothSets)) is, equivalently, a sheaf on CartSp (Def. ), according to this Prop.ets#SmoothSetsAreSheavesOnCartSp). We write

SmoothSetSh(CartSp) SmoothSet \;\coloneqq\; Sh(CartSp)

for the sheaf topos (this Def.) of smooth set.


(functorial geometry)

The useful way to think of def. in the present context is as defining a kind of generalized smooth space which is defined by which smooth functions from Cartesian spaces it receives (see also at motivation for sheaves, cohomology and higher stacks for more exposition of this point).

Namely a smooth set XX in the sense of def. is first of all a rule

pX( p)Set \mathbb{R}^p \mapsto X(\mathbb{R}^p) \in Set

which assigns a set to each Cartesian space. We are to think of this set X( n)X(\mathbb{R}^n) as the set of smooth functions {“ nX\mathbb{R}^n \stackrel{}{\to} X”}, only that there is no pre-defined concept of smoothness of functions into XX, instead it is defined by that very rule. Moreover, for every smooth function ff between Cartesian spaces, there is to be a corresponding function f *f^\ast between these sets, going in the opposite direction

n 1 f n 2X( n 1) f * X( n 2) \array{ \mathbb{R}^{n_1} \\ \downarrow^{\mathrlap{f}} \\ \mathbb{R}^{n_2} } \;\;\; \mapsto \;\;\; \array{ X(\mathbb{R}^{n_1}) \\ \uparrow^{\mathrlap{f^\ast}} \\ X(\mathbb{R}^{n_2}) }

which we are to think of as being the precomposition operation

(" n 2ϕX")("f *ϕ: n 1f n 2ϕX"). (\text{"}\mathbb{R}^{n_2} \stackrel{\phi}{\to} X\text{"}) \;\mapsto\; (\text{"}f^\ast \phi \colon \mathbb{R}^{n_1} \overset{f}{\to} \mathbb{R}^{n_2} \overset{\phi}{\to} X\text{"}) \,.

This is required to satisfy the evident conditions that composition and identity is respected, in that (gf) *=g *f *(g \circ f)^\ast = g^\ast \circ f^\ast and id *=idid^\ast = id. Together these conditions say that XX is a presheaf on the category of test spaces – the “functor of points” (Grothendieck 65).

In addition, the requirement that XX be a sheaf on the site of Cartesian spaces from def. means that the assignment nX( n)\mathbb{R}^n \mapsto X(\mathbb{R}^n) knows that one coordinate system n\mathbb{R}^n may be covered by other coordinate systems. Namely let {U iϕ i}\{U_i \overset{\phi_i}{\to}\} be an open cover by open balls U iU_i (each of which may be identified with n\mathbb{R}^n itself, by a diffeomorphism) then the condition is that the function

(" nX"){"U iϕ i nX"} (\text{"}\mathbb{R}^n \to X\text{"}) \mapsto \left\{ \text{"}U_i \overset{\phi_i}{\to} \mathbb{R}^n \to X\text{"} \right\}

is a bijection from X( n)X(\mathbb{R}^n) to the subset of the Cartesian product iX(U i)\underset{i}{\prod} X(U_i) of those tuples of functions U if iXU_i \stackrel{f_i}{\to} X which coincide on all intersections: f i| U iU j=f j| U iU jf_i |_{U_i \cap U_j} = f_j |_{U_i \cap U_j} (“matching families”).

For example every Cartesian space XX defines a smooth set by the rule

nC ( n,X) \mathbb{R}^n \mapsto C^\infty(\mathbb{R}^n ,X)

which says that the set of would-be smooth functions into XX is the actual set of smooth functions into XX. One also says that XX represents a sheaf on CartSpCartSp,

This defines a full subcategory inclusion of Cartesian spaces into smooth sets

y:CartSpSmoothSet y \;\colon\; CartSp \hookrightarrow SmoothSet

called the Yoneda embedding.

The same construction works for XX any smooth manifold: it is regarded as a smooth set defined by the rule

nC ( n,X) \mathbb{R}^n \mapsto C^\infty(\mathbb{R}^n ,X)

which assigns actual sets of smooth functions.

Notice that since Cartesian spaces (and smooth manifolds) themselves are understood as special cases of smooth sets, there now appears an actual concept of smooth functions of the form nX\mathbb{R}^n \to X, for every smooth set XX, without quotation marks: namely this is a morphism in the category SmoothSetSmoothSet of smooth sets.

Now there might be a worry: given any smooth set XX and any Cartesian space n\mathbb{R}^n, we seem to have two different concepts of what the set of smooth functions from n\mathbb{R}^n to XX is: the set X( n)X(\mathbb{R}^n) of “smooth functions by fiat” (maps with quotation marks) and the actual hom-set Hom SmoothSet( n,X)Hom_{SmoothSet}(\mathbb{R}^n, X) (maps without quotation mark).

That these two sets are in fact in natural bijection, hence that the interpretation of a sheaf XX as a generalized smooth space is consistent, is the statement of the Yoneda lemma:

Hom SmoothSet( n,X)X( n). Hom_{SmoothSet}(\mathbb{R}^n, X) \; \simeq \; X(\mathbb{R}^n) \,.

Hence the Yoneda lemma says that we may remove the quotation marks:

X( n){morphismsofsmoothspaces nX}. X(\mathbb{R}^n) \simeq \left\{ morphisms\;of\;smooth\;spaces\; \mathbb{R}^n \to X \right\} \,.

(generalized spaces)

The strategy is now to work in the nice category SmoothSetsSmoothSets of generalized smooth spaces (a topos), and find in there full subcategories of more specific types of smooth spaces having extra properties which one may need in given applications. There is a long list of such subcategories of relevance, some of these we briefly discuss now:

{\{Cartesian spaces}\} \hookrightarrow {\{smooth manifolds}\} \hookrightarrow {\{Hilbert manifolds}\} \hookrightarrow {\{Banach manifolds}\} \hookrightarrow {\{Fréchet manifolds}\} \hookrightarrow {\{diffeological spaces}\} \hookrightarrow \cdots \hookrightarrow {\{smooth sets}\} \hookrightarrow {\{formal smooth sets}\} \hookrightarrow {\{super formal smooth sets}\}

and similarly for their supergeometric version (which we turn to below, def. )

{\{Cartesian spaces}\} \hookrightarrow {\{super Cartesian spaces}\} \hookrightarrow {\{supermanifolds}\} \hookrightarrow \cdots \hookrightarrow {\{super smooth sets}\} .

By the strategy of remark we now pass to generalized spaces which are locally modeled not just on plain Cartesian spaces, but also on formal Cartesian spaces and super formal Cartesian spaces


(super formal smooth sets)

Define a coverage on the categories FormalCartSpFormalCartSp (def. ) and on SuperFormalCartSpSuperFormalCartSp (def. ) by declaring the covering families of any object n×𝔻\mathbb{R}^n \times \mathbb{D} (hence for 𝔻\mathbb{D} with 𝒪(𝔻)=(V)\mathcal{O}(\mathbb{D}) = (\mathbb{R} \oplus V) any infinitesimally thickened superpoint) to be those of the form

{U i×𝔻ϕ i×id n×𝔻} \left\{ U_i \times \mathbb{D} \overset{\phi_i \times id}{\longrightarrow} \mathbb{R}^n \times \mathbb{D} \right\}


{U iϕ i n} \left\{ U_i \overset{\phi_i }{\longrightarrow} \mathbb{R}^n \right\}

a good open cover as in def. .

In analogy with def. we say that

  1. a sheaf on FormalCartSpFormalCartSp is a formal smooth set or formal smooth 0-type and we write
FormalSmoothSetFormalSmoothSetSh(FormalCartSp) FormalSmoothSet \coloneqq FormalSmoothSet \coloneqq Sh(FormalCartSp)

for the sheaf topos of all of these;

  1. a sheaf on FormalCartSpFormalCartSp is a super formal smooth set or super formal smooth 0-type and we write
SuperFormalSmoothSetSuperFormalSmoothSetSh(FormalCartSp) SuperFormalSmoothSet \coloneqq SuperFormalSmoothSet \coloneqq Sh(FormalCartSp)

for the sheaf topos of all of these;

The category of formal smooth sets from def. is often known as the Cahiers topos. It was introduced in (Dubuc 79) as a well-adapted model for the Kock-Lawvere axioms for synthetic differential geometry. The category of super formal smooth sets from def. was considered in Yetter 88, called the super Dubuc topos there.

We have now defined four sites and considered the corresponding categories of sheaves (noticing that Sh(*)=Sh(\ast) = Set)

𝒞= * CartSp FormalCartSp SuperFormalCartSp Sh(𝒞)= Set SmoothSet FormalSmoothSet SuperFormalSmoothSet. \array{ \mathcal{C} = & \ast & CartSp & FormalCartSp & SuperFormalCartSp \\ \\ Sh(\mathcal{C}) = & Set & SmoothSet & FormalSmoothSet & SuperFormalSmoothSet } \,.

Moreover, by prop. these four sites form a filtration of the site SuperFormalCartSpSuperFormalCartSp by consecutively smaller subsites, where each inclusion is either reflective or coreflective or both. The following states that this filtration of sites extends to their categories of sheaves.


(progression of (co-)reflective subcategories of SuperFormalSmoothSet)

The sheaf topos SuperFormalSmoothSet (Def. ) is a solid topos over FormalSmoothSet, in that:

There exists an essentially unique system of functors between the categories of sets, smooth sets (def. ), formal smooth sets and super formal smooth sets (def. ) as shown in the second and third row of the following diagram, such that

  1. every pair of consecutive functors is an adjoint pair (this Def.), with the functor above being left adjoint and the functor below being right adjoint

  2. on representables the top two functors on the left, the top two functors in the middle, and the top three functors on the right coincide with the corresponding functors between sites shown in the first row (from prop. ):

In such a situation we also say that in the third row

  1. the bottom four functors exhibit SuperFormalSmoothSet as a cohesive topos (this Def.)

  2. the middle four functors exhibit SuperFormalSmoothSet as differentially cohesive topos (elastic topos) relative to SmoothSet (this Def.);

  3. the top four functors exhibit SuperFormalSmoothSetSuperFormalSmoothSet as solid topos relative to FormalSmoothSet (this Def.)


The system of functors between sites in Prop.

discretegeometry differentialgeometry formaldifferentialgeometry superdifferentialgeometry * AAΠAA AADiscAA CartSp AAι infAA AAΠ infAA A AA FormalCartSp AAevenAA AAι supAA AAΠ supAA A AA AA SuperFormalCartSp. \array{ { \text{} \atop { \text{discrete} \atop {\text{geometry}} } } && {\text{} \atop {\text{differential} \atop \text{geometry}}} && {\text{formal} \atop {\text{differential} \atop {geometry}}} && {\text{super} \atop {\text{differential} \atop \text{geometry}}} \\ \\ \ast & \array{ \overset{\phantom{AA}\Pi\phantom{AA}}{\longleftarrow} \\ \overset{\phantom{AA}Disc\phantom{AA}}{\hookrightarrow} } & CartSp & \array{ \overset{\phantom{AA}\iota_{inf}\phantom{AA}}{\hookrightarrow} \\ \overset{\phantom{AA}\Pi_{inf}\phantom{AA}}{\longleftarrow} \\ \phantom{A} \\ \phantom{A \atop A} } & FormalCartSp & \array{ \overset{\phantom{AA}even\phantom{AA}}{\longleftarrow} \\ \overset{\phantom{AA}\iota_{sup}\phantom{AA}}{\hookrightarrow} \\ \overset{\phantom{AA}\Pi_{sup}\phantom{AA}}{\longleftarrow} \\ \phantom{A} \\ \phantom{A \atop A} \\ \phantom{A \atop A} } & SuperFormalCartSp } \,.

induces the claimed adjoint quadruples between presheaf toposes in the second row, by Kan extension (this Example in the chapter on categories and toposes).

That the adjoint quadruple on the left (co-)restricts to sheaves, exhibiting SmoothSet as a cohesive topos, is this Prop. in the chapter on smooth sets.

For the other two adjoint quadruples the (co-)restricts to sheaves is trivial, since this concerns only the coverages along the infinitsimal directions in FormalCartSp and SuperFormalCartSp, which are trivial (this Example), by definition.

This establishes the system of adjoint quadruples between sheaf toposes in the second row.

The diagram in the third row states that two extra adjoints to composites of the functors appear. Here

  1. the right adjoint functor

    SmoothSetSuperFormalSmoothSet SmoothSet \longleftarrow SuperFormalSmoothSet

    exists as part of the adjoint quadruple which is induced (this Example) from the composite coreflective inclusion

    CartSpAι infA AAΠ infAA AAΠ supAAFormalCartSpAι supA AAΠ supAA AA()AASuperFormalCartSp CartSp \array{ \overset{\phantom{A}\iota_{inf}\phantom{A}}{\hookrightarrow} \\ \overset{\phantom{AA} \Pi_{inf} \phantom{AA}}{\longleftarrow} \\ \phantom{\overset{\phantom{AA} \Pi_{sup} \phantom{AA}}{\longleftarrow}} } FormalCartSp \array{ \overset{\phantom{A}\iota_{sup}\phantom{A}}{\hookrightarrow} \\ \overset{\phantom{AA} \Pi_{sup} \phantom{AA}}{\longleftarrow} \\ \phantom{\overset{\phantom{AA} \overset{\rightrightarrows}{(-)} \phantom{AA}}{\longleftarrow}} } SuperFormalCartSp

    and using that composites of adjoints are adjoint, and that adjoints are unique, when they exist (this prop.)

  2. Notice that also SuperFormalCartSp is a cohesive site: since the coverage along the infinitesimal directions is trivial, while that along the finite directions is the same as that on CartSp, this follows with the same proof as for CartSp (this Prop.).

    Moreover, the composite

    Disc:SetSmoothSetFormalSmoothSetSuperFormalSmoothSet Disc \;\colon\; Set \hookrightarrow SmoothSet \hookrightarrow FormalSmoothSet \hookrightarrow SuperFormalSmoothSet

    from the second row above equals the functor

    Set Disc SuperFormalSmoothSet S const S \array{ Set &\overset{Disc}{\longrightarrow}& SuperFormalSmoothSet \\ S &\mapsto& const_S }

    which is part of the adjoint quadruple of the cohesion of SuperFormalSmoothSetSuperFormalSmoothSet (via that Prop.)): This is because all these inclusion functors are right adjoints, and hence preserve the terminal object *\ast (this Prop.), but also left adjoints, and hence preserved limit coproducts (this Prop.). This implies the claim because every set is a coproduct of the singleton, which is the terminal object in Set.

    This implies, again by uniqueness of adjoints (this Prop.) that the composite functor SetSuperFormalSmoothSetSet\longleftarrow SuperFormalSmoothSet from the previous item is in fact the functor Γ SuperFormalSmoothSet\Gamma_{SuperFormalSmoothSet} from the cohesive topos-structure on SuperFormalSmoothSet and hence, finally, that there is the bottom right adjoint

    coDisc:SetAASuperFormalSmoothSet coDisc \;\colon\; Set \overset{\phantom{AA}}{\hookrightarrow} SuperFormalSmoothSet

    as claimed.

Finally, that every second functor is a full subcategory inclusion (a fully faithful functor) as shown follows because

  1. left Kan extension along fully faithful functors is itself fully faithful (this prop.);

  2. in an adjoint triple the leftmost adjoint is fully faithful precisely if the rightmost adjoint is (this prop.).

Proposition says that the basic operations on local model spaces, such as

  1. forming the underlying bosonic space,

  2. forming the underlying formal bosonic space of bi-fermions,

  3. forming the underlying reduced space

extend from local model spaces to the generalized spaces modeled on them, while retaining their relation to each other and to the respective inclusions, and such that yet further operations accompanying them are induced.

To record what all these operations are, it is useful to compose the functors above in pairs, with one functor projecting down to the left, and the next one including back with either a left or right adjoint of the projection.

For example given a generalized superspace, then applying the top-most functor in prop. to it yields its underlying bi-fermionic formal smooth space, regarded as an object in FormalSmoothSet. But if we work in supergeometry, then we want this result to be understood as a superspace again, one that just so happens to have no odd directions, so we re-include it by the inclusion right adjoint to the top projection. This composite operation of projection and re-embedding defines a modal operator (this Def.), on SuperFormalSmoothSet, which we denote by

()ι supeven:SuperFormalSmoothSetAAAASuperFormalSmoothSet. \overset{\rightrightarrows}{(-)} \;\coloneqq\; \iota_{sup} \circ even \;\colon\; SuperFormalSmoothSet \overset{\phantom{AAAA}}{\longrightarrow} SuperFormalSmoothSet \,.

Similarly, composing the projection which is the left Kan extension of the underlying bosonic space operation with the canonical re-embedding yields an endofunctor that has the interpretation of sending any generalized superspace to its underlying generalized bosonic space

()ι supΠ sup:SuperFormalSmoothSetSuperFormalSmoothSet. \overset{\rightsquigarrow}{(-)} \coloneqq \iota_{sup} \circ \Pi_{sup} \;\colon\; SuperFormalSmoothSet \longrightarrow SuperFormalSmoothSet \,.

In fact, since these two endofunctors are obtained from the two possible composites in an adjoint triple whose middle functor is fully faithful – corresponding to an adjoint modality (this Def.) – it is immediate to see that:

  1. ()\overset{\rightsquigarrow}{(-)} has the structure of a comodal operator

  2. ()\overset{\rightrightarrows}{(-)} has the structure of an modal operator

  3. together they form an adjoint modality ()()\overset{\rightrightarrows}{(-)} \dashv \overset{\rightsquigarrow}{(-)}.

Moreover, by prop. , this adjoint triple between SuperFormalSmoothSetSuperFormalSmoothSet and FormalSmoothSetFormalSmoothSet extends to an adjoint quadruple, there is yet one more endofunctor which is a further right adjoint idempotent comonad. Later we will see that this further opration is related to the concept of “rheonomy” in supergravity, and therefore we denote it by

RhDisc supΠ sup:SuperFormalSmoothSetSuperFormalSmoothSet. Rh \;\coloneqq\; Disc_{sup} \circ \Pi_{sup} \;\colon\; SuperFormalSmoothSet \longrightarrow SuperFormalSmoothSet \,.

But prop. says that there are yet further adjoints, however these no longer go between SuperFormalSmoothSetSuperFormalSmoothSet and FormalSmoothSetFormalSmoothSet, but between the former and SmoothSetSmoothSet or even just between the former and SetSet. For instance there is the composite projection

SmoothSetFormalSmoothSetSuperFormalSmoothSet SmoothSet \longleftarrow FormalSmoothSet \longleftarrow SuperFormalSmoothSet

which first forms the bosonic underlying space, and then forms the reduced underlying space of what remains. The total result of this operation is just plain reduction, removing all infinitesimal directions, whether odd graded or even graded. Therefore, the result of composing this operation with its right adjoint canonical re-embedding yields an endofunctor which we should call

ι infΠ inf:SuperFormalSmoothSetSuperFormalSmoothSet \Re \coloneqq \iota_{inf} \circ \Pi_{inf} \;\colon\; SuperFormalSmoothSet \longrightarrow SuperFormalSmoothSet

and think of as the operation of reduction on generalized super formal smooth sets.

Notice that reflective subcategory embeddings

iL \underoverset {\underset{i}{\hookrightarrow}} {\overset{L}{\longleftarrow}} {}

are localizations, in that first including an object and then projecting it back to the subcategory is the identity operation LiidL \circ i \simeq id; and analogously for a coreflection (this prop.).

In our situation this first of all means that all of the endofunctors above are idempotent, as already mentioned. But next it implies that first applying a “deep” projection in the diagram in prop. , and then applying a “more shallow” projection with functors at the same vertical stage in the diagram does not change the result further. For example there is a natural isomorphism

(X)(X) \overset{\rightsquigarrow}{\Re(X)} \simeq \Re(X)

saying that if a space is reduced, then it has no infinitesimal directions whatsoever, in particular no odd-graded ones, hence it is already bosonic.

We will denote this situation by an inclusion sign

<() \Re \;\lt\; \overset{\rightsquigarrow}{(-)}

to be read “reduced implies bosonic”. This is an example of the preorder on modalities (this Def.)

We may proceed this way with all the remaining functors in prop. , consecutively turning them into endofunctors on SuperFormalCartSpSuperFormalCartSp which are all related to each other by adjunctions or by this inclusion relation of projection operators.

The result is a system of 9 endofunctors, or 12 if we inclue the bottom adjoint modality and the top adjoint modality (this Example):

A\phantom{A} shape modality A\phantom{A}A\phantom{A} flat modality A\phantom{A}A\phantom{A} sharp modality A\phantom{A}
A\phantom{A} ʃDiscΠ 0&#643; \;\coloneqq\; Disc \circ \Pi_0 A\phantom{A}A\phantom{A} DiscΓ\flat \;\coloneqq\; Disc \circ \Gamma A\phantom{A}A\phantom{A} coDiscΓ\sharp \;\coloneqq\; coDisc \circ \Gamma A\phantom{A}
A\phantom{A} reduction modality A\phantom{A}A\phantom{A} infinitesimal shape modality A\phantom{A}A\phantom{A} infinitesimal flat modality A\phantom{A}
A\phantom{A} ι infΠ inf\Re \;\coloneqq\; \iota_{inf} \circ \Pi_{inf} A\phantom{A}A\phantom{A} Disc infΠ inf\Im \;\coloneqq\; Disc_{inf} \circ \Pi_{inf} A\phantom{A}A\phantom{A} &Disc infΓ inf \& \;\coloneqq\; Disc_{inf} \circ \Gamma_{inf} A\phantom{A}

(progression of adjoint modalities on SuperFormalSmoothSet)

We have a system of adjoint modalities (this Def.) and their preordering (this Def.) on SuperFormalSmoothSet (Def. ) that is induced (via this Prop.) by the system of adjoint functors in Prop. , as follows:

(1)id id | Rh \ & | ʃ / * \array{ id &\dashv& id \\ \vee &\vert& \vee \\ \rightrightarrows &\dashv& \rightsquigarrow &\dashv& Rh \\ && \vee &\backslash& \vee \\ && \Re &\dashv& \Im &\dashv& \& \\ && && \vee &\vert& \vee \\ && && &#643; &\dashv& \flat &\dashv& \sharp \\ && && && \vee &/& \vee \\ && && && \emptyset &\dashv& \ast }

Moreover, the progression exhibits Aufhebung (this Def., this Remark) at each stage, as indicated.

Finally, the rheonomy modality is homotopy localization at 0|1\mathbb{R}^{0\vert 1} (the superpoint) in the sense of this Def.:

Rh 0|1. Rh \simeq \bigcirc\!\!\!\!\!\!\!\!\mathbb{R}^{0\vert 1} \,.

The progression of modalities follows with Prop. by this Prop..

The right Aufhebung at the first stage says that \sharp \emptyset \simeq \emptyset, which means equivalently that for each n|q×𝔻 V\mathbb{R}^{n\vert q} \times \mathbb{D}_V \in SuperFormalCartSp we have

Hom( n|q×𝔻 V,) Hom(\mathbb{R}^{n\vert q} \times \mathbb{D}_V, \sharp \emptyset) \simeq \emptyset

But by the \flat \dashv \sharp adjunction hom-isomorphism (here) and the fact that X=DiscX(*)\flat X = Disc X(\ast) (by the proof of this Prop.) and that n|q×𝔻 V(*)\mathbb{R}^{n\vert q} \times \mathbb{D}_V(\ast) \neq \emptyset we have indeed

Hom( n|q×𝔻 V,)Hom( n|q×𝔻 V,)=. Hom(\mathbb{R}^{n\vert q} \times \mathbb{D}_V, \sharp \emptyset) \simeq Hom( \flat \mathbb{R}^{n\vert q} \times \mathbb{D}_V , \emptyset) = \emptyset \,.

The left Aufhebung at the third stage says that

. \rightsquigarrow \Im \simeq \Im \,.

This means equivalenty that for each XSuperFormalSmoothSetX \in SuperFormalSmoothSet and n|q×𝔻 VSuperFormalCartSp\mathbb{R}^{n\vert q} \times \mathbb{D}_V \in SuperFormalCartSp we have

Hom( n|q×𝔻 V,X)Hom( n|q×𝔻 V,X) Hom(\mathbb{R}^{n\vert q} \times \mathbb{D}_V, \overset{\rightsquigarrow}{\Im X}) \simeq Hom(\mathbb{R}^{n\vert q} \times \mathbb{D}_V, \overset{}{\Im X})

Again by the adjunction isomorphisms we verify:

Hom( n|q×𝔻 V,X) Hom( n|q×𝔻 V,X) Hom( n|q×𝔻 V,X) Hom(( n|q×𝔻 V),X) Hom(( n|q×𝔻 V),X) Hom( n|q×𝔻 V,X) \array{ Hom(\mathbb{R}^{n\vert q} \times \mathbb{D}_V, \overset{\rightsquigarrow}{\Im X}) & \simeq Hom\left( \overset{\rightrightarrows}{\mathbb{R}^{n\vert q} \times \mathbb{D}_V}, \overset{}{\Im X}\right) \\ & \simeq Hom\left( \overset{\rightrightarrows}{\mathbb{R}^{n\vert q} \times \mathbb{D}_V}, \overset{}{\Im X} \right) \\ & Hom\left( \Re\left(\overset{\rightrightarrows}{\mathbb{R}^{n\vert q} \times \mathbb{D}_V}\right), \overset{}{ X} \right) \\ & \simeq Hom\left( \Re\left(\overset{}{\mathbb{R}^{n\vert q} \times \mathbb{D}_V}\right), \overset{}{ X} \right) \\ & \simeq Hom\left( \overset{}{\mathbb{R}^{n\vert q} \times \mathbb{D}_V}, \overset{}{ \Im X} \right) }

Here we used that on representables

()(), \Re \overset{\rightrightarrows}{(-)} \simeq \Re(-) \,,

which holds by direct inspection: it says that the odd-graded elements in a supercommutative superalgebra are all nilpotent.

Finally for the equivalence

Rh 0|1 Rh \simeq \bigcirc\!\!\!\!\!\!\!\!\mathbb{R}^{0\vert 1}

the proof is directly analogous to that of the analogous statement in the chapter on smooth sets, this Prop:

As in that proof, the 0|1\mathbb{R}^{0\vert 1}-local objects among all super formal smooth sets are equivalently those which are local objects with respect to the following small set of morphisms:

{ n×𝔻 V× 0|q+1 n×𝔻 V× 0|q}. \left\{ \mathbb{R}^{n} \times \mathbb{D}_V \times \mathbb{R}^{0\vert q + 1} \longrightarrow \mathbb{R}^{n} \times \mathbb{D}_V \times \mathbb{R}^{0\vert q} \right\} \,.

By induction over qq \in \mathbb{N}, these are equivalently the objects which are local with respect to the following small set:

{ n×𝔻 V× 0|q n×𝔻 V}. \left\{ \mathbb{R}^{n} \times \mathbb{D}_V \times \mathbb{R}^{0\vert q} \longrightarrow \mathbb{R}^{n} \times \mathbb{D}_V \right\} \,.

But these are manifestly the objects ASuperFormalSmoothSetA \in SuperFormalSmoothSet which are in the image of Disc supDisc_{sup}:

Hom( n×𝔻 V× 0|q,Disc(B)) Hom(Π sup( n×𝔻 V× 0|q),B) Hom( n×𝔻 V),B) \begin{aligned} Hom\left( \mathbb{R}^{n} \times \mathbb{D}_V \times \mathbb{R}^{0\vert q}, Disc(B) \right) & \simeq Hom\left( \Pi_{sup}(\mathbb{R}^{n} \times \mathbb{D}_V \times \mathbb{R}^{0\vert q}), B \right) \\ & \simeq Hom\left(\mathbb{R}^{n} \times \mathbb{D}_V), B\right) \end{aligned}

Sometimes it is illuminating to re-arrange the diagram in Prop. equivalently as follows. Here we label each projection operator by the property of superspaces that it “projects out”.

id id fermionic bosonic solidity bosonic Rh rheonomic reduced infinitesimal elasticity infinitesimal & étale connected ʃ disconnected cohesion discrete continuous * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot &\stackrel{solidity}{}& \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot &\stackrel{elasticity}{}& \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{&#233;tale}}{} \\ && \vee && \vee \\ &\stackrel{connected}{}& &#643; &\dashv& \flat & \stackrel{disconnected}{} \\ && \bot &\stackrel{cohesion}{}& \bot && \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

Below we use these operations to identify within all generalized superspaces those that are supermanifolds. But first we consider now some general important constructions of super formal smooth sets, such as mapping spaces.


Super mapping spaces

We now discuss mapping spaces in supergeometry. These are interesting in two ways:

  1. for the theory – mapping spaces nicely exhibit the usage and the power of the functor of points perspective (remark );

  2. for applications – in physics a superfield is really a generalized element of a mapping space, and hence the phase spaces of interest in physics are mapping spaces (in the generality of spaces of spaces of sections, namely of a field bundle).

The key idea is that sets of functions between sets have the following universal property:


Let X,YX,Y \in Set be two sets, then the set

Y X{XY} Y^X \coloneqq \{X \to Y\}

of functions from XX to YY is characterized by the fact that for ZSetZ \in Set any further set, there is a natural bijection

Hom(Z×X,Y)Hom(Z,Y X) Hom( Z \times X, Y ) \stackrel{\simeq}{\longrightarrow} Hom(Z, Y^X)

between functions of two variables into YY and functions of one variable into Y XY^X. This is given by sending any function f(,)f(-,-) of two variables to the function f˜\tilde f which sends any zz to the function xf(z,x)x \mapsto f(z,x). Hence this simply reinterprets “taking two arguments at once” by “taking two arguments consecutively”.

It is immediate how to generalize example :


(mapping space/internal hom)

Let 𝒞\mathcal{C} be a category with Cartesian products of its objects, hence a cartesian monoidal category. Then an internal hom-functor for 𝒞\mathcal{C} is, if it exists, a functor of the form

[,]:𝒞 op×𝒞𝒞 [-,-] \;\colon\; \mathcal{C}^{op} \times \mathcal{C} \longrightarrow \mathcal{C}

such that there is a natural bijection between hom sets of the form

Hom 𝒞(Z×X,Y)Hom 𝒞(Z,[X,Y]) Hom_{\mathcal{C}}(Z \times X, Y) \simeq Hom_{\mathcal{C}}(Z, [X,Y])

for all objects X,Y,Z𝒞X,Y,Z \in \mathcal{C}.

The class of examples that we are interested in is the following:


Let 𝒞=Sh(𝒮)\mathcal{C} = Sh(\mathcal{S}) be a category of sheaves over some site 𝒮\mathcal{S}.

Then the Cartesian product between any two sheaves X,YSh(𝒞)X,Y \in Sh(\mathcal{C}) exists and is given objectwise by the Cartesian product of sets:

(X×Y):UX(U)×Y(U) (X \times Y) \;\colon\; U \mapsto X(U) \times Y(U)

for U𝒮U \in \mathcal{S}.

Moreover, an internal hom-functor according to def. exists (“generalized mapping space”). It sends any two sheaves X,YSh(𝒮)X,Y \in Sh(\mathcal{S}) to the sheaf

[X,Y]:𝒮 opSet [X,Y] \;\colon\; \mathcal{S}^{op} \longrightarrow Set

given by

UHom Sh(𝒮)(X×y(U),Y), U \mapsto Hom_{Sh(\mathcal{S})}( X \times y(U), Y ) \,,

where y:𝒮Sh(𝒮)y \colon \mathcal{S} \hookrightarrow Sh(\mathcal{S}) is the Yoneda embedding.

For the proof see at closed monoidal structure on presheaves.

Notice how prop. expresses an intuitively most obvious statement: Applied to geometric sheaf toposes such as SmoothSet or SuperFormalSmoothSet (def. ) it says that a UU-parameterized smooth family of points in a mapping space [X,Y][X,Y] is a smooth map of the form X×UYX \times U \to Y, hence a family of smooth functions XYX \to Y which is smoothly parameterized by UU.

The following shows formally that the concept of internal homs in the topos of generalized smooth spaces does generalize the traditional concept of smooth mapping spaces:


Let Σ\Sigma be a compact smooth manifold and let XX be any smooth manifold. Then the set of smooth functions C (Σ,X)C^\infty(\Sigma,X) carries the structure of an infinite dimensional (in general) Fréchet manifold Maps(Σ,X) FrechetMaps(\Sigma,X)_{Frechet}. Under the embedding i:FrechetMfdSmoothSeti \colon FrechetMfd \hookrightarrow SmoothSet of prop. this coincides with internal hom [Σ,X][\Sigma,X] formed in SmoothSetSmoothSet according to prop. :

[Σ,X]i(Maps(Σ,X) Frechet). [\Sigma, X] \simeq i(Maps(\Sigma, X)_{Frechet}) \,.

In particular for instance the smooth loop space of a smooth manifold XX is simply the internal hom [S 1,X][S^1,X].

A proof is given in Waldorf 09, lemma A.1.7.

But in the topos SuperFormalSmoothSet (def. ) we have also mapping spaces much more general than the traditional ones of example . We now look at some examples of these.



𝔻 1=Spec([ϵ]/(ϵ 2))InfPointSuperFomalSmoothSet \mathbb{D}^1 = Spec(\mathbb{R}[\epsilon]/(\epsilon^2)) \in InfPoint \hookrightarrow SuperFomalSmoothSet

be the formal dual of the ring of dual numbers (example ). Observe that there is a unique morphism of the form *𝔻 1\ast \to \mathbb{D}^1, picking the base point.

Then for

XSmoothMfdSuperFormalSmoothSet X \in SmoothMfd \hookrightarrow SuperFormalSmoothSet

a smooth manifold, regarded as a super formal smooth set (this Prop.ets#InclusionOfSmoothManifoldsIntoSmoothSets)), the internal hom out of 𝔻 1\mathbb{D}^1 with this basepoint is the smooth tangent bundle of XX (again under the embedding of this Prop.ets#InclusionOfSmoothManifoldsIntoSmoothSets)):

[𝔻 1,X] TX [*𝔻 1,X] [*,X] X. \array{ [\mathbb{D}^1, X] &\simeq& T X \\ {}^{\mathllap{[\ast \to \mathbb{D}^1,X]}}\downarrow && \downarrow \\ [\ast,\X] &\simeq& X } \,.

By prop. the rule for the smooth set [𝔻 1,X][\mathbb{D}^1,X] is

nHom SmoothSet( n×𝔻 1,X). \mathbb{R}^n \mapsto Hom_{SmoothSet}( \mathbb{R}^n \times \mathbb{D}^1, X ) \,.

By prop. , the set on the right is naturally identified with the set of of smoothly n\mathbb{R}^n-parameterized families of tangent vectors in XX. But this is the set that TXT X, regarded as a smooth set, assigns to n\mathbb{R}^n.

Moreover, looking at the proof of prop. it is immediate that composing a morphism

𝔻 1X \mathbb{D}^1 \to X

representing some tangent vector in XX with the global point inclusion of 𝔻 1\mathbb{D}^1 yields the point in XX

*𝔻 1X \ast \to \mathbb{D}^1 \to X

at which this tangent vector is based. This shows that the vertical map in the above claim is indeed the projection from the tangent bundle to the base manifold.

Example is a key observation that motivated the development of synthetic differential geometry (Lawvere 97).

The following is the supergeometric analog of this situation:


(odd tangent bundle as mapping space)

Let XX be any smooth manifold. Then the internal hom in SuperFormalSmoothSetSuperFormalSmoothSet out of the superpoint 0|1\mathbb{R}^{0\vert 1} into XX, according to prop. , is the odd tangent bundle from def. ΠTX\Pi T X:

[ 0|1,X] ΠTX [* 0|1,X] [*,X] X. \array{ [\mathbb{R}^{0\vert 1}, X] &\simeq& \Pi T X \\ {}^{\mathllap{[\ast \to \mathbb{R}^{0\vert 1},X]}}\downarrow && \downarrow \\ [\ast,\X] &\simeq& X } \,.

Let n\mathbb{R}^n be a bosonic Cartesian space. By prop. the set of plots of the smooth set [ 0|1,X][\mathbb{R}^{0\vert 1}, X] on this test space is

[ 0|1,X]( n)=Hom SuperFormalSmoothSet( n|1,X). [\mathbb{R}^{0\vert 1},X](\mathbb{R}^n) = Hom_{SuperFormalSmoothSet}( \mathbb{R}^{n\vert 1}, X ) \,.

But since XX is bosonic (an ordinary smooth manifold), this is equivalently just

[ 0|1,X]( n)=Hom SuperFormalSmoothSet( n,X)X( n), [\mathbb{R}^{0\vert 1},X](\mathbb{R}^n) = Hom_{SuperFormalSmoothSet}( \mathbb{R}^{n}, X ) \simeq X(\mathbb{R}^n) \,,

which shows that the bosonic super smooth set underlying [ 0|1,X][\mathbb{R}^{0\vert 1},X] is just XX itself.

But then consider probes parameterized by the superpoint 0|1\mathbb{R}^{0\vert 1}:

[ 0|1,X]( n|1) Hom( n|2,X) Hom( n|2,X) Hom( n|2,X) Hom( n×𝔻 1,X) Hom( n,TX), \begin{aligned} [\mathbb{R}^{0\vert 1},X](\mathbb{R}^{n\vert 1}) & \simeq Hom( \mathbb{R}^{n\vert 2}, X ) \\ & \simeq Hom( \mathbb{R}^{n\vert 2}, \overset{\rightsquigarrow}{X} ) \\ & \simeq Hom( \overset{\rightrightarrows}{\mathbb{R}^{n \vert 2}}, X ) \\ & \simeq Hom( \mathbb{R}^n \times \mathbb{D}^1 , X ) \\ & \simeq Hom(\mathbb{R}^n, T X) \end{aligned} \,,

where we used the adjunction \rightrightarrows \dashv \rightsquigarrow from prop. , Prop. , then example and finally example .

Notice the curious difference between the bosonic and the odd-graded version of the synthetic tangent bundle as seen by its algebra of functions

  • [[𝔻 1,X],]C (TX)[[\mathbb{D}^1, X], \mathbb{R}] \;\simeq\; C^\infty(T X)

  • [[ 0|1,X],]Ω (X)[[\mathbb{R}^{0\vert 1}, X], \mathbb{R}] \simeq \Omega^\bullet(X)

In the first case the, smooth functions on the tangent bundle TXT X do not know about the linear structure on fibers. But in the second case, they do: the differential forms in the second case appear as the sub-space of that of all smooth functions on those which are graded polynomials (over the algebra of smooth functions on XX) in fiber-wise linear functions.


More generally, this is the concept if superfields as used in the physics literature:



Let XX be a supermanifold (for instance a super spacetime) and consider the super-mapping space (def. ) [X,][X,\mathbb{R}] (or [X,][X,\mathbb{C}]) of real (or complex) valued functions on XX (“scalar fields”). We may understand the generalized elements of this superspace via its functor of points which, via prop. , is given by the assignment

0|q Hom(X× 0|q,) C (X× 0|q) even (C (X) θ 1,,θ q) even. \begin{aligned} \mathbb{R}^{0\vert q} & \mapsto Hom( X \times \mathbb{R}^{0\vert q}, \mathbb{R} ) \\ & \simeq C^\infty(X \times \mathbb{R}^{0\vert q})_{even} \\ & \simeq \left( C^\infty(X) \otimes_{\mathbb{R}} \wedge^\bullet \langle \theta_1, \cdots, \theta_q\rangle\right)_{even} \end{aligned} \,.

Here in the first line on the right we have the set of maps of supermanifolds of the form X× 0|qX \times \mathbb{R}^{0\vert q} \to \mathbb{R}, which, by the Yoneda lemma, is equivalently just the even subalgebra of the super-algebra of functions on X× 0|qX \times \mathbb{R}^{0\vert q}, which finally is equivalently the even elements in the tensor product of the super-algebra of functions on XX with the Grassmann algebra on qq odd generators θ i\theta_i.

Now an element in this tensor product is of the form

f+i=1qg iθ i+i,j=1qf ijθ iθ j+i,j,k=1qg ijkθ iθ jθ j+ f + \underoverset{i = 1}{q}{\sum} g_i \theta_i + \underoverset{i,j = 1}{q}{\sum} f_{i j} \theta_i \theta_j + \underoverset{i,j,k = 1}{q}{\sum} g_{i j k} \theta_i \theta_j \theta_j + \cdots

for any f C (X) evenf_{\cdots} \in C^\infty(X)_{even} and g C (X) oddg_{\cdots} \in C^\infty(X)_{odd}.

(Notice that here if XX is of superdimension (d X,q X)(d_X,q_X), then this expansion becomes redundant for q>q Xq \gt q_X: The functor of points provides an arbitrary supply of auxiliary Grassmann coordinates θ\theta, only some of which will typically be of non-redundant use for any given superspace.)

In physics, such a linear combination of even and odd component functions multipled with Grassmann algebra elements to yield a homogeneously graded sum is called a superfield.

In order to make sense of this, some physics textbooks (e.g. de Witt 92) posit a single “infinite dimensional Grassmann algebra” from which to draw the elements θ i\theta_i. This approach has its pitfalls Sachse 08, section 5.2. The functorial geometry perspecive (remark ) fixes this: the “arbitrary supply” of Grassmann variables is encoded by saying that

  1. for each finite dimensional Grassmann algebra θ 1,,θ q=C ( 0|q)\wedge^\bullet \langle \theta_1, \cdots, \theta_q\rangle = C^\infty(\mathbb{R}^{0\vert q}) superfields have an expansion in terms of the generators θ i\theta_i;

  2. these expressions are covariant with respect to change of Grassmann coordinates 0|q 0|q\mathbb{R}^{0\vert q} \to \mathbb{R}^{0\vert q'}.

There are of course the evident generalizations of the scalar valued superfields along the same lines. In general there is a (super-)fiber bundle EπXE \overset{\pi}{\to} X over (super) spacetime XX called the (super)-field bundle such that a field on XX is a section of the field bundle (see also at fiber bundles in physics). The super-space of sections of EE is the following fiber product of the mapping space

Γ X(E)[X,E]×[X,X]{id X}, \Gamma_X(E) \;\coloneqq\; [X,E] \underset{[X,X]}{\times} \{id_X\} \,,

i.e. the super-space with the universal property that it makes the follwing square commute:

Γ X(E) [X,E] X,π {id X} [X,X]. \array{ \Gamma_X(E) &\longrightarrow& [X,E] \\ \downarrow && \downarrow^{\mathrlap{X,\pi}} \\ \{id_X\} &\hookrightarrow& [X,X] } \,.

Then a superfield with values in EE is a generalized element of Γ X(E)\Gamma_X(E). By the functorial geometrythis means that field is over every superpoint 0|q\mathbb{R}^{0\vert q} a homomorphism ψ:X× 0|q\psi \colon X \times \mathbb{R}^{0\vert q} such that

E ψ π X× 0|q pr 1 X. \array{ && E \\ & {}^{\mathllap{\psi}}\nearrow & \downarrow^{\mathrlap{\pi}} \\ X \times \mathbb{R}^{0 \vert q} &\underset{pr_1}{\longrightarrow}& X } \,.

In a typical example XX is an ordinary smooth manifold with spin structure and E=ΠSE = \Pi S is the odd version (according to example ) of a spinor bundle on XX.

Then an element of [X,ΠS][X,\Pi S] is

  1. over 0|0\mathbb{R}^{0\vert 0} no information;

  2. over 0|1\mathbb{R}^{0 \vert 1} an element ψθ\psi \theta with ψΓ X(S)\psi \in \Gamma_X(S) an ordinary section of the spinor bundle (hence a spinor field).

and so on.

This may be combined: For example if ̲ XΠ\underline{\mathbb{C}} \oplus_X \Pi is the direct sum of vector bundles of the trivial complex line bundle with an odd spinor bundle, then a generalized element of Γ X(̲ XΠS)\Gamma_X\left(\underline{\mathbb{C}} \oplus_X \Pi S \right) is over 0|1\mathbb{R}^{0\vert 1} of the form

σ=ϕ+ψθ, \sigma = \phi + \psi \theta \,,

where ϕ\phi is a complex-vaued scalar field and ψ\psi again a section of the spinor bundle.

This way bosonic fields and fermionic fields may be combined into a singe superfield (see also at super multiplet).


We now define and then discuss the analog of smooth manifolds in supergeometrysupermanifolds. In the spirit of the entire presentation, we do so by applying a general abstract definition of “V-manifold” or “VV-scheme” locally modeled on any given kind of model spaces to the special case where the local model spaces are super Cartesian spaces as discussed above. This general method is also discussed at geometry of physics – manifolds and orbifolds, but we recall the relevant points below.

Recall the adjoint pair of endofunctors

():SuperFormalSmoothSetSuperFormalSmoothSet (\Re \dashv \Im) \;\colon\; SuperFormalSmoothSet \longrightarrow SuperFormalSmoothSet

from Prop. . By prop. and prop. we know that \Re sends a (formal) super Cartesian space to its underlying reduced ordinary Cartesian space. For instance

( p|q) p \Re(\mathbb{R}^{p\vert q}) \simeq \mathbb{R}^p

and generally

( n×𝔻)𝔻 n \Re(\mathbb{R}^n \times \mathbb{D}) \simeq \mathbb{D}^n

for 𝔻\mathbb{D} any infinitesimally thickened superpoint.

This is enough to find what its right adjoint operation \Im is doing:


For XSuperFormalSmoothSetX \in SuperFormalSmoothSet (def. ), then X\Im X is the super formal smooth set whose functor of points is given by

X: n×𝔻X( n) \Im X \;\colon\; \mathbb{R}^n \times \mathbb{D} \mapsto X(\mathbb{R}^n)

where nn \in \mathbb{N} and for 𝔻\mathbb{D} any infinitesimally thickened superpoint.


By applying the Yoneda lemma, the natural bijection between hom-sets that characterizes the adjoint pair \Re \dashv \Im and using the characterization of \Re we get the following sequence of natural isomorphisms:

(X)( n×𝔻) Hom( n×𝔻,X) Hom(( n×𝔻),X) Hom( n,X) X( n). \begin{aligned} (\Im X)(\mathbb{R}^n \times \mathbb{D}) & \simeq Hom( \mathbb{R}^n \times \mathbb{D} , \Im X) \\ & \simeq Hom(\Re(\mathbb{R}^n \times \mathbb{D}), X) \\ & \simeq Hom(\mathbb{R}^n, X) \\ & \simeq X(\mathbb{R}^n) \end{aligned} \,.

Proposition means that for XX for instance an ordinary smooth manifold (regarded as a super formal smooth set via prop. ) then X\Im X is a rather exotic kind of generalized smooth space: it has the same finite smooth curves and other finite smooth shapes as XX does, but every infinitesimal curve or shape inside it is necessarily constant. A good way to think about this (which is also the precise way to think about it, if we speak in the internal language of the sheaf topos) is that X\Im X is the result obtained from XX by identifying all infinitesimally close points with each other. In algebraic geometry this construction is often known as forming the de Rham shape of XX (Simpson 96). Here we will say infinitesimal shape.

Another useful perspective on X\Im X is the following:


(infinitesimal disk bundle)

For XSuperFormalSmoothSetX \in SuperFormalSmoothSet (def. ) then we say that its infinitesimal disk bundle T XT^\infty X is the left vertical morphism in the following pullback diagram

T X X p (pb) η X X η X X. \array{ T^\infty X &\longrightarrow& X \\ {}^{\mathllap{p}}\downarrow &\stackrel{(pb)}{}& \downarrow^{\mathrlap{\eta_X}} \\ X &\underset{\eta_X}{\longrightarrow}& \Im X } \,.

Moreover, for x:*Xx \colon \ast \to X any global point of XX, then we say that the formal disk in XX at xx is the fiber of the infinitesimal disk bundle over that point

𝔻 x T X X (pb) p (pb) η X * x X η X X. \array{ \mathbb{D}_x &\longrightarrow& T^\infty X &\longrightarrow& X \\ \downarrow &\stackrel{(pb)}{}& {}^{\mathllap{p}}\downarrow &\stackrel{(pb)}{}& \downarrow^{\mathrlap{\eta_X}} \\ \ast &\underset{x}{\longrightarrow}& X &\underset{\eta_X}{\longrightarrow}& \Im X } \,.

(formally étale morphism)

Given X,YSuperFormalSmoothSetX,Y\in SuperFormalSmoothSet then a morphism f:XYf \;\colon\; X\longrightarrow Y is called a formally étale morphism if its naturality square of the infinitesimal shape modality (prop. )

X X f f Y Y \array{ X &\longrightarrow& \Im X \\ \downarrow^{\mathrlap{f}} && \downarrow^{\mathrlap{\Im f}} \\ Y &\longrightarrow& \Im Y }

is a pullback square.

We often indicate that a morphism satisfies this condition by labeling it “et” , hence

X X X f et f (pb) f Y Y Y. \array{ X &&&& X &\longrightarrow& \Im X \\ {}^{\mathllap{f}}\downarrow^{\mathrlap{et}} &&\Leftrightarrow&& {}^{\mathllap{f}}\downarrow &\stackrel{(pb)}{}& \downarrow^{\mathrlap{\Im f}} \\ Y &&&& Y &\longrightarrow& \Im Y } \,.

We unwind definition a little:


Let 𝔻\mathbb{D} be an infinitesimally thickened point. This means that its reduction is the actual point, 𝔻*\Re \mathbb{D} \simeq \ast. By the adjunction \Re \dashv \Im from Prop. it follows that the image of the naturality square in def. under forming the internal hom (def. ) out of 𝔻\mathbb{D} is

X 𝔻 X f 𝔻 f Y 𝔻 Y \array{ X^{\mathbb{D}} &\longrightarrow& X \\ \downarrow^{\mathrlap{f^\mathbb{D}}} && \downarrow^f \\ Y^{\mathbb{D}} &\longrightarrow& Y }

Since the internal hom preserves limits in its second argument (being right adjoint to 𝔻×()\mathbb{D} \times (-)) this is a pullback square if ff is a formally étale morphism according to def. . In this form the condition appears in Yetter 88, def. 3.3.1.

If here we specify 𝔻=Spec([ϵ]/ϵ 2)\mathbb{D} = Spec(\mathbb{R}[\epsilon]/\epsilon^2) to be the formal dual of the ring of dual numbers, then X 𝔻X^{\mathbb{D}}, Y 𝔻Y^{\mathbb{D}} are the respective tangent bundles by example . Hence in this case the condition that ff is a formally étale morphism according to def. implies that the square

TX X Tf f TY Y \array{ T X &\longrightarrow& X \\ \downarrow^{\mathrlap{T f}} && \downarrow^{\mathrlap{f}} \\ T Y &\longrightarrow& Y }

is a pullback square. For X,YX,Y ordinary smooth manifolds via prop. , this condition is the traditional definition that ff be a local diffeomorphism.


For X,YSuperFormalSmoothSetX,Y \in SuperFormalSmoothSet two ordinary smooth manifolds via prop. , then a morphism between them is a formally étale morphism according to def. precisely if it is a local diffeomorphism in the traditional sense.


By remark the condition of def. on morphisms between smooth manifolds is equivalent to the traditional condition of being locally diffeo already when seen just under the internal hom out of Spec([ϵ](ϵ 2))Spec(\mathbb{R}[\epsilon](\epsilon^2)).

But, as the name suggests, a local diffeomorphism of smooth manifolds is in particular also a local homeomorphism. This means that around each point of XX there is actually an open neighbourhood such that ff restricts to a diffeomorphism on that neighbourhood. This implies that the full condition in def. holds, by an argument as in example .


For VSuperFormalSmoothSetV \in SuperFormalSmoothSet be given (def. ) and for II any set, then the canonical morphism out of the coproduct (disjoint union) of II copies of VV to itself is a local diffeomorphism according to def. :

iIV et (id i) iI V \array{ \underset{i \in I}{\coprod} V \\ {}^{\mathllap{et}}\downarrow^{\mathrlap{(id_i)_{i \in I}}} \\ V }

Since \Im is a left adjoint by prop. , Prop. , it preserves all colimits and hence in particular coproducts, hence the image of the morphism under \Im is

iIV et (id i) iI V. \array{ \underset{i \in I}{\coprod} \Im V \\ {}^{\mathllap{et}}\downarrow^{\mathrlap{(id_i)_{i \in I}}} \\ \Im V } \,.

Moreover, in any sheaf topos colimits are universal, which means that maps out of colimits are preserved under pullback. Moreover, the pullback of an isomorphism is an isomorphism, and so we deduce that we have a pullback diagram of the form

iIV i iIV (id i) iI (pb) (id i) iI V η V V. \array{ \underset{i \in I}{\coprod}V_i &\longrightarrow& \underset{i \in I}{\coprod} \Im V \\ {}^{{\mathllap{(id_i)_{i \in I}}}}\downarrow &(pb)& \downarrow^{\mathrlap{(id_i)_{i \in I}}} \\ V &\underset{\eta_V}{\longrightarrow}& \Im V } \,.

But, again because \Im preserves colimits, this is manifestly the \Im-naturality square of the original morphism.


Let VSuperFormalSmoothSetV \in SuperFormalSmoothSet be given (def. ), equipped with the structure of a group object.

A V-manifold is an XSuperFormalSmoothSetX \in SuperFormalSmoothSet such that there exists a VV-atlas, namely a correspondence of the form

U et et,epi V X \array{ && U \\ & {}^{\mathllap{et}}\swarrow && \searrow^{\mathrlap{et, epi}} \\ V && && X }

with both morphisms being local diffeomorphisms, def. , and the right one in addition being an epimorphism.

By prop. this means that XX is in particular a V-manifold if there exists a set II and a morphism out of the coproduct of II copies of VV to XX which is a locally diffeomorphic epimorphism:

iIV epi et X \array{ \underset{i \in I}{\coprod} V \\ \downarrow^{\mathrlap{et}}_{\mathrlap{epi}} \\ X }

Specifically if V= p|qV = \mathbb{R}^{p\vert q} be a super Cartesian space regarded as a group object under a translation supergroup action. Then we say that XX is a supermanifold of dimension (p|q)(p\vert q) if there exists

iI p|q epi et X \array{ \underset{i \in I}{\coprod} \mathbb{R}^{p\vert q} \\ \downarrow^{\mathrlap{et}}_{\mathrlap{epi}} \\ X }

There are in general several translation supergroup structures carried by a super Cartesian space. For instance in the discussion at geometry of physics – supersymmetry we will consider super Minkowski supergroup structure which exists for special pairs (p,q)(p,q). Just the existence of a supermanifold structure in def. does not depend on the choice of group structure on VV (and could be ignored for much of the present purpose). But later on the choice affects for instance the concept of torsion of a G-structure on the V-manifold.


(odd tangent bundle)

Let XX be a smooth manifold of dimension nn and EXE \to X a smooth vector bundle over XX of rank kk \in \mathbb{N}. Then there is a supermanifold (def. ) of dimension (n|k)(n \vert k), denoted ΠE\Pi E, as follows.


𝒪(ΠE) C (X) Γ X(E)=C (X)Γ X(E *)(Γ X(E *) C (X)Γ X(E *)) \mathcal{O}(\Pi E) \;\coloneqq\; \wedge^\bullet_{C^\infty(X)} \Gamma_X(E) = C^\infty(X) \;\oplus\; \Gamma_X(E^\ast) \;\oplus\; \left(\Gamma_X(E^\ast) \wedge_{C^\infty(X)} \Gamma_X(E^\ast)\right) \;\oplus\; \cdots

for the supercommutative superalgebra which is the exterior algebra over C (x)C^\infty(x) of the C (X)C^\infty(X)-module Γ X(E *)\Gamma_X(E^\ast) of smooth sections (as in the smooth Serre-Swan theorem, Prop. ) of the dual vector bundle E *E^\ast.

The underlying functor of points of ΠE\Pi E (remark )

ΠE:SuperCartSp opSet \Pi E \;\colon\; SuperCartSp^{op} \longrightarrow Set

is the one that is represented by this algebra:

ΠE: p|qHom sCalg ( C (X) Γ X(E),C ( n) ( q) *). \Pi E \;\colon\; \mathbb{R}^{p \vert q} \mapsto Hom_{sCalg_{\mathbb{R}}}( \wedge^\bullet_{C^\infty(X)} \Gamma_X(E) , \; C^\infty(\mathbb{R}^n) \otimes_{\mathbb{R}} \wedge^\bullet_{\mathbb{R}} (\mathbb{R}^q)^\ast ) \,.

For instance if E=TXE = T X is the tangent bundle of XX, so that the dual bundle is the cotangent bundle, then

𝒪(ΠTX)Ω (X) C (X) Γ X(T *X) \mathcal{O}(\Pi T X) \simeq \Omega^\bullet(X) \coloneqq \wedge^\bullet_{C^\infty(X)}\Gamma_X(T^\ast X)

is the superalgebra of smooth differential forms on XX with respect to the wedge product, with any pp-form regarded as being in degree pmod2/2p \,mod\, 2 \in \mathbb{Z}/2.

This ΠTX\Pi T X is often called the odd tangent bundle.

Notice that generally we may think of ΠE\Pi E as being the superspace which is obtained from the base manifold XX by adding an (odd-graded) infinitesimal thickening where an “infinitesimal step” away from some point xXx \in X is a vector in the fiber E xE_x. This is particularly suggestive in the case that EE is the tangent bundle, because tangent vectors precisely want to be thought of as the infinitesimal paths in XX.

Below we see that this is not a coincidence, and discuss the formal proof that ΠTX\Pi T X is the superspace of (odd-graded) infinitesimal paths in XX.


(bosonic modality preserves formally étale morphisms)

If f:XYf \;\colon\; X \longrightarrow Y is a formally étale morphism, def. , then so is its image f:XY\stackrel{\rightsquigarrow}{f}\colon \stackrel{\rightsquigarrow}{X} \longrightarrow \stackrel{\rightsquigarrow}{Y} under the bosonic modality.


By Prop. we have equivalences

()()(). \overset{\rightsquigarrow}{\Im(-)} \;\simeq\; \Im(-) \;\simeq\; \Im \overset{\rightsquigarrow}{(-)} \,.

The first of these equivalences is the “left Aufhebung” which is explicit in Prop. . The second equivalence is under the Yoneda embedding, equivalent to the “adjunct equivalence”

()() \overset{\rightrightarrows}{\Re(-)} \;\simeq\; \Re(-)

which follows from the progression in Prop. since \rightrightarrows and \rightsquigarrow have the same full subcategory of modal objects FormalSmoothsetι supSuperFormalSmoothSetFormalSmoothset \overset{\iota_{sup}}{\hookrightarrow} SuperFormalSmoothSet, and since >\rightsquigarrow \gt \Re, by (1).

Moreover, since \rightsquigarrow preserves pullbacks (being a right adjoint, by this Prop.). Hence hitting a pullback diagram which exhibits a formally étale morphism ff (Def. )

X X f (pb) f Y Y \array{ X &\longrightarrow& \Im X \\ \downarrow^{\mathrlap{f}} &(pb)& \downarrow^{\mathrlap{\Im f}} \\ Y &\longrightarrow& \Im Y }

with \rightsquigarrow\;\; yields a pullback diagram

X X f f Y Y \array{ \stackrel{\rightsquigarrow}{X} &\longrightarrow& \Im \stackrel{\rightsquigarrow}{X} \\ \downarrow^{\mathrlap{\stackrel{\rightsquigarrow}{f}}} && \downarrow^{\mathrlap{\Im \stackrel{\rightsquigarrow}{f}}} \\ \stackrel{\rightsquigarrow}{Y} &\longrightarrow& \Im \stackrel{\rightsquigarrow}{Y} }

that witnesses f\overset{\rightsquigarrow}{\f} as being formally étale morphisms formally étale.


The bosonic space X\stackrel{\rightsquigarrow}{X} underlying a V-manifold XX, def. , is a V\stackrel{\rightsquigarrow}{V}-manifold.


Super differential forms

We discuss the super-geometric analog of differential forms on supermanifolds, first with coefficients in \mathbb{R}, then with coefficients in a super Lie algebra.

Recall from def. :

A super Cartesian space p|q\mathbb{R}^{p|q} is the formal dual of the commutative superalgebra

C ( p|q)C ( p) q C^\infty(\mathbb{R}^{p|q}) \coloneqq C^\infty(\mathbb{R}^p)\otimes_{\mathbb{R}}\wedge^\bullet \mathbb{R}^q

in that a smooth function p 1|q 1 p 2|q 2\mathbb{R}^{p_1|q_1}\longrightarrow \mathbb{R}^{p_2|q_2} is equivalently (by definition!) a superalgebra homomorphism

C ( p 1|q 1)C ( p 2|q 2). C^\infty(\mathbb{R}^{p_1|q_1}) \longleftarrow C^\infty(\mathbb{R}^{p_2|q_2}) \,.

Notice then that from knowledge of an algebra of functions one obtains the corresponding de Rham complex by the idea of Kähler differentials. As discussed there, this statement requires a little care in the smooth context, but the result is still immediate:

For n\mathbb{R}^n a Cartesian space, then its de Rham complex is the \mathbb{Z}-graded commutative dg-algebra whose underlying \mathbb{Z}-graded vector space is

Ω ( p)=C ( p) dx 1,,dx p \Omega^\bullet(\mathbb{R}^p) = C^\infty(\mathbb{R}^p) \otimes_{\mathbb{R}} \wedge^\bullet \langle \mathbf{d}x^1, \cdots, \mathbf{d}x^p\rangle

and whose differential is defined in degree-0 by

df i=1 pfx idx i \mathbf{d} f \coloneqq \sum_{i = 1}^p \frac{\partial f}{\partial x^i} \mathbf{d}x^i

and extended from there to all degrees by the graded Leibniz rule.

It is immediate to generalize this to supergeometry, one just needs to be sure to apply the sign rule throughout.


(de Rham complex of super differential forms)

The de Rham complex of super differential forms Ω ( p|q)\Omega^\bullet(\mathbb{R}^{p|q}) on a super Cartesian space p|q\mathbb{R}^{p|q} is the (, 2)(\mathbb{Z},\mathbb{Z}_2)-bigraded commutative algebra

Ω ( p|q) = C ( p|q) dx 1,,dx p, dθ 1,,dθ q bidegree: (0,even) (1,even) (1,odd) \array{ & \Omega^\bullet(\mathbb{R}^{p|q}) &=& C^\infty(\mathbb{R}^{p|q}) & \otimes_{\mathbb{R}} & \wedge^\bullet \langle & \mathbf{d}x^1, \cdots, \mathbf{d}x^p, & \mathbf{d}\theta^1, \cdots, \mathbf{d}\theta^q & \rangle \\ \text{bidegree:} & && (0,even) &&& (1,even) & (1,odd) }

whose differential is defined in degree-0 by

df i=1 pfx idx i \mathbf{d} f \coloneqq \sum_{i = 1}^p \frac{\partial f}{\partial x^i} \mathbf{d}x^i

and extended from there to all degree by the graded Leibniz rule.


We may write

(n,σ)× 2 (n,\sigma)\in \mathbb{Z} \times \mathbb{Z}_2

for elements in this bigrading group.

In this notation the grading of the elements in Ω ( p|q)\Omega^\bullet(\mathbb{R}^{p|q}) is all induced by the fact that the de Rham differential d\mathbf{d} itself is a derivation of degree (1,even)(1,even).

x ax^a(0,even)
θ α\theta^\alpha(0,odd)

Here the last line means that we have

x ax^a(0,even)
θ α\theta^\alpha(0,odd)
dx a\mathbf{d}x^a(1,even)
dθ α\mathbf{d}\theta^\alpha(1,odd)

The formula for the “cohomologically- and super-graded commutativity” in Ω ( p|q)\Omega^\bullet(\mathbb{R}^{p|q}) is

αβ=(1) n αn β+σ ασ ββα \alpha \wedge \beta = \; (- 1)^{n_\alpha n_\beta + \sigma_\alpha \sigma_\beta} \; \beta \wedge \alpha

for all α,βΩ ( p|q)\alpha, \beta \in \Omega^\bullet(\mathbb{R}^{p|q}) of homogeneous × 2\mathbb{Z}\times \mathbb{Z}_2-degree. Hence there are two contributions to the sign picked up when exchanging two super-differential forms in the wedge product:

  1. there is a “cohomological sign” which for commuting a n 1n_1-forms past an n 2n_2-form is (1) n 1n 2(-1)^{n_1 n_2};

  2. in addition there is a “super-grading” which for commuting a σ 1\sigma_1-graded coordinate function past a σ 2\sigma_2-graded coordinate function (possibly under the de Rham differential) is (1) σ 1σ 2(-1)^{\sigma_1 \sigma_2}.

x a 1(dx a 2)=+(dx a 2)x a 1 x^{a_1} (\mathbf{d}x^{a_2}) = + (\mathbf{d}x^{a_2}) x^{a_1}
θ α(dx a)=+(dx a)θ α \theta^\alpha (\mathbf{d}x^a) = + (\mathbf{d}x^a) \theta^\alpha
θ α 1(dθ α 2)=(dθ α 2)θ α 1 \theta^{\alpha_1} (\mathbf{d}\theta^{\alpha_2}) = - (\mathbf{d}\theta^{\alpha_2}) \theta^{\alpha_1}
dx a 1dx a 2=dx a 2dx a 1 \mathbf{d}x^{a_1} \wedge \mathbf{d} x^{a_2} = - \mathbf{d} x^{a_2} \wedge \mathbf{d} x^{a_1}
dx adθ α=dθ αdx a \mathbf{d}x^a \wedge \mathbf{d} \theta^{\alpha} = - \mathbf{d}\theta^{\alpha} \wedge \mathbf{d} x^a
dθ α 1dθ α 2=+dθ α 2dθ α 1 \mathbf{d}\theta^{\alpha_1} \wedge \mathbf{d} \theta^{\alpha_2} = + \mathbf{d}\theta^{\alpha_2} \wedge \mathbf{d} \theta^{\alpha_1}

See at signs in supergeometry for further discussion, for literature, and for mentioning of another popular sign convention, which is different but in the end yields the same cohomology.

We want to discuss the generalization of the concept of Lie algebra valued differential forms from ordinary differential geometry to supergeometry. To that end, we first recall the following neat formulation of ordinary Lie algebra valued differential forms due to Cartan. This will lend itself in fact not only to the generalization to super Lie algebras but further to super L-∞ algebras, which is what is needed for the description of higher dimensional supergravity.


The Chevalley-Eilenberg algebra CE(𝔤)CE(\mathfrak{g}) of a finite dimensional Lie algebra 𝔤\mathfrak{g} is the semifree graded-commutative dg-algebra whose underlying graded algebra is the Grassmann algebra

𝔤 *=k𝔤 *(𝔤 *𝔤 *) \wedge^\bullet \mathfrak{g}^* = k \oplus \mathfrak{g}^* \oplus (\mathfrak{g}^* \wedge \mathfrak{g}^* ) \oplus \cdots

(with the nnth skew-symmetrized power in degree nn)

and whose differential dd (of degree +1) is on 𝔤 *\mathfrak{g}^* the dual of the Lie bracket

d| 𝔤 *:=[,] *:𝔤 *𝔤 *𝔤 * d|_{\mathfrak{g}^*} := [-,-]^* : \mathfrak{g}^* \to \mathfrak{g}^* \wedge \mathfrak{g}^*

extended uniquely as a graded derivation on 𝔤 *\wedge^\bullet \mathfrak{g}^*.

That this differential indeed squares to 0, dd=0d \circ d = 0, is precisely the fact that the Lie bracket satisfies the Jacobi identity.


If in the situation of prop. we choose a dual basis {t a}\{t^a\} of 𝔤 *\mathfrak{g}^* and let {C a bc}\{C^a{}_{b c}\} be the structure constants of the Lie bracket in that basis, then the action of the differential on the basis generators is

dt a=12C a bct bt c, d t^a = - \frac{1}{2} C^a{}_{b c} t^b \wedge t^c \,,

where here and in the following a sum over repeated indices is implicit.


The construction of Chevalley-Eilenberg algebras in def. yields a fully faithful functor

CE():LieAlgdgAlg op CE(-) \colon LieAlg \longrightarrow dgAlg^{op}

embedding Lie algebras into formal duals of differential graded algebras. Its image consists of precisely of the semifree dg-algebras, those whose underlying graded algebra (forgetting the differential) is a Grassmann algebra generated on a vector space.


Given a Lie algebra 𝔤\mathfrak{g}, its Weil algebra W(𝔤)W(\mathfrak{g}) is the semi-free dga whose underlying graded-commutative algebra is the exterior algebra

(𝔤 *𝔤 *[1]) \wedge^\bullet (\mathfrak{g}^* \oplus \mathfrak{g}^*[1])

on 𝔤 *\mathfrak{g}^* and a shifted copy of 𝔤 *\mathfrak{g}^*, and whose differential is the sum

d W(𝔤)=d CE(𝔤)+d d_{W(\mathfrak{g})} = d_{CE(\mathfrak{g})} + \mathbf{d}

of two graded derivations of degree +1 defined by

  • d\mathbf{d} acts by degree shift 𝔤 *𝔤 *[1]\mathfrak{g}^* \to \mathfrak{g}^*[1] on elements in 𝔤 *\mathfrak{g}^* and by 0 on elements of 𝔤 *[1]\mathfrak{g}^*[1];

  • d CE(𝔤)d_{CE(\mathfrak{g})} acts on unshifted elements in 𝔤 *\mathfrak{g}^* as the differential of the Chevalley-Eilenberg algebra of 𝔤\mathfrak{g} and is extended uniquely to shifted generators by graded-commutattivity

    [d CE(𝔤,d]=0 [d_{CE(\mathfrak{g}}, \mathbf{d}] = 0

    with d\mathbf{d}:

    d CE(𝔤)dω:=dd CE(𝔤)ω d_{CE(\mathfrak{g})} \mathbf{d} \omega := - \mathbf{d} d_{CE(\mathfrak{g})} \omega

    for all ω 1𝔤 *\omega \in \wedge^1 \mathfrak{g}^*.


Given a Lie algebra 𝔤\mathfrak{g}, then a Lie algebra valued differential form on, say, a Cartesian space n\mathbb{R}^n, is equivalently a dg-algebra homomorphims

Ω ( p)W(𝔤):A, \Omega^\bullet(\mathbb{R}^p) \longleftarrow W(\mathfrak{g}) \colon A \,,

hence there is a natural bijection

Ω 1( p,𝔤)Hom dgAlg(W(𝔤),Ω ( p)). \Omega^1(\mathbb{R}^p, \mathfrak{g}) \simeq Hom_{dgAlg}(W(\mathfrak{g}), \Omega^\bullet(\mathbb{R}^p)) \,.

The form AA is flat in that its curvature differential 2-form F AF_A vanishes, precisely if this morphism factors through the CE-algebra.


With a choice of basis as in remark , then the content of prop. is seen in components as follows:

a dg-algebra homomorphism is first of all a homomorphism of graded algebras, and since the domain W(𝔤)W(\mathfrak{g}) is free as a graded algebra, such is entirely determined by what it does to the generators

t a, A a Ω 1( n) r a F a Ω 2( n). \array{ t^a, &\mapsto& A^a & \in \Omega^1(\mathbb{R}^n) \\ r^a &\mapsto& F^a & \in \Omega^2(\mathbb{R}^n) } \,.

But being a dg-algebra homomorphism, this assignment needs to respect the differentials on both sides. For the original generators this gives

t a A a d W(𝔤) d dR 12C a bct bt c+r a (12C a bcA bA c+F a) = d dRA a. \array{ t^a &\mapsto&&& A^a \\ \downarrow^{\mathrlap{d_{W(\mathfrak{g})}}} &&&& \downarrow^{\mathrlap{\mathbf{d}_{dR}}} \\ - \frac{1}{2} C^a{}_{b c} t^b \wedge t^c + r^a &\mapsto& (- \frac{1}{2} C^a{}_{b c} A^b \wedge A^c + F^a) &=& \mathbf{d}_{dR} A^a } \,.

With this satisfied, then, by the very nature of the Weil algebra, the differential is automatically respected also on the shifted generators. This statement is the Bianchi identity.

Now to pass this to superalgebra.


For V=V evenV oddV = V_{even} \oplus V_{odd} a super vector space, then its Grassmann algebra V\wedge^\bullet V is the free (, 2)(\mathbb{Z},\mathbb{Z}_2)-bigraded commutative algebra subject to

v 1v 2=(1)(1) σ 1σ 2. v_1 \wedge v_2 = (-1) (-1)^{\sigma_1 \sigma_2} \,.

In the spirit of prop. we may then simply say that:


A super Lie algebra structure on a super vector space 𝔤\mathfrak{g} is the formal dual of a (, 2)(\mathbb{Z},\mathbb{Z}_2)-bigraded commutative differential algebra

CE(𝔤)=( V *,d) CE(\mathfrak{g}) = \left( \wedge^\bullet V^\ast, \; d \right)

(with differential dd of degree (1,even)) such that the underlying graded algebra is the super Grassmann algebra 𝔤 *\wedge^\bullet \mathfrak{g}^\ast via def. .

We call this again the Chevalley-Eilenberg algebra of the super Lie algebra dually defined thereby.

Similarly, the Weil algebra W(𝔤)W(\mathfrak{g}) is obtained from this by adding a generator in degree (2,σ)(2,\sigma) for each previous generator in degree (1,σ)(1,\sigma) and extending the differential as in def. .

Unwinding what this means, one finds that it is equivalent to the following more traditional definition:


A super Lie algebra is equivalently

  1. a super vector space 𝔤=𝔤 even𝔤 odd\mathfrak{g} = \mathfrak{g}_{even} \oplus \mathfrak{g}_{odd};

  2. equipped with a bilinear bracket

    [,]:𝔤𝔤𝔤 [-,-] : \mathfrak{g}\otimes \mathfrak{g} \to \mathfrak{g}

    which is graded skew-symmetric: for x,y𝔤x,y \in \mathfrak{g} two elements of homogeneous degree σ x\sigma_x, σ y\sigma_y, respectively, then

    [x,y]=(1) σ xσ y[y,x], [x,y] = -(-1)^{\sigma_x \sigma_y} [y,x] \,,
  3. that satisfies the /2\mathbb{Z}/2-graded Jacobi identity in that for any three elements x,y,z𝔤x,y,z \in \mathfrak{g} of homogeneous super-degree σ x,σ y,σ z 2\sigma_x,\sigma_y,\sigma_z\in \mathbb{Z}_2 then

    [x,[y,z]]=[[x,y],z]+(1) σ xσ y[y,[x,z]]. [x, [y, z]] = [[x,y],z] + (-1)^{\sigma_x \cdot \sigma_y} [y, [x,z]] \,.

But with def. we immediately known, in view of prop. , what super Lie algebra valued super differential forms should be:


Given a super Lie algebra 𝔤\mathfrak{g}, def. , prop. , then a 𝔤\mathfrak{g}-valued super-differential form on the super Cartesian space p|q\mathbb{R}^{p|q} is a (, 2)(\mathbb{Z},\mathbb{Z}_2)-graded dg-algebra homomorphism

Ω ( p|q)W(𝔤):A \Omega^\bullet(\mathbb{R}^{p|q}) \longleftarrow W(\mathfrak{g}) \;\colon\; A

from the Weil algebra according to def. , to the super de Rham complex of def. .

Accordingly we write

Ω 1( p|q,𝔤)Hom dgAlg(W(𝔤),Ω ( p|q)). \Omega^1(\mathbb{R}^{p|q}, \mathfrak{g}) \coloneqq Hom_{dgAlg}(W(\mathfrak{g}), \Omega^\bullet(\mathbb{R}^{p|q})) \,.

Let 𝔤 1|0=\mathfrak{g} \coloneqq \mathbb{R}^{1|0} = \mathbb{R} be the ordinary abelian line Lie algebra. Then

Ω 1( p|q, 1|0)Ω 1( p|q) even \Omega^1(\mathbb{R}^{p|q}, \mathbb{R}^{1|0}) \simeq \Omega^1(\mathbb{R}^{p|q})_{even}

is the set of super-differential forms in degree (1,even)(1,even).

Similarly with 𝔤= 0|1\mathfrak{g} = \mathbb{R}^{0|1} the odd line regarded as an abelian super Lie algebra, then

Ω 1( p|q, 0|1)Ω 1( p|q) odd. \Omega^1(\mathbb{R}^{p|q}, \mathbb{R}^{0|1}) \simeq \Omega^1(\mathbb{R}^{p|q})_{odd} \,.

So generally for 𝔤\mathfrak{g} an ordinary Lie algebra regarded as a super Lie algebra, then Ω 1( p|q,𝔤)\Omega^1(\mathbb{R}^{p|q}, \mathfrak{g}) is bigger than Ω 1( p,𝔤)\Omega^1(\mathbb{R}^p,\mathfrak{g}).

This is an issue to be dealt with when describing supergravity in terms of Cartan fields on supermanifolds XX, because the actual spacetime manifold one cares about is just the bosonic part X\stackrel{\rightsquigarrow}{X}. This issue is dealt with by the concept of rheonomy.


General theory

Some historically influential remarks on supergeometry are due to

Introductory lecture notes include

Many texts discuss supergeometry only in the context of supersymmetry, but notice that the former exists and is relevant even if the latter does not or is not.

For classical field theories with fermions

The experimental observation that phase spaces of classical field theories with fermions (such as electrons or quarks) are superspaces goes back to

  • Wolfgang Pauli, Über den Zusammenhang des Abschlusses der Elektronengruppen im Atom mit der Komplexstruktur der Spektren, Zeitschrift für Physik, February 1925, Volume 31, Issue 1, pp 765-783

  • Markus Fierz, Über die relativistische Theorie kräftefreier Teilchen mit beliebigem Spin. Helvetica Physica Acta. 12 (1): 3–37. (1939) doi:10.5169/seals-110930

  • Wolfgang Pauli, The connection between spin and statistics, Phys. Rev. 58, 716–722 (1940)

Discussion of classical field theory with fermions as taking place on supermanifolds (supergometric field bundles and phase space) includes the following references:

In the topos 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

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

  • Anatoly Konechny and Albert Schwarz,

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

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

In the topos over super Cartesian spaces

The above perspective of supergeometry in the topos over superpoints is a restriction of the perspective in the topos over super Cartesian spaces which we use here. This in turn is essentially just the specification to supercommutative superalgebra of Alexander Grothendieck‘s concept of “functorial geometry” as laid out in

Grothendieck amplified that this functorial perspective is superior to the perspective on schemes as locally ringed spaces in the lecture

  • Alexander Grothendieck, Introduction to functorial algebraic geometry, part 1: affine algebraic geometry, summer school in Buffalo, 1973, lecture notes by Federico Gaeta (pdf scan)

Further amplification of Grothendieck’s amplification may be found in the short text

The application of this perspective to supergeometry is sometimes known as synthetic differential supergeometry:

The formulation via the axioms of differential cohesion that we use here follows

Last revised on July 23, 2022 at 19:37:50. See the history of this page for a list of all contributions to it.