$\,$
$\,$
this entry is one section of “geometry of physics – supergeometry and superphysics” which is one chapter of “geometry of physics”
previous section: geometry of physics – supersymmetry
$\,$
A remarkable consequence of the general fact that supergeometry is slightly non-commutative is that super Minkowski spacetimes, regarded as the translational part of supersymmetry super Lie algebras, carry non-trivial higher spin-invariant cocycles in super-Lie algebra cohomology. Generally, invariant $(p+2)$-cocycles on cosets $X$ induce interesting action functionals for $p+1$-dimensional sigma-model field theories with target space $X$. These encode the dynamics of fundamental $p$-branes, in a general sense, that propagate on (or “in”) the space(-time) $X$. For $p = 1$ and $X$ the coset of a compact Lie group, then this is known as the WZW model describing a string that propagates on $X$. Hence generally we may speak of higher WZW models here.
Accordingly, each of the exceptional invariant cocycles on super Minkowski spacetime defines a super p-brane sigma model. These happen to be the fundamental Green-Schwarz superstring and the fundamental supermembrane that appear in, or rather that define string theory and M-theory (“M-theory” is a “non-committal” shorthand for “membrane theory”, (Hořava-Witten 95, p. 2) – a fact known as the “old brane scan” (Achúcarro-Evans-TownsendWiltshire 87).
Now in higher generalization of how an invariant 2-cocycle on some super Minkowski spacetime corresponds to a central super-Lie algebra extension of it to a higher dimensional spacetime, so every higher cocycle, i.e. every $p+2$-cocycle for $p \geq 1$, corresponds to a super Lie (p+1)-algebra extension of super Minkowski spacetime, sometimes called an “extended super Minkowski spacetime”. It turns out that on the super Lie n-algebra extensions defined by the cocycles for the super-string and the super-membrane make further invariant higher cocycles appear. Interpreting these in turn as higher WZW models for super p-branes it turns out that they correspond to the D-branes and to the M5-brane that appear in string theory/M-theory. This generalizes the old brane scan to a tree-like structure of higher invariant extensions that may be called the brane bouquet of string theory/M-theory, since it neatly organizes the complete super p-brane content purely in terms of super Lie n-algebra theory (FSS 13).
Moreover, it turns out that on cocycles of super Lie n-algebras there is a natural higher Lie theoretic operation of double dimensional reduction: the image in rational homotopy theory of the adjunction unit for the “cyclification” adjunction (free loop space homotopy quotiented by loop rotation). Applying this to the brane bouquet turns out to yield relations between the super Lie $n$-algebraic cocycles that embody all the dualities in string theory at the level of rational homotopy theory: the KK-compactification from M-theory to type IIA string theory, the T-duality of the latter to type IIB string theory, the S-duality of the latter, and its relation to F-theory (FSS 16a, FSS 16b).
Notice that all this concerns fundamental super p-branes (sometimes referred to as “probe $p$-branes”) – in generalization of “fundamental particles” and “fundamental string” – and in contrast to “solitonic $p$-branes” or “black branes”. In fact the black branes (that appear for notably in the AdS/CFT correspondence) follow from the fundamental super p-branes: their worldvolumes are the BPS state solutions to the supergravity equations of motion which express but the consistent globalization of the fundamental super p-brane sigma models (Bergshoeff-Sezgin-Townsend 87), and moreover their worldvolume theories are but the perturbation theory of the fundamental super p-branes about these asymptotic singular loci (Claus-Kallosh-vanProeyen 97, Claus-Kallosh-Kumar-Townsend 98).
Hence a fair bit of the folklore structure of string theory/M-theory is (re-)discovered by systematic classification of the invariant higher extensions of super Minkowski spacetimes in super Lie n-algebra homotopy theory. But by the discussion at geometry of physics – supersymmetry, the relevant super-Minkowski spacetimes themselves are themselves already classified as the consecutive ordinary invariant extensions of just the superpoint (we review this below). In conclusion then, a fair bit of the structure of string theory/M-theory is (re-)discovered by a systematic classification of the consecutive invariant higher extension of the superpoint in super Lie n-algebra homotopy theory. This is what we discuss here.
Computationally, all the these cocycles in the brane bouquet exist due to special Fierz identities (which we discuss below), namely due to special spinoral higher Clebsch-Gordan coefficients that express the tensor-product operation in the real representation ring of the spin groups in the given dimensions (D’Auria-Fré-Maina-Regge 82, D’Auria-Fré 82a, D’Auria-Fré 82b)).
Hence there is a tight interplay between spinorial representation theory, super-algebraic higher Lie theory, spacetime that gives rise to a finite system of exceptional structures: the super p-branes. This is what we discuss here.
$\,$
$\,$
$\,$
$\,$
$\,$
In order to put our discussion in perspective, we start by surveying some
Then in order to lay the basis of all our discussion to follow, which is super higher Lie theory, we recall super Lie algebras and discuss their generalization to super L-∞ algebras (whose formal duals are called “FDA”s in the physics literature):
We will be associating a fundamental $p$-brane with each invariant super $L_\infty$-cocycle. We explain how this is given by a variant of the operation of higher Lie integration in
The basic example of super Lie algebras that induces all phenomena to follow are the super-translation parts of supersymmetry algebras, the super Minkowski spacetimes introduced in detail in geometry of physics – supersymmetry. Since here we frequently need to refer to these structures, we recall their definition again in
The key phenomena to be discussed are then the non-trivial invariant cocycles in the super-Lie algebra cohomology of super Minkowski spacetimes (sometimes called tau cohomology in the physics literature). Computationally these correspond to certain identities satisfied by qadrilinear expressions in Majorana spinors. Such relations are an example of Fierz identities and so we pause to explain these in
This then gives rise to the “old brane scan” of Green-Schwarz super-string and super-membranes, which is the classification of the $Spin$-invariant super-Lie algebra cohomology of super Minkowski spacetimes (tau cohomology):
Using our previously established general theory of super-L-∞ algebra cohomology, we see that the cocycles in the old brane scan classify higher central extensions of super Minkowski spacetimes, namely super Lie n-algebras called extended super Minkowski spacetimes:
A key point then is that these super Lie n-algebras obtained from super Minkowski spacetime, turn out to carry further super $L_\infty$-cocycles, not present on the plain super Minkowski spacetimes. These correspond to all the D-branes and to the M5-branes. This we discuss in
This gives a tree of consecutive invariant universal higher central extensions of super Lie n-algebras, originating from the superpoint: the brane bouquet. Next we descend these iterated central extensions to single but non-central higher cocycles. The result turns out to be the image in rational homotopy theory of the classifying maps of the background fields in string theory/M-theory: the B-field-twisted RR-fields and the M-flux fields. This we discuss in
There turn out to be special relations among these. In particular passing from super-L-∞ algebra cohomology to the corresponding cyclic cohomology turns out to be the formal dual operation of what in physics is called double dimensional reduction of branes (here: of their background fields). This crucial operation we discuss in
By systematically applying this super Lie n-algebraic formalization of double dimensional reduction via cyclic cohomology, we discover all the pertinent dualities in string theory, rationally:
Below we present fundamental super p-branes as exceptional algebro-geometric structures that are discovered by applying the magnifying glass (namely a Whitehead tower construction) of super Lie n-algebra homotopy theory to the atom of superspace: the superpoint, following (FSS 13, FSS 15, FSS 16a, FSS 16b).
This is not the perspective from which super p-branes were arrived at historically. In order to put our discussion into perspective, here we briefly review some of the historical background.
$\,$
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 $X$ 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 $[\Sigma,X]$ of smooth functions
from the worldsheet $\Sigma$ to target spacetime $X$.
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:
assuming that the fundamental particles that run in Feynman diagrams are fundamentally (at high energy) the ground state modes of a fundamental string,
demanding that there are fermionic particles among these,
implies
that the string must be the spinning string (have fermions in its worldsheet theory), which in turn implies…
that it is the superstring (worldsheet supersymmetry mixes the worldsheet bosons and fermions), precisely: the Neveu-Schwarz-Ramond superstring, which then in addition implies…
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 |
---|
$\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 superstring | manifest supersymmetry |
---|---|
[Neveu-Ramond-Schwarz super-string]] | on worldsheet |
Green-Schwarz super-string | on 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)$ 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
on the smooth mapping space $[\Sigma,X]$ (of smooth functions $\Sigma \to X$), that simply assigns the proper relativistic volume of the image of the worldsheet $\Sigma$ in spacetime:
(This is the Nambu-Goto action. It is classically equivalently to the Polyakov action which is the genuine starting point for the quantum Neveu-Ramond-Schwarz super-string. Howver, 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)$ is generalized to a superspacetime supermanifold with orthogonal structure encoded by a super-vielbein $e$, then the same form of the action functional still makes sense and produces a functional on the supergeometric mapping space $[\Sigma,X]$. Moreover, by construction this action functional now is invariant under the superisometry group of $(X,g)$, hence under global spacetime supersymmetry.
However, Green and Schwarz noticed that this kinetic action functional $\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_{WZW}$ (whose notation we explain in a moment) to the plain super-Nambu-Goto action $S_{kin}$, such that the resulting action functional enjoys a further 1-parameter symmetry, called kappa-symmetry. This is the Green-Schwarz action functional:
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_{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+1$-dimensions does have a neat geometrical interpretation: it is simply the (parameterized) Wess-Zumino-Witten model for
target space being locally super Minkowski spacetime $\mathbb{R}^{d-1,1|\mathbf{N}}$ regarded as the coset supergroup
for $\mathbf{N}$ a real spin representation (the “number of supersymmetries”), $Iso(\mathbb{R}^{d-1,1\vert \mathbf{N}})$ the corresponding super Poincaré group and $Spin(d-1,1)$ its Lorentz-signature Spin subgroup;
WZW-term being a local potential for the unique (up to rescaling, if it exists) $Spin(d-1,1)$-invariant super Lie algebra 3-cocycle $\mu_{F1}$ on the super Poincaré Lie algebra $\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, \psi^\alpha)$:
and so in components the bi-fermionic component of $\mu_{F1}$ is
and all other components vanish.
More in detail, just as ordinary Minkowski spacetime $\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
where $\{x^a\}$ are the canonical coordinates on $\mathbb{R}^{d-1,1}$, so super Minkowski spacetime $\mathbb{R}^{d-1,1\vert \mathbf{N}}$ for some real spin representation $\mathbf{N}$ is characterized as the supergroup whose left invariant 1-forms constitute the $\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$-bigraded differential with generators the super-vielbein
where $(x^a, \theta^\alpha)$ are the canonical coordinates on $\mathbb{R}^{d-1,1\vert \mathbf{N}}$, with the odd-graded elements $\{\theta^\alpha\}$ spanning the given real Spin(d-1,1)-representation $\mathbf{N}$ with Clifford algebra generators $\{\Gamma^a\}$.
Now while ordinary Minkowski spacetime $\mathbb{R}^{d-1,1}$ is an abelian group, reflected by the fact that its left-invariant 1-forms are all closed
the key phenomenon of supersymmetry (that two fermions pair to a bosons) means that $\mathbb{R}^{d-1,1\vert \mathbf{N}}$ is slightly non-abelian, reflected by the fact that the super-vielbein is not closed
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 $d$ and number of supersymmetries $\mathbf{N}$ (i.e. real spin representation $N$) then the 3-form
is a non-trivial super Lie algebra cocycle on $\mathbb{R}^{d-1,1\vert \mathbf{N}}$, in that $\mathbf{d}\mu_{F1} = 0$ and so that there is no left invariant differential form $b$ with $\mathbf{d}b = \mu_{F1}$ (beware here the left-invariance condition: there are of course non-left-invariant potentials for $\mu_{F1}$, and in fact these are exactly the possible Lagrangian densities for the WZW action functional $S_{WZW}$).
This happens notably for
$d = 10$ and $\mathbf{N} = (1,0) = \mathbf{16}$ (heterotic string)
$d = 10$ and $\mathbf{N} = (2,0) = \mathbf{16} + \mathbf{16}$ (type IIB superstring)
$d = 10$ and $\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 [8quantization]] (“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)$ be a superspacetime, hence a supermanifold $X$ equipped with a super-vielbein $e$ (super-orthogonal structure) which is locally modeled on $\mathbb{R}^{d-1,1\vert \mathbf{N}}$ (technically: a torsion-free super-Cartan geometry modeled on $Spin(d-1,1) \hookrightarrow Iso(\mathbb{R}^{d-1,1\vert \mathbf{N}})$). Write $\mu_{F1}^X \in \Omega^3(X)$ for the super differential form on $X$ which is the induced definite globalization of the cocycle $\mu_{F1}$ over $X$. For $U \subset X$ any contractible subspace, then the restriction of $\mu^X_{F1}|_{U} \in \Omega^3(U)$ of $\mu_{F1}^X$ to $U$ is exact, and hence admits a potential $B_U \in \Omega^2(U)$, i.e. such that $\mathbf{d} B = \mu^X_{F1}|_U$.
Then for $\Sigma$ a 2-dimensional closed manifold, the Green-Schwarz action functional
is the function on the super-smooth mapping space $[\Sigma,X]_U$ of morphisms of supermanifolds $\phi \colon \Sigma \to X$ which factor through $U$, given by
In order to get rid of the restriction to some chart $U \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 $B$ to the connection $\hat B$ on a super gerbe (FSS 13). This is a choice of higher prequantization
Writing $\int_\Sigma \phi^\ast \hat B$ for the volume holonomy of a circle 2-bundle with connection $\hat B$, then the globally defined Green-Schwarz sigma model
is given by
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)$-cocycle $\mu_{p+2}$ on $\mathbb{R}^{d-1,1\vert \mathbf{N}}$, then one may ask for a higher gerbe (higher prequantum line bundle) $\hat C$ with curvature $\mu^X_{p+2}$ and consider the analogous functional.
The triples $(d,\mathbf{N},p)$ (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 $p$-branes on $\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)$-brane in $(d+1)$ dimensions to a $p$-brane in $d$-dimensions.
For instance for $(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 = 11$, $p = 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_1$-branes that may end on those $p_2$-branes whose cocycles are carried by the extended super-Minkowski spacetime.
Hence the missing $p$-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_\infty$-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.
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)
Hence $\hat A_{p+1}$ is the actual background field that the $p$-brane couples to. There is considerably more information in $\hat A_p$ than in its curvature $curv(\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 $\hat A_{p+1}$ for the given $\mu_{4}$ on KK-compactifications to $d = 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 $p$-branes. In contrast, often $p$-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 $\phi \colon \Sigma \to X$ of the corresponding fundamental $p$-brane which embeds $\Sigma$ into the asymptotic AdS boundary of the given 1/2 BPS spacetime $X$. 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 $p$-brane | -fluctuations about asymptotic AdS configuration$\to$ | solitonic $p$-brane |
---|---|---|
Green-Schwarz action functional | super-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.
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
(for $Q$ a Killing spinor and $P$ 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/D$p$-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 |
M-theory | M2/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 $E$ a cohomology theory and $E \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
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:
the F1/D$p$-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 M2/M5 GS-WZW cocycles descent to 11d superspacetime to form a single cocycle with values in the rational 4-sphere (Fiorenza-Sati-Schreiber 16).
This has implications on some open conjectures regarding M-theory, for more on this see Equivariant cohomology of M2/M5-branes.
$\,$
We now explain all this in detail.
$\,$
We recall super Lie algebras, and amplify their formal dual description in terms of their Chevalley-Eilenberg algebras. This makes it immediate to see what super L-∞ algebras are, again they are conveniently expressed (if they are of finite type) via their formal dual Chevalley-Eilenberg algebras.
A super Lie algebra is a Lie algebra internal to the symmetric monoidal category $sVect = (Vect^{\mathbb{Z}/2}, \otimes_k, \tau^{super} )$ of super vector spaces. Hence this is
a super vector space $\mathfrak{g}$;
a homomorphism
of super vector spaces (the super Lie bracket)
such that
the bracket is skew-symmetric in that the following diagram commutes
(here $\tau^{super}$ is the braiding natural isomorphism in the category of super vector spaces)
the Jacobi identity holds in that the following diagram commutes
Externally this means the following:
A super Lie algebra according to def. is equivalently
a $\mathbb{Z}/2$-graded vector space $\mathfrak{g}_{even} \oplus \mathfrak{g}_{odd}$;
equipped with a bilinear map (the super Lie bracket)
which is graded skew-symmetric: for $x,y \in \mathfrak{g}$ two elements of homogeneous degree $\sigma_x$, $\sigma_y$, respectively, then
that satisfies the $\mathbb{Z}/2$-graded Jacobi identity in that for any three elements $x,y,z \in \mathfrak{g}$ of homogeneous super-degree $\sigma_x,\sigma_y,\sigma_z\in \mathbb{Z}_2$ then
A homomorphism of super Lie algebras is a homomorphisms of the underlying super vector spaces which preserves the Lie bracket. We write
for the resulting category of super Lie algebras.
For $\mathfrak{g}$ a super Lie algebra of finite dimension, then its Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ is the super-Grassmann algebra on the dual super vector space
equipped with a differential $d_{\mathfrak{g}}$ that on generators is the linear dual of the super Lie bracket
and which is extended to $\wedge^\bullet \mathfrak{g}^\ast$ by the graded Leibniz rule (i.e. as a graded derivation).
$\,$
Here all elements are $(\mathbb{Z} \times \mathbb{Z}/2)$-bigraded, the first being the cohomological grading $n$ in $\wedge^\n \mathfrak{g}^\ast$, the second being the super-grading $\sigma$ (even/odd).
For $\alpha_i \in CE(\mathfrak{g})$ two elements of homogeneous bi-degree $(n_i, \sigma_i)$, respectively, the sign rule is
(See at signs in supergeometry for discussion of this sign rule and of an alternative sign rule that is also in use. )
We may think of $CE(\mathfrak{g})$ equivalently as the dg-algebra of left-invariant super differential forms on the corresponding simply connected super Lie group .
The concept of Chevalley-Eilenberg algebras is traditionally introduced as a means to define Lie algebra cohomology:
Given a super Lie algebra $\mathfrak{g}$, then
an $n$-cocycle on $\mathfrak{g}$ (with coefficients in $\mathbb{R}$) is an element of degree $(n,even)$ in its Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ (def. ) which is $d_{\mathbb{g}}$ closed.
the cocycle is non-trivial if it is not $d_{\mathfrak{g}}$-exact
hene the super-Lie algebra cohomology of $\mathfrak{g}$ (with coefficients in $\mathbb{R}$) is the cochain cohomology of its Chevalley-Eilenberg algebra
The following says that the Chevalley-Eilenberg algebra is an equivalent incarnation of the super Lie algebra:
The functor
that sends a finite dimensional super Lie algebra $\mathfrak{g}$ to its Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ (def. ) is a fully faithful functor which hence exibits super Lie algebras as a full subcategory of the opposite category of differential-graded algebras.
This makes it immediate how to generalize to super L-infinity algebras:
A super L-∞ algebra is an L-∞ algebra internal to the symmetric monoidal category of super vector spaces (def.).
Explicitly this means the following:
(super graded signature of a permutation)
Let $V$ be a $\mathbb{Z}$-graded super vector space, hence a $\mathbb{Z} \times (\mathbb{Z}/2)$-bigraded vector space.
For $n \in \mathbb{N}$ let
be an n-tuple of elements of $V$ of homogeneous degree $(n_i, s_i) \in \mathbb{Z} \times \mathbb{Z}/2$, i.e. such that $v_i \in V_{(n_i,s_i)}$.
For $\sigma$ a permutation of $n$ elements, write $(-1)^{\vert \sigma \vert}$ for the signature of the permutation, which is by definition equal to $(-1)^k$ if $\sigma$ is the composite of $k \in \mathbb{N}$ permutations that each exchange precisely one pair of neighboring elements.
We say that the super $\mathbf{v}$-graded signature of $\sigma$
is the product of the signature of the permutation $(-1)^{\vert \sigma \vert}$ with a factor of
for each interchange of neighbours $(\cdots v_i,v_j, \cdots )$ to $(\cdots v_j,v_i, \cdots )$ involved in the decomposition of the permuation as a sequence of swapping neighbour pairs (see at signs in supergeometry for discussion of this combination of super-grading and homological grading).
Now def. is equivalent to the following def. . This is just the definiton for L-infinity algebras, with the pertinent sign $\chi$ now given by def. .
An super L-∞ algebra is
a $\mathbb{Z} \times (\mathbb{Z}/2)$-graded vector space $\mathfrak{g}$;
for each $n \in \mathbb{N}$ a multilinear map, called the $n$-ary bracket, of the form
and of degree $n-2$
such that the following conditions hold:
(super graded skew symmetry) each $l_n$ is graded antisymmetric, in that for every permutation $\sigma$ of $n$ elements and for every n-tuple $(v_1, \cdots, v_n)$ of homogeneously graded elements $v_i \in \mathfrak{g}_{\vert v_i \vert}$ then
where $\chi(\sigma,v_1,\cdots, v_n)$ is the super $(v_1,\cdots,v_n)$-graded signature of the permuation $\sigma$, according to def. ;
(strong homotopy Jacobi identity) for all $n \in \mathbb{N}$, and for all (n+1)-tuples $(v_1, \cdots, v_{n+1})$ of homogeneously graded elements $v_i \in \mathfrak{g}_{\vert v_i \vert}$ the followig equation holds
where the inner sum runs over all $(i,j)$-unshuffles $\sigma$ and where $\chi$ is the super graded signature sign from def. .
A strict homomorphism of super $L_\infty$-algebras
is a linear map that preserves the bidegree and all the brackets, in an evident sens.
A strong homotopy homomorphism (“sh map”) of super $L_\infty$-algebras is something weaker than that, best defined in formal duals, below in def. .
Special cases of the general concept of super L-∞ algebras def. go by special names:
Let $\mathfrak{g}$ be a super L-∞ algebra.
If $\mathfrak{g}$ is concentrated in even $\mathbb{Z}/2$-degree, it is called an L-∞ algebra.
If the only possibly non-vanishing brackets of $\mathfrak{g}$ are the unary one $[-]$ (which induces the structure of a chain complex on $\mathfrak{g}$) and the binary one, then $\mathfrak{g}$ is equivalently a (super-)dg-Lie algebra.
If $\mathfrak{g}$ is concentrated in $\mathbb{Z}$-degrees 0 to $n-1$ then it is called a super Lie n-algebra.
In particular if $\mathfrak{g}$ is concentrated in degree 0, then it is equivalently a super Lie algebra.
Combining this, if $\mathfrak{g}$ is concentrated in even $\mathbb{Z}/2$-degree and in $\mathbb{Z}$-degree 0 through $n-1$, then it is called a Lie n-algebra.
In particular if $\mathfrak{g}$ is concentrated in $\mathbb{Z}$-degree 0 and in even $\mathbb{Z}/2$-degree, then it is equivalently a plain Lie algebra.
A super $L_\infty$ algebra $\mathfrak{g}$ is of finite type if the underlying $\mathbb{Z} \times (\mathbb{Z}/2)$-graded vector space is degreewise of finite dimension.
If $\mathfrak{g}$ is of finite type, then its Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ is the dg-algebra whose underlying graded algebra is the super-Grassmann algebra
of the graded degreewise dual vector space $\mathfrak{g}^\ast$, equipped with the differential which on generators is the sum of the dual linear maps of the $n$-ary brackets:
and extended to all of $\wedge^\bullet \mathfrak{g}^\ast$ as a super-graded derivation of degree $(1,even)$.
Notice that here the signs in supergeometry are such that for $\alpha_i \in \mathfrak{g}^\ast_{(n_i,s_i)}$ elements of homogenous bidegree, then
and
(see at signs in supergeometry for more on this).
A strong homotopy homomorphism (“sh-map”) between super $L_\infty$-algbras of finite type
is defined to be a homomorphism of dg-algebras between their Chevalley-Eilenberg algebras going the other way:
(here $f^\ast$ is the primitive concept, and $f$ is defined as the formal dual of $f$). Hence the category of super $L_\infty$-algebras of finite type is the full subcategory
of the opposite category of dg-algebras on those that are CE-algebras as above.
Finally, the cochain cohomology of the Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ of a super $L_\infty$ algebra of finite type is its L-∞ algebra cohomology with coefficients in $\mathbb{R}$:
(history of the concept of (super-)$L_\infty$ algebras)
The identification of the concept of (super-)$L_\infty$-algebras has a non-linear history:
L-∞ algebras in the incarnation of higher brackets satisfying a higher Jacobi identity,
def. and remark , were introduced in Lada-Stasheff 92, based on the example of such a structure on the BRST complex of the bosonic string that was found in the construction of closed string field theory in Zwiebach 92. Some of this history is recalled in Stasheff 16.
The observation that these systems of higher brackets are fully characterized by their Chevalley-Eilenberg dg-(co-)algebras (def. ) is due to Lada-Markl 94. See Sati-Schreiber-Stasheff 08, around def. 13.
But in this dual incarnation, L-∞ algebras and more generally super L-∞ algebras (of finite type) had secretly been introduced within the supergravity literature already in D’Auria-Fré-Regge 80 and explicitly in van Nieuwenhuizen 82. The concept was picked up in the D'Auria-Fré formulation of supergravity (D’Auria-Fré 82) and eventually came to be referred to as “FDA”s (short for “free differential algebra”) in the supergravity literature (but beware that these dg-algebras are in general free only as graded-supercommutative superalgebras, not as differential algebras) The relation between super $L_\infty$-algebras and the “FDA”s of the supergravity literature is made explicit in (FSS 13).
higher Lie theory | supergravity |
---|---|
$\,$ super Lie n-algebra $\mathfrak{g}$ $\,$ | $\,$ “FDA” $CE(\mathfrak{g})$ $\,$ |
The construction in van Nieuwenhuizen 82 in turn was motivated by the Sullivan algebras in rational homotopy theory (Sullivan 77). Indeed, their dual incarnations in rational homotopy theory are dg-Lie algebras (Quillen 69), hence a special case of $L_\infty$-algebras (remark )
This close relation between rational homotopy theory and higher Lie theory might have remained less of a secret had it not been for the focus of Sullivan minimal models on the non-simply connected case, which excludes the ordinary Lie algebras from the picture. But the Quillen model of rational homotopy theory effectively says that for $X$ a rational topological space then its loop space ∞-group $\Omega X$ is reflected, infinitesimally, by an L-∞ algebra. This perspective began to receive more attention when the Sullivan construction in rational homotopy theory was concretely identified as higher Lie integration in Henriques 08. A modern review that makes this L-∞ algebra-theoretic nature of rational homotopy theory manifest is in Buijs-Félix-Murillo 12, section 2.
However, what has not been used in the “FDA” literature is that super $L_\infty$-algebras are objects in homotopy theory:
There exists a model category such that
its fibrant objects are the (super-)L-∞ algebras
with the above homomorphisms between them;
and
the weak equivalences between (super-)$L_\infty$-algebras are the quasi-isomorphisms;
fibrations between (super-)$L_\infty$-algebras are the surjections
on the underlying chain complex (using the unary part of the differential).
For more see at model structure for L-infinity algebras.
$\,$
Concretely, this implies in particular that every homomorphisms of super L-∞ algebras
is the composite of a quasi-isomorphism followed by a surjection
That surjective homomorphism $f_{fib}$
is called a fibrant replacement of $f$.
$\,$
Given homomorphisms of super L-∞ algebras
then its homotopy fiber $hofib(f)$ is the kernel of any fibrant replacement
Standard facts in homotopy theory assert that $hofib(f)$ is well-defined up to quasi-isomorphism. See at Introduction to homotopy theory – Homotopy fibers.
The following is the key fact about homotopy fibers in the homotopy theory of super $L_\infty$-algebras which we will use:
(Fiorenza-Sati-Schreiber 13, theorem 3.5)
Write
for the line Lie (p+1)-algebra, given by
A $(p+2)$-cocycle on an $L_\infty$-algebra is equivalently a homomorphim
The homotopy fiber of this map
is given by adjoining to $CE(\mathfrak{g})$ a single generator $b_{p+1}$
forced to be a potential for $\mu_{p+2}$:
As a slogan: The higher central extensions classified by higher cocycles are their homotopy fibers.
The homotopy fiber of a 2-cocycle on a super Lie algebra is the classical central extension that it classifies:
Let $\mathfrak{g}$ be a super Lie algebra of finite dimension, and let $\omega_2 \in \wedge^2 \mathfrak{g}^\ast$ be a 2-cocycle $d_{\mathfrak{g}} \omega_2 = 0$. Then prop. says that the homotopy fiber $\widehat{\mathfrak{g}} \longrightarrow \mathfrak{g}$ of the corresponding morphism $\mathfrak{g} \overset{\omega_2}{\longrightarrow} b \mathbb{R}$ has Chevalley-Eilenberg algebra that of $\mathfrak{g}$ with one new generator $c \in \wedge^1 (\widehat {\mathfrak{g}})$ adjoined, with differential given by
Now by def. this differential enocodes the linear dual of the Lie bracket. Hence if $k$ denotes the dual element of $c$ then the Lie brakcet of $\widehat{\mathfrak{g}}$ is modified on elements of $\mathfrak{g}$ to be
This is exactly the ordinary formula for the central extension of $\mathfrak{g}$ by $\omega_2$.
We have discussed super $L_\infty$-cohomology above in generality. Further below we consider the exceptional invariant super $L_\infty$-cohomology classes that emanate out of the superpoint. There we will see that each of them is to correspond to precisely one species of super p-branes as discussed in the string theory literature. Here, in order to substantiate this, we discuss in generality how by the mathematics of higher Lie integration every super $L_\infty$-cocycle induces a functional on a mapping space that may be regarded as the action functional defining a sigma-model description for a fundamental $p$-brane. These are higher order generalizations of the famous Wess-Zumino-Witten model.
We discuss differential refinements of the “path method” of Lie integration for L-infinity-algebras. The key observation for interpreting the following def. is this:
For $\mathfrak{g}$ an L-∞ algebra, and given a smooth manifold $U$, then
the flat L-∞ algebra valued differential forms on $U$ are equivalently the dg-algebra homomorphisms
a finite gauge transformation between two such forms is equivalently a homotopy
For more details see at infinity-Lie algebroid-valued differential form – Integration of infinitesimal gauge transformations.
For $\mathfrak{g}$ an L-∞ algebra, write:
$CE(\mathfrak{g})$ for the Chevalley-Eilenberg algebra of an L-∞ algebra $\mathfrak{g}$;
$\Delta^\bullet_{smth} \colon \Delta \to SmoothMfd$ for the cosimplicial smooth manifold with corners which is in degree $k$ the standard $k$-simplex $\Delta^k \hookrightarrow \mathbb{R}^{k+1}$;
$\Omega^\bullet_{si}(\Delta_{smth}^k)$ for the de Rham complex of those differential forms on $\Delta_{smth}^k$ which have sitting instants, in that in an open neighbourhood of the boundary they are constant perpendicular to any face on their value at that face;
$\Omega^\bullet_{si}(U \times \Delta_{smth}^k)$ for $U \in SmoothMfd$ for the de Rham complex of differential forms on $U \times \Delta^k$ which when restricted to each point of $U$ have sitting instants on $\Delta^k$;
$\Omega^\bullet_{vert,si}(U \times \Delta_{smth}^k)$ for the subcomplex of forms that in addition are vertical differential forms with respect to the projection $U \times \Delta^k \to U$.
For $\mathfrak{g}$ an L-∞ algebra, write
$\exp(\mathfrak{g})_\bullet \in PreSmoothTypes = PSh(CartSp,sSet)$
for the simplicial presheaf
which is the universal Lie integration of $\mathfrak{g}$;
$\flat_{dR}\exp(\mathfrak{g})_\bullet \in PreSmoothTypes = PSh(CartSp,sSet)$
for the simplicial presheaf
of those differential forms on $U \times \Delta^\bullet$ with at least one leg along $U$;
$\Omega^1_{flat}(-,\mathfrak{g}) \coloneqq \flat_{dR}\exp(\mathfrak{g})_0 \longrightarrow \flat_{dR}\exp(\mathfrak{g})_\bullet$
for the canonical inclusion of the degree-0 piece, regarded as a simplicial constant simplicial presheaf.
From the discussion at Lie integration:
$\Omega^1_{flat}(-,b^{p+1}\mathbb{R}) = \mathbf{\Omega}^{p+2}_{cl}$;
for $\mathfrak{g}$ an ordinary Lie algebra, then for the 2-coskeleton (by this discussion)
for $G$ the simply connected Lie group associated to $\mathfrak{g}$ by traditional Lie theory. If $\mathfrak{g}$ is furthermore a semisimple Lie algebra, then also
for $\mathfrak{g} = b^{p}\mathbb{R}$ the line Lie p+1-algebra, then (by this proposition)
The constructions in def. are clearly functorial: given a homomorphism of L-∞ algebras
it prolongs to a homomorphism of presheaves
and of simplicial presheaves
etc.
According to the above, a degree-$(p+2)$-L-∞ cocycle $\mu$ on an L-∞ algebra $\mathfrak{g}$ is a homomorphism of the form
to the line Lie (p+2)-algebra $b^{p+1}\mathbb{R}$. The formal dual of this is the homomorphism of dg-algebras
which manifestly picks a $d_{CE(\mathfrak{g})}$-closed element in $CE^{p+2}(\mathfrak{g})$.
Precomposing this $\mu^\ast$ with a flat L-∞ algebra valued differential form
yields, by example , a plain closed $(p+2)$-form
Given an L-∞ cocycle
as in example , then its group of periods is the discrete additive subgroup $\Gamma \hookrightarrow \mathbb{R}$ of those real numbers which are integrations
of the value of $\mu$, as in example , on L-∞ algebra valued differential forms
over the boundary of the (p+3)-simplex (which are forms with sitting instants on the $(p+2)$-dimensional faces that glue together; without restriction of generality we may simply consider forms on the $(p+2)$-sphere $S^{p+2}$).
Given an L-∞ cocycle $\mu \colon \mathfrak{g} \to b^{p+1}\mathbb{R}$, as in example , then the universal Lie integration of $\mu$, via def. and remark , descends to the $(p+2)$-coskeleton
up to quotienting the coefficients $\mathbb{R}$ by the group of periods $\Gamma$ of $\mu$, def. , to yield the bottom morphism in
This is due to (FSS 12).
Here and in the following we are freely using example to identify $\exp(b^{p+1}\mathbb{R}) \simeq \mathbf{B}^{p+2}\mathbb{R}$. Establishing this is the only real work in prop. .
Write
for the operation that evaluates a simplicial presheaf on the point and then extends the result back as a constant presheaf. This comes with a canonical counit natural transformation
For $G$ a Lie group and
for its stacky delooping, which is the universal moduli stack of $G$-principal bundles, then given a $G$-principal bundle $P$ modulated by a map
then a lift $\nabla$ in the homotopy-commutative diagram
is equivalently a flat connection on $G$. Hence $\flat \mathbf{B}G$ is the universal moduli stack for flat connections. Whence the symbol “$\flat$”.
Given $G$ any smooth infinity-group, denote the double homotopy fiber of the counit $\epsilon^\flat$, def. as follows:
We say that
$\flat_{dR}\mathbf{B}G$ is the flat de Rham coefficients for $G$;
$\theta_G$ is the Maurer-Cartan form of $G$.
In the situation of example where $G$ is an ordinary Lie groups and with $\mathfrak{g}$ denoting the Lie algebra of $G$, then we get that
$\flat_{dR}\mathbf{B}G \simeq \Omega^1_{flat}(-,\mathfrak{g})$ is the sheaf of flat Lie algebra valued differential forms;
$\theta_{G}$ is (under the Yoneda embedding) the Maurer-Cartan form on $G$ in the traditional sense.
We discuss now how every L-∞ cocycle $\mu \;\colon\; \mathfrak{g} \longrightarrow b^{p+1} \mathbb{R}$ induces via differential higher Lie integration a higher WZW term for a $p$-brane sigma model with target space a differential extension $\tilde G$ of a smooth infinity-group $G$ that integrates $\mathfrak{g}$. In the next section below we characterize these differential extensions and find that they are given by bundles of moduli stacks for higher gauge fields on the $p$-brane worldvolume. This means that the higher WZW terms obtained here are in fact higher analogs of the gauged WZW model.
(The following construction is from FSS 13, section 5, streamlined a little.)
$\,$
For $\mu \colon \mathfrak{g}\longrightarrow b^{p+1}\mathbb{R}$ an L-∞ cocycle, then there is the following canonical commuting diagram of simplicial presheaves
which is given
Write
for the homotopy pullback of the left vertical morphism in prop. along (the modulating morphism for) the Maurer-Cartan form $\theta_G$ of $G$, i.e. for the object sitting in a homotopy Cartesian square of the form
For the special case that $G$ is an ordinary Lie group, then $\flat_{dR}\mathbf{B}G \simeq \Omega^{1}_{flat}(-,\mathfrak{g})$, by example , hence in this case the morphism being pulled back in def. is an equivalence, and so in this case nothing new happens, we get $\tilde G \simeq G$.
On the other extreme, when $G = \mathbf{B}^{p}U(1)$ is the circle (p+1)-group, then def. reduces to the homotopy pullback that characterizes the Deligne complex and hence yields
This shows that def. is a certain non-abelian generalization of ordinary differential cohomology. We find further characterization of this below in corollary , see remark .
From example one reads off the conceptual meaning of def. : For $G$ a Lie group, then the de Rham coefficients are just globally defined differential forms, $\flat_{dR}\mathbf{B}G \simeq \Omega^1_{flat}(-,\mathfrak{g})$ (by the discussion here), and in particular therefore the Maurer-Cartan form $\theta_G \colon G \to \flat_{dR}\mathbf{B}G$ is a globally defined differential form. This is no longer the case for general smooth ∞-groups $G$. In general, the Maurer-Cartan forms here is a cocycle in hypercohomology, given only locally by differential forms, that are glued nontrivially, in general, via gauge transformations and higher gauge transformations given by lower degree forms.
But the WZW terms that we are after are supposed to prequantizations of globally defined Maurer-Cartan forms. The homotopy pullback in def. is precisely the universal construction that enforces the existence of a globally defined Maurer-Cartan form for $G$, namely $\theta_{\tilde G} \colon \tilde G \to \Omega^1_{flat}(-,\mathfrak{g})$.
Given an L-∞ cocycle $\mu \colon \mathfrak{g}\longrightarrow b^{p+1}\mathbb{R}$, then via prop. , prop. and using the naturality of the Maurer-Cartan form, def. , we have a morphism of cospan diagrams of the form
By the homotopy fiber product characterization of the Deligne complex (prop.), this yields a morphism of the form
which modulates a p+1-connection/Deligne cocycle on the differentially extended smooth $\infty$-group $\tilde G$ from def. .
This we call the WZW term obtained by universal Lie integration from $\mu$.
Essentially this construction originates in (FSS 13).
The WZW term of def. is a prequantization of $\omega \coloneqq \mu(\theta_{\tilde G})$, hence a lift $\mathbf{L}_{WZW}^\mu$ in
Above we discussed how a single L-∞ cocycle Lie integrates to a higher WZW term. More generally, one has a sequence of L-∞ cocycles, each defined on the extension that is classified by the previous one – a bouquet of cocycles. Here we discuss how in this case the higher WZW terms at each stage relate to each other. (The following statements are corollaries of FSS 13, section 5).
$\,$
In each stage, for $\mu_1 \colon \mathfrak{g}\to b^{p_1+1}\mathbb{R}$ a cocycle and $\hat {\mathfrak{g}} \to \mathfrak{g}$ the extension that it classifies (its homotopy fiber), then the next cocycle is of the form $\mu_2 \colon \hat \mathfrak{g} \to b^{p_2+1}\mathbb{R}$
The homotopy fiber $\hat \mathfrak{g} \to \mathfrak{g}$ of $\mu_1$ is given by the ordinary pullback
where $e b^{p_1}\mathbb{R}$ is defined by its Chevalley-Eilenberg algebra $CE(e b^{p_1}\mathbb{R})$ being the Weil algebra of $b^{p_1}\mathbb{R}$, which is the free differential graded algebra on a generator in degree $p_1$, and where the right vertical map takes that generator to 0 and takes its free image under the differential to the generator of $CE(b^{p_1+1}\mathbb{R})$.
This follows with the recognition principle for L-∞ homotopy fibers.
A homotopy fiber sequence of L-∞ algebras $\hat \mathfrak{g} \to \mathfrak{g}\stackrel{\mu}{\longrightarrow} b^{p+1}\mathbb{R}$ induces a homotopy pullback diagram of the associated objects of L-∞ algebra valued differential forms, def. , of the form
(hence an ordinary pullback of presheaves, since these are all simplicially constant).
The construction $\mathfrak{g} \mapsto Hom_{dgAlg}(CE(\mathfrak{g}), \Omega^\bullet(-))$ preserves pullbacks ($CE$ is an anti-equivalence onto its image, pullbacks of (pre-)-sheaves are computed objectwise, the hom-functor preserves pullbacks in the covariant argument).
Observe then (see the discussion at L-∞ algebra valued differential forms), that while
we have
We say that a pair of L-∞ cocycles $(\mu_1, \mu_2)$ is consecutive if the domain of the second is the extension (homotopy fiber) defined by the first
and if the truncated Lie integrations of these cocycles via prop. preserves the extension property in that also
The issue of the second clause in def. is to do with the truncation degrees: the universal untruncated Lie integration $\exp(-)$ preserves homotopy fiber sequences, but if there are non-trivial cocycles on $\mathfrak{g}$ in between $\mu_1$ and $\mu_2$, for $p_2 \gt p_1$, then these will remain as nontrivial homotopy groups in the higher-degree truncation $\mathbf{B}G_{2} \coloneqq \tau_{p_2}\exp(\hat\mathfrak{g})$ (see Henriques 06, theorem 6.4) but they will be truncated away in $\mathbf{B}G_1 \coloneqq \tau_{p_1}\exp(\mathfrak{g})$ and will hence spoil the preservation of the homotopy fibers through Lie integration.
Notice that extending along consecutive cocycles is like the extension stages in a Whitehead tower.
Given two consecutive L-∞ cocycles $(\mu_1,\mu_2)$, def. , let
and
be the WZW terms obtained from the two cocycles via def. .
There is a homotopy pullback square in smooth homotopy types of the form
Consider the following pasting composite
where
the top left square is the evident homotopy;
the top right square expresses that $\theta$ preserves the basepoint;
the bottom right square is the naturality of the Maurer-Cartan form construction.
Under forming homotopy limits over the horizontal cospan diagrams here, this turns into
by def. . On the other hand, forming homotopy limits vertically this turns into
(on the left by corollary , on the right by the second clause in def. ).
The homotopy limit over that last cospan, in turn, is $\widetilde{\hat G}$. This implies the claim by the fact that homotopy limits commute with each other.
Prop. says how consecutive pairs of $L_\infty$-cocycles Lie integrate suitably to consecutive pairs of WZW terms.
In the above situation there is a homotopy fiber sequence of infinity-group objects of the form
where the bottom horizontal morphism is the higher WZW term that Lie integrates $\mu_1$, followed by the canonical projection
which removes the top-degree differential form data from a higher connection.
Hence $\widetilde{\hat G}$ is an infinity-group extension of $\tilde G$ by the moduli stack of higher connections.
By prop. and the pasting law, the homotopy fiber of $\widetilde {\hat G} \to \tilde G$ is equivalently the homotopy fiber of $\mathbf{\Omega}^{p_1+1}\to \mathbf{B}^{p_1+1}(\mathbb{R}/\Gamma_1)_{conn}$, which in turn is equivalently the homotopy fiber of $\ast \to \mathbf{B}\left( \mathbf{B}^{p_1}(\mathbb{R}/\Gamma_1)_{conn} \right)$, which is $\mathbf{B}\left( \mathbf{B}^{p_1}(\mathbb{R}/\Gamma_1)_{conn} \right)$:
Corollary says that $\widetilde {\hat G}$ is a bundle of moduli stacks for differential cohomology over $\tilde G$. This means that maps
(which are the fields of the higher WZW model with WZW term $\mathbf{L}_2$) are pairs of plain maps $\phi \colon \Sigma \to \tilde G$ together with a differential cocycle on $\Sigma$, i.e. a $p_1$-form connection on $\Sigma$, which is twisted by $\phi$ in a certain way.
Below we discuss that this occurs for the (properly globalized) Green-Schwarz super p-brane sigma models of all the D-branes and of the M5-brane. For the D-branes $p_1 = 1$ and so there is a 1-form connection on their worldvolume, the Chan-Paton gauge field. For the M5-brane $p_1 = 2$ and so there is a 2-form connection on its worldvolume, the self-dual higher gauge field in 6d.
For each Dp-brane species in type IIA string theory there is a pair of consecutive cocycles (def. ) of the form
This is by the discussion below. Here
reflects the familiar D-brane coupling to the RR-fields $C = C_2 + C_4 + \cdots$, given an abelian Chan-Paton gauge field with field strength $F_2$, see def. below.
The WZW term induced by $\mu_{F1}^{IIA}$ is the globalization of the original term introduced by Green and Schwarz in the construction of the Green-Schwarz sigma-model for the superstring.
Now corollary says in this case that the Dp-brane sigma model has as target space the smooth super 2-group $\widetilde{ String_{IIA} }$ which is an infinity-group extension of super Minkowski spacetime by the moduli stack $\mathbf{B}U(1)_{conn}$ for complex line bundles with connection, sitting in a homotopy fiber sequence of the form
It follows that field configurations for the D-brane given by morphisms
are equivalently pairs, consisting of an ordinary sigma-model field
together with a twisted 1-form connection on $\Sigma$, the twist depending on $\phi$. (In fact here the twist vanishes in bosonic degrees, unless we introduce a nontrivial bosonic component of the B-field). This is just the right datum of the (abelian) Chan-Paton gauge field on the D-brane.
Above we considered consecutive cocycles (def. ) with coefficients in line Lie-n algebras $b^{p+1}\mathbb{R}$. Here we discuss how these may descend to single cocycles with richer coefficients.
Below we find as examples of this general phenomenon
the descent of the separate D-brane cocycles to the RR-fields in twisted K-theory, rationally (here)
the descent of the M5-brane cocycle to a cocycle in degree-4 cohomology, rationally (here).
$\,$
Given one stage of consecutive $L_\infty$-cocycles, def. (e.g in the brane bouquet discussed below)
then $\hat \mathfrak{g}$ may be thought of, in a precise sense, as being a $\mathfrak{h}_1$-principal ∞-bundle over $\mathfrak{g}$.
This and the following statements all are the general theorems of (Nikolaus-Schreiber-Stevenson 12) specified to $L_\infty$-algebras regarded as infinitesimal $\infty$-stacks (aka “formal moduli problems”) according to dcct. Here we do not not have the space to dwell further on the details of this general theory of higher principal bundles, but the reader familiar with Lie groupoids gets an accurate impression by considering the analogous situation in that context (see at geometry of physics – principal bundles for detailed lecture notes that cover the following):
for $H$ a Lie group and $\mathbf{B}H$ its one-object delooping Lie groupoid, and for $G$ another Lie group (or just any smooth manifold), then a generalized morphism of Lie groupoids
(i.e. a morphism between the smooth stacks which they represent, or equivalently a bibundle of Lie groupoids) classifies a smooth $H$-principal bundle over $H$, and the total space $\hat G$ of that bundle is equivalently the homotopy fiber of the original map.
This is explained in some detail at principal bundle – In a (2,1)-topos.
Back to the abalogous situation of $L_\infty$-algebras instead of Lie groups, it is now natural to ask whether the second cocycle $\mu_2$, defined on the total space (stack) of this bundle is equivariant under the ∞-action of $\mathfrak{h}_1$. If $\mu_2$ does not itself already come from the base space, then it can at best be equivariant with respect to an $\mathfrak{h}_1$-∞-action on $\mathbf{B}\mathfrak{h}_2$.
A first observation now is that specifying such ∞-action $\rho$ is equivalent to specifying a second homotopy fiber sequence of the form as on the right of this completed diagram:
In the simple analogous situation of Lie groupoids this comes about as follows (see at geometry of physics – representations and associated bundles for detailed lecture notes on the following):
for $H$ a Lie group and $\rho$ a smooth action of $H$ on some smooth manifold $V$, then there is the action groupoid $V/H$. Its objects are the points of $V$, but then it has morphisms of the form $v \stackrel{h}{\longrightarrow} \rho(h)(v)$ connecting any two objects that are taken to each other by the Lie group action. For example when $V = \ast$ is the point, then $\ast/H \simeq \mathbf{B}H$ is just the one-object delooping Lie groupoid of the Lie group $H$ itself. This also shows that there is canonical map
which is given by sending all $v\in V$ to the point, and sending each morphism $v \stackrel{h}{\longrightarrow} \rho(h)(v)$ to $\ast \stackrel{h}{\longrightarrow} \ast$.
This projection is evidently an isofibration, meaning that if we have a morphism in $\mathbf{B}G$ and a lift of its source object to $V/H$, then there is a compatible lift of the whole morphism. This is a technical condition which ensures that the ordinary fiber of this morphism is equivalently already it homotopy fiber. But the ordinary fiber of this morphisms, hence the stuff in $V/H$ that gets send to the (identity morphism on) the point, is clearly just $V$ itself again. Hence we conclude that the action of $G$ on $V$ induced a homotopy fiber sequence
With a little more work one may show that every homotopy fiber sequence of this form is induced this way by an action, up to equivalence. Hence actions of $H$ are equivalently bundles over $\mathbf{B}H$. One way to understand this is to observe that the action groupoid $V/H$ is a model for the homotopy quotient of the action, and by the Borel construction this may equivalently be written as the $\rho$-associated bundle to the $H$-universal principal bundle:
Hence the statement is that the map that sends $H$-actions $\rho$ the universal $\rho$-associated bundle is an equivalence, not just in the context of Lie groups andLie groupoids but much more generally (in every “(infinity,1)-topos”).
Again back now to the analogous situation with $L_\infty$-algebras instead of Lie groups, a second fact which we are to invoke then is that given $\rho$, then the $\infty$-equivariance of $\mu_2$ is equivalent to it descending down the homotopy fibers on both sides to an $L_\infty$-homomorphism of the form
making this diagram commute in the homotopy category:
In our example of Lie group principal bundles this comes down to a classical statement:
one may explicitly check that a morphism of the form
is equivalently a section of the $V$-fiber bundle which is associated via $\rho$ to the $H$-principal bundle that is classified by the map on the left. If we pass this to the iterated homotopy fibers (the Cech nerve) of the vertical maps
then this $\sigma$ induces a $V$-valued function on the total space $P$ of the principal bundle with the property that this is $G$-equivariant. It is a classical fact that such equivariant $V$-valued functions on total spaces of principal bundles are equivalent to sections of the associated $V$-fiber bundles. What we are claiming and using here is that this fact again holds in vastly more generality, namely in an (infinity,1)-topos.
In conclusion:
The resulting triangle diagram
regarded as a morphism
in the slice over $\mathbf{B}\mathfrak{h}_1$ exhibits $\mu_2/\mathfrak{h}_1$ as a cocycle in (rational) $\mu_1$-twisted cohomology with respect to the local coefficient bundle $p_\rho$.
(Nikolaus-Schreiber-Stevenson 12)
Notice that a priori this is (twisted) nonabelian cohomology, though it may happen to land in abelian-, i.e. stable-cohomology.
Such descent is what one needs to find for the brane bouquet above, in order to interpret each of its branches as encoding $p$-brane model on spacetime itself. This is a purely algebraic problem which has been solved (Fiorenza-Sati-Schreiber 15). We discuss the solution in a moment.
In order set the scene, and for reference, we recall the nature of super Minkowski spacetimes from geometry of physics – supersymmetry.
In all of the following it is most convenient to regard super Lie algebras dually via their Chevalley-Eilenberg algebras (“FDA”s), via def. and prop. :
Let
be a spacetime dimension and let
be a real spin representation of the spin group cover $Spin(d-1,1)$ of the Lorentz group $O(d-1,1)$ in this dimension. Then the $d$-dimensional $N$-supersymmetric super-Minkowski spacetime $\mathbb{R}^{d-1,1|N}$ is the super Lie algebra that is characterized by the fact that its Chevalley-Eilenberg algebra $CE(\mathbb{R}^{d-1,1})$ (def. ) is as follows:
The algebra has generators (as an associative algebra over $\mathbb{R}$)
for $a \in \{0,1,2, \cdots, 9\}$ and $\alpha \in \{1, 2, \cdots dim_{\mathbb{R}}(N)\}$ subjects to the relations
(see at signs in supergeometry), and the differential $d_{CE}$ acts on the generators as follows:
where
$\overline{\psi} \wedge \Gamma^a \psi$ denotes the $a$-component of the $Spin(d-1,1)$-invariant spinor bilinear pairing $N \otime N \to \mathbb{R}^d$ that comes with every real spin representation applied to $\psi \wedge \psi$ regarded as an $N \otimes N$-valued form;
hence in components (if $N$ is a Majorana spinor representation, by this prop.):
$C = (C_{\alpha \alpha'})$ is the charge conjugation matrix (as discussed at Majorana spinor);
$\Gamma^a = ((\Gamma^a)^{\alpha}{}_\beta)$ are the matrices representing the Clifford algebra action on $N$ in the linear basis $\{\psi^\alpha\}_{\alpha = 1}^{dim_{\mathbb{R}}(N)}$
summation over paired indices is understood.
That this indeed yields a super Lie algebra follows by the symmetry and equivariance of the bilinear spinor pairing (via this prop.).
There is a canonical Lie algebra action of the special orthogonal Lie algebra
on $\mathbb{R}^{d-1,1\vert 1}$. The $N$-supersymmetric super Poincaré Lie algebra $\mathfrak{iso}(\mathbb{R}^{d-1,1\vert N})$ in dimension $d$ is the super Lie algebra which is the semidirect product Lie algebra of this Lie algebra action
This is characterized by the fact that its Chevalley-Eilenberg algebra $CE(\mathfrak{iso}(\mathbb{R}^{d-1,1\vert N}))$ is as follows:
it is generated from elements
with the super vielbein $(e^a, \psi^\alpha)$ as before, and with $\omega^{a b}$ the dual basis of the induced linear basis for vectro space of skew-symmetric matricces underlying the special orthogonal Lie algebra. The commutation relations are as before, together with the relation that the generators $\omega^{a b}$ anti-commute with every generator. Finally the differential $d_{\mathfrak{iso}(\mathbb{R}^{d-1,1\vert N})}$ acts on these generators as follows:
where we are shifting spacetime indicices with the Lorentz metric
The canonical maps between these super Lie algebras, dually between their Chevalley-Eilenberg algebras, that send each generator to itself, if present, or to zero if not, constitute the diagram
If we think of super Minkowski spacetime $\mathbb{R}^{d-1,1\vert N}$ as the supermanifold with
even coordinates $\{x^a\}_{a = 0}^{d-1}$;
odd coordinates $\{\theta_\alpha\}_{\alpha = 1}^{dim_{\mathbb{R}}(N) }$
then the algebra generators $e^a$ and $\psi^\alpha$ in def. correspond to these super differential forms:
the super-vielbein.
Notice that $d_{dR} x^a$ alone fails to be a left invariant differential form, in that it is not annihilated by the supersymmetry vector fields
Therefore the all-important correction term above.
By def. the super-Lie algebra cohomology of super Minkowski spacetimes (def. ) is the cohomology of the differential
(also called “tau-cohomology”).
This may superficially look fairly trivial, but in fact it turns out to me very rich. Specifically we are interested in the $Spin(d-1,1)$-invariant cohomology. A $Spin$-invariant cochain in the Chevalley-Eilenberg algebra $CE(\mathbb{R}^{d-1,1\vert M})$ is easily seen to be equivalently a sum of wedge products of the above generators, such that all indices are contracted with $\Gamma$-matrices. Hence these are the monomials of the form
We immediately find that the differential takes these to the following expressions (using the fact that the differential is a graded derivation):
For the these expressions to vanish, all their components have to vanish, hence all the following quadrilinear expressions in the spinors have to vanish identicaly:
Such relation among spinors are known as Fierz identities. These we discuss now in Fierz identities.
What are called Fierz identities in physics are the relations that hold between multilinear expression in spinors. For example for all Majorana spinors $\psi$ in Lorentian spacetime dimension 4,5,7, 11, then the following identity holds (example below):
(Here $\overline{(-)}$ denotes the Majorana conjugate, $\Gamma_a$ are a Clifford representations, the “$\wedge$”-signs denotes symmetrization in the spinor components and summation over repeated indices is understood. The details of this are discussed below.)
In D’Auria-Fré-Maina-Regge 82 it was pointed out that all Fierz identities may be understood as expressing the product operation in the representation ring of the spin group (in some given dimension): for $\{S_i\}_{i \in I}$ denoting isomorphism classes of irreducible spin representations, then, by definition of irreps, their tensor product of representations decomposes again as a direct sum of irreducible representations
with “Clebsch-Gordan coefficients” $C_{i j}{}^k$. These coefficients are effectively the Fierz identities.
For example for Lorentzian dimension 11 with $(\tfrac{1}{2})^5$ denoting the unique irreducible Majorana spinor representation, then one finds (D’Auria-Fré 82b, section 3) that the symmetric part in the quadruple tensor product of this representation with itself decomposes as a direct sum of irreps as follows
where the symbols refer to Young diagrams canonically labeling representations (details are in example below).
The point is that the expression $\left(\overline{\psi} \wedge \Gamma_{a b} \psi\right) \wedge \left(\overline{\psi} \wedge \Gamma^b \psi\right)$ from above is a spinor quadrilinear which transforms in the vector representation $(1)(0)^4$ (due to its one free spacetime index). But that vector representation $(1)(0)^4$ is missing from the direct sum above, meaning that the spinor quadrilinear has vanishing components in this vector representation, hence that this expression vanishes identically.
We discuss Fierz identities as identities among multispinorial elements of the Chevalley-Eilenberg algebra $CE(\mathbb{R}^{d-1,1\vert N})$ of super-Minkowski spacetime $\mathbb{R}^{d-1,1\vert N}$, regarded as the super-translation supersymmetry super Lie algebra. In this form Fierz identities encode cocycles in the supersymmetry super-Lie algebra cohomology, such as those which serve as higher WZW terms characterizing super p-branes. We follow Castellani-D’Auria-Fré 82, section II.8.
Given a fixed real spin representation $N$, then the odd coordinates $\{\theta^\alpha\}_{\alpha = 1}^{dim_{\mathbb{R}}(N) }$ of the super Minkowski spacetime supermanifold $\mathbb{R}^{d-1,1\vert N}$ span, by construction, precisely that representation space, and hence so do the spinorial components of the super vielbein form
since in the construction of super differential forms on $\mathbb{R}^{d-1,1\vert N}$, the de Rham operator $\mathbf{d}$ acts on the odd coordinates just formally, by sending the generator $\theta^\alpha$ to the new generator named $\mathbf{d} \theta^\alpha$.
Therefore we may identify the spin representation $N$ with the linear span (over $\mathbb{R}$) of these elements
were the spin group acts on the elements on the right in the defining way (see at geometry of physics – supersymmetry): a spinorial rotation in a plane $\omega = \{\omega^{a b}\}$ by an angle $\alpha$ acts by
We may build new spin representations from this one by forming multilinear expressions in the super vielbein. For example the elements in $CE(\mathbb{R}^{d-1,1\vert N})$ of the form
span, as the spacetime index $a$ ranges in $\{0, 1, \cdots, d-1\}$, a $d$-dimensional real vector space
which still carries a linear action of the spin group, induced from the spin action on the $\psi$-s:
Of course similarly we obtain elements
which, if they are non-vanishing at all, span the representation
Now observe that we may say all this more abstractly as follows:
the elements $(\psi \wedge \overline{\psi})^{\alpha \beta}$ span the symmetrized tensor product of representations
for given $p \in \mathbb{N}$, then the elements of the form $\overline{\psi} \wedge \Gamma_{a_1 \cdots a_p} \psi$ form a subrepresentation thereof, equivalent to the vector representation $\wedge^p\mathbb{R}^{d}$
hence there is a direct sum decomposition
in the category of representations of the spin group, which expresses the (symmetrized) tensor product of representations of the Majorana spinor representation as a direct sum of skew-symmetrized tensor products of the vector representation.
Indeed this direct sum decomposition is exhaustive:
For $d \in \mathbb{N}$ and $N$ a Majorana spinor representation of $Spin(d-1,1)$, then the following identity holds:
By the discussion there, the Majorana spinor representation is a real sub-representation of a complex Dirac representation $\mathbb{C}^{(2^\nu)}$. The latter has the special property that
the Clifford algebra contains the full matrix algebra;
for $p \geq 1$ the Clifford elements $\Gamma_{a_1 \cdots a_p}$ have vanishing trace.
The first point implies that there exists coefficients $X^{a_1 \cdots a_p} \in \mathbb{C}$ for $p \in \mathbb{N}$ such that
The second condition then implies that multiplying this expression with $\Gamma^{a_1 \cdots a_p}$ and taking the trace projects out the coefficient $X^{a_1 \cdots a_p}$:
Notice that it is the last step, identifying the trace over $\psi \wedge \overline{\psi} \Gamma^{a_1 \cdots a_p}$ with the $\psi$-$\psi$ component of the matrix $\Gamma^{a_1 \cdots a_p}$, where we use the symmetrization of the spinor tensor product, namely the identity $\psi^\alpha \wedge \overline{\psi}_\beta = \overline{\psi}_\beta \wedge \psi^\alpha$.
Some of the coefficients in prop. may vanish identically. These are the bilinear Fierz identities, of the form
Let $d = 11$. Write $\mathbf{32}$ or $(\tfrac{1}{2})^5$ for the Majorana spinor representation of $Spin(d-1,1)$. Then
Since we know from prop. that the right hand side has to be some direct sum of representations of the form $\wedge^p \mathbb{R}^d$, it is sufficient to check that there is only one choice of sum such that dimensions match on both sides of the equation.
Now the dimension of $\{N \otimes N\}_{sym}$ is that of the space of symmetric $32 \times 32$ matrices:
while the dimension of $\wedge^p \mathbb{R}^d$ is the binomial coefficient
Hence the claim follows from the fact that
Now we consider the direct sum decomposition of the tensor product of representations of four copies of a spin representation. This yields the quadrilinear Fierz identities.
The group $Spin(10,1)$ has rank 5, and hene its irreducible vector representations are labeled by Young diagrams consisting of five rows. For instance
denotes the representation whose elements may be identified with tensors of the form
which are
skew-symmetric in indices in the same column;
symmetric and trace-less in indices in the same row.
Write again $(\tfrac{1}{2})^5$ for the Majorana spinor representation. Then the following identity holds in the representation ring:
As before, this is supposed to follow already by matching total dimensions on both sides
More in detail we have the following decompositions, in the notation from above.
Here for instance the symbol $X^{(\mathbf{65})}_{\array{a_1 \\ a_2}}$ denotes the projection of the term on the left into the direct summand given by the representation $(2)(0)^4$ of dimension $65$. Similarly:
and some more.
As a corollary:
For $d = 11$ we have that
the following Fierz identity holds:
(we will see below that this is the cocycle condition for the higher WZW term of the M2-brane (Bergshoeff-Sezgin-Townsend 87), AETW 87)
the following Fierz identity holds:
(we will see below that this is the cocycle condition for the higher WZW term of the M5-brane (BLNPST 97, FSS 15)).
This is due to (D’Auria-Fré 82b (3.13) and (3.28))
The first identity is the result of equation (3) after tracing over the indices $a_2$ and $a_3$. Under this trace both summands on the right of (3) vanish: $X^{(\mathbf{429})}_{\array{ a_1 & a_2 \\ a_3}}$ because it is trace-free in indices in a column, and $X^{(\mathbf{165})}_{\array{a_1 a_2 a_3}}$ because it is skew-symmetric in all indices.
The second identity follows from taking the trace over the indices $a_5 and a_6$ in (5) and of skew-symmetrizing over all indices in (4). By the symmetry properties of the tensors on the right of both equations, in both cases all tensors vanish except, in both cases, the contribution proportional to $X^{(\mathbf{330})}_{[a_1 \cdots a_3]}$, which both identities share. So it only remains to check that the proportionality factor is 3, as claimed. By writing out the skew-symmetrization in the last term in (5) one finds:
where we used that $X^{(\mathbf{330})}_{a_1 \cdots a_4}$ is already skew-symmetric in all indices.
$\,$
We now discuss how the super p-branes arise in the guise of consecutive invariant higher super Lie n-algebra extensions of super Minkowski spacetimes. To put this in perspective, we first recall in
(from the end of geometry of physics – supersymmetry) how the relevant super Minkowski spacetimes in dimensions 3,4,6,10 and 11 themselves emerge from the superpoint in a progression of invariant odinary central extensions of super Lie algebras. The last step in this progression (from 10d type IIA spacetime to 11d) is classified by the cocycle for the D0-brane. Similarly we may also think of the previous steps as being related to 0-branes.
On all the super-Minkowski spacetimes that appear in this progression in dimension 3,4,6 and 10 there exist non-trivial invariant 3-cocycles. These are the WZW terms of the Green-Schwarz superstring in these dimensions. Finally in $d = 11$ there is instead a nontrivial invariant 4-cocycle, corresponding to the super-membrane in 11d (the M2-brane). The are classical facts from the “old brane scan” which we review in
While up to this point the progression happens in super Lie algebra cohomology, now we turn to the homotopy theory of super L-infinity algebras: Just like 2-cocycles on super Lie algebras classify ordinary central extensions, higher cocycles such as the 3-cocycles and the 4-cocycles of the superstring and of the supermembrane classify super Lie n-algebra extension of super Minkowski spacetime. This we discuss in
Once this etension into the larger realm of super Lie n-algebra is made, the progression continues: On the extended super Minkowski spacetime super Lie n-algebras there appear now furhter invariant cocycles. These correspond to the D-branes and the M5-brane. This we discuss in
This yields a complete account of the brane species of string theory/M-theory separately. Next we discuss how these separate cocycles interact (by twisting each other) and then unify to single but non-abelian cocycles. This is the topic of the next section Fields.
Consider the superpoint
regarded as an abelian super Lie algebra (def. , prop. ). Its maximal central extension is the $N = 1$ super-worldline of the superparticle:
whose even part is spanned by one generator $H$
whose odd part is spanned by one generator $Q$
the only non-trivial bracket is
Then consider the superpoint with two odd dimensions
which is the coproduct of the atomic 2-cocycle over its bosonic part $\overset{\rightsquigarrow}{\mathbb{R}^{0 \vert 1}} \simeq \mathbb{R}^0$.
Its maximal central extension is the $d = 3$, $N = 1$ super Minkowski spacetime (def. )
whose even part is $\mathbb{R}^3$, spanned by generators $P_0, P_1, P_2$
whose odd part is $\mathbb{R}^2$, regarded as
the Majorana spinor representation $\mathbf{2}$
of $Spin(2,1) \simeq SL(2,\mathbb{R})$
the only non-trivial bracket is the spinor bilinear pairing
where $C_{\alpha \beta}$ is the charge conjugation matrix.
This phenomenon continues:
The diagram of super Lie algebras shown on the right
is obtained by consecutively forming maximal central extensions invariant with respect to the maximal subgroup of automorphisms for which there are invariant cocycles at all. Here $\mathbb{R}^{d-1,1\vert \mathbf{N}}$ is the $d$, $\mathbf{N}$ super-translation supersymmetry algebra. And these subgroups are the spin group covers $Spin(d-1,1)$ of the Lorentz groups $O(d-1,1)$.
That every super Minkowski spacetime is some central extension of some superpoint is elementary. This was highlighted in (Chryssomalakos-Azcárraga-Izquierdo-Bueno 99, 2.1). But most central extensions of superpoints are nothing like super-Minkowksi spacetimes. The point of the above proposition is to restrict attention to iterated invariant central extensions and to find that these single out the super-Minkowski spacetimes.
So from studying iterated invariant central extensions of super Lie algebras, starting with the superpoint, we (re-)discover
$\,$
The 2-cocycle that classifies the extension
is
This happens to also be the curvature of the WZW-term in the Green-Schwarz sigma-model for the D0-brane. We come back to this below in remark .
(Achúcarro-Evans-Townsend-Wiltshire 87, Azcárraga-Townsend 89, Brandt 12-13)
The maximal invariant 3-cocycle on 10d super Minkowski spacetime (according to remark ) is
This is the WZW term for the Green-Schwarz superstring (Green-Schwarz 84).
The maximal invariant 4-cocycle on 11d super Minkowski spacetime is
This is the higher WZW term for the supermembrane (Bergshoeff-Sezgin-Townsend 87).
This classification is also known as the old brane scan.
The 4-cocycle here reflects the first Fierz identity in prop. .
$\stackrel{d}{=}$ | $p =$ | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |
---|---|---|---|---|---|---|---|---|---|---|
11 | M2 | |||||||||
10 | F1 | NS5 | ||||||||
9 | $\;\;\ast\;\;$ | |||||||||
8 | $\ast$ | |||||||||
7 | $\ast$ | |||||||||
6 | $\ast$ | S3 | ||||||||
5 | $\ast$ | |||||||||
4 | $\ast$ | M2$_{cmp}$ | ||||||||
3 | F1$_{cmp}$ |
Notice that the entries of this table lie on four diagonal lines. It turns out that each cocycle below and to the left of another cocycle arises from it by an super Lie alghebraic incarnation of double dimensional reduction. This we discuss below in Double dimensional reduction
Here “higher WZW term” means the following:
Regard $\mu_{F1} = \left(\overline{\psi} \wedge \Gamma_a \psi\right) \wedge e^a$ as a left invariant differential form on super-Minkowski spacetime. Choose any differential form potential $B_{F1}$, i.e. such that
(This $B_{F1}$ will not be left-invariant.)
Then the Green-Schwarz action functional for the superstring is the function on the space of sigma-model fields
(morphisms of supermanifolds) given by
The first term is the Nambu-Goto action the second is a WZW term.
$\,$
Originally Green-Schwarz 84 introduced $B_{F1}$ to ensure an additional fermionic symmetry: “kappa-symmetry”.
Notice that $B_{F1}$ looks somewhat complicated and is not unique. That it is simply a WZW-term for the supersymmetry supergroup
was observed in Henneaux-Mezincescu 85.
$\,$
Similarly, choose any differential form potential $C_{M2}$ such that
(This $C_{M2}$ will not be left-invariant.)
Then the Green-Schwarz type action functional for the supermembrane is the function on sigma-model fields
given by
On the right this is the higher WZW term.
This way we may finally continue the progression of invariant central extensions to higher central extensions:
Recall from prop. that and how higher cocycles classify higher central extensions.
According to remark we name the homotopy fibers (prop. ) of the cocycles from prop. , which are the higher WZW terms of the superstring and the supermembrane, as follows
$\,$
$\,$
By prop. the super Lie 2-algebra $\mathfrak{string}_{het}$ is given by
This is a super-version of the string Lie 2-algebra (Baez-Crans-Schreiber-Stevenson 05 which controls Green-Schwarz anomaly cancellation (Sati-Schreiber-Stasheff 12) and the topology of the supergravity C-field (Fiorenza-Sati-Schreiber 12a, 12b).
$\,$
The membrane super Lie 3-algebra $\mathfrak{m}2\mathfrak{brane}$ is given by
This dg-algebra was first considered in D’Auria-Fré 82 (3.15) as a tool for constructing 11-dimensional supergravity. For exposition from the point of view of Lie 3-algebras see also Baez-Huerta 10.
$\,$
Hence the progression of maximal invariant extensions of the superpoint continues as a diagram of super L-∞ algebras like so:
$\,$
$\,$
(While every extension displayed is an invariant universal higher central extension, not all invariant universal higher central extensions are displayed. For instance there are string and membrane GS-WZW-terms / cocycles also on the lower dimensional super-Minkowski spacetimes (“non-critical”), e.g. the super 1-brane in 3d and the super 2-brane in 4d.)
$\,$
But how are we to think of the extended super Minkowski spacetimes geometrically?
This is clarified by the following result:
$\,$
(Fiorenza-Sati-Schreiber 13, section 5)
Write $\widetilde {String_{IIA}}$ for the super 2-group that Lie integrates the super Lie 2-algebra $\mathfrak{string}_{IIA}$ subject to the condition that it carries a globally defined Maurer-Cartan form. Then for $\Sigma_{p+1}$ a worldvolume smooth manifold there is a natural equivalence
between “higher Sigma-model fields” $\Phi$ and pairs, consisting of an ordinary sigma-model field $\phi$ and a gauge field $\nabla$ on the worldvolume of the D-brane twisted by the Kalb-Ramond field.
This is the Chan-Paton gauge field on the D-brane.
$\,$
Similarly:
Write $\widetilde {M2Brane}$ for the super 3-group that Lie integrates the super Lie 3-algebra $\mathfrak{m}2\mathfrak{brane}$ subject to the condition that it carries a globally defined Maurer-Cartan form. Then for $\Sigma_{5+1}$ a worldvolume smooth manifold there is a natural equivalence
between “higher Sigma-model fields” $\Phi$ and pairs, consisting of an ordinary sigma-model field $\phi$ and a higher gauge field $\nabla$ on the worldvolume of the M5-brane and twisted by the supergravity C-field.
$\,$
(See also at Structure Theory for Higher WZW Terms, session II).
The “old brane scan” classifying the superstring and the supermembrane from above ran into a conundrum::
Given that superstrings and supermembranes are nicely classified by super Lie algebra cohomology (prop. ) why do the other super p-branes known in string theory not show up similarly? Where are the D-branes and the M5-brane?
But from the discussion above we see that we should look for further higher cocycles not on super Lie algebras but the super L-∞ algebras: on the extended super Minkowski spacetimes of def. .
In $CE(\mathfrak{m}2\mathfrak{brane})$ from def. , define the element
(D’Auria-Fré 82, (3.27, 3.28))
The element $\mu_{M5} \in \CE(\mathfrak{m}2\mathfrak{brane})$ from def. is closed
Recall that in $CE(\mathfrak{m}2\mathfrak{brane})$ there is the relatioon
Now we compute:
Here the identity under the brace is the Fierz identity from prop. .
Notice how it is the presence of the extra higher generator $h_3$ of degree 3 in $CE(\mathfrak{m}2\mathfrak{brane})$ that makes prop. work.
That the element $\mu_{M5}$ in def. is the curvature of the higher WZW-term of the M5-brane was argued in BLNPST97
It turns out that from just prop. one obtains the D-brane cocycles in 10d by applying super Lie n-algebra constructions corresponding to double dimensional reduction and topological T-duality. This we discuss below in Double dimensional reduction and in T-duality.
Here for the moment we just state the resulting cocycle conditions, below as def. , prop. and prop. . In order to state this conveniently, we first recall in def. the well adapted bases for type IIA/IIB spinors from geometry of physics – supersymmetry Example: Spinors in dimension 11, 10 and 9
(basis for IIA/IIB spinors)
Let $\{\gamma_a\}_{a = 0}^{d-1}$ be a Dirac representation on $\mathbb{C}^{16}$ of the Lorentzian $d= 9$ Clifford algebra $Cl(8,1)$. We obtain a Dirac representation of the $d = 10$ and $d = 11$ Clifford algebra by taking the following block matrices acting on $\mathbb{C}^{16} \oplus \mathbb{C}^{16}$
where $I$ is the identity matrix.
The unique irreducible Majorana spinor representation of $\mathrm{Spin}(10,1)$ is of real dimension 32. Under the inclusions
this representation branches as
where in the middle $\mathbf{16}$ and $\overline{\mathbf{16}}$ are the left and right chiral Majorana-Weyl representations in 10d, while on the right the $\mathbf{16}$ is again the unique irreducible real representation in 9d. Under this branching we decompose a Majorana spinor $\psi \in \mathbf{32}$ as
with $\psi_1 \in \mathbf{16}$ and $\psi_2 \in \overline{\mathbf{16}}$ or $\mathbf{16}$.
Define another set of matrices $\{\Gamma_a^B\}_{a = 0}^{9}$ by
For emphasis we write the original matrices also as $\Gamma_a^A := \Gamma_a$, for $a \leq 9$.
Moreover we also write
Noice that the matrices $\{\Gamma^B_a\}_{a = 0}^9$ in do not represent a Clifford algebra, but the product of any even number of them represents the correct such product acting on $\mathbf{16} \oplus \mathbf{16}$. For instance $\exp(\omega^{a b}\Gamma^B_{a b})$ are the elements of the $\mathrm{Spin}(d-1,1)$-representation on $\mathbf{16}\oplus \mathbf{16}$. Also, for \emph{odd} $p = 2k+1$, each of the pairings
is the sum of the corresponding pairings on two copies of $\mathbf{16}$.
By these definition we have
This relation also makes it manifest that $\Gamma_9^B$ commutes not only with all $\Gamma^B_{a b}$ for $a,b \leq 8$, but also with all $\Gamma_a^B\Gamma_9^B$. Consequently, $\Gamma_{10}$ as well as $\Gamma_9$ are invariant under the IIB Spin-action, in that
for $i \in \{1,2,3\}$.
Conversely, rotation in the $(9,10)$-plane leaves all the $\Gamma_a^B$ invariant, in that
(the D-brane cocycles)
Define the following elements in $CE(\mathfrak{string}_{IIA})$: (def. )
Then set
and for $p \in \{2,4,6, \cdots, 10\}$
where
$f_2$ is the extra generator in $CE(\mathfrak{string}_{IIA})$;
$\exp(f_2) \coloneqq \underset{k}{\sum} \tfrac{1}{k!} \underset{k \text{ factors}}{\underbrace{f_1 \wedge \cdots \wedge f_2}}$
$[-]_{p+2}$ denotes the summand of homogeneous degree $p+2$.
Similarly, define the following elements in $CE(\mathfrak{string}_{IIB})$ (def. ) (with the Clifford elements as in def. ):
Then set
and for $p \in \{1,3,5, \cdots 9\}$
The following statements may be obtained from the existence of the M5-brane cocycle (prop. ) and applying double dimensional reduction and T-duality. We discuss this in detail below in Double dimensional reduction and T-duality, for the moment we are content with stating it as a fact:
(Chryssomalakos-Azcárraga-Izquierdo-Bueno 99,
The elements $\mu_{D p} \in CE(\mathfrak{string}_{IIA})$ from def. are closed
and non-exact.
The elements $\mu_{D p} \in CE(\mathfrak{string}_{IIB})$ from def. are closed
and non-exact.
By prop. the higher cocycles for the M5-brane (prop. ) and for the D-branes (prop. and prop. ) classify further higher super $L_\infty$-algebra extensions. These we name again by the branes that the correspond to. So the following diagrams denote homotopy fiber sequences
and
So in conclusion, by forming iterated invariant universal higher central extensions of the superpoint, there emerges first spacetime and then the fundamental p-branes that propagate in spacetime.
$\,$
$\,$
Perhaps we need to understand the nature of time itself better. $[...]$ One natural way to approach that question would be to understand in what sense time itself is an emergent concept, and one natural way to make sense of such a notion is to understand how pseudo-Riemannian geometry can emerge from more fundamental and abstract notions such as categories of branes. (G. Moore, p.41 of “Physical Mathematics and the Future”, talk at Strings 2014)
$\,$
It serves to have a closer look at the cocycle for the D0-brane:
Notice that all the D-brane cocycle $\mu_{D p}$ in def. are higher cocycles except for that of the D0-brane, which is just an ordinary 2-cocycle. The ordinary central extension that this classifies is just that which grows the 11th M-theory dimension by the above example .
This may be thought of as a super $L_\infty$-theoretic incarnation of D0-brane condensation (Polchinski 99, around p. 8).
More in detail, if we distinguish $\overline{\psi} \wedge \Gamma_{10} \psi$ as an element of $\mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}^\ast}}$ or as the element $\mu_{D0}$ of $\mathfrak{string}_{IIA}$ (which in components are the same, just regarded in different contexts), then the relation between the D0-brane and the M-theory spacetime extension may be stated as follows: The following diagram is homotopy Cartesian (a homotopy pullback) square:
(brane intersection laws)
In addition to reflecting all the brane speciees, the above brane bouquet knows the brane intersection laws: there is a morphism $p_2\mathfrak{brane} \longrightarrow p_1 \mathfrak{brane}$ precisely if the given species of $p_1$-branes may end on the given species of $p_2$-branes (more discussion of this is in Fiorenza-Sati-Schreiber 13, section 3).
But recall from prop. the interpretation of the extended super Minkowski spacetimes as containing a condensate of branes sourcing the gauge field on the worldvolume of the branes that they may end on.
In conclusion this shows that given a cocycle $\mu_{p_1+2}$ for some super $p_1$-brane species inducing an extended super Minkowski spacetime via its homotopy fiber and then given a consecutive cocycle $\mu_{p_2+2}$ for a $p_2$-brane species on that homotopy fiber then $p_1$-branes may end on $p_2$-branes and the $p_2$-branes propagating in the extended spacetime $p_1 \mathfrak{brane}$ see a higher gauge field on their worldvolume of the kind sourced by boundaries of $p_1$-branes.
$\,$
$\,$
Hence the extended super Minkowski spacetime $p_1 \mathfrak{brane}$ is like the original super spacetime $\mathbb{R}^{d-1,1\vert \mathbf{N}}$ but filled with a condensate of $p_1$-branes whose boundaries source a higher gauge field.
$\,$
While this is good, it means that at each stage of the brane bouquet we are describing $p_2$-brane dynamics on a fixed $p_1$-brane background field. But more generally we would like to describe the joint dynamics of all brane species at once.
$\,$
This we turn to now.
$\,$
In the discussion above we discovered all the p-brane species of string theory/M-theory, but each separately as a $b^{p+1}\mathbb{R}$-valued super $L_\infty$-cocycle on some extended super Minkowski spacetime classified by a previous cocycle.
Here we discuss that all these cocycles unify into single cocycles. However, these unified cocycles are no longer in ordinary cohomology, meaning that they no longer have coefficients in the simple line Lie-n algebras $b^{p+1}\mathbb{R}$ as in proposition .
Instead they have coefficients in richer and in general non-abelian L-∞ algebras. One says they are cocycles in non-abelian cohomology theory. By a phenomenon that has been called the Whitehead principle of non-abelian cohomology, this means more concretely that these unified cocycles are in a twisted generalized (Eilenberg-Steenrod) cohomology theory. Command of the general concept of this name is not strictly necessary for the analysis of the brane cocycles below, but a rough idea of its basic ingredients will make the meaning of the constructions and results very transparent. Therefore we start below with a lightning overview of the idea
Since generalized cohomology is generally exhibited by classifying spaces, specifically topological spaces, to make use of these concepts we need a way to regard L-∞ algebras as certain spaces (or rather as homotopy types of certain spaces). This connection is provided by a theory called rational homotopy theory. Again, this is not strictly necessary for the derivation of the unified brane cocycles below, but it serves to greatly clarify the resulting structures. Therefore we next give a lightning survey of
After these conceptual preliminaries, we then turn to the concrete example of the brane bouquet established above and ask for homotopy descent of consecutive ordinary cocycles on extended super Minkowski spacetimes to single but twisted generalized cocycles down on plain super Minkowski spacetimes.
First we consider this for the D-branes and we derive that the unified F1/Dp-brane cocycles exist with coefficients the rationalization of twisted K-theory. This is the content of the section
In direct analogy, we then discover the corresponding rationalized coefficients for the background fields for the M-branes. This turns out to be rationalized cohomotopy in degree 4. This we discuss in
More technically, what we show now is that there is homotopy descent of $p$-brane cocycles from extended super Minkowski spacetime down to ordinary super Minkowski spacetime which yields cocycles in twisted cohomology for the RR-field and the M-flux fields (Fiorenza-Sati-Schreiber 15, 16a).
$\,$
There is a traditional physics story for how twisted generalized (Eilenberg-Steenrod) cohomology appears on D-branes. Eventually we are after a precise derivation of this phenomenon from “first principles”, but as motivation and for intuition, it serves to recall the folklore:
It is often stated that a Chan-Paton gauge field on $n$ coincident D-branes is an SU(n)-vector bundle $V$, hence a cocycle in nonabelian cohomology in degree 1.
But this is not quite true. In general there are $n$ D-branes and $n'$ anti-D-branes coinciding, carrying Chan-Paton gauge fields $V_{brane}$ (of rank $n$) and $V_{\text{anti-brane}}$ (of rank $n'$), respectively, yielding a pair of vector bundles
Such pairs are also called virtual vector bundles.
But D-branes annihilate with anti-D-branes (Sen 98) when they are coincident and have exact opposite D-brane charge, which here means that they carry the same Chan-Paton vector bundle. In other words, pairs as above of the special form $(W,W)$ are equivalent to pairs of the form $(0,0)$.
Hence the net Chan-Paton charge of coincident branes and anti-branes is really the equivalence class of $(V_{\text{brane}}, V_{\text{anti-brane}})$ under the equivalence relation which is generated by the relation
for all complex vector bundles $W$ (Witten 98, Witten 00).
$\,$
The additive abelian group of such equivalence classes of virtual vector bundles is called topological K-theory. This behaves in many ways as ordinary cohomology does, but is richer. One says that it is ageneralized cohomology theory.
Hence by this story, D-brane charge should take values in twisted K-theory. Therefore, by the analog of the Maxwell equations for RR-fields, where D-brane charge plays the role of electric charge and magnetic charge in electromagnetism also the RR-fields must be cocycles in twisted K-theory (Moore-Witten 00).
$\,$
A famous fact about ordinary cohomology $H^n(X,\mathbb{Z})$ is that it is represented by topological spaces denoted $K(\mathbb{Z},n)$ or $B^n \mathbb{Z}$ and called Eilenberg-MacLane spaces: For $X$ a paracompact topological space then there is a natural bijection
between cohomology classes of $X$ and homotopy classes of continuous maps from $X$ to the Eilenberg-MacLane space. (This turns out to uniquely characterize the spaces $B^n \mathbb{Z}$.)
The collection of all these Eilenberg-MacLane spaces $B^n \mathbb{Z}$, as $n$ ranges, has the property that each is the based loop space of the previous one, up to weak homotopy equivalence
More generally, in algebraic topology any sequence of pointed topological spaces $E_n$ indexed by the natural numbers and equipped with such weak homotopy equivalences
is called a spectrum, or specifically an Omega-spectrum. See at geometry of physics – stable homotopy types for more on this.
Here for $X$ any pointed topological space, $\Omega X$ denotes the operation of constructing the space of continuous loops in $X$, starting and ending at the given basepoint. For later use we mention that a fancy-looking but most useful alternative way to think of a such as loop is as a homotopy from the basepoint to itself. Thought of this way, then the based loop space is equivalently the homotopy fiber product of the base point inclusion with itself, denoted as follows:
In direct analogy to the above situation, one says for $E_\bullet$ any such Omega-spectrum that the homotopy classes of continuous maps into its component space in degree $n$
are the $E$-generalized cohomology classes of $X$ i degree $n$.
One also says that the cohomology theory $E^\bullet(-)$ is generalized cohomology theory is represented by the spectrum $E$.
The example of interest for D-brane charge, topological K-theory, is the generalized cohomology theory denoted by
with
where
$U$ denotes the stable unitary group,
$B U$ denotes the classifying space for complex vector bundles.
So in this case a cocycle is represented by the homotopy class of a map of the form
which gives a complex vector bundle $V_{\text{brane}}$ and the trivial vector bundle $\mathbb{C}^{n_{\text{anti-brane}}}$ of rank $n_{\text{anti-brane}}$, hence a virtual vector bundle of the form
A basic fact proven in topological K-theory is that the K-theory class of every virtual vector bundle is represented by one of this form, and it is in this way that $KU_0 = (B U) \times \mathbb{Z}$ is the coefficient space for topological K-theory.
But this is not yet the full story: Above we saw that the Chan-Paton gauge field on a D-brane is actually a twisted vector bundle with twist given by the Kalb-Ramond B-field sourced by a string condensate. (Freed-Witten anomaly cancellation).
Such twisted generalized cohomology is given by generalizing the above concept of Omega-spectra by allowing the base point $\ast$ to become a classifying space of twists. The result is called a parameterized spectrum. Such consists of:
a classifying space of twists $B G$
a spectrum object in the slice category $Top_{/B G}$, namely a sequence of spaces, denoted $E_n/G$, equipped with maps
and weak homotopy equivalences from the $n$th space to the homotopy fiber product of space inclusion of the space of twists with itself:
To get a feeling for this definition, consider two extremal cases of parameterized spectra:
An ordinary spectrum $E$ is a parameterized spectrum over the point (i.e. no twists);
An ordinary topological space $X$ is identified with the zero-spectrum parameterized over $X$, which is just
Hence a general parameterized spectrum interpolates between these two extremes, it combines the non-abelian cohomology represented by topological spaces such as $B U$ with the abelian cohomology represented by spectra:
More in detail, given a parameterized spectrum $E$ over $B G$, then we have the following elegant picture of twisted $E$-cohomology (NSS 12, section 4.1):
A twist $\tau$ for the $E$-cohomology of some topological space $X$ is a map
from $X$ to the spectrum’s classifying space of twists.
The $\tau$-twisted $E$-cohomology of $X$ in degree $n$ is the set of homotopy classes of maps $X \overset{\phi}{\longrightarrow} E_n/G$ together with a homotopy $p_n \circ \phi \simeq \tau$:
There is a homotopy fiber sequence (in parameterized spectra)
and this equivalently exhibits $E/G$ as the homotopy quotient of an ordinary spectrum $E$ by a
coherent homotopy action of $G$.
We now translate this situation from topological spaces to super L-∞ algebras via the central theorem of rational homotopy theory, which we now recall.
$\,$
Recall from the discussion above that an L-∞ algebra $\mathfrak{g}$ may be thought of as a Lie algebra “up to coherent higher homotopy”: with the unary bracket $[-]$ regarded as a differential $\partial \coloneqq [-]$, then for instance the trinary bracket is a chain homotopy up to which the Jacobi identity holds
In direct analogy, for $X$ any pointed topological space, then the based loop space $\Omega_\ast(X)$ (the topological space whose elements are continuous paths from the basepoint to itself) naturally is a group “up to coherent higher homotopy”.
Namely
the operation of concatenating two loops $\alpha,\beta \colon [0,1] \to X$ to a new loop
gives it the structure of a semi-group whose associativity law holds up to homotopy;
the constant loop gives it the structure of a monoid up to coherent homotopy, called an A-∞ space
the reversal of loops
finally gives it inverses up to homotopy and makes it what is called a a grouplike A-∞ space or ∞-group for short.
Conversely, for $G$ any ∞-group then there is an essentially unique connected space $B G$ with $G \;\simeq\; \Omega B G$ (the May recognition theorem).
Now in a similar manner, every double loop space $\Omega_\ast(\Omega_\ast(X))$ becomes a “first order abelian” ∞-group by exchanging loop directons. This may be called a braided ∞-group,
$\,$
Hence for $G$ a braided ∞-group then $B G$ is itself an ∞-group and so there exists an essentially unique simply connected space
with
$\,$
And so forth:
Every triple loop space $\Omega^3 X$
becomes a “second order abelian” ∞-group
by exchanging loop directons
called a sylleptic ∞-group.
etc.
$\,$
In a spectrum $E$,
the maps $E_n \stackrel{\simeq}{\to} \Omega E_{n+1}$
exhbit $E_0$ as an infinite loop space
hence as a fully abelian ∞-group.
$\,$
It turns out that by a homotopy theoretic version of Lie theory,
there is an L-∞ algebra $\mathfrak{g}$ associated with any ∞-group
or
etc.
$\,$
Its Chevalley-Eilenberg algebra $CE(\mathfrak{B g})$
is called a Sullivan model for $B^2 G$.
$\,$
For example the $L_\infty$-algebra associated with an Eilenberg-MacLane space
is the line Lie-n algebra from above:
$\,$
The main theorem of rational homotopy theory (Quillen 69, Sullivan 77)
says that the L-∞ algebra $\mathfrak{l}(B^2 G)$ equivalently reflects the rationalization of $B^2 G$
(in fact the real-ification, since we are considering $L_\infty$-algebras over the real numbers).
This means that weak equivalence between $L_\infty$-algebras correspond to maps between spaces
that induce isomorphism on real-ified homotopy groups
For concise review in the language that we use here see Buijs-Félix-Murillo 12, section 2.
$\,$
We apply this rational homotopy theory functor
to find the $L_\infty$-algebraic version of parameterized spectra
hence of twisted cohomology:
$\,$
$\,$
Here $V \simeq E \otimes \mathbb{R}$ is a chain complex
underlying the real-ification of the spectrum $E$
(stable Dold-Kan correspondence).
$\,$
So for $\mathbb{R}^{d-1,1\vert \mathbf{N}}$ some super Minkowski spacetime, a cocycle in $\mathfrak{g}$-twisted $V$-cohomology is a diagram of the form
$\,$
Now given one stage in the brane bouquet
we want to descent $\mu_{p_2}$ to $\mathfrak{g}$.
$\,$
By the general theory of principal ∞-bundles (Nikolaus-Schreiber-Stevenson 12):
$\widehat{\mathfrak{g}}$ has a $\mathfrak{h}_1$-∞-action
equipping $B \mathfrak{h}_2$ with an $\mathfrak{h}_1$-∞-action
is equivalent to finding a homotopy fiber sequence as on the right here:
$\mu_2$ is $\mathfrak{h}_1$-equivariant precisely if it descends to a morphism
such that this diagram commute up to homotopy:
if so, then resulting triangle diagram
exhibits $\mu_2/\mathfrak{h}_1$ as a cocycle in (rational) $\mu_1$-twisted cohomology
with respect to the local coefficient bundle $p_\rho$.
$\,$
We now work out this general prescription
for the cocycles in the brane bouquet.
$\,$
$\,$
By the brane bouquet above
the type IIA D-branes
are given by super $L_\infty$ cocycles of the form
for $p \in \{0,2,4,6,8,10\}$.
$\,$
Notice that
has one generator in each even degree, the universal Chern classes.
Hence the $L_\infty$-algebra
is given by
This allows to unify the D-brane cocycles
into a single morphism of super $L_\infty$-algebras of the form
$\,$
By the above prescription, descending $\mu_D$ is equivalent
to finding a commuting diagram in the homotopy category of super $L_\infty$-algebras
of the form
$\,$
This turns out to exist as follows (Fiorenza-Sati-Schreiber 16a, section 5):
Define the $L_\infty$-algebra
by
Moreover write
for the super $L_\infty$-algebra whose Chevalley-Eilenberg algebra is
$\,$
(Fiorenza-Sati-Schreiber 16a, theorem 4.16)
The super $L_\infty$-algebra $\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}_{res}$
is a resolution of type IIA super-Minkowski spacetime.
in that there is a weak equivalence
This fits into a commuting diagram of the form
$\,$
In conclusion
$\;\;$the type IIA F1-brane and D-brane cocycles with $\mathbb{R}$-coefficients
$\;\;$do descent to super-Minkowski spacetime
$\;\;$as one single cocycle with coefficients
$\;\;$in rationalized twisted K-theory.
$\,$
$\,$
The part of the brane bouquet giving the M-branes is
$\,$
In order to descend this, consider the $L_\infty$-algebra corresponding to the 4-sphere
By standard results on rational n-spheres, this is given by
(…)
For $p \in \mathbb{N}_{even}$, write
$b^{2p+2} \mathbb{R}/b^p \mathbb{R}$ for the L-∞ algebra given by the Chevalley-Eilenberg algebra
Regarded as a Sullivan model in rational homotopy theory, then the dg-algebra of def. is a minimal model for the rationalization of the $(p+2)$-sphere.
By the recognition theorem for L-∞ extensions we get:
For $p \in \mathbb{N}_{even}$, there is a homotopy fiber sequence in the homotopy theory of L-∞ algebras of the form
where on formal dual Chevalley-Eilenberg algebras in terms of our defining generating elements the horizontal map is given by $g_{p+4}\mapsto g_{p+4}$ and the vertical map by $g_{p+4}\mapsto 0$ and $g_{2p+3}\mapsto g_{2p+3}$.
By the discussion at ∞-action this exhibits a $b^{p}\mathbb{R}$-action on $b^{2p+2}\mathbb{R}$, for which $b^{2p+2} \mathbb{R}/b^{p}\mathbb{R}$ is the homotopy quotient, whence the notation.
For $p=2$ and regarded as a statement in rational homotopy theory via remark , then the extension in prop. is a Sullivan minimal model for the rationalized Hopf fibration
But since $\mathfrak{m}2\mathfrak{brane}$ is a $b^2 \mathbb{R}$-principal ∞-bundle, it is natural to ask whether $h_3 \wedge \mu_4 + \frac{1}{15} \mu_7$ is $b^2 \mathbb{R}$-equivariant with respect to some natural $b^2\mathbb{R}$-∞-action on $b^6 \mathbb{R}$. Such a natural action is given by prop. . To exhibit in components the equivariance of the 7-cocycle in corollary with respect to this action we need a resolution of super Minkowski spacetime:
Write $\mathbb{R}_{res}^{10,1\vert \mathbf{32}}$ for the super L-∞ algebra whose Chevalley-Eilenberg algebra is obtained from that of super Minkowski spacetime by
The canonical morphism
given dually by $\psi^\alpha \mapsto \psi^\alpha$, $e^a \mapsto e^a$, is an equivalence of $L_\infty$-algebras. It factors the morphism $\mathfrak{m}2\mathfrak{brane} \longrightarrow \mathbb{R}^{10,1\vert \mathbf{32}}$ from def. through a morphism $\mathfrak{m}2\mathfrak{brane} \longrightarrow \mathbb{R}^{10,1\vert \mathbf{32}}_{res}$ which on formal dual CE-elements is given by $h_3 \mapsto 0$, $g_4 \mapsto 0$ and by being the identity on all other generators.
There is a diagram of L-∞ algebras of the form
That the diagram exists and commutes at the level of the underlying graded algebras of the formal dual CE-algebras is immediate in terms of the defining generators: each generator is mapped to the generator of the same name, if present, in the codomain, or to zero otherwise, except for $g_7 \in CE(b^6 \mathbb{R})$ which is sent to $h_3 \wedge \mu_4 + \frac{1}{15}\mu_7$ and $g_7 \in CE(b^6 \mathbb{R}/b^2 \mathbb{R})$, which is sent to $h_3 \wedge (g_4 + \mu_4) + \frac{1}{15}\mu_7$, as indicated.
It remains to check that the middle horizontal map respects the CE-differentials: by prop. we have
and by def. this says indeed that $g_7 \mapsto h_3 \wedge (g_4 + \mu_4) + \frac{1}{15}\mu_7$ respects the CE-differentials.
The form of the equivariant cocycle in prop. is that of the curvature of the WZW term of the sigma model describing the M5-brane as considered in (BLNPST 97, (6),(8)).
In view of remark , prop. says that the CE-elements $\mu_4$ and $\mu_7$ of prop. define a cocycle with values in the rational 4-sphere. In the discussions in geometry of physics – WZW terms and geometry of physics – BPS charges we see that under Lie integration and globalization in higher Cartan geometry, these elements encode the supergravity C-field and its magnetic dual. That these fields should take values in the 4-sphere was first suggested in (Sati 13, section 2.5).
(…)
Fiorenza-Sati-Schreiber 15, section 3
There is a homotopy fiber sequence of $L_\infty$-algebras as on the right
which is the image under $\mathfrak{l}(-)$ of the quaternionic Hopf fibration.
This makes a commuting diagram
in the homotopy category of super $L_\infty$-algebas
of the form
In conclusion
$\;\;$this says that, rationally,
$\;\;$M2-brane charge is in degree-4 ordinary cohomology
$\;\;$and it twists M5-brane charge
$\;\;$which is, rationally, in unstable degree-4 cohomotopy.
$\,$
This confirms a conjecture due to
(Sati 10, section 6.3, Sati 13, section 2.5).
based on the observation that
the equations of motion of 11-dimensional supergravity
for the supergravity C-field field strength $G_4$ say that
with $G_7 = \ast G_4$ the Hodge dual
and this is just the algebraic relation for the Sullivan model of the rational 4-sphere.
$\,$
Notice that, unstably, the 4-sphere
is just the space whose non-torsion homotopy groups
hence those that are visible in rational homotopy theory
are in degrees 2+2 and 5+2:
k | 1 | 2 | 3 | 4 | 5 | 6 | 7 |
---|---|---|---|---|---|---|---|
$\phantom{AA}\pi_k(S^4)\phantom{AA}$ | $\phantom{AA}0\phantom{AA}$ | $\phantom{AA}0\phantom{AA}$ | $\phantom{AA}0\phantom{AA}$ | $\phantom{AA}\mathbb{Z}\phantom{AA}$ | $\phantom{AA}\mathbb{Z}/2\phantom{AA}$ | $\phantom{AA}\mathbb{Z}/2\phantom{AA}$ | $\phantom{AA}\mathbb{Z} \oplus \mathbb{Z}/{12}\phantom{AA}$ |
$\,$
But the correct non-rational lift of the $\mathfrak{l}(S^4)$-coefficients
will also have to be such that it somehow gives rise to twisted K-theory
under (double) dimensional reduction. This is still an open problem.
For further comments see the talk
Equivariant cohomology of M2/M5-branes
$\,$
$\,$
Now that we have found
the descended $L_\infty$-cocycles
for all super $p$-branes
in twisted cohomology, rationally,
we may analyze their behaviour under double dimensional reduction
and discover the super $L_\infty$-algebraic incarnation
of various dualities in string theory.
$\,$
Underlying most of the dualities in string theory is the phenomenon of “double dimensional reduction” (Duff-Howe-Inami-Stelle 87imensional reduction#DuffHoweInamiStelle87)), so called because:
the dimension of spacetimes is reduced by Kaluza-Klein compactification on a fiber $F$;
in parallel the dimension of branes is reduced if they wrap $F$.
We first give an exposition of the
Then we discuss a first approximation to a mathematical formalization:
and then the accurate and fully general formalization in
We then specialize this general procedure to super L-infinity algebras so that it applies to the super $p$-brane cocycles in
$\,$
The original example of double dimensional reduction (Duff-Howe-Inami-Stelle 87imensional reduction#DuffHoweInamiStelle87)) is supposed to underly the duality between M-theory and type IIA string theory. In this case
spacetime$X_{11}$ is an 11d circle-fiber bundle locally of the form $X_{11} = X_{10} \times S^1$ over a 10d base spacetime;
an M-theory membrane (M2-brane) with cyclindrical worldvolume
wraps the circle fiber if its trajectory
is of the form
As the Riemannian circumference of the circle fiber $S^1$ tends towards zero this effectively looks like the 2-dimensional worldsheet $\Sigma_2$ of a string tracing out a trajectory in 10-dimensional spacetime:
$\,$
But there is also “single dimensional reduction” when the membrane does not wrap the fiber space:
In this case it looks like a membrane in 10d spacetime, now called the D2-brane.
Similarly the M5-brane in M-theory
may wrap the circle fiber to yield a 4-brane in 10d, called the D4-brane or it may not wrap the circle fiber to yield a 5-brane in 10d, called the NS5-brane.
$\,$
Beware the naive treatment of branes in this traditional argument. And even naively, this is not the full story yet: The $S^1$-fibration itself is supposed to re-incarnate in 10d as the D0-brane and the D6-brane.
Hence double dimensional reduction from M-theory to type IIA string theory is meant to, schematically, involve decompositions as follows
Above we saw that all super p-branes are characterized by the flux fields $H_{p+2}$ that they are charged under, more precisely by the bispinorial component of $H_{p+2}$ which is constrained to be super-tangent-space-wise the form
where $(E^a, \Psi^\alpha)$ is the super vielbein (graviton and gravitino).
$\,$
Hence we will formalize double dimensional reduction in terms of these fields.
$\,$
Again there is a naive picture to help the intuition: Let $G_4 \in \Omega^4_{cl}(X_{11})$ be the differential 4-form flux field strength of the supergravity C-field.
Under the Gysin sequence for the spherical fibration
this decomposes in cohomology as
thus giving rise in 10d to
a 3-form $H_3$, the Kalb-Ramond B-field field strength that the string couples to;
a 4-form $F_4$, the RR-field field strength in degree 4, that the D2-brane couples to.
Similary the 7-form field strength $G_7$ decomposes as
thus giving rise in 10d to
a 6-form $F_6$, the RR-field field strength in degree 6, that the D4-brane couples to
a 7-form $H_7$, the dual NS-NS field strength that the NS5-brane couples to.
$\,$
The advantage of this perspective on double dimensional reduction from the point of view of the background flux fields is that powerful tools from cohomology theory apply.
$\,$
To first approximation background fluxes represent classes in ordinary cohomology (their charges).
There is a classifying space $B^n \mathbb{Z}$ for ordinary cohomology
(called an Eilenberg-MacLane space, often denoted $K(\mathbb{Z},n)$). Hence the charge of $G_4$/$G_7$-flux, to first approximation, is represented by a classifying map
and we saw that under double dimensional reduction this is supposed to transmute into a map of the form
$\,$
We ask:
Which mathematical operation could cause such a transmutation?
We will now find such an operation and then use it to give an improved definition of double dimensional reduction, one that knows about all the fine print of brane charges.
$\,$
$\,$
Let’s first record formally what was going on in the above story.
In the above double dimensional reduction of the naive M-fluxes on a trivial 11d circle bundle we used
the Cartesian product with the circle
functions out of the circle.
Let’s have a closer look at these two operations:
$\,$
It is a classical fact about locally compact topological spaces (which includes all topological spaces that one cares about in physics) that given topological spaces $\Sigma$, $X$ and $F$, then there is a natural bijection
where
$F \times X$ is the product topological space of $F$ with $X$
(the set of pairs of points euipped with the product topology)
$Maps(F,Y)$ is the mapping space from $F$ to $X$,
(the set of continuous functions) $F \to X$ equipped with the compact-open topology)
Except for the subtlety with the topology this bijection is just rewriting a function of two variables as a function with values in a second function
One says that the two functors
form a adjoint pair or an adjunction.
$\,$
A remarkable amount of structure comes with every adjunction:
the adjunct of the identity $F \times X \overset{id}{\to} F \times X$ generally called the unit of the adjunction, here is the wrapping operation
the adjunct of the identity $Maps(F,X) \overset{id}{\to} Maps(F,X)$ generally called the counit of the adjunction, here is the evaluation map
that evaluates a function on an argument
$\,$
We will see now that the following general fact about adjoint functors serves to implement the above physics story of wrapped branes:
$\,$
Fact.
The adjunct of a map of the form
is the composite of its image under $Maps(F,-)$ with the adjunction unit $\eta_X$:
Moreover, we will see that the following generall fact in homotopy theory accurately implements the idea of dimensional reduction of the brane dimensions:
For $F = S^1$ the circle, then
is also called the free loop space of $X$.
$\,$
For $G$ a general topological group, then its free loop space
is weakly homotopy equivalent to the
homotopy quotient of $G$ by its adjoint action.
In the special case that $G$ is an abelian topological group.
then this becomes a weak homotopy equivalence of following simple form
This captures the required reduction on brane dimension!
In particular if $G = B^n \mathbb{Z}$ then
$\,$
Consider naive $M$-flux fields $G_4$ and $G_7$ on an 11d spacetime that is a trivial circle bundle $X_{11} = X_{10} \times S^1$. Its charges is represented by a map of the form
By adjunction this is identified with a map of the form
where on the right we have the transmuted coefficients by prop.
This is exactly the result we were after.
$\,$
Better yet, the adjunction yoga accurately reflects the physics story: For consider a $p$-brane propagating in 10d spacetimes along a trajectory
and coupled to these dimensionally reduced background fields
By adjunction this is identified with a map of the form
and this is exactly the coupling we saw in the story of double dimensional reduction.
$\,$
So this works well as far as it goes, but so far it only applies to trivial circle fibrations and it does not see the D0-charge.
$\,$
We now disucss the improvement to the full formulation.
$\,$
In general the M-theory circle bundle
is only locally a product with of $X_{10}$ with $S^1$.
$\,$
For example the complement of the locus of a KK-monopole spacetime is a circle principal bundle with first Chern class equal to the charge carried by the KK-monopole. (which is the corresponding number of coincident D6-branes in type IIA).
$\,$
Hence in general the above formulation of double dimensional reduction via the pair of adjoint functors
works only locally.
$\,$
But the problem to be solved is easily identified: Essentially by definition, in a circle principal bundle the fibers may all be identified with a fixed abstract circle $S^1$ only up to rigid rotation.
$\,$
Hence while in general the above wrapping-map
given by sending each point of $X_{10}$ to its fiber “wrapping around itself” does not exist, it does exist up to forgetting at which point in $S^1$ we start the wrapping, hence the map that always exists lands in the quotient space
In general we take this to be the homotopy quotient space.
$\,$
There is then the following generalization of proposition on transmutation of coefficients under double dimensional reduction
Let $G$ be an abelian topological group.
Then there is a weak homotopy equivalence of the form
Notice that a twisting appears. This is a general phenomenon. We will see below that for the example of reduction of M-flux the twist that appears is that in the twisted de Rham cohomology $d F_4 = H_3 \wedge F_2$ which connects RR-fields $F_{2p}$ with the H-flux $H_3$.
$\,$
Indeed this dimensional reduction is again an equivalent way of regarding the higher dimensional situation:
$\,$
(double dimensional reduction on topological flux fields)
There is a pair of adjoint functors (adjoint (∞,1)-functors really)
(a proof in more generality is below after prop. ). Equivalently (by Nikolaus-Schreiber-Stevenson 12): There is a pair of adjoint functors (adjoint (∞,1)-functors really)
Hence for
an $S^1$-principal bundle and $A$ some coefficients, then there is a natural equivalence
$\,$
Accordingly we have the following generalization of example to the case with possibly non-trivial circle-fibration and non-trivial D0-flux:
Consider naive $M$-flux fields $G_4$ and $G_7$ on an 11d spacetime that is an $S^1$-principal bundle
Its charges is represented by a map of the form
By adjunction this is identified with a map of the form
where on the right we transmuted the coefficients by prop.
$\,$
Hence the D0-brane charge appears! It is the first Chern class of the M-theory circle bundle.
$\,$
Conclusion
The double dimensional reduction of any flux field
is
$\,$
The operation
may be called cyclification because the cohomology of this quotient of the free loop space is cyclic cohomology.
$\,$
Shadows of this construction appear prominently also at other places in string theory notably in discussion of the Witten genus. A closely related concept in mathematics involving this is the transchromatic character map.
$\,$
In fact this formalization of double dimensional reduction works with loads of further data taken into account, such as the differential geometry of spacetimes and the differential cohomology of flux fields.
$\,$
For the homotopy theory cognoscenti, here is the fully general statement:
Let $\mathbf{H}$ be any (∞,1)-topos such as
the classical homotopy theory on topological spaces as above
or better: the homotopy theory of supergeometric homotopy types
and let $G$ be an ∞-group in $\mathbf{H}$ such as
a topological group as above
or better Lie group such as the smooth circle group $S^1 \simeq U(1)$
then there is a pair of adjoint ∞-functors of the form
where
$[G,-]$ denotes the internal hom in $\mathbf{H}$,
$[G,-]/G$ denotes the homotopy quotient by the conjugation
∞-action for $G$ equipped with its canonical ∞-action by left multiplication and the argument
regarded as equipped with its trivial $G$-$\infty$-action. (Hence the claim is that $[G,-]/G$ is the right base change/dependent product along the canonical $\ast \to \mathbf{B}G$.)
Hence for
$\hat X \to X$ a $G$ principal ∞-bundle
$A$ a coefficient object, such as for some differential generalized cohomology theory
then there is a natural equivalence
given by
First observe that the conjugation action on $[G,X]$ is the internal hom in the (∞,1)-category of $G$-∞-actions $Act_G(\mathbf{H})$. Under the equivalence of (∞,1)-categories
(from Nikolaus-Schreiber-Stevenson 12) then $G$ with its canonical ∞-action is $(\ast \to \mathbf{B}G)$ and $X$ with the trivial action is $(X \times \mathbf{B}G \to \mathbf{B}G)$.
Hence
Actually, this is the very definition of what $[G,X]/G \in \mathbf{H}_{/\mathbf{B}G}$ is to mean in the first place, abstractly. But now since the slice (∞,1)-topos $\mathbf{H}_{/\mathbf{B}G}$ is itself cartesian closed, via
it is immediate that there is the following sequence of natural equivalences
Here $p \colon \mathbf{B}G \to \ast$ denotes the terminal morphism and $p_! \dashv p^\ast$ denotes the base change along it.
$\,$
We now apply this general mechanism to the brane bouquet.
$\,$
By the discussion of rational homotopy theory above we may think of L-∞ algebras as rational topological spaces and more generally as rational parameterized spectra. For instance above we found that the coefficient space for RR-fields in rational twisted K-theory is the L-∞ algebra $\mathfrak{l}(KU/BU(1))$.
$\,$
Hence in order to apply double dimensional reduction to super p-branes we now specialize the above general formalization (prop. ) to cyclification of super L-∞ algebras (FSS 16b)
$\,$
For $\mathfrak{g}$ any super L-∞ algebra of finite type, its cyclification
is defined by having Chevalley-Eilenberg algebra of the form
where
is a copy of $\mathfrak{g}^\ast$ with cohomological degrees shifted down by one, and where $\omega$ is a new generator in degree 2. The differential is given for $\alpha \in \wedge^1 \mathfrak{g}^\ast$ by
where on the right we are extendng $s$ as a graded derivation. Define
in the same way, but with $\omega_2 \coloneqq 0$.
For every $\mathfrak{g}$ there is a homotopy fiber sequence
which hence exhibits $\mathfrak{L} \mathfrak{g}/\mathbb{R}$ as the homotopy quotient of $\mathfrak{L}\mathfrak{g}$ by an $\mathbb{R}$-action.
The following says that the $L_\infty$-cyclification from prop. indeed does model the topological cyclification from prop. .
(Vigué-Sullivan 76, Vigué-Burghelea 85)
If
is the $L_\infty$-algebra associated by rational homotopy theory to a simply connected topological space $X$, then
corresponds to the free loop space of $X$ and
corresponds to the homotopy quotient of the free loop space by the circle group action which rotates the loops. The cochain cohomology of the Chevalley-Eilenberg algebra
computes the cyclic cohomology of $X$ with coefficients in $\mathbb{R}$. (Whence “cyclification”.) Moreover the homotopy fiber sequence of the cyclification corresponds to that of the free loop space:
$\,$
The following gives the super-$L_\infty$-theoretic formalization of “double dimensional reduction” by which both the spacetime dimension is reduced while at the same time the brane dimension reduces (if wrapping the reduced dimension).
$\,$
We have the following $L_\infty$-algebraic incarnation of the general double dimensional reduction isomorphism prop. , prop. :
$\,$
(Fiorenza-Sati-Schreiber 16b, prop. 3.8)
Let
be a central extension of super L-∞ algebras. According to prop. we have
and hence every generator $\alpha_p \in CE(\widehat{\mathfrak{g}})$ has a unique decomposition
where $\beta_p$ and $\tilde \alpha_{p-1}$ do not involve the generator $e$. We may think of this as
Under this identification any super $L_\infty$-homomorphism
hence a dg-algebra homomorphism
gives rise to a homomorphism of the form
which, in the notation of def. , is given dually by
Moreover, this construction constitutes a natural bijection
between super $L_\infty$-homomorphisms out of the exteded super $L_\infty$-algebra $\widehat{\mathfrak{g}}$ and homomorphism out of the base $\mathfrak{g}$ into the cyclification (def. ) of the original coefficients with the latter constrained so that the canonical 2-cocycle on the cyclification is taken to the 2-cocycle classifying the given extension.
If $CE(\mathfrak{h})$ in prop. has generators in degree 1, then the operation $\tilde \phi^\ast$ involves sending generators in degree 0 to multiples of the ground field. This makes $\tilde \phi$ a “curved” $L_\infty$-homomorphism. Hence for prop. to give a pair of adjoint functors we need to regard it in the category of $L_\infty$-algebras with curved morphisms between them. But in applications $\mathfrak{h}$ typically contains no generators of degree 1, in which case the above natural bijection exists on the category of plain $L_\infty$-homomorphisms.
Let
be the extension of a super Minkowski spacetime from dimension $d$ to dimension $d+1$. Let moreover
be the line Lie (p+3)-algebra (prop. ) and consider any super (p+1)-brane cocycle from the old brane scan in dimension $d+1$
Then the cyclification $\mathfrak{L}(b^{p+1}\mathbb{R})/\mathbb{R}$ of the coefficients (prop. ) is
and the dimensionally reduced cocycle
has the following components
It follows that with
also
This is the dimensional reduction observed in the old brane scan (Achúcarro-Evans-Townsend-Wiltshire 87)
graphics grabbed from (Duff 87)
But there is more: the un-wrapped component of the dimensionally reduced cocycle satisfies the twisted cocycle condition
These relations are not to be ignored.
This we turn to now.
$\,$
We discuss now how by repeatedly applying the super $L_\infty$-algebraic dimensional reduction/oxidation isomorphism of prop. to the descended cocycles (above) from the brane bouquet yields super $L_\infty$-algebraic equivalences that reflect the pertinent dualities in string theory:
between M-theory and type IIA string theory by KK-compactification
between type IIA string theory and type IIB string theory (T-duality)
between type IIB string theory and itself (S-duality)
between type IIB string theory and F-theory.
$\,$
$\,$
We discuss now each aspect of this picture.
$\,$
$\,$
is all controled by the following Fierz identities
for the $\mathbf{32}$ Majorana spin representation for $Spin(10,1)$
$\,$
$\,$
and
$\,$