nLab
super Cartesian space

Contents

Idea

The analog of a Cartesian space in supergeometry, a supermanifold with a single canonical coordinate chart.

For suitable even|odd dimension this is naturally equipped with the structure of a supergroup that makes it a super-translation group. For Minkowski signature this is super-Minkowski spacetime.

Definition

For p,qp,q \in \mathbb{N}, let p|q\mathbb{R}^{p|q} the super Cartesian space of dimension_ (p|q)(p|q). This is the supermanifold defined by the fact that its algebra of functions is freely generated, as a smooth superalgebra by even-graded coordinate-functions {x a} 1 p\langle \{x^a\}_{1}^p and odd-graded coordinate function {θ α} α=1 q\{ \theta^\alpha\}_{\alpha= 1}^q. Equivalently this is the tensor product of the smooth functions on p\mathbb{R}^p with the real Grassmann algebra on qq generators:

C ( p|q) {x a} 1 p,{θ α} α=1 q =C ( p) q. \begin{aligned} C^\infty(\mathbb{R}^{p|q}) & \coloneqq \langle \{x^a\}_{1}^p, \{ \theta^\alpha\}_{\alpha= 1}^q \rangle \\ & = C^\infty(\mathbb{R}^p)\otimes_{\mathbb{R}} \wedge^\bullet \mathbb{R}^q \end{aligned} \,.

Details

The following is taken from geometry of physics -- supergeometry, see there for more:

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

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.

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

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 of smooth manifolds

    C ():SmthMfdCAlg op C^\infty(-) \;\colon\; SmthMfd \hookrightarrow CAlg_{\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 function).

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 superalgebra 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 \,.

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 instance

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

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 of commutative algebras over the real numbers of the form V\mathbb{R}\oplus V with VV a nilpotent ideal of finite-dimension over \mathbb{R}. We call this the category of infinitesimally thickened points.

In synthetic differential geometry these algebras ar called Weil algebra, 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 of those algebras which are tensor products of commutative \mathbb{R}-algebras of the form

C ( n)C (D) C^\infty(\mathbb{R}^n) \otimes C^\infty(D)

of algebras C ( p)C^\infty(\mathbb{R}^p) of smooth functions n\mathbb{R}^n with algebras corresponding to infinitesimally thickened points DD 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.

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

Example

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

In particular one finds that maps

𝔻 n \mathbb{D} \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.

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

In conclusion we have the following situation:

Proposition

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

differentialgeometry formaldifferentialgeometry superdifferentialgeometry CartSp FormalCartSp AA()AAAAA()AAA SuperFormalCartSp. \array{ {\text{} \atop {\text{differential} \atop \text{geometry}}} && {\text{formal} \atop {\text{differential} \atop {geometry}}} && {\text{super} \atop {\text{differential} \atop \text{geometry}}} \\ \\ 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 } \,.

Examples

Properties

De Rham complex of differential forms

We discuss the de Rham complex of super differential forms on a super Cartesian space. (See also at signs in supergeometry.)

Accordingly, by the discussion at Kähler forms, the de Rham complex of super differential forms on p|q\mathbb{R}^{p|q} is freely generated as a super-module over the smooth superalgebra C ( p|q)C^\infty(\mathbb{R}^{p|q}) by expressions of the form dx a 1dx a kdθ α 1dθ α l\mathbf{d}x^{a_1} \wedge \cdots \wedge \mathbf{d}x^{a_k} \wedge \mathbf{d}\theta^{\alpha_1} \wedge \cdots \wedge \mathbf{d}\theta^{\alpha_l}.

Ω ( p|q)=C ( p|q)[{dx a 1dx a kdθ α 1dθ α l}]. \Omega^\bullet(\mathbb{R}^{p|q}) = C^\infty(\mathbb{R}^{p|q}) \left[ \left\{ \mathbf{d}x^{a_1} \wedge \cdots \wedge \mathbf{d}x^{a_k} \wedge \mathbf{d}\theta^{\alpha_1} \wedge \cdots \wedge \mathbf{d}\theta^{\alpha_l} \right\} \right] \,.

This de Rham complex now carries the structure of a

  • differential graded-commutative graded commutative superalgebra

which should be thought of as bracketet as follows

  • differential graded-commutative graded (commutative superalgebra).

This means in effect that elements of Ω ( p|q)\Omega^\bullet(\mathbb{R}^{p|q}) carry a × 2\mathbb{Z} \times \mathbb{Z}_2-grading, where we may say that

  • \mathbb{Z} corresponds to the “cohomological grading”;

  • 2\mathbb{Z}_2 corresponds to the super-grading.

We write

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

for elements in this grading 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 p 1p_1-forms past a p 2p_2-form is (1) p 1p 2(-1)^{p_1 p_2};

  2. in addition there is a “super-grading” sich 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}.

Some examples:

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}

References

  • Anatoly Konechny and Albert Schwarz,

    On (kl|q)(k \oplus l|q)-dimensional supermanifolds in Supersymmetry and Quantum Field Theory (D. Volkov memorial volume) Springer-Verlag, 1998, Lecture Notes in Physics, 509 , J. Wess and V. Akulov (editors)(arXiv:hep-th/9706003)

    Theory of (kl|q)(k \oplus l|q)-dimensional supermanifolds Sel. math., New ser. 6 (2000) 471 - 486 A summary/review is in the appendix of

Last revised on November 29, 2016 at 07:39:37. See the history of this page for a list of all contributions to it.