$\;\;\;\;\;\;\;\;\;\;\;$ Structure theory for higher WZW terms
$\;\;\;\;\;\;\;\;\;\;\;$ With application to the derivation of the cohomological nature of M-brane charge.
Abstract. The famous Wess-Zumino-Witten term in 2d conformal field theory turns out to be a fundamental concept in the intersection of Lie theory and differential cohomology: it is a Deligne 3-cocycle on a Lie group whose Dixmier-Douady class is a Lie group 3-cocycle with values in $U(1)$ and whose curvature is the corresponding Lie algebra 3-cocycle, regarded as a left-invariant form. I explain how this generalizes to higher group stacks, and how there is a natural construction from any $(p+2)$-cocycle on any super L-∞ algebra $\mathfrak{g}$ to a WZW-type Deligne cocycle on a higher super group stack $\tilde G$ integrating $\mathfrak{g}$. Every such higher WZW term serves as a local Lagrangian density, hence as an action functional for a $p$-brane sigma model on $\tilde G$, and I explain how the homotopy stabilizer group stacks of such higher WZW terms are the Lie integration of the Noether current algebras of these sigma-models. As an application, we consider the bouquet of iterated super $L_\infty$-extensions emanating from the superpoint, which turns out to be the “old brane scan” of string/M-theory completed by the branes “with tensor multiplet fields”, such as the D-branes and the M5-brane. I explain how applying the general theory of higher WZW terms to the $L_\infty$-extensions corresponding to the M2/M5-brane yields the “BPS charge M-theory super Lie algebra” together with a Lie integration to a super 6-group stack. From running a Serre spectral sequence we read off from this result how the naive nature of M5-brane charge as being in ordinary cohomology gets refined to twisted generalized cohomology in accordance with the conjectures stated in (Sati 10, section 6.3, Sati 13, section 2.5).
This is based on joint work with Domenico Fiorenza and Hisham Sati (notably Fiorenza-Schreiber-Stasheff 12, Fiorenza-Sati-Schreiber 13, Fiorenza-Sati-Schreiber 15). The statement about the Noether current algebras is due to (Sati-Schreiber 15, Schreiber-Khavkine).
These are lecture notes for
a lecture series at: Roger Picken (org.), Seminário de Teoria Quântica do Campo Topológica, Lisbon, Jan-Mar 2016 (part I on 26 Jan 2016, part II on 29 Jan 2016, part III on 23 Feb 2016, part IV on 26 Feb 2016, part V on 15 Mar 2016, part VI on 18 Mar 2016))
a lecture series Prequantum field theory and the Green-Schwarz WZW terms at: Harald Grosse, Danny Stevenson, Richard Szabo (org.), Higher Structures in String Theory and Quantum Field Theory, ESI Program, Vienna, November 30-December 4, 2015
a minicourse at: Hisham Sati (org.) Flavors of Cohomology, Pittsburgh June 3-5, 2015
based on the more comprehensive lecture notes at
Full details are in (dcct), an expositional survey is at Higher Prequantum Geometry.
Related talk notes include:
The term “M-theory” has come to refer to two related but distinct concepts. On the one hand it became the chiffre for the elusive hypothetical non-perturbative theory of which perturbative string theory is the perturbation theory, in a suitable limit. But in practice the term is used for something concrete and largely precise, that is expected to be the first-order approximation to this: classical 11-dimensional supergravity with M-brane effects included, such as BPS charges, membrane instanton contributions and gauge enhancement at ADE singularities (each of these is discussed in more detail below).
It turns out that all or most of these “M-brane effects” refer to the prequantum field theory of the Green-Schwarz sigma-models for the M2-brane and the M5-brane (which by charge duality also involve the KK-monopole and the M9-brane) on the given supergravity target spacetimes. A fairly decent mathematical understanding of this does actually exist in the literature, even if it is often not made very explicit.
Here we are concerned with making this mathematically fully explicit and precise, and refining the mathematics a bit more such as to see a bit further.
We find that most of what is known about “M-theory” in the restrictive sense above, and some things not known before, is all concisely enoced in definite globalizations of an higher WZW term denoted $\mathbf{L}_{M2/M5}$ (a variant of the Green-Schwarz action functional). In summary we discuss here the following:
There is a canonical cocycle $\mathbf{L}^X_{M2/M5}$ on 11-dimensional super-Minkowski spacetime with coefficients in the rational quaternionic Hopf fibration, which is naturally complexified by adding the associative 3-form $\alpha$;
a definite globalization $(\mathbf{L}^X_{M2/M5} + i \alpha^X)$ of the WZW term $\mathbf{L}_{M2} + i \alpha$ is equivalently
an 11-dimensional super spacetime, possibly with orbifold singularities, and equipped with a field configuration of 11-dimensional supergravity that solves the Einstein equations of motion;
which is equipped with the structure of a fibration with fibers G2-manifolds – the setup of M-theory on G2-manifolds;
and equipped with classical anomaly-cancellation that makes the M2-brane- and the M5-brane Green-Schwarz sigma-model on this target spacetime be globally well defined (an issue that has been left completely open in previous literature).
The higher cover of the superisometry group $Iso(X,\mathbf{L}_{M2}/M5)$ is The M-Theory BPS charge super Lie 6-algebra refinement of the M-theory super Lie algebra, whose nil-elements characterize the BPS charge of the super-spacetime.
The volume holonomy of $(\mathbf{L}^X_{M2} + i \alpha^X)$ over associative submanifolds are the membrane instanton contributions.
Moreover (but these two points we do not further discuss here):
One may also see that the moduli space of local choices for $\mathbf{L}^X_{M2/M5}$, regarded as a higher prequantization of the cocycle, locally gives the fundamental representation of E7, exhibiting U-duality. But this we do not discuss here.
The conformal field theories in the near-horizon limit of M2/M5-black brane configurations (as in AdS4/CFT3 and AdS7-CFT6) arise as the small fluctuations of the Green-Schwarz sigma-models around classical M-brane configurations embedded into the asymptotic AdS-boundary (Claus-Kallosh-Proeyen 97,Dall’Agata-Fabri-Fraser-Fré-Termonia-Trigiante 98, Claus-Kallosh-Kumar-Townsend 98, Pasti-Sorokin-Tonin 99). (This is for the abelian case of single branes, we get to the all-important nonabelian case below).
Therefore, for making progress with the open question of formulating M-theory proper, a key issue is a precise understanding of the cohomological nature of M-brane charges (Sati 10) as twisted differential cohomology along the lines above.
In these lectures here we discuss how to rigorously derive this, and a bit more, at the level of rational homotopy theory/de Rham cohomology.
Indeed, in most of the existing literature, M-brane charges are being regarded in de Rham cohomology. But it is well known (see (Distler-Freed-Moore 09) for the state of the art) that in the small coupling limit where the perturbation theory of type II string theory applies, the brane charges are not just in (twisted, self-dual) de Rham cohomology, but instead in a (twisted, self-dual) equivariant generalized cohomology theory, namely in real ($\mathbb{Z}/2$-equivariant) topological K-theory, of which de Rham cohomology is only the rational shadow under the Chern character map. This makes a crucial difference (Maldacena-Moore-Seiberg 01, Evslin-Sati 06): the differentials in the Atiyah-Hirzebruch spectral sequence for K-theory describe how de Rham cohomology classes receive corrections as they are lifted to K-theory: some charges may disappear, others may appear.
But the lift of this situation from F1/Dp-branes to M-branes had been missing. The open question is: Which equivariant generalized cohomology theory $E_G$ do M-brane charges take values in?
brane theory | generalized cohomology theory for brane charges |
---|---|
F1/Dp-branes in type II string theory | twisted K-theory |
M2/M5 in M-theory | open |
These lectures here are to prepare the ground for mathematically addressing this question. Discussion of the non-rational generalized M-brane cohomology thery itself is beyond the scope of this lecture, but see the talk Equivariant cohomology of M2/M5-branes.
We recall the definition of Deligne cohomology, of the Deligne cocycle which is the traditional WZW term and of L-∞ algebras. Then we discuss the $L_\infty$-algebra of infinitesimal symmetries of any Deligne cocycle on a manifold, called the “Poisson bracket L-∞ algebra”.
In Session II we generalize this to higher WZW terms defined on higher group stacks and and Session III we generalize to the finite symmetries of these higher WZW terms, which form themselves a higher group stack.
It is familiar from Dirac charge quantization and from prequantization, that when given a closed differential 2-form $\omega$, then the extra data needed in order to have a circle group-valued parallel transport along paths such that for contractible paths it equals the integral of $\omega$ over a cobounding disk, is a $U(1)$-principal connection $\nabla$ with curvature $F_\nabla = \omega$.
The concept of a cocycle in degree-$(p+2)$ Deligne cohomology is precisely the generalization of this situation as $\omega$ is generalized to a closed $(p+2)$-form, for any $p \in \mathbb{N}$ and parallel transport is generalized to higher parallel transport over $(p+1)$-dimensional “worldvolumes”. Generally one may think of such a cocycle as representing a circle (p+1)-bundle with connection. For $p = 1$ this is also known as a bundle gerbe with connection.
The higher WZW terms that we are concerned with here are a particular class of Deligne cocycles. Therefore we begin by briefly reviewing Deligne cohomology.
Let $X$ be a smooth manifold and let $\{U_i \to X\}$ be an open cover. Consider then the following double complex.
where vertically we have the de Rham differential and horizontally the Cech differential given by alternating sums of pullback of differential forms.
The corresponding total complex has in degree $n$ the direct sum of the entries in this double complex which are on the $n$th nw-se off-diagonal and has the total differential
with $deg$ denoting form degree. This is the Cech-Deligne complex of $X$.
A Cech-Deligne cocycle in degree $3$ (“bundle gerbe with connection”) is data $(\{\theta_{i}\}, \{A_{i j}\}, \{g_{i j k}\})$ such that
The curvature of a Cech-Deligne cocycle $\overline{\theta} = \{\theta_i, \cdots \}$ is the uniquely defined closed differential $(p+2)$-form $\omega$ such that on all patches
We also say that $\overline \theta$ is a prequantization of $\omega$.
In the language of sheaf cohomology, Cech-Deligne cohomology of $X$ is equivalently the sheaf hypercohomology with coefficients in the chain complex of abelian sheaves which we denote by
and regard as an object in the derived category over the site of smooth manifolds.
The assignment of curvature is given by the evident morphism of chain complexes of sheaves
If we then denote a Deligne cocycle as a morphism
in the derived category, then the fact that it prequantizes a form $\omega$ is the statement that there is a commuting diagram (namely in the homotopy theory of smooth higher stacks) of the form
The other evident morphism out of the Deligne complex is
where on the right we have the complex concentrated on $\mathbb{R}/\mathbb{Z}$ in degree $(p+1)$. Under forming abelian sheaf cohomology this map sends Deligne cocycles to cocycles in ordinary differential cohomology, sometimes called their Dixmier-Douady class.
The key property of the Deligne complex is
The Deligne complex is the homotopy fiber product of $\mathbf{B}^{p+1}U(1)$ with $\mathbf{\Omega}^{p+2}_{cl}$ via these two maps:
if we write
then there is a homotopy pullback diagram of the form
For details see around this proposition at Deligne cohomology .
On Lie groups $G$, those closed $(p+2)$-forms $\omega$ which are left invariant forms may be identified, via the general theory of Chevalley-Eilenberg algebras, with degree $(p+2)$-cocycles $\mu$ in the Lie algebra cohomology of the Lie algebra $\mathfrak{g}$ corresponding to $G$. We have $\omega = \mu(\theta)$where $\theta$ is the Maurer-Cartan form on $G$. These cocycles $\mu$ in turn may arise, via the van Est map, as the Lie differentiation of a degree-$(p+2)$-cocycle $\mathbf{c} \colon \mathbf{B}G \to \mathbf{B}^{p+2}U(1)$ in the Lie group cohomology of $G$ itself, with coefficients in the circle group $U(1)$.
This happens to be the case notably for $G$ a simply connected compact semisimple Lie group such as SU or Spin, where $\mu = \langle -,[-,-]\rangle$, hence $\omega = \langle \theta , [\theta,\theta]\rangle$, is the Lie algebra 3-cocycle in transgression with the Killing form invariant polynomial $\langle -,-\rangle$. This is, up to normalization, a representative of the de Rham image of a generator $\mathbf{c}$ of $H^3(\mathbf{B}G, U(1)) \simeq H^4(B G, \mathbb{Z}) \simeq \mathbb{Z}$.
Generally, by the discussion at geometry of physics – principal bundles, the cocycle $\mathbf{c}$ modulates an infinity-group extension which is a circle p-group-principal infinity-bundle
whose higher Dixmier-Douady class class $\int \Omega \mathbf{c} \in H^{p+2}(X,\mathbb{Z})$ is an integral lift of the real cohomology class encoded by $\omega$ under the de Rham isomorphism. In the example of Spin and $p = 1$ this extension is the string 2-group.
Such a Lie theoretic situation is concisely expressed by a diagram of smooth homotopy types of the form
where $\flat_{dR}\mathbf{B}^{p+2}\mathbb{R} \simeq \flat_{dR}\mathbf{B}^{p+2}U(1)$ is the de Rham coefficients (see also at geometry of physics – de Rham coefficients) and where the homotopy filling the diagram is what exhibits $\omega$ as a de Rham representative of $\Omega \mathbf{c}$.
Now, by the very homotopy pullback-characterization of the Deligne complex $\mathbf{B}^{p+1}U(1)_{conn}$ (here), such a diagram is equivalently a prequantization of $\omega$:
For $\omega = \langle -,[-,-]\rangle$ as above, we have $p= 1$ and so $\nabla$ here is a circle 2-bundle with connection, often referred to as a bundle gerbe with connection. As such, this is also known as the WZW gerbe or similar.
This terminology arises as follows. In (Wess-Zumino 84) the sigma-model for a string propagating on the Lie group $G$ was considered, with only the standard kinetic action term. Then in (Witten 84) it was observed that for this action functional to give a conformal field theory after quantization, a certain higher gauge interaction term has to the added. The resulting sigma-model came to be known as the Wess-Zumino-Witten model or WZW model for short, and the term that Witten added became the WZW term. In terms of string theory it describes the propagation of the string on the group $G$ subject to a force of gravity given by the Killing form Riemannian metric and subject to a B-field higher gauge force whose field strength is $\omega$. In (Gawedzki 87) it was observed that when formulated properly and generally, this WZW term is the surface holonomy functional of a connection on a bundle gerbe $\nabla$ on $G$. This is equivalently the $\nabla$ that we just motivated above.
Later, such WZW terms, or at least their curvature forms $\omega$, were recognized all over the place in quantum field theory. For instance the Green-Schwarz sigma-models for super p-branes each have an action functional that is the sum of the standard kinetic action plus a WZW term of degree $p+2$.
In general WZW terms are “gauged” which means, as we will see, that they are not defined on the given smooth infinity-group $G$ itself, but on a bundle $\tilde G$ of differential moduli stacks over that group, such that a map $\Sigma \to \tilde G$ is a pair consisting of a map $\Sigma \to G$ and of a higher gauge field on $\Sigma$ (a “tensor multiplet” of fields).
Here we discuss the general construction and theory of such higher WZW terms.
For $V$ a graded vector space, for $v_i \in V_{\vert v_i\vert}$ homogenously graded elements, and for $\sigma$ a permutation of $n$ elements, write $\chi(\sigma, v_1, \cdots, v_n)\in \{-1,+1\}$ for the product of the signature of the permutation with a factor of $(-1)^{\vert v_i \vert \vert v_j \vert}$ for each interchange of neighbours $(\cdots v_i,v_j, \cdots )$ to $(\cdots v_j,v_i, \cdots )$ involved in the permutation.
An L-∞ algebra is
a graded vector space $V$;
for each $n \in \mathbb{N}$ a multilinear map called the $n$-ary bracket
$l_n(\cdots) \coloneqq [-,-, \cdots, -] \colon V^{\wedge n} \to V$
of degree $n-2$
such that
each $l_n$ is graded antisymmetric, in that for every permutation $\sigma$ and homogeneously graded elements $v_i \in V_{\vert v_i \vert}$ then
the generalized Jacobi identity holds:
for all $n$, all and homogeneously graded elements $v_i \in V_i$ (here the inner sum runs over all $(i,j)$-unshuffles $\sigma$).
There are various different conventions on the gradings possible, which lead to similar formulas with different signs.
In lowest degrees the generalized Jacobi identity says that
for $n = 1$: the unary map $\partial \coloneqq l_1$ squares to 0:
1: for $n = 2$: the unary map $\partial$ is a graded derivation of the binary map
hence
When all higher brackets vanish, $l_{k \gt 2}= 0$ then for $n = 3$:
this is the graded Jacobi identity. So in this case the $L_\infty$-algebra is equivalently a dg-Lie algebra.
When $l_3$ is possibly non-vanishing, then on elements $x_i$ on which $\partial = l_1$ vanishes then the generalized Jacobi identity for $n = 3$ gives
This shows that the Jacobi identity holds up to an “exact” term, hence up to homotopy.
Assume now for simplicity that $V$ is degreewise finite dimensional, Write $V^\ast$ for its degreewise dual.
Given an L-∞ algebra $\mathfrak{g}$, def. , which is is finite type (in that it is degreewise finite dimensional) its Chevalley-Eilenberg algebra $CE(\mathfrak{g})$ is the dg-algebra
whose underlying graded algebra is the graded Grassmann algebra on $V^\ast$, hence the graded-symmetric algebra on $V^\ast[-1]$, and whose differential is given on generators co-component-wise by the linear dual of the higher brackets:
The construction of def. constitutes a full and faithful functor
from $L_\infty$-algebras of finite type whose essential image consists of those dg-algebras whose underlyoing graded algebra is free graded-commutative, i.e. a graded Grassmann algebra.
Using this proposition, it is often more convenient to reason with the CE-algebras than with the $L_\infty$-algebras directly.
On connective $L_\infty$-algebras (those whose underlying chain complex is concentrated in non-negative degrees), passage to degree-0 chain homology constitutes a functor (“0-truncation”) to plain Lie algebras
We discuss the traditional definition of the Poisson bracket of a (pre-)symplectic manifold, highlighting how conceptually it may be understood as the algebra of infinitesimal symmetries of any of its prequantizations.
Let $X$ be a smooth manifold. A closed differential 2-form $\omega \in \Omega_{cl}^2(X)$ is a symplectic form if it is non-degenerate in that the kernel of the operation of contracting with vector fields
is trivial: $ker(\iota_{(-)}\omega) = 0$.
If $\omega$ is just closed with possibly non-trivial kernel, we call it a presymplectic form. (We do not require here the dimension of the kernel restricted to each tangent space to be constant.)
Given a presymplectic manifold $(X, \omega)$, then a Hamiltonian for a vector field $v \in Vect(X)$ is a smooth function $H \in C^\infty(X)$ such that
If $v \in Vect(X)$ is such that there exists at least one Hamiltonian for it then it is called a Hamiltonian vector field. Write
for the $\mathbb{R}$-linear subspace of Hamiltonian vector fields among all vector fields
When $\omega$ is symplectic then, evidently, there is a unique Hamiltonian vector field, def. , associated with every Hamiltonian, i.e. every smooth function is then the Hamiltonian of precisely one Hamiltonian vector field (but two different Hamiltonians may still have the same Hamiltonian vector field uniquely associated with them). As far as prequantum geometry is concerned, this is all that the non-degeneracy condition that makes a closed 2-form be symplectic is for. But we will see that the definitions of Poisson brackets and of quantomorphism groups directly generalize also to the presymplectic situation, simply by considering not just Hamiltonian fuctions but pairs of a Hamiltonian vector field and a compatible Hamiltonian.
Let $(X,\omega)$ be a presymplectic manifold. Write
for the linear subspace of the direct sum of Hamiltonian vector fields, def. , and smooth functions on those pairs $(v,H)$ for which $H$ is a Hamiltonian for $v$
Define a bilinear map
by
called the Poisson bracket, where $[v_1,v_2]$ is the standard Lie bracket on vector fields. Write
for the resulting Lie algebra. In the case that $\omega$ is symplectic, then $Ham(X,\omega) \simeq C^\infty(X)$ and hence in this case
Let $X = \mathbb{R}^{2n}$ and let $\omega = \sum_{i = 1}^n d p_i \wedge d q^i$ for $\{q^i\}_{i = 1}^n$ the canonical coordinates on one copy of $\mathbb{R}^n$ and $\{p_i\}_{i = 1}^n$ that on the other (“canonical momenta”). Hence let $(X,\omega)$ be a symplectic vector space of dimension $2n$, regarded as a symplectic manifold.
Then $Vect(X)$ is spanned over $C^\infty(X)$ by the canonical bases vector fields $\{\partial_{q^i}, \partial_{p^i}\}$. These basis vector fields are manifestly Hamiltonian vector fields via
Moreover, since $X$ is connected, these Hamiltonians are unique up to a choice of constant function. Write $\mathbf{i} \in C^\infty(X)$ for the unit constant function, then the nontrivial Poisson brackets between the basis vector fields are
This is called the Heisenberg algebra.
More generally, the Hamiltonian vector fields corresponding to quadratic Hamiltonians, i.e. degree-2 polynomials in the $\{q^i\}$ and $\{p_i\}$, generate the affine symplectic group of $(X,\omega)$. The freedom to add constant terms to Hamiltonians gives the extended affine symplectic group.
Example serves to motivate a more conceptual origin of the definition of the Poisson bracket in def. .
Write
for the canonical choice of differential 1-form satisfying
If we regard $\mathbb{R}^{2n} \simeq T^\ast \mathbb{R}^n$ as the cotangent bundle of the Cartesian space $\mathbb{R}^n$, then this is what is known as the Liouville-Poincaré 1-form.
Since $\mathbb{R}^{2n}$ is contractible as a topological space, every circle bundle over it is necessarily trivial, and hence any choice of 1-form such as $\theta$ may canonically be thought of as being a connection on the trivial $U(1)$-principal bundle. As such this $\theta$ is a prequantization of $(\mathbb{R}^{2n}, \sum_{i=1}^n d p_i \wedge d q^i)$.
Being thus a circle bundle with connection, $\theta$ has more symmetry than its curvature $\omega$ has: for $\alpha \in C^\infty(\mathbb{R}^{2n}, U(1))$ any smooth function, then
is the gauge transformation of $\theta$, leading to a different but equivalent prequantization of $\omega$.
Hence while a vector field $v$ is said to preserve $\omega$ (is a symplectic vector field) if the Lie derivative of $\omega$ along $v$ vanishes
in the presence of a choice for $\theta$ the right condition to ask for is that there is $\alpha$ such that
For more on this see also at prequantized Lagrangian correspondence.
Notice then the following basic but important fact.
For $(X,\omega)$ a presymplectic manifold and $\theta \in \Omega^1(X)$ a 1-form such that $d \theta = \omega$ then for $(v,\alpha) \in Vect(X)\oplus C^\infty(X)$ the condition $\mathcal{L}_v \theta = d \alpha$ is equivalent to the condition that makes
a Hamiltonian for $v$ according to def. :
Moreover, the Poisson bracket, def. , between two such Hamiltonian pairs $(v_i, \alpha_i -\iota_v \theta)$ is equivalently given by the skew-symmetric Lie derivative of the corresponding vector fields on the $\alpha_i$:
Using Cartan's magic formula and by the prequantization condition $d \theta = \omega$ the we have
This gives the first statement. For the second we first use the formula for the de Rham differential and then again the definition of the $\alpha_i$
For $(X,\omega)$ a presymplectic manifold with $\theta \in \Omega^1(X)$ such that $d \theta = \omega$, consider the Lie algebra
with Lie bracket
Then by (2) the linear map
is an isomorphism of Lie algebras
from the Poisson bracket Lie algebra, def. .
This shows that for exact pre-symplectic forms the Poisson bracket Lie algebra is secretly the Lie algebra of infinitesimal symmetries of any of its prequantizations. In fact this holds true also when the pre-symplectic form is not exact:
For $(X,\omega)$ a presymplectic manifold, a Cech-Deligne cocycle
for a prequantization of $(X,\omega)$ is
an open cover $\{U_i \to X\}_i$;
1-forms $\{\theta_i \in \Omega^1(U_i)\}$;
smooth function $\{g_{i j} \in C^\infty(U_{i j}, U(1))\}$
such that
$d \theta_i = \omega|_{U_i}$ on all $U_i$;
$\theta_j = \theta_i + d log g_{ij}$ on all $U_{i j}$;
$g_{i j} g_{j k} = g_{i k}$ on all $U_{i j k}$.
The quantomorphism Lie algebra of $\overline{\theta}$ is
with bracket
For $(X,\omega)$ a presymplectic manifold and $(X,\{U_i\},\{g_{i j}, \theta_i\})$ a prequantization, def. , the linear map
constitutes an isomorphism of Lie algebras
between the Poisson bracket algebra of def. and that of infinitesimal quantomorphisms, def. .
The condition $\mathcal{L}_v log g_{i j} = \alpha_j - \alpha_i$ on the infinitesimal quantomorphisms, together with the Cech-Deligne cocycle condition $d log g_{i j} = \theta_j - \theta_i$ says that on $U_{i j}$
and hence that there is a globally defined function $H \in C^\infty(X)$ such that $\iota_v \theta_i - \alpha_i = H|_{U_i}$. This shows that the map is an isomrophism of vector spaces.
Now over each $U_i$ the the situation for the brackets is just that of corollary implied by (2), hence the morphism is a Lie homomorphism.
The following fact is immediate, but important.
Given a presymplectic manifold $(X,\omega)$, then the Poisson bracket Lie algebra $\mathfrak{poiss}(X,\omega)$, def. , is a central Lie algebra extension of the algebra of Hamiltonian vector fields, def. , by the degree-0 de Rham cohomology group of $X$: there is a short exact sequence of Lie algebras
Hence when $X$ is connected, then $\mathfrak{poiss}(X,\omega)$ is an $\mathbb{R}$-extension of the Hamiltonian vector fields:
Moreover, given any choice of splitting of the underlying short exact sequence of vector spaces as $\mathfrak{pois}(X,\omega) \simeq_{vs} HamVect(X,\omega)\oplus H^0(X)$, which is equivalently a choice of Hamitlonian $H_v$ for each Hamiltonian vector field $v$, the Lie algebra cohomology 2-cocycle which classifies this extension is
The morphism $\mathfrak{poiss}(X,\omega) \to HamVect(X,\omega)$ is on elements given just by projection onto the direct summand of vector fields, taking a Hamiltonian pair $(v,H)$ to $v$. This is surjective by the very definition of $HamVect(X,\omega)$, in fact $HamVect(X,\omega)$ is the image of this map regarded as a morphism $\mathfrak{poiss}(X,\omega) \longrightarrow Vect(X)$. Moreover, the kernel of this projection is manifestly the space of Hamiltonian pairs of the form $(v = 0,H)$. By the defining constraint $\iota_v \omega = d H$ these are precisely the pairs for which $d H = 0$. This gives the short exact sequence as stated.
Generally, given a Lie algebra $\mathfrak{g}$ and an $\mathbb{R}$-valued 2-cocycle $\mu_2$ in Lie algebra cohomology, then the Lie algebra extension that it classifies is $\hat \mathfrak{g} =_{vs} \mathfrak{g}\oplus \mathbb{R}$ with bracket
Applied to the case at hand, given a choice of splitting $v\mapsto (v,H_v)$ this yields
Consider again example where $(X,\omega) = (\mathbb{R}^{2n}, d p_i \wedge d q^i)$ is a symplectic vector space and where we restrict along the inclusion of the translation vector fields to get the Heisenberg algebra. Then the KS-extension of prop. also pulls back:
The Lie algebra cohomology 2-cocycle which classifiesthe Kostant-Souriau extension, $\iota_{(-)}\iota_{(-)}\omega$ manifestly restricts to the Heisenberg cocycle $(q^i, p_j) = \delta^i_j$.
In the discussion above we amplified that the definition of the Poisson bracket of a symplectic form has an immediate generalization to presymplectic forms, hence to any closed differential 2-form. This naturally suggests to ask for higher analogs of this bracket for the case of of closed differential (p+2)-forms $\omega \in \Omega^{p+2}(X)$ for $p \gt 0$.
Indeed, the natural algebraic form of definition of Hamiltonian vector fields makes immediate sense for higher $p$, with the Hamiltonians $H$ now being $p$-forms, and the natural algebraic form of the binary Poisson bracket of def. makes immediate sense as a bilinear pairing for any $p$:
However, one finds that for $p \gt 0$ then this bracket does not satisfy the Jacobi identity. On the other hand, the failure of the Jacobi identity turns out to be an exact form, and hence in the spirit of regarding the shift of a differential form by a de Rham differential as a homotopy or gauge transformation this suggests that the bracket might still give a Lie algebra upto higher coherent homotopy, called a strong homotopy Lie algebra or L-∞ algebra. This turns out to indeed be the case (n-plectic+geometry#Rogers 10).
For $p \in \mathbb{N}$, we say that a pre-(p+1)-plectic manifold is a smooth manifold $X$ equipped with a closed degree-$(p+2)$ differential form $\omega \in \Omega^{p+2}(X)$.
This is called an (p+1)-plectic manifold if the kernel of the contraction map
is trivial.
Given a pre-$(p+1)$-plectic manifold $(X,\omega)$, def. , write
for the subspace of the direct sum of vector fields $v$ on $X$ and differential p-forms $J$ on $X$ satisfying
We call these the pairs of Hamiltonian forms with their Hamiltonian vector fields.
Given a pre-$(p+1)$-plectic manifold $(X,\omega)$, def. , define an L-∞ algebra $\mathfrak{poiss}(X,\omega)$, to be called the Poisson bracket Lie (p+1)-algebra as follows.
The underlying chain complex is the truncated de Rham complex ending in Hamiltonian forms as in def. :
with the Hamiltonian pairs, def. , in degree 0 and with the 0-forms (smooth functions) in degree $p$.
The non-vanishing $L_\infty$-brackets are defined to be the following
$l_1(J) = d J$
$l_{k \geq 2}(v_1 + J_1, \cdots, v_k + J_k) \coloneqq - (-1)^{\left(k+1 \atop 2\right)} \iota_{v_k}\cdots \iota_{v_1}\omega$.
Definition indeed gives an L-∞ algebra in that the higher Jacobi identity is satisfied.
For the special case of $(p+1)$-plectic $\omega$, prop. is due to (Rogers 10, lemma 3.7), for the general pre-$(p+1)$-plectic case this is (FRS 13b, prop. 3.1.2).
Repeatedly apply Cartan's magic formula $\mathcal{L}_v = \iota_v \circ d + d \circ \iota_v$ as well as the consequence $\mathcal{L}_{v_1} \circ \iota_{v_2} - \iota_{v_2} \circ \mathcal{L}_{v_1} = \iota_{[v_1,v_2]}$ to find that for all vector fields $v_i$ and differential forms $\beta$ (of any degree, not necessarily closed) one has
With this, the statement follows straightforwardly.
There is an evident generalization of the prequantization, def. , of closed 2-forms by circle bundles with connection, hence by degree-2 cocycles in Deligne cohomology, to the prequantization of closed $(p+2)$-forms by degree-$(p+2)$-cocycles in Deligne cohomology.
Given a pre-(p+1)-plectic manifold $(X,\omega)$, then a prequantization is a Cech-Deligne cocycle $\overline{\theta}$, the prequantum (p+1)-bundle, whose curvature, def. , equals $\omega$:
In terms of diagrams in the homotopy theory $\mathbf{H}$ of smooth homotopy types, def. describes lifts of the form
This way there is an immediate generalization of def. to forms and cocycles of higher degree:
Let $\overline{\theta}$ be any Cech-Deligne-cocycle relative to an open cover $\mathcal{U}$ of $X$, which gives a prequantum n-bundle for $\omega$. The L-∞ algebra $\mathfrak{quantmorph}(X,\overline{\theta})$ is the dg-Lie algebra (regarded as an $L_\infty$-algebra) whose underlying chain complex is the Cech total complex made to end in Hamiltonian Cech cocycles
$\mathfrak{quantmorph}(X,\overline{\theta})^0 \coloneqq \{v+ \overline{\alpha} \in Vect(X)\oplus Tot^{n-1}(\mathcal{U}, \Omega^\bullet) \;\vert\; \mathcal{L}_v \overline{\theta} = \mathbf{d}_{Tot}\overline{\alpha}\}$;
$\mathfrak{quantmorph}(X,\overline{\theta})^{i \gt 0} \coloneqq C^{n-1-i}(\mathcal{U},\Omega^\bullet)$
with differential given by $d_{tot} = d + (-1)^{deg} \delta$.
The non-vanishing dg-Lie brackets on this complex are given by the evident action of vector fields on all the components of the Cech cochains by Lie derivative:
$[v_1 + \overline{\alpha}_1, v_2 + \overline{\alpha}_2] \coloneqq [v_1, v_2] + \mathcal{L}_{v_1}\overline{\alpha}_2 - \mathcal{L}_{v_2}\overline{\alpha}_1$
$[v+ \overline{\alpha}, \overline{\eta}] = - [\overline{\eta}, v + \overline{\alpha}] = \mathcal{L}_v \overline{\eta}$.
One then finds a direct higher analog of corollary (its proof however is requires a bit more work):
There is an equivalence in the homotopy theory of L-∞ algebras
between the $L_\infty$-algebras of def. and def. (in particular def. does not depend on the choice of $\overline{A}$) whose underlying chain map satisfies
Proposition says that all the higher Poisson $L_\infty$-algebras are $L_\infty$-algebras of symmetries of Deligne cocycles prequantizing the give pre-$(p+1)$-plectic form, higher “quantomorphisms”.
In fact the dg-algebra $\mathfrak{quantmorph}(X,\overline{\theta})$ makes yet another equivalent interpretation of $\mathfrak{poiss}(X,\omega)$ manifest: it is also a resolution of the Dickey bracket of conserved currents for WZW sigma-models. This we come to below.
The higher Poisson brackets come with a higher analog of the Kostant-Souriau extension, prop. .
Write
for the truncated de Rham complex regarded as an abelian L-∞ algebra.
Given a pre-(p+1)-plectic manifold $(X,\omega)$,
the Poisson bracket Lie (p+1)-algebra $\mathfrak{poiss}(X,\omega)$, def. , is an L-∞ extension of the Hamiltonian vector fields by the truncated de Rham complex, def. , there is a homotopy fiber sequence of $L_\infty$-algebras of the form
To better see what this means, we may truncate this down to a statement about ordinary Lie algebras.
Given a pre-(p+1)-plectic manifold $(X,\omega)$, the 0-truncation, prop. , of the higher Kostant-Souriau extension of prop. is a Lie algebra extension of the Hamiltonian vector fields by the de Rham cohomology group $H^p(X)$.
We recall how Lie integration sends L-∞ algebras $\mathfrak{g}$ to higher smooth group stacks (smooth ∞-groups) $G$ and then discuss how every L-∞ cocycle Lie integrates to a Deligne cocycle on a differential extension $\tilde G$ of $G$ – these are higher WZW terms. As an example we consider the collection of $L_\infty$-cocycles on the super translation Lie algebra and its higher extensions.
For this purpose we need to pass (along the Dold-Kan correspondence) from the abelian derived category over the site of smooth manifolds to the “nonabelian derived category”, by generalizing chain complexes to Kan complexes and generally to simplicial sets. Therefore we now consider simplicial presheaves over the site of smooth Cartesian spaces localized at the local (i.e. stalk-wise) weak homotopy equivalences as models for higher smooth stacks
We assume here a working familiarity with at least the basic idea of such a setup for higher differential geometry, for details see geometry of physics – smooth homotopy types.
Rationally, what we are going to be concerned with is all enoced in L-∞ algebra cohomology for super L-∞ algebras. We briefly recall this, following (Sati-Schreiber-Stasheff 09). For more exposition see at super Cartan geometry. All algebras here are over $\mathbb{R}$.
Recall the dg-algebraic perspective on $L_\infty$-algebras of finite type from prop. .
First of all the operation of sending finite dimensional Lie algebras to their Chevalley-Eilenberg algebras is a fully faithful functor
from the category of Lie algebras to the opposite category of dg-algebras.
Generalizing the image of this functor to those dg-algebras of the form $(\wedge^\bullet \mathfrak{g}^\ast, d)$ for $\mathfrak{g}$ an $\mathbb{N}$-graded vector space of finite type yields the opposite of the category of (connective) L-∞ algebras of finite type:
Accordingly, super L-∞ algebras are given by generalizing this further to $\mathfrak{g}$ being an $\mathbb{N}$-graded super vector space of finite type and regarding the Grassmann algebra $\wedge^\bullet \mathfrak{g}^\ast$ as $(\mathbb{Z},\mathbb{Z}_2)$-bigraded (see at signs in supergeometry).
The category $sL_\infty Alg$ carries a canonical stucture of a category of fibrant objects whose
weak equivalences are the morphisms that induce quasi-isomorphisms on the underlying chain complexes $(\mathfrak{g},[-])$;
fibrations include those morphisms that are degreewise surjections.
(Pridham 07), see this proposition.
Recall from def. that $\mathbf{B}^{p+1} \mathbb{R}$ denotes the line Lie (p+2)-algebra, whose Chevalley-Eilenberg algebra is generated in degree $(p+2)$ with vanishing differential.
then an $L_\infty$-algebra homomorphism
Given a (super-)Lie algebra $\mathfrak{g}$, then morphisms in $sL_\infty Alg$ of the form
are in natural bijection with cocycles of degree $(p+2)$ in the standard Lie algebra cohomology of $\mathfrak{g}$.
Since the morphisms in $sL_\infty Alg$ are equivalent to morphisms going the other direction in $sdgAlg$ we have a bijection
Here the dg-algebra homomorphisms send the generator $c$ to some element $\mu$ of degree $(p+2)$ in $CE(\mathfrak{g})$, and the respect for the differential implies that $d_{CE(\mathfrak{g})} \mu = 0$. This is the classical definition of Lie algebra cocycles.
This immediately generalizes:
For $\mathfrak{g}$ a super-$L_\infty$ algebra, then an $\mathbb{R}$-valued $(p+2)$-cocycle on $\mathfrak{g}$ is a morphism in $sL_\infty Alg$ of the form
hence equivalently an closed element $\mu \in CE(\mathfrak{g})$ of degree $(p+2)$.
The homotopy fiber of such $\mu$ is the L-∞ algebra extension $\hat \mathfrak{g}$ that it classifies
For $\mathfrak{g} \in sL\infty Alg$, the homotopy fiber $\hat {\mathfrak{g}}$ of a cocycle (def. ) $\mu \colon \mathfrak{g} \longrightarrow \mathbf{B}^{p+1} \mathbb{R}$ is given by
(Fiorenza-Rogers-Schreiber 13, theorem 3.1.13)
For $\mathfrak{g}$ a Lie algebra and $\mu \in CE(\mathfrak{g})$ an ordinary 2-cocycle on $\mathfrak{g}$, then the homotopy fiber $\hat {\mathfrak{g}}$ of $\mu \colon \mathfrak{g}\longrightarrow \mathbf{B}\mathbb{R}$ is the classical central Lie algebra extension induced by $\mu$.
For $\mathfrak{g}$ a semisimple Lie algebra and $\mathfrak{g} \stackrel{\langle-,[-,-]\rangle}{\longrightarrow} \mathbf{B}^2 \mathbb{R}$ the canonical 3-cocycle, its homotopy fiber is the string Lie 2-algebra.
These $L_\infty$-extension will in general carry new cocycles, so that towers and bouquets of higher extensions emanate from any one super $L_\infty$-algebra
This reminds one of Whitehead towers in homotopy theory. And indeed, there is Lie integration of $L_\infty$-algebras, which connects them both to smooth ∞-groups and to rational homotopy theory:
For $\mathfrak{g}$ a Lie algebra, then the 2-coskeleton of the simplicial set
is the simplicial nerve of the simply connected Lie group $G$ corresponding to $\mathfrak{g}$:
To remember the smooth structure on $G$ we simply parameterize this over smooth manifolds $U$. Then the simplicial presheaf
gives the smooth stack delooping of the Lie group $G$:
This generalizes verbatim to a Lie integration functor
from (super-)L-∞ algebras $\mathfrak{g}$ to simplicial presheaves over supermanifolds, hence (super-)smooth ∞-stacks.
(Henriques 08, Fiorenza-Schreiber-Stasheff 12).
Notice that for $CE(\mathfrak{g})$ a Sullivan model, then over the point this is the Sullivan construction of rational homotopy theory. For instance the Eilenberg-MacLane spaces
This will be key in the following: $L_\infty$-theory allows to derive the cohomological nature of the charges of super p-branes, but only in rational homotopy theory. The open problem to be discussed below is concerned with the ambiguity of lifting this to genuine (non-rational) homotopy theory.
We will apply to the $L_\infty$-theoretic constructions above a higher analog of Lie integration, below, in order to pass from infinitesimal to finite structures. This requires some basics of homotopy theory and ∞-groupoid theory which we briefly review here. For more on the following see at geometry of physics – homotopy types and at geometry of physics – smooth homotopy types.
$\,$
One of the fundamental principles of modern physics is the gauge principle. It says that every field configuration in physics – hence absolutely everything in physics – is, in general, a gauge field configuration. This in turn means that given two field configurations $\Phi_1$ and $\Phi_2$, then it makes no sense to ask whether they are equal or not. Instead what makes sense to ask for is a gauge transformation $g$ that, if it exists, exhibits $\Phi_1$ as being gauge equivalent to $\Phi_2$ via $g$:
This satisfies obvious rules, so obvious that physics textbooks usually don’t bother to mention this. First of all, if there is yet another field configuration $\Phi_3$ and a gauge transformation $g'$ from $\Phi_2$ to $\Phi_3$, then there is also the composite gauge transformation
and this composition is associative.
Moreover, these being equivalences means that they have inverses,
such that the compositions
and
equal the identity transformation.
Obvious as this may be, in mathematics such structure gets a name: this is a groupoid or homotopy 1-type whose objects are field configurations and whose morphisms are gauge transformations.
But notice that in the last statement above about inverses, we were actually violating the gauge principle: we asked for a gauge transformation of the form $g^{-1}\circ g$ (transforming one way and then just transforming back) to be equal to the identity transformation $id$.
But the gauge principle applies also to gauge transformations themselves. This is the content of higher gauge theory. For instance a 2-form gauge field such as the Kalb-Ramond field has gauge-of-gauge transformations. In the physics literature these are best known in their infinitesimal approximation, which are called ghost-of-ghost fields (for some historical reasons). In fact physicists know the infinitesimal “Lie algebroid” version of Lie groupoids and their higher versions as BRST complexes.
This means that in general it makes no sense to ask whether two gauge transformations are equal or not. What makes sense is to ask for a gauge-of-gauge transformation that turns one into the other
Now it is clear that gauge-of-gauge transformations may be composed with each other, and that, being equivalences, they have inverses under this composition. Moreover, this composition of gauge-of-gauge transformations is to be compatible with the already existing composition of the first order gauge transformations themselves. This structure, when made explicit, is in mathematics called a 2-groupoid or homotopy 2-type.
But now it is clear that this pattern continues: next we may have a yet higher gauge theory, for instance that of a 3-form C-field, and then there are third order gauge transformations which we must use to identify, when possible, second order gauge transformations. They may in turn be composed and have inverses under this composition, and the resulting structure, when made explicit, is called a 3-groupoid or homotopy 3-type.
This logic of the gauge principle keeps applying, and hence we obtain an infinite sequence of concepts, which at stage $n \in \mathbb{N}$ are called n-groupoids or homotopy n-types. The limiting case where we never assume that some high order gauge-of-gauge transformation has no yet higher order transformations between them, the structure in this limiting case accordingly goes by the name of infinity-groupoid or just homotopy type.
One way to make this idea of $\infty$-groupoids precise is to model them as Kan complexes. This we now explain.
$\,$
We first review now “bare” homotopy types, meaning: homotopy types without any further geometric structure. Further below we equip bare homotopy types with smooth geometric structure and speak of smooth homotopy types.
This distinction between bare and smooth homotopy types is easily understood: bare homotopy types generalize discrete groups and groupoids (groupoids are homotopy 1-types), while smooth homotopy types generalize Lie groups and Lie groupoids (and diffeological groups and diffeological groupoids etc.).
Beware that there is a deep fact which, when handled improperly, may mislead to suggest that there is geometry already in bare homotopy types. Namely each topological space represents a bare homotopy type and every bare homotopy type is represented by some topological space, up to equivalence (we come to this below). Due to this, it turns out that for instance every bare ∞-group is presented by a topological group. Nevertheless, however, the categories (in fact: (∞,1)-categories) of topological groups and of ∞-groups are not equivalent. Rather, the bare homotopy type represented by a topological space $X$ has the interpretation as being the fundamental ∞-groupoid of that topological space, a generalization of the more familiar fundamental groupoid. In passing from topological spaces to their fundamental ($\infty$-)groupoids the topological cohesion between their points is forgotten, and only the “shape” of the topological space is retained.
An ∞-groupoid is, first of all, supposed to be a structure that has k-morphisms for all $k \in \mathbb{N}$, which for $k \geq 1$ go between $(k-1)$-morphisms. A useful tool for organizing such collections of morphisms is the notion of a simplicial set. This is a functor on the opposite category of the simplex category $\Delta$, whose objects are the abstract cellular $k$-simplices, denoted $[k]$ or $\Delta[k]$ for all $k \in \mathbb{N}$, and whose morphisms $\Delta[k_1] \to \Delta[k_2]$ are all ways of mapping these into each other. So we think of such a simplicial set given by a functor
as specifying
a set $[0] \mapsto K_0$ of objects;
a set $[1] \mapsto K_1$ of morphisms;
a set $[2] \mapsto K_2$ of 2-morphisms;
a set $[3] \mapsto K_3$ of 3-morphisms;
and generally
as well as specifying
functions $([n] \hookrightarrow [n+1]) \mapsto (K_{n+1} \to K_n)$ that send $n+1$-morphisms to their boundary $n$-morphisms;
functions $([n+1] \to [n]) \mapsto (K_{n} \to K_{n+1})$ that send $n$-morphisms to identity $(n+1)$-morphisms on them.
The fact that $K$ is supposed to be a functor enforces that these assignments of sets and functions satisfy conditions that make consistent our interpretation of them as sets of $k$-morphisms and source and target maps between these. These are called the simplicial identities.
But apart from this source-target matching, a generic simplicial set does not yet encode a notion of composition of these morphisms.
For instance for $\Lambda^1[2]$ the simplicial set consisting of two attached 1-cells
and for $(f,g) : \Lambda^1[2] \to K$ an image of this situation in $K$, hence a pair $x_0 \stackrel{f}{\to} x_1 \stackrel{g}{\to} x_2$ of two composable 1-morphisms in $K$, we want to demand that there exists a third 1-morphisms in $K$ that may be thought of as the composition $x_0 \stackrel{h}{\to} x_2$ of $f$ and $g$. But since we are working in higher category theory, we want to identify this composite only up to a 2-morphism equivalence
From the picture it is clear that this is equivalent to demanding that for $\Lambda^1[2] \hookrightarrow \Delta[2]$ the obvious inclusion of the two abstract composable 1-morphisms into the 2-simplex we have a diagram of morphisms of simplicial sets
A simplicial set where for all such $(f,g)$ a corresponding such $h$ exists may be thought of as a collection of higher morphisms that is equipped with a notion of composition of adjacent 1-morphisms.
For the purpose of describing groupoidal composition, we now want that this composition operation has all inverses. For that purpose, notice that for
the simplicial set consisting of two 1-morphisms that touch at their end, hence for
two such 1-morphisms in $K$, then if $g$ had an inverse $g^{-1}$ we could use the above composition operation to compose that with $h$ and thereby find a morphism $f$ connecting the sources of $h$ and $g$. This being the case is evidently equivalent to the existence of diagrams of morphisms of simplicial sets of the form
Demanding that all such diagrams exist is therefore demanding that we have on 1-morphisms a composition operation with inverses in $K$.
In order for this to qualify as an $\infty$-groupoid, this composition operation needs to satisfy an associativity law up to coherent 2-morphisms, which means that we can find the relevant tetrahedras in $K$. These in turn need to be connected by pentagonators and ever so on. It is a nontrivial but true and powerful fact, that all these coherence conditions are captured by generalizing the above conditions to all dimensions in the evident way:
let $\Lambda^i[n] \hookrightarrow \Delta[n]$ be the simplicial set – called the $i$th $n$-horn – that consists of all cells of the $n$-simplex $\Delta[n]$ except the interior $n$-morphism and the $i$th $(n-1)$-morphism.
Then a simplicial set is called a Kan complex, if for all images $f : \Lambda^i[n] \to K$ of such horns in $K$, the missing two cells can be found in $K$- in that we can always find a horn filler $\sigma$ in the diagram
The basic example is the nerve $N(C) \in sSet$ of an ordinary groupoid $C$, which is the simplicial set with $N(C)_k$ being the set of sequences of $k$ composable morphisms in $C$. The nerve operation is a full and faithful functor from 1-groupoids into Kan complexes and hence may be thought of as embedding 1-groupoids in the context of general ∞-groupoids.
The concept of simplicial sets and of Kan complexes is secretly well familiar from the singular simplicial complex construction from the definition of singular homology and singular cohomology. In our context we may think of the singular simplicial complex of a topological space as being its fundamental infinity-groupoid of paths and higher paths. We here briefly review the standard definition and properties of the singular simplicial complex.
$\,$
For $n \in \mathbb{N}$, the topological n-simplex is, up to homeomorphism, the topological space whose underlying set is the subset
of the Cartesian space $\mathbb{R}^{n+1}$, and whose topology is the subspace topology induces from the canonical topology in $\mathbb{R}^{n+1}$.
The coordinate expression in def. – also known as barycentric coordinates – is evidently just one of many possible ways to present topological $n$-simplices. Another common choice are what are called Cartesian coordinates. Of course nothing of relevance will depend on which choice of coordinate presentation is used, but some are more convenient in some situations than others.
In low dimension the topological $n$-simplices of def. look as follows.
For $n = 0$ this is the point, $\Delta^0 = *$.
For $n = 1$ this is the standard interval object $\Delta^1 = [0,1]$.
For $n = 2$ this is the filled triangle.
For $n = 3$ this is the filled tetrahedron.
For $n \in \mathbb{N}$, $\n \geq 1$ and $0 \leq k \leq n$, the $k$th $(n-1)$-face (inclusion) of the topological $n$-simplex, def. , is the subspace inclusion
induced under the coordinate presentation of def. , by the inclusion
which “omits” the $k$th canonical coordinate:
The inclusion
is the inclusion
of the “right” end of the standard interval. The other inclusion
is that of the “left” end $\{0\} \hookrightarrow [0,1]$.
For $n \in \mathbb{N}$ and $0 \leq k \lt n$ the $k$th degenerate $(n)$-simplex (projection) is the surjective map
induced under the barycentric coordinates of def. under the surjection
which sends
For $X \in$ Top a topological space and $n \in \mathbb{N}$ a natural number, a singular $n$-simplex in $X$ is a continuous map
from the topological $n$-simplex, def. , to $X$.
Write
for the set of singular $n$-simplices of $X$.
So to a topological space $X$ is associated a sequence of sets
of singular simplices. Since the topological $n$-simplices $\Delta^n$ from def. sit inside each other by the face inclusions of def.
and project onto each other by the degeneracy maps, def.
we dually have functions
that send each singular $n$-simplex to its $k$-face and functions
that regard an $n$-simplex as beign a degenerate (“thin”) $(n+1)$-simplex. All these sets of simplicies and face and degeneracy maps between them form the following structure.
A simplicial set $S \in sSet$ is
for each $n \in \mathbb{N}$ a set $S_n \in Set$ – the set of $n$-simplices;
for each injective map $\delta_i : \overline{n-1} \to \overline{n}$ of totally ordered sets $\bar n \coloneqq \{ 0 \lt 1 \lt \cdots \lt n \}$
a function $d_i : S_{n} \to S_{n-1}$ – the $i$th face map on $n$-simplices;
for each surjective map $\sigma_i : \overline{n+1} \to \bar n$ of totally ordered sets
a function $\sigma_i : S_{n} \to S_{n+1}$ – the $i$th degeneracy map on $n$-simplices;
such that these functions satisfy the simplicial identities.
These face and degeneracy maps satisfy the following simplicial identities (whenever the maps are composable as indicated):
$d_i \circ d_j = d_{j-1} \circ d_i$ if $i \lt j$,
$s_i \circ s_j = s_j \circ s_{i-1}$ if $i \gt j$.
$d_i \circ s_j = \left\{ \array{ s_{j-1} \circ d_i & if \; i \lt j \\ id & if \; i = j \; or \; i = j+1 \\ s_j \circ d_{i-1} & if i \gt j+1 } \right.$
It is straightforward to check by explicit inspection that the evident injection and restriction maps between the sets of singular simplices make $(Sing X)_\bullet$ into a simplicial set. We now briefly indicate a systematic way to see this using basic category theory, but the reader already satisfied with this statement should skip ahead to the Singular chain complex.
The simplex category $\Delta$ is the full subcategory of Cat on the free categories of the form
This is called the “simplex category” because we are to think of the object $[n]$ as being the “spine” of the $n$-simplex. For instance for $n = 2$ we think of $0 \to 1 \to 2$ as the “spine” of the triangle. This becomes clear if we don’t just draw the morphisms that generate the category $[n]$, but draw also all their composites. For instance for $n = 2$ we have_
A functor
from the opposite category of the simplex category to the category Set of sets is canonically identified with a simplicial set, def. .
One checks by inspection that the simplicial identities characterize precisely the behaviour of the morphisms in $\Delta^{op}([n],[n+1])$ and $\Delta^{op}([n],[n-1])$.
This makes the following evident:
The topological simplices from def. arrange into a cosimplicial object in Top, namely a functor
With this now the structure of a simplicial set on $(Sing X)_\bullet$ is manifest: it is just the nerve of $X$ with respect to $\Delta^\bullet$, namely:
For $X$ a topological space its simplicial set of singular simplicies (often called the singular simplicial complex)
is given by composition of the functor from example with the hom functor of Top:
The singular simplicial complex, def. , has a further special property which we discuss now.
For each $i$, $0 \leq i \leq n$, the $(n,i)$-horn or $(n,i)$-box is the subsimplicial set
which is the union of all faces except the $i^{th}$ one.
This is called an outer horn if $k = 0$ or $k = n$. Otherwise it is an inner horn.
The inner horn, def. of the 2-simplex
with boundary
looks like
The two outer horns look like
and
respectively.
A Kan complex is a simplicial set $S$ that satisfies the Kan condition,
which says that all horns of the simplicial set have fillers/extend to simplices;
which means equivalently that the unique homomorphism $S \to pt$ from $S$ to the point (the terminal simplicial set) is a Kan fibration;
which means equivalently that for all diagrams in sSet of the form
there exists a diagonal morphism
completing this to a commuting diagram;
which in turn means equivalently that the map from $n$-simplices to $(n,i)$-horns is an epimorphism
The singular simplicial complex $Sing(X)$ , def. , of any topological space $X$ is a Kan complex, def. .
Write ${\vert \Lambda^i[n] \vert} \subset \mathbb{R}^{n+1}$ for the topological horn, the subspace of the topological $n$-simplex consisting of its boundary but excluding the interior of its $i$th face. From the geometry is clear that there exists a projection $\Delta^n \to {\vert \Lambda^i[n] \vert}$ which is a retract, in that the composite
is the identity. This provides the required fillers: if
is a given horn in the singular simplicial complex, then the composite
is a filler.
A (small) groupoid $\mathcal{G}_\bullet$ is
a pair of sets $\mathcal{G}_0 \in Set$ (the set of objects) and $\mathcal{G}_1 \in Set$ (the set of morphisms)
equipped with functions
where the fiber product on the left is that over $\mathcal{G}_1 \stackrel{t}{\to} \mathcal{G}_0 \stackrel{s}{\leftarrow} \mathcal{G}_1$,
such that
$i$ takes values in endomorphisms;
$\circ$ defines a partial composition operation which is associative and unital for $i(\mathcal{G}_0)$ the identities; in particular
$s (g \circ f) = s(f)$ and $t (g \circ f) = t(g)$;
every morphism has an inverse under this composition.
This data is visualized as follows. The set of morphisms is
and the set of pairs of composable morphisms is
The functions $p_1, p_2, \circ \colon \mathcal{G}_2 \to \mathcal{G}_1$ are those which send, respectively, these triangular diagrams to the left morphism, or the right morphism, or the bottom morphism.
For $X$ a set, it becomes a groupoid by taking $X$ to be the set of objects and adding only precisely the identity morphism from each object to itself
For $G$ a group, its delooping groupoid $(\mathbf{B}G)_\bullet$ has
$(\mathbf{B}G)_0 = \ast$;
$(\mathbf{B}G)_1 = G$.
For $G$ and $K$ two groups, group homomorphisms $f \colon G \to K$ are in natural bijection with groupoid homomorphisms
In particular a group character $c \colon G \to U(1)$ is equivalently a groupoid homomorphism
Here, for the time being, all groups are discrete groups. Since the circle group $U(1)$ also has a standard structure of a Lie group, and since later for the discussion of Chern-Simons type theories this will be relevant, we will write from now on
to mean explicitly the discrete group underlying the circle group. (Here “$\flat$” denotes the “flat modality”.)
For $X$ a set, $G$ a discrete group and $\rho \colon X \times G \to X$ an action of $G$ on $X$ (a permutation representation), the action groupoid or homotopy quotient of $X$ by $G$ is the groupoid
with composition induced by the product in $G$. Hence this is the groupoid whose objects are the elements of $X$, and where morphisms are of the form
for $x_1, x_2 \in X$, $g \in G$.
As an important special case we have:
For $G$ a discrete group and $\rho$ the trivial action of $G$ on the point $\ast$ (the singleton set), the corresponding action groupoid according to def. is the delooping groupoid of $G$ according to def. :
Another canonical action is the action of $G$ on itself by right multiplication. The corresponding action groupoid we write
The constant map $G \to \ast$ induces a canonical morphism
This is known as the $G$-universal principal bundle. See below in for more on this.
For $\mathcal{G}_\bullet$ a groupoid, def. , its simplicial nerve $N(\mathcal{G}_\bullet)_\bullet$ is the simplicial set with
the set of sequences of composable morphisms of length $n$, for $n \in \mathbb{N}$;
with face maps
being,
for $n = 0$ the functions that remembers the $k$th object;
for $n \geq 1$
the two outer face maps $d_0$ and $d_n$ are given by forgetting the first and the last morphism in such a sequence, respectively;
the $n-1$ inner face maps $d_{0 \lt k \lt n}$ are given by composing the $k$th morphism with the $k+1$st in the sequence.
The degeneracy maps
are given by inserting an identity morphism on $x_k$.
Spelling this out in more detail: write
for the set of sequences of $n$ composable morphisms. Given any element of this set and $0 \lt k \lt n$, write
for the comosition of the two morphism that share the $i$th vertex.
With this, face map $d_k$ acts simply by “removing the index $k$”:
Similarly, writing
for the identity morphism on the object $x_k$, then the degenarcy map acts by “repeating the $k$th index”
This makes it manifest that these functions organise into a simplicial set.
These collections of maps in def. satisfy the simplicial identities, hence make the nerve $\mathcal{G}_\bullet$ into a simplicial set. Moreover, this simplicial set is a Kan complex, where each horn has a unique filler (extension to a simplex).
(A 2-coskeletal Kan complex.)
The nerve operation constitutes a full and faithful functor
In the familiar construction of singular homology recalled above one constructs the alternating face map chain complex of the simplicial abelian group of singular simplices, def. . This construction is natural and straightforward, but the result chain complex tends to be very “large” even if its chain homology groups end up being very “small”. But in the context of homotopy theory one is to consider all objects notup to isomorphism, but of to weak equivalence, which for chain complexes means up to quasi-isomorphisms. Hence one should look for the natural construction of “smaller” chain complexes that are still quasi-isomorphic to these alternating face map complexes. This is accomplished by the normalized chain complex construction:
For $A$ a simplicial abelian group its alternating face map complex $(C A)_\bullet$ of $A$ is the chain complex which
in degree $n$ is given by the group $A_n$ itself
with differential given by the alternating sum of face maps (using the abelian group structure on $A$)
Using the simplicial identity, prop. , $d_i \circ d_j = d_{j-1} \circ d_i$ for $i \lt j$ one finds:
Given a simplicial abelian group $A$, its normalized chain complex or Moore complex is the $\mathbb{N}$-graded chain complex $((N A)_\bullet,\partial )$ which
is in degree $n$ the joint kernel
of all face maps except the 0-face;
with differential given by the remaining 0-face map
We may think of the elements of the complex $N A$, def. , in degree $k$ as being $k$-dimensional disks in $A$ all whose boundary is captured by a single face:
an element $g \in N G_1$ in degree 1 is a 1-disk
an element $h \in N G_2$ is a 2-disk
a degree 2 element in the kernel of the boundary map is such a 2-disk that is closed to a 2-sphere
etc.
Given a simplicial group $A$ (or in fact any simplicial set), then an element $a \in A_{n+1}$ is called degenerate (or thin) if it is in the image of one of the simplicial degeneracy maps $s_i \colon A_n \to A_{n+1}$. All elements of $A_0$ are regarded a non-degenerate. Write
for the subgroup of $A_{n+1}$ which is generated by the degenerate elements (i.e. the smallest subgroup containing all the degenerate elements).
For $A$ a simplicial abelian group its alternating face maps chain complex modulo degeneracies, $(C A)/(D A)$ is the chain complex
which in degree 0 equals is just $((C A)/D(A))_0 \coloneqq A_0$;
which in degree $n+1$ is the quotient group obtained by dividing out the group of degenerate elements, def. :
whose differential is the induced action of the alternating sum of faces on the quotient (which is well-defined by lemma ).
Def. is indeed well defined in that the alternating face map differential respects the degenerate subcomplex.
Using the mixed simplicial identities we find that for $s_j(a) \in A_n$ a degenerate element, its boundary is
which is again a combination of elements in the image of the degeneracy maps.
Given a simplicial abelian group $A$, the evident composite of natural morphisms
from the normalized chain complex, def. , into the alternating face map complex modulo degeneracies, def. , (inclusion followed by projection to the quotient) is a natural isomorphism of chain complexes.
For $A$ a simplicial abelian group, there is a splitting
of the alternating face map complex, def. as a direct sum, where the first direct summand is naturally isomorphic to the normalized chain complex of def. and the second is the degenerate cells from def. .
By prop. there is an inverse to the diagonal composite in
This hence exhibits a splitting of the short exact sequence given by the quotient by $D A$.
Given a simplicial abelian group $A$, then the inclusion
of the normalized chain complex, def. into the full alternating face map complex, def. , is a natural quasi-isomorphism and in fact a natural chain homotopy equivalence, i.e. the complex $D_\bullet(X)$ is null-homotopic.
Given a simplicial abelian group $A$, then the projection chain map
from its alternating face maps complex, def. , to the alternating face map complex modulo degeneracies, def. , is a quasi-isomorphism.
Consider the pre-composition of the map with the inclusion of the normalized chain complex, def. .
By theorem the vertical map is a quasi-isomorphism and by prop. the composite diagonal map is an isomorphism, hence in particular also a quasi-isomorphism. Since quasi-isomorphisms satisfy the two-out-of-three property, it follows that also the map in question is a quasi-isomorphism.
Consider the 1-simplex $\Delta[1]$ regarded as a simplicial set, and write $\mathbb{Z}[\Delta[1]]$ for the simplicial abelian group which in each degree is the free abelian group on the simplices in $\Delta[1]$.
This simplicial abelian group starts out as
(where we are indicating only the face maps for notational simplicity).
Here the first $\mathbb{Z}^2 = \mathbb{Z}\oplus \mathbb{Z}$, the direct sum of two copies of the integers, is the group of 0-chains generated from the two endpoints $(0)$ and $(1)$ of $\Delta[1]$, i.e. the abelian group of formal linear combinations of the form
The second $\mathbb{Z}^3 \simeq \mathbb{Z}\oplus \mathbb{Z}\oplus \mathbb{Z}$ is the abelian group generated from the three (!) 1-simplicies in $\Delta[1]$, namely the non-degenerate edge $(0\to 1)$ and the two degenerate cells $(0 \to 0)$ and $(1 \to 1)$, hence the abelian group of formal linear combinations of the form
The two face maps act on the basis 1-cells as
Now of course most of the (infinitely!) many simplices inside $\Delta[1]$ are degenerate. In fact the only non-degenerate simplices are the two 0-cells $(0)$ and $(1)$ and the 1-cell $(0 \to 1)$. Hence the alternating face maps complex modulo degeneracies, def. , of $\mathbb{Z}[\Delta[1]]$ is simply this:
Notice that alternatively we could consider the topological 1-simplex $\Delta^1 = [0,1]$ and its singular simplicial complex $Sing(\Delta^1)$ in place of the smaller $\Delta[1]$, then the free simplicial abelian group $\mathbb{Z}(Sing(\Delta^1))$ of that. The corresponding alternating face map chain complex $C(\mathbb{Z}(Sing(\Delta^1)))$ is “huge” in that in each positive degree it has a free abelian group on uncountably many generators. Quotienting out the degenerate cells still leaves uncountably many generators in each positive degree (while every singular $n$-simplex in $[0,1]$ is “thin”, only those whose parameterization is as induced by a degeneracy map are actually regarded as degenerate cells here). Hence even after normalization the singular simplicial chain complex is “huge”. Nevertheless it is quasi-isomorphic to the tiny chain complex found above.
The statement of the Dold-Kan correspondence now is the following.
For $A$ an abelian category there is an equivalence of categories
between
the category of simplicial objects in $A$;
the category of connective chain complexes in $A$;
where
For the case that $A$ is the category Ab of abelian groups, the functors $N$ and $\Gamma$ are nerve and realization with respect to the cosimplicial chain complex
that sends the standard $n$-simplex to the normalized Moore complex of the free simplicial abelian group $F_{\mathbb{Z}}(\Delta^n)$ on the simplicial set $\Delta^n$, i.e.
Given a chain complex $V$, consider the 1-simplices of its incarnation $\Gamma(V)$ as a simplicial set. By theorem these correspond to the maps of chain complexes
from the normalized chains complex of the 1-simplex. By example the latter is
Hence a map of chain complexes as above is:
two group homomorphisms $\alpha,\beta \colon \mathbb{Z}\longrightarrow V_0$, hence equivalently two elements $\alpha,\beta \in V_0$;
one group homomorphism $\kappa \colon \mathbb{Z} \longrightarrow V_1$, hence equivalently an element $\kappa \in V_1$;
such that
i.e. such that
$\partial_V \kappa = \beta - \alpha$.
Generally we have the following
For $V \in Ch_\bullet^+$ the simplicial abelian group $\Gamma(V)$ is in degree $n$ given by
and for $\theta : [m] \to [n]$ a morphism in $\Delta$ the corresponding map $\Gamma(V)_n \to \Gamma(V)_m$
is given on the summand indexed by some $\sigma : [n] \to [k]$ by the composite
where
is the epi-mono factorization of the composite $[m] \stackrel{\theta}{\to} [n] \stackrel{\sigma}{\to} [k]$.
The natural isomorphism $\Gamma N \to Id$ is given on $A \in sAb^{\Delta^{op}}$ by the map
which on the direct summand indexed by $\sigma : [n] \to [k]$ is the composite
The natural isomorphism $Id \to N \Gamma$ is on a chain complex $V$ given by the composite of the projection
with the inverse
of
(which is indeed an isomorphism, as discussed at Moore complex).
With the explicit choice for $\Gamma N \stackrel{\simeq}{\to} Id$ as above we have that $\Gamma$ and $N$ form an adjoint equivalence $(\Gamma \dashv N)$
It follows that with the inverse structure maps, we also have an adjunction the other way round: $(N \dashv \Gamma)$.
Hence in concclusion the Dold-Kan correspondence allows us to regard chain complexes (in non-negative degree) as, in particular, special simplicial sets. In fact as simplicial sets they are Kan complexes and hence infinity-groupoids:
The simplicial set underlying any simplicial group (by forgetting the group structure) is a Kan complex.
In fact, not only are the horn fillers guaranteed to exist, but there is an algorithm that provides explicit fillers. This implies that constructions on a simplicial group that use fillers of horns can often be adjusted to be functorial by using the algorithmically defined fillers. An argument that just uses ‘existence’ of fillers can be refined to give something more ‘coherent’.
For detailed lecture notes see at geometry of physics – smooth sets and geometry of physics – smooth homotopy types.
$\,$
Where a simplicial set or Kan complex is a model for a bare homotopy type, in order to equip such with smooth structure we may just add the information that says for each Cartesian space $\mathbb{R}^n$ what the collection of smooth maps into our smooth-homotopy-type-to-be-described is. That collection should itslef be a Kan complex (exhibiting the fact that between any two smooth maps there may be equivalences, and higher order equivalences).
This means that we consider smooth homotopy types to be given by simplicial presheaves
By the Grothendieck nerve construction discussed above, every Lie groupoid $\mathcal{G}$ induces a simplicial presheaf, the one which to a test Cartesian space $U$ assigns the nerve of the bare groupoid of smooth functions into $\mathcal{G}$:
In particular for $G$ a Lie group with $\mathbf{B}G$ the corresponding one-object Lie groupoid, then its incarnation as a simplicial sheaf is
By the Dold-Kan correspondence discussed above, every presheaf of chain complexes on CartSp presents a simplicial presheaf. In particular every bare chain complex gives a constant simplicial presheaf. Let $A$ be a discrete abelian group and write $A[n]$ for the chain complex concentrated on $A$ in degree $n$, then we write
for the corresponding simplicial presheaf.
On the other hand, let $C^\infty(-)\colon CartSp^{op} \longrightarrow Ab$ be the sheaf of smooth functions, regarded as taking values in additive abelian groups. Then we write
In contrast, the simplicial presheaf which comes from the real numbers regarded as a discrete group we write
In order to get the right homotopy theory of such smooth homotopy types, we just need to declare that a morphism between two such simplicial presheaves is a weak equivalence if it restricts to a weak homotopy equivalence between simplicial sets/Kan complexes on small enough neighbourhoods (i.e. stalks) around any point.
We write
for the resulting homotopy theory of simplicial presheaves with weak equivalences the stalk-wise weak homotopy equivalences. Technically this is the (∞,1)-topos which arises from simplicial localization of the simplicial presheaves at the local weak homotopy equivalences. In practice, the main point to know about this is that it means that for $X$ and $A$ two presheaves with values in Kan complexes, then a homomorphism between them in $L_{lwhe} PSh(CartSp,Set)$ is in general a span of plain morphisms in $L_{lwhe} PSh(CartSp,Set)$,
where the left morphism, is a stalkwise weak homotopy equivalence. This just means that when mapping between the simplicial presheaves, we need to remember that we may replace the domain by locally weakly equivalent object.
This procedure of exhibiting morphisms in a homotopy they by spans in a more naive theory is more widely known in the context of Lie groupoids, where such spans are known as Morita morphisms or Hilsum-Skandalis morphisms or groupoid bibundles or what not. These are the special case of the above spans when $X$ and $Y$ happen to be (the simplicial presheaves represented by) Lie groupoids. More technical discussion of what is really going on here is at category of fibrant objects.
For $X$ a smooth manifold and $G$ a Lie group, they represent simplicial sheaves $X$ and $\mathbf{B}G$ via example . A morphism from $X$ to $\mathbf{B}G$ in the homotopy theory of smooth homotopy types may pass through an locally weakly equivalent resolution of $X$. Such is given by any choice of open cover $\{U_i \to X\}$. Let $C(\{U_i\})$ be the corresponding Cech nerve, then a span as above is given by
Inspection shows that here the top morphism is equivalently a Cech cocycle on $X$ with coefficients in $G$, representing a $G$-principal bundle on $X$.
For more lecture notes on this see at geometry of physics – principal bundles.
We write
for the incarnation of the Deligne complex (in the given degrees) as a simplicial presgeaf, via the Dold-Kan correspondence.
Then for $X$ a smooth manifold as in example , a morphism from $X$ to \mathbf[B}^{p+1}(\mathbb{R}/\Gamma)_{conn}
in the homotopy theory of simplicial presheaves is equivalently a choice $\mathbf[B}\{U_i \to X\}$ of a good open cover and a span
Inspection shows that these are equivalently the Cech-Deligne cocyles discussed above.
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
Notice that the abstractly define Maurer-Cartan form $\theta_G \;\colon\; G \longrightarrow \flat_{dR}\mathbf{B}G$ is, for $G$ a general smooth infinity-group, generically modeled not by a globally defined ordinary differential form, but by a Cech cocycle with coefficients in a simplicial complex of differential forms. The following definition is usefully thought of as constructing the universal cover $\widetilde G \longrightarrow G$ such that pulled back to this $\widetilde G$ the abstractly defined Maurer-Cartan form does become equivalent to a globally defined flat $\mathfrak{g}$-valued differential form. This in turn may be thought of as one of the defining properties of higher WZW terms: that their curvature is a globally defined and left invariant flat $\mathfrak{g}$-valued differential form.
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.
Open problem:
$\;\;$ Understand M-theory from first principles, not via perturbative string theory.
Theorem reviewed here:
$\;\;$Much of the known/expected structure of M-theory
$\;\;$follows from analysis of the superpoint
$\;\;$in super Lie n-algebra homotopy theory.
Based on Fiorenza-Sati-Schreiber 13, 16a, 16b.
$\,$
If history is a good guide, then we should expect that anything as profound and far-reaching as a fully satisfactory formulation of M-theory is surely going to lead to new and novel mathematics. Regrettably, it is a problem the community seems to have put aside - temporarily. But, ultimately, Physical Mathematics must return to this grand issue. (G. Moore, p. 45 of “Physical Mathematics and the Future”, talk at Strings 2014)
Everything we say below follows
by developing this elementary phenomenon (highlighted in Schreiber 15):
Consider the superpoint
regarded as an abelian super Lie algebra.
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
Its maximal central extension is
the $d = 3$, $N = 1$ super Minkowski spacetime
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.
$\,$
Recall that
$d$-dimensional central extensions of super Lie algebras $\mathfrak{g}$
are classified by 2-cocycles.
These are super-skew symmetric bilinear maps
satisfying a cocycle condition.
The extension $\widehat{\mathfrak{g}}$ that this classifies
has underlying super vector space
the direct sum
an the new super Lie bracket is given
on pairs $(x,c) \in \mathfrak{g} \oplus \mathbb{R}^d$
by
The condition that the new bracket $[-,-]_{\mu_2}$ satisfies the super Jacobi identity
is equivalent to the cocycle condition on $\mu_2$.
Now
in the case that $\mathfrak{g} = \mathbb{R}^{0\vert q}$,
then the cocycle condition is trivial
and a 2-cocycle is just a symmetric bilinear form
on the $q$ fermionic dimensions.
So
in the case $\mathfrak{g} = \mathbb{R}^{0\vert 1}$
there is a unique such, up to scale, namely
But
in the case $\mathfrak{g} = \mathbb{R}^{0\vert 2}$
there is a 3-dimensional space of 2-cocycles, namely
If this is identified with the three coordinates
of 3d Minkowski spacetime
then the pairing is the claimed one
(see at supersymmetry – in dimensions 3,4,6,10).
$\,$
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)$.
$\,$
Side remark: 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-Minkoski spacetimes.
$\,$
Conclusion:
Just from studying iterated invariant central extensions
starting with the superpoint,
we (re-)discover
$\,$
May we extend further?
$\,$
$\,$
There are no further invariant 2-cocycles on
But there is an invariant 3-cocycle.
$\,$
There are no further invariant 2-cocycles on $\mathbb{R}^{10,1\vert \mathbf{32}}$
But there is an invariant 4-cocycle.
$\,$
So:
What are higher super Lie algebra cocycles?
And what kind of extensions do they classify?
$\,$
Quick answer:
Higher cocycles are closed elements in a Chevalley-Eilenberg algebra.
They classify super Lie-∞ algebra extensions.
$\,$
This we explain now.
$\,$
For $\mathfrak{g}$ a super Lie algebra
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).
The sign rule is
A $(p+2)$-cocycle on $\mathfrak{g}$
is an element of degree $(p+2,0)$ in $CE(\mathfrak{g})$
which is $d_{\mathbb{g}}$ closed. It is non-trivial if it is not $d_{\mathfrak{g}}$-exact.
$\,$
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 .
$\,$
For $d \in \mathbb{N}$
and $\mathbf{N}$ a Majorana spin representation of $Spin(d-1,1)$
then the super-translation supersymmetry super Lie algebra $\mathbb{R}^{d-1,1\vert \mathbf{N}}$
has Chevalley-Eilenberg algebra generated by
$\{e^a\}_{a = 0}^{d-1}$ in bi-degree $(1,even)$;
$\{\psi_\alpha\}_{\alpha = 1}^N$ in bi-degree $(1,odd)$.
with differential
where
is the standard spinor bilinear pairing
in the spin representation $\mathbf{N}$.
$\,$
If we think of super Minkowski spacetime
as the supermanifold with
even coordinates $\{x^a\}_{a = 0}^{d-1}$;
odd coordinates $\{\theta_\alpha\}_{\alpha = 1}^N$
then these generators 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.
$\,$
$\,$
The 2-cocycle that classifies the extension
is
Regarded as a 2-form on $\mathbb{R}^{9,1\vert \mathbf{32}}$,
this is the curvature of the WZW-term
in the Green-Schwarz sigma-model for the D0-brane.
See below.
$\,$
(Achúcarro-Evans-Townsend-Wiltshire 87, Brandt 12-13)
The maximal invariant 3-cocycle on 10d super Minkowski spacetime is
This is the WZW term for the Green-Schwarz superstring (Green-Schwarz 84).
The maximal invariant 4-cocycle on 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.
$\,$
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
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.
$\,$
Now we discuss that higher cocycles classify higher extensions:
$\,$
First observe that
Homomorphisms of super Lie algebras
are in natural bijection with the homomorphisms of dg-algebras
between their Chevalley-Eilenberg algebra, going the opposite direction:
This means that we may identify super Lie algebras with their CE-algebras.
In the terminology of category theory: the functor
given by
is fully faithful.
$\,$
Therefore is natural to make the following definition.
$\,$
A super Lie-infinity algebra of finite type is
a $\mathbb{Z}$-graded super vector space $\mathfrak{g}$
degreewise of finite dimension
for all $n \geq 1$ a multilinear map
of degree $(-1,even)$
such that
the graded derivation on the super-Grassmann algebra $\wedge^\bullet \mathfrak{g}^\ast$ given by
squares to zero:
and hence defines a dg-algebra
A homomorphism of super $L_\infty$-algebras is dually a homomorphism of their CE-algebras.
$\,$
If $\mathfrak{g}$ is concentrated
in degrees $0$ to $n-1$
we call it a super Lie n-algebra.
$\,$
Side remark:
We may drop the assumption of degreewise finiteness
by regarding $\vee^\bullet \mathfrak{g}$ as a free graded co-commutative coalgebra
and $D \coloneqq [-] + [-,-] + [-,-,-] + \cdots$ as a differential
making a differential graded coalgebra.
$\,$
$L_\infty$-algebras in the sense of def. were introduced in Lada-Stasheff 92.
That they are fully characterized
by their Chevalley-Eilenberg dg-(co-)algebras
is due to Lada-Markl 94.
See Sati-Schreiber-Stasheff 08, around def. 13.
$\,$
But in fact the CE-algebras of super $L_\infty$-algebras of finite type
were implicitly introduced
as tools for the higher super Cartan geometry of supergravity
already in D’Auria-Fré 82 (see D'Auria-Fré formulation of supergravity)
where they were called FDAs.
higher Lie theory | supergravity |
---|---|
$\,$ super Lie n-algebra $\mathfrak{g}$ $\,$ | $\,$ “FDA” $CE(\mathfrak{g})$ $\,$ |
$\,$
However,
what has not been used in the “FDA” literature
is that $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.
$\,$
(Fiorenza-Sati-Schreiber 13, prop. 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}$:
$\,$
The homotopy fiber of a 2-cocycle
is the classical central extension
that it classifies.
$\,$
Conclusion.
$\;\;$ The higher central extensions
$\;\;$ classified by higher cocycles
$\;\;$ are their homotopy fibers.
$\,$
This way we may finally continue
the progression of invariant central extensions
to higher central extensions:
$\,$
$\,$
Name the homotopy fibers of the cocycles
which are the higher WZW terms
of the superstring and the supermembrane
as follows
$\,$
$\,$
$\,$
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 a maximal invariant higher central extension, not all invariant 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.)
$\,$
The “old brane scan” ran into a conundrum:
Given that superstrings and supermembranes
are nicely classified by super Lie algebra cohomology
why do the other super p-branes not show up similarly?
Where are the D-branes and the M5-brane?
$\,$
But now we see that we should look for
further higher cocycles
not on super Lie algebras
but on super L-∞ algebras.
$\,$
(Chryssomalakos-Azcárraga-Izquierdo-Bueno 99, Sakaguchi 99, Fiorenza-Sati-Schreiber 13)
The higher WZW terms for the D-branes
are invariant super $L_\infty$-cocycles
on the higher extended super Minkowski spacetimes from above
Similarly,
the higher WZW term for the M5-brane
is an invariant super $L_\infty$ 7-cocycle
of the form
$\,$
By the above, these cocycles classify
further higher super $L_\infty$-algebra extensions
$\,$
Notice that all these are higher cocycles
except for that of the D0-brane, which is just a 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
$\,$
In conclusion:
by forming
iterated (maximal) invariant higher central super $L_\infty$-extensions
of the superpoint,
we obtain the following “brane bouquet”
$\,$
$\,$
Each object in this diagram of super L-∞ algebras
is a super spacetime or super p-brane of string theory / M-theory.
$\,$
Moreover, this diagram 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).
$\,$
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)
$\,$
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).
$\,$
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.
$\,$
We now discuss that
$\;\;\;\;$There is homotopy descent of $p$-brane WZW terms
$\;\;\;\;$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).
$\,$
In order to explain this we now first recall
the general nature of twisted cohomology
and its role in string theory.
$\,$
$\,$
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 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)$.
Hene the net Chan-Paton charge of coincident branes and anti-branes
is 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 the topological K-theory.
$\,$
It follows that also the RR-fields are in K-theory (Moore-Witten 00).
$\,$
Topological K-theory is similar to ordinary cohomology
but is a generalized (Eilenberg-Steenrod) cohomology theory.
A generalized cohomology theory is represented by a spectrum
(in the sense of stable homotopy theory):
A spectrum is sequence of pointed topological spaces
equipped with weak homotopy equivalences
from one to the loop space of the next.
$\$
Given this, then the $E$-cohomology of any topological space $X$ is
For topological K-theory one writes
with
with $U$ the stable unitary group,
and $B U$ the classifying space for complex vector bundles.
$\,$
But 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 field
sourced by a string condensate.
(Freed-Witten anomaly cancellation)
$\,$
Such twisted cohomology generalized cohomology is given by
a classifying space of twists $B G$
a spectrum object in the slice category $Top_{/B G}$, namely a sequence of spaces $E_n/G$ equipped with maps
and weak equivalences
Extremal examples:
an ordinary spectrum $E$
is a parameterized spectrum over the point;
an ordinary space $X$
is identified with the zero-spectrum parameterized over $X$:
Then
a twist $\tau$ for $E$-cohomology of $X$ is a map
the $\tau$-twisted $E$-cohomology of $X$ is
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 $G$-infinity-action.
(Nikolaus-Schreiber-Stevenson 12, section 4.1)
$\,$
Assume that $B G$ is simply connected, i.e. of the form $B^2 G$.
$\,$
We now translate this situation to super L-∞ algebras
via the central theorem of rational homotopy theory.
$\,$
$\,$
On every loop space $\Omega X$,
the operation of concatenation of loops
gives the structure of a group up to coherent higher homotopy
called a “grouplike A-∞ space”
or ∞-group for short.
$\,$
Conversely, for $G$ an ∞-group
there is an essentially unique connected space $B G$
with $G \;\simeq\; \Omega B G$.
$\,$
Every double loop space $\Omega \Omega X$
becomes a “first order abelian” ∞-group
by exchanging loop directons
called a braided ∞-group,
$\,$
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 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.
$\,$
We now say this is more detail:
Consider the type IIA super-Minkowski spacetime $\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}$, regarded as its super translation Lie algebra, as discussed above. All of the following has an analogue also for the type IIB super-Minkowski spacetime $\mathbb{R}^{9,1\vert \mathbf{16} + {\mathbf{16}}}$
The 3-cocycle in the old brane scan, as above, which gives the WZW term, of the Green-Schwarz sigma model for the type IIA string (the “F1-brane” in type IIA) is
Write
for the super Lie 2-algebra extension that the 3-cocycle induces according to def. . By prop. this is given by adjoining an element $f_2$ of degree $(2,even)$ to $CE(\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}})$ whose CE-differential is the 3-cocycle:
Here the homotopy fiber $\widehat{\mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}}}$ is the $\mathbf{B}\mathbb{R}$-principal ∞-bundle classified by the 3-cocycle $\mu_{F1}$ for the F1-brane (the type IIA superstring), just like the string Lie 2-algebra-extension of example , but now for the super-part of the symmetry group. Therefore this has sometimes been called the “superstring super Lie 2-algebra”.
Consider then the following inhomogeneous linear combination of elements in the CE-algebra of this super Lie 2-algebra.
Let $C \in CE(\widehat{\mathbb{R}^{9,1\vert \mathbf{16}+\overline{\mathbf{16}}}})$ be given by
For $p \in \{0,2,4,6,8, 10\}$ let $\mu_{Dp} \in CE(\widehat{\mathbb{R}^{9,1\vert \mathbf{16}+\overline{\mathbf{16}}}})$ be given by
where
and where the angular brackets denotes picking the homogeneous summand of degree $p+2$.
The elements $\mu_{Dp}$ in def. are non-trivial cocycles.
They are the WZW-terms for the Green-Schwarz sigma-model of the D-branes in type IIA super Minkowski spacetime.
This is due to (Chrysso?malakos-Azcárraga-Izquierdo-Bueno 99, section 6.1). Here we follow the conventions and presentation in (FSS 16a, section 4).
In conclusion, the super Minkowski spacetime $\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}$ – locally modeling super spacetimes in 10d type IIA supergravity – carries super $L_\infty$-extensions of the following form (FSS 13):
By the above (Nikolaus-Schreiber-Stevenson 12), asking whether the cocycles $\mu_{D p}$ for the D-branes are $\mathbf{B}\mathbb{R}$-equivariant and descend as twisted cocycles down to super-Minkowski spacetime is equivalent to asking whether there is a homotopy fiber sequence $\underset{p = 0,2,4,6}{\oplus} \mathbf{B}^{p+1}\mathbb{R} \to something \to \mathbf{B}^2\mathbb{R}$ and a homotopy-commuting diagram of the form
To that end, consider the following:
Write $\left(\underset{p = 0,2,4,6,8}{\oplus}\mathbf{B}^{2p+1}\mathbb{R}\right)/\mathbf{B} \mathbb{R}$ for the L-∞ algebra whose Chevalley-Eilenberg algebra has generators $\omega_2, \omega_4, \omega_6, \omega_8$ and $h_3$ in the indicated degrees, with non-trivial differential given by $d(\omega_{2(k+1)}) = h_3 \wedge \omega_{2k}$:
For $X$ a smooth manifold, then an L-∞ algebra valued differential forms, def. , on $X$ with values in the $L_\infty$-algebra of def.
is equivalently a collection of $(2p+2)$-form $G_{2p+2}\in \Omega^{2p+2}(X)$ together with a closed 3-form $H_3 \in \Omega^3(X)_{cl}$ such that
For $dim(X) \leq 10$ then this is equivalently a cocycle in the $H_3$-twisted de Rham complex of $X$.
The canonical morphisms
form a homotopy fiber sequence
The bottom morphism is clearly degreewise surjective, hence is a fibration between fibrant objects in $sL_\infty Alg$, according to prop. . Therefore according to this proposition its homotopy fiber is equivalent to its ordinary fiber. Dually this is the cofiber in $sdgAlg$ of the map that includes the generator $h_3$, and that is clearly given by sending $h_3$ to zero.
Write $\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}_{res}$ for the super $L_\infty$-algebra whose Chevalley-Eilenberg algebra is that of $\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}$ with generators $f_2$ and $h_3$ added, subject to $d_{res} f_2 = \mu_{F1} + h_3$.
The super Lie 2-algebra of def. is a resolution of the type IIA super translation Lie algebra, in that the canonical comparison morphism is a weak equivalence according to prop. :
According to prop. a morphism in $sL_\infty Alg$ is a weak equivalence if it induces a quasi-isomorphism on the co-unary part $d_{CE}^1 \colon \wedge^\bullet \mathfrak{g}^\ast \longrightarrow \wedge^{\bullet + 1}\mathfrak{g}^\ast$ of the Chevalley-Eilenberg algebra. This is manifestly the case by def. of $\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}_{res}$.
Hence we may use def. equivalently in place of $\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}$. Being a bigger equivalent model of type IIA supertranslations, it potentially serves as domain for more morphisms (it sees more of the derived hom space) in the homotopy theory for super L-infinity algebras in the following.
Indeed, the above descent problem has a solution as follows:
The F1/Dp-brane cocycles of type IIA fit into a commuting diagram in $sL_\infty Alg$ of the following form