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 section: geometry of physics -- superalgebra

next section: geometry of physics -- supersymmetry

\,

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.

\,

\,

Supergeometry

\,

\,

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 ( q) ( *) q. \mathcal{O}(\mathbb{R}^{p\vert q}) \;\coloneqq\; C^\infty(\mathbb{R}^q) \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 1 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:

Definition

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 rgarded 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 ) \,.

Write

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

CartSpSuperCartSp CartSp \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 two magic algebraic properties of smooth functions that make the above algebraic description of differential geometry work:

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

    The functor that assigns algebras of smooth function to smooth manifolds

    C ():SmthMfdCAlg opsCAlg op C^\infty(-) \;\colon\; SmthMfd \hookrightarrow CAlg_{\mathbb{R}}^{op} \hookrightarrow sCAlg_{\mathbb{R}}^{op}

    is fully faithful.

  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).

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

Proposition

(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.

Proof

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.):

Proposition

The canonical inclusion of commutative algebras into supercommutative superalgebras is part of an adjoint triple of the form

CAlg k() even()/() oddsCAlg k. CAlg_k \underoverset {\underset{(-)_{even}}{\longleftarrow}} {\overset{(-)/(-)_{odd}}{\longleftarrow}} {\hookrightarrow} sCAlg_k \,.

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

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

Aff(Vect k)AA()AAAAA()AAAAff(sVect k). Aff(Vect_k) \underoverset {\underset { \phantom{AA} \overset {\phantom{A}} {\overset{\rightsquigarrow}{(-)}} \phantom{AA} } {\longleftarrow} } {\overset { \phantom{AA} \underset {\phantom{A}} { \overset{\rightrightarrows}{(-)} } \phantom{AA} } {\longleftarrow} } {\hookrightarrow} Aff(sVect_k) \,.

(Beware that ()\overset{\rightsquigarrow}{(-)} is the formal dual of ()/() odd(-)/(-)_{odd}, while ()\overset{\rightrightarrows}{(-)} 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 notation in prop. 1 is to serve as a convenient mnemonic for the nature of these functors:

In a Feynman diagram

  1. a single fermion is denoted by a solid arrow “\to” and the functor ()\overset{\rightrightarrows}{(-)} produces a space whose algebra of functions is generated over smooth functions by the product of two fermionic functions;

  2. a single boson is denoted by a wiggly arrow \rightsquigarrow and the functor denoted by this symbol produces a spaces whose algebra of functions contains only the bosonic smooth functions, no odd-graded functions.

This highlights an important point: while the image of a super Cartesian space under \rightsquigarrow is an ordinary Cartesian space

p|q p \overset{\rightsquigarrow}{\mathbb{R}^{p\vert q}} \simeq \mathbb{R}^p

its image under ()\overset{\rightrightarrows}{(-)} is a bosonic space, but not an ordinary manifold. For example:

Example

The algebra of functions on 0|2\overset{\rightrightarrows}{\mathbb{R}^{0\vert 2}} is

𝒪( 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=0) \begin{aligned} \mathcal{O}\left( \overset{\rightrightarrows}{\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 = 0) \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, a 1-dimensional neighbourhood of a point 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) \,.

In generalization of this we make the following definitions

Definition

Write

InfPointCAlg op InfPoint \hookrightarrow CAlg_{\mathbb{R}}^{op}

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

𝒪(𝔻)V, \mathcal{O}(\mathbb{D}) \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.

In synthetic differential geometry these algebras are called Weil algebras, while in algebraic geometry they are known as local Artin algebras over \mathbb{R}.

Write moreover

FormalCartSpCartSpInfPointCAlg op FormalCartSp \coloneqq CartSp \rtimes InfPoint \hookrightarrow CAlg_{\mathbb{R}}^{op}

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.

This kind of construction 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).

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

Proposition

Write 𝔻 1=Spec([ϵ]/(ϵ 2))\mathbb{D}^1 = Spec(\mathbb{R}[\epsilon]/(\epsilon^2)) for the formal dual of the algebra of dual numbers (example 1). Then morphisms in FormalCartSpFormalCartSp (def. 3) 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.

Proof

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. 2).

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

Proposition

The canonical inclusion ii of the category of ordinary Cartesian spaces into that of formal Cartesian spaces has a left adjoint \Re

CartSpAAAAiFormalCartSp CartSp \underoverset {\underset{\Re}{\longleftarrow}} {\overset{i}{\hookrightarrow}} {\phantom{AAAA}} FormalCartSp

given by

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

Hence ii exhibits CartSpCartSp as a coreflective subcategory of that of formal cartesian spaces.

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

Proof

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

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. 1 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. formal Cartesian 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. 1), 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.

Definition

Write

SuperFormalCartSpsCAlg op SuperFormalCartSp \hookrightarrow sCAlg_{\mathbb{R}}^{op}

for the full subcategory of that of the opposite category of supercommutative superalgebras on those of the form

C ( p) (V) C^\infty(\mathbb{R}^p) \otimes_{\mathbb{R}} (\mathbb{R} \oplus V)

where VV is a nilpotent ideal of finite dimension over \mathbb{R}.

One place 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. 3 to the following simple reflection.

Write

*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.

Proposition

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.

Proof

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.

Proposition

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

discretegeometry differentialgeometry formaldifferentialgeometry superdifferentialgeometry * π CartSp FormalCartSp AA()AAAAA()AAA 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 & \underoverset {\hookrightarrow} {\overset{\pi}{\longleftarrow}} {} & CartSp & \underoverset {\underset{\Re}{\longleftarrow}} {\overset{}{\hookrightarrow}} {} & FormalCartSp & \underoverset {\underset { \phantom{AA} \overset {\phantom{A}} {\overset{\rightsquigarrow}{(-)}} \phantom{AA} } {\longleftarrow} } {\overset { \phantom{AA} \underset {\phantom{A}} { \overset{\rightrightarrows}{(-)} } \phantom{AA} } {\longleftarrow} } {\hookrightarrow} & SuperFormalCartSp } \,.

Super smooth sets

Above we discussed (formal) super Cartesian spaces. What we are after is geometry which is “locally modeled” on these. In order to do so we

  1. consider very general 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 at geometry of physics -- smooth sets and at geometry of physics -- manifolds and orbifolds. For reference we first briefly recall this bosonic situation.

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

Definition

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.

Definition

We say a smooth set or smooth 0-type is a sheaf on CartSpCartSp, write

Smooth0TypeSh(CartSp) Smooth0Type \coloneqq Sh(CartSp)

for the sheaf topos of all these.

Remark

(functorial geometry)

The useful way to think of def. 6 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. 6 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. 5 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:CartSpSmooth0Type y \;\colon\; CartSp \hookrightarrow Smooth0Type

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 Smooth0TypeSmooth0Type 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 Smooth0Type( n,X)Hom_{Smooth0Type}(\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 Smooth0Type( n,X)X( n). Hom_{Smooth0Type}(\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\} \,.
Remark

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 {\{super formal smooth sets}\}

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

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

Proposition

Write SmoothMfdSmoothMfd for the category of smooth manifolds with smooth functions between them. Then the construction that sends a smooth manifold XX to the smooth set (def. 6) given by the rule (via remark 1)

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

defines a full subcategory inclusion

SmoothMfdSmoothSet. SmoothMfd \hookrightarrow SmoothSet \,.

More generally, write FrechetMfdFrechetMfd for the category of Fréchet manifolds, which generalizes smooth manifolds to possibly infinite-dimensional smooth manifolds

CartSpSmoothMfdFrechetMfd. CartSp \hookrightarrow SmoothMfd \hookrightarrow FrechetMfd \,.

For X,YX,Y two Fréchet manifolds, write again C (X,Y)C^\infty(X,Y) for the set of smooth functions between them. Then the same kind of construction as before, sending a Fréchet manifold to the rule

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

defines a fully faithful functor

FrechetMfdSmoothSet, FrechetMfd \hookrightarrow SmoothSet \,,

hence a full subcategory inclusion.

The first statement in prop. 6 is immediate. A proof of the second statement is due to (Losik 94, theorem 3.1.1), see this prop.. Or rather, what Losik proves is that this construction gives a full embedding into the category of diffeological spaces. But these in turn fully embed into smooth sets:

Definition

A diffeological space XX is a smooth set (def. 6) which is concrete. This means that there exists a set X sX_s \in Set such that the sets of smooth maps from Cartesian spaces n\mathbb{R}^n into XX are naturally subsets of the set of maps from the underlying set s nSet\mathbb{R}^n_s \in Set of the Cartesian space to this set:

X( n)Hom Set( s n,X s). X(\mathbb{R}^n) \hookrightarrow Hom_{Set}(\mathbb{R}^n_s, X_s) \,.

Write

DiffeologicalSpaceSmoothSet DiffeologicalSpace \hookrightarrow SmoothSet

for the full subcategory of such spaces in smooth sets.

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

Definition

Define a coverage on the categories FormalCartSpFormalCartSp (def. 3) and on SuperFormalCartSpSuperFormalCartSp (def. 4) 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\}

for

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

a good open cover as in def. 5.

In analogy with def. 6 we say that

  1. a sheaf on FormalCartSpFormalCartSp is a formal smooth set or formal smooth 0-type and we write
FormalSmooth0TypeFormalSmoothSetSh(FormalCartSp) FormalSmooth0Type \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
SuperFormalSmooth0TypeSuperFormalSmoothSetSh(FormalCartSp) SuperFormalSmooth0Type \coloneqq SuperFormalSmoothSet \coloneqq Sh(FormalCartSp)

for the sheaf topos of all of these;

The category of formal smooth sets from def. 8 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. 8 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. 5 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 how this filtration of sites extends to their categories of sheaves.

Proposition

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

  1. every morphism below another morphism is right adjoint to the top morphism;

  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. 5):

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

  1. the bottom four functors exhibit SuperFormalSmoothSetSuperFormalSmoothSet as a cohesive topos relative to Set;

  2. the middle four functors exhibit SuperFormalSmoothSetSuperFormalSmoothSet as an elastic topos relative to SmoothSetSmoothSet (differential cohesion);

  3. the top four functors exhibit SuperFormalSmoothSetSuperFormalSmoothSet as a solid topos relative to FormalSmoothSetFormalSmoothSet.

Proof

The functors between the sheaf toposes are given by left and right Kan extensions of sheaves along the functors between the sites:

For a single functor F:𝒞𝒟F \colon \mathcal{C} \to \mathcal{D} precomposition with this functor defines a functor of presheaves of the form F *:PSh(𝒟)PSh(𝒞)F^\ast \colon PSh(\mathcal{D}) \to PSh(\mathcal{C}) and this has both a left adjoint and a right adjoint called the left and right Kan extension F !F_! and F *F^\ast, respectively (forming an adjoint triple):

PSh(𝒞)AAF !AA AAAF *AAA AAF *AAPSh(𝒟). PSh(\mathcal{C}) \; \array{ {\overset{\phantom{AA}F_!\,\phantom{AA}}{\longrightarrow}} \\ {\overset{\phantom{AAA}F^\ast\phantom{AAA}}{\longleftarrow}} \\ {\underset{\phantom{AA}F_\ast\phantom{AA}}{\longrightarrow}} } \; PSh(\mathcal{D}) \,.

It is a basic fact of category theory (this prop) that on representables c𝒞yPSh(𝒞)c \in \mathcal{C} \overset{y}{\hookrightarrow} PSh(\mathcal{C}) left Kan extension coincides with the underlying functor: F !(y(c))=y(F(c))F_!(y(c)) = y(F(c)). Moreover, since every presheaf is a colimit of representables (the “co-Yoneda lemma”) and since left adjoint functors preserve colimits, this property completely characterizes the left Kan extension.

Now if the functor FF has itself has a right adjoint GG

𝒞AAGAAAAFAA𝒟 \mathcal{C} \underoverset {\underset{\phantom{AA}G\phantom{AA}}{\longleftarrow}} {\overset{\phantom{AA}F\phantom{AA}}{\longrightarrow}} {} \mathcal{D}

then the two adjoint triples induced by both functors via Kan extension overlap to give an adjoint quadruple in that there are natural isomorphisms of the form

F *G !F *G *. F^\ast \simeq G_! \;\;\;\;\; F_\ast \simeq G^\ast \,.

To see this, it is sufficient to consider the left hand side. It implies the right hand side because adjoint functors are essentially unique, if they exist. Moreover, since both functors on the left are left adjoints which hence preserve colimits and since all presheaves are colimits of representables, it is sufficient to check this natural isomorphism on representables. Hence for any X𝒟yPSh(𝒟)X \in \mathcal{D} \overset{y}{\hookrightarrow} PSh(\mathcal{D}) and c𝒞yPSh(𝒞)c \in \mathcal{C} \overset{y}{\hookrightarrow} PSh(\mathcal{C}) we check that we have the following natural isomorphism

(F *X)(c) =X(F(c)) Hom(F(c),X) Hom(c,G(X)) G(X)(c) (G !X)(c). \begin{aligned} (F^\ast X)(c) & = X(F(c)) \\ & \simeq Hom(F(c),X) \\ & \simeq Hom(c,G(X)) \\ & \simeq G(X)(c) \\ & \simeq (G_! X)(c) \end{aligned} \,.

Here the first equality is the definition of F *F^\ast, then the first isomorphism is the Yoneda lemma, the second isomorphism is the one that characterizes the adjunction FGF \dashv G, the third isomorphism is again the Yoneda lemma and finally the last isomorphism is the fact that left Kan extension G !G_! agrees with GG on representables.

This shows that there is a system of adjoint quadruples as shown in the middle row above, but, so far, only on the corresponding categories of presheaves.

That the middle and the right adjoint quadruple on presheaves restricts to sheaves follows directly from the nature of the sites in def. 8, since the coverages are trivial “along the infinitesimal directions”. That also the left adjoint quadruple descends to sheaves is the statement that CartSpCartSp with its good open cover coverage is a cohesive site (see there).

This establishes the system of adjoints in the second row.

The diagram in the third row states that two extra adjoints to composites of the functors appear. Here the right adjoint functor SmoothSetSuperFormalSmoothSetSmoothSet \longleftarrow SuperFormalSmoothSet exists because the canonical inclusion CartSpSuperFormalCartSpCartSp \hookrightarrow SuperFormalCartSp is of the same coreflective nature as the inclusion CartSpFormalCartSpCartSp \hookrightarrow FormalCartSp from prop. 3, and for the same reason. Similarly then the bottom-most full inclusion SetSuperFormalSmoothSetSet \hookrightarrow SuperFormalSmoothSet is right adjoint because also SuperFormalCartSpSuperFormalCartSp is a cohesive site, and again for the same reason that CartSpCartSp is.

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 7 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 funtor 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. 7 to it yields its underlying bi-fermionic formal smooth space, regarded as an object in FormalSmoothSetFormalSmoothSet. 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 an endofunctor, on SuperFormalSmoothSetSuperFormalSmoothSet, which, following prop. 1, we should denote by

():SuperFormalSmoothSetSuperFormalSmoothSet. \overset{\rightrightarrows}{(-)} \;\colon\; SuperFormalSmoothSet \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

():SuperFormalSmoothSetSuperFormalSmoothSet. \overset{\rightsquigarrow}{(-)} \;\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 (an adjoint cylinder), it is immediate to see that

  1. ()\overset{\rightsquigarrow}{(-)} has the structure of an idempotent monad

  2. ()\overset{\rightrightarrows}{(-)} has the structure of an idempotent comonad

  3. both form an adjoint pair themselves: ()()\overset{\rightrightarrows}{(-)} \dashv \overset{\rightsquigarrow}{(-)}.

Moreover, by prop. 7, 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

Rh:SuperFormalSmoothSetSuperFormalSmoothSet. Rh\;\colon\; SuperFormalSmoothSet \longrightarrow SuperFormalSmoothSet \,.

But prop. 7 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

:SuperFormalSmoothSetSuperFormalSmoothSet \Re \;\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. 7, 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”.

We may proceed this way with all the remaining functors in prop. 7, 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 trivial extremal ones. They form the following diagram and this defines our notation for the remaining ones not given a name yet:

Definition

We denote the system of adjoint idempotent monads and idempotent comonads on SuperFormalSmoothsetSuperFormalSmoothset that is induced via the above procedure from the system of adjunctions in prop. 7 as follows:

id id Rh Et ʃ * \array{ id &\dashv& id \\ \vee && \vee \\ \rightrightarrows &\dashv& \rightsquigarrow &\dashv& Rh \\ && \vee && \vee \\ && \Re &\dashv& \Im &\dashv& E\!t \\ && && \vee && \vee \\ && && &#643; &\dashv& \flat && \sharp \\ && && && \vee && \vee \\ && && && \emptyset &\dashv& \ast }

Sometimes it is useful to re-arrange this diagram 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{é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 important constructions of super formal smooth sets, namely 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 1);

  2. for applications – inphysics 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:

Example

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 2:

Definition

(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:

Proposition

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. 10 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. 8 expresses an intuitively most obvious statement: Applied to geometric sheaf toposes such as SmoothSet or SuperFormalSmoothSet (def. 8) 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:

Example

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. 6 this coincides with internal hom [Σ,X][\Sigma,X] formed in SmoothSetSmoothSet according to prop. 8:

[Σ,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. 8) we have also mapping spaces much more general than the traditional ones of example 3. We now look at some examples of these.

Example

Let

𝔻 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 1). 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 via prop. 6, the internal hom out of 𝔻 1\mathbb{D}^1 with this basepoint is the smooth tangent bundle of XX (again under the embedding of prop. 6):

[𝔻 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 } \,.
Proof

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

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

By prop. 2, 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. 2 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 4 is a key observation that motivated the development of synthetic differential geometry (Lawvere 97). We may also consider the following super-geometric version

Example

(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. 8, is the odd tangent bundle from def. 8 Π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 } \,.
Proof

Let n\mathbb{R}^n be a bosonic Cartesian space. By prop. 8 the value of the smooth set [ 0|1,X][\mathbb{R}^{0\vert 1}, X] on this 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}) & = 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. 7, def. 9, then example 1 and finally example 4.

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

Example

(superfields)

Let XX be a supermanifold (for instance a super spacetime) and consider the super-mapping space (def. 10) [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. 8, 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 1) 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 8) 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 \Gamma_X\left(\underline{\mathbb{C} \oplus_X \Pi S \right) is over 0|1\Gamma_X\left(\underline{\mathbb{C} \oplus_X \Pi S \right\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).

Supermanifolds

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 def. 9. By prop. 7 and prop. 3 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:

Proposition

For XSuperFormalSmoothSetX \in SuperFormalSmoothSet (def. 8), 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.

Proof

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 9 means that for XX for instance an ordinary smooth manifold (regarded as a super formal smooth set via prop. 6) 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 good perspective on X\Im X is the following:

Definition

For XSuperFormalSmoothSetX \in SuperFormalSmoothSet (def. 8) 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 } \,.
Definition

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. 9)

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 12 a little:

Remark

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 def. 9 it follows that the image of the naturality square in def. 12 under forming the internal hom (def. 10) 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. 12. 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 4. Hence in this case the condition that ff is a formally étale morphism according to def. 12 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. 6, this condition is the traditional definition that ff be a local diffeomorphism.

Proposition

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

Proof

By remark 3 the condition of def. 12 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. 12 holds, by an argument as in example 7.

Example

For VSuperFormalSmoothSetV \in SuperFormalSmoothSet be given (def. 8) 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. 12:

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

Since \Im is a left adjoint by prop. 7, def 9, 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.

Definition

Let VSuperFormalSmoothSetV \in SuperFormalSmoothSet be given (def. 8), 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. 12, and the right one in addition being an epimorphism.

By prop. 7 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 }
Remark

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. 13 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.

Example

(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. 13) of dimension (n|k)(n \vert k), denoted ΠE\Pi E, as follows.

Write

𝒪(Π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 spring) of the dual vector bundle E *E^\ast.

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

Π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.

In order to proceed, we need to make the following further observation on the system of projection operators in prop. 7, def. 9:

Proposition

There are the following extra relations between the projection endofunctors in def. 9 (“Aufhebungs”-relations):

Proof

Write HSuperFormalSmoothSet\mathbf{H} \coloneqq SuperFormalSmoothSet for short. For any XHX \in \mathbf{H} and any U×𝔻SuperFormalCartSpHU \times \mathbb{D}\in SuperFormalCartSp \hookrightarrow \mathbf{H} we have by adjunction natural equivalences

H(U×𝔻,X) H(U×𝔻,X) H((U×𝔻),X) H(U,X) H((U×𝔻),X) H(U×𝔻,X). \begin{aligned} \mathbf{H}(U \times \mathbb{D} , \stackrel{\rightsquigarrow}{\Im X}) & \simeq \mathbf{H}(\stackrel{\rightrightarrows}{U \times \mathbb{D}} , \Im X) \\ &\simeq \mathbf{H}(\Re(\stackrel{\rightrightarrows}{U \times \mathbb{D}}) , X) \\ & \simeq \mathbf{H}(U, X) \\ & \simeq \mathbf{H}(\Re(U \times \mathbb{D}), X) \\ & \simeq \mathbf{H}(U \times \mathbb{D}, \Im X) \end{aligned} \,.
Proposition

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

Proof

Since the bosonic modality provides Aufhebung for \Re\dashv \Im by prop. 11 we have \rightsquigarrow \Im \simeq \Im. Moreover \Im \rightsquigarrow \simeq \Im anyway. Finally \rightsquigarrow preserves pullbacks (being in particular a right adjoint). Hence hitting a pullback diagram

X X f f Y Y \array{ X &\longrightarrow& \Im X \\ \downarrow^{\mathrlap{f}} && \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} }
Corollary

The bosonic space X\stackrel{\rightsquigarrow}{X} underlying a V-manifold XX, def. 13, 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. 1:

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.

Definition

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 \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

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.

Remark

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).

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

Here the last line means that we have

generatorbi-degree
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}.

Example
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.

Definition

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.

Remark

If in the situation of prop. 15 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.

Proposition

The construction of Chevalley-Eilenberg algebras in def. 15 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.

Definition

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}^*.

Proposition

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.

Remark

With a choice of basis as in remark 6, then the content of prop. 14 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.

Definition

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. 13 we may then simply say that:

Definition

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. 17.

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. 16.

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

Proposition

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. 18 we immediately known, in view of prop. 14, what super Lie algebra valued super differential forms should be:

Definition

Given a super Lie algebra 𝔤\mathfrak{g}, def. 18, prop. 15, 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. 18, to the super de Rham complex of def. 14.

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})) \,.
Example

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.

References

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

Revised on July 3, 2017 15:13:39 by Urs Schreiber (88.77.226.246)