Super Minkowski space

The underlying supermanifold of super Minkowski space is isomorphic to a super vector space given by the direct sum of ordinary Minkowski spacetime in d dimensions (often taken to be 4) and a number ${\displaystyle {\mathcal {N}}}$ of real spinor representations of the Lorentz algebra. (When ${\displaystyle d\equiv 2\mod 4}$ this is slightly ambiguous because there are 2 different real spin representations, so one needs to replace ${\displaystyle {\mathcal {N}}}$ by a pair of integers ${\displaystyle ({\mathcal {N}}_{1},{\mathcal {N}}_{2})}$, though some authors use a different convention and take ${\displaystyle {\mathcal {N}}}$ copies of both spin representations.)

However this construction is misleading for two reasons: first, super Minkowski space is really an affine space over a group rather than a group, or in other words it has no distinguished "origin", and second, the underlying supergroup of translations is not a super vector space but a nilpotent supergroup of nilpotent length 2.

This supergroup has the following Lie superalgebra. Suppose that ${\displaystyle M}$ is Minkowski space (of dimension ${\displaystyle d}$), and ${\displaystyle S}$ is a finite sum of irreducible real spinor representations for ${\displaystyle d}$-dimensional Minkowski space.

Then there is an invariant, symmetric bilinear map ${\displaystyle [\cdot ,\cdot ]:S\times S\rightarrow M}$. It is positive definite in the sense that, for any ${\displaystyle s}$, the element ${\displaystyle [s,s]}$ is in the closed positive cone of ${\displaystyle M}$, and ${\displaystyle [s,s]\neq 0}$ if ${\displaystyle s\neq 0}$. This bilinear map is unique up to isomorphism.

The Lie superalgebra ${\displaystyle {\mathfrak {g}}={\mathfrak {g_{0}}}\oplus {\mathfrak {g_{1}}}=M\oplus S}$ has ${\displaystyle M}$ as its even part, and ${\displaystyle S}$ as its odd (fermionic) part. The invariant bilinear map ${\displaystyle [\cdot ,\cdot ]}$ is extended to the whole superalgebra to define the (graded) Lie bracket ${\displaystyle [\cdot ,\cdot ]:{\mathfrak {g}}\times {\mathfrak {g}}\rightarrow {\mathfrak {g}}}$, where the Lie bracket of anything in ${\displaystyle M}$ with anything is zero.

The dimensions of the irreducible real spinor representation(s) for various dimensions d of spacetime are given a table below. The table also displays the type of reality structure for the spinor representation, and the type of invariant bilinear form on the spinor representation.

The table repeats whenever the dimension increases by 8, except that the dimensions of the spin representations are multiplied by 16.

In the physics literature, a super Minkowski spacetime is often specified by giving the dimension ${\displaystyle d}$ of the even, bosonic part (dimension of the spacetime), and the number of times ${\displaystyle {\mathcal {N}}}$ that each irreducible spinor representation occurs in the odd, fermionic part. This ${\displaystyle {\mathcal {N}}}$ is the number of supercharges in the associated super Poincaré algebra to the super Minkowski space.

In mathematics, Minkowski spacetime is sometimes specified in the form M^m|n or ${\displaystyle \mathbb {R} ^{m|n}}$ where m is the dimension of the even part and n the dimension of the odd part. This is notation used for ${\displaystyle \mathbb {Z} _{2}}$-graded vector spaces. The notation can be extended to include the signature of the underlying spacetime, often this is ${\displaystyle \mathbb {R} ^{1,d-1|n}}$ if ${\displaystyle m=d}$.

The relation is as follows: the integer ${\displaystyle d}$ in the physics notation is the integer ${\displaystyle m}$ in the mathematics notation, while the integer ${\displaystyle n}$ in the mathematics notation is ${\displaystyle D}$ times the integer ${\displaystyle {\mathcal {N}}}$ in the physics notation, where ${\displaystyle D}$ is the dimension of (either of) the irreducible real spinor representation(s). For example, the ${\displaystyle d=4,{\mathcal {N}}=1}$ Minkowski spacetime is ${\displaystyle \mathbb {R} ^{4|4}}$. A general expression is then ${\displaystyle \mathbb {R} ^{p,q|D{\mathcal {N}}}}$.

When ${\displaystyle d\equiv 2\mod 4}$, there are two different irreducible real spinor representations, and authors use various different conventions. Using earlier notation, if there are ${\displaystyle {\mathcal {N}}_{1}}$ copies of the one representation and ${\displaystyle {\mathcal {N}}_{2}}$ of the other, then defining ${\displaystyle {\mathcal {N}}={\mathcal {N}}_{1}+{\mathcal {N}}_{2}}$, the earlier expression holds.

In physics the letter P is used for a basis of the even bosonic part of the Lie superalgebra, and the letter Q is often used for a basis of the complexification of the odd fermionic part, so in particular the structure constants of the Lie superalgebra may be complex rather than real. Often the basis elements Q come in complex conjugate pairs, so the real subspace can be recovered as the fixed points of complex conjugation.

The real dimension associated to the factor ${\displaystyle {\mathcal {N}}}$ or ${\displaystyle ({\mathcal {N}}_{1},{\mathcal {N_{2}}})}$ can be found for generalized Minkowski space with dimension ${\displaystyle n}$ and arbitrary signature ${\displaystyle (p,q)}$. The earlier subtlety when ${\displaystyle d\equiv 2\mod 4}$ instead becomes a subtlety when ${\displaystyle p-q\equiv 0\mod 4}$. For the rest of this section, the signature refers to the difference ${\displaystyle p-q}$.

The dimension depends on the reality structure on the spin representation. This is dependent on the signature ${\displaystyle p-q}$ modulo 8, given by the table

p−q mod 8	0	1	2	3	4	5	6	7
Structure	${\displaystyle \mathbb {R} +\mathbb {R} }$	${\displaystyle \mathbb {R} }$	${\displaystyle \mathbb {C} }$	${\displaystyle \mathbb {H} }$	${\displaystyle \mathbb {H} +\mathbb {H} }$	${\displaystyle \mathbb {H} }$	${\displaystyle \mathbb {C} }$	${\displaystyle \mathbb {R} }$

The dimension also depends on ${\displaystyle n}$. We can write ${\displaystyle n}$ as either ${\displaystyle 2m}$ or ${\displaystyle 2m+1}$, where ${\displaystyle m:=\lfloor n/2\rfloor }$. We define the spin representation ${\displaystyle S}$ to be the representation constructed using the exterior algebra of some vector space, as described here. The complex dimension of ${\displaystyle S}$ is ${\displaystyle 2^{m}}$. If the signature is even, then this splits into two irreducible half-spin representations ${\displaystyle S_{+}}$ and ${\displaystyle S_{-}}$ of dimension ${\displaystyle 2^{m-1}}$, while if the signature is odd, then ${\displaystyle S}$ is itself irreducible. When the signature is even, there is the extra subtlety that if the signature is a multiple of 4 then these half-spin representations are inequivalent, otherwise they are equivalent.

Then if the signature is odd, ${\displaystyle {\mathcal {N}}}$ counts the number of copies of the spin representation ${\displaystyle S}$. If the signature is even and not a multiple of 4, ${\displaystyle {\mathcal {N}}}$ counts the number of copies of the half-spin representation. If the signature is a multiple of 4, then ${\displaystyle ({\mathcal {N}}_{1},{\mathcal {N}}_{2})}$ counts the number of copies of each half-spin representation.

Then, if the reality structure is real, then the complex dimension becomes the real dimension. On the other hand if the reality structure is quaternionic or complex (hermitian), the real dimension is double the complex dimension.

The real dimension associated to ${\displaystyle {\mathcal {N}}}$ or ${\displaystyle ({\mathcal {N}}_{1},{\mathcal {N}}_{2})}$ is summarized in the following table:

p−q mod 8	0	1	2	3	4	5	6	7
Real dimension ${\displaystyle D}$	${\displaystyle 2^{m-1},2^{m-1}}$	${\displaystyle 2^{m}}$	${\displaystyle 2^{m}}$	${\displaystyle 2^{m+1}}$	${\displaystyle 2^{m},2^{m}}$	${\displaystyle 2^{m+1}}$	${\displaystyle 2^{m}}$	${\displaystyle 2^{m}}$

This allows the calculation of the dimension of superspace with underlying spacetime ${\displaystyle \mathbb {R} ^{p,q}}$ with ${\displaystyle {\mathcal {N}}}$ supercharges, or ${\displaystyle ({\mathcal {N}}_{1},{\mathcal {N_{2}}})}$ supercharges when the signature is a multiple of 4. The associated super vector space is ${\displaystyle \mathbb {R} ^{p,q|{\mathcal {N}}D}}$ with ${\displaystyle {\mathcal {N}}={\mathcal {N}}_{1}+{\mathcal {N}}_{2}}$ where appropriate.

• Superspace
• Super vector space
• Super-Poincaré algebra

• Deligne, Pierre; Morgan, John W. (1999), "Notes on supersymmetry (following Joseph Bernstein)", in Deligne, Pierre; Etingof, Pavel; Freed, Daniel S.; Jeffrey, Lisa C.; Kazhdan, David; Morgan, John W.; Morrison, David R.; Witten., Edward (eds.), Quantum fields and strings: a course for mathematicians, Vol. 1, Providence, R.I.: American Mathematical Society, pp. 41–97, ISBN 978-0-8218-1198-6, MR 1701597