superalgebra

and

supergeometry

# Contents

## Idea

The Green-Schwarz action functional is the action functional of a sigma-model that describes the propagation of a fundamental $p$-brane $\Sigma$ on a supermanifold spacetime.

## Definition

The Green-Schwarz action functionals are of the standard sigma-model form for target spaces that are super-homogeneous spaces $G/H$ for $G$ a Lie supergroup and $H$ a sub-super-group, and for background gauge fields that are super-WZW-circle n-bundles with connection/bundle gerbes on $G$.

These action functionals were first considered in (Green-Schwarz 84) for superstrings in various dimensions. The full interpretation of the action functional as an higher Wess-Zumino-Witten theory-type action controled by the Lie algebra cohomology of the super Poincaré Lie algebra (or rather of the super translation Lie algebra inside it) is due to (Azcárraga-Townsend89).

### Supercoordinates

We briefly review some basics of the canonical coordinates and the super Lie algebra cohomology of the super Poincaré Lie algebra and super Minkowski space, which are referred to below (Azcárraga-Townsend 89).

By the general discussion at Chevalley-Eilenberg algebra, we may characterize the super Poincaré Lie algebra $\mathrm{𝔰𝔦𝔰𝔬}\left(D-1,1\right)$ by its CE-algebra $\mathrm{CE}\left(\mathrm{𝔰𝔦𝔰𝔬}\left(D-1,1\right)\right)$ “of left-invariant 1-forms” on its group manifold.

###### Definition

The Chevalley-Eilenberg algebra $\mathrm{CE}\left(\mathrm{𝔰𝔦𝔰𝔬}\left(d-1,1\right)\right)$ is generated on

• elements $\left\{{e}^{a}\right\}$ and $\left\{{\omega }^{ab}\right\}$ of degree $\left(1,\mathrm{even}\right)$

• and elements $\left\{{\psi }^{\alpha }\right\}$ of degree $\left(1,\mathrm{odd}\right)$

with the differential defined by

${d}_{\mathrm{CE}}{\omega }^{ab}={\omega }^{a}{}_{b}\wedge {\omega }^{bc}$d_{CE} \omega^{a b} = \omega^a{}_b \wedge \omega^{b c}
${d}_{\mathrm{CE}}{e}^{a}={\omega }^{a}{}_{b}\wedge {e}^{b}+\frac{i}{2}\overline{\psi }{\Gamma }^{a}\psi$d_{CE} e^{a } = \omega^a{}_b \wedge e^b + \frac{i}{2}\bar \psi \Gamma^a \psi
${d}_{\mathrm{CE}}\psi =\frac{1}{4}{\omega }^{ab}{\Gamma }_{ab}\psi \phantom{\rule{thinmathspace}{0ex}}.$d_{CE} \psi = \frac{1}{4} \omega^{ a b} \Gamma_{a b} \psi \,.

Removing the terms involving $\omega$ here this is the super translation algebra.

In this way the super-Poincaré Lie algebra and its extensions is usefully discussed for instance in (D’Auria-Fré 82) and in (Azcárraga-Townsend 89, CAIB 99). In much of the literature instead the following equivalent notation is popular, which more explicitly involves the coordinates on super Minkowski space.

###### Remark

The abstract generators in def. 1 are identified with left invariant 1-forms on the super-translation group (= super Minkowski space) as follows.

Let $\left({x}^{a},{\theta }^{\alpha }\right)$ be the canonical coordinates on the supermanifold ${ℝ}^{d\mid N}$ underlying the super translation group. Then the identification is

• ${\psi }^{\alpha }=d{\theta }^{\alpha }$.

• ${e}^{a}=d{x}^{a}+\frac{i}{2}\overline{\theta }{\Gamma }^{a}d\theta$.

Notice that this then gives the above formula for the differential of the super-vielbein in def. 1 as

$\begin{array}{rl}d{e}^{a}& =d\left(d{x}^{a}+\frac{i}{2}\overline{\theta }{\Gamma }^{a}d\theta \right)\\ & =\frac{i}{2}d\overline{\theta }{\Gamma }^{a}d\theta \\ & =\frac{i}{2}\overline{\psi }{\Gamma }^{a}\psi \end{array}\phantom{\rule{thinmathspace}{0ex}}.$\begin{aligned} d e^a & = d (d x^a + \frac{i}{2} \overline{\theta} \Gamma^a d \theta) \\ & = \frac{i}{2} d \overline{\theta}\Gamma^a d \theta \\ & = \frac{i}{2} \overline{\psi}\Gamma^a \psi \end{aligned} \,.
###### Remark

The term $\frac{i}{2}\overline{\psi }{\Gamma }^{a}\psi$ is sometimes called the supertorsion of the supervielbein $e$, because the defining equation

${d}_{\mathrm{CE}}{e}^{a}-{\omega }^{a}{}_{b}\wedge {e}^{b}=\frac{i}{2}\overline{\psi }{\Gamma }^{a}\psi$d_{CE} e^{a } -\omega^a{}_b \wedge e^b = \frac{i}{2}\bar \psi \Gamma^a \psi

may be read as saying that $e$ is torsion-free except for that term. Notice that this term is the only one that appears when the differential is applied to “Lorentz scalars”, hence to object in $\mathrm{CE}\left(\mathrm{𝔰𝔦𝔰𝔬}\right)$ which have “all indices contracted”.

Notably we have

$d\left(\overline{\psi }\wedge {\Gamma }^{{a}_{1}\cdots {a}_{p}}\psi \wedge {e}_{{a}_{1}}\wedge \cdots \wedge {e}_{{a}_{p}}\right)\propto \left(\overline{\psi }\wedge {\Gamma }^{{a}_{1}\cdots {a}_{p}}\psi \wedge {e}_{{a}_{1}}\wedge \cdots \wedge {e}_{{a}_{p-1}}\right)\wedge \left(\overline{\Psi }\wedge {\Gamma }_{{a}_{p}}\Psi \right)\phantom{\rule{thinmathspace}{0ex}}.$d \left( \overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_p} \right) \propto \left( \overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_{p-1}} \right) \wedge \left( \overline{\Psi} \wedge \Gamma_{a_p} \Psi \right) \,.

This remaining operation ”$e↦{\Psi }^{2}$” of the differential acting on Loretz scalars is sometimes denoted ”${t}_{0}$”, e.g. in (Bossard-Howe-Stelle 09, equation (8)).

This relation is what govers all of the exceptional super Lie algebra cocycles that appear as WZW terms for the Green-Schwarz action below: for some combinations of $\left(D,p\right)$ a Fierz identity implies that the term

$\left(\overline{\psi }\wedge {\Gamma }^{{a}_{1}\cdots {a}_{p}}\psi \wedge {e}_{{a}_{1}}\wedge \cdots \wedge {e}_{{a}_{p-1}}\right)\wedge \left(\overline{\Psi }\wedge {\Gamma }_{{a}_{p}}\Psi \right)$\left( \overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_{p-1}} \right) \wedge \left( \overline{\Psi} \wedge \Gamma_{a_p} \Psi \right)

vanishes identically, and hence in these dimensions the term

$\overline{\psi }\wedge {\Gamma }^{{a}_{1}\cdots {a}_{p}}\psi \wedge {e}_{{a}_{1}}\wedge \cdots \wedge {e}_{{a}_{p}}$\overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_p}

### Kinetic term

(…)

kinetic action

${\int }_{\Sigma }⟨{\varphi }^{*}{\Pi }^{a},{\varphi }^{*}{\Pi }^{b}{\eta }_{ab}⟩$\int_\Sigma \langle \phi^\ast\Pi^a, \phi^\ast \Pi^b \eta_{a b}\rangle

(…)

### WZW term

Let $\left({e}^{a},{\omega }^{ab},{\psi }^{\alpha }\right)$ be the standard generators of the Chevalley-Eilenberg algebra $\mathrm{CE}\left(\mathrm{𝔰𝔦𝔰𝔬}\left(d,1\right)\right)$ of the super Poincaré Lie algebra, as discussed there.

The part of the Lie algebra cohomology of the super translation Lie algebra that is invariant under the Lorentz transformations is spanned by closed elements of the form

$\mu =\left(d\overline{\theta }{\Gamma }_{{a}_{1},\cdots ,{a}_{p}}\wedge d\theta \right)\wedge {\Pi }^{{a}_{1}}\wedge \cdots \wedge {\Pi }^{{a}_{p}}\phantom{\rule{thinmathspace}{0ex}}.$\mu = (d \bar \theta \Gamma_{a_1, \cdots, a_p} \wedge d \theta) \wedge \Pi^{a_1} \wedge \cdots \wedge \Pi^{a_p} \,.

These exist (are closed) only for certain combinations of $d$ and $p$. The possible values are listed below.

For a bosonic WZW model the background gauge field induced by such a cocycle would be the corresponding Lie integration to a circle n-bundle with connection. Here, since the super translation group is contractible, a Poincaré lemma applies and these circle $n$-connections are simply given by globally defined connection form $\beta$ satisfying

$d\beta =\mu \phantom{\rule{thinmathspace}{0ex}}.$d \beta = \mu \,.

The WZW part of the GS action is then

${S}_{\mathrm{WZW}}:\varphi ↦{\int }_{\Sigma }{\varphi }^{*}\beta$S_{WZW } : \phi \mapsto \int_\Sigma \phi^* \beta

(…)

## Properties

### Siegel- or $\kappa$-symmetry

The Green-Schwarz action has an extra fermionic symmetry, on top of the genuine supersymmetry, first observed in (Siegel 83) for the superparticle and in (Siegel 84) for the superstring in 3-dimensions, and finally in (GreenSchwarz 84) for the critical superstring in 10-dimensions. This is also called $\kappa$-symmetry. It has a natural interpretation in terms of the super-Cartan geometry of target space (McArthur, GKW).

### Dimensions – the brane scan

The Green-Schwarz action functional of a $p$-brane propagating on an $d$-dimensional target spacetimes makes sense only for special combinations of $\left(p,d\right)$, for which there are suitanble super Lie algebra cocycles on the super translation Lie algebra (see above).

The corresponding table has been called the brane scan in the literature, now often called the “old brane scan”, since it has meanwhile been further completed (see below). In (Duff 87) the “old brane scan” is displayed as follows.

In the $D=10$-row we see the critical superstring of string theory and its magnetic dual, the NS5-brane. The top row shows the M2-brane in 11-dimensional supergravity.

Moving down and left the diagonals corresponds to double dimensional reduction.

###### Remark

The above table considers only $N=1$ superspace, hence that of 11-dimensional supergravity and heterotic supergravity, but not of type II supergravity.

###### Remark

What is missing in the table is the M5-brane in that top dimension. (See also BPST). The reason is that the M5 corresponds to a 7-cocycle not on the ordinary super Poincaré Lie algebra, but on its L-infinity algebra extension, the supergravity Lie 3-algebra. See the 7-cocycle at supergravity Lie 6-algebra.

###### Remark

According to (D’Auria-Fré 82, equation (3.14)) there is also a 12-cocycle in $D=11$, $p=10$ (in our notation, theirs differs by an offset of $p$ by one). These authors, not thinking of GS-type $p$-brane models, “dismiss” this cocycle (on the next page) on the grounds that a 12-cocycle cannot directly appear nontrivially in an 11-dimenesional action functional. In (AETW 87, p.3) super $p$-branes are considered, but it says parenthetically “We exclude here the degenerate case of a $p$-brane in $d=p+1$ dimensions.”

So (with notation as above) we have the following.

The brane scan.

The Green-Schwarz type super $p$-brane sigma-models (see at table of branes for further links):

$\stackrel{D}{=}$$p=$123456789
11M2M5
10D0F1, D1D2D3D4NS5, D5D6D7D8D9
9$*$
8$*$
7$*$
6$*$$*$
5$*$
4$*$$*$
3$*$

The corresponding exceptional super L-∞ algebra cocycles (schematically, without prefactors):

$\stackrel{D}{=}$$p=$123456789
11${\Psi }^{2}{E}^{2}$ on sIso(10,1)${\Psi }^{2}{E}^{5}+{\Psi }^{2}{E}^{2}{C}_{3}$ on m2brane
10${\Psi }^{2}{E}^{1}$ on sIso(9,1)${B}_{2}^{2}+{B}_{2}{\Psi }^{2}+{\Psi }^{2}{E}^{2}$ on StringIIA$\cdots$ on StringIIB${B}_{2}^{3}+{B}_{2}^{2}{\Psi }^{2}+{B}_{2}{\Psi }^{2}{E}^{2}+{\Psi }^{2}{E}^{4}$ on StringIIA${\Psi }^{2}{E}^{5}$ on sIso(9,1)${B}_{2}^{4}+\cdots +{\Psi }^{2}{E}^{6}$ on StringIIA$\cdots$ on StringIIB${B}_{2}^{5}+\cdots +{\Psi }^{2}{E}^{8}$ in StringIIA$\cdots$ on StringIIB
9${\Psi }^{2}{E}^{4}$ on sIso(8,1)
8${\Psi }^{2}{E}^{3}$ on sIso(7,1)
7${\Psi }^{2}{E}^{2}$ on sIso(6,1)
6${\Psi }^{2}{E}^{1}$ on sIso(5,1)${\Psi }^{2}{E}^{3}$ on sIso(5,1)
5${\Psi }^{2}{E}^{2}$ on sIso(4,1)
4${\Psi }^{2}{E}^{1}$ on sIso(3,1)${\Psi }^{2}{E}^{2}$ on sIso(3,1)
3${\Psi }^{2}{E}^{1}$ on sIso(2,1)

## References

### General

The Green-Schwarz action functional (formulated for the superstring) is due to

A standard textbook reference is appendix 4.A of volume 1 of

and a brief paragraph in Volume II, section 10.2, page 983 of

A more recent and more comprehensive review is

### WZW terms, super Lie algebra cohomology and the brane scan

The WZW nature of the second term in the GS action is discussed with its Lie theoretic meaning made fully explicit in chater 8 of

• José de Azcárraga, Izqierdo, Lie Groups, Lie Algebras, Cohomology and Some Applications in Physics, Cambridge monographs of mathematical physics, (1995)

The original “brane scan” classification of GS action functionals by WZW terms is due to

• A. Achucarro, J. M. Evans, Paul Townsend and D. L. Wiltshire, Super $p$-Branes, Phys. Lett. B 198 (1987) 441

For $d=11$ the relevant super Lie algebra cocycles have also been discussed (but not related to the Green-Schwarz action functional) in

A review is in

• Michael Duff, Supermembranes: the first fifteen weeks CERN-TH.4797/87 (1987) (scan)

from which the above table is taken.

• I. Bars, C. Deliduman and D. Minic, Phys. Rev D59 (1999) 125004; Phys. Lett. B457 (1999) 275. (arXiv:hep-th/9812161)

More along these lines is in

The Green-Schwarz-type action for the M5-brane was found in

The 7-cocycle on the supergravity Lie 3-algebra which gives the supergravity Lie 6-algebra appears in these articles (somewhat secretly) in equation (BLNPST, equation (9)).

• Igor Bandos, Paolo Pasti, Dmitri Sorokin, Mario Tonin, Superbrane Actions and Geometrical Approach (arXiv:hep-th/9705064)

A decent systematic account of the principles of super Lie algebra cohomology in the GS-functional, of these cocycles is in the letter

• José de Azcárraga, Paul Townsend, Superspace geometry and the classification of supersymmetric extended objects, Physical Review Letters Volume 62, Number 22 (1989)

and a detailed account building on this, which also discusses the GS/WZW terms for D-branes on the type II supergravity Lie 2-algebra (in its section 6) is in

The 7-cocycle for the M5-brane on the supergravity Lie 3-algebra is equation (8.8) there.

These cohomologival arguments also appear in what is called the “ectoplasm” method for invariants in super Yang-Mills theory in

• G. Bossard, P.S. Howe, K.S. Stelle, A note on the UV behaviour of maximally supersymmetric Yang-Mills theories, Phys. Lett. B682:137-142 (2009) (arXiv:0908.3883)
• P. S. Howe, T. G. Pugh, K. S. Stelle, C. Strickland-Constable, Ectoplasm with an Edge, JHEP 1108:081,2011 (arXiv:1104.4387)

• G. Bossard, P.S. Howe, U. Lindstrom, K.S. Stelle, L. Wulff, Integral invariants in maximally supersymmetric Yang-Mills theories (arXiv:1012.3142)

• P.S. Howe, O. Raetzel, E. Sezgin, On Brane Actions and Superembeddings, JHEP 9808 (1998) 011 (arXiv:hep-th/9804051)

The other brane scan, listing consistent asymptotic AdS geometries is due to

• M.P. Blencowea, Mike Duff, Supersingletons, Physics letters B, Volume 203, Issue 3, 31 March 1988, Pages 229–236 .

with further developments discussed in

### Symmetries

That higher WZW functionals and hence Green-Schwarz super $p$-brane action functionals should have “higher” extended symmetry algebras in some sense… is observes in

• José de Azcárraga, Jerome P. Gauntlett, J.M. Izquierdo, Paul Townsend, Topological Extensions of the Supersymmetry Algebra for Extended Objects, Phys. Rev. Lett. 63 (1989) 2443 (web)

### $\kappa$-Symmetry

The existence of $\kappa$-symmetry was first noticed around

• Warren Siegel, Hidden Local Supersymmetry In The Supersymmetric Particle Action Phys. Lett. B 128, 397 (1983)
• Warren Siegel, Light Cone Analysis Of Covariant Superstring , Nucl. Phys. B 236, 311 (1984).

The meaning of $\kappa$-symmetry in terms of the super-Cartan geometry of super-target space is discussed in

• I.N. McArthur, Kappa-Symmetry of Green-Schwarz Actions in Coset Superspaces (arXiv:hep-th/9908045)

### GS superstrings in various backgrounds

• R. R. Metsaev, Type IIB Green-Schwarz superstring in plane wave Ramond-Ramond background (arXiv:hep-th/0112044)

Revised on May 22, 2013 02:07:28 by Urs Schreiber (82.113.106.234)