nLab Green-Schwarz action functional

Contents

Context

String theory

Super-Geometry

Quantum field theory

Contents

Idea

Broad idea

The Green-Schwarz action functional is an action functional for a sigma-model that describes the propagation of a fundamental super pp-brane Σ\Sigma in a super spacetime supermanifold.

The Green-Schwarz model of the superstring is in contrast to the NSR-string model (the original spinning string), which has manifest worldsheet supersymmetry but no manifest spacetime supersymmetry. It is a non-trivial theorem that the spectrum of the NSR-string enjoys spacetime supersymmetry (after GSO projection) and may hence be identified with perturbative excitations of a supergravity background. The construction of the Green-Schwarz functional was motivated by the desire to find an equivalent alternative formulation in which spacetime supersymmetry is manifest (see e.g. Schwarz 16, slides 24-25).

manifest supersymmetry for brane sigma-models:

manifest worldvolume supersymmetrymanifest target+worldvolume supersymmetrymanifest target space supersymmetry
NSR action functionalsuperembedding approachGreen-Schwarz action functional

graphics grabbed from FSS19c

For more discussion see also at geometry of physics – fundamental super p-branes.

More details

Perturbativestring theory on geometric backgrounds is defined by the Neveu-Schwarz-Ramond model, namely by sigma-model 2d super conformal field theories (of central charge 15) on worldsheets Σ\Sigma that are super Riemann surfaces, with target spaces XX that are ordinary (i.e. “bosonic”) spacetime manifolds.

These worldsheet field theories are induced from action functionals, namely from variants of the standard energy functional (Polyakov action) on the mapping space [Σ,X][\Sigma,X] of smooth functions

ϕ:ΣX \phi \;\colon\; \Sigma \longrightarrow X

from the worldsheet Σ\Sigma to target spacetime XX.

The central theorem of perturbative superstring theory (the no ghost theorem with GSO projection) says that the excitation spectrum of such a 2d SCFT are the quanta of the perturbations of a higher dimensional effective supergravity field theory on target spacetime, hence transforms under supersymmetry on target spacetime.

This is the fundamental prediction of the assumption of fundamental strings:

  1. assuming that the fundamental particles that run in Feynman diagrams are fundamentally (at high energy) the ground state modes of a fundamental string,

  2. demanding that there are fermionic particles among these,

implies

  1. that the string must be the spinning string (have fermions in its worldsheet theory), which in turn implies…

  2. that it is the superstring (worldsheet supersymmetry mixes the worldsheet bosons and fermions), precisely: the Neveu-Schwarz-Ramond superstring, which then in addition implies…

  3. that its target space effective field theory is a supergravity theory, hence that also the effective target space fields exhibit local supersymmetry (i.e. “high energy supersymmetry”, different from “low energy supersymmetry” that the LHC was looking for).

main theorem of perturbative super-string theory
fermions+stringsspinning string=superstringsupergravity \underset{\text{spinning string}}{\underbrace{\text{fermions} \;+\; \text{strings}}} \;=\; \text{superstring} \;\Rightarrow\; \text{supergravity}

The first step in this implication (identifying the spinning string as the superstring) is fairly straightforward (in fact this is how the concept of supersymmetry was discovered in “the west”, in the first place), but the second step (that the superstring excitations necessarily are quanta of a spacetime supergravity theory) appears as a miracle from the point of view of the Neveu-Schwarz-Ramond superstring. It comes out this way by non-trivial computation, but is not manifest in the theory.

In order to improve on this situation, Michael Green and John Schwarz searched for and found (Green-Schwarz 81, Green-Schwarz 82 Green-Schwarz 84, for the history see Schwarz 16, slides 24-25) a suitably equivalent string action functional that would manifestly exhibit spacetime supersymmetry. Acordingly, this is now called the Green-Schwarz action functional.

action functional for superstringmanifest supersymmetry
Neveu-Ramond-Schwarz super-stringon worldsheet
Green-Schwarz super-stringon target spacetime

The basic idea is to pass to the evident supergeometric analogue of the bosonic string action:

Let Σ\Sigma be a closed manifold of dimension 2 – representing the abstract worldsheet of a string. Let (X,g)(X,g) be a pseudo-Riemannian manifold – representing a purely gravitational spacetime background. Then the action functional governing the bosonic string propagating in this spacetime is the functional

exp(iS bos):[Σ,X]/ \exp(\tfrac{i}{\hbar} S_{bos}) \;\colon\; [\Sigma,X] \longrightarrow \mathbb{R}/_{\hbar}\mathbb{Z}

on the smooth mapping space [Σ,X][\Sigma,X] (of smooth functions ΣX\Sigma \to X), that simply assigns the proper relativistic volume of the image of the worldsheet Σ\Sigma in spacetime:

(ΣϕX)S kin(ϕ) Σvol ϕ *g. (\Sigma\overset{\phi}{\longrightarrow} X) \;\mapsto\; S_{kin}(\phi) \coloneqq \int_\Sigma vol_{\phi^\ast g} \,.

(This is the Nambu-Goto action. It is classically equivalent to the Polyakov action which is the genuine starting point for the quantum Neveu-Ramond-Schwarz super-string. However, since, as we discuss below, the Green-Schwarz action naturally generalizes to that of other p-branes it is more natural to consider the Nambu-Goto form of the action here.)

When here (X,g)(X,g) is generalized to a superspacetime supermanifold with orthogonal structure encoded by a super-vielbein ee, then the same form of the action functional still makes sense and produces a functional on the supergeometric mapping space [Σ,X][\Sigma,X]. Moreover, by construction this action functional now is invariant under the superisometry group of (X,g)(X,g), hence under global spacetime supersymmetry.

symmetry of worldsheet theory Σ ϕ ϕ X X super-isometry of target spacetime \array{ \text{symmetry of worldsheet theory} \\ \array{ && \Sigma \\ & {}^{\mathllap{\phi}}\swarrow && \searrow^{\mathrlap{\phi'}} \\ X &&\underset{\simeq}{\longrightarrow}&& X } \\ \text{super-isometry of target spacetime} }

However, Green and Schwarz noticed that this kinetic action functional ϕ Σvol ϕ *e\phi \mapsto \int_\Sigma vol_{\phi^\ast e} does not quite yield dynamics that is equivalent to that of the Neveu-Schwarz-Ramond super-string: when the equations of motion hold (“on shell”) it has more fermionic degrees of freedom than present in the Neveu-Ramond-Schwarz super-string. The key insight of Green and Schwarz was that one may add an extra summand S WZWS_{WZW} (whose notation we explain in a moment) to the plain super-Nambu-Goto action S kinS_{kin}, such that the resulting action functional enjoys a further 1-parameter symmetry, called kappa-symmetry. This is the Green-Schwarz action functional:

S GS=S kin+S WZW. S_{GS} = S_{kin} + S_{WZW} \,.

Moreover, they showed that restricting the dynamics of the Green-Schwarz superstring to the κ\kappa-symmetric states, then it does become equivalent, classically to that of the Neveu-Ramond-Schwarz super-string.

Finally they showed that when gauge fixing the Green-Schwarz action functional to light-cone gauge (which is possible whenever target spacetime admits two lightlike Killing vector) then the Green-Schwarz string may be quantized by a standard procedure and the resulting quantum dynamics is equivalent to that of the Neveu-Schwarz-Ramond super-string. This provides the desired conceptual proof for the observed local target spacetime supersymmetry of super-string effective field theory, at least for backgrounds that admit two lightlike Killing vectors. (The quantization of the Green-Schwarz superstring away from light cone gauge remains an open problem.)

While Green-Schwarz’s extra kappa-symmetry term S WZWS_{WZW} this serves a clear purpose as a means to an end, originally its geometric meaning was mysterious. However, in (Henneaux-Mezincescu 85) it was observed (expanded on in (Rabin 87, Azcarraga-Townsend 89, Azcarraga-Izquierdo 95,chapter 8)), that the Green-Schwarz action functional describing the super-string in d+1d+1-dimensions does have a neat geometrical interpretation: it is simply the (parameterized) Wess-Zumino-Witten model for

  1. target space being locally super Minkowski spacetime d1,1|N\mathbb{R}^{d-1,1|\mathbf{N}} regarded as the coset supergroup

    d1,1|NIso( d1,1|N)/Spin(d1,1) \mathbb{R}^{d-1,1\vert \mathbf{N}} \;\simeq\; Iso(\mathbb{R}^{d-1,1\vert \mathbf{N}}) / Spin(d-1,1)

    for N\mathbf{N} a real spin representation (the “number of supersymmetries”), Iso( d1,1|N)Iso(\mathbb{R}^{d-1,1\vert \mathbf{N}}) the corresponding super Poincaré group and Spin(d1,1)Spin(d-1,1) its Lorentz-signature Spin subgroup;

  2. WZW-term being a local potential for the unique (up to rescaling, if it exists) Spin(d1,1)Spin(d-1,1)-invariant super Lie algebra 3-cocycle μ F1\mu_{F1} on the super Poincaré Lie algebra 𝔦𝔰𝔬( d1,1|N)\mathfrak{iso}(\mathbb{R}^{d-1,1\vert \mathbf{N}}), with components locally given by the Gamma-matrices of the given Clifford algebra representation; in terms of the super vielbein (e a,ψ α)(e^a, \psi^\alpha):

    μ F1=ψ¯Γ Aψe a \mu_{F1} = \overline{\psi} \wedge \Gamma_A \psi \wedge e_a

    and so in components the bi-fermionic component of μ F1\mu_{F1} is

    (μ F1) aαβ=Γ aαβ (\mu_{F1})_{a \alpha \beta} = \Gamma_{a \alpha \beta}

    and all other components vanish.

More in detail, just as ordinary Minkowski spacetime d1,1\mathbb{R}^{d-1,1} may be identified with the translation group along itself, with canonical linear basis of left invariant 1-forms given by the canonical vielbein field

{e adx a} a=0 d1, \{e^a \coloneqq \mathbf{d}x^a\}_{a = 0}^{d-1} \,,

where {x a}\{x^a\} are the canonical coordinates on d1,1\mathbb{R}^{d-1,1}, so super Minkowski spacetime d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}} for some real spin representation N\mathbf{N} is characterized as the supergroup whose left invariant 1-forms constitute the ×/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}-bigraded differential with generators the super-vielbein

e adeg=(1,even)dx a+θ¯Γ adθ,ψ αdeg=(1,odd)dθ α, \underset{deg = (1,even)}{\underbrace{e^a}} \;\coloneqq\; \mathbf{d}x^a + \overline{\theta}\Gamma^a \mathbf{d} \theta \;\;\;\,,\;\;\;\;\;\;\;\;\;\; \underset{deg = (1,odd)}{\underbrace{\psi^\alpha}} \;\coloneqq\; \mathbf{d}\theta^\alpha \,,

where (x a,θ α)(x^a, \theta^\alpha) are the canonical coordinates on d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}}, with the odd-graded elements {θ α}\{\theta^\alpha\} spanning the given real Spin(d-1,1)-representation N\mathbf{N} with Clifford algebra generators {Γ a}\{\Gamma^a\}.

Now while ordinary Minkowski spacetime d1,1\mathbb{R}^{d-1,1} is an abelian group, reflected by the fact that its left-invariant 1-forms are all closed

de a=0on d1,1, \mathbf{d}e^a = 0 \;\;\;\;\;\; on \; \mathbb{R}^{d-1,1} \,,

the key phenomenon of supersymmetry (that two fermions pair to a bosons) means that d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}} is slightly non-abelian, reflected by the fact that the super-vielbein is not closed

de a=ψ¯Γ aψ,dψ α=0. \mathbf{d} e^a = \overline{\psi} \wedge \Gamma^a \psi \;\,,\;\;\;\;\;\; \mathbf{d} \psi^\alpha = 0 \,.

This elementary effect is the source of all the rich structure seen in the Green-Schwarz super-string and generally in all super p-brane theory. (The above differential is equivalently that in the Chevalley-Eilenberg algebra of super Minkowski spacetime, hence its cohomology is the super-Lie algebra cohomology of super Minkowski spacetime. In parts of the physics literature this is referred to a “tau cohomology”.)

In particular, for special combinations of spacetime dimension dd and number of supersymmetries N\mathbf{N} (i.e. real spin representation NN) then the 3-form

μ F1=ψ¯Γ aψe a \mu_{F1} = \overline{\psi} \wedge \Gamma_a \psi \wedge e^a

is a non-trivial super Lie algebra cocycle on d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}}, in that dμ F1=0\mathbf{d}\mu_{F1} = 0 and so that there is no left invariant differential form bb with db=μ F1\mathbf{d}b = \mu_{F1} (beware here the left-invariance condition: there are of course non-left-invariant potentials for μ F1\mu_{F1}, and in fact these are exactly the possible Lagrangian densities for the WZW action functional S WZWS_{WZW}).

This happens notably for

  1. d=10d = 10 and N=(1,0)=16\mathbf{N} = (1,0) = \mathbf{16} (heterotic string)

  2. d=10d = 10 and N=(2,0)=16+16\mathbf{N} = (2,0) = \mathbf{16} + \mathbf{16} (type IIB superstring)

  3. d=10d = 10 and N=(1,1)=16+16 *\mathbf{N} = (1,1) = \mathbf{16} + \mathbf{16}^\ast (type IIA superstring).

(It also happens in some lower dimensions, where however the corresponding Neveu-Schwarz-Ramond string develops a conformal anomaly after quantization (“non-critical strings”). This classification of cocycles is part of what has come to be known as the brane scan in superstring theory, see below.)

In this equivalent formulation, the Green-Schwarz action functional for the superstring has the following simple form:

Let (X,e)(X,e) be a superspacetime, hence a supermanifold XX equipped with a super-vielbein ee (super-orthogonal structure) which is locally modeled on d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}} (technically: a torsion-free super-Cartan geometry modeled on Spin(d1,1)Iso( d1,1|N)Spin(d-1,1) \hookrightarrow Iso(\mathbb{R}^{d-1,1\vert \mathbf{N}})). Write μ F1 XΩ 3(X)\mu_{F1}^X \in \Omega^3(X) for the super differential form on XX which is the induced definite globalization of the cocycle μ F1\mu_{F1} over XX. For UXU \subset X any contractible subspace, then the restriction of μ F1 X| UΩ 3(U)\mu^X_{F1}|_{U} \in \Omega^3(U) of μ F1 X\mu_{F1}^X to UU is exact, and hence admits a potential B UΩ 2(U)B_U \in \Omega^2(U), i.e. such that dB=μ F1 X| U\mathbf{d} B = \mu^X_{F1}|_U.

Then for Σ\Sigma a 2-dimensional closed manifold, the Green-Schwarz action functional

exp(iS GS):[Σ,X] U/ \exp(\tfrac{i}{\hbar} S_{GS}) \;\colon\; [\Sigma,X]_U \longrightarrow \mathbb{R}/_{\hbar} \mathbb{Z}

is the function on the super-smooth mapping space [Σ,X] U[\Sigma,X]_U of morphisms of supermanifolds ϕ:ΣX\phi \colon \Sigma \to X which factor through UU, given by

ϕ Σvol ϕ *e+ Σϕ *B U,dB U=μ 3 X| U. \phi \;\mapsto\; \int_\Sigma vol_{\phi^\ast e} \;+\; \int_\Sigma \phi^\ast B_U \;\;\;\,,\;\;\;\;\;\;\;\;\; \mathbf{d} B_U = \mu^X_3|_U \,.

In order to get rid of the restriction to some chart UXU \subset X one needs to add global data. The need for this is at least mentioned briefly in (Witten 86, p. 261 (17 of 20)), but seems to have otherwise been ignored in the physics literature. The general solution is to promote the local potentials BB to the connection B^\hat B on a super gerbe (FSS 13). This is a choice of higher prequantization

B 2(/ ) prequantization B^ curv X μ F1 X Ω 3 3-form curvature. \array{ && \mathbf{B}^{2}(\mathbb{R}/_\hbar \mathbb{Z}) & \text{prequantization} \\ & {}^{\mathllap{\hat B}}\nearrow & \downarrow^{\mathrlap{curv}} \\ X &\underset{\mu^X_{F1}}{\longrightarrow}& \mathbf{\Omega}^3 & \text{3-form curvature} } \,.

Writing Σϕ *B^\int_\Sigma \phi^\ast \hat B for the volume holonomy of a circle 2-bundle with connection B^\hat B, then the globally defined Green-Schwarz sigma model

exp(iS GS):[Σ,X]/ \exp(\tfrac{i}{\hbar} S_{GS}) \;\colon\; [\Sigma, X] \longrightarrow \mathbb{R}/_\hbar\mathbb{Z}

is given by

ϕ Σvol ϕ *+ Σϕ *B^,curv(B^)=μ F1 X. \phi \;\mapsto\; \int_\Sigma vol_{\phi^\ast} + \int_\Sigma \phi^\ast \hat B \;\;\,, \;\;\;\;\;\;\; curv(\hat B) = \mu_{F1}^X \,.

This form of the Green-Schwarz action functional for the string has evident generalization to other p-branes. Whenever there is a Spin(d-1,1)-invariant (p+2)(p+2)-cocycle μ p+2\mu_{p+2} on d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}}, then one may ask for a higher gerbe (higher prequantum line bundle) C^\hat C with curvature μ p+2 X\mu^X_{p+2} and consider the analogous functional.

The triples (d,N,p)(d,\mathbf{N},p) (spacetime dimension, number of supersymmetries, dimension of brane) such that

μ p+2ψ¯Γ a 1a pψe a 1e a p \mu_{p+2} \;\coloneqq\; \overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_p}

is a nontrivial cocycle, hence for which there is such a Green-Schwarz action functional for pp-branes on d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}} may be classified and form what is called the brane scan (Achúcarro-Evans-TownsendWiltshire 87, Brandt 12-13):

The graphics on the left is from (Duff 87). The diagonal lines indicate double dimensional reduction, taking a (p+1)(p+1)-brane in (d+1)(d+1) dimensions to a pp-brane in dd-dimensions.

For instance for (d=11,N=32,p=2)(d = 11, \; \mathbf{N} = \mathbf{32}, \; p = 2) one finds a cocycle, and the corresponding GS-action functional is that of the fundamental M2-brane.

This was a striking confluence of brane physics and classification of super Lie algebra cohomology. But just as striking as the matching, was what it lacked to match: the D-branes and the M5-brane (d=11d = 11, p=5p = 5) are lacking from the old brane scan. Incidentally, these lacking branes are precisely those branes on which the branes that do appear on the brane scan may end, equivalently those branes that have higher gauge fields on their worldvolume (tensor multiplets).

An action functional for the M5-brane analogous to a Green-Schwarz action functional was found in (BLNPST 97, APPS 97). It is again the sum of a kinetic term and a WZW-like term, but the WZW-like term does not come from a cocycle on a (super-)group.

In order to deal with this, it was suggested in (CAIB 99, Sakaguchi 00, Azcarraga-Izquierdo 01) that there is an algebraic structure called “extended super-Minkowski spacetimes” that generalizes super Minkowski spacetime and serves to unify the Green-Schwarz-like models for the D-branes and the M5-brane with the original Green-Schwarz models for the string and the M2-brane.

These extended super-Minkowski spacetimes carry algebraic analogs of super Lie algebra cocycles, such that the relevant terms for the D-branes and the M5-brane do appear after all, hence such that all the branes in string theory/M-theory are unified. In fact these “extended super-Minkowski spacetimes” are precisely the “FDA”s that have been introduced before in the D'Auria-Fré formulation of supergravity and what became identified as the 7-cocycle for the M5-brane this way had earlier been recognized algebraically as an stepping stone for an elegant re-derivation of 11-dimensional supergravity (D’Auria-Fré 82).

The (higher) geometric meaning of these constructions was found in (Fiorenza-Sati-Schreiber 13): these algebraic structures of “extended super-Minkowski spacetimes”/FDAs are precisely the Chevalley-Eilenberg algebras of super Lie n-algebra-extensions of super-Minkowski spacetime which are classified by the cocycles that serve as the GS-WZW terms of the p 1p_1-branes that may end on those p 2p_2-branes whose cocycles are carried by the extended super-Minkowski spacetime.

Hence the missing pp-branes in the old brane scan (classifying just cocycles on super Lie algebras) do appear as one generalizes (super) Lie algebras to (super) strong homotopy Lie algebras = L-infinity algebras. Moreover, each brane intersection law (one brane species may end on another) is now matched to a super L L_\infty-algebra extension and so the old brane scan is generalized to a tree of branes The brane bouquet:

the brane bouquet

Each item in this bouquet denotes a super L-infinity algebra and each arrow denotes an L-infinity extension classified by a cocycle which encodes the GS-WZW term of the brane named by the domain of the arrow. Moreover, arrows pass exactly from one brane species to the brane species that may end on the former.

In (Fiorenza-Sati-Schreiber 13) it is shown that all these super L-infinity algebras Lie integrate to smooth super-n-groups, and all the cocycles Lie integrate to super-gerbes on these, such that the induced volume holonomy is the relevant generalized GS-WZW term. For detailed exposition see at Structure Theory for Higher WZW Terms.

With this generalized perspective, now the Green-Schwarz-type action functionals describe all the p-branes in string theory/M-theory.

Again, in order to make this generally true one needs to apply a higher prequantization – a choice of line (p+1)-bundle with connection – in order to globalize the WZW-terms (Fiorenza-Sati-Schreiber 13)

B p+1(/ ) prequantization A^ p+1 curv X μ p+2 X Ω p+2 (p+2)-form curvature. \array{ && \mathbf{B}^{p+1}(\mathbb{R}/_\hbar \mathbb{Z}) & \text{prequantization} \\ & {}^{\mathllap{\hat A_{p+1}}}\nearrow & \downarrow^{\mathrlap{curv}} \\ X &\underset{\mu^X_{p+2}}{\longrightarrow}& \mathbf{\Omega}^{p+2} & (p+2)\text{-form curvature} } \,.

Hence A^ p+1\hat A_{p+1} is the actual background field that the pp-brane couples to. There is considerably more information in A^ p\hat A_p than in its curvature curv(A^ p+1)=μ p+2curv(\hat A_{p+1}) = \mu_{p+2}. For instance for the M2-brane one may find the local super moduli space for local choices of A^ p+1\hat A_{p+1} for the given μ 4\mu_{4} on KK-compactifications to d=4d = 4. It turns out that the bosonic body of this moduli space is the exceptional tangent bundle on which the U-duality group E7 has a canonical action (see at From higher to exceptional geometry).

This highlights that Green-Schwarz functionals capture fundamental (“microscopic”) aspects of pp-branes. In contrast, often pp-branes are discussed in their solitonic incarnation as black branes. These solitonic branes sit at asymptotic boundaries of anti-de Sitter spacetime and carry conformal field theories, related to the ambient supergravity by AdS-CFT duality.

This phenomenon is indeed a consequence of the fundamental Green-Schwarz branes:

Consider a 1/2-BPS state solution of type II supergravity or 11-dimensional supergravity, respectively. These solutions locally happen to have the same classification as the Green-Schwarz branes. Hence we may consider a configuration ϕ:ΣX\phi \colon \Sigma \to X of the corresponding fundamental pp-brane which embeds Σ\Sigma into the asymptotic AdS boundary of the given 1/2 BPS spacetime XX. Then it turns out that restricting the Green-Schwarz action functional to small fluctuations around this configuration, and applying a diffeomorphism gauge fixing, then the resulting action functional is that of a supersymmetric conformal field theory on Σ\Sigma as in the AdS-CFT dictionary:

fundamental pp-brane-fluctuations about asymptotic AdS configuration\tosolitonic pp-brane
Green-Schwarz action functionalsuper-conformal field theory

(Claus-Kallosh-Proeyen 97, Claus-Kallosh-Kumar-Townsend 98, AFFFTT 98 Pasti-Sorokin-Tonin 99)

In fact the BPS-state condition itself is neatly encoded in the Green-Schwarz action functionals: by construction they are invariant under the spacetime superisometry group. Hence the Noether theorem implies that there are corresponding conserved currents, whose Dickey bracket forms a super-Lie algebra extension of the Lie algebra of supersymmetries.

{X = X C^ C^ B p+1(/ )} {X X C^ C^ B p+1(/ )} {X X} topological currents Noether currents symmetries \array{ \left\{ \array{ X && \overset{=}{\longrightarrow} && X \\ & {}_{\mathllap{\hat C}}\searrow &\swArrow& \swarrow_{\mathrlap{\hat C}} \\ && \mathbf{B}^{p+1}(\mathbb{R}/_{\hbar} \mathbb{Z}) } \right\} &\longrightarrow& \left\{ \array{ X && \overset{\simeq}{\longrightarrow} && X \\ & {}_{\mathllap{\hat C}}\searrow &\swArrow& \swarrow_{\mathrlap{\hat C}} \\ && \mathbf{B}^{p+1}(\mathbb{R}/_{\hbar} \mathbb{Z}) } \right\} &\longrightarrow& \left\{ \array{ X && \overset{\simeq}{\longrightarrow} && X } \right\} \\ \text{topological currents} && \text{Noether currents} && \text{symmetries} }

Here the “\swArrow” filling the triangles is the non-trivial gauge transformation by which the WZW term (as any WZW term) is preserved under the symmetries (instead of being fixed identically). It is the information in this transformations which makes the currents form an extension of the symmetries.

Here this yields the famous brane charge extensions of the super-isometry super Lie algebra of the schematic form

{Q α,Q β}=(CΓ αβ a)P a+(CΓ a 1a p) αβZ a 1,,a p \{Q_\alpha, Q_\beta\} \;=\; (C \Gamma^a_{\alpha \beta}) P_a \;+\; (C \Gamma^{a_1 \cdots a_p})_{\alpha \beta} Z_{a_1, \cdots, a_p}

(for QQ a Killing spinor and PP its corresponding Killing vector) known as the type II supersymmetry algebra and the M-theory supersymmetry algebra, respectively (Azcárraga-Gauntlett-Izquierdo-Townsend 89). In fact it yields super-Lie n-algebra extensions of which the familiar super Lie algebra extensions are the 0-truncation (Sati-Schreiber 15, Khavkine-Schreiber 16).

In summary, the nature and classification of Green-Schwarz action functionals captures in a mathematically precise way a good deal of the core structure of string/M-theory.

In fact, the super Lie-n algebraic perspective on the Green-Schwarz functionals via the brane bouquet also solves the following open problem on M-branes:

it is famously known from Freed-Witten anomaly-cancellation that the D-brane charges are not in fact just in de Rham cohomology in every second degree, but are in twisted K-theory, hence rationally in twisted de Rham cohomology, with the twist being the F1-brane charge (from the fundamental). It is an open problem to determine what becomes of these twisted K-theory charge groups as one lifts F1/Dpp-branes in string theory to M2/M5-branes in M-theory.

intersecting branescharges in generalized cohomology theory
string theoryF1/Dp-branestwisted K-theory
M-theoryM2/M5-branes???

Notice that there are “microscopic degrees of freedom” of the theory encoded by the choice of generalized cohomology theory here, generalizing the extra degrees of freedom in the choice of a WZW-term already mentioned above. In general for EE a cohomology theory and EEE \longrightarrow E \otimes \mathbb{Q} its Chern character map (for instance from topological K-theory to ordinary cohomology in every second degree), then a choice of genuine charges is the extra information encoded in a lift

E true charge ch X rationalcharge E \array{ && E \\ & {}^{\mathllap{\text{true charge}}}\nearrow & \downarrow^{\mathrlap{ch}} \\ X &\underset{\text{rational} \atop \text{charge}}{\longrightarrow}& E \otimes \mathbb{Q} }

But rationally The brane bouquet allows to derive this from first principles:

Above we saw that the naive cocycles of the D-branes and of the M5-brane are not defined on the actual spacetime, but on some “extended” spacetime, which is really a smooth super infinity-groupoid extension of spacetime. Hence we should ask if these cocycles descend to the actual super-spacetime while picking up some twists.

One may prove that:

This has implications on some open conjectures regarding M-theory, for more on this see Equivariant cohomology of M2/M5-branes.

Definition

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

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 (see for instance Azcárraga-Townsend 89, and see at super Cartesian space and at signs in supergeometry.).

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

Definition

The Chevalley-Eilenberg algebra CE(𝔰𝔦𝔰𝔬(d1,1))CE(\mathfrak{siso}(d-1,1)) is generated on

  • elements {e a}\{e^a\} and {ω ab}\{\omega^{ a b}\} of degree (1,even)(1,even)

  • and elements {ψ α}\{\psi^\alpha\} of degree (1,odd)(1,odd)

with the differential defined by

d CEω ab=ω a bω bc d_{CE} \omega^{a b} = \omega^a{}_b \wedge \omega^{b c}
d CEe a=ω a be b+i2ψ¯Γ aψ d_{CE} e^{a } = \omega^a{}_b \wedge e^b + \frac{i}{2}\bar \psi \Gamma^a \psi
d CEψ=14ω abΓ abψ. 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. are identified with left invariant 1-forms on the super-translation group (= super Minkowski space) as follows.

Let (x a,θ α)(x^a, \theta^\alpha) be the canonical coordinates on the supermanifold d|N\mathbb{R}^{d|N} underlying the super translation group. Then the identification is

  • ψ α=dθ α\psi^\alpha = d \theta^\alpha.

  • e a=dx a+i2θ¯Γ adθ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. as

de a =d(dx a+i2θ¯Γ adθ) =i2dθ¯Γ adθ =i2ψ¯Γ aψ. \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 i2ψ¯Γ aψ\frac{i}{2}\bar \psi \Gamma^a \psi is sometimes called the supertorsion of the super-vielbein ee, because the defining equation

d CEe aω a be b=i2ψ¯Γ aψ d_{CE} e^{a } -\omega^a{}_b \wedge e^b = \frac{i}{2}\bar \psi \Gamma^a \psi

may be read as saying that ee 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 CE(𝔰𝔦𝔰𝔬)CE(\mathfrak{siso}) which have “all indices contracted”. (See also at torsion constraints in supergravity.)

Notably we have

d(ψ¯Γ a 1a pψe a 1e a p)(ψ¯Γ a 1a pψe a 1e a p1)(Ψ¯Γ a pΨ). 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Ψ 2e \mapsto \Psi^2” of the differential acting on Loretz scalars is sometimes denoted “t 0t_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 (D,p)(D,p) a Fierz identity implies that the term

(ψ¯Γ a 1a pψe a 1e a p1)(Ψ¯Γ a pΨ) \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

ψ¯Γ a 1a pψe a 1e a p \overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_p}

is a cocycle. See also the brane scan table below.

Kinetic term

(…)

kinetic action

Σϕ *Π a,ϕ *Π bη ab \int_\Sigma \langle \phi^\ast\Pi^a, \phi^\ast \Pi^b \eta_{a b}\rangle

(…)

WZW term

Let (e a,ω ab,ψ α)(e^a, \omega^{a b}, \psi^\alpha) be the standard generators of the Chevalley-Eilenberg algebra CE(𝔰𝔦𝔰𝔬(d,1))CE(\mathfrak{siso}(d,1)) 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

μ=(dθ¯Γ a 1,,a pdθ)Π a 1Π a p. \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 dd and pp. 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 nn-connections are simply given by globally defined connection form β\beta satisfying

dβ=μ. d \beta = \mu \,.

The WZW part of the GS action is then

S WZW:ϕ Σϕ *β 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 super 1-brane in 3d, 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). Discussion from the point of view of the D'Auria-Fré formulation of supergravity is in (AFFFTT 98, section 3, Fré-Grassi 07, section 2.2).

Dimensions – the brane scan

The Green-Schwarz action functional of a pp-brane propagating on an dd-dimensional target spacetimes makes sense only for special combinations of (p,d)(p,d), 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=10D = 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 first non-empty column of the table is a reflection of the exceptional isomorphisms of the spin group in low dimensions and the normed division algebras:

exceptional spinors and real normed division algebras

Lorentzian
spacetime
dimension
AA\phantom{AA}spin groupnormed division algebra\,\, brane scan entry
3=2+13 = 2+1Spin(2,1)SL(2,)Spin(2,1) \simeq SL(2,\mathbb{R})A\phantom{A} \mathbb{R} the real numberssuper 1-brane in 3d
4=3+14 = 3+1Spin(3,1)SL(2,)Spin(3,1) \simeq SL(2, \mathbb{C})A\phantom{A} \mathbb{C} the complex numberssuper 2-brane in 4d
6=5+16 = 5+1Spin(5,1)Spin(5,1) \simeq SL(2,H)A\phantom{A} \mathbb{H} the quaternionslittle string
10=9+110 = 9+1Spin(9,1) {\simeq}SL(2,O)A\phantom{A} 𝕆\mathbb{O} the octonionsheterotic/type II string
Remark

What is missing in the “old brane scan” are the D-branes in D=10D = 10 and the M5-brane in D=11D = 11 (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. The completion in super L-infinity algebra theory is discussed in (FSS 13), as The brane bouquet.

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

The brane scan.

The Green-Schwarz type super pp-brane sigma-models (see at table of branes for further links and see at The brane bouquet for the full classification):

=d\stackrel{d}{=}p=p =123456789
11M2M5
10D0F1, D1D2D3D4NS5, D5D6D7D8D9
9*
8*
7M2 top{}_{top}
6F1 little{}_{little}, S1 sd{}_{sd}S3
5*
4**
3*

(The first columns follow the exceptional spinors table.)

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

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

The Brane molecule

Furthermore, there exists a more general classification of possible supermembranes in spacetime with SS spatial dimensions and TT time dimensions, appearing in (Blencowe-Duff 88). In this sense, the brane scan is but the T=1T=1 branch of the brane molecule. The objects appearing here are expected to be related to other generalizations of string theory. See D=12 supergravity and bosonic M-theory.

The brane molecule without assuming super Poincare invariance.

Compare:

On curved spacetime and supergravity equations of motion

In the first order formulation of gravity a field configuration on a spacetime manifold XX is a Cartan connection

:XBSuperPoincare(d1,1) conn \nabla \colon X \to \mathbf{B} SuperPoincare(d-1,1)_{conn}

hence a principal connection for the super Poincaré group such such that at each point xXx \in X it identifies the tangent space with d;N=𝔰𝔦𝔰𝔬(d1,1)/𝔬(d1,1)\mathbb{R}^{d;N} = \mathfrak{siso}(d-1,1)/\mathfrak{o}(d-1,1)

T xX𝔰𝔦𝔰𝔬(d1,1) d;N. T_x X \stackrel{\nabla}{\longrightarrow} \mathfrak{siso}(d-1,1) \longrightarrow \mathbb{R}^{d;N} \,.

Hence given a Lie algebra cocycle

𝔤[2] \mathfrak{g} \longrightarrow \mathbb{R}[2]

as for the Green-Schwarz superstring we can pull it back along this Cartan connection to a differential 3-form on spacetime.

In general this 3-form is no longer closed. If it is closed, then the Green-Schwarz superstring is again well defined on (X,)(X,\nabla) as a WZW model.

The claim now is that requiring this 3-form still to be closed is, as a condition on the field of gravity \nabla, precisely the equations of motion of supergravity (the super-Einstein equations).

This is due to (Nilsson 81, Bergshoeff-Sezgin-Townsend 86) and others, see the references below.

Membrane in 11d SuGra background

For the membrane(M2-brane) in a background of 11-dimensional supergravity (Bergshoeff-Sezgin-Townsend 87) find that consistency requires that (in a given coordinate chart with super-vielbein field (E A)=(E a,Ψ α)(E^A) = (E^a, \Psi^\alpha)) the 4-form flux is of the form

(1)H =Ψ¯Γ abΨE aE b+dC 3 =Γ abαβE aE bE αE β+dC 3 \begin{aligned} H & = \overline{\Psi}\wedge\Gamma^{ab} \Psi \wedge E_a \wedge E_b + \mathbf{d}C_3 \\ & = \Gamma_{a b \alpha \beta} E^a \wedge E^b \wedge E^\alpha \wedge E^\beta + \mathbf{d}C_3 \end{aligned}

where the first summand is the super-Lie algebra cocycle that classifies the supergravity Lie 3-algebra and the second is the field strength of the supergravity C-field proper (hence a purely bosonic differential form). In the second line we have rewritten this more manifestly in terms of the super-vielbein (E A)=(E a,E α)=(E a,Ψ α)(E^A) = (E^a, E^\alpha) = (E^a, \Psi^\alpha), this way the expression is directly analogous to that of definite 3-forms in the theory of G2-manifolds (see this example for details).

Moreover the torsion tensor TT is to have its (T a) α β(T^a)^\alpha{}_\beta-component equal to (Γ a) α β(\Gamma^a)^\alpha{}_\beta, see at torsion constraints in supergravity.

In addition the Bianchi identities have to hold:

  • T A=E BR B A\nabla T^A = E^B \wedge R_{B}{}^{A}

  • H=0\nabla H = 0 (covariant constancy).

All this is implied by the equations of motion of 11-dimensional supergravity.

Notice that in view of the above analogy to G2-structure, the covariant constancy condition is precisely the analog of G2-manifold structure.

Discussion of this in the somewhat more streamlined D'Auria-Fré formulation of supergravity is in (AFFFTT 98, section 3.1).

Heterotic string

Discussion that for the GS-version of the heterotic string consistency of the background is equivalent to the equations of motion of heterotic supergravity is in (Shapiro-Taylor 87).

Discussion with the hetetoric gauge field included is in (Atick-Dhar-Ratra 86).

Type II string

Discussion for the GS-version of the type II superstring in type II supergravity-backgrounds is in (GHMNT 85), and for the D-branes in type II in (CGNSW 97).

Conserved currents

The super-WZW term of the GS action functionals is invariant under supersymmetry only up to a divergence. Hence the Noether theorem in its generality for “weak” symmetries applies and gives that the conserved currents receive an extra contribution from this divergence term. The resulting algebra is a central extension of the given super translation Lie algebra, extending to the famous polyvector extensions “by brane charges” of the super Poincaré Lie algebra (AGIT 89).

As part of the AdS-CFT correspondence

By the above discussion, Green-Schwarz super pp-branes are consistent on superspacetimes that satisfy the respective higher supergravity equations of motion. These turn out to have solutions which exhibit black branes in essentially just the combinations of dimensions and supersymmetries that the original Green-Schwarz sigma-models exist in, hence they look precisely like the non-perturbative avatars of whatever these sigma models give the perturbation theory of by second quantization. (See at black holes in string theory for more on this correspondence between branes in string perturbation theory and black branes in supergravity.)

Moreover, the near-horizon geometries of these black branes are always anti de Sitter spacetime times orthogonal directions.

Therefore it is natural to consider the perturbation of the Green-Schwarz sigma-models around their asymptotic embeddings into AdS spaces, hence effectively the perturbation theory of the degrees of freedom at those naked singularity at which the corresponding black brane sits.

After diffeomorphism gauge fixing one finds that the resulting field theories now on the pp-brane worldvolumes are precisely the superconformal field theories for all the allowed superconformal supersymmetries (see also at singleton representation):

ddNNsuperconformal super Lie algebraR-symmetrybrane worldvolume theory
32k+12k+1B(k,2)B(k,2) \simeq osp(2k+1/4)(2k+1/4)SO(2k+1)SO(2k+1)
32k2kD(k,2)D(k,2)\simeq osp(2k/4)(2k/4)SO(2k)SO(2k)M2-brane
4k+1k+1A(3,k)𝔰𝔩(4/k+1)A(3,k)\simeq \mathfrak{sl}(4/k+1)U(k+1)U(k+1)D3-brane
51F(4)F(4)SO(3)SO(3)
6kkD(4,k)D(4,k) \simeq osp(8/2k)(8/2k)Sp(k)Sp(k)M5-brane

This is effectively the AdS-CFT correspondence.

Detailed discussion of the above steps is in (AFFFTT 98, Pasti-Sorokin-Tonin 99). The resulting “super-conformal brane scan” is discussed in Blencowe & Duff 1988 with further developments in Duff 2009, Duff 2021.

Quantization

The quantization of the Green-Schwarz super pp-brane sigma models is discussed in the literature in terms of light-cone gauge quantization.

This is actually how the Green-Schwarz superstring was first introduced in (Green-Schwarz 81, Green-Schwarz 82) before its generally covariant formulation was found in (Green-Schwarz 84). A textbook account of this is in (Green-Schwarz-Witten, section 5).

While, by the brane scan discussed above, the action functional for the Green-Schwarz superstring exists for target super Minkowski spacetimes of dimension d=3d = 3, 4, 6, and 10, its light-cone gauge quantization produces a quantum anomaly for the spacetime Lorentz group symmetry in dimension d=4d = 4 and d=6d = 6. For d=10d = 10 the anomaly disappears and the thus quantized Green-Schwarz string becomes equivalent to the quantum NSR string, hence to “the” critical string (of heterotic string theory, type II string theory).

Curiously, the light-cone gauge quantization of the GS-string also does wor however for d=3d = 3, see at super 1-brane in 3d for more on this.

(…)

References

Super-string as a GS-sigma model

A precursor to the actual Green-Schwarz action functional is

which presented a light-cone gauge quantization of superstring with manifest target spacetime supersymmetry.

The observation that this has a generally covariant formulation lead to what is now called the Green-Schwarz action functional proper, for the superstring:

See also the historical comments in

A standard textbook reference for the GS superstring is

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

David Kazhdan, John Morgan, D.R. Morrison and Edward Witten, eds. Quantum Fields and Strings, A course for mathematicians, 2 vols. Amer. Math. Soc. Providence 1999. (web version)

Textbook discussion of the Green-Schwarz version of the heterotic string is in

There is also a kind of review in

Quantization of the Green-Schwarz string using pure spinors is discussed in

Review from the bigger perspective that also includes worlsheet supermanifolds is in

The observation that the Green-Schwarz action functional is an example of a WZW-model on super-Minkowski spacetime is due to

For more references on this WZW perspective see below.

For references on curved backgrounds see below.

Super-membrane/M2-brane as a sigma model

The Green-Schwarz sigma-model-type formulation of the super-membrane in 11d (as in the brane scan and in contrast to the black brane-solutions of 11d supergravity) first appears in:

The equations of motion of the super membrane are derived via the superembedding approach in

and the Lagrangian density for the super membrane is derived via the superembedding approach in

Discussion from the point of view of Green-Schwarz action functional-∞-Wess-Zumino-Witten theory is in

The double dimensional reduction of the M2-brane to the Green-Schwarz superstring was observed in

The interpretation of the super-membrane as an object related to string theory via double dimensional reduction, hence as the M2-brane was proposed in

around the time when M-theory became accepted due to

See also

On possible structures in M2-brane dynamics and M2-M5-brane bound states which could be M-theory-lifts of the familiar integrability of the Green-Schwarz superstring on AdS 5 AdS_5 ×\times S 5 S^5 :

D-branes as GS-sigma models

Green-Schwarz action functionals for the D-branes (including the DBI action):

Dualities

Discussion of T-duality for the Green-Schwarz string is in

WZW terms, super Lie algebra cohomology and the brane scan

The WZW nature of the second term in the GS action, recognized in (Henneaux-Mezincescu 85) is discussed in

  • Jeffrey Rabin, Supermanifold Cohomology and the Wess-Zumino Term of the Covariant Superstring Action, Commun Math. Phys. 108, 375-389 (1987) (Euclid:1104116532)

  • B. Milewski, Superstrings from sigma models, Classical and Quantum Gravity, Volume 4, Number 3 (1987)

  • A.P. Isaev, E.A. Ivanov, On Sigma Model Formulation of Green-Schwarz Superstring, Mod.Phys.Lett. A4 (1989) 351-359 (spire:266793, doi:10.1142/S0217732389000423)

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

an with its Lie theoretic meaning made fully explicit (in “FDA” language) in

The original “brane scan” classification of GS action functionals by WZW terms:

A complete rigorous classification of all the relevant cocycles on the super Poincaré Lie algebra was given in

  • Friedemann Brandt, Supersymmetry algebra cohomology

    I: Definition and general structure J. Math. Phys.51:122302, 2010, (arXiv:0911.2118)

    II: Primitive elements in 2 and 3 dimensions, J. Math. Phys. 51 (2010) 112303 (arXiv:1004.2978)

    III: Primitive elements in four and five dimensions, J. Math. Phys. 52:052301, 2011 (arXiv:1005.2102)

    IV: Primitive elements in all dimensions from D=4D=4 to D=11D=11, J. Math. Phys. 54, 052302 (2013) (arXiv:1303.6211)

For d=11d = 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

from which the above table is taken.

Systematic review and discussion of the 3- and 4-cocycles in the old brane scan via the relation between division algebras and supersymmetry is in

See also

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

See also

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

The interpretation of the cocycles for the D-branes and for the M5-brane as cocycles on “extended super-Minkowski spacetime” is due to

See also division algebras and supersymmetry.

A corresponding refinement of the brane scan to a “brane bouquet” of super L-∞ algebra extensions (hence in infinity-Lie theory via ∞-Wess-Zumino-Witten theory) is discussed in

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

The connection is made in

The other brane scan, listing consistent asymptotic AdS/CFT spacetimes/superconformal algebras is due to:

with further developments discussed in

Anti de Sitter backgrounds

Discussion of Green-Schwarz strings on super anti de Sitter spacetimes includes the following.

General:

AdS 5AdS_5

The super 3-cocycle for the Green-Schwarz superstring on the super anti de Sitter spacetime AdS 5×S 5AdS_5 \times S^5 (i.e. on SU(2,2|5)Spin(4,1)×SO(5)\frac{SU(2,2 \vert 5)}{Spin(4,1)\times SO(5)}) is originally due to

However, a supersymmetric trivialization of this cocycle seems to have been obtained in

see Hatsuda-Sakaguchi 02, around (1.2) and (2.6), Hatsuda-Sakaguchi 01, around (1.2)

(amplified in arxiv:1808.04470, p. 5 and equation (5.5)).

See also

AdS 4AdS_4 and AdS 7AdS_7

For the superstring:

For the M2-brane:

  • Bernard de Wit, Kasper Peeters, Jan Plefka, Alexander Sevrin, The M-Theory Two-Brane in AdS 4×S 7AdS_4 \times S^7 and AdS 7×S 4AdS_7 \times S^4, Phys.Lett. B443 (1998) 153-158 (arXiv:hep-th/9808052)

  • Makoto Sakaguchi, Hyeonjoon Shin, Kentaroh Yoshida, Semiclassical Analysis of M2-brane in AdS 4×S 7/ kAdS_4 \times S^7 / \mathbb{Z}_k, JHEP 1012:012,2010 (arXiv:1007.3354)

For the M2-brane and the M5-brane:

  • P. Claus, Super M-brane actions in adS 4×S 7adS_4 \times S^7 and adS 7×S 4adS_7 \times S^4, Phys. Rev. D59 (1999) 066003 (arXiv:hep-th/9809045)

  • Makoto Sakaguchi, Kentaroh Yoshida, Open M-branes on AdS 4/7×S 7/4AdS_{4/7} \times S^{7/4} Revisited, Nucl.Phys. B714 (2005) 51-66 (arXiv:hep-th/0405109)

Self-dual strings in 6d

Discussion of the self-dual string in 6d as a Green-Schwarz-type sigma model includes

  • Par Arvidsson, Erik Flink, Mans Henningson, Supersymmetric coupling of a self-dual string to a (2,0)(2,0) tensor multiplet background, JHEP0311:015,2003 (arXiv:hep-th/0309244)

General curved backgrounds and Supergravity background equations of motion

The consistency of the Green-Schwarz action functional for the superstring in a supergravity background should be equivalent to the background satiyfying the supergravity equations of motion. For the superstring this is due to

and for the supermembrane due to

with a quick re-derivation using that the torsion constraint in 11d supergravity already imples the sugra equations of motion is in

These authors amplify the role of closed (p+2)(p+2)-forms in super pp-brane backgrounds (p. 3) and clearly state the consistency conditions for the M2-brane in a curved backround in terms of the Bianchi identities on p. 7-8, amounting to the statment that the 4-form field strength has to be the pullback of the cocycle ψ¯e ae bΓ abψ\overline{\psi}\wedge e^a \wedge e^b \wedge \Gamma^{a b} \psi plus the supergravity C-field curvature and has to be closed.

That the heterotic supergravity equations of motion are sufficient for the 3-form super field strength HH to be closed was first argued in

  • Bengt Nilsson, Simple 10-dimensional supergravity in superspace, Nuclear Physics B188 (1981) 176-192 (spire)

and the computation there was highlighted and a little simplified around p. 17 of

  • Edward Witten, Twistor-like transform in ten dimensions, Nuclear Physics B266 (1986) (spire)

A more comprehensive result arguing that the heterotic supergravity equations of motion of the background are not just sufficient but also necessary for (and hence equivalent to) the heterotic GS-string on that background being consistent was then claimed in

Discussion of this with the heterotic gauge-field included (hence including the Green-Schwarz anomaly cancellation) is in

  • Joseph Atick, Avinash Dhar, Bharat Ratra, Superspace Formulation of Ten-dimensional N=1N=1 Supergravity Coupled to N=1N=1 Super Yang-Mills Theory, Phys.Rev. D33 (1986) 2824 (spire, pdf)

Similar arguments for the type II string in type II supergravity appeared in

and for GS sigma-model D-branes in

That the M2-brane sigma-model is consistent on backgrounds of 11-dimensional supergravity that satisfy their equations of motion is discussed in (Bergshoeff-Sezgin-Townsend 87).

The role of the 4-form here is also amplified around (2.29) in

  • Igor Bandos, Carlos Meliveo, Supermembrane interaction with dynamical D=4 N=1 supergravity. Superfield Lagrangian description and spacetime equations of motion (arXiv:1205.5885)

and in section 2.2 of

  • Igor Bandos, Carlos Meliveo, Three form potential in (special) minimal supergravity superspace and supermembrane supercurrent (arXiv:1107.3232)

following

See also

  • Bernard de Wit, Kasper Peeters, Jan Plefka, Superspace Geometry for Supermembrane Backgrounds, Nucl.Phys. B532 (1998) 99-123 (arXiv:hep-th/9803209)

All this is actually subsumed by imposing the Bianchi identities of the corresponding supergravity Lie 3-algebra etc. in “rheonomic parameterization”, of the D'Auria-Fré formulation of supergravity, this is discussed in (AFFFTT 98, section 3.1, Fré-Grassi 07).

Discussion including also the RR-field background includes

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

Relation to AdS-CFT

The emergence of conformal field theory in the perturbations of the super-membrane around a classical solution stretched along the asymptotic boundary of anti de Sitter spacetime is due to

  • Mike Duff, C. Sutton, The Membrane at the End of the Universe, New Sci. 118 (1988) 67-71 (spire:268230)

predating the modern formulation of the AdS-CFT correspondence. The relation was amplified in

  • Mike Duff, Anti-de Sitter space, branes, singletons, superconformal field theories and all that, Int. J. Mod. Phys. A14:815-844, 1999 (arXiv:hep-th/9808100)

with more recent developments summarized in Duff 2021.

Further discussion of how Green-Schwarz action functionals for super pp-branes in anti de Sitter spacetimes induce – after restricting to small fluctuations about a background solution and after diffeomorphism gauge fixing – superconformal field theory on the worldvolumes – the AdS-CFT correspondence – includes

for the M2-brane:

  • Gianguido Dall’Agata, Davide Fabbri, Christophe Fraser, Pietro Fré, Piet Termonia, Mario Trigiante, The Osp(8|4)Osp(8|4) singleton action from the supermembrane, Nucl. Phys. B542:157-194, 1999 (arXiv:hep-th/9807115)

  • Paolo Pasti, Dmitri Sorokin, Mario Tonin, Branes in Super-AdS Backgrounds and Superconformal Theories, Talk given by D.S. at the International Workshop “Supersymmetry and Quantum Symmetries”, JINR, Dubna, Russia, July 26-31, 1999 (arXiv:hep-th/9912076)

for the M5-brane:

and more generally:

Conserved current algebra

That higher WZW functionals and hence Green-Schwarz super pp-brane action functionals have conserved current BPS charge algebras which are polyvector extensions of the supersymmetry algebras was observed in

reviewed in

and generalized to super-Lie n-algebras of BPS charges in

This is for branes in the old brane scan (strings, membranes, NS5-branes), excluding D-branes and M5-brane.

The generalization oft this perspective to the M5-brane is discussed in

and the generalizatin to D-branes is discussed in

  • Hanno Hammer, Topological Extensions of Noether Charge Algebras carried by D-p-branes, Nucl.Phys. B521 (1998) 503-546 (arXiv:hep-th/9711009)

κ\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).

  • Michael Green, John Schwarz, Covariant Description Of Superstrings , Phys. Lett. B 136, 367 (1984) (web)

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

[arXiv:hep-th/9908045]

Discussion from the point of view of D'Auria-Fré formulation of supergravity is in

Open branes ending on other branes

Discussion of the Green-Schwarz action for the open M2-brane ending on the M5-brane is in

Last revised on March 13, 2024 at 13:45:55. See the history of this page for a list of all contributions to it.