Super Minkowski Space
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
and
physics Physics is the natural science that studies matter, its fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge which r ...
, super Minkowski space or Minkowski
superspace Superspace is the coordinate space of a theory exhibiting supersymmetry. In such a formulation, along with ordinary space dimensions ''x'', ''y'', ''z'', ..., there are also "anticommuting" dimensions whose coordinates are labeled in Grassmann numb ...
is a
supersymmetric In a supersymmetric theory the equations for force and the equations for matter are identical. In theoretical and mathematical physics, any theory with this property has the principle of supersymmetry (SUSY). Dozens of supersymmetric theories ...
extension of
Minkowski space In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the inerti ...
, sometimes used as the base
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...
(or rather,
supermanifold In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below. Informal definition An informal definition is com ...
) for
superfield In theoretical physics, a supermultiplet is a representation of a supersymmetry algebra. Then a superfield is a field on superspace which is valued in such a representation. Naïvely, or when considering flat superspace, a superfield can simply ...
s. It is acted on by the
super Poincaré algebra Super may refer to: Computing * SUPER (computer program), or Simplified Universal Player Encoder & Renderer, a video converter / player * Super (computer science), a keyword in object-oriented programming languages * Super key (keyboard butto ...
.


Construction


Abstract construction

Abstractly, super Minkowski space is the space of (right)
cosets In mathematics, specifically group theory, a subgroup of a group may be used to decompose the underlying set of into disjoint, equal-size subsets called cosets. There are ''left cosets'' and ''right cosets''. Cosets (both left and right) ha ...
within the Super Poincaré group of
Lorentz group In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicis ...
, that is, :\text \cong \frac. This is analogous to the way ordinary
Minkowski spacetime In mathematical physics, Minkowski space (or Minkowski spacetime) () is a combination of three-dimensional Euclidean space and time into a four-dimensional manifold where the spacetime interval between any two events is independent of the inert ...
can be identified with the (right) cosets within the
Poincaré group The Poincaré group, named after Henri Poincaré (1906), was first defined by Hermann Minkowski (1908) as the group of Minkowski spacetime isometries. It is a ten-dimensional non-abelian Lie group that is of importance as a model in our und ...
of the Lorentz group, that is, :\text \cong \frac. The coset space is naturally
affine Affine may describe any of various topics concerned with connections or affinities. It may refer to: * Affine, a relative by marriage in law and anthropology * Affine cipher, a special case of the more general substitution cipher * Affine comb ...
, and the nilpotent, anti-commuting behavior of the fermionic directions arises naturally from the
Clifford algebra In mathematics, a Clifford algebra is an algebra generated by a vector space with a quadratic form, and is a unital associative algebra. As -algebras, they generalize the real numbers, complex numbers, quaternions and several other hyperc ...
associated with the Lorentz group.


Direct sum construction

For this section, the dimension of the Minkowski space under consideration is d = 4. Super Minkowski space can be concretely realized as the direct sum of Minkowski space, which has coordinates x^\mu, with 'spin space'. The dimension of 'spin space' depends on the number \mathcal of supercharges in the associated
super Poincaré algebra Super may refer to: Computing * SUPER (computer program), or Simplified Universal Player Encoder & Renderer, a video converter / player * Super (computer science), a keyword in object-oriented programming languages * Super key (keyboard butto ...
to the super Minkowski space under consideration. In the simplest case, \mathcal = 1, the 'spin space' has 'spin coordinates' (\theta_\alpha, \bar\theta^\dot\alpha) with \alpha, \dot\alpha = 1,2, where each component is a
Grassmann number In mathematical physics, a Grassmann number, named after Hermann Grassmann (also called an anticommuting number or supernumber), is an element of the exterior algebra over the complex numbers. The special case of a 1-dimensional algebra is known as ...
. In total this forms 4 spin coordinates. The notation for \mathcal = 1 super Minkowski space is then \mathbb^. There are theories which admit \mathcal supercharges. Such cases have
extended supersymmetry In theoretical physics, extended supersymmetry is supersymmetry whose infinitesimal generators Q_i^\alpha carry not only a spinor index \alpha, but also an additional index i=1,2 \dots \mathcal where \mathcal is integer (such as 2 or 4). Extende ...
. For such theories, super Minkowski space is labelled \mathbb^, with coordinates (\theta^I_\alpha, \bar\theta^) with I, J = 1, \cdots , \mathcal.


Definition

The underlying
supermanifold In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below. Informal definition An informal definition is com ...
of super Minkowski space is isomorphic to a
super vector space In mathematics, a super vector space is a \mathbb Z_2- graded vector space, that is, a vector space over a field \mathbb K with a given decomposition of subspaces of grade 0 and grade 1. The study of super vector spaces and their generalization ...
given by the direct sum of ordinary Minkowski spacetime in ''d'' dimensions (often taken to be 4) and a number \mathcal of real spinor representations of the Lorentz algebra. (When d \equiv 2 \mod 4 this is slightly ambiguous because there are 2 different real spin representations, so one needs to replace \mathcal by a pair of integers (\mathcal_1, \mathcal_2), though some authors use a different convention and take \mathcal copies of both spin representations.) However this construction is misleading for two reasons: first, super Minkowski space is really an
affine space In mathematics, an affine space is a geometric structure that generalizes some of the properties of Euclidean spaces in such a way that these are independent of the concepts of distance and measure of angles, keeping only the properties relate ...
over a group rather than a group, or in other words it has no distinguished "origin", and second, the underlying
supergroup Supergroup or super group may refer to: * Supergroup (music), a music group formed by artists who are already notable or respected in their fields * Supergroup (physics), a generalization of groups, used in the study of supersymmetry * Supergroup ...
of translations is not a super vector space but a nilpotent supergroup of nilpotent length 2. This supergroup has the following
Lie superalgebra In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a Z2 grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry. In most of these theories, the ...
. Suppose that M is Minkowski space (of dimension d), and S is a finite sum of irreducible real
spinor representation In mathematics, the spin representations are particular projective representations of the orthogonal group, orthogonal or special orthogonal groups in arbitrary dimension and metric signature, signature (i.e., including indefinite orthogonal groups ...
s for d-dimensional Minkowski space. Then there is an invariant, symmetric bilinear map cdot,\cdot S\times S \rightarrow M. It is positive definite in the sense that, for any s, the element , s/math> is in the closed positive cone of M, and ,sneq 0 if s \neq 0. This bilinear map is unique up to isomorphism. The Lie superalgebra \mathfrak = \mathfrak\oplus \mathfrak = M \oplus S has M as its even part, and S as its odd (fermionic) part. The invariant bilinear map cdot,\cdot/math> is extended to the whole superalgebra to define the (graded) Lie bracket cdot,\cdot\mathfrak\times\mathfrak \rightarrow \mathfrak, where the Lie bracket of anything in 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.


Notation

In the physics literature, a super Minkowski spacetime is often specified by giving the dimension d of the even, bosonic part (dimension of the spacetime), and the number of times \mathcal that each irreducible spinor representation occurs in the odd, fermionic part. This \mathcal 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 \mathbb^ where ''m'' is the dimension of the even part and ''n'' the dimension of the odd part. This is notation used for \mathbb_2-
graded vector space In mathematics, a graded vector space is a vector space that has the extra structure of a '' grading'' or a ''gradation'', which is a decomposition of the vector space into a direct sum of vector subspaces. Integer gradation Let \mathbb be th ...
s. The notation can be extended to include the signature of the underlying spacetime, often this is \mathbb^ if m = d. The relation is as follows: the integer d in the physics notation is the integer m in the mathematics notation, while the integer n in the mathematics notation is D times the integer \mathcal in the physics notation, where D is the dimension of (either of) the irreducible real spinor representation(s). For example, the d = 4, \mathcal = 1 Minkowski spacetime is \mathbb^. A general expression is then \mathbb^. When 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 \mathcal_1 copies of the one representation and \mathcal_2 of the other, then defining \mathcal = \mathcal_1 + \mathcal_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 In mathematics, the complexification of a vector space over the field of real numbers (a "real vector space") yields a vector space over the complex number field, obtained by formally extending the scaling of vectors by real numbers to include t ...
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.


Signature (p,q)

The ''real'' dimension associated to the factor \mathcal or (\mathcal_1, \mathcal) can be found for generalized Minkowski space with dimension n and arbitrary signature (p,q). The earlier subtlety when d \equiv 2 \mod 4 instead becomes a subtlety when p - q \equiv 0 \mod 4. For the rest of this section, the signature refers to the difference p - q. The dimension depends on the reality structure on the spin representation. This is dependent on the signature p - q modulo 8, given by the table The dimension also depends on n. We can write n as either 2m or 2m + 1, where m := \lfloor n/2 \rfloor. We define the spin representation S to be the representation constructed using the exterior algebra of some vector space, as described
here Here is an adverb that means "in, on, or at this place". It may also refer to: Software * Here Technologies, a mapping company * Here WeGo (formerly Here Maps), a mobile app and map website by Here Technologies, Here Television * Here TV (form ...
. The ''complex'' dimension of S is 2^m. If the signature is even, then this splits into two irreducible half-spin representations S_+ and S_- of dimension 2^, while if the signature is odd, then 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, \mathcal counts the number of copies of the spin representation S. If the signature is even and not a multiple of 4, \mathcal counts the number of copies of the half-spin representation. If the signature is a multiple of 4, then (\mathcal_1, \mathcal_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 \mathcal or (\mathcal_1, \mathcal_2) is summarized in the following table: This allows the calculation of the dimension of superspace with underlying spacetime \mathbb^ with \mathcal supercharges, or (\mathcal_1, \mathcal) supercharges when the signature is a multiple of 4. The associated super vector space is \mathbb^ with \mathcal = \mathcal_1 + \mathcal_2 where appropriate.


Restrictions on dimensions and supercharges


Higher-spin theory

There is an upper bound on \mathcal (equal to \mathcal_1 + \mathcal_2 where appropriate). More straightforwardly there is an upper bound on the dimension of the spin space N = \mathcalD where D is the dimension of the spin representation if the signature is odd, and the dimension of the half-spin representation if the signature is even. The bound is N = 32. This bound arises as any theory with more than N = 32 supercharges automatically has fields with (absolute value of) spin greater than 2. More mathematically, any representation of the superalgebra contains fields with spin greater than 2. Theories that consider such fields are known as higher-spin theories. On Minkowski space, there are no-go theorems which prohibit such theories from being interesting. If one doesn't wish to consider such theories, this gives upper bounds on the dimension and on \mathcal. For Lorentzian spaces (with signature (-, +, \cdots, +)), the limit on dimension is d < 12. For generalized Minkowski spaces of arbitrary signature, the upper dimension depends sensitively on the signature, as detailed in an earlier section.


Supergravity

A large number of supercharges N also implies local supersymmetry. If supersymmetries are gauge symmetries of the theory, then since the supercharges can be used to generate translations, this implies infinitesimal translations are gauge symmetries of the theory. But these generate local
diffeomorphism In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable. Definition Given two m ...
s, which is a signature of gravitational theories. So any theory with local supersymmetry is necessarily a supergravity theory. The limit placed on ''massless'' representations is the highest spin field must have spin , h, \leq 1, which places a limit of N = 16 supercharges for theories without supergravity.


Supersymmetric Yang-Mills theories

These are theories consisting of a gauge superfield partnered with a spinor superfield. This requires a matching of degrees of freedom. If we restrict this discussion to d-dimensional Lorentzian space, the degrees of freedom of the gauge field is d - 2, while the degrees of freedom of a spinor is a power of 2, which can be worked out from information elsewhere in this article. This places restrictions on super Minkowski spaces which can support a supersymmetric Yang-Mills theory. For example, for \mathcal = 1, only d = 3, 4, 6 or 10 support a Yang-Mills theory.


See also

*
Superspace Superspace is the coordinate space of a theory exhibiting supersymmetry. In such a formulation, along with ordinary space dimensions ''x'', ''y'', ''z'', ..., there are also "anticommuting" dimensions whose coordinates are labeled in Grassmann numb ...
*
Super vector space In mathematics, a super vector space is a \mathbb Z_2- graded vector space, that is, a vector space over a field \mathbb K with a given decomposition of subspaces of grade 0 and grade 1. The study of super vector spaces and their generalization ...
*
Super-Poincaré algebra In theoretical physics, a super-Poincaré algebra is an extension of the Poincaré algebra to incorporate supersymmetry, a relation between bosons and fermions. They are examples of supersymmetry algebras (without central charges or internal symme ...


References

* {{Supersymmetry topics Supersymmetry