FQFT and cohomology
Types of quantum field thories
For this is the Green-Schwarz superparticle.
For the Green-Schwarz superstring (at the center of attention in string theory). This model is in contrast to the NSR-string model, which instead has manifest worldsheet supersymmetry. See at superstring for more on this.
Perturbative string 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 that are super Riemann surfaces, with target spaces that are ordinary (i.e. “bosonic”) spacetime manifolds.
The central theorem of perturbative superstring theory says that the 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: assuming 1) that the particles that run in Feynman diagrams are fundamentally strings, and demanding 2) that there are fermionic particles among these, first implies that the strings must be spinning strings (have fermions on their worldsheet), which implies that they are superstrings (worldsheet supersymmetry mixes the worldsheet bosons and fermions), which then in addition implies that their target space effective field theory is supergravity, hence that also the effective target space fields exhibit local supersymmetry.
The first step in this implications (spinning string is superstring) is straightforward, but the second step appears as a miracle from the point of view of the NSR string. It comes out this way by non-trivial computation, but is not manifest in the theory.
In order to improve on this situation, Green and Schwarz searched 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. This is now called the Green-Schwarz action functional.
|action functional for superstring||manifest supersymmetry|
|Ramond-Neveu-Schwarz string||on worldsheet|
|Green-Schwarz string||on target spacetime|
The basic idea is to pass to the evident supergeometric analogue of the bosonic string action:
Let be a closed manifold of dimension 2 – representing the abstract worldsheet of a string. Let 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
(This is the Nambu-Goto action. It is classically equivalently to the Polyakov action which is the genuine starting point for the quantum Neveu-Schwarz-Ramond string. Howver, since, as we discuss below, the Green-Schwarz action naturally generalizes to that of other -branes it is more natural to consider the Nambu-Goto form of the action here.)
When here is generalized to a superspacetime supermanifold with orthogonal structure encoded by a super-vielbein (see at super Cartan geometry for details), then the same form of the action functional still makes sense and produces a functional on the supergeometric mapping space . Moreover, by construction this action functional is invariant under the superisometry group of , hence under spacetime supersymmetry.
However, Green and Schwarz noticed that this kinetic action functional does not quite yield dynamics that is equivalent to that of the NSR string: when the equations of motion hold (“on shell”) it has more fermionic degrees of freedom than present in the NSR string. The key insight of Green and Schwarz was that one may add an extra summand to the action functional to the plain super-Nambu-Goto action, such that the resulting functional enjoys a further 1-parameter symmetry, called kappa-symmetry, and such that restricting to the -symmetric states, then the action functionals do become classically equivalent.
Moreover, they showed that in light-cone gauge the resulting quantum dynamics is equivalent to that of the NSR string, thus providing a conceptual proof for the observed local spacetime supersymmetry for backgrounds that admit two lightlike Killing vectors. (The quantization of the GS-string away from lightcone gauge however remains an open problem.)
Green-Schwarz’s extra kappa-symmetry term serves a clear purpose, but originally its geometrically meaning was mysterious. However, in (Henneaux-Mezincescu 85) it was observed (expanded on in (Rabin 87, Azcarraga-Townsend 89, Azcarraga-Izqierdo 95,chapter 8)), that the Green-Schwarz-action functional describing the string in -dimensions has a neat geometrical interpretation: it is simply the (parameterized) WZW-model for
WZW-term being a local potential for the the unique (up to rescaling, if it exists) -invariant group 3-cocycle on , with component locally given by the Gamma-matrices of the given Clifford algebra representation.
where are the canonical coordinates on , so super Minkowski spacetime for some real spin representation is characterized as the supergroup whose left invariant 1-forms consitute the -bigraded differential with generators the super-vielbein
This is the source of all the rich structure seen in Green-Schwarz theory.
In particular, for special combinations of spacetime dimension and number of supersymmetries the 3-form
This happens notably for and (heterotic string) or (type IIB superstring) and (type IIA superstring). (It also happens in some lower dimensions, where however the corresponding NSR-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 be a superspacetime, hence a supermanifold equipped with a super-vielbein (super-orthogonal structure) which is locally modeled on (technically: a torsion-free super-Cartan geometry modeled on ). Write be the super differential form on which is the induced definite globalization of the cocycle over . For any contractible subspace, then the restriction of of to is exact, and hence admits a potential , i.e. such that .
Then for a 2-dimensional closed manifold, the Green-Schwarz action functional
is the function on the super-smooth space of smooth maps of supermanifolds which factor through , given by
In order to get rid of the restriction to some one needs to add global data. The need for this is at least mentioned briefly in (Witten 86, p. 261 (17 of 20)), but had otherwise been ignored in the physics literature. The general solution is to promote the local potentials to the connection on a super gerbe (Fiorenza-Sati-Schreiber 13). This is a choice of higher prequantization
is given by
This form of the Green-Schwarz action functional for the string has evident generalization to other -branes. Whenever there is a Lorentz-invariant -cocycle on , then one may ask for a higher gerbe (higher prequantum line bundle) with curvature and consider the analogous functional.
The triples (spacetime dimension, number of supersymmetries, dimension of brane) such that
is a nontrivial cocycle, hence for which there is such a Green-Schwarz action functional for -branes on may be classified and form what is called the brane scan (Achúcarro-Evans-TownsendWiltshire 87, Brandt 12-13):
For instance for 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 (, ) 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 vaguely 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 -branes that may end on those -branes whose cocycles are carried by the extended super-Minkowski spacetime.
Hence the missing -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 -algebra extension and so the old brane scan is generalized to a tree of branes 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.
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)
Hence is the actual background field that the -brane couples to. There is considerably more information in than in its curvature . For instance for the M2-brane one may find the local super moduli space for local choices of for the given on KK-compactifications to . 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 -branes. In contrast, often -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 of the corresponding fundamental -brane which embeds into the asymptotic AdS boundary of the given 1/2 BPS spacetime . 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 as in the AdS-CFT dictionary:
|fundamental -brane||-fluctuations about asymptotic AdS configuration||solitonic -brane|
|Green-Schwarz action functional||super-conformal field theory|
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.
Here the “” 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
(for a Killing spinor and 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).
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/D-branes in string theory to M2/M5-branes in M-theory.
|intersecting branes||charges in generalized cohomology theory|
|string theory||F1/Dp-branes||twisted K-theory|
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 a cohomology theory and 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
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:
the F1/D-brane GS-WZW cocycles descend to 10d type II superspacetime to form a single cocycle in rational twisted K-theory, just as the traditional lore reqires (Fiorenza-Sati-Schreiber 16);
The Green-Schwarz action functionals are of the standard sigma-model form for target spaces that are super-homogeneous spaces for a Lie supergroup and a sub-super-group, and for background gauge fields that are super-WZW-circle n-bundles with connection/bundle gerbes on .
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).
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.).
The Chevalley-Eilenberg algebra is generated on
elements and of degree
and elements of degree
with the differential defined by
Removing the terms involving 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.
may be read as saying that 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 which have “all indices contracted”. (See also at torsion constraints in supergravity.)
Notably we have
This remaining operation “” of the differential acting on Loretz scalars is sometimes denoted “”, 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 a Fierz identity implies that the term
vanishes identically, and hence in these dimensions the term
These exist (are closed) only for certain combinations of and . 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 -connections are simply given by globally defined connection form satisfying
The WZW part of the GS action is then
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 -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).
The Green-Schwarz action functional of a -brane propagating on an -dimensional target spacetimes makes sense only for special combinations of , 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.
Moving down and left the diagonals corresponds to double dimensional reduction.
|Lorentzian spacetime dimension||spin group||normed division algebra||brane scan entry|
|the real numbers|
|the complex numbers|
|the quaternions||little string|
|the octonions||heterotic/type II string|
What is missing in the “old brane scan” are the D-branes in and the M5-brane in (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.
|10||D0||F1, D1||D2||D3||D4||NS5, D5||D6||D7||D8||D9|
(The first colums follow the exceptional spinors table.)
|11||on sIso(10,1)||on m2brane|
|10||on sIso(9,1)||on StringIIA||on StringIIB||on StringIIA||on sIso(9,1)||on StringIIA||on StringIIB||in StringIIA||on StringIIB|
|6||on sIso(5,1)||on sIso(5,1)|
|4||on sIso(3,1)||on sIso(3,1)|
Hence given a Lie algebra cocycle
In general this 3-form is no longer closed. If it is closed, then the Green-Schwarz superstring is again well defined on as a WZW model.
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 ) the 4-form flux is of the form
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 , this way the expression is directly analogous to that of definite 3-forms in the theory of G2-manifolds (see this example for details).
In addition the Bianchi identities have to hold:
Discussion with the hetetoric gauge field included is in (Atick-Dhar-Ratra 86).
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).
By the above discussion, Green-Schwarz super -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 like precisely like the non-pertrubative 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).
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 -brane worldvolumes are precisely the superconformal field theories for all the allowed superconformal supersymmetries
|superconformal super Lie algebra||R-symmetry||brane worldvolume theory|
This is effectively the AdS-CFT correspondence.
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 , 4, 6, and 10, its light-cone gauge quantization produces a quantum anomaly for the spacetime Lorentz group symmetry in dimension and . For 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 , see at super 1-brane in 3d for more on this.
A precursor to the actual Green-Schwarz action functional is
The observation that this has a generally covriant 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
Eric D'Hoker, String theory – lecture 10: Supersymmetry and supergravity , in part 3 of
Pierre Deligne, Pavel Etingof, Dan Freed, L. Jeffrey, 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)
A more recent and more comprehensive review is
Review from the bigger perspective that also includes worlsheet supermanifolds is in
For more references on this WZW perspective see below.
For references on curved backgrounds see below.
The WZW nature of the second term in the GS action, recognized in (Henneaux-Mezincescu 85) is discussed in
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 is due to
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 to , J. Math. Phys. 54, 052302 (2013) (arXiv:1303.6211)
A review is in
from which the above table is taken.
More along these lines is in
The Green-Schwarz-type action for the M5-brane was found in
The 7-cocycle for the M5-brane on the supergravity Lie 3-algebra is equation (8.8) there.
C. Chryssomalakos, José de Azcárraga, J. M. Izquierdo and C. Pérez Bueno, The geometry of branes and extended superspaces, Nuclear Physics B Volume 567, Issues 1–2, 14 February 2000, Pages 293–330 (arXiv:hep-th/9904137)
Makoto Sakaguchi, IIB-Branes and New Spacetime Superalgebras, JHEP 0004 (2000) 019 (arXiv:hep-th/9909143)
See also division algebras and supersymmetry.
Domenico Fiorenza, Hisham Sati, Urs Schreiber, Super Lie n-algebra extensions, higher WZW models and super p-branes with tensor multiplet fields, International Journal of Geometric Methods in Modern Physics Volume 12, Issue 02 (2015) 1550018 (arXiv:1308.5264)
Domenico Fiorenza, Hisham Sati, Urs Schreiber The WZW term of the M5-brane and differential cohomotopy, J. Math. Phys. 56, 102301 (2015) (arXiv:1506.07557)
These cohomologival 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 geometries is due to
with further developments discussed in
Discussion of Green-Schwarz strings on super anti de Sitter spacetimes includes the following.
For the superstring:
Machiko Hatsuda, Makoto Sakaguchi, Wess-Zumino term for AdS superstring, Phys.Rev. D66 (2002) 045020 (arXiv:hep-th/0205092)
Machiko Hatsuda, Makoto Sakaguchi, Wess-Zumino term for the AdS superstring and generalized Inonu-Wigner contraction, Prog.Theor.Phys. 109 (2003) 853-867 (arXiv:hep-th/0106114)
For the superstring:
D. V. Uvarov, superstring in the light-cone gauge, Nucl.Phys.B826:294-312,2010 (arXiv:0906.4699)
For the M2-brane:
Makoto Sakaguchi, Hyeonjoon Shin, Kentaroh Yoshida, Semiclassical Analysis of M2-brane in , JHEP 1012:012,2010 (arXiv:1007.3354)
Piet Claus, Super M-brane actions in and , Phys.Rev. D59 (1999) 066003 (arXiv:hep-th/9809045)
Makoto Sakaguchi, Kentaroh Yoshida, Open M-branes on Revisited, Nucl.Phys. B714 (2005) 51-66 (arXiv:hep-th/0405109)
Discussion of the self-dual string in 6d as a Green-Schwarz-type sigma model includes
These authors amplify the role of closed -forms in super -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 strenght has to be the pullback of the cocycle 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 to be closed was first argued in
and the computation there was highlighted and a little simplified around p. 17 of
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
and for GS sigma-model D-branes in
The role of the 4-form here is also amplified around (2.29) in
and in section 2.2 of
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
Discussion of how Green-Schwarz action functionals for super -branes in anti de Sitter spacetimes induce – after restricting to small fluctuations about a background solution and afzer diffeomorphism gauge fixing – superconformal field theory on the worldvolumes – the AdS-CFT correspondence – includes
for the M2-brane:
for the M5-brane:
and more generally:
That higher WZW functionals and hence Green-Schwarz super -brane action functionals have conserved current BPS charge algebras which are polyvector extensions of the supersymmetry algebras was observed in
and generalized to super-Lie n-algebras of BPS charges in
The generalization oft this perspective to the M5-brane is discussed in
and the generalizatin to D-branes is discussed in
The existence of -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).
I.N. McArthur, Kappa-Symmetry of Green-Schwarz Actions in Coset Superspaces (arXiv:hep-th/9908045)
Discussion from the point of view of D'Auria-Fré formulation of supergravity is in
Ph. Brax, J. Mourad, Open Supermembranes Coupled to M-Theory Five-Branes, Phys.Lett. B416 (1998) 295-302 (arXiv:hep-th/9707246)