View source for Super-Poincaré algebra

In [[Physics:Theoretical physics|theoretical physics]], a '''super-Poincaré algebra''' is an extension of the Poincaré algebra to incorporate [[Physics:Supersymmetry|supersymmetry]], a relation between [[Physics:Boson|boson]]s and [[Physics:Fermion|fermion]]s. They are examples of [[Supersymmetry algebra|supersymmetry algebra]]s (without [[Physics:Central charge|central charge]]s or internal symmetries), and are [[Lie superalgebra]]s. Thus a super-Poincaré algebra is a '''Z'''<sub>2</sub>-graded vector space with a graded Lie bracket such that the even part is a [[Lie algebra]] containing the Poincaré algebra, and the odd part is built from [[Physics:Spinor|spinor]]s on which there is an anticommutation relation with values in the even part.

==Informal sketch==
The Poincaré algebra describes the isometries of [[Physics:Minkowski spacetime|Minkowski spacetime]]. From the [[Physics:Representation theory of the Lorentz group|representation theory of the Lorentz group]], it is known that the Lorentz group admits two inequivalent complex spinor representations, dubbed <math>2</math> and <math>\overline{2}</math>.<ref group=nb>The barred representations are conjugate linear while the unbarred ones are complex linear. The numeral refers to the dimension of the representation space. Another more common notation is to write {{math|({{frac|1|2}}, 0)}} and {{math|(0, {{frac|1|2}})}} respectively for these representations. The general irreducible representation is then {{math|(''m'', ''n'')}}, where {{math|''m, n''}} are half-integral and correspond physically to the spin content of the representation, which ranges from {{math|{{!}}''m'' + ''n''{{!}} to {{!}}''m'' − ''n''{{!}}}} in integer steps, each spin occurring exactly once.</ref> Taking their [[Tensor product|tensor product]], one obtains <math>2\otimes \overline{2}=3\oplus 1</math>; such decompositions of tensor products of representations into [[Direct sum|direct sum]]s is given by the [[Littlewood–Richardson rule]].

Normally, one treats such a decomposition as relating to specific particles: so, for example, the [[Physics:Pion|pion]], which is a [[Physics:Chirality|chiral]] vector particle, is composed of a [[Physics:Quark|quark]]-anti-quark pair. However, one could also identify <math>3\oplus 1</math> with Minkowski spacetime itself. This leads to a natural question: if Minkowski space-time belongs to the [[Adjoint representation|adjoint representation]], then can Poincaré symmetry be extended to the [[Fundamental representation|fundamental representation]]? Well, it can: this is exactly the super-Poincaré algebra. There is a corresponding experimental question: if we live in the adjoint representation, then where is the fundamental representation hiding? This is the program of [[Physics:Supersymmetry|supersymmetry]], which has not been found experimentally.

==History==
The super-Poincaré algebra was first proposed in the context of the [[Physics:Haag–Łopuszański–Sohnius theorem|Haag–Łopuszański–Sohnius theorem]], as a means of avoiding the conclusions of the [[Physics:Coleman–Mandula theorem|Coleman–Mandula theorem]]. That is, the Coleman–Mandula theorem is a no-go theorem that states that the Poincaré algebra cannot be extended with additional symmetries that might describe the internal symmetries of the observed physical particle spectrum. However, the Coleman–Mandula theorem  assumed that the algebra extension would be by means of a commutator; this assumption, and thus the theorem, can be avoided by considering the anti-commutator, that is, by employing anti-commuting [[Physics:Grassmann number|Grassmann number]]s. The proposal was to consider a [[Supersymmetry algebra|supersymmetry algebra]], defined as the [[Semidirect product|semidirect product]] of a central extension of the super-Poincaré algebra by a compact [[Lie algebra]] of internal symmetries.

==Definition==
The simplest supersymmetric extension of the Poincaré algebra contains two Weyl spinors with the following anti-commutation relation:
:<math>\{Q_{\alpha}, \bar Q_{\dot{\beta}}\} = 2{\sigma^\mu}_{\alpha\dot{\beta}}P_\mu </math>
and all other anti-commutation relations between the ''Q''s and ''P''s vanish.<ref>{{harvnb|Aitchison|2005}}</ref> The operators <math>Q_\alpha, \bar Q_\dot\alpha</math> are known as '''supercharges'''. In the above expression <math>P_\mu</math> are the generators of translation and <math>\sigma^\mu</math> are the [[Pauli matrices]]. The index <math>\alpha</math> runs over the values <math>\alpha=1,2.</math> A dot is used over the index <math>\dot{\beta}</math> to remind that this index transforms according to the inequivalent conjugate spinor representation; one must never accidentally contract these two types of indexes. The Pauli matrices can be considered to be a direct manifestation of the [[Littlewood–Richardson rule]] mentioned before: they indicate how the tensor product <math>2\otimes\overline{2}</math> of the two spinors can be re-expressed as a vector. The index <math>\mu</math> of course ranges over the space-time dimensions <math>\mu=0,1,2,3.</math>

It is convenient to work with [[Physics:Dirac spinor|Dirac spinor]]s instead of Weyl spinors; a Dirac spinor can be thought of as an element of <math>2\oplus\overline{2}</math>; it has four components. The Dirac matrices are thus also four-dimensional, and can be expressed as direct sums of the Pauli matrices. The tensor product then gives an algebraic relation to the Minkowski metric <math> g^{\mu \nu} </math> which is expressed as:

:<math> \{ \gamma^\mu,\gamma^\nu \} = 2g^{\mu \nu} </math>
and
:<math>  \sigma^{\mu \nu}=\frac{i}{2}\left[ \gamma^\mu,\gamma^\nu \right] </math>

This then gives the full algebra<ref>{{harvnb|van Nieuwenhuizen|1981|page=274}}</ref>

:<math>\begin{align}
 \left[ M^{\mu \nu} , Q_\alpha \right] &= \frac{1}{2} ( \sigma^{\mu \nu})_\alpha^{\;\;\beta} Q_\beta \\

 \left[ Q_\alpha , P^\mu \right] &= 0 \\

 \{ Q_\alpha , \bar{Q}_{\dot{\beta}} \} &= 2 ( \sigma^\mu )_{\alpha \dot{\beta}} P_\mu \\
\end{align}</math>

which are to be combined with the normal Poincaré algebra. It is a closed algebra, since all [[Jacobi identity|Jacobi identities]] are satisfied and can have since explicit matrix representations. Following this line of reasoning will lead to [[Physics:Supergravity|supergravity]].

=== Extended supersymmetry ===

It is possible to add more supercharges. That is, we fix a number which by convention is labelled <math>\mathcal{N}</math>, and define supercharges
<math>Q^I_\alpha, \bar Q^I_\dot\alpha</math> with <math>I = 1, \cdots, \mathcal{N}.</math>

These can be thought of as many copies of the original supercharges, and hence satisfy
:<math>[M^{\mu\nu}, Q^I_\alpha] = (\sigma^{\mu\nu})_\alpha{}^\beta Q^I_\beta</math>
:<math>[P^\mu, Q^I_\alpha] = 0</math>
and
:<math>\{Q^I_\alpha, \bar Q^J_\dot\alpha\} = 2\sigma^\mu_{\alpha\dot\alpha}P_\mu\delta^{IJ}</math>
but can also satisfy
:<math>\{Q^I_\alpha, Q^J_\beta\} = \epsilon_{\alpha\beta}Z^{IJ}</math>
and 
:<math>\{\bar Q^I_\dot\alpha, \bar Q^J_\dot\beta\} = \epsilon_{\dot\alpha\dot\beta}Z^{\dagger IJ}</math>
where <math>Z^{IJ} = -Z^{JI}</math> is the ''central charge''.

== Super-Poincaré group and superspace ==

Just as the Poincaré algebra generates the [[Physics:Poincaré group|Poincaré group]] of isometries of Minkowski space, the super-Poincaré algebra, an example of a Lie super-algebra, generates what is known as a [[Physics:Supergroup|supergroup]]. This can be used to define [[Superspace|superspace]] with <math>\mathcal{N}</math> supercharges: these are the right [[Coset|coset]]s of the Lorentz group within the <math>\mathcal{N}</math> super-Poincaré group.

Just as <math>P_\mu</math> has the interpretation as being the generator of spacetime translations, the charges <math>Q^I_\alpha, \bar Q^I_\dot\alpha</math>, with <math>I = 1, \cdots, \mathcal{N}</math>, have the interpretation as generators of superspace translations in the 'spin coordinates' of superspace. That is, we can view superspace as the direct sum of Minkowski space with 'spin dimensions' labelled by coordinates <math>\theta^I_\alpha, \bar\theta^{I\dot\alpha}</math>. The supercharge <math>Q^I_\alpha</math> generates translations in the direction labelled by the coordinate <math>\theta^I_\alpha.</math> By counting, there are <math>4\mathcal{N}</math> spin dimensions.

=== Notation for superspace ===

The superspace consisting of Minkowski space with <math>\mathcal{N}</math> supercharges is therefore labelled <math>\mathbb{R}^{1,3|4\mathcal{N}}</math> or sometimes simply <math>\mathbb{R}^{4|4\mathcal{N}}</math>.

==SUSY in 3 + 1 Minkowski spacetime==
In {{math|(3 + 1)}} Minkowski spacetime, the [[Physics:Haag–Łopuszański–Sohnius theorem|Haag–Łopuszański–Sohnius theorem]] states that the SUSY algebra with N spinor generators is as follows.

The even part of the star Lie superalgebra is the direct sum of the Poincaré algebra and a [[Reductive Lie algebra|reductive Lie algebra]] ''B'' (such that its self-adjoint part is the tangent space of a real compact [[Lie group]]). The odd part of the algebra would be
:<math>\left(\frac{1}{2},0\right)\otimes V\oplus\left(0,\frac{1}{2}\right)\otimes V^*</math>
where <math>(1/2,0)</math> and <math>(0,1/2)</math> are specific representations of the Poincaré algebra. (Compared to the notation used earlier in the article, these correspond <math>\overline{2}\oplus 1</math> and <math>1\oplus 2</math>, respectively, also see the footnote where the previous notation was introduced). Both components are conjugate to each other under the * conjugation. ''V'' is an ''N''-dimensional complex representation of ''B'' and ''V''<sup>*</sup> is its [[Dual representation|dual representation]]. The Lie bracket for the odd part is given by a symmetric equivariant pairing {.,.} on the odd part with values in the even part. In particular, its reduced intertwiner from <math>\left[\left(\frac{1}{2},0\right)\otimes V\right]\otimes\left[\left(0,\frac{1}{2}\right)\otimes V^*\right]</math> to the [[Ideal (ring theory)|ideal]] of the Poincaré algebra generated by translations is given as the product of a nonzero intertwiner from <math>\left(\frac{1}{2},0\right)\otimes\left(0,\frac{1}{2}\right)</math>  to (1/2,1/2) by the "contraction intertwiner" from <math>V\otimes V^*</math> to the [[Trivial representation|trivial representation]].  On the other hand, its reduced intertwiner from <math>\left[\left(\frac{1}{2},0\right)\otimes V\right]\otimes \left[\left(\frac{1}{2},0\right)\otimes V\right]</math> is the product of a (antisymmetric) intertwiner from <math>\left(\frac{1}{2},0\right)\otimes\left(\frac{1}{2},0\right)</math> to (0,0) and an antisymmetric intertwiner ''A'' from <math>N^2</math> to ''B''.  Conjugate it to get the corresponding case for the other half.

===''N'' = 1===

''B'' is now <math>\mathfrak{u}(1)</math> (called R-symmetry) and ''V'' is the 1D representation of <math>\mathfrak{u}(1)</math> with [[Physics:Charge|charge]] 1. ''A'' (the intertwiner defined above) would have to be zero since it is antisymmetric.

Actually, there are two versions of ''N=1'' SUSY, one without the <math>\mathfrak{u}(1)</math> (i.e. ''B'' is zero-dimensional) and the other with <math>\mathfrak{u}(1)</math>.

===''N'' = 2===

''B'' is now <math>\mathfrak{su}(2)\oplus \mathfrak{u}(1)</math> and ''V'' is the 2D doublet representation of <math>\mathfrak{su}(2)</math> with a zero <math>\mathfrak{u}(1)</math> [[Physics:Charge|charge]]. Now, ''A'' is a nonzero intertwiner to the <math>\mathfrak{u}(1)</math> part of ''B''.

Alternatively, ''V'' could be a 2D doublet with a nonzero <math>\mathfrak{u}(1)</math> charge.  In this case, ''A'' would have to be zero.

Yet another possibility would be to let ''B'' be <math>\mathfrak{u}(1)_A\oplus \mathfrak{u}(1)_B \oplus \mathfrak{u}(1)_C</math>. ''V'' is invariant under <math>\mathfrak{u}(1)_B</math> and <math>\mathfrak{u}(1)_C</math> and decomposes into a 1D rep with <math>\mathfrak{u}(1)_A</math> charge 1 and another 1D rep with charge -1. The intertwiner ''A'' would be complex with the real part mapping to <math>\mathfrak{u}(1)_B</math> and the imaginary part mapping to <math>\mathfrak{u}(1)_C</math>.

Or we could have ''B'' being <math>\mathfrak{su}(2)\oplus \mathfrak{u}(1)_A\oplus \mathfrak{u}(1)_B</math> with ''V'' being the doublet rep of <math>\mathfrak{su}(2)</math> with zero <math>\mathfrak{u}(1)</math> charges and ''A'' being a complex intertwiner with the real part mapping to <math>\mathfrak{u}(1)_A</math> and the imaginary part to <math>\mathfrak{u}(1)_B</math>.

This doesn't even exhaust all the possibilities. We see that there is more than one ''N''&nbsp;=&nbsp;2 supersymmetry; likewise, the SUSYs for ''N''&nbsp;>&nbsp;2 are also not unique (in fact, it only gets worse).

===''N'' = 3===

It is theoretically allowed, but the multiplet structure becomes automatically the same with
that of an ''N''=4 supersymmetric theory. So it is less often discussed compared to ''N''=1,2,4 version.{{citation needed|date=October 2021}}

===''N'' = 4===

This is the maximal number of supersymmetries in a theory without gravity.

===''N'' = 8===

This is the maximal number of supersymmetries in any supersymmetric theory. Beyond <math>\mathcal{N} = 8</math>, any massless [[Physics:Supermultiplet|supermultiplet]] contains a sector with helicity <math>\lambda</math> such that <math>|\lambda| > 2</math>. Such theories on Minkowski space must be free (non-interacting).

==SUSY in various dimensions==
In 0&nbsp;+&nbsp;1, 2&nbsp;+&nbsp;1, 3&nbsp;+&nbsp;1, 4&nbsp;+&nbsp;1, 6&nbsp;+&nbsp;1, 7&nbsp;+&nbsp;1, 8&nbsp;+&nbsp;1, and 10&nbsp;+&nbsp;1 dimensions, a SUSY algebra is classified by a positive integer&nbsp;''N''.

In 1&nbsp;+&nbsp;1, 5&nbsp;+&nbsp;1 and 9&nbsp;+&nbsp;1 dimensions, a SUSY algebra is classified by two nonnegative integers (''M'',&nbsp;''N''), at least one of which is nonzero. ''M'' represents the number of left-handed SUSYs and ''N'' represents the number of right-handed SUSYs.

The reason of this has to do with the reality conditions of the [[Physics:Spinor|spinor]]s.

Hereafter ''d''&nbsp;=&nbsp;9 means ''d''&nbsp;=&nbsp;8&nbsp;+&nbsp;1 in Minkowski signature, etc.  The structure of supersymmetry algebra is mainly determined by the number of the fermionic generators, that is the number ''N'' times the real dimension of the spinor in ''d'' dimensions.  It is because one can obtain a supersymmetry algebra of lower dimension easily from that of higher dimensionality by the use of dimensional reduction.

=== Upper bound on dimension of supersymmetric theories ===
The maximum allowed dimension of theories with supersymmetry is <math>d = 11 = 10 + 1</math>, which admits a unique theory called 11-dimensional supergravity which is the low-energy limit of [[Physics:M-theory|M-theory]]. This incorporates supergravity: without supergravity, the maximum allowed dimension is <math>d = 10 = 9 + 1</math>.<ref name="tong">{{cite web |last1=Tong |first1=David |title=Supersymmetry |url=http://www.damtp.cam.ac.uk/user/tong/susy.html |website=www.damtp.cam.ac.uk |access-date=3 April 2023}}</ref>

===''d''&nbsp;=&nbsp;11===
The only example is the ''N''&nbsp;=&nbsp;1 supersymmetry with 32 supercharges.

===''d''&nbsp;=&nbsp;10===
From ''d''&nbsp;=&nbsp;11, ''N''&nbsp;=&nbsp;1 SUSY, one obtains ''N''&nbsp;=&nbsp;(1,&nbsp;1) nonchiral SUSY algebra, which is also called the type IIA supersymmetry. There is also ''N''&nbsp;=&nbsp;(2,&nbsp;0) SUSY algebra, which is called the type IIB supersymmetry.  Both of them have 32 supercharges.

''N''&nbsp;=&nbsp;(1,&nbsp;0) SUSY algebra with 16 supercharges is the minimal susy algebra in 10 dimensions. It is also called the type I supersymmetry. Type IIA / IIB / I [[Physics:Superstring theory|superstring theory]] has the SUSY algebra of the corresponding name. The supersymmetry algebra for the heterotic superstrings is that of type I.

== Remarks ==
{{reflist|group=nb}}

== Notes ==
{{reflist}}

== References ==
*{{cite arXiv|last=Aitchison|first=Ian J R|title=Supersymmetry and the MSSM: An Elementary Introduction|eprint=hep-ph/0505105|year=2005}}
*{{cite journal|last1=Gol'fand|first1=Y. A.|last2=Likhtman|first2=E. P.|title= Extension of the algebra of the Poincare group generators and violation of P invariance|journal=JETP Lett.|volume=13|year=1971|pages=323–326|url=http://www.jetpletters.ac.ru/ps/1584/article_24309.shtml|bibcode=1971JETPL..13..323G}}
*{{cite journal|last=van Nieuwenhuizen|first=P.|title=Supergravity|journal=[[Physics:Physics Reports|Phys. Rep.]]|volume=68|issue=4|pages=189–398|year=1981|doi=10.1016/0370-1573(81)90157-5|bibcode=1981PhR....68..189V}}
*{{cite journal|first1=D. V.|last1=Volkov|first2=V. P.|last2=Akulov|journal=JETP Lett.|volume=16|issue=11|title=Possible Universal Neutrino Interaction|year=1972|pages=621 pp|url=http://www.jetpletters.ac.ru/ps/1766/article_26864.shtml}}
*{{cite journal|first1=D. V.|last1=Volkov|first2=V. P.|last2=Akulov|title=Is the neutrino a goldstone particle|journal=Phys. Lett. B|volume=46|issue=1|year=1973|pages=109–110|doi=10.1016/0370-2693(73)90490-5|bibcode=1973PhLB...46..109V}}
*{{cite book|last=Weinberg|first=Steven|title=Supersymmetry|year=2000|edition=1st|series=The Quantum Theory of Fields|volume=3|publisher={{wipe|Cambridge University Press}}|location=Cambridge|isbn=978-0521670555}}
*{{cite journal|last1=Wess|first1=J.|last2=Zumino|first2=B.|title=Supergauge transformations in four dimensions|journal=Nuclear Physics B|volume=70|issue=1|pages=39–50|year=1974|doi=10.1016/0550-3213(74)90355-1|bibcode=1974NuPhB..70...39W|url=https://cds.cern.ch/record/201649}}


{{DEFAULTSORT:Super-Poincare Algebra}}
[[Category:Supersymmetry]]
[[Category:Lie algebras]]

{{Sourceattribution|Super-Poincaré algebra}}