Schreiber Structure Theory for Higher WZW Terms

Contents

\;\;\;\;\;\;\;\;\;\;\; 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)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)(p+2)-cocycle on any super L-∞ algebra 𝔤\mathfrak{g} to a WZW-type Deligne cocycle on a higher super group stack G˜\tilde G integrating 𝔤\mathfrak{g}. Every such higher WZW term serves as a local Lagrangian density, hence as an action functional for a pp-brane sigma model on G˜\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 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 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

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:

Contents

Motivation and Survey: 11d Supergravity with M-brane corrections

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 L M2/M5\mathbf{L}_{M2/M5} (a variant of the Green-Schwarz action functional). In summary we discuss here the following:

  1. There is a canonical cocycle L M2/M5 X\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;

  2. a definite globalization (L M2/M5 X+iα X)(\mathbf{L}^X_{M2/M5} + i \alpha^X) of the WZW term L M2+iα\mathbf{L}_{M2} + i \alpha is equivalently

    1. 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;

    2. which is equipped with the structure of a fibration with fibers G2-manifolds – the setup of M-theory on G2-manifolds;

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

  3. The higher cover of the superisometry group Iso(X,L M2/M5)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.

  4. The volume holonomy of (L M2 X+iα X)(\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):

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 (/2\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 GE_G do M-brane charges take values in?

brane theorygeneralized cohomology theory for brane charges
F1/Dp-branes in type II string theorytwisted K-theory
M2/M5 in M-theoryopen

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.

Session I

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

Deligne cohomology of manifolds

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)U(1)-principal connection \nabla with curvature F =ωF_\nabla = \omega.

The concept of a cocycle in degree-(p+2)(p+2) Deligne cohomology is precisely the generalization of this situation as ω\omega is generalized to a closed (p+2)(p+2)-form, for any pp \in \mathbb{N} and parallel transport is generalized to higher parallel transport over (p+1)(p+1)-dimensional “worldvolumes”. Generally one may think of such a cocycle as representing a circle (p+1)-bundle with connection. For p=1p = 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 XX be a smooth manifold and let {U iX}\{U_i \to X\} be an open cover. Consider then the following double complex.

0 0 0 Ω p+1( iU i) δ Ω p+1( i,jU ij) δ Ω p+1( i,j,kU ijk) δ d d d d d d Ω 2( iU i) δ Ω 2( i,jU ij) δ Ω 2( i,j,kU ijk) δ d d d Ω 1( iU i) δ Ω 1( i,jU ij) δ Ω 1( i,j,kU ijk) δ d d d C ( iU i,/) δ C ( i,jU ij,/) δ C ( i,j,kU ijk,/) δ \array{ 0 &\longrightarrow& 0 &\longrightarrow& 0 &\longrightarrow & \cdots \\ \uparrow && \uparrow && \uparrow \\ \Omega^{p+1}(\coprod_i U_i) &\stackrel{\delta}{\longrightarrow}& \Omega^{p+1}(\coprod_{i,j} U_{ i j}) &\stackrel{\delta}{\longrightarrow}& \Omega^{p+1}(\coprod_{i,j, k} U_{i j k}) &\stackrel{\delta}{\longrightarrow}& \cdots \\ \uparrow^{\mathrlap{d}} && \uparrow^{\mathrlap{d}} && \uparrow^{\mathrlap{d}} && \\ \vdots && \vdots && \vdots \\ \uparrow^{\mathrlap{d}} && \uparrow^{\mathrlap{d}} && \uparrow^{\mathrlap{d}} && \\ \Omega^2(\coprod_i U_i) &\stackrel{\delta}{\longrightarrow}& \Omega^2(\coprod_{i,j} U_{ i j}) &\stackrel{\delta}{\longrightarrow}& \Omega^2(\coprod_{i,j, k} U_{i j k}) &\stackrel{\delta}{\longrightarrow}& \cdots \\ \uparrow^{\mathrlap{d}} && \uparrow^{\mathrlap{d}} && \uparrow^{\mathrlap{d}} && \\ \Omega^1(\coprod_i U_i) &\stackrel{\delta}{\longrightarrow}& \Omega^1(\coprod_{i,j} U_{ i j}) &\stackrel{\delta}{\longrightarrow}& \Omega^1(\coprod_{i,j, k} U_{i j k}) &\stackrel{\delta}{\longrightarrow}& \cdots \\ \uparrow^{\mathrlap{d }} && \uparrow^{\mathrlap{d }} && \uparrow^{\mathrlap{d }} && \\ C^\infty(\coprod_i U_i, \mathbb{R}/\mathbb{Z}) &\stackrel{\delta}{\longrightarrow}& C^\infty(\coprod_{i,j} U_{i j}, \mathbb{R}/\mathbb{Z}) &\stackrel{\delta}{\longrightarrow}& C^\infty(\coprod_{i,j,k} U_{i j k}, \mathbb{R}/\mathbb{Z}) &\stackrel{\delta}{\longrightarrow}& \cdots }

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 nn the direct sum of the entries in this double complex which are on the nnth nw-se off-diagonal and has the total differential

D=d+(1) degδ D = d + (-1)^{deg} \delta

with degdeg denoting form degree. This is the Cech-Deligne complex of XX.

Example

A Cech-Deligne cocycle in degree 33 (“bundle gerbe with connection”) is data ({θ i},{A ij},{g ijk})(\{\theta_{i}\}, \{A_{i j}\}, \{g_{i j k}\}) such that

{θ i} δ {θ jθ i}=dA ij d {A ij} δ {A jk+A ikA ij}={dg ijk} d {g ijk} δ {g jklg ikl 1g ijlg ijk 1}=1 \array{ \{\theta_i\} &\stackrel{\delta}{\longrightarrow}& {{\{\theta_j - \theta_i\}} = {d A_{i j}}} && && \\ && \uparrow^{\mathrlap{d}} && && \\ && \{A_{i j}\} &\stackrel{\delta}{\longrightarrow}& \{-A_{ j k} + A_{i k} - A_{i j}\} = \{d g_{i j k}\} && \\ && && \uparrow^{\mathrlap{d }} && \\ && && \{g_{i j k}\} &\stackrel{\delta}{\longrightarrow}& \{g_{j k l} g_{i k l}^{-1} g_{i j l} g_{i j k}^{-1} \} = 1 }
Definition

The curvature of a Cech-Deligne cocycle θ¯={θ i,}\overline{\theta} = \{\theta_i, \cdots \} is the uniquely defined closed differential (p+2)(p+2)-form ω\omega such that on all patches

ω| U i=dθ i. \omega|_{U_i} = d \theta_i \,.

We also say that θ¯\overline \theta is a prequantization of ω\omega.

In the language of sheaf cohomology, Cech-Deligne cohomology of XX is equivalently the sheaf hypercohomology with coefficients in the chain complex of abelian sheaves which we denote by

B p+1(/) conn[C (,)dΩ 1ddΩ p+1]Sh(SmthMfd,ChainComplexes)[{quasiisomorphisms} 1]. \mathbf{B}^{p+1}(\mathbb{R}/\mathbb{Z})_{conn} \coloneqq \left[ \mathbb{Z} \hookrightarrow C^\infty(-,\mathbb{R}) \stackrel{d}{\to} \mathbf{\Omega}^1 \stackrel{d}{\to} \cdots \stackrel{d}{\to} \mathbf{\Omega}^{p+1} \right] \;\;\; \in Sh(SmthMfd, ChainComplexes)[\{quasi\,isomorphisms\}^{-1}] \,.

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

F ():B p+1(/) connΩ cl p+2 F_{(-)} \colon \mathbf{B}^{p+1}(\mathbb{R}/\mathbb{Z})_{conn} \longrightarrow \mathbf{\Omega}^{p+2}_{cl}

If we then denote a Deligne cocycle as a morphism

θ¯:XB p+1(/) conn \overline{\theta} \;\colon\; X \longrightarrow \mathbf{B}^{p+1}(\mathbb{R}/\mathbb{Z})_{conn}

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

B p+1(/) conn θ¯ X ω Ω cl p+2. \array{ && \mathbf{B}^{p+1}(\mathbb{R}/\mathbb{Z})_{conn} \\ & {}^{\mathllap{\overline{\theta}}}\nearrow & \downarrow \\ X &\stackrel{\omega}{\longrightarrow}& \mathbf{\Omega}^{p+2}_{cl} } \,.

The other evident morphism out of the Deligne complex is

χ:B p+1(/)B p+1(/), \chi \colon \mathbf{B}^{p+1}(\mathbb{R}/\mathbb{Z}) \longrightarrow \mathbf{B}^{p+1}(\mathbb{R}/\mathbb{Z}) \,,

where on the right we have the complex concentrated on /\mathbb{R}/\mathbb{Z} in degree (p+1)(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

Proposition

The Deligne complex is the homotopy fiber product of B p+1U(1)\mathbf{B}^{p+1}U(1) with Ω cl p+2\mathbf{\Omega}^{p+2}_{cl} via these two maps:

if we write

dRB p+2()(Ω 1dΩ 2ddΩ cl p+2)then \flat_{dR}\mathbf{B}^{p+2}(\mathbb{R}) \coloneqq (\mathbf{\Omega}^1 \stackrel{d}{\to}\mathbf{\Omega}^2 \stackrel{d}{\to} \cdots \stackrel{d}{\to} \mathbf{\Omega}^{p+2}_{cl}) then

then there is a homotopy pullback diagram of the form

B p+1(/) conn χ B p+1(/) F () Ω cl p+2 dRB p+1/. \array{ \mathbf{B}^{p+1}(\mathbb{R}/\mathbb{Z})_{conn} &\stackrel{\chi}{\longrightarrow}& \mathbf{B}^{p+1}(\mathbb{R}/\mathbb{Z}) \\ \downarrow^{\mathrlap{F_{(-)}}} && \downarrow \\ \mathbf{\Omega}^{p+2}_{cl} &\stackrel{}{\longrightarrow}& \flat_{dR}\mathbf{B}^{p+1} \mathbb{R}/\mathbb{Z} } \,.

For details see around this proposition at Deligne cohomology .

Traditional WZW terms

On Lie groups GG, those closed (p+2)(p+2)-forms ω\omega which are left invariant forms may be identified, via the general theory of Chevalley-Eilenberg algebras, with degree (p+2)(p+2)-cocycles μ\mu in the Lie algebra cohomology of the Lie algebra 𝔤\mathfrak{g} corresponding to GG. We have ω=μ(θ)\omega = \mu(\theta)where θ\theta is the Maurer-Cartan form on GG. These cocycles μ\mu in turn may arise, via the van Est map, as the Lie differentiation of a degree-(p+2)(p+2)-cocycle c:BGB p+2U(1)\mathbf{c} \colon \mathbf{B}G \to \mathbf{B}^{p+2}U(1) in the Lie group cohomology of GG itself, with coefficients in the circle group U(1)U(1).

This happens to be the case notably for GG 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 c\mathbf{c} of H 3(BG,U(1))H 4(BG,)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 c\mathbf{c} modulates an infinity-group extension which is a circle p-group-principal infinity-bundle

B pU(1) G^ G Ωc B p+1U(1) \array{ \mathbf{B}^p U(1) &\longrightarrow& \hat G \\ && \downarrow \\ && G &\stackrel{\Omega\mathbf{c}}{\longrightarrow}& \mathbf{B}^{p+1}U(1) }

whose higher Dixmier-Douady class class ΩcH p+2(X,) \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=1p = 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

B p+1U(1) Ωc θ B pU(1) G ω Ω cl p+2 dRB p+2, \array{ && &\longrightarrow& \mathbf{B}^{p+1}U(1) \\ &{}^{\mathllap{\Omega \mathbf{c}}}\nearrow& &\swArrow_\simeq& \downarrow^{\mathrlap{\theta_{\mathbf{B}^p U(1)}}} \\ G &\stackrel{\omega}{\longrightarrow}& \mathbf{\Omega}_{cl}^{p+2} &\stackrel{}{\longrightarrow}& \flat_{dR}\mathbf{B}^{p+2}\mathbb{R} } \,,

where dRB p+2 dRB p+2U(1)\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 Ωc\Omega \mathbf{c}.

Now, by the very homotopy pullback-characterization of the Deligne complex B p+1U(1) conn\mathbf{B}^{p+1}U(1)_{conn} (here), such a diagram is equivalently a prequantization of ω\omega:

B p+1U(1) conn B p+1U(1) θ B pU(1) G ω Ω cl p+2 dRB p+2. \array{ && \mathbf{B}^{p+1}U(1)_{conn} &\longrightarrow& \mathbf{B}^{p+1}U(1) \\ &{}^\mathllap{\nabla}\nearrow& \downarrow &\swArrow_\simeq& \downarrow^{\mathrlap{\theta_{\mathbf{B}^p U(1)}}} \\ G &\stackrel{\omega}{\longrightarrow}& \mathbf{\Omega}_{cl}^{p+2} &\stackrel{}{\longrightarrow}& \flat_{dR}\mathbf{B}^{p+2}\mathbb{R} } \,.

For ω=,[,]\omega = \langle -,[-,-]\rangle as above, we have p=1p= 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 GG 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 GG 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 GG. 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+2p+2.

In general WZW terms are “gauged” which means, as we will see, that they are not defined on the given smooth infinity-group GG itself, but on a bundle G˜\tilde G of differential moduli stacks over that group, such that a map ΣG˜\Sigma \to \tilde G is a pair consisting of a map ΣG\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.

L L_\infty-algebras

For VV a graded vector space, for v iV |v i|v_i \in V_{\vert v_i\vert} homogenously graded elements, and for σ\sigma a permutation of nn elements, write χ(σ,v 1,,v n){1,+1}\chi(\sigma, v_1, \cdots, v_n)\in \{-1,+1\} for the product of the signature of the permutation with a factor of (1) |v i||v j|(-1)^{\vert v_i \vert \vert v_j \vert} for each interchange of neighbours (v i,v j,)(\cdots v_i,v_j, \cdots ) to (v j,v i,)(\cdots v_j,v_i, \cdots ) involved in the permutation.

Definition

An L-∞ algebra is

  1. a graded vector space VV;

  2. for each nn \in \mathbb{N} a multilinear map called the nn-ary bracket

    l n()[,,,]:V nVl_n(\cdots) \coloneqq [-,-, \cdots, -] \colon V^{\wedge n} \to V

    of degree n2n-2

such that

  1. each l nl_n is graded antisymmetric, in that for every permutation σ\sigma and homogeneously graded elements v iV |v i|v_i \in V_{\vert v_i \vert} then

    l n(v σ(1),v σ(2),,v σ(n))=χ(σ,v 1,,v n)l n(v 1,v 2,v n) l_n(v_{\sigma(1)}, v_{\sigma(2)},\cdots ,v_{\sigma(n)}) = \chi(\sigma,v_1,\cdots, v_n) \cdot l_n(v_1, v_2, \cdots v_n)
  2. the generalized Jacobi identity holds:

    (1) i+j=n+1 σUnShuff(i,ni)χ(σ,v 1,,v m)(1) i(j1)l j(l i(v σ(1),,v σ(i)),v σ(i+1),,v σ(n))=0, \sum_{i+j = n+1} \sum_{\sigma \in UnShuff(i,n-i)} \chi(\sigma,v_1, \cdots, v_m) (-1)^{i(j-1)} l_{j} \left( l_i \left( v_{\sigma(1)}, \cdots, v_{\sigma(i)} \right), v_{\sigma(i+1)} , \cdots , v_{\sigma(n)} \right) = 0 \,,

    for all nn, all and homogeneously graded elements v iV iv_i \in V_i (here the inner sum runs over all (i,j)(i,j)-unshuffles σ\sigma).

There are various different conventions on the gradings possible, which lead to similar formulas with different signs.

Example

In lowest degrees the generalized Jacobi identity says that

  1. for n=1n = 1: the unary map l 1\partial \coloneqq l_1 squares to 0:

    ((v 1))=0 \partial (\partial(v_1)) = 0

1: for n=2n = 2: the unary map \partial is a graded derivation of the binary map

[v 1,v 2](1) |v 1||v 2|[v 2,v 1]+[v 1,v 2]=0 - [\partial v_1, v_2] - (-1)^{\vert v_1 \vert \vert v_2 \vert} [\partial v_2, v_1] + \partial [v_1, v_2] = 0

hence

[v 1,v 2]=[v 1,v 2]+(1) |v 1|[v 1,v 2]. \partial [v_1, v_2] = [\partial v_1, v_2] + (-1)^{\vert v_1 \vert}[v_1, \partial v_2] \,.
Example

When all higher brackets vanish, l k>2=0l_{k \gt 2}= 0 then for n=3n = 3:

[[v 1,v 2],v 3]+(1) |v 1|(|v 2|+|v 3|)[[v 2,v 3],v 1]+(1) |v 2|(|v 1|+|v 3|)[[v 1,v 3],v 2]=0 [[v_1,v_2],v_3] + (-1)^{\vert v_1 \vert (\vert v_2 \vert + \vert v_3 \vert)} [[v_2,v_3],v_1] + (-1)^{\vert v_2 \vert (\vert v_1 \vert + \vert v_3 \vert)} [[v_1,v_3],v_2] = 0

this is the graded Jacobi identity. So in this case the L L_\infty-algebra is equivalently a dg-Lie algebra.

Example

When l 3l_3 is possibly non-vanishing, then on elements x ix_i on which =l 1\partial = l_1 vanishes then the generalized Jacobi identity for n=3n = 3 gives

[[v 1,v 2],v 3]+(1) |v 1|(|v 2|+|v 3|)[[v 2,v 3],v 1]+(1) |v 2|(|v 1|+|v 3|)[[v 1,v 3],v 2]=[v 1,v 2,v 3]. [[v_1,v_2],v_3] + (-1)^{\vert v_1 \vert (\vert v_2 \vert + \vert v_3 \vert)} [[v_2,v_3],v_1] + (-1)^{\vert v_2 \vert (\vert v_1 \vert + \vert v_3 \vert)} [[v_1,v_3],v_2] = - \partial [v_1, v_2, v_3] \,.

This shows that the Jacobi identity holds up to an “exact” term, hence up to homotopy.

Assume now for simplicity that VV is degreewise finite dimensional, Write V *V^\ast for its degreewise dual.

Definition

Given an L-∞ algebra 𝔤\mathfrak{g}, def. , which is is finite type (in that it is degreewise finite dimensional) its Chevalley-Eilenberg algebra CE(𝔤)CE(\mathfrak{g}) is the dg-algebra

CE(𝔤)=( V *,d CE) CE(\mathfrak{g}) = (\wedge^\bullet V^\ast, d_{CE})

whose underlying graded algebra is the graded Grassmann algebra on V *V^\ast, hence the graded-symmetric algebra on V *[1]V^\ast[-1], and whose differential is given on generators co-component-wise by the linear dual of the higher brackets:

(d CE) nl n *:Vd CE V *p nV *. (d_{CE})_n \coloneqq l_n^\ast \colon V \stackrel{d_{CE}}{\longrightarrow} \wedge^\bullet V^\ast \stackrel{p}{\to} \wedge^n V^\ast \,.
Propositon

The construction of def. constitutes a full and faithful functor

CE():L Alg ftdgAlg op CE(-) \;\colon\; L_\infty Alg_{ft} \longrightarrow dgAlg^{op}

from L 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 L_\infty-algebras directly.

Proposition

On connective L 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

τ 0H 0:L Alg 0LieAlg. \tau_0 \coloneqq H^0 \colon L_\infty Alg_{\geq 0} \longrightarrow LieAlg \,.

Higher Poisson brackets

Poisson brackets and Heisenberg algebra

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.

Definition

Let XX be a smooth manifold. A closed differential 2-form ωΩ cl 2(X)\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

ι ()ω:Vect(X)Ω 1(X) \iota_{(-)}\omega \colon Vect(X) \longrightarrow \Omega^1(X)

is trivial: ker(ι ()ω)=0ker(\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.)

Definition

Given a presymplectic manifold (X,ω)(X, \omega), then a Hamiltonian for a vector field vVect(X)v \in Vect(X) is a smooth function HC (X)H \in C^\infty(X) such that

ι vω+dH=0. \iota_{v} \omega + d H = 0 \,.

If vVect(X)v \in Vect(X) is such that there exists at least one Hamiltonian for it then it is called a Hamiltonian vector field. Write

HamVect(X,ω)Vect(X) HamVect(X,\omega) \hookrightarrow Vect(X)

for the \mathbb{R}-linear subspace of Hamiltonian vector fields among all vector fields

Remark

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.

Definition

Let (X,ω)(X,\omega) be a presymplectic manifold. Write

Ham(X,ω)HamVect(X,ω)C (X) Ham(X,\omega) \hookrightarrow HamVect(X,\omega) \oplus C^\infty(X)

for the linear subspace of the direct sum of Hamiltonian vector fields, def. , and smooth functions on those pairs (v,H)(v,H) for which HH is a Hamiltonian for vv

Ham(X,ω){(v,H)|ι vω+dH=0}. Ham(X,\omega) \coloneqq \left\{ (v,H) | \iota_v \omega + d H = 0 \right\} \,.

Define a bilinear map

[,]:Ham(X,ω)Ham(X,ω)Ham(X,ω) [-,-] \;\colon\; Ham(X,\omega) \otimes Ham(X,\omega) \longrightarrow Ham(X,\omega)

by

[(v 1,H 1),(v 2,H 2)]([v 1,v 2],ι v 2ι v 1ω), [(v_1,H_1), (v_2,H_2)] \coloneqq ([v_1,v_2], \iota_{v_2}\iota_{v_1} \omega) \,,

called the Poisson bracket, where [v 1,v 2][v_1,v_2] is the standard Lie bracket on vector fields. Write

𝔭𝔬𝔦𝔰𝔰(X,ω)(Ham(X,ω),[,]) \mathfrak{poiss}(X,\omega) \coloneqq (Ham(X,\omega),[-,-])

for the resulting Lie algebra. In the case that ω\omega is symplectic, then Ham(X,ω)C (X)Ham(X,\omega) \simeq C^\infty(X) and hence in this case

𝔭𝔬𝔦𝔰𝔰(X,ω)(C (X),[,]). \mathfrak{poiss}(X,\omega) \simeq (C^\infty(X),[-,-]) \,.
Example

Let X= 2nX = \mathbb{R}^{2n} and let ω= i=1 ndp idq i\omega = \sum_{i = 1}^n d p_i \wedge d q^i for {q i} i=1 n\{q^i\}_{i = 1}^n the canonical coordinates on one copy of n\mathbb{R}^n and {p i} i=1 n\{p_i\}_{i = 1}^n that on the other (“canonical momenta”). Hence let (X,ω)(X,\omega) be a symplectic vector space of dimension 2n2n, regarded as a symplectic manifold.

Then Vect(X)Vect(X) is spanned over C (X)C^\infty(X) by the canonical bases vector fields { q i, p i}\{\partial_{q^i}, \partial_{p^i}\}. These basis vector fields are manifestly Hamiltonian vector fields via

ι q iω=dp i \iota_{\partial_{q^i}} \omega = - d p_i
ι p iω=+dq i. \iota_{\partial_{p_i}} \omega = + d q^i \,.

Moreover, since XX is connected, these Hamiltonians are unique up to a choice of constant function. Write iC (X)\mathbf{i} \in C^\infty(X) for the unit constant function, then the nontrivial Poisson brackets between the basis vector fields are

[q i,p j][( p i,q i),( q j,p j)]=δ j i(0,i)=δ j ii. [q^i, p_j] \coloneqq [(-\partial_{p_i}, q^i), (\partial_{q^j}, p_j)] = - \delta_j^i (0, \mathbf{i}) = - \delta_j^i \mathbf{i} \,.

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}\{q^i\} and {p i}\{p_i\}, generate the affine symplectic group of (X,ω)(X,\omega). The freedom to add constant terms to Hamiltonians gives the extended affine symplectic group.

Infinitesimal quantomorphisms

Example serves to motivate a more conceptual origin of the definition of the Poisson bracket in def. .

Example

Write

θ i=1 np idq iΩ 1( 2n) \theta \coloneqq \sum_{i = 1}^n p_i d q_i \in \Omega^1(\mathbb{R}^{2n})

for the canonical choice of differential 1-form satisfying

dθ=ω. d \theta = \omega \,.

If we regard 2nT * n\mathbb{R}^{2n} \simeq T^\ast \mathbb{R}^n as the cotangent bundle of the Cartesian space n\mathbb{R}^n, then this is what is known as the Liouville-Poincaré 1-form.

Since 2n\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)U(1)-principal bundle. As such this θ\theta is a prequantization of ( 2n, i=1 ndp idq i)(\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 αC ( 2n,U(1))\alpha \in C^\infty(\mathbb{R}^{2n}, U(1)) any smooth function, then

θθ+dα \theta \mapsto \theta + d\alpha

is the gauge transformation of θ\theta, leading to a different but equivalent prequantization of ω\omega.

Hence while a vector field vv is said to preserve ω\omega (is a symplectic vector field) if the Lie derivative of ω\omega along vv vanishes

vω=0 \mathcal{L}_v \omega = 0

in the presence of a choice for θ\theta the right condition to ask for is that there is α\alpha such that

vθ=dα. \mathcal{L}_v \theta = d \alpha \,.

For more on this see also at prequantized Lagrangian correspondence.

Notice then the following basic but important fact.

Proposition

For (X,ω)(X,\omega) a presymplectic manifold and θΩ 1(X)\theta \in \Omega^1(X) a 1-form such that dθ=ωd \theta = \omega then for (v,α)Vect(X)C (X)(v,\alpha) \in Vect(X)\oplus C^\infty(X) the condition vθ=dα\mathcal{L}_v \theta = d \alpha is equivalent to the condition that makes

Hι vθα H \coloneqq \iota_v \theta - \alpha

a Hamiltonian for vv according to def. :

vθ=dαι vω+d(ι vθαH)=0. \mathcal{L}_v \theta = d \alpha \;\;\;\Leftrightarrow\;\;\; \iota_v \omega + d (\underset{H}{\underbrace{\iota_v \theta - \alpha}}) = 0 \,.

Moreover, the Poisson bracket, def. , between two such Hamiltonian pairs (v i,α iι vθ)(v_i, \alpha_i -\iota_v \theta) is equivalently given by the skew-symmetric Lie derivative of the corresponding vector fields on the α i\alpha_i:

(2)ι [v 1,v 2]θι v 2ι v 1ω= v 1α 2 v 2α 1 \iota_{[v_1,v_2]} \theta - \iota_{v_2}\iota_{v_1}\omega = \mathcal{L}_{v_1} \alpha_2 - \mathcal{L}_{v_2} \alpha_1
Proof

Using Cartan's magic formula and by the prequantization condition dθ=ωd \theta = \omega the we have

vθ =ι vdθ+dι vθ =ι vω+dι vθ. \begin{aligned} \mathcal{L}_v \theta &= \iota_v d\theta + d \iota_v \theta \\ & = \iota_v\omega + d \iota_v \theta \end{aligned} \,.

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 α i\alpha_i

ι v 2ι v 1ω =ι v 2ι v 1dθ =ι v 1dι v 2θι v 2dι v 1θι [v 1,v 2]θ =ι v 1dα 2ι v 1ι v 2ωι v 2dα 1+ι v 2ι v 1ωι [v 1,v 2]θ =2ι v 2ι v 1ω+ v 1α 2 v 2α 1ι [v 1,v 2]θ. \begin{aligned} \iota_{v_2}\iota_{v_1} \omega & = \iota_{v_2}\iota_{v_1} d\theta \\ & = \iota_{v_1} d \iota_{v_2} \theta - \iota_{v_2} d \iota_{v_1} \theta - \iota_{[v_1,v_2]} \theta \\ & = \iota_{v_1} d \alpha_2 - \iota_{v_1} \iota_{v_2}\omega - \iota_{v_2} d \alpha_1 + \iota_{v_2} \iota_{v_1}\omega - \iota_{[v_1,v_2]} \theta \\ & = 2 \iota_{v_2} \iota_{v_1}\omega + \mathcal{L}_{v_1} \alpha_2 -\mathcal{L}_{v_2} \alpha_1 - \iota_{[v_1,v_2]} \theta \end{aligned} \,.
Corollary

For (X,ω)(X,\omega) a presymplectic manifold with θΩ 1(X)\theta \in \Omega^1(X) such that dθ=ωd \theta = \omega, consider the Lie algebra

𝔮𝔲𝔞𝔫𝔱𝔪𝔬𝔯𝔭𝔥(X,θ)={(v,α)| vθ=dα}Vect(X)C (X) \mathfrak{quantmorph}(X,\theta) = \left\{ (v,\alpha) | \mathcal{L}_v \theta = d \alpha \right\} \subset Vect(X) \oplus C^\infty(X)

with Lie bracket

[(v 1,α 1),(v 2,α 2)]=([v 1,v 2], v 1α 2 v 2α 1). [(v_1,\alpha_1), (v_2,\alpha_2)] = ([v_1,v_2], \mathcal{L}_{v_1}\alpha_2 - \mathcal{L}_{v_2}\alpha_1) \,.

Then by (2) the linear map

(v,H)(v,ι vθH) (v,H) \mapsto (v, \iota_v \theta - H)

is an isomorphism of Lie algebras

𝔭𝔬𝔦𝔰𝔰(X,ω)𝔮𝔲𝔞𝔫𝔱𝔪𝔬𝔯𝔭𝔥(X,θ) \mathfrak{poiss}(X,\omega) \stackrel{\simeq}{\longrightarrow} \mathfrak{quantmorph}(X,\theta)

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:

Definition

For (X,ω)(X,\omega) a presymplectic manifold, a Cech-Deligne cocycle

(X,θ¯)(X,{U i},{g ij,θ i}) (X,\overline{\theta}) \coloneqq (X,\{U_i\},\{g_{i j}, \theta_i\})

for a prequantization of (X,ω)(X,\omega) is

  1. an open cover {U iX} i\{U_i \to X\}_i;

  2. 1-forms {θ iΩ 1(U i)}\{\theta_i \in \Omega^1(U_i)\};

  3. smooth function {g ijC (U ij,U(1))}\{g_{i j} \in C^\infty(U_{i j}, U(1))\}

such that

  1. dθ i=ω| U id \theta_i = \omega|_{U_i} on all U iU_i;

  2. θ j=θ i+dlogg ij\theta_j = \theta_i + d log g_{ij} on all U ijU_{i j};

  3. g ijg jk=g ikg_{i j} g_{j k} = g_{i k} on all U ijkU_{i j k}.

The quantomorphism Lie algebra of θ¯\overline{\theta} is

𝔮𝔲𝔞𝔫𝔱𝔪𝔬𝔯𝔭𝔥(X,θ¯)={(v,{α i})| vlogg ij=α jα i, vθ i=dα i}Vect(X)(iC (U i)) \mathfrak{quantmorph}(X,\overline{\theta}) = \left\{ (v, \{\alpha_i\}) | \mathcal{L}_v log g_{i j} = \alpha_j - \alpha_i \,, \mathcal{L}_v \theta_i = d \alpha_i \right\} \subset Vect(X) \oplus \left(\underset{i}{\bigoplus} C^\infty(U_i)\right)

with bracket

[(v 1,{(α 1) i}),(v 2,{(α 2) i})]([v 1,v 2],{ v 1(α 2) i v 2(α 1) i}). [(v_1, \{(\alpha_1)_i\}), (v_2, \{(\alpha_2)_i\})] \coloneqq ([v_1,v_2], \{\mathcal{L}_{v_1}(\alpha_2)_i - \mathcal{L}_{v_2} (\alpha_1)_i\}) \,.
Proposition

For (X,ω)(X,\omega) a presymplectic manifold and (X,{U i},{g ij,θ i})(X,\{U_i\},\{g_{i j}, \theta_i\}) a prequantization, def. , the linear map

(v,H)(v,{ι vθ iH| U i}) (v,H) \mapsto (v, \{\iota_v \theta_i - H|_{U_i}\})

constitutes an isomorphism of Lie algebras

𝔭𝔬𝔦𝔰𝔰(X,ω)𝔮𝔲𝔞𝔫𝔱𝔪𝔬𝔯𝔭𝔥(X,θ¯) \mathfrak{poiss}(X,\omega) \stackrel{\simeq}{\longrightarrow} \mathfrak{quantmorph}(X,\overline{\theta})

between the Poisson bracket algebra of def. and that of infinitesimal quantomorphisms, def. .

Proof

The condition vlogg ij=α jα i\mathcal{L}_v log g_{i j} = \alpha_j - \alpha_i on the infinitesimal quantomorphisms, together with the Cech-Deligne cocycle condition dlogg ij=θ jθ id log g_{i j} = \theta_j - \theta_i says that on U ijU_{i j}

ι vθ jα j=ι vθ iα i \iota_v \theta_j - \alpha_j = \iota_v \theta_i - \alpha_i

and hence that there is a globally defined function HC (X)H \in C^\infty(X) such that ι vθ iα i=H| U i\iota_v \theta_i - \alpha_i = H|_{U_i}. This shows that the map is an isomrophism of vector spaces.

Now over each U iU_i the the situation for the brackets is just that of corollary implied by (2), hence the morphism is a Lie homomorphism.

The Kostant-Souriau extension

The following fact is immediate, but important.

Proposition

Given a presymplectic manifold (X,ω)(X,\omega), then the Poisson bracket Lie algebra 𝔭𝔬𝔦𝔰𝔰(X,ω)\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 XX: there is a short exact sequence of Lie algebras

0H 0(X)𝔭𝔬𝔦𝔰𝔰(X,ω)HamVect(X,ω)0. 0 \to H^0(X) \stackrel{}{\longrightarrow} \mathfrak{poiss}(X,\omega) \stackrel{}{\longrightarrow} HamVect(X,\omega) \to 0 \,.

Hence when XX is connected, then 𝔭𝔬𝔦𝔰𝔰(X,ω)\mathfrak{poiss}(X,\omega) is an \mathbb{R}-extension of the Hamiltonian vector fields:

0𝔭𝔬𝔦𝔰𝔰(X,ω)HamVect(X,ω)0. 0 \to \mathbb{R} \stackrel{}{\longrightarrow} \mathfrak{poiss}(X,\omega) \stackrel{}{\longrightarrow} HamVect(X,\omega) \to 0 \,.

Moreover, given any choice of splitting of the underlying short exact sequence of vector spaces as 𝔭𝔬𝔦𝔰(X,ω) vsHamVect(X,ω)H 0(X)\mathfrak{pois}(X,\omega) \simeq_{vs} HamVect(X,\omega)\oplus H^0(X), which is equivalently a choice of Hamitlonian H vH_v for each Hamiltonian vector field vv, the Lie algebra cohomology 2-cocycle which classifies this extension is

(v 1,v 2)=ι v 2ι v 1ωH [v 1,v 2]. (v_1, v_2) = \iota_{v_2}\iota_{v_1}\omega - H_{[v_1,v_2]} \,.
Proof

The morphism 𝔭𝔬𝔦𝔰𝔰(X,ω)HamVect(X,ω)\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)(v,H) to vv. This is surjective by the very definition of HamVect(X,ω)HamVect(X,\omega), in fact HamVect(X,ω)HamVect(X,\omega) is the image of this map regarded as a morphism 𝔭𝔬𝔦𝔰𝔰(X,ω)Vect(X)\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)(v = 0,H). By the defining constraint ι vω=dH\iota_v \omega = d H these are precisely the pairs for which dH=0d H = 0. This gives the short exact sequence as stated.

Generally, given a Lie algebra 𝔤\mathfrak{g} and an \mathbb{R}-valued 2-cocycle μ 2\mu_2 in Lie algebra cohomology, then the Lie algebra extension that it classifies is 𝔤^= vs𝔤\hat \mathfrak{g} =_{vs} \mathfrak{g}\oplus \mathbb{R} with bracket

[(x 1,a 1),(x 2,x 2)]=([x 1,x 2],μ 2(a 1,a 2)). [(x_1,a_1), (x_2,x_2)] = ([x_1,x_2], \mu_2(a_1,a_2)) \,.

Applied to the case at hand, given a choice of splitting v(v,H v)v\mapsto (v,H_v) this yields

[(v 1,H v 1+a 1),(v 2,H v 2+a 2)]=([v 1,v 2],H [v 1,v 2]+ι v 2ι v 1ωH [v 1,v 2])=([v 1,v 2],ι v 2ι v 1ω). [(v_1,H_{v_1} + a_1), (v_2, H_{v_2} + a_2) ] = ([v_1,v_2], H_{[v_1,v_2]} + \iota_{v_2}\iota_{v_1}\omega - H_{[v_1,v_2]}) = ([v_1,v_2], \iota_{v_2}\iota_{v_1}\omega ) \,.
Example

Consider again example where (X,ω)=( 2n,dp idq i)(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:

H dR 0(X) H dR 0(X) 𝔥𝔢𝔦𝔰(X,ω) 𝔭𝔬𝔦𝔰𝔰(X,ω) 2n HamVect(X,ω). \array{ H_{dR}^0(X) &\longrightarrow& H_{dR}^0(X) \\ \downarrow && \downarrow \\ \mathfrak{heis}(X,\omega) &\longrightarrow& \mathfrak{poiss}(X,\omega) \\ \downarrow && \downarrow \\ \mathbb{R}^{2 n} &\longrightarrow& HamVect(X,\omega) } \,.

The Lie algebra cohomology 2-cocycle which classifiesthe Kostant-Souriau extension, ι ()ι ()ω\iota_{(-)}\iota_{(-)}\omega manifestly restricts to the Heisenberg cocycle (q i,p j)=δ j i(q^i, p_j) = \delta^i_j.

Higher Poisson brackets and higher Heisenberg algebra

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 ωΩ p+2(X)\omega \in \Omega^{p+2}(X) for p>0p \gt 0.

Indeed, the natural algebraic form of definition of Hamiltonian vector fields makes immediate sense for higher pp, with the Hamiltonians HH now being pp-forms, and the natural algebraic form of the binary Poisson bracket of def. makes immediate sense as a bilinear pairing for any pp:

[(v 1,H 1),(v 2,H 2)]([v 1,v 2],ι v 2ι v 1ω). [(v_1, H_1), (v_2, H_2)] \coloneqq ([v_1,v_2], \iota_{v_2} \iota_{v_1} \omega) \,.

However, one finds that for p>0p \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).

Definition

For pp \in \mathbb{N}, we say that a pre-(p+1)-plectic manifold is a smooth manifold XX equipped with a closed degree-(p+2)(p+2) differential form ωΩ p+2(X)\omega \in \Omega^{p+2}(X).

This is called an (p+1)-plectic manifold if the kernel of the contraction map

ι ():Vect(X)Ω p+1(X) \iota_{(-)} \colon Vect(X) \longrightarrow \Omega^{p+1}(X)

is trivial.

Definition

Given a pre-(p+1)(p+1)-plectic manifold (X,ω)(X,\omega), def. , write

Ham p(X)Vect(X)Ω p(X) Ham^{p}(X) \subset Vect(X) \oplus \Omega^{p}(X)

for the subspace of the direct sum of vector fields vv on XX and differential p-forms JJ on XX satisfying

ι vω+dJ=0. \iota_v \omega + d J = 0 \,.

We call these the pairs of Hamiltonian forms with their Hamiltonian vector fields.

Definition

Given a pre-(p+1)(p+1)-plectic manifold (X,ω)(X,\omega), def. , define an L-∞ algebra 𝔭𝔬𝔦𝔰𝔰(X,ω)\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. :

Ω 0(X)dΩ 1(X)ddΩ p1(X)(0,d)Ham p(X) \Omega^0(X) \stackrel{d}{\to} \Omega^1(X) \stackrel{d}{\to} \cdots \stackrel{d}{\to} \Omega^{p-1}(X) \stackrel{(0,d)}{\longrightarrow} Ham^{p}(X)

with the Hamiltonian pairs, def. , in degree 0 and with the 0-forms (smooth functions) in degree pp.

The non-vanishing L L_\infty-brackets are defined to be the following

  • l 1(J)=dJl_1(J) = d J

  • l k2(v 1+J 1,,v k+J k)(1) (k+12)ι v kι v 1ω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.

Proposition

Definition indeed gives an L-∞ algebra in that the higher Jacobi identity is satisfied.

(3) i+j=n+1 σUnShuff(i,j)(1) sgn(σ)l i(l j(x σ(1),,x σ(j)),x σ(j+1),,x σ(n))=0, \sum_{i+j = n+1} \sum_{\sigma \in UnShuff(i,j)} (-1)^{sgn(\sigma)} l_i \left( l_j \left( x_{\sigma(1)}, \cdots, x_{\sigma(j)} \right), x_{\sigma(j+1)} , \cdots , x_{\sigma(n)} \right) = 0 \,,

For the special case of (p+1)(p+1)-plectic ω\omega, prop. is due to (Rogers 10, lemma 3.7), for the general pre-(p+1)(p+1)-plectic case this is (FRS 13b, prop. 3.1.2).

Proof

Repeatedly apply Cartan's magic formula v=ι vd+dι v\mathcal{L}_v = \iota_v \circ d + d \circ \iota_v as well as the consequence v 1ι v 2ι v 2 v 1=ι [v 1,v 2]\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 iv_i and differential forms β\beta (of any degree, not necessarily closed) one has

(1) kdι v kι v 1β= 1i<jk(1) i+jι v kι v j^ι v i^ι [v i,v j] +i=1k(1) iι v kι v i^ι v 1 v iβ +ι v kι v 1dβ. \begin{aligned} (-1)^k d \iota_{v_k} \cdots \iota_{v_1} \beta = & \underset{1 \leq i \lt j \leq k}{\sum} (-1)^{i+j} \iota_{v_k} \cdots \widehat{\iota_{v_j}} \cdots \widehat{\iota_{v_i}} \cdots \iota_{[v_i,v_j]} \\ & + \underoverset{i=1}{k}{\sum} (-1)^i \iota_{v_k} \cdots \widehat{\iota_{v_i}} \cdots \iota_{v_1} \mathcal{L}_{v_i} \beta \\ & + \iota_{v_k} \cdots \iota_{v_1} d \beta \end{aligned} \,.

With this, the statement follows straightforwardly.

Higher infinitesimal quantomorphisms and conserved currents

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)(p+2)-forms by degree-(p+2)(p+2)-cocycles in Deligne cohomology.

Definition

Given a pre-(p+1)-plectic manifold (X,ω)(X,\omega), then a prequantization is a Cech-Deligne cocycle θ¯\overline{\theta}, the prequantum (p+1)-bundle, whose curvature, def. , equals ω\omega:

F θ¯=ω. F_{\overline{\theta}} = \omega \,.
Remark

In terms of diagrams in the homotopy theory H\mathbf{H} of smooth homotopy types, def. describes lifts of the form

B p+1U(1) conn θ¯ F () X ω Ω cl p+2. \array{ && \mathbf{B}^{p+1}U(1)_{conn} \\ & {}^{\mathllap{\overline{\theta}}}\nearrow & \downarrow^{\mathrlap{F_{(-)}}} \\ X &\stackrel{\omega}{\longrightarrow} & \mathbf{\Omega}^{p+2}_{cl} } \,.

This way there is an immediate generalization of def. to forms and cocycles of higher degree:

Definition

Let θ¯\overline{\theta} be any Cech-Deligne-cocycle relative to an open cover 𝒰\mathcal{U} of XX, which gives a prequantum n-bundle for ω\omega. The L-∞ algebra 𝔮𝔲𝔞𝔫𝔱𝔪𝔬𝔯𝔭𝔥(X,θ¯)\mathfrak{quantmorph}(X,\overline{\theta}) is the dg-Lie algebra (regarded as an L L_\infty-algebra) whose underlying chain complex is the Cech total complex made to end in Hamiltonian Cech cocycles

  • 𝔮𝔲𝔞𝔫𝔱𝔪𝔬𝔯𝔭𝔥(X,θ¯) 0{v+α¯Vect(X)Tot n1(𝒰,Ω )| vθ¯=d Totα¯}\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}\};

  • 𝔮𝔲𝔞𝔫𝔱𝔪𝔬𝔯𝔭𝔥(X,θ¯) i>0C n1i(𝒰,Ω )\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δ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+α¯ 1,v 2+α¯ 2][v 1,v 2]+ v 1α¯ 2 v 2α¯ 1[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+α¯,η¯]=[η¯,v+α¯]= vη¯[v+ \overline{\alpha}, \overline{\eta}] = - [\overline{\eta}, v + \overline{\alpha}] = \mathcal{L}_v \overline{\eta}.

(FRS 13b, def./prop. 4.2.1)

One then finds a direct higher analog of corollary (its proof however is requires a bit more work):

Proposition

There is an equivalence in the homotopy theory of L-∞ algebras

f:𝔭𝔬𝔦𝔰𝔰(X,ω)𝔮𝔲𝔞𝔫𝔱𝔪𝔬𝔯𝔭𝔥(X,θ¯) f \colon \mathfrak{poiss}(X,\omega) \stackrel{\simeq}{\longrightarrow} \mathfrak{quantmorph}(X,\overline{\theta})

between the L L_\infty-algebras of def. and def. (in particular def. does not depend on the choice of A¯\overline{A}) whose underlying chain map satisfies

  • f(v+J)=(v, i=0 n(1) iι vθ niJ| 𝒰)f(v + J) = (v,\; \sum_{i = 0}^n (-1)^i \iota_v \theta^{n-i} - J|_{\mathcal{U}}).

(FRS 13b, theorem 4.2.2)

Remark

Proposition says that all the higher Poisson L L_\infty-algebras are L L_\infty-algebras of symmetries of Deligne cocycles prequantizing the give pre-(p+1)(p+1)-plectic form, higher “quantomorphisms”.

In fact the dg-algebra 𝔮𝔲𝔞𝔫𝔱𝔪𝔬𝔯𝔭𝔥(X,θ¯)\mathfrak{quantmorph}(X,\overline{\theta}) makes yet another equivalent interpretation of 𝔭𝔬𝔦𝔰𝔰(X,ω)\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.

Higher Kostant-Souriau extension

The higher Poisson brackets come with a higher analog of the Kostant-Souriau extension, prop. .

Definition

Write

H(X,B p)(Ω 0(X)dΩ 1(X)dΩ (p1)(X)dΩ cl p(X)) \mathbf{H}(X,\flat \mathbf{B}^p \mathbb{R}) \coloneqq (\Omega^0(X) \stackrel{d}{\to} \Omega^1(X) \stackrel{d}{\to} \cdots \Omega^{(p-1)}(X) \stackrel{d}{\to}\Omega^p_{cl}(X))

for the truncated de Rham complex regarded as an abelian L-∞ algebra.

Proposition

Given a pre-(p+1)-plectic manifold (X,ω)(X,\omega),

the Poisson bracket Lie (p+1)-algebra 𝔭𝔬𝔦𝔰𝔰(X,ω)\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 L_\infty-algebras of the form

H(X,B p) 𝔭𝔬𝔦𝔰𝔰(X,ω) HamVect(X,ω) ι ω BH(X,B p). \array{ \mathbf{H}(X,\flat\mathbf{B}^p \mathbb{R}) &\longrightarrow& \mathfrak{poiss}(X,\omega) &\longrightarrow& HamVect(X,\omega) \\ && && \downarrow^{\mathrlap{\iota_{\cdots}\omega} } \\ && && \mathbf{B} \mathbf{H}(X,\flat \mathbf{B}^p \mathbb{R}) } \,.

(FRS 13b, theorem 3.3.1)

To better see what this means, we may truncate this down to a statement about ordinary Lie algebras.

Proposition

Given a pre-(p+1)-plectic manifold (X,ω)(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)H^p(X).

0H p(X)τ 0𝔭𝔬𝔦𝔰𝔰(X,ω)HamVect(X,ω)0. 0 \to H^p(X) \longrightarrow \tau_0 \mathfrak{poiss}(X,\omega) \longrightarrow HamVect(X,\omega) \to 0 \,.

Session II

We recall how Lie integration sends L-∞ algebras 𝔤\mathfrak{g} to higher smooth group stacks (smooth ∞-groups) GG and then discuss how every L-∞ cocycle Lie integrates to a Deligne cocycle on a differential extension G˜\tilde G of GG – these are higher WZW terms. As an example we consider the collection of L 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

L lqiPSh(CartSp,Ch geeq0)DKL lwhePSh(CartSp,sSet)=:SmoothGrpd L_{lqi} PSh(CartSp, Ch_{\bullet \geeq 0}) \stackrel{DK}{\longrightarrow} L_{lwhe} PSh(CartSp, sSet) =: Smooth\infty Grpd

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.

L L_\infty-algebra cohomology and Rational homotopy theory

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 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

LieAlg dgAlg op (𝔤,[,]) CE(𝔤)(𝔤 *,d CE=[,] *) \begin{aligned} LieAlg &\stackrel{}{\hookrightarrow} dgAlg^{op} \\ (\mathfrak{g}, [-,-]) & \mapsto CE(\mathfrak{g}) \coloneqq (\wedge \mathfrak{g}^\ast, d_{CE} = [-,-]^\ast) \end{aligned}

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 ( 𝔤 *,d)(\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:

L Alg dgAlg op (𝔤,[],[,],[,,],) CE(𝔤)(𝔤 *,d CE=[] *+[,] *+[,,] *+). \begin{aligned} L_\infty Alg & \hookrightarrow dgAlg^{op} \\ (\mathfrak{g}, [-], [-,-], [-,-,-], \cdots) & \mapsto CE(\mathfrak{g}) \coloneqq (\wedge \mathfrak{g}^\ast, d_{CE} = [-]^\ast + [-,-]^\ast + [-,-,-]^\ast + \cdots) \end{aligned} \,.

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 (, 2)(\mathbb{Z},\mathbb{Z}_2)-bigraded (see at signs in supergeometry).

CE:sL AlgsdgAlg op. CE \colon sL_\infty Alg \hookrightarrow sdgAlg^{op} \,.
Proposition

The category sL AlgsL_\infty Alg carries a canonical stucture of a category of fibrant objects whose

(Pridham 07), see this proposition.

Recall from def. that B p+1\mathbf{B}^{p+1} \mathbb{R} denotes the line Lie (p+2)-algebra, whose Chevalley-Eilenberg algebra is generated in degree (p+2)(p+2) with vanishing differential.

then an L L_\infty-algebra homomorphism

𝔤μB p+1 \mathfrak{g} \stackrel{\mu}{\longrightarrow} \mathbf{B}^{p+1}\mathbb{R}
Proposition

Given a (super-)Lie algebra 𝔤\mathfrak{g}, then morphisms in sL AlgsL_\infty Alg of the form

μ:𝔤B p+1 \mu \colon \mathfrak{g} \longrightarrow \mathbf{B}^{p+1}\mathbb{R}

are in natural bijection with cocycles of degree (p+2)(p+2) in the standard Lie algebra cohomology of 𝔤\mathfrak{g}.

Proof

Since the morphisms in sL AlgsL_\infty Alg are equivalent to morphisms going the other direction in sdgAlgsdgAlg we have a bijection

gB p+1CE(𝔤)(c,d=0). \frac{g \longrightarrow \mathbf{B}^{p+1}\mathbb{R}}{CE(\mathfrak{g}) \longleftarrow (\langle c\rangle, d = 0)} \,.

Here the dg-algebra homomorphisms send the generator cc to some element μ\mu of degree (p+2)(p+2) in CE(𝔤)CE(\mathfrak{g}), and the respect for the differential implies that d CE(𝔤)μ=0d_{CE(\mathfrak{g})} \mu = 0. This is the classical definition of Lie algebra cocycles.

This immediately generalizes:

Definition

For 𝔤\mathfrak{g} a super-L L_\infty algebra, then an \mathbb{R}-valued (p+2)(p+2)-cocycle on 𝔤\mathfrak{g} is a morphism in sL AlgsL_\infty Alg of the form

μ:𝔤B p+1 \mu \colon \mathfrak{g} \longrightarrow \mathbf{B}^{p+1}\mathbb{R}

hence equivalently an closed element μCE(𝔤)\mu \in CE(\mathfrak{g}) of degree (p+2)(p+2).

The homotopy fiber of such μ\mu is the L-∞ algebra extension 𝔤^\hat \mathfrak{g} that it classifies

𝔤^ hofib(μ) 𝔤 μ B p+1. \array{ \hat \mathfrak{g} \\ \downarrow^{\mathrlap{hofib(\mu)}} \\ \mathfrak{g} &\stackrel{\mu}{\longrightarrow}& \mathbf{B}^{p+1}\mathbb{R} } \,.
Proposition

For 𝔤sLAlg\mathfrak{g} \in sL\infty Alg, the homotopy fiber 𝔤^\hat {\mathfrak{g}} of a cocycle (def. ) μ:𝔤B p+1\mu \colon \mathfrak{g} \longrightarrow \mathbf{B}^{p+1} \mathbb{R} is given by

CE(𝔤^)CE(𝔤)[b p+1]/(db p+1=μ). CE(\hat {\mathfrak{g}}) \simeq CE(\mathfrak{g})[b_{p+1}]/(d b_{p+1} = \mu) \,.

(Fiorenza-Rogers-Schreiber 13, theorem 3.1.13)

Example

For 𝔤\mathfrak{g} a Lie algebra and μCE(𝔤)\mu \in CE(\mathfrak{g}) an ordinary 2-cocycle on 𝔤\mathfrak{g}, then the homotopy fiber 𝔤^\hat {\mathfrak{g}} of μ:𝔤B\mu \colon \mathfrak{g}\longrightarrow \mathbf{B}\mathbb{R} is the classical central Lie algebra extension induced by μ\mu.

Example

For 𝔤\mathfrak{g} a semisimple Lie algebra and 𝔤,[,]B 2\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 L_\infty-extension will in general carry new cocycles, so that towers and bouquets of higher extensions emanate from any one super L L_\infty-algebra

𝔤^^ hofib(μ 2) 𝔤^ μ 2 B p 2+1 hofib(μ 1) 𝔤 μ 1 B p 1+1. \array{ \widehat{\hat \mathfrak{g}} \\ \downarrow^{\mathrlap{hofib(\mu_2)}} \\ \hat \mathfrak{g} &\stackrel{\mu_2}{\longrightarrow}& \mathbf{B}^{p_2 + 1} \mathbb{R} \\ \downarrow^{\mathrlap{hofib(\mu_1)}} \\ \mathfrak{g} &\stackrel{\mu_1}{\longrightarrow}& \mathbf{B}^{p_1+1}\mathbb{R} } \,.

This reminds one of Whitehead towers in homotopy theory. And indeed, there is Lie integration of L 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

exp(𝔤):[k]Hom(CE(𝔤),Ω dR (Δ k)) \flat \exp(\mathfrak{g}) \;\colon\; [k] \mapsto Hom(CE(\mathfrak{g}), \Omega_{dR}^\bullet(\Delta^k))

is the simplicial nerve of the simply connected Lie group GG corresponding to 𝔤\mathfrak{g}:

cosk 2exp(𝔤)NG. cosk_2 \flat \exp(\mathfrak{g}) \simeq N G \,.

To remember the smooth structure on GG we simply parameterize this over smooth manifolds UU. Then the simplicial presheaf

exp(𝔤):(U,[k])Hom(CE(𝔤),Ω vert (U×Delta k)) \exp(\mathfrak{g}) \;\colon\; (U,[k]) \mapsto Hom(CE(\mathfrak{g}), \Omega_{vert}^\bullet(\U \times Delta^k))

gives the smooth stack delooping of the Lie group GG:

cosk 2exp(𝔤)BG. cosk_2 \exp(\mathfrak{g}) \simeq \mathbf{B}G \,.

This generalizes verbatim to a Lie integration functor

exp:sL AlgPSh(SuperMfd,sSet) \exp \;\colon\; sL_\infty Alg \longrightarrow PSh(SuperMfd, sSet)

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(𝔤)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

exp(B p+1)K(,p+2) \flat \exp( \mathbf{B}^{p+1} \mathbb{R} ) \simeq K(\mathbb{R}, p+2)

This will be key in the following: L 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.

Homotopy theory

We will apply to the L 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 Φ 1\Phi_1 and Φ 2\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 gg that, if it exists, exhibits Φ 1\Phi_1 as being gauge equivalent to Φ 2\Phi_2 via gg:

Φ 1gΦ 2. \Phi_1 \underoverset{\simeq}{g}{\longrightarrow} \Phi_2 \,.

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 Φ 3\Phi_3 and a gauge transformation gg' from Φ 2\Phi_2 to Φ 3\Phi_3, then there is also the composite gauge transformation

ggΦ 1gΦ 2gΦ 3 g' \circ g \Phi_1 \underoverset{\simeq}{g}{\longrightarrow} \Phi_2 \underoverset{\simeq}{g'}{\longrightarrow} \Phi_3

and this composition is associative.

Moreover, these being equivalences means that they have inverses,

Φ 2g 1Φ 1 \Phi_2 \underoverset{\simeq}{g^{-1}}{\longrightarrow} \Phi_1

such that the compositions

Φ 1gΦ 2g 1Φ 1 \Phi_1 \underoverset{\simeq}{g}{\longrightarrow} \Phi_2 \underoverset{\simeq}{g^{-1}}{\longrightarrow} \Phi_1

and

Φ 1gΦ 2g 1Φ 1 \Phi_1 \underoverset{\simeq}{g}{\longrightarrow} \Phi_2 \underoverset{\simeq}{g^{-1}}{\longrightarrow} \Phi_1

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 1gg^{-1}\circ g (transforming one way and then just transforming back) to be equal to the identity transformation idid.

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 infinitesimalLie 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

Φ 1 g Φ 2 Φ 1 g Φ 2. \array{ \Phi_1 & \stackrel{g}{\longrightarrow} & \Phi_2 \\ & \Downarrow^{\mathrlap{\simeq}} \\ \Phi_1 & \underset{g'}{\longrightarrow} & \Phi_2 } \,.

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 nn \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.

\,

([n]Δ n) topologicalspaces higherpathgroupoid ([n]Δ[n]) groupoids Grothendiecknerve Kancomplexesgroupoids DoldKancorrespondence chaincomplexes ([n]N(Δ[n])) includedin simplicialsets \array{ && && ([n] \mapsto \Delta^n) \\ \\ && && {topological \atop spaces} \\ && && \Bigg\downarrow{}^{\mathrlap{{higher \atop path}\atop groupoid}} & \\ ([n] \mapsto \Delta[n]) && groupoids &\stackrel{{Grothendieck \atop nerve}}{\longrightarrow}& { {\mathbf{Kan}\;\mathbf{complexes}} \atop {\simeq \infty-groupoids} } &\stackrel{{Dold-Kan \atop correspondence}}{\longleftarrow}& {chain \atop complexes} && ([n] \mapsto N(\Delta[n])) \\ && && \Bigg\downarrow{}^{\mathrlap{included \atop in}} \\ && && {simplicial \atop sets} }

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

bare homotopy typessmooth homotopy types
discrete groups, groupoidsLie groups, Lie groupoids
2-groups, 2-groupoidsLie 2-groups, Lie 2-groupoids
\vdots\vdots
∞-groups,∞-groupoidssmooth ∞-groups, smooth ∞-groupoids
Remark

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 XX 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.

Bare homotopy types

Intuitive idea – Composition of higher order (gauge-)symmetries

An ∞-groupoid is, first of all, supposed to be a structure that has k-morphisms for all kk \in \mathbb{N}, which for k1k \geq 1 go between (k1)(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 kk-simplices, denoted [k][k] or Δ[k]\Delta[k] for all kk \in \mathbb{N}, and whose morphisms Δ[k 1]Δ[k 2]\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

K:Δ opSet K : \Delta^{op} \to Set

as specifying

and generally

as well as specifying

  • functions ([n][n+1])(K n+1K n)([n] \hookrightarrow [n+1]) \mapsto (K_{n+1} \to K_n) that send n+1n+1-morphisms to their boundary nn-morphisms;

  • functions ([n+1][n])(K nK n+1)([n+1] \to [n]) \mapsto (K_{n} \to K_{n+1}) that send nn-morphisms to identity (n+1)(n+1)-morphisms on them.

The fact that KK 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 kk-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 Λ 1[2]\Lambda^1[2] the simplicial set consisting of two attached 1-cells

Λ 1[2]={ 1 0 2} \Lambda^1[2] = \left\{ \array{ && 1 \\ & \nearrow && \searrow \\ 0 &&&& 2 } \right\}

and for (f,g):Λ 1[2]K(f,g) : \Lambda^1[2] \to K an image of this situation in KK, hence a pair x 0fx 1gx 2x_0 \stackrel{f}{\to} x_1 \stackrel{g}{\to} x_2 of two composable 1-morphisms in KK, we want to demand that there exists a third 1-morphisms in KK that may be thought of as the composition x 0hx 2x_0 \stackrel{h}{\to} x_2 of ff and gg. But since we are working in higher category theory, we want to identify this composite only up to a 2-morphism equivalence

x 1 f g x 0 h x 2. \array{ && x_1 \\ & {}^{\mathllap{f}}\nearrow &\Downarrow^{\mathrlap{\simeq}}& \searrow^{\mathrlap{g}} \\ x_0 &&\stackrel{h}{\to}&& x_2 } \,.

From the picture it is clear that this is equivalent to demanding that for Λ 1[2]Δ[2]\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

Λ 1[2] (f,g) K h Δ[2]. \array{ \Lambda^1[2] &\stackrel{(f,g)}{\to}& K \\ \downarrow & \nearrow_{\mathrlap{\exists h}} \\ \Delta[2] } \,.

A simplicial set where for all such (f,g)(f,g) a corresponding such hh 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

Λ 2[2]={ 1 0 2} \Lambda^2[2] = \left\{ \array{ && 1 \\ & && \searrow \\ 0 &&\to&& 2 } \right\}

the simplicial set consisting of two 1-morphisms that touch at their end, hence for

(g,h):Λ 2[2]K (g,h) : \Lambda^2[2] \to K

two such 1-morphisms in KK, then if gg had an inverse g 1g^{-1} we could use the above composition operation to compose that with hh and thereby find a morphism ff connecting the sources of hh and gg. This being the case is evidently equivalent to the existence of diagrams of morphisms of simplicial sets of the form

Λ 2[2] (g,h) K f Δ[2]. \array{ \Lambda^2[2] &\stackrel{(g,h)}{\to}& K \\ \downarrow & \nearrow_{\mathrlap{\exists f}} \\ \Delta[2] } \,.

Demanding that all such diagrams exist is therefore demanding that we have on 1-morphisms a composition operation with inverses in KK.

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 KK. 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 Λ i[n]Δ[n]\Lambda^i[n] \hookrightarrow \Delta[n] be the simplicial set – called the iith nn-horn – that consists of all cells of the nn-simplex Δ[n]\Delta[n] except the interior nn-morphism and the iith (n1)(n-1)-morphism.

Then a simplicial set is called a Kan complex, if for all images f:Λ i[n]Kf : \Lambda^i[n] \to K of such horns in KK, the missing two cells can be found in KK- in that we can always find a horn filler σ\sigma in the diagram

Λ i[n] f K σ Δ[n]. \array{ \Lambda^i[n] &\stackrel{f}{\to}& K \\ \downarrow & \nearrow_{\mathrlap{\sigma}} \\ \Delta[n] } \,.

The basic example is the nerve N(C)sSetN(C) \in sSet of an ordinary groupoid CC, which is the simplicial set with N(C) kN(C)_k being the set of sequences of kk composable morphisms in CC. 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.

Topological spaces as Kan complexes – Higher path 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.

\,

Definition

For nn \in \mathbb{N}, the topological n-simplex is, up to homeomorphism, the topological space whose underlying set is the subset

Δ n{x n+1| i=0 nx i=1andi.x i0} n+1 \Delta^n \coloneqq \{ \vec x \in \mathbb{R}^{n+1} | \sum_{i = 0 }^n x_i = 1 \; and \; \forall i . x_i \geq 0 \} \subset \mathbb{R}^{n+1}

of the Cartesian space n+1\mathbb{R}^{n+1}, and whose topology is the subspace topology induces from the canonical topology in n+1\mathbb{R}^{n+1}.

Remark

The coordinate expression in def. – also known as barycentric coordinates – is evidently just one of many possible ways to present topological nn-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.

Example

In low dimension the topological nn-simplices of def. look as follows.

For n=0n = 0 this is the point, Δ 0=*\Delta^0 = *.

For n=1n = 1 this is the standard interval object Δ 1=[0,1]\Delta^1 = [0,1].

For n=2n = 2 this is the filled triangle.

For n=3n = 3 this is the filled tetrahedron.

Definition

For nn \in \mathbb{N}, n1\n \geq 1 and 0kn0 \leq k \leq n, the kkth (n1)(n-1)-face (inclusion) of the topological nn-simplex, def. , is the subspace inclusion

δ k:Δ n1Δ n \delta_k : \Delta^{n-1} \hookrightarrow \Delta^n

induced under the coordinate presentation of def. , by the inclusion

n n+1 \mathbb{R}^n \hookrightarrow \mathbb{R}^{n+1}

which “omits” the kkth canonical coordinate:

(x 0,,x n1)(x 0,,x k1,0,x k,,x n1). (x_0, \cdots , x_{n-1}) \mapsto (x_0, \cdots, x_{k-1} , 0 , x_{k}, \cdots, x_{n-1}) \,.
Example

The inclusion

δ 0:Δ 0Δ 1 \delta_0 : \Delta^0 \to \Delta^1

is the inclusion

{1}[0,1] \{1\} \hookrightarrow [0,1]

of the “right” end of the standard interval. The other inclusion

δ 1:Δ 0Δ 1 \delta_1 : \Delta^0 \to \Delta^1

is that of the “left” end {0}[0,1]\{0\} \hookrightarrow [0,1].

Definition

For nn \in \mathbb{N} and 0k<n0 \leq k \lt n the kkth degenerate (n)(n)-simplex (projection) is the surjective map

σ k:Δ nΔ n1 \sigma_k : \Delta^{n} \to \Delta^{n-1}

induced under the barycentric coordinates of def. under the surjection

n+1 n \mathbb{R}^{n+1} \to \mathbb{R}^n

which sends

(x 0,,x n)(x 0,,x k+x k+1,,x n). (x_0, \cdots, x_n) \mapsto (x_0, \cdots, x_{k} + x_{k+1}, \cdots, x_n) \,.
Definition

For XX \in Top a topological space and nn \in \mathbb{N} a natural number, a singular nn-simplex in XX is a continuous map

σ:Δ nX \sigma : \Delta^n \to X

from the topological nn-simplex, def. , to XX.

Write

(SingX) nHom Top(Δ n,X) (Sing X)_n \coloneqq Hom_{Top}(\Delta^n , X)

for the set of singular nn-simplices of XX.

So to a topological space XX is associated a sequence of sets

(SingX) nHom Top(Δ n,X) (Sing X)_n \coloneqq Hom_{Top}(\Delta^n, X)

of singular simplices. Since the topological nn-simplices Δ n\Delta^n from def. sit inside each other by the face inclusions of def.

δ k:Δ n1Δ n \delta_k : \Delta^{n-1} \to \Delta^{n}

and project onto each other by the degeneracy maps, def.

σ k:Δ n+1Δ n \sigma_k : \Delta^{n+1} \to \Delta^n

we dually have functions

d kHom Top(δ k,X):(SingX) n(SingX) n1 d_k \coloneqq Hom_{Top}(\delta_k, X) : (Sing X)_n \to (Sing X)_{n-1}

that send each singular nn-simplex to its kk-face and functions

s kHom Top(σ k,X):(SingX) n(SingX) n+1 s_k \coloneqq Hom_{Top}(\sigma_k,X) : (Sing X)_{n} \to (Sing X)_{n+1}

that regard an nn-simplex as beign a degenerate (“thin”) (n+1)(n+1)-simplex. All these sets of simplicies and face and degeneracy maps between them form the following structure.

Definition

A simplicial set SsSetS \in sSet is

  • for each nn \in \mathbb{N} a set S nSetS_n \in Set – the set of nn-simplices;

  • for each injective map δ i:n1¯n¯\delta_i : \overline{n-1} \to \overline{n} of totally ordered sets n¯{0<1<<n}\bar n \coloneqq \{ 0 \lt 1 \lt \cdots \lt n \}

    a function d i:S nS n1d_i : S_{n} \to S_{n-1} – the iith face map on nn-simplices;

  • for each surjective map σ i:n+1¯n¯\sigma_i : \overline{n+1} \to \bar n of totally ordered sets

    a function σ i:S nS n+1\sigma_i : S_{n} \to S_{n+1} – the iith degeneracy map on nn-simplices;

such that these functions satisfy the simplicial identities.

Proposition

These face and degeneracy maps satisfy the following simplicial identities (whenever the maps are composable as indicated):

  1. d id j=d j1d i d_i \circ d_j = d_{j-1} \circ d_i if i<ji \lt j,

  2. s is j=s js i1s_i \circ s_j = s_j \circ s_{i-1} if i>ji \gt j.

  3. d is j={s j1d i ifi<j id ifi=jori=j+1 s jd i1 ifi>j+1d_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 (SingX) (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.

Definition

The simplex category Δ\Delta is the full subcategory of Cat on the free categories of the form

[0] {0} [1] {01} [2] {012} . \begin{aligned} [0] & \coloneqq \{0\} \\ [1] & \coloneqq \{0 \to 1\} \\ [2] & \coloneqq \{0 \to 1 \to 2\} \\ \vdots \end{aligned} \,.
Remark

This is called the “simplex category” because we are to think of the object [n][n] as being the “spine” of the nn-simplex. For instance for n=2n = 2 we think of 0120 \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][n], but draw also all their composites. For instance for n=2n = 2 we have_

[2]={ 1 0 2}. [2] = \left\{ \array{ && 1 \\ & \nearrow && \searrow \\ 0 &&\to&& 2 } \right\} \,.
Proposition

A functor

S:Δ opSet S : \Delta^{op} \to Set

from the opposite category of the simplex category to the category Set of sets is canonically identified with a simplicial set, def. .

Proof

One checks by inspection that the simplicial identities characterize precisely the behaviour of the morphisms in Δ op([n],[n+1])\Delta^{op}([n],[n+1]) and Δ op([n],[n1])\Delta^{op}([n],[n-1]).

This makes the following evident:

Example

The topological simplices from def. arrange into a cosimplicial object in Top, namely a functor

Δ :ΔTop. \Delta^\bullet : \Delta \to Top \,.

With this now the structure of a simplicial set on (SingX) (Sing X)_\bullet is manifest: it is just the nerve of XX with respect to Δ \Delta^\bullet, namely:

Definition

For XX a topological space its simplicial set of singular simplicies (often called the singular simplicial complex)

(SingX) :Δ opSet (Sing X)_\bullet : \Delta^{op} \to Set

is given by composition of the functor from example with the hom functor of Top:

(SingX):[n]Hom Top(Δ n,X). (Sing X) : [n] \mapsto Hom_{Top}( \Delta^n , X ) \,.

The singular simplicial complex, def. , has a further special property which we discuss now.

Definition

For each ii, 0in0 \leq i \leq n, the (n,i)(n,i)-horn or (n,i)(n,i)-box is the subsimplicial set

Λ i[n]Δ[n] \Lambda^i[n] \hookrightarrow \Delta[n]

which is the union of all faces except the i thi^{th} one.

This is called an outer horn if k=0k = 0 or k=nk = n. Otherwise it is an inner horn.

Example

The inner horn, def. of the 2-simplex

Δ 2={ 1 0 2} \Delta^2 = \left\{ \array{ && 1 \\ & \nearrow &\Downarrow& \searrow \\ 0 &&\to&& 2 } \right\}

with boundary

Δ 2={ 1 0 2}\partial \Delta^2 = \left\{ \array{ && 1 \\ & \nearrow && \searrow \\ 0 &&\to&& 2 } \right\}

looks like

Λ 1 2={ 1 0 2}. \Lambda^2_1 = \left\{ \array{ && 1 \\ & \nearrow && \searrow \\ 0 &&&& 2 } \right\} \,.

The two outer horns look like

Λ 0 2={ 1 0 2}\Lambda^2_0 = \left\{ \array{ && 1 \\ & \nearrow && \\ 0 &&\to&& 2 } \right\}

and

Λ 2 2={ 1 0 2}\Lambda^2_2 = \left\{ \array{ && 1 \\ & && \searrow \\ 0 &&\to&& 2 } \right\}

respectively.

Definition

A Kan complex is a simplicial set SS 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 SptS \to pt from SS to the point (the terminal simplicial set) is a Kan fibration;

  • which means equivalently that for all diagrams in sSet of the form

    Λ i[n] S Δ[n] ptΛ i[n] S Δ[n] \array{ \Lambda^i[n] &\to& S \\ \downarrow && \downarrow \\ \Delta[n] &\to& pt } \;\;\; \leftrightarrow \;\;\; \array{ \Lambda^i[n] &\to& S \\ \downarrow && \\ \Delta[n] }

    there exists a diagonal morphism

    Λ i[n] S Δ[n] ptΛ i[n] S Δ[n] \array{ \Lambda^i[n] &\to& S \\ \downarrow &\nearrow& \downarrow \\ \Delta[n] &\to& pt } \;\;\; \leftrightarrow \;\;\; \array{ \Lambda^i[n] &\to& S \\ \downarrow &\nearrow& \\ \Delta[n] }

    completing this to a commuting diagram;

  • which in turn means equivalently that the map from nn-simplices to (n,i)(n,i)-horns is an epimorphism

    [Δ[n],S][Λ i[n],S]. [\Delta[n], S]\, \twoheadrightarrow \,[\Lambda^i[n],S] \,.
Proposition

The singular simplicial complex Sing(X)Sing(X) , def. , of any topological space XX is a Kan complex, def. .

Proof

Write |Λ i[n]| n+1{\vert \Lambda^i[n] \vert} \subset \mathbb{R}^{n+1} for the topological horn, the subspace of the topological nn-simplex consisting of its boundary but excluding the interior of its iith face. From the geometry is clear that there exists a projection Δ n|Λ i[n]|\Delta^n \to {\vert \Lambda^i[n] \vert} which is a retract, in that the composite

|Λ i[n]|Δ n|Λ i[n]| {\vert \Lambda^i[n]\vert} \hookrightarrow \Delta^n \to {\vert \Lambda^i[n]\vert}

is the identity. This provides the required fillers: if

Λ i[n]Sing(X)|Λ i[n]|X \frac{ \Lambda^i[n] \longrightarrow Sing(X) } { {\vert \Lambda^i[n]\vert} \longrightarrow X }

is a given horn in the singular simplicial complex, then the composite

Δ n|Λ i[n]|X \Delta^n \to {\vert \Lambda^i[n]\vert} \longrightarrow X

is a filler.

Groupoids as Kan complexes – Grothendieck simplicial nerve
Definition

A (small) groupoid 𝒢 \mathcal{G}_\bullet is

  • a pair of sets 𝒢 0Set\mathcal{G}_0 \in Set (the set of objects) and 𝒢 1Set\mathcal{G}_1 \in Set (the set of morphisms)

  • equipped with functions

    𝒢 1× 𝒢 0𝒢 1 𝒢 1 sit 𝒢 0, \array{ \mathcal{G}_1 \times_{\mathcal{G}_0} \mathcal{G}_1 &\stackrel{\circ}{\longrightarrow}& \mathcal{G}_1 & \stackrel{\overset{t}{\longrightarrow}}{\stackrel{\overset{i}{\leftarrow}}{\underset{s}{\longrightarrow}}}& \mathcal{G}_0 }\,,

    where the fiber product on the left is that over 𝒢 1t𝒢 0s𝒢 1\mathcal{G}_1 \stackrel{t}{\to} \mathcal{G}_0 \stackrel{s}{\leftarrow} \mathcal{G}_1,

such that

  • ii takes values in endomorphisms;

    ti=si=id 𝒢 0, t \circ i = s \circ i = id_{\mathcal{G}_0}, \;\;\;
  • \circ defines a partial composition operation which is associative and unital for i(𝒢 0)i(\mathcal{G}_0) the identities; in particular

    s(gf)=s(f)s (g \circ f) = s(f) and t(gf)=t(g)t (g \circ f) = t(g);

  • every morphism has an inverse under this composition.

Remark

This data is visualized as follows. The set of morphisms is

𝒢 1={ϕ 0kϕ 1} \mathcal{G}_1 = \left\{ \phi_0 \stackrel{k}{\to} \phi_1 \right\}

and the set of pairs of composable morphisms is

𝒢 2𝒢 1×𝒢 0𝒢 1={ ϕ 1 k 1 k 2 ϕ 0 k 2k 1 ϕ 2}. \mathcal{G}_2 \coloneqq \mathcal{G}_1 \underset{\mathcal{G}_0}{\times} \mathcal{G}_1 = \left\{ \array{ && \phi_1 \\ & {}^{\mathllap{k_1}}\nearrow && \searrow^{\mathrlap{k_2}} \\ \phi_0 && \stackrel{k_2 \circ k_1}{\to} && \phi_2 } \right\} \,.

The functions p 1,p 2,:𝒢 2𝒢 1p_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.

Example

For XX a set, it becomes a groupoid by taking XX to be the set of objects and adding only precisely the identity morphism from each object to itself

(XidididX). \left( X \stackrel {\overset{id}{\longrightarrow}} { \stackrel{\overset{id}{\longleftarrow}}{\underset{id}{\longrightarrow}} } X \right) \,.
Example

For GG a group, its delooping groupoid (BG) (\mathbf{B}G)_\bullet has

  • (BG) 0=*(\mathbf{B}G)_0 = \ast;

  • (BG) 1=G(\mathbf{B}G)_1 = G.

For GG and KK two groups, group homomorphisms f:GKf \colon G \to K are in natural bijection with groupoid homomorphisms

(Bf) :(BG) (BK) . (\mathbf{B}f)_\bullet \;\colon\; (\mathbf{B}G)_\bullet \to (\mathbf{B}K)_\bullet \,.

In particular a group character c:GU(1)c \colon G \to U(1) is equivalently a groupoid homomorphism

(Bc) :(BG) (BU(1)) . (\mathbf{B}c)_\bullet \;\colon\; (\mathbf{B}G)_\bullet \to (\mathbf{B}U(1))_\bullet \,.

Here, for the time being, all groups are discrete groups. Since the circle group U(1)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

U(1)Grp \flat U(1) \in Grp

to mean explicitly the discrete group underlying the circle group. (Here “\flat” denotes the “flat modality”.)

Example

For XX a set, GG a discrete group and ρ:X×GX\rho \colon X \times G \to X an action of GG on XX (a permutation representation), the action groupoid or homotopy quotient of XX by GG is the groupoid

X// ρG=(X×Gp 1ρX) X//_\rho G = \left( X \times G \stackrel{\overset{\rho}{\longrightarrow}}{\underset{p_1}{\longrightarrow}} X \right)

with composition induced by the product in GG. Hence this is the groupoid whose objects are the elements of XX, and where morphisms are of the form

x 1gx 2=ρ(x 1)(g) x_1 \stackrel{g}{\to} x_2 = \rho(x_1)(g)

for x 1,x 2Xx_1, x_2 \in X, gGg \in G.

As an important special case we have:

Example

For GG a discrete group and ρ\rho the trivial action of GG on the point *\ast (the singleton set), the corresponding action groupoid according to def. is the delooping groupoid of GG according to def. :

(*//G) =(BG) . (\ast //G)_\bullet = (\mathbf{B}G)_\bullet \,.

Another canonical action is the action of GG on itself by right multiplication. The corresponding action groupoid we write

(EG) G//G. (\mathbf{E}G)_\bullet \coloneqq G//G \,.

The constant map G*G \to \ast induces a canonical morphism

G//G EG *//G BG. \array{ G//G & \simeq & \mathbf{E}G \\ \downarrow && \downarrow \\ \ast //G & \simeq & \mathbf{B}G } \,.

This is known as the GG-universal principal bundle. See below in for more on this.

Definition

For 𝒢 \mathcal{G}_\bullet a groupoid, def. , its simplicial nerve N(𝒢 ) N(\mathcal{G}_\bullet)_\bullet is the simplicial set with

N(𝒢 ) n𝒢 1 × 𝒢 0 n N(\mathcal{G}_\bullet)_n \coloneqq \mathcal{G}_1^{\times_{\mathcal{G}_0}^n}

the set of sequences of composable morphisms of length nn, for nn \in \mathbb{N};

with face maps

d k:N(𝒢 ) n+1N(𝒢 ) n d_k \colon N(\mathcal{G}_\bullet)_{n+1} \to N(\mathcal{G}_\bullet)_{n}

being,

  • for n=0n = 0 the functions that remembers the kkth object;

  • for n1n \geq 1

    • the two outer face maps d 0d_0 and d nd_n are given by forgetting the first and the last morphism in such a sequence, respectively;

    • the n1n-1 inner face maps d 0<k<nd_{0 \lt k \lt n} are given by composing the kkth morphism with the k+1k+1st in the sequence.

The degeneracy maps

s k:N(𝒢 )nN(𝒢 ) n+1. s_k \colon N(\mathcal{G}_\bullet)n \to N(\mathcal{G}_\bullet)_{n+1} \,.

are given by inserting an identity morphism on x kx_k.

Remark

Spelling this out in more detail: write

𝒢 n={x 0f 0,1x 1f 1,2x 2f 2,3f n1,nx n} \mathcal{G}_n = \left\{ x_0 \stackrel{f_{0,1}}{\to} x_1 \stackrel{f_{1,2}}{\to} x_2 \stackrel{f_{2,3}}{\to} \cdots \stackrel{f_{n-1,n}}{\to} x_n \right\}

for the set of sequences of nn composable morphisms. Given any element of this set and 0<k<n0 \lt k \lt n , write

f i1,i+1f i,i+1f i1,i f_{i-1,i+1} \coloneqq f_{i,i+1} \circ f_{i-1,i}

for the comosition of the two morphism that share the iith vertex.

With this, face map d kd_k acts simply by “removing the index kk”:

d 0:(x 0f 0,1x 1f 1,2x 2f n1,nx n)(x 1f 1,2x 2f n1,nx n) d_0 \colon (x_0 \stackrel{f_{0,1}}{\to} x_1 \stackrel{f_{1,2}}{\to} x_{2} \cdots \stackrel{f_{n-1,n}}{\to} x_n ) \mapsto (x_1 \stackrel{f_{1,2}}{\to} x_{2} \cdots \stackrel{f_{n-1,n}}{\to} x_n )
d 0<k<n:(x 0x k1f k1,kx kf k,k+1x k+1x n)(x 0x k1f k1,k+1x k+1x n) d_{0\lt k \lt n} \colon ( x_0 \cdots \stackrel{}{\to} x_{k-1} \stackrel{f_{k-1,k}}{\to} x_k \stackrel{f_{k,k+1}}{\to} x_{k+1} \stackrel{}{\to} \cdots x_n ) \mapsto ( x_0 \cdots \stackrel{}{\to} x_{k-1} \stackrel{f_{k-1,k+1}}{\to} x_{k+1} \stackrel{}{\to} \cdots x_n )
d n:(x 0f 0,1f n2,n1x n1f n1,nx n)(x 0f 0,1f n2,n1x n1). d_n \colon ( x_0 \stackrel{f_{0,1}}{\to} \cdots \stackrel{f_{n-2,n-1}}{\to} x_{n-1} \stackrel{f_{n-1,n}}{\to} x_n ) \mapsto ( x_0 \stackrel{f_{0,1}}{\to} \cdots \stackrel{f_{n-2,n-1}}{\to} x_{n-1} ) \,.

Similarly, writing

f k,kid x k f_{k,k} \coloneqq id_{x_k}

for the identity morphism on the object x kx_k, then the degenarcy map acts by “repeating the kkth index”

s k:(x 0x kf k,k+1x k+1)(x 0x kf k,kx kf k,k+1x k+1). s_k \colon ( x_0 \stackrel{}{\to} \cdots \to x_k \stackrel{f_{k,k+1}}{\to} x_{k+1} \to \cdots ) \mapsto ( x_0 \stackrel{}{\to} \cdots \to x_k \stackrel{f_{k,k}}{\to} x_k \stackrel{f_{k,k+1}}{\to} x_{k+1} \to \cdots ) \,.

This makes it manifest that these functions organise into a simplicial set.

Proposition

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

Proposition

The nerve operation constitutes a full and faithful functor

N:GrpdKanCplxsSet. N \colon Grpd \to KanCplx \hookrightarrow sSet \,.
Chain complexes as Kan complexes – Dold-Kan-Moore correspondence

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:

Definition

For AA a simplicial abelian group its alternating face map complex (CA) (C A)_\bullet of AA is the chain complex which

  • in degree nn is given by the group A nA_n itself

    (CA) n:=A n (C A)_n := A_n
  • with differential given by the alternating sum of face maps (using the abelian group structure on AA)

    n i=0 n(1) id i:(CA) n(CA) n1. \partial_n \coloneqq \sum_{i = 0}^n (-1)^i d_i \;\colon\; (C A)_n \to (C A)_{n-1} \,.
Lemma

The differential in def. is well-defined in that it indeed squares to 0.

Proof

Using the simplicial identity, prop. , d id j=d j1d id_i \circ d_j = d_{j-1} \circ d_i for i<ji \lt j one finds:

n n+1 = i,j(1) i+jd id j = ij(1) i+jd id j+ i<j(1) i+jd id j = ij(1) i+jd id j+ i<j(1) i+jd j1d i = ij(1) i+jd id j ik(1) i+kd kd i =0. \begin{aligned} \partial_n \partial_{n+1} & = \sum_{i, j} (-1)^{i+j} d_i \circ d_{j} \\ &= \sum_{i \geq j} (-1)^{i+j} d_i \circ d_j + \sum_{i \lt j} (-1)^{i+j} d_i \circ d_j \\ &= \sum_{i \geq j} (-1)^{i+j} d_i \circ d_j + \sum_{i \lt j} (-1)^{i+j} d_{j-1} \circ d_i \\ &= \sum_{i \geq j} (-1)^{i+j} d_i \circ d_j - \sum_{i \leq k} (-1)^{i+k} d_{k} \circ d_i \\ &= 0 \end{aligned} \,.
Definition

Given a simplicial abelian group AA, its normalized chain complex or Moore complex is the \mathbb{N}-graded chain complex ((NA) ,)((N A)_\bullet,\partial ) which

  • is in degree nn the joint kernel

    (NA) n= i=1 nkerd i n (N A)_n=\bigcap_{i=1}^{n}ker\,d_i^n

    of all face maps except the 0-face;

  • with differential given by the remaining 0-face map

    n:=d 0 n| (NA) n:(NA) n(NA) n1. \partial_n := d_0^n|_{(N A)_n} : (N A)_n \rightarrow (N A)_{n-1} \,.
Remark

We may think of the elements of the complex NAN A, def. , in degree kk as being kk-dimensional disks in AA all whose boundary is captured by a single face:

  • an element gNG 1g \in N G_1 in degree 1 is a 1-disk

    1gg, 1 \stackrel{g}{\to} \partial g \,,
  • an element hNG 2h \in N G_2 is a 2-disk

    1 1 h h 1 1 1, \array{ && 1 \\ & {}^1\nearrow &\Downarrow^h& \searrow^{\partial h} \\ 1 &&\stackrel{1}{\to}&& 1 } \,,
  • a degree 2 element in the kernel of the boundary map is such a 2-disk that is closed to a 2-sphere

    1 1 h h=1 1 1 1, \array{ && 1 \\ & {}^1\nearrow &\Downarrow^h& \searrow^{\partial h = 1} \\ 1 &&\stackrel{1}{\to}&& 1 } \,,

etc.

Definition

Given a simplicial group AA (or in fact any simplicial set), then an element aA n+1a \in A_{n+1} is called degenerate (or thin) if it is in the image of one of the simplicial degeneracy maps s i:A nA n+1s_i \colon A_n \to A_{n+1}. All elements of A 0A_0 are regarded a non-degenerate. Write

D(A n+1) is i(A n)A n+1 D (A_{n+1}) \coloneqq \langle \cup_i s_i(A_{n}) \rangle \hookrightarrow A_{n+1}

for the subgroup of A n+1A_{n+1} which is generated by the degenerate elements (i.e. the smallest subgroup containing all the degenerate elements).

Definition

For AA a simplicial abelian group its alternating face maps chain complex modulo degeneracies, (CA)/(DA)(C A)/(D A) is the chain complex

  • which in degree 0 equals is just ((CA)/D(A)) 0A 0((C A)/D(A))_0 \coloneqq A_0;

  • which in degree n+1n+1 is the quotient group obtained by dividing out the group of degenerate elements, def. :

    ((CA)/D(A)) n+1:=A n+1/D(A n+1) ((C A)/D(A))_{n+1} := A_{n+1} / D(A_{n+1})
  • whose differential is the induced action of the alternating sum of faces on the quotient (which is well-defined by lemma ).

Lemma

Def. is indeed well defined in that the alternating face map differential respects the degenerate subcomplex.

Proof

Using the mixed simplicial identities we find that for s j(a)A ns_j(a) \in A_n a degenerate element, its boundary is

i(1) id is j(a) = i<j(1) is j1d i(a)+ i=j,j+1(1) ia+ i>j+1(1) is jd i1(a) = i<j(1) is j1d i(a)+ i>j+1(1) is jd i1(a) \begin{aligned} \sum_i (-1)^i d_i s_j(a) &= \sum_{i \lt j} (-1)^i s_{j-1} d_i(a) + \sum_{i = j, j+1} (-1)^i a + \sum_{i \gt j+1} (-1)^i s_j d_{i-1}(a) \\ &= \sum_{i \lt j} (-1)^i s_{j-1} d_i(a) + \sum_{i \gt j+1} (-1)^i s_j d_{i-1}(a) \end{aligned}

which is again a combination of elements in the image of the degeneracy maps.

Proposition

Given a simplicial abelian group AA, the evident composite of natural morphisms

NAiAp(CA)/(DA) N A \stackrel{i}{\hookrightarrow} A \stackrel{p}{\to} (C A)/(D A)

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.

Corollary

For AA a simplicial abelian group, there is a splitting

C (A)N (A)D (A) C_\bullet(A) \simeq N_\bullet(A) \oplus D_\bullet(A)

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

Proof

By prop. there is an inverse to the diagonal composite in

CA p (CA)/(DA) i NA. \array{ C A &\stackrel{p}{\longrightarrow}& (C A)/(D A) \\ {}^{\mathllap{i}}\uparrow & \nearrow \\ N A } \,.

This hence exhibits a splitting of the short exact sequence given by the quotient by DAD A.

0 DA CA p (CA)/(DA) 0 i iso NA. \array{ 0 &\to& D A &\hookrightarrow & C A &\stackrel{p}{\longrightarrow}& (C A)/(D A) &\to & 0 \\ && && {}^{\mathllap{i}}\uparrow & \swarrow_{\mathrlap{\simeq}_{iso}} \\ && && N A } \,.
Theorem (Eilenberg-MacLane)

Given a simplicial abelian group AA, then the inclusion

NACA N A \hookrightarrow C A

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 (X)D_\bullet(X) is null-homotopic.

Corollary

Given a simplicial abelian group AA, then the projection chain map

(CA)(CA)/(DA) (C A) \longrightarrow (C A)/(D A)

from its alternating face maps complex, def. , to the alternating face map complex modulo degeneracies, def. , is a quasi-isomorphism.

Proof

Consider the pre-composition of the map with the inclusion of the normalized chain complex, def. .

CA p (CA)/(DA) i NA \array{ C A &\stackrel{p}{\longrightarrow}& (C A)/(D A) \\ {}^{\mathllap{i}}\uparrow & \nearrow \\ N A }

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.

Example

Consider the 1-simplex Δ[1]\Delta[1] regarded as a simplicial set, and write [Δ[1]]\mathbb{Z}[\Delta[1]] for the simplicial abelian group which in each degree is the free abelian group on the simplices in Δ[1]\Delta[1].

This simplicial abelian group starts out as

[Δ[1]]=( 4 3 1 0 2) \mathbb{Z}[\Delta[1]] = \left( \cdots \stackrel{\longrightarrow}{\stackrel{\longrightarrow}{\stackrel{\longrightarrow}{\longrightarrow}}} \mathbb{Z}^4 \stackrel{\longrightarrow}{\stackrel{\longrightarrow}{\longrightarrow}} \mathbb{Z}^3 \stackrel{\overset{\partial_0}{\longrightarrow}}{\underset{\partial_1}{\longrightarrow}} \mathbb{Z}^2 \right)

(where we are indicating only the face maps for notational simplicity).

Here the first 2=\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)(0) and (1)(1) of Δ[1]\Delta[1], i.e. the abelian group of formal linear combinations of the form

2{a(0)+b(1)|a,b}. \mathbb{Z}^2 \simeq \left\{ a \cdot (0) + b \cdot (1) | a,b \in \mathbb{Z}\right\} \,.

The second 3\mathbb{Z}^3 \simeq \mathbb{Z}\oplus \mathbb{Z}\oplus \mathbb{Z} is the abelian group generated from the three (!) 1-simplicies in Δ[1]\Delta[1], namely the non-degenerate edge (01)(0\to 1) and the two degenerate cells (00)(0 \to 0) and (11)(1 \to 1), hence the abelian group of formal linear combinations of the form

3{a(00)+b(01)+c(11)|a,b,c}. \mathbb{Z}^3 \simeq \left\{ a \cdot (0\to 0) + b \cdot (0 \to 1) + c \cdot (1 \to 1) | a,b,c \in \mathbb{Z}\right\} \,.

The two face maps act on the basis 1-cells as

1:(ij)(i) \partial_1 \colon (i \to j) \mapsto (i)
0:(ij)(j). \partial_0 \colon (i \to j) \mapsto (j) \,.

Now of course most of the (infinitely!) many simplices inside Δ[1]\Delta[1] are degenerate. In fact the only non-degenerate simplices are the two 0-cells (0)(0) and (1)(1) and the 1-cell (01)(0 \to 1). Hence the alternating face maps complex modulo degeneracies, def. , of [Δ[1]]\mathbb{Z}[\Delta[1]] is simply this:

(C([Δ[1]]))/D([Δ[1]]))=(00(11) 2). (C (\mathbb{Z}[\Delta[1]])) / D (\mathbb{Z}[\Delta[1]])) = \left( \cdots \to 0 \to 0 \to \mathbb{Z} \stackrel{\left(1 \atop -1\right)}{\longrightarrow} \mathbb{Z}^2 \right) \,.

Notice that alternatively we could consider the topological 1-simplex Δ 1=[0,1]\Delta^1 = [0,1] and its singular simplicial complex Sing(Δ 1)Sing(\Delta^1) in place of the smaller Δ[1]\Delta[1], then the free simplicial abelian group (Sing(Δ 1))\mathbb{Z}(Sing(\Delta^1)) of that. The corresponding alternating face map chain complex C((Sing(Δ 1)))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 nn-simplex in [0,1][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.

Theorem

For AA an abelian category there is an equivalence of categories

N:A Δ opCh +(A):Γ N \;\colon\; A^{\Delta^{op}} \stackrel{\leftarrow}{\to} Ch_\bullet^+(A) \;\colon\; \Gamma

between

where

Theorem (Kan)

For the case that AA is the category Ab of abelian groups, the functors NN and Γ\Gamma are nerve and realization with respect to the cosimplicial chain complex

[]:ΔCh +(Ab) \mathbb{Z}[-]: \Delta \to Ch_+(Ab)

that sends the standard nn-simplex to the normalized Moore complex of the free simplicial abelian group F (Δ n)F_{\mathbb{Z}}(\Delta^n) on the simplicial set Δ n\Delta^n, i.e.

Γ(V):[k]Hom Ch +(Ab)(N((Δ[k])),V). \Gamma(V) \;\colon\; [k] \mapsto Hom_{Ch_\bullet^+(Ab)}(N(\mathbb{Z}(\Delta[k])), V) \,.
Example

Given a chain complex VV, consider the 1-simplices of its incarnation Γ(V)\Gamma(V) as a simplicial set. By theorem these correspond to the maps of chain complexes

N([Δ[1]])V N( \mathbb{Z}[\Delta[1]] ) \longrightarrow V

from the normalized chains complex of the 1-simplex. By example the latter is

(00(11) 2). \left( \cdots \to 0 \to 0 \to \mathbb{Z} \stackrel{\left(1 \atop -1\right)}{\longrightarrow} \mathbb{Z}^2 \right) \,.

Hence a map of chain complexes as above is:

  1. two group homomorphisms α,β:V 0\alpha,\beta \colon \mathbb{Z}\longrightarrow V_0, hence equivalently two elements α,βV 0\alpha,\beta \in V_0;

  2. one group homomorphism κ:V 1\kappa \colon \mathbb{Z} \longrightarrow V_1, hence equivalently an element κV 1\kappa \in V_1;

  3. such that

    κ V 1 (1,1) V (β,α) V 0 \array{ \mathbb{Z} &\stackrel{\kappa}{\longrightarrow}& V_1 \\ \downarrow^{\mathrlap{(1,-1)}} && \downarrow^{\mathrlap{\partial_V}} \\ \mathbb{Z} \oplus \mathbb{Z} &\stackrel{(\beta,\alpha)}{\longrightarrow}& V_0 }

    i.e. such that

    Vκ=βα\partial_V \kappa = \beta - \alpha.

Generally we have the following

Proposition
  • For VCh +V \in Ch_\bullet^+ the simplicial abelian group Γ(V)\Gamma(V) is in degree nn given by

    Γ(V) n= [n]surj[k]V k \Gamma(V)_n = \bigoplus_{[n] \underset{surj}{\to} [k]} V_k

    and for θ:[m][n]\theta : [m] \to [n] a morphism in Δ\Delta the corresponding map Γ(V) nΓ(V) m\Gamma(V)_n \to \Gamma(V)_m

    θ *: [n]surj[k]V k [m]surj[r]V r \theta^* : \bigoplus_{[n] \underset{surj}{\to} [k]} V_k \to \bigoplus_{[m] \underset{surj}{\to} [r]} V_r

    is given on the summand indexed by some σ:[n][k]\sigma : [n] \to [k] by the composite

    V kd *V s [m]surj[r]V r V_k \stackrel{d^*}{\to} V_s \hookrightarrow \bigoplus_{[m] \underset{surj}{\to} [r]} V_r

    where

    [m]t[s]d[k] [m] \stackrel{t}{\to} [s] \stackrel{d}{\to} [k]

    is the epi-mono factorization of the composite [m]θ[n]σ[k][m] \stackrel{\theta}{\to} [n] \stackrel{\sigma}{\to} [k].

  • The natural isomorphism ΓNId\Gamma N \to Id is given on AsAb Δ opA \in sAb^{\Delta^{op}} by the map

    [n]surj[k](NA) kA n \bigoplus_{[n] \underset{surj}{\to} [k]} (N A)_k \to A_n

    which on the direct summand indexed by σ:[n][k]\sigma : [n] \to [k] is the composite

    NA kA kσ *A n. N A_k \hookrightarrow A_k \stackrel{\sigma^*}{\to} A_n \,.
  • The natural isomorphism IdNΓId \to N \Gamma is on a chain complex VV given by the composite of the projection

    VC(Γ(V))C(Γ(C))/D(Γ(V)) V \to C(\Gamma(V)) \to C(\Gamma(C))/D(\Gamma(V))

    with the inverse

    C(Γ(V))/D(Γ(V))NΓ(V) C(\Gamma(V))/D(\Gamma(V)) \to N \Gamma(V)

    of

    NΓ(V)C(Γ(V))C(Γ(V))/D(Γ(V)) N \Gamma(V) \hookrightarrow C(\Gamma(V)) \to C(\Gamma(V))/D(\Gamma(V))

    (which is indeed an isomorphism, as discussed at Moore complex).

Proposition

With the explicit choice for ΓNId\Gamma N \stackrel{\simeq}{\to} Id as above we have that Γ\Gamma and NN form an adjoint equivalence (ΓN)(\Gamma \dashv N)

Remark

It follows that with the inverse structure maps, we also have an adjunction the other way round: (NΓ)(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:

Theorem (J. C. Moore)

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’.

Smooth homotopy types

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 n\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

X:CartSp opsSet. X \;\colon\; CartSp^{op} \longrightarrow sSet \,.
Example

By the Grothendieck nerve construction discussed above, every Lie groupoid 𝒢\mathcal{G} induces a simplicial presheaf, the one which to a test Cartesian space UU assigns the nerve of the bare groupoid of smooth functions into 𝒢\mathcal{G}:

𝒢:UN(C (U,𝒢 1) C (U,𝒢 0)). \mathcal{G} \;\colon\; U \mapsto N\left( \array{ C^\infty(U, \mathcal{G}_1) \\ \downarrow \uparrow \downarrow \\ C^\infty(U, \mathcal{G}_0) } \right) \,.

In particular for GG a Lie group with BG\mathbf{B}G the corresponding one-object Lie groupoid, then its incarnation as a simplicial sheaf is

BG:UN(C (U,G) *). \mathbf{B}G \;\colon\; U \mapsto N\left( \array{ C^\infty(U, G) \\ \downarrow \uparrow \downarrow \\ \ast } \right) \,.
Example

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 AA be a discrete abelian group and write A[n]A[n] for the chain complex concentrated on AA in degree nn, then we write

B nAΓ(A[n])KanCplxconstantPSh(CartSp,sSet) \mathbf{B}^n A \coloneqq \Gamma(A[n]) \in KanCplx \stackrel{constant}{\longrightarrow} PSh(CartSp,sSet)

for the corresponding simplicial presheaf.

On the other hand, let C ():CartSp opAbC^\infty(-)\colon CartSp^{op} \longrightarrow Ab be the sheaf of smooth functions, regarded as taking values in additive abelian groups. Then we write

B nΓ(C ()[n])PSh(CartSp,sSet). \mathbf{B}^n \mathbb{R} \coloneqq \Gamma(C^\infty(-)[n]) \in PSh(CartSp, sSet) \,.

In contrast, the simplicial presheaf which comes from the real numbers regarded as a discrete group we write

B nΓ([n])constPSh(CartSp,sSet). \mathbf{B}^n \flat \mathbb{R}\coloneqq \Gamma(\mathbb{R}[n]) \stackrel{const}{\longrightarrow} PSh(CartSp, sSet) \,.

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

L lwhePSh(CartSp,Set) L_{lwhe} PSh(CartSp,Set)

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 XX and AA two presheaves with values in Kan complexes, then a homomorphism between them in L lwhePSh(CartSp,Set)L_{lwhe} PSh(CartSp,Set) is in general a span of plain morphisms in L lwhePSh(CartSp,Set)L_{lwhe} PSh(CartSp,Set),

X^ Y l X \array{ \hat X &\longrightarrow& Y \\ \downarrow^{\mathrlap{\simeq_{l}}} \\ X }

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 XX and YY 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.

Example

For XX a smooth manifold and GG a Lie group, they represent simplicial sheaves XX and BG\mathbf{B}G via example . A morphism from XX to BG\mathbf{B}G in the homotopy theory of smooth homotopy types may pass through an locally weakly equivalent resolution of XX. Such is given by any choice of open cover {U iX}\{U_i \to X\}. Let C({U i})C(\{U_i\}) be the corresponding Cech nerve, then a span as above is given by

C({U i}) BG w X. \array{ C(\{U_i\}) &\longrightarrow& \mathbf{B}G \\ \downarrow^{\mathrlap{\simeq_w}} \\ X } \,.

Inspection shows that here the top morphism is equivalently a Cech cocycle on XX with coefficients in GG, representing a GG-principal bundle on XX.

For more lecture notes on this see at geometry of physics – principal bundles.

Example

We write

B p+1(/Γ) conn:UΓ(ΓC (U,)d dRΩ 1(U)d dRΩ 2(U)d dRd dRΩ n(U)) \mathbf{B}^{p+1}(\mathbb{R}/\Gamma)_{conn} \;\colon\; U \mapsto \Gamma\left( \Gamma \hookrightarrow C^\infty(U,\mathbb{R}) \stackrel{d_{dR}}{\longrightarrow} \Omega^1(U) \stackrel{d_{dR}}{\longrightarrow} \Omega^2(U) \stackrel{d_{dR}}{\longrightarrow} \cdots \stackrel{d_{dR}}{\longrightarrow} \Omega^n(U) \right)

for the incarnation of the Deligne complex (in the given degrees) as a simplicial presgeaf, via the Dold-Kan correspondence.

Then for XX a smooth manifold as in example , a morphism from XX to \mathbf[B}^{p+1}(\mathbb{R}/\Gamma)_{conn} in the homotopy theory of simplicial presheaves is equivalently a choice {U iX}\mathbf[B}\{U_i \to X\} of a good open cover and a span

C({U i}) B p+1(/Γ) conn w X. \array{ C(\{U_i\}) &\longrightarrow& \mathbf{B}^{p+1}(\mathbb{R}/\Gamma)_{conn} \\ \downarrow^{\mathrlap{\simeq_w}} \\ X } \,.

Inspection shows that these are equivalently the Cech-Deligne cocyles discussed above.

Higher Lie integration

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:

Remark

For 𝔤\mathfrak{g} an L-∞ algebra, and given a smooth manifold UU, then

  1. the flat L-∞ algebra valued differential forms on UU are equivalently the dg-algebra homomorphisms

    Ω flat(U,𝔤)=Hom dgAlg(CE(𝔤),Ω (U) dR) \Omega_{flat}(U,\mathfrak{g}) = Hom_{dgAlg}(CE(\mathfrak{g}), \Omega^\bullet(U)_{\mathrm{dR}})
  2. a finite gauge transformation between two such forms is equivalently a homotopy

    Ω flat(U×Δ 1,𝔤) ()| 0 ()| 1 Ω flat(U,𝔤) Ω flat(U,𝔤). \array{ & & \Omega_{flat}(U \times \Delta^1,\mathfrak{g}) \\ & {}^{(-)|_0}\swarrow && \searrow^{\mathrlap{(-)|_1}} \\ \Omega_{flat}(U ,\mathfrak{g}) && && \Omega_{flat}(U, \mathfrak{g}) } \,.

For more details see at infinity-Lie algebroid-valued differential form – Integration of infinitesimal gauge transformations.

Definition

For 𝔤\mathfrak{g} an L-∞ algebra, write:

  • CE(𝔤)CE(\mathfrak{g}) for the Chevalley-Eilenberg algebra of an L-∞ algebra 𝔤\mathfrak{g};

  • Δ smth :ΔSmoothMfd\Delta^\bullet_{smth} \colon \Delta \to SmoothMfd for the cosimplicial smooth manifold with corners which is in degree kk the standard kk-simplex Δ k k+1\Delta^k \hookrightarrow \mathbb{R}^{k+1};

  • Ω si (Δ smth k)\Omega^\bullet_{si}(\Delta_{smth}^k) for the de Rham complex of those differential forms on Δ smth k\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;

  • Ω si (U×Δ smth k)\Omega^\bullet_{si}(U \times \Delta_{smth}^k) for USmoothMfdU \in SmoothMfd for the de Rham complex of differential forms on U×Δ kU \times \Delta^k which when restricted to each point of UU have sitting instants on Δ k\Delta^k;

  • Ω vert,si (U×Δ smth 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×Δ kUU \times \Delta^k \to U.

Definition

For 𝔤\mathfrak{g} an L-∞ algebra, write

  • exp(𝔤) PreSmoothTypes=PSh(CartSp,sSet)\exp(\mathfrak{g})_\bullet \in PreSmoothTypes = PSh(CartSp,sSet)

    for the simplicial presheaf

    exp(𝔤):(U×k)Hom dgAlg(CE(𝔤),Ω vert,si (U×Δ smth k)). \exp(\mathfrak{g}) \colon (U \times k) \mapsto Hom_{dgAlg}( CE(\mathfrak{g}), \Omega^\bullet_{vert,si}(U \times \Delta_{smth}^k) ) \,.

    which is the universal Lie integration of 𝔤\mathfrak{g};

  • dRexp(𝔤) PreSmoothTypes=PSh(CartSp,sSet)\flat_{dR}\exp(\mathfrak{g})_\bullet \in PreSmoothTypes = PSh(CartSp,sSet)

    for the simplicial presheaf

    dRexp(𝔤) :(U×k)Hom dgAlg(CE(𝔤),Ω si 1,(U×Δ smth k)) \flat_{dR}\exp(\mathfrak{g})_\bullet \;\colon\; (U \times k) \mapsto Hom_{dgAlg}( CE(\mathfrak{g}), \Omega^{\bullet\geq 1, \bullet}_{si}(U \times \Delta^k_{smth}) )

    of those differential forms on U×Δ U \times \Delta^\bullet with at least one leg along UU;

  • Ω flat 1(,𝔤) dRexp(𝔤) 0 dRexp(𝔤) \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.

Example

From the discussion at Lie integration:

  1. Ω flat 1(,b p+1)=Ω cl p+2\Omega^1_{flat}(-,b^{p+1}\mathbb{R}) = \mathbf{\Omega}^{p+2}_{cl};

  2. for 𝔤\mathfrak{g} an ordinary Lie algebra, then for the 2-coskeleton (by this discussion)

    cosk 2exp(𝔤)BG cosk_2 \exp(\mathfrak{g}) \simeq \mathbf{B}G_\bullet

    for GG the simply connected Lie group associated to 𝔤\mathfrak{g} by traditional Lie theory. If 𝔤\mathfrak{g} is furthermore a semisimple Lie algebra, then also

    cosk 3exp(𝔤)BG cosk_3 \exp(\mathfrak{g}) \simeq \mathbf{B}G_\bullet
  3. for 𝔤=b p\mathfrak{g} = b^{p}\mathbb{R} the line Lie p+1-algebra, then (by this proposition)

    exp(b p)B p+1. \exp(b^p \mathbb{R}) \simeq \mathbf{B}^{p+1}\mathbb{R} \,.
Remark

The constructions in def. are clearly functorial: given a homomorphism of L-∞ algebras

μ:𝔤𝔥 \mu \;\colon\; \mathfrak{g} \longrightarrow \mathfrak{h}

it prolongs to a homomorphism of presheaves

μ:Ω flat 1(,𝔤)Ω 1(,𝔥) \mu \colon \Omega^1_{flat}(-,\mathfrak{g}) \longrightarrow \Omega^1(-,\mathfrak{h})

and of simplicial presheaves

exp(μ):exp(𝔤)exp(𝔥) \exp(\mu) \;\colon\; \exp(\mathfrak{g}) \longrightarrow \exp(\mathfrak{h})

etc.

Example

According to the above, a degree-(p+2)(p+2)-L-∞ cocycle μ\mu on an L-∞ algebra 𝔤\mathfrak{g} is a homomorphism of the form

μ:𝔤b p+1 \mu \colon \mathfrak{g} \longrightarrow b^{p+1}\mathbb{R}

to the line Lie (p+2)-algebra b p+1b^{p+1}\mathbb{R}. The formal dual of this is the homomorphism of dg-algebras

CE(𝔤)CE(b p+1):μ * CE(\mathfrak{g}) \longleftarrow CE(b^{p+1}\mathbb{R}) \colon \mu^\ast

which manifestly picks a d CE(𝔤)d_{CE(\mathfrak{g})}-closed element in CE p+2(𝔤)CE^{p+2}(\mathfrak{g}).

Precomposing this μ *\mu^\ast with a flat L-∞ algebra valued differential form

AΩ flat 1(X,𝔤)=Hom dgAlg(CE(𝔤),Ω (X)) A \in \Omega^1_{flat}(X,\mathfrak{g}) = Hom_{dgAlg}(CE(\mathfrak{g}), \Omega^\bullet(X))

yields, by example , a plain closed (p+2)(p+2)-form

μ *AΩ cl p+2(X). \mu^\ast A \in \Omega^{p+2}_{cl}(X) \,.
Definition

Given an L-∞ cocycle

μ:𝔤b p+1, \mu \colon \mathfrak{g} \longrightarrow b^{p+1}\mathbb{R} \,,

as in example , then its group of periods is the discrete additive subgroup Γ\Gamma \hookrightarrow \mathbb{R} of those real numbers which are integrations

Δ smth p+3μ *A \underset{\partial \Delta^{p+3}_{smth}}{\int} \mu^\ast A \in \mathbb{R}

of the value of μ\mu, as in example , on L-∞ algebra valued differential forms

AΩ flat 1(Δ smth p+3), A \in \Omega^1_{flat}(\partial \Delta^{p+3}_{smth}) \,,

over the boundary of the (p+3)-simplex (which are forms with sitting instants on the (p+2)(p+2)-dimensional faces that glue together; without restriction of generality we may simply consider forms on the (p+2)(p+2)-sphere S p+2S^{p+2}).

Proposition

Given an L-∞ cocycle μ:𝔤b p+1\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)(p+2)-coskeleton

BGcosk p+2exp(𝔤) \mathbf{B}G \coloneqq cosk_{p+2}\exp(\mathfrak{g})

up to quotienting the coefficients \mathbb{R} by the group of periods Γ\Gamma of μ\mu, def. , to yield the bottom morphism in

exp(𝔤) exp(μ) B p+2 BG c B p+2(/Γ). \array{ \exp(\mathfrak{g}) &\stackrel{\exp(\mu)}{\longrightarrow}& \mathbf{B}^{p+2}\mathbb{R} \\ \downarrow && \downarrow \\ \mathbf{B}G &\stackrel{\mathbf{c}}{\longrightarrow}& \mathbf{B}^{p+2} (\mathbb{R}/\Gamma) } \,.

This is due to (FSS 12).

Here and in the following we are freely using example to identify exp(b p+1)B p+2\exp(b^{p+1}\mathbb{R}) \simeq \mathbf{B}^{p+2}\mathbb{R}. Establishing this is the only real work in prop. .

Higher Maurer-Cartan forms

Definition

Write

:L lwhePSh(CartSp,sSet)L lwhePSh(CartSp,sSet) \flat \;\colon\; L_{lwhe} PSh(\mathrm{CartSp}, sSet) \longrightarrow L_{lwhe} PSh(\mathrm{CartSp}, sSet)

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

ϵ :Id. \epsilon^\flat \colon \flat \to Id \,.
Example

For GG a Lie group and

BG:UNC (U,G)L lwhePSh(CartSp,sSet) \mathbf{B}G : U \mapsto N C^\infty(U,G) \in L_{lwhe} PSh(\mathrm{CartSp}, sSet)

for its stacky delooping, which is the universal moduli stack of GG-principal bundles, then given a GG-principal bundle PP modulated by a map

XBG X \longrightarrow \mathbf{B}G

then a lift \nabla in the homotopy-commutative diagram

BG X BG \array{ && \flat \mathbf{B}G \\ &{}^{\mathllap{\nabla}}\nearrow& \downarrow \\ X &\longrightarrow& \mathbf{B}G }

is equivalently a flat connection on GG. Hence BG\flat \mathbf{B}G is the universal moduli stack for flat connections. Whence the symbol “\flat”.

Definition

Given GG any smooth infinity-group, denote the double homotopy fiber of the counit ϵ \epsilon^\flat, def. as follows:

G G dRBG BG ϵ BG. \array{ G \\ \downarrow^{\mathrlap{G}} \\ \flat_{dR} \mathbf{B}G &\longrightarrow& \flat \mathbf{B}G \\ && \downarrow^{\mathrlap{\epsilon^{\flat}}} \\ && \mathbf{B}G } \,.

We say that

  • dRBG\flat_{dR}\mathbf{B}G is the flat de Rham coefficients for GG;

  • θ G\theta_G is the Maurer-Cartan form of GG.

Example

In the situation of example where GG is an ordinary Lie groups and with 𝔤\mathfrak{g} denoting the Lie algebra of GG, then we get that

Higher WZW terms

We discuss now how every L-∞ cocycle μ:𝔤b p+1\mu \;\colon\; \mathfrak{g} \longrightarrow b^{p+1} \mathbb{R} induces via differential higher Lie integration a higher WZW term for a pp-brane sigma model with target space a differential extension G˜\tilde G of a smooth infinity-group GG 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 pp-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.)

\,

Proposition

For μ:𝔤b p+1\mu \colon \mathfrak{g}\longrightarrow b^{p+1}\mathbb{R} an L-∞ cocycle, then there is the following canonical commuting diagram of simplicial presheaves

Ω flat 1(,G) μ Ω cl 2(,𝔾) dRBG dRc dRB 2𝔾Ω flat 1(,𝔤) μ Ω cl p+2 dRexp(𝔤) dRexp(μ) dRB p+2 dRBG dRc dRB p+2 \array{ \Omega^1_{flat}(-,G) &\stackrel{\mu}{\longrightarrow}& \Omega^2_{cl}(-,\mathbb{G}) \\ \downarrow && \downarrow \\ \flat_{dR}\mathbf{B}G &\stackrel{\flat_{dR} \mathbf{c}}{\longrightarrow}& \flat_{dR}\mathbf{B}^2 \mathbb{G} } \;\;\; \coloneqq \;\;\; \array{ \Omega^1_{flat}(-,\mathfrak{g}) &\stackrel{\mu}{\longrightarrow}& \mathbf{\Omega}^{p+2}_{cl} \\ \downarrow && \downarrow \\ \flat_{dR}\exp(\mathfrak{g})_\bullet & \stackrel{\flat_{dR}\exp(\mu)}{\longrightarrow} & \flat_{dR}\mathbf{B}^{p+2}\mathbb{R} \\ \downarrow && \downarrow \\ \flat_{dR}\mathbf{B}G &\stackrel{\flat_{dR}\mathbf{c}}{\longrightarrow}& \flat_{dR}\mathbf{B}^{p+2}\mathbb{R} }

which is given

  • on the top by def. , example , remark ,

  • on the bottom by applying the operation of def. to the commuting diagram provided by prop. ,

Notice that the abstractly define Maurer-Cartan form θ G:G dRBG\theta_G \;\colon\; G \longrightarrow \flat_{dR}\mathbf{B}G is, for GG 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 G˜G\widetilde G \longrightarrow G such that pulled back to this G˜\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.

Definition

Write

G˜G× dRBGΩ flat 1(,𝔤) \tilde G \coloneqq G \underset{\flat_{dR}\mathbf{B}G}{\times} \mathbf{\Omega}^1_{flat}(-,\mathfrak{g})

for the homotopy pullback of the left vertical morphism in prop. along (the modulating morphism for) the Maurer-Cartan form θ G\theta_G of GG, i.e. for the object sitting in a homotopy Cartesian square of the form

G˜ θ G˜ Ω flat 1(,𝔤) G θ G dRBG. \array{ \tilde G &\stackrel{\theta_{\tilde G}}{\longrightarrow}& \Omega^1_{flat}(-,\mathfrak{g}) \\ \downarrow && \downarrow \\ G &\stackrel{\theta_G}{\longrightarrow}& \flat_{dR}\mathbf{B}G } \,.
Example

For the special case that GG is an ordinary Lie group, then dRBGΩ flat 1(,𝔤)\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 G˜G\tilde G \simeq G.

On the other extreme, when G=B pU(1)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

B pU(1)˜B pU(1) conn. \widetilde{\mathbf{B}^p U(1)} \simeq \mathbf{B}^p U(1)_{conn} \,.

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 .

Remark

From example one reads off the conceptual meaning of def. : For GG a Lie group, then the de Rham coefficients are just globally defined differential forms, dRBGΩ flat 1(,𝔤)\flat_{dR}\mathbf{B}G \simeq \Omega^1_{flat}(-,\mathfrak{g}) (by the discussion here), and in particular therefore the Maurer-Cartan form θ G:G dRBG\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 GG. 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 GG, namely θ G˜:G˜Ω flat 1(,𝔤)\theta_{\tilde G} \colon \tilde G \to \Omega^1_{flat}(-,\mathfrak{g}).

Definition

Given an L-∞ cocycle μ:𝔤b p+1\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

Ω flat 1(,𝔤) μ Ω cl p+2 dRBG dRc dRB p+2 θ G θ B p+1(/Γ) G Ωc B p+1(/Γ). \array{ \Omega^1_{flat}(-,\mathfrak{g}) &\stackrel{\mu}{\longrightarrow}& \mathbf{\Omega}^{p+2}_{cl} \\ \downarrow && \downarrow \\ \flat_{dR} \mathbf{B}G &\stackrel{\flat_{dR}\mathbf{c}}{\longrightarrow}& \flat_{dR}\mathbf{B}^{p+2}\mathbb{R} \\ \uparrow^{\mathrlap{\theta_G}} && \uparrow^{\mathrlap{\theta_{\mathbf{B}^{p+1}(\mathbb{R}/\Gamma)}}} \\ G &\stackrel{\Omega \mathbf{c}}{\longrightarrow}& \mathbf{B}^{p+1} (\mathbb{R}/\Gamma) } \,.

By the homotopy fiber product characterization of the Deligne complex, prop. , this yields a morphism of the form

L WZW μ:G˜B p+1(/Γ) conn. \mathbf{L}_{WZW}^{\mu} \;\colon\; \tilde G \longrightarrow \mathbf{B}^{p+1}(\mathbb{R}/\Gamma)_{conn} \,.

which modulates a p+1-connection/Deligne cocycle on the differentially extended smooth \infty-group G˜\tilde G from def. .

This we call the WZW term obtained by universal Lie integration from μ\mu.

Essentially this construction originates in (FSS 13).

Remark

The WZW term of def. is a prequantization of ωμ(θ G˜)\omega \coloneqq \mu(\theta_{\tilde G}), hence a lift L WZW μ\mathbf{L}_{WZW}^\mu in

B p+1(/Γ) conn L WZW μ F () G˜ μ(θ G˜) Ω p+2. \array{ && \mathbf{B}^{p+1}(\mathbb{R}/\Gamma)_{conn} \\ & {}^{\mathllap{\mathbf{L}_{WZW}^\mu}}\nearrow & \downarrow^{\mathrlap{F_{(-)}}} \\ \tilde G &\stackrel{\mu(\theta_{\tilde G})}{\longrightarrow}& \mathbf{\Omega}^{p+2} } \,.

Consecutive WZW terms and twists

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 μ 1:𝔤b p 1+1\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 μ 2:𝔤^b p 2+1\mu_2 \colon \hat \mathfrak{g} \to b^{p_2+1}\mathbb{R}

𝔤^ μ 2 b p 2+1 𝔤 μ 1 b p 1+1. \array{ \hat {\mathfrak{g}} &\stackrel{\mu_2}{\longrightarrow}& b^{p_2+1}\mathbb{R} \\ \downarrow \\ \mathfrak{g} &\stackrel{\mu_1}{\longrightarrow}& b^{p_1+1}\mathbb{R} } \,.
Lemma

The homotopy fiber 𝔤^𝔤\hat \mathfrak{g} \to \mathfrak{g} of μ 1\mu_1 is given by the ordinary pullback

𝔤^ eb p 1 𝔤 μ 1 b p 1+1, \array{ \hat \mathfrak{g} &\longrightarrow& e b^{p_1} \mathbb{R} \\ \downarrow && \downarrow \\ \mathfrak{g} &\stackrel{\mu_1}{\longrightarrow}& b^{p_1+1}\mathbb{R} } \,,

where eb p 1e b^{p_1}\mathbb{R} is defined by its Chevalley-Eilenberg algebra CE(eb p 1)CE(e b^{p_1}\mathbb{R}) being the Weil algebra of b p 1b^{p_1}\mathbb{R}, which is the free differential graded algebra on a generator in degree p 1p_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)CE(b^{p_1+1}\mathbb{R}).

Corollary

A homotopy fiber sequence of L-∞ algebras 𝔤^𝔤μb p+1\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

Ω flat 1(,𝔤^) Ω p+1 d Ω flat 1(,𝔤) μ Ω cl p+2 \array{ \mathbf{\Omega}^1_{flat}(-,\hat {\mathfrak{g}}) &\stackrel{}{\longrightarrow}& \mathbf{\Omega}^{p+1} \\ \downarrow && \downarrow^{\mathbf{d}} \\ \mathbf{\Omega}^1_{flat}(-,\mathfrak{g}) &\stackrel{\mu}{\longrightarrow}& \mathbf{\Omega}^{p+2}_{cl} }

(hence an ordinary pullback of presheaves, since these are all simplicially constant).

Proof

The construction 𝔤Hom dgAlg(CE(𝔤),Ω ())\mathfrak{g} \mapsto Hom_{dgAlg}(CE(\mathfrak{g}), \Omega^\bullet(-)) preserves pullbacks (CECE 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

Ω cl p+2Hom dgAlg(CE(b p+1),Ω ()) \mathbf{\Omega}^{p+2}_{cl} \simeq Hom_{dgAlg}(CE(b^{p+1}), \Omega^\bullet(-))

we have

Ω p+1Hom dgAlg(W(b p),Ω ()). \mathbf{\Omega}^{p+1} \simeq Hom_{dgAlg}(W(b^{p}), \Omega^\bullet(-)) \,.

With this the statement follows by lemma .

Definition

We say that a pair of L-∞ cocycles (μ 1,μ 2)(\mu_1, \mu_2) is consecutive if the domain of the second is the extension (homotopy fiber) defined by the first

𝔤^ μ 2 b p 2+1 𝔤 μ 1 b p 1+1 \array{ \hat {\mathfrak{g}} &\stackrel{\mu_2}{\longrightarrow}& b^{p_2+1} \\ \downarrow \\ \mathfrak{g} &\stackrel{\mu_1}{\longrightarrow}& b^{p_1+1}\mathbb{R} }

and if the truncated Lie integrations of these cocycles via prop. preserves the extension property in that also

G^GΩc 1B p 1+1(/Γ 1) \hat G \longrightarrow G \overset{\Omega \mathbf{c}_1}{\longrightarrow} \mathbf{B}^{p_1+1}(\mathbb{R}/\Gamma_1)

is a homotopy fiber sequence of smooth homotopy types.

Remark

The issue of the second clause in def. is to do with the truncation degrees: the universal untruncated Lie integration exp()\exp(-) preserves homotopy fiber sequences, but if there are non-trivial cocycles on 𝔤\mathfrak{g} in between μ 1\mu_1 and μ 2\mu_2, for p 2>p 1p_2 \gt p_1, then these will remain as nontrivial homotopy groups in the higher-degree truncation BG 2τ p 2exp(𝔤^)\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 BG 1τ p 1exp(𝔤)\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 (μ 1,μ 2)(\mu_1,\mu_2), def. , let

L 1:G˜B p 1+1(/Γ 1) conn \mathbf{L}_1 \colon \tilde G \longrightarrow \mathbf{B}^{p_1+1}(\mathbb{R}/\Gamma_1)_{conn}

and

L 2:G^˜B p 2+1(/Γ 2) conn \mathbf{L}_2 \colon \widetilde {\hat G} \longrightarrow \mathbf{B}^{p_2+1}(\mathbb{R}/\Gamma_2)_{conn}

be the WZW terms obtained from the two cocycles via def. .

Proposition

There is a homotopy pullback square in smooth homotopy types of the form

G^˜ Ω p 1+1 G˜ L 1 B p 1+1(/Γ 1) conn. \array{ \widetilde {\hat G} &\stackrel{}{\longrightarrow}& \mathbf{\Omega}^{p_1+1} \\ \downarrow && \downarrow \\ \tilde G &\stackrel{\mathbf{L}_1}{\longrightarrow}& \mathbf{B}^{p_1+1}(\mathbb{R}/\Gamma_1)_{conn} } \,.
Proof

Consider the following pasting composite

Ω p 1+1 * * d Ω p 1+2 dRB p 1+2 θ B p 1 B p 1+1 μ 1 dRc 1 Ωc 1 Ω flat 1(,𝔤) dRBG θ G G, \array{ \mathbf{\Omega}^{p_1+1} &\longrightarrow& \ast &\longleftarrow& \ast \\ {}^{\mathllap{\mathbf{d}}}\downarrow &\swArrow& \downarrow && \downarrow \\ \mathbf{\Omega}^{p_1+2} &\longrightarrow& \flat_{dR}\mathbf{B}^{p_1+2}\mathbb{R} &\stackrel{\theta_{\mathbf{B}^{p_1}\mathbb{R}}}{\longleftarrow}& \mathbf{B}^{p_1+1}\mathbb{R} \\ \uparrow^{\mathrlap{\mu_1}} && \uparrow^{\mathrlap{\flat_{dR} \mathbf{c}_1 }} && \uparrow^{\mathrlap{\Omega \mathbf{c}_1}} \\ \mathbf{\Omega}^1_{flat}(-,\mathfrak{g}) &\stackrel{}{\longrightarrow}& \flat_{dR}\mathbf{B}G &\stackrel{\theta_G}{\longleftarrow}& G } \,,

where

  • the top left square is the evident homotopy;

  • the bottom left square is from prop. ;

  • 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

Ω p 1+1 B p 1+1(/Γ 1) conn L 1 G˜ \array{ \mathbf{\Omega}^{p_1+1} \\ \downarrow \\ \mathbf{B}^{p_1+1}(\mathbb{R}/\Gamma_1)_{conn} \\ \uparrow^{\mathrlap{\mathbf{L}_1}} \\ \tilde G }

by def. . On the other hand, forming homotopy limits vertically this turns into

Ω flat 1(,𝔤^) dRBG 2 θ G^ G^ \array{ \mathbf{\Omega}^1_{flat}(-,\hat \mathfrak{g}) &\longrightarrow& \flat_{dR}\mathbf{B}G_2 &\stackrel{\theta_{\hat G}}{\longleftarrow}& \hat G }

(on the left by corollary , on the right by the second clause in def. ).

The homotopy limit over that last cospan, in turn, is G^˜\widetilde{\hat G}. This implies the claim by the fact that homotopy limits commute with each other.

Remark

Prop. says how consecutive pairs of L L_\infty-cocycles Lie integrate suitably to consecutive pairs of WZW terms.

Corollary

In the above situation there is a homotopy fiber sequence of infinity-group objects of the form

B p 1(/Γ 1) conn G^˜ G˜ L 1 B(B p 1(/Γ 1) conn), \array{ \mathbf{B}^{p_1}(\mathbb{R}/\Gamma_1)_{conn} &\longrightarrow& \widetilde {\hat G} \\ && \downarrow \\ && \tilde G &\overset{\mathbf{L}_1}{\longrightarrow}& \mathbf{B}\left( \mathbf{B}^{p_1}(\mathbb{R}/\Gamma_1)_{conn} \right) } \,,

where the bottom horizontal morphism is the higher WZW term that Lie integrates μ 1\mu_1, followed by the canonical projection

B p 1+1(/Γ 1) connB(B p 1(/Γ 1) conn) \mathbf{B}^{p_1+1}(\mathbb{R}/\Gamma_1)_{conn} \to \mathbf{B}\left( \mathbf{B}^{p_1}(\mathbb{R}/\Gamma_1)_{conn} \right)

which removes the top-degree differential form data from a higher connection.

Hence G^˜\widetilde{\hat G} is an infinity-group extension of G˜\tilde G by the moduli stack of higher connections.

Proof

By prop. and the pasting law, the homotopy fiber of G^˜G˜\widetilde {\hat G} \to \tilde G is equivalently the homotopy fiber of Ω p 1+1B p 1+1(/Γ 1) conn\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 *B(B p 1(/Γ 1) conn)\ast \to \mathbf{B}\left( \mathbf{B}^{p_1}(\mathbb{R}/\Gamma_1)_{conn} \right), which is B(B p 1(/Γ 1) conn)\mathbf{B}\left( \mathbf{B}^{p_1}(\mathbb{R}/\Gamma_1)_{conn} \right):

B p 1(/Γ 1) conn G^˜ Ω p 1+1 * (pb) (pb) (pb) * G˜ L 1 B p 1+1(/Γ 1) conn B(B p 1(/Γ 1) conn). \array{ \mathbf{B}^{p_1}(\mathbb{R}/\Gamma_1)_{conn} &\longrightarrow& \widetilde {\hat G} &\overset{}{\longrightarrow}& \mathbf{\Omega}^{p_1+1} &\overset{}{\longrightarrow}& \ast \\ \downarrow &(pb)& \downarrow &(pb)& \downarrow &(pb)& \downarrow \\ \ast &\longrightarrow& \tilde G &\stackrel{\mathbf{L}_1}{\longrightarrow}& \mathbf{B}^{p_1+1}(\mathbb{R}/\Gamma_1)_{conn} &\overset{}{\longrightarrow}& \mathbf{B}\left( \mathbf{B}^{p_1}(\mathbb{R}/\Gamma_1)_{conn} \right) } \,.
Remark

Corollary says that G^˜\widetilde {\hat G} is a bundle of moduli stacks for differential cohomology over G˜\tilde G. This means that maps

ΣG^˜ \Sigma \longrightarrow \widetilde{\hat G}

(which are the fields of the higher WZW model with WZW term L 2\mathbf{L}_2) are pairs of plain maps ϕ:ΣG˜\phi \colon \Sigma \to \tilde G together with a differential cocycle on Σ\Sigma, i.e. a p 1p_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=1p_1 = 1 and so there is a 1-form connection on their worldvolume, the Chan-Paton gauge field. For the M5-brane p 1=2p_1 = 2 and so there is a 2-form connection on its worldvolume, the self-dual higher gauge field in 6d.

Example

For each Dp-brane species in type IIA string theory there is a pair of consecutive cocycles (def. ) of the form

𝔰𝔱𝔯𝔦𝔫𝔤 IIA μ Dp b p+1 9,1|16+16¯ μ F1 IIA b 2. \array{ \mathfrak{string}_{IIA} &\overset{\mu_{Dp}}{\longrightarrow}& b^{p+1} \mathbb{R} \\ \downarrow \\ \mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}} &\overset{\mu_{F1}^{IIA}}{\longrightarrow}& b^2 \mathbb{R} } \,.

This is by the discussion below. Here

μ Dp=(Cexp(F 2)) p+2 \mu_{Dp} = (C \wedge \exp(F_2))_{p+2}

reflects the familiar D-brane coupling to the RR-fields C=C 2+C 4+C = C_2 + C_4 + \cdots, given an abelian Chan-Paton gauge field with field strength F 2F_2, see def. below.

The WZW term induced by μ F1 IIA\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 String IIA˜\widetilde{ String_{IIA} } which is an infinity-group extension of super Minkowski spacetime by the moduli stack BU(1) conn\mathbf{B}U(1)_{conn} for complex line bundles with connection, sitting in a homotopy fiber sequence of the form

BU(1) conn String IIA˜ 9,1|16+16¯ L Dp B(B pU(1) conn). \array{ \mathbf{B}U(1)_{conn} &\longrightarrow& \widetilde{ String_{IIA} } \\ && \downarrow \\ && \mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}} &\overset{\mathbf{L}_{Dp}}{\longrightarrow}& \mathbf{B}(\mathbf{B}^{p}U(1)_{conn}) } \,.

It follows that field configurations for the D-brane given by morphisms

Σ p+1String IIA˜ \Sigma_{p+1} \longrightarrow \widetilde{ String_{IIA} }

are equivalently pairs, consisting of an ordinary sigma-model field

ϕ:Σ p+1 9,1|16+16¯ \phi \;\colon\; \Sigma_{p+1} \longrightarrow \mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}}

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.

Consecutive WZW terms descending to twisted cocycles

Above we considered consecutive cocycles (def. ) with coefficients in line Lie-n algebras b p+1b^{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

  1. the descent of the separate D-brane cocycles to the RR-fields in twisted K-theory, rationally (here)

  2. the descent of the M5-brane cocycle to a cocycle in degree-4 cohomology, rationally (here).

\,

Given one stage of consecutive L L_\infty-cocycles, def. (e.g in the brane bouquet discussed below)

𝔤^ μ 2 B𝔥 2 hofib(μ 1) 𝔤 μ 1 B𝔥 1 \array{ \hat \mathfrak{g} & \stackrel{\mu_2}{\longrightarrow} & \mathbf{B}\mathfrak{h}_2 \\ {}^{\mathllap{hofib(\mu_1)}}\downarrow \\ \mathfrak{g} \\ & {}_{\mathllap{\mu_1}}\searrow \\ && \mathbf{B}\mathfrak{h}_1 }

then 𝔤^\hat \mathfrak{g} may be thought of, in a precise sense, as being a 𝔥 1\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 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 HH a Lie group and BH\mathbf{B}H its one-object delooping Lie groupoid, and for GG another Lie group (or just any smooth manifold), then a generalized morphism of Lie groupoids

G BH \array{ G \\ & \searrow \\ && \mathbf{B}H }

(i.e. a morphism between the smooth stacks which they represent, or equivalently a bibundle of Lie groupoids) classifies a smooth HH-principal bundle over HH, and the total space G^\hat G of that bundle is equivalently the homotopy fiber of the original map.

G^ G BH \array{ \hat G \\ \downarrow \\ G \\ & \searrow \\ && \mathbf{B}H }

This is explained in some detail at principal bundle – In a (2,1)-topos.

Back to the abalogous situation of L L_\infty-algebras instead of Lie groups, it is now natural to ask whether the second cocycle μ 2\mu_2, defined on the total space (stack) of this bundle is equivariant under the ∞-action of 𝔥 1\mathfrak{h}_1. If μ 2\mu_2 does not itself already come from the base space, then it can at best be equivariant with respect to an 𝔥 1\mathfrak{h}_1-∞-action on B𝔥 2\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:

𝔤^ μ 2 B𝔥 2 hofib(μ 1) hofib(p ρ) 𝔤 (B𝔥 2)/𝔥 1 μ 1 p ρ B𝔥 1. \array{ \hat \mathfrak{g} && \stackrel{\mu_2}{\longrightarrow} && \mathbf{B}\mathfrak{h}_2 \\ {}^{\mathllap{hofib(\mu_1)}}\downarrow && && \downarrow^{\mathrlap{hofib(p_\rho)}} \\ \mathfrak{g} && && (\mathbf{B}\mathfrak{h}_2)/\mathfrak{h}_1 \\ & {}_{\mathllap{\mu_1}}\searrow && \swarrow_{\mathrlap{p_\rho}} \\ && \mathbf{B}\mathfrak{h}_1 } \,.

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 HH a Lie group and ρ\rho a smooth action of HH on some smooth manifold VV, then there is the action groupoid V/HV/H. Its objects are the points of VV, but then it has morphisms of the form vhρ(h)(v)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=*V = \ast is the point, then */HBH\ast/H \simeq \mathbf{B}H is just the one-object delooping Lie groupoid of the Lie group HH itself. This also shows that there is canonical map

V/H BH \array{ && V/H \\ & \swarrow \\ \mathbf{B}H }

which is given by sending all vVv\in V to the point, and sending each morphism vhρ(h)(v)v \stackrel{h}{\longrightarrow} \rho(h)(v) to *h*\ast \stackrel{h}{\longrightarrow} \ast.

This projection is evidently an isofibration, meaning that if we have a morphism in BG\mathbf{B}G and a lift of its source object to V/HV/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/HV/H that gets send to the (identity morphism on) the point, is clearly just VV itself again. Hence we conclude that the action of GG on VV induced a homotopy fiber sequence

V V/H BH. \array{ && V \\ && \downarrow \\ && V/H \\ & \swarrow \\ \mathbf{B}H } \,.

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 HH are equivalently bundles over BH\mathbf{B}H. One way to understand this is to observe that the action groupoid V/HV/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 HH-universal principal bundle:

V/HEH×ρV. V/H \simeq \mathbf{E}H \underset{\rho}{\times} V \,.

Hence the statement is that the map that sends HH-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 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 μ 2\mu_2 is equivalent to it descending down the homotopy fibers on both sides to an L L_\infty-homomorphism of the form

μ 2/𝔥 1:𝔤(B𝔥 2)/𝔥 1 \mu_2/\mathfrak{h}_1 \;\colon\; \mathfrak{g} \longrightarrow (\mathbf{B}\mathfrak{h}_2)/\mathfrak{h}_1

making this diagram commute in the homotopy category:

𝔤^ μ 2 B𝔥 2 hofib(μ 1) hofib(p ρ) 𝔤 μ 2/𝔥 1 (B𝔥 2)/𝔥 1 μ 1 p ρ B𝔥 1. \array{ \hat \mathfrak{g} && \stackrel{\mu_2}{\longrightarrow} && \mathbf{B}\mathfrak{h}_2 \\ {}^{\mathllap{hofib(\mu_1)}}\downarrow && && \downarrow^{\mathrlap{hofib(p_\rho)}} \\ \mathfrak{g} && \stackrel{\mu_2/\mathfrak{h}_1}{\longrightarrow} && (\mathbf{B}\mathfrak{h}_2)/\mathfrak{h}_1 \\ & {}_{\mathllap{\mu_1}}\searrow && \swarrow_{\mathrlap{p_\rho}} \\ && \mathbf{B}\mathfrak{h}_1 } \,.

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

X σ V/H BH \array{ X && \stackrel{\sigma}{\longrightarrow} && V/H \\ & \searrow && \swarrow \\ && \mathbf{B}H }

is equivalently a section of the VV-fiber bundle which is associated via ρ\rho to the HH-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

P×XPP×H V×H P σ˜ V X σ V/H BH \array{ P \underset{X}{\times}P \simeq P \times H && \longrightarrow && V \times H \\ \downarrow\downarrow && && \downarrow \downarrow \\ P && \stackrel{\tilde \sigma}{\longrightarrow} && V \\ \downarrow && && \downarrow \\ X && \stackrel{\sigma}{\longrightarrow} && V/H \\ & \searrow && \swarrow \\ && \mathbf{B}H }

then this σ\sigma induces a VV-valued function on the total space PP of the principal bundle with the property that this is GG-equivariant. It is a classical fact that such equivariant VV-valued functions on total spaces of principal bundles are equivalent to sections of the associated VV-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:

Remark

The resulting triangle diagram

𝔤 μ 2/𝔥 1 (B𝔥 2)/𝔥 1 μ 1 p ρ B𝔥 1 \array{ \mathfrak{g} && \stackrel{\mu_2/\mathfrak{h}_1}{\longrightarrow} && (\mathbf{B}\mathfrak{h}_2)/\mathfrak{h}_1 \\ & {}_{\mathllap{\mu_1}}\searrow && \swarrow_{\mathrlap{p_\rho}} \\ && \mathbf{B}\mathfrak{h}_1 }

regarded as a morphism

μ 2/𝔥 1:μ 1p rho \mu_2/\mathfrak{h}_1 \;\colon\; \mu_{1} \longrightarrow p_rho

in the slice over B𝔥 1\mathbf{B}\mathfrak{h}_1 exhibits μ 2/𝔥 1\mu_2/\mathfrak{h}_1 as a cocycle in (rational) μ 1\mu_1-twisted cohomology with respect to the local coefficient bundle p ρ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 pp-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.

The higher WZW terms of super pp-branes

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)

Spacetime

Everything we say below follows

by developing this elementary phenomenon (highlighted in Schreiber 15):

Proposition

Consider the superpoint

0|1 \;\;\;\;\;\; \mathbb{R}^{0\vert 1}

regarded as an abelian super Lie algebra.

Its maximal central extension is

the N=1N = 1 super-worldline of the superparticle:

0,1|1 0|1. \array{ \mathbb{R}^{0,1\vert \mathbf{1}} \\ \downarrow \\ \mathbb{R}^{0\vert 1} } \,.
  • whose even part is spanned by one generator HH

  • whose odd part is spanned by one generator QQ

  • the only non-trivial bracket is

    {Q,Q}=H \{Q, Q\} = H

Then consider the superpoint

0|2. \;\;\;\;\;\; \mathbb{R}^{0\vert 2} \,.

Its maximal central extension is

the d=3d = 3, N=1N = 1 super Minkowski spacetime

2,1|2 0|2. \array{ \mathbb{R}^{2,1\vert \mathbf{2}} \\ \downarrow \\ \mathbb{R}^{0\vert 2} } \,.
  • whose even part is 3\mathbb{R}^3, spanned by generators P 0,P 1,P 2P_0, P_1, P_2

  • whose odd part is 2\mathbb{R}^2, regarded as

    the Majorana spinor representation 2\mathbf{2}

    of Spin(2,1)SL(2,)Spin(2,1) \simeq SL(2,\mathbb{R})

  • the only non-trivial bracket is the spinor bilinear pairing

    {Q α,Q β}=C ααΓ a α βP a \{Q_\alpha, Q'_\beta\} = C_{\alpha \alpha'} \Gamma_a{}^{\alpha'}{}_\beta \,P^a

where C αβC_{\alpha \beta} is the charge conjugation matrix.

Proof

\,

Recall that

dd-dimensional central extensions of super Lie algebras 𝔤\mathfrak{g}

are classified by 2-cocycles.

These are super-skew symmetric bilinear maps

μ 2:𝔤𝔤 d \mu_2 \;\colon\; \mathfrak{g} \wedge\mathfrak{g} \longrightarrow \mathbb{R}^d

satisfying a cocycle condition.

The extension 𝔤^\widehat{\mathfrak{g}} that this classifies

has underlying super vector space

the direct sum

𝔤^𝔤 d \widehat{\mathfrak{g}} \coloneqq \mathfrak{g} \oplus \mathbb{R}^d

an the new super Lie bracket is given

on pairs (x,c)𝔤 d(x,c) \in \mathfrak{g} \oplus \mathbb{R}^d

by

[(x 1,c 1),(x 2,c 2)] μ 2=([x 1,x 2],μ 2(c 1,c 2)). [\; (x_1,c_1), (x_2,c_2)\;]_{\mu_2} \;=\; (\, [x_1,x_2]\,,\, \mu_2(c_1,c_2) \,) \,.

The condition that the new bracket [,] μ 2[-,-]_{\mu_2} satisfies the super Jacobi identity

is equivalent to the cocycle condition on μ 2\mu_2.

Now

in the case that 𝔤= 0|q\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 qq fermionic dimensions.

So

in the case 𝔤= 0|1\mathfrak{g} = \mathbb{R}^{0\vert 1}

there is a unique such, up to scale, namely

μ 2(aQ,bQ)=abP. \mu_2(a Q,b Q) = a b P \,.

But

in the case 𝔤= 0|2\mathfrak{g} = \mathbb{R}^{0\vert 2}

there is a 3-dimensional space of 2-cocycles, namely

μ 2((Q 1 Q 2),(Q 1 Q 2))={Q 1Q 1, 12(Q 1Q 2+Q 2Q 1), Q 2Q 2 \mu_2 \left( \left( \array{ Q_1 \\ Q_2 }\right), \left( \array{ Q'_1 \\ Q'_2 } \right) \right) = \left\{ \array{ Q_1 Q'_1, & \tfrac{1}{2}\left( Q_1 Q'_2 + Q_2 Q'_1 \right), \\ & Q_2 Q'_2 } \right.

If this is identified with the three coordinates

of 3d Minkowski spacetime

2,1(t+x y tx) \mathbb{R}^{2,1} \;\simeq\; \left( \array{ t + x & y \\ & t - x } \right)

then the pairing is the claimed one

(see at supersymmetry – in dimensions 3,4,6,10).

\,

This phenomenon continues:

\,

Theorem

(J. Huerta)

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 d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}}

is the dd, N\mathbf{N} super-translation supersymmetry algebra.

And these subgroups are

the spin group covers Spin(d1,1)Spin(d-1,1)

of the Lorentz groups O(d1,1)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

of super Lie algebras,

starting with the superpoint,

we (re-)discover

  1. Lorentzian geometry,

  2. spin geometry.

  3. super spacetimes.

\,

May we extend further?

\,

Branes

\,

There are no further invariant 2-cocycles on

But there is an invariant 3-cocycle.

\,

There are no further invariant 2-cocycles on 10,1|32\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.

\,

Definition

For 𝔤\mathfrak{g} a super Lie algebra

of finite dimension,

then its Chevalley-Eilenberg algebra CE(𝔤)CE(\mathfrak{g})

is the super-Grassmann algebra on the dual super vector space

𝔤 * \wedge^\bullet \mathfrak{g}^\ast

equipped with a differential d 𝔤d_{\mathfrak{g}}

that on generators is the linear dual of the super Lie bracket

d 𝔤[,] *:𝔤 *𝔤 *𝔤 * d_{\mathfrak{g}} \coloneqq [-,-]^\ast \;\colon\; \mathfrak{g}^\ast \to \mathfrak{g}^\ast \wedge \mathfrak{g}^\ast

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 (×/2)(\mathbb{Z} \times \mathbb{Z}/2)-bigraded,

the first being the cohomological grading nn in n𝔤 *\wedge^\n \mathfrak{g}^\ast,

the second being the super-grading σ\sigma (even/odd).

The sign rule is

αβ=(1) n 1n 2(1) σ 1σ 2βα. \alpha \wedge \beta = (-1)^{n_1 n_2} (-1)^{\sigma_1 \sigma_2}\; \beta \wedge \alpha \,.

A (p+2)(p+2)-cocycle on 𝔤\mathfrak{g}

is an element of degree (p+2,0)(p+2,0) in CE(𝔤)CE(\mathfrak{g})

which is d 𝕘d_{\mathbb{g}} closed. It is non-trivial if it is not d 𝔤d_{\mathfrak{g}}-exact.

\,

We may think of CE(𝔤)CE(\mathfrak{g}) equivalently

as the dg-algebra of left-invariant super differential forms

on the corresponding simply connected super Lie group .

\,

Example

For dd \in \mathbb{N}

and N\mathbf{N} a Majorana spin representation of Spin(d1,1)Spin(d-1,1)

then the super-translation supersymmetry super Lie algebra d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}}

has Chevalley-Eilenberg algebra generated by

  • {e a} a=0 d1\{e^a\}_{a = 0}^{d-1} in bi-degree (1,even)(1,even);

  • {ψ α} α=1 N\{\psi_\alpha\}_{\alpha = 1}^N in bi-degree (1,odd)(1,odd).

with differential

d:{ψ α 0 e a ψ¯Γ aψ d \;:\; \left\{ \array{ \psi_\alpha &\mapsto& 0 \\ e^a & \mapsto & \overline{\psi} \wedge \Gamma^a \psi } \right.

where

()¯Γ a()=() Γ 0Γ a() \overline{(-)}\Gamma^a(-) = (-)^\dagger \Gamma^0 \Gamma^a (-)

is the standard spinor bilinear pairing

in the spin representation N\mathbf{N}.

\,

If we think of super Minkowski spacetime

as the supermanifold with

  • even coordinates {x a} a=0 d1\{x^a\}_{a = 0}^{d-1};

  • odd coordinates {θ α} α=1 N\{\theta_\alpha\}_{\alpha = 1}^N

then these generators correspond to these super differential forms:

e a =d dRx a+θ¯Γ ad dRθcorrection term ψ α =d dRθ α \begin{aligned} e^a & = d_{dR} x^a + \underset{\text{correction term}}{\underbrace{\overline{\theta} \Gamma^a d_{dR} \theta}} \\ \psi^\alpha & = d_{dR} \theta^\alpha \end{aligned}

the super-vielbein.

\,

Notice that d dRx ad_{dR} x^a alone

fails to be a left invariant differential form,

in that it is not annihilated by the supersymmetry

vector fields

D α θ αθ¯ αΓ a α α x a. D_\alpha \;\coloneqq\; \partial_{\theta^\alpha} - \overline{\theta}_{\alpha'} \Gamma^a{}^{\alpha'}{}_\alpha \partial_{x^a}\,.

Therefore the all-important correction term above.

\,

Example

\,

The 2-cocycle that classifies the extension

10,1|32 11d,N=1 9,1|16+16¯ 10d,type IIA \array{ \mathbb{R}^{10,1\vert \mathbf{32}} && 11d, N = 1 \\ \downarrow \\ \mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}} && 10d, \text{type IIA} }

is

iψ¯Γ 11ψCE( 9,1|16+16¯) i \, \overline{\psi} \wedge \Gamma_{11} \psi \;\in\; CE(\mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}})

Regarded as a 2-form on 9,1|32\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.

\,

Proposition

(Achúcarro-Evans-Townsend-Wiltshire 87, Brandt 12-13)

The maximal invariant 3-cocycle on 10d super Minkowski spacetime is

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

This is the WZW term for the Green-Schwarz superstring (Green-Schwarz 84).

The maximal invariant 4-cocycle on super Minkowski spacetime is

μ M2=i(ψ¯Γ abψ)e ae b \mu_{M2} = i \left(\overline{\psi} \wedge \Gamma_{a b} \psi \right) \wedge e^a \wedge e^b

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 μ F1=(ψ¯Γ aψ)e a\mu_{F1} = \left(\overline{\psi} \wedge \Gamma_a \psi\right) \wedge e^a

as a left invariant differential form

on super-Minkowski spacetime.

Choose any differential form potential B F1B_{F1}

i.e. such that

d dRB F1=(ψ¯Γ aψ)e a. d_{dR} B_{F1} = \left(\overline{\psi} \wedge \Gamma_a \psi\right) \wedge e^a \,.

(This B F1B_{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

ϕ:Σ 2worldsheet 9,1|Nsuper-spacetime \phi \;\colon\; \underset{\text{worldsheet}}{\underbrace{\Sigma_2}} \longrightarrow \underset{\text{super-spacetime}}{\underbrace{\mathbb{R}^{9,1\vert \mathbf{N}}}}

(morphisms of supermanifolds)

given by

ϕ Σ 2det( σ ie a(ϕ) σ je b(ϕ))dσ 1dσ 2kinetic action+ Σ 2ϕ *B F1WZW term. \phi \;\mapsto\; \underset{\text{kinetic action}}{ \underbrace{ \int_{\Sigma_2} \sqrt{ -det(\partial_{\sigma^i} e^a(\phi) \partial_{\sigma_j} e_b(\phi)) } \, d \sigma^1 \wedge d\sigma^2 }} + \underset{\text{WZW term}}{ \underbrace{ \int_{\Sigma^2} \phi^\ast B_{F1} } } \,.

The first term is the Nambu-Goto action

the second is a WZW term.

\,

Originally Green-Schwarz 84 introduced B F1B_{F1}

to ensure an additional fermionic symmetry: “kappa-symmetry”.

Notice that B F1B_{F1} looks somewhat complicated

and is not unique.

That it is simply a WZW-term

for the supersymmetry supergroup

9,1|N=Iso( 9,1|N)/Spin(9,1) \mathbb{R}^{9,1\vert \mathbf{N}} = Iso(\mathbb{R}^{9,1\vert \mathbf{N}}) / Spin(9,1)

was observed in Henneaux-Mezincescu 85.

\,

Similarly,

choose any differential form potential C M2C_{M2} such that

d dRC M2=(ψ¯Γ abψ)e ae b. d_{dR} C_{M2} = \left(\overline{\psi} \wedge \Gamma_{a b} \psi\right) \wedge e^a \wedge e^b \,.

(This C M2C_{M2} will not be left-invariant.)

Then the Green-Schwarz type action functional

for the supermembrane

is the function on sigma-model fields

ϕ:Σ 3worldvolume 10,1|32 \phi \;\colon\; \underset{\text{worldvolume}}{\underbrace{\Sigma_3}} \longrightarrow \mathbb{R}^{10,1\vert \mathbf{32}}

given by

ϕ Σ 2det( σ ie a(ϕ) σ je b(ϕ))dσ 1dσ 2dσ 3kinetic action+ Σ 3ϕ *C M2WZW term. \phi \;\mapsto\; \underset{\text{kinetic action}}{ \underbrace{ \int_{\Sigma_2} \sqrt{ -det(\partial_{\sigma^i} e^a(\phi)\partial_{\sigma_j} e_b(\phi)) } \, d \sigma^1 \wedge d\sigma^2 \wedge d\sigma^3 }} + \underset{\text{WZW term}}{ \underbrace{ \int_{\Sigma^3} \phi^\ast C_{M2} } } \,.

On the right this is

the higher WZW term.

\,

Now we discuss that higher cocycles classify higher extensions:

\,

First observe that

Proposition

Homomorphisms of super Lie algebras

𝔤 1𝔤 2 \mathfrak{g}_1 \longrightarrow \mathfrak{g}_2

are in natural bijection with the homomorphisms of dg-algebras

between their Chevalley-Eilenberg algebra, going the opposite direction:

CE(𝔤 1)CE(𝔤 2). CE(\mathfrak{g}_1) \longleftarrow CE(\mathfrak{g}_2) \,.

This means that we may identify super Lie algebras with their CE-algebras.

In the terminology of category theory: the functor

CE:sLieAlg dgAlg op CE \;\colon\; s LieAlg_{\mathbb{R}} \hookrightarrow dgAlg_{\mathbb{R}}^{op}

given by

𝔤CE(𝔤)=( 𝔤 *,[,] *) \mathfrak{g} \mapsto CE(\mathfrak{g}) = (\wedge^\bullet \mathfrak{g}^\ast, [-,-]^\ast)

is fully faithful.

\,

Therefore is natural to make the following definition.

\,

Definition

A super Lie-infinity algebra of finite type is

  1. a \mathbb{Z}-graded super vector space 𝔤\mathfrak{g}

    degreewise of finite dimension

  2. for all n1n \geq 1 a multilinear map

    [,,]: n𝔤 1𝔤 [-,\cdots, -] \;\colon\; \wedge^n \mathfrak{g} \longrightarrow \wedge^1 \mathfrak{g}

    of degree (1,even)(-1,even)

such that

the graded derivation on the super-Grassmann algebra 𝔤 *\wedge^\bullet \mathfrak{g}^\ast given by

d 𝔤[] *+[,] *+[,,] *+: 1𝔤 * 𝔤 * d_{\mathfrak{g}} \coloneqq [-]^\ast + [-,-]^\ast + [-,-,-]^\ast + \cdots \;\; \colon\;\; \wedge^1 \mathfrak{g}^\ast \longrightarrow \wedge^\bullet \mathfrak{g}^\ast

squares to zero:

d 𝔤d 𝔤=0 d_{\mathfrak{g}} d_{\mathfrak{g}} = 0

and hence defines a dg-algebra

CE(𝔤)( 𝔤 *,d 𝔤). CE(\mathfrak{g}) \coloneqq ( \wedge^\bullet \mathfrak{g}^\ast, d_{\mathfrak{g}} ) \,.

A homomorphism of super L L_\infty-algebras is dually a homomorphism of their CE-algebras.

\,

If 𝔤\mathfrak{g} is concentrated

in degrees 00 to n1n-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[]+[,]+[,,]+D \coloneqq [-] + [-,-] + [-,-,-] + \cdots as a differential

making a differential graded coalgebra.

\,

L 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 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 theorysupergravity
\, super Lie n-algebra 𝔤\mathfrak{g} \,\, “FDA” CE(𝔤)CE(\mathfrak{g}) \,

\,

However,

what has not been used in the “FDA” literature

is that L L_\infty-algebras are objects in homotopy theory:

\,

Proposition

(Pridham 10, prop. 4.36)

There exists a model category such that

  1. its fibrant objects are the (super-)L-∞ algebras

    with the above homomorphisms between them;

  2. and

    • the weak equivalences between (super-)L L_\infty-algebras are the quasi-isomorphisms;

    • fibrations between (super-)L 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

𝔤 1 f 𝔤 2 \array{ \mathfrak{g}_1 \\ & {}_{\mathllap{f}}\searrow \\ && \mathfrak{g}_2 }

is the composite of a quasi-isomorphism followed by a surjection

𝔤 1 quasi-iso 𝔤˜ 1 f f fibsurjection 𝔤 2. \array{ \mathfrak{g}_1 && \overset{\text{quasi-iso}}{\longrightarrow} && \widetilde \mathfrak{g}_1 \\ & {}_{\mathllap{f}}\searrow && \swarrow_{\mathrlap{ {f_{fib}} \atop {\text{surjection}}}} \\ && \mathfrak{g}_2 } \,.

That surjective homomorphism f fibf_{fib}

is called a fibrant replacement of ff.

\,

Definition

Given homomorphisms of super L-∞ algebras

𝔤 1f𝔤 2 \mathfrak{g}_1 \overset{f}{\longrightarrow} \mathfrak{g}_2

then its homotopy fiber hofib(f)hofib(f)

is the kernel of any fibrant replacement

hofib(f)ker(f fib). hofib(f) \;\coloneqq\; ker(f_{fib}) \,.

Standard facts in homotopy theory assert

that hofib(f)hofib(f) is well-defined

up to quasi-isomorphism.

See at Introduction to homotopy theory – Homotopy fibers.

\,

Proposition

(Fiorenza-Sati-Schreiber 13, prop. 3.5)

Write

B p+1 B^{p+1}\mathbb{R}

for the line Lie (p+1)-algebra, given by

CE(B p+1)=( c p+2single generatorin deg.(p+2,even),d B p+1=0). CE(B^{p+1}\mathbb{R}) \;=\; \left( \wedge^\bullet \underset{\text{single generator} \atop \text{in deg.} \, (p+2,even)}{\underbrace{\langle c_{p+2} \rangle}} \;,\; d_{B^{p+1}\mathbb{R}} = 0 \right) \,.

A (p+2)(p+2)-cocycle on an L L_\infty-algebra is equivalently a homomorphim

μ p+2:𝔤B p+1. \mu_{p+2} \;\colon\; \mathfrak{g} \longrightarrow B^{p+1}\mathbb{R} \,.

The homotopy fiber of this map

𝔤^ hofib(μ p+2) 𝔤 μ p+2 B p+1 \array{ \widehat{\mathfrak{g}} \\ {}^{\mathllap{hofib(\mu_{p+2})}}\downarrow \\ \mathfrak{g} &\underset{\mu_{p+2}}{\longrightarrow}& B^{p+1}\mathbb{R} }

is given by adjoining to CE(𝔤)CE(\mathfrak{g}) a single generator b p+1b_{p+1}

forced to be a potential for μ p+2\mu_{p+2}:

CE(𝔤^)CE(𝔤)[b p+1]/(db p+1=μ p+2). CE(\widehat{\mathfrak{g}}) \;\simeq\; CE(\mathfrak{g})[b_{p+1}]/(d b_{p+1} = \mu_{p+2}) \,.
Example

\,

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:

\,

Definition

\,

Name the homotopy fibers of the cocycles

which are the higher WZW terms

of the superstring and the supermembrane

as follows

𝔪2𝔟𝔯𝔞𝔫𝔢 hofib(μ M2) 10,1|32 μ M2 B 3 \array{ \mathfrak{m}2\mathfrak{brane} \\ {}^{\mathllap{hofib}(\mu_{M2})}\downarrow \\ \mathbb{R}^{10,1\vert \mathbf{32}} &\underset{\mu_{M2}}{\longrightarrow}& B^3 \mathbb{R} }

\,

\,

𝔰𝔱𝔯𝔦𝔫𝔤 IIB hofib(μ F1 B) 9,1|16+16 μ F1 B B 2𝔰𝔱𝔯𝔦𝔫𝔤 het hofib(μ F1 het) 9,1|16 μ F1 het B 2𝔰𝔱𝔯𝔦𝔫𝔤 IIA hofib(μ F1 A) 9,1|16+16¯ μ F1 A B 2 \array{ \mathfrak{string}_{IIB} \\ {}^{\mathllap{hofib}(\mu_{F1}^B)}\downarrow \\ \mathbb{R}^{9,1\vert \mathbf{16}+ \mathbf{16}} &\underset{\mu_{F1}^B}{\longrightarrow}& B^2 \mathbb{R} } \;\;\;\;\;\;\;\;\;\;\;\;\;\;\; \array{ \mathfrak{string}_{het} \\ {}^{\mathllap{hofib}(\mu_{F1}^{het})}\downarrow \\ \mathbb{R}^{9,1\vert \mathbf{16}} &\underset{\mu_{F1}^{het}}{\longrightarrow}& B^2 \mathbb{R} } \;\;\;\;\;\;\;\;\;\;\;\;\;\;\; \array{ \mathfrak{string}_{IIA} \\ {}^{\mathllap{hofib}(\mu_{F1}^A)}\downarrow \\ \mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}} &\underset{\mu_{F1}^A}{\longrightarrow}& B^2 \mathbb{R} }

\,

The super Lie 2-algebra 𝔰𝔱𝔯𝔦𝔫𝔤 het\mathfrak{string}_{het} is given by

CE(𝔰𝔱𝔯𝔦𝔫𝔤 het)={de a=ψ¯Γ aψ,dψ α=0 db 2=μ F1 het=(ψ¯Γ aψ)e a} CE(\mathfrak{string}_{het}) = \left\{ \array{ d e^a = \overline{\psi} \Gamma^a \psi, \; d \psi^\alpha = 0 \\ d b_2 = \mu_{F1}^{het} = (\overline{\psi} \wedge \Gamma_a \psi)\wedge e^a } \right\}

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 𝔪2𝔟𝔯𝔞𝔫𝔢\mathfrak{m}2\mathfrak{brane} is given by

CE(𝔪2𝔟𝔯𝔞𝔫𝔢)={de a=ψ¯Γ aψ,dψ α=0 db 3=i(ψ¯Γ abψ)e ae b} CE(\mathfrak{m}2\mathfrak{brane}) = \left\{ \array{ d e^a = \overline{\psi} \wedge \Gamma^a \psi, \; d \psi^\alpha = 0 \\ d b_3 = i (\overline{\psi} \wedge \Gamma_{a b} \psi) \wedge e^a \wedge e^b } \right\}

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.

\,

Proposition

(Chryssomalakos-Azcárraga-Izquierdo-Bueno 99, Sakaguchi 99, Fiorenza-Sati-Schreiber 13)

The higher WZW terms for the D-branes

are invariant super L L_\infty-cocycles

on the higher extended super Minkowski spacetimes from above

μ Dp:𝔰𝔱𝔯𝔦𝔫𝔤AAAAAAAAB p+1. \mu_{D p} \;\colon\; \mathfrak{string} \stackrel{\phantom{AAAAAAAA}}{\longrightarrow} B^{p+1}\mathbb{R} \,.

Similarly,

the higher WZW term for the M5-brane

is an invariant super L L_\infty 7-cocycle

of the form

μ M5:𝔪2𝔟𝔯𝔞𝔫𝔢AAAAAAAAAB 6. \mu_{M5} \;\colon\; \mathfrak{m}2\mathfrak{brane} \stackrel{\phantom{AAAAAAAAA}}{\longrightarrow} B^6 \mathbb{R} \,.

\,

By the above, these cocycles classify

further higher super L L_\infty-algebra extensions

𝔡p𝔟𝔯𝔞𝔫𝔢 hofib(μ Dp) 𝔰𝔱𝔯𝔦𝔫𝔤 IIA/B μ Dp B p+1𝔪5𝔟𝔯𝔞𝔫𝔢 hofib(μ M5) 𝔪2𝔟𝔯𝔞𝔫𝔢 μ M5 B 6 \array{ \mathfrak{d}p\mathfrak{brane} \\ {}^{\mathllap{hofib(\mu_{D p})}}\downarrow \\ \mathfrak{string}_{IIA/B} &\underset{\mu_{D p}}{\longrightarrow}& B^{p+1}\mathbb{R} } \;\;\;\;\;\;\;\;\,\;\;\;\;\;\;\;\;\;\;\; \array{ \mathfrak{m}5\mathfrak{brane} \\ {}^{\mathllap{hofib(\mu_{M5})}}\downarrow \\ \mathfrak{m}2\mathfrak{brane} &\underset{\mu_{M5}}{\longrightarrow}& B^6 \mathbb{R} }

\,

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 .

10,1|32 hofib(μ D0) 9,1|16+16¯ μ D0=iψ¯Γ 11ψ B \array{ \mathbb{R}^{10,1\vert \mathbf{32}} \\ {}^{\mathllap{hofib(\mu_{D0})}} \downarrow \\ \mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}} &\underset{\mu_{D0} = i \, \overline{\psi} \Gamma_{11} \psi }{\longrightarrow}& B \mathbb{R} }

This may be thought of

as a super L L_\infty-theoretic incarnation

of D0-brane condensation

(Polchinski 99, around p. 8).

\,

In conclusion:

by forming

iterated (maximal) invariant higher central super L 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𝔟𝔯𝔞𝔫𝔢p 1𝔟𝔯𝔞𝔫𝔢p_2\mathfrak{brane} \longrightarrow p_1 \mathfrak{brane}

precisely if the given species of p 1p_1-branes may end on the given species of p 2p_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:

\,

Proposition

(Fiorenza-Sati-Schreiber 13, section 5)

Write String IIA˜\widetilde {String_{IIA}} for the super 2-group

that Lie integrates the super Lie 2-algebra 𝔰𝔱𝔯𝔦𝔫𝔤 IIA\mathfrak{string}_{IIA}

subject to the condition that it carries a globally defined Maurer-Cartan form.

Then for Σ p+1\Sigma_{p+1} a worldvolume smooth manifold

there is a natural equivalence

{Σ p+1ΦString IIA˜}{Σ p+1ϕ 9,1|16+16¯, Conn(Σ p+1,ϕ *μ string IIA)} \left\{ \Sigma_{p+1} \stackrel{\Phi}{\longrightarrow} \widetilde{String_{IIA}} \right\} \;\;\; \leftrightarrow \;\;\; \left\{ \array{ \Sigma_{p+1} \stackrel{\phi}{\longrightarrow} \mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}} }, \\ \nabla \in Conn(\Sigma_{p+1}, \phi^\ast \mu_{string_{IIA}} ) } \right\}

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 M2Brane˜\widetilde {M2Brane} for the super 3-group

that Lie integrates the super Lie 3-algebra 𝔪2𝔟𝔯𝔞𝔫𝔢\mathfrak{m}2\mathfrak{brane}

subject to the condition that it carries a globally defined Maurer-Cartan form.

Then for Σ 5+1\Sigma_{5+1} a worldvolume smooth manifold

there is a natural equivalence

{Σ 5+1ΦM2Brane˜}{Σ 5+1ϕ 10,1|32, 2Conn(Σ p+1,ϕ *μ M2)} \left\{ \Sigma_{5+1} \stackrel{\Phi}{\longrightarrow} \widetilde{M2Brane} \right\} \;\;\; \leftrightarrow \;\;\; \left\{ \array{ \Sigma_{5+1} \stackrel{\phi}{\longrightarrow} \mathbb{R}^{10,1\vert \mathbf{32} }, \\ \nabla \in 2Conn(\Sigma_{p+1}, \phi^\ast \mu_{M2} ) } \right\}

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 μ p 1+2\mu_{p_1+2} for some super p 1p_1-brane species

inducing an extended super Minkowski spacetime via its homotopy fiber

and then given a consecutive cocycle μ p 2+2\mu_{p_2+2} for a p 2p_2-brane species on that homotopy fiber

then p 1p_1-branes may end on p 2p_2-branes

and the p 2p_2-branes propagating in the extended spacetime p 1𝔟𝔯𝔞𝔫𝔢p_1 \mathfrak{brane}

see a higher gauge field on their worldvolume

of the kind sourced by boundaries of p 1p_1-branes.

\,

spacetimewithp 1-brane condensate p 1𝔟𝔯𝔞𝔫𝔢 μ p 2+2 B p 2+2 hofib(μ p 1+2) spacetime d1,1|N μ p 1+2 B p 1+1 \array{ { \text{spacetime} \atop \text{with}\,p_1\text{-brane condensate} } && p_1 \mathfrak{brane} &\overset{\mu_{p_2+2}}{\longrightarrow}& B^{p_2+2} \\ && {\mathllap{hofib(\mu_{p_1+2})}}\downarrow \\ \text{spacetime} && \mathbb{R}^{d-1,1\vert \mathbf{N}} &\underset{\mu_{p_1+2}}{\longrightarrow}& B^{p_1+1}\mathbb{R} }

\,

Hence the extended super Minkowski spacetime p 1𝔟𝔯𝔞𝔫𝔢p_1 \mathfrak{brane}

is like the original super spacetime d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}}

but filled with a condensate of p 1p_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 2p_2-brane dynamics

on a fixed p 1p_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.

\,

Fields

We now discuss that

\;\;\;\;There is homotopy descent of pp-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.

\,

Twisted generalized cohomology

\,

It is often stated that a

Chan-Paton gauge field on nn coincident D-branes

is an SU(n)-vector bundle VV,

hence a cocycle in nonabelian cohomology in degree 1.

\,

But this is not quite true.

In general there are nn D-branes and nn' anti-D-branes coinciding,

carrying Chan-Paton gauge fields

V braneV_{brane} (of rank nn) and V anti-braneV_{\text{anti-brane}} (of rank nn'), respectively,

yielding a pair of vector bundles

(V brane,V anti-brane). (V_{\text{brane}}, V_{\text{anti-brane}}) \,.

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)(W,W) are equivalent to pairs of the form (0,0)(0,0).

(W,W)0. (W,W) \;\sim\; 0 \,.

Hene the net Chan-Paton charge of coincident branes and anti-branes

is the equivalence class of (V brane,V anti-brane)(V_{\text{brane}}, V_{\text{anti-brane}})

under the equivalence relation which is generated by the relation

(V braneW,V anti-braneW)(V brane,V antibrane) (V_{\text{brane}} \oplus W\,,\; V_{\text{anti-brane}} \oplus W) \;\sim\; (V_{brane}\,,\; V_{anti-brane})

for all complex vector bundles WW (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

E nn E_n \;\;\;\; n \in \mathbb{N}

equipped with weak homotopy equivalences

E nAAAAΩE n+1 E_n \overset{\phantom{AA}\simeq\phantom{AA}}{\longrightarrow} \Omega E_{n+1}

from one to the loop space of the next.

\\

Given this, then the EE-cohomology of any topological space XX is

E n(X)π 0{XAAAAAAE n}homotopy classes of maps. E^n(X) \coloneqq \underset{\text{homotopy classes of maps}}{\underbrace{\pi_0\left\{ X \overset{\phantom{AAAAAA}}{\longrightarrow} E_n \right\} }} \,.

For topological K-theory one writes

E=KU E = KU

with

KU 2nBU×,KU 2n+1U KU_{2n} \simeq B U \times \mathbb{Z} \;\;\,,\;\; KU_{2n+1} \simeq U

with UU the stable unitary group,

and BUB 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

  1. a classifying space of twists BGB G

  2. a spectrum object in the slice category Top /BGTop_{/B G}, namely a sequence of spaces E n/GE_n/G equipped with maps

    id:BGE n/GBG id \;\colon\; B G \to E_n/G \to B G

    and weak equivalences

    E n/GAAAAΩ BG(E n+1/G)BG×E n+1/GhBGhomotopyfiberproduct E_n/G \overset{\phantom{AA}\simeq\phantom{AA} }{\longrightarrow} \Omega_{B G} (E_{n+1}/G) \coloneqq \underset{\text{homotopy} \atop {\text{fiber} \atop \text{product} } }{\underbrace{ B G \underoverset{E_{n+1}/G}{h}{\times} B G }}

Extremal examples:

  1. an ordinary spectrum EE

    is a parameterized spectrum over the point;

    E * \array{ E \\ \downarrow \\ \ast }
  2. an ordinary space XX

    is identified with the zero-spectrum parameterized over XX:

    X X \array{ X \\ \downarrow \\ X }

Then

  1. a twist τ\tau for EE-cohomology of XX is a map

    X τ BG \array{ X \\ & {}_{\mathllap{\tau}}\searrow \\ && B G }
  2. the τ\tau-twisted EE-cohomology of XX is

    E n+τ(X)π 0{X E n/G τ BG} E^{n+\tau}(X) \;\coloneqq\; \pi_0 \left\{ \array{ X && \longrightarrow && E_n/G \\ & {}_{\mathllap{\tau}} \searrow && \swarrow_{\mathrlap{}} \\ && B G } \right\}

There is a homotopy fiber sequence (in parameterized spectra)

E E/G BG \array{ E &\longrightarrow& E/G \\ && \downarrow \\ && B G }

and this equivalently exhibits E/GE/G as the homotopy quotient of an ordinary spectrum EE by a GG-infinity-action.

(Nikolaus-Schreiber-Stevenson 12, section 4.1)

\,

Assume that BGB G is simply connected, i.e. of the form B 2GB^2 G.

\,

We now translate this situation to super L-∞ algebras

via the central theorem of rational homotopy theory.

\,

Rational homotopy theory

\,

On every loop space ΩX\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.

\,

May recognition theorem:

Conversely, for GG an ∞-group

there is an essentially unique connected space BGB G

with GΩBGG \;\simeq\; \Omega B G.

\,

Every double loop space ΩΩX\Omega \Omega X

becomes a “first order abelian” ∞-group

by exchanging loop directons

called a braided ∞-group,

\,

For GG a braided ∞-group then

BGB G is itself an ∞-group

and so there exists an essentially unique simply connected space

B 2GB(BG) B^2 G \coloneqq B (B G)

with

GΩ 2B 2G. G \;\simeq\; \Omega^2 B^2 G \,.

\,

And so forth:

Every triple loop space Ω 3X\Omega^3 X

becomes a “second order abelian” ∞-group

by exchanging loop directons

called a sylleptic ∞-group.

etc.

\,

In a spectrum EE,

the maps E nΩE n+1E_n \stackrel{\simeq}{\to} \Omega E_{n+1}

exhbit E 0E_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

𝔤𝔩BG. \mathfrak{g} \simeq \mathfrak{l} B G \,.

or

B𝔤𝔩B 2G B\mathfrak{g} \simeq \mathfrak{l} B^2 G

etc.

\,

Its Chevalley-Eilenberg algebra CE(𝔅𝔤)CE(\mathfrak{B g})

is called a Sullivan model for B 2GB^2 G.

\,

For example the L L_\infty-algebra associated with an Eilenberg-MacLane space

K(,n+1)B n+1 K(\mathbb{Z},n+1) \simeq B^{n+1}\mathbb{Z}

is the line Lie-n algebra from above:

𝔩(B n+1)B n. \mathfrak{l}(B^{n+1} \mathbb{Z}) \;\simeq\; B^n \mathbb{R} \,.

\,

The main theorem of rational homotopy theory (Quillen 69, Sullivan 77)

says that the L-∞ algebra 𝔩(B 2G)\mathfrak{l}(B^2 G) equivalently reflects the rationalization of B 2GB^2 G

(in fact the real-ification, since we are considering L L_\infty-algebras over the real numbers).

This means that weak equivalence between L L_\infty-algebras correspond to maps between spaces

that induce isomorphism on real-ified homotopy groups

{B 2G 1AAfAAB 2G 2 such that: π (B 2G 1) π (f) π (B 2G 2) }{𝔩(B 2G 1)𝔩(B 2G 2)}. \left\{ \;\;\;\;\; \array{ B^2 G_1 \overset{\phantom{AA}f\phantom{AA}}{\longrightarrow} B^2 G_2 \\ \text{such that:} \\ \pi_\bullet(B^2 G_1)\otimes_{\mathbb{Z}} \mathbb{R} \underoverset{\simeq}{\pi_\bullet(f) \otimes_{\mathbb{Z}} \mathbb{R} }{\longrightarrow} \pi_\bullet(B^2 G_2) \otimes_{\mathbb{Z}} \mathbb{R} } \;\;\;\;\; \right\} \;\;\;\leftrightarrow\;\;\; \left\{ \; \mathfrak{l}(B^2 G_1) \stackrel{\simeq}{\longrightarrow} \mathfrak{l}(B^2 G_2) \; \right\} \,.

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

𝔩():SpacesL -Algebras \mathfrak{l}(-) \;\colon\; \text{Spaces} \longrightarrow L_\infty\text{-Algebras}

to find the L L_\infty-algebraic version of parameterized spectra

hence of twisted cohomology:

\,

parameterizedspectrum {id:B 2GE n/BGB 2G E n/BGΩ B 2G(E n+1/BG)} (E E/BG B 2G) 𝔩() L Algebra {id:𝔩(B 2G)𝔩(E n/BG)𝔩(B 2G) 𝔩(E n/BG)Ω 𝔩(B 2G)𝔩(E n+1/BG)} (V[1] V[1]/𝔤 B𝔤) \array{ { \text{parameterized} \atop \text{spectrum} } \;\;\;&\;\;\;\; \left\{ \array{ id : B^2 G \to E_n/ B G \to B^2 G \\ E_n/ B G \stackrel{\simeq}{\longrightarrow} \Omega_{B^2 G} (E_{n+1}/ B G) } \right\} \;&\;\leftrightarrow\;&\; \left( \array{ E &\longrightarrow& E/B G \\ && \downarrow \\ && B^2 G } \right) \\ & \mathfrak{l}(-)\downarrow \\ L_\infty\text{Algebra} \;\;\;&\;\;\;\; \left\{ \array{ id : \mathfrak{l}(B^2 G) \to \mathfrak{l}(E_n/ B G) \to \mathfrak{l}(B^2 G) \\ \mathfrak{l}(E_n/ B G) \stackrel{\simeq}{\longrightarrow} \Omega_{\mathfrak{l}(B^2 G)} \mathfrak{l}(E_{n+1}/ B G) } \right\} \;&\;\leftrightarrow\;&\; \left( \array{ V[1] &\longrightarrow& V[1]/\mathfrak{g} \\ && \downarrow \\ && B \mathfrak{g} } \right) }

\,

Here VEV \simeq E \otimes \mathbb{R} is a chain complex

underlying the real-ification of the spectrum EE

(stable Dold-Kan correspondence).

\,

So for d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}} some super Minkowski spacetime, a cocycle in 𝔤\mathfrak{g}-twisted VV-cohomology is a diagram of the form

d1,1|N V/𝔤 B𝔤 \array{ \mathbb{R}^{d-1,1\vert \mathbf{N}} && \overset{}{\longrightarrow} && V/\mathfrak{g} \\ & \searrow && \swarrow \\ && B \mathfrak{g} }

\,

Now given one stage in the brane bouquet

𝔤^^ hofib(μ p 2) 𝔤^ μ p 2 B𝔥 2 hofib(μ p 1) 𝔤 μ p 1 B𝔥 1 \array{ \widehat{\widehat{\mathfrak{g}}} \\ {}^{\mathllap{hofib(\mu_{p_2})}}\downarrow \\ \hat \mathfrak{g} & \stackrel{\mu_{p_2}}{\longrightarrow} & B\mathfrak{h}_2 \\ {}^{\mathllap{hofib(\mu_{p_1})}}\downarrow \\ \mathfrak{g} &\overset{\mu_{p_1}}{\longrightarrow}& B\mathfrak{h}_1 }

we want to descent μ p 2\mu_{p_2} to 𝔤\mathfrak{g}.

\,

By the general theory of principal ∞-bundles (Nikolaus-Schreiber-Stevenson 12):

  1. 𝔤^\widehat{\mathfrak{g}} has a 𝔥 1\mathfrak{h}_1-∞-action

  2. equipping B𝔥 2B \mathfrak{h}_2 with an 𝔥 1\mathfrak{h}_1-∞-action

    is equivalent to finding a homotopy fiber sequence as on the right here:

    𝔤^ μ 2 B𝔥 2 hofib(μ 1) hofib(p ρ) 𝔤 (B𝔥 2)/𝔥 1 μ 1 p ρ B𝔥 1. \array{ \hat \mathfrak{g} && \stackrel{\mu_2}{\longrightarrow} && \mathbf{B}\mathfrak{h}_2 \\ {}^{\mathllap{hofib(\mu_1)}}\downarrow && && \downarrow^{\mathrlap{hofib(p_\rho)}} \\ \mathfrak{g} && && (\mathbf{B}\mathfrak{h}_2)/\mathfrak{h}_1 \\ & {}_{\mathllap{\mu_1}}\searrow && \swarrow_{\mathrlap{p_\rho}} \\ && \mathbf{B}\mathfrak{h}_1 } \,.
  3. μ 2\mu_2 is 𝔥 1\mathfrak{h}_1-equivariant precisely if it descends to a morphism

    μ 2/𝔥 1:𝔤(B𝔥 2)/𝔥 1 \mu_2/\mathfrak{h}_1 \;\colon\; \mathfrak{g} \longrightarrow (\mathbf{B}\mathfrak{h}_2)/\mathfrak{h}_1

    such that this diagram commute up to homotopy:

    𝔤^ μ 2 B𝔥 2 hofib(μ 1) hofib(p ρ) 𝔤 μ 2/𝔥 1 (B𝔥 2)/𝔥 1 μ 1 p ρ B𝔥 1. \array{ \hat \mathfrak{g} && \stackrel{\mu_2}{\longrightarrow} && \mathbf{B}\mathfrak{h}_2 \\ {}^{\mathllap{hofib(\mu_1)}}\downarrow && && \downarrow^{\mathrlap{hofib(p_\rho)}} \\ \mathfrak{g} && \stackrel{\mu_2/\mathfrak{h}_1}{\longrightarrow} && (\mathbf{B}\mathfrak{h}_2)/\mathfrak{h}_1 \\ & {}_{\mathllap{\mu_1}}\searrow && \swarrow_{\mathrlap{p_\rho}} \\ && \mathbf{B}\mathfrak{h}_1 } \,.
  4. if so, then resulting triangle diagram

    𝔤 μ 2/𝔥 1 (B𝔥 2)/𝔥 1 μ 1 p ρ B𝔥 1 \array{ \mathfrak{g} && \stackrel{\mu_2/\mathfrak{h}_1}{\longrightarrow} && (\mathbf{B}\mathfrak{h}_2)/\mathfrak{h}_1 \\ & {}_{\mathllap{\mu_1}}\searrow && \swarrow_{\mathrlap{p_\rho}} \\ && \mathbf{B}\mathfrak{h}_1 }

    exhibits μ 2/𝔥 1\mu_2/\mathfrak{h}_1 as a cocycle in (rational) μ 1\mu_1-twisted cohomology

    with respect to the local coefficient bundle p ρp_\rho.

\,

We now work out this general prescription

for the cocycles in the brane bouquet.

\,

RR-fields

\,

By the brane bouquet above

the type IIA D-branes

are given by super L L_\infty cocycles of the form

𝔰𝔱𝔯𝔦𝔫𝔤 IIAμ DpB p+1 \mathfrak{string}_{IIA } \overset{\mu_{Dp}}{\longrightarrow} B^{p+1}\mathbb{R}

for p{0,2,4,6,8,10}p \in \{0,2,4,6,8,10\}.

\,

Notice that

H (BU,) H^\bullet(B U, \mathbb{Z})

has one generator in each even degree, the universal Chern classes.

Hence the L L_\infty-algebra

𝔩(KU) \mathfrak{l}(KU)

is given by

CE(𝔩(KU)){dω 2p+2=0|p}. CE(\mathfrak{l}(KU)) \;\simeq\; \left\{ d \omega_{2p+2} = 0 \;\vert\; p \in \mathbb{Z} \right\} \,.

This allows to unify the D-brane cocycles

into a single morphism of super L L_\infty-algebras of the form

𝔰𝔱𝔯𝔦𝔫𝔤 IIA AAμ DAA 𝔩(KU) hofib(μ F1) 9,1|16+16¯ μ F1 B 2. \array{ \mathfrak{string}_{IIA} && \stackrel{\phantom{AA}\mu_D\phantom{AA}}{\longrightarrow} && \mathfrak{l}(KU) \\ {}^{\mathllap{hofib(\mu_{F1})}}\downarrow \\ \mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}} \\ & {}_{\mathllap{\mu_{F1}}}\searrow \\ && \mathbf{B}^2 \mathbb{R} } \,.

\,

By the above prescription, descending μ D\mu_D is equivalent

to finding a commuting diagram in the homotopy category of super L L_\infty-algebras

of the form

𝔰𝔱𝔯𝔦𝔫𝔤 IIA AAμ DAA 𝔩(KU) hofib(μ F1) hofib(ϕ) 9,1|16+16¯ AAμ D/BAA something μ F1 ϕ B 2. \array{ \mathfrak{string}_{IIA} && \stackrel{\phantom{AA}\mu_D\phantom{AA}}{\longrightarrow} && \mathfrak{l}(KU) \\ {}^{\mathllap{hofib(\mu_{F1})}}\downarrow && && \downarrow^{\mathrlap{hofib(\phi)}} \\ \mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}} &&\overset{\phantom{AA}\mu_{D}/B \mathbb{R}\phantom{AA} }{\longrightarrow}&& \text{something} \\ & {}_{\mathllap{\mu_{F1}}}\searrow && \swarrow_{\mathrlap{\phi}} \\ && \mathbf{B}^2 \mathbb{R} } \,.

\,

This turns out to exist as follows (Fiorenza-Sati-Schreiber 16a, section 5):

Define the L L_\infty-algebra

𝔩(KU/BU(1)) \mathfrak{l}(KU / BU(1))

by

CE(𝔩(KU/BU(1)))={dh 3=0, dω 2p+2=h 3ω 2p}. CE\left(\mathfrak{l}(KU / BU(1))\right) \;=\; \left\{ \array{ d h_3 = 0\;,\; \\ d \omega_{2p+2} = h_3 \wedge \omega_{2p} } \right\} \,.

Moreover write

res 9,1|16+16¯ \mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}_{res}

for the super L L_\infty-algebra whose Chevalley-Eilenberg algebra is

CE( res 9,1|16+16¯)[f 2,h 3]/(df 2=μ F1+h 3) CE\left( \mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}_{res} \right)[f_2,h_3]/(d f_2 = \mu_{F1} + h_3)

\,

Proposition

(Fiorenza-Sati-Schreiber 16a, theorem 4.16)

The super L L_\infty-algebra res 9,1|16+16¯\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

res 9,1|16+16¯AAAA 9,1|16+16¯. \mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}_{res} \stackrel{\phantom{AA}\simeq\phantom{AA}}{\longrightarrow} \mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}} \,.

This fits into a commuting diagram of the form

{de a=ψ¯Γ aψdψ α=0df 2=μ F1} 𝔰𝔱𝔯𝔦𝔫𝔤 IIA μ D 𝔩(KU) {dω 2p+2=0} hofib(μ F1) ϕ {de a=ψ¯Γ aψdψ α=0df 2=μ F1+h 3} res 9,1|16+16¯ μ F1/D 𝔩(KU/BU(1)) {dω 2p+2=h 3ω 2p} μ F1 ϕ B 2 {dh 3=0}. \array{ \left\{ {{d e^a = \overline{\psi}\Gamma^a \wedge \psi } \atop {d \psi^\alpha = 0}} \atop { d f_2 = \mu_{F1}} \right\} && \mathfrak{string}_{IIA} && \stackrel{ \mu_D }{\longrightarrow} && \mathfrak{l}(KU) && \left\{ d \omega_{2 p+2} = 0 \right\} \\ && \downarrow^{\mathrlap{hofib(\mu_{F1})}} && && \downarrow^{\mathrlap{\phi}} \\ \left\{ {{d e^a = \overline{\psi}\Gamma^a \wedge \psi } \atop {d \psi^\alpha = 0}} \atop { d f_2 = \mu_{F1} + h_3 } \right\} & & \mathbb{R}_{res}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}} && \stackrel{ \mu_{F1/D} }{\longrightarrow} && \mathfrak{l}(KU / B U(1)) && \left\{ d\omega_{2p+2} = h_3\wedge \omega_{2p} \right\} \\ && & {}_{\mathllap{\mu_{F 1}}}\searrow && \swarrow_{\mathrlap{\phi}} \\ && && \mathbf{B}^2 \mathbb{R} \\ && && \left\{ d h_3 = 0 \right\} } \,.

\,

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 9,1|16+16¯\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 9,1|16+16\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

μ F1ψ¯Γ aΓ 11ψe a. \mu_{F1} \coloneqq \overline{\psi} \Gamma^a \Gamma^{11} \wedge \psi \wedge e_{a} \,.

Write

9,1|16+16¯^ 9,1|16+16¯ μ F1 b 2 \array{ \widehat{\mathbb{R}^{9,1\vert \mathbf{16}+\overline{\mathbf{16}}}} \\ \downarrow \\ \mathbb{R}^{9,1\vert \mathbf{16}+\overline{\mathbf{16}}} \\ & {}_{\mathllap{\mu_{F1}}}\searrow \\ && b^2 \mathbb{R} }

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 2f_2 of degree (2,even)(2,even) to CE( 9,1|16+16¯)CE(\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}) whose CE-differential is the 3-cocycle:

CE( 9,1|16+16¯^)=(CE( 9,1|32+32¯)f 2,df 2=μ F1). CE\left( \widehat{\mathbb{R}^{9,1\vert \mathbf{16}+\overline{\mathbf{16}}}} \right) = \left( CE(\mathbb{R}^{9,1\vert \mathbf{32}+\overline{\mathbf{32}}}) \otimes \langle f_2 \rangle \,, d f_2 = \mu_{F1} \right) \,.

Here the homotopy fiber 9,1|16+16¯^\widehat{\mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}}} is the B\mathbf{B}\mathbb{R}-principal ∞-bundle classified by the 3-cocycle μ F1\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.

Definition

Let CCE( 9,1|16+16¯^)C \in CE(\widehat{\mathbb{R}^{9,1\vert \mathbf{16}+\overline{\mathbf{16}}}}) be given by

C ψ¯Γ 10ψ +i2ψ¯Γ a 1a 2ψe a 1e a 2 +14!ψ¯Γ a 1...a 4Γ 10ψe a 1e a 4 +i6!ψ¯Γ a 1...a 6ψe a 1e a 6 +18!ψ¯Γ a 1...a 8Γ 10ψe a 1e a 8 +i10!ψ¯Γ a 1...a 10ψe a 1e a 10. \begin{aligned} C \coloneqq \; & \overline{\psi}\Gamma_{10}\wedge\psi \\ & + \tfrac{i}{2} \overline{\psi} \Gamma_{a_1 a_2} \wedge \psi\wedge e^{a_1} \wedge e^{a_2} \\ & + \tfrac{1}{4!} \overline{\psi} \Gamma_{a_1 ... a_4} \Gamma_{10}\wedge \psi \wedge e^{a_1} \wedge \cdots \wedge e^{a_4} \\ & + \tfrac{i}{6!} \overline{\psi} \Gamma_{a_1 ... a_6} \wedge \psi \wedge e^{a_1} \wedge \cdots \wedge e^{a_6} \\ & + \tfrac{1}{8!} \overline{\psi} \Gamma_{a_1 ... a_8} \Gamma_{10} \wedge \psi \wedge e^{a_1} \wedge \cdots \wedge e^{a_8} \\ & + \tfrac{i}{10!} \overline{\psi} \Gamma_{a_1 ... a_{10}} \wedge \psi \wedge e^{a_1} \wedge \cdots \wedge e^{a_{10}} \end{aligned} \,.

For p{0,2,4,6,8,10}p \in \{0,2,4,6,8, 10\} let μ DpCE( 9,1|16+16¯^)\mu_{Dp} \in CE(\widehat{\mathbb{R}^{9,1\vert \mathbf{16}+\overline{\mathbf{16}}}}) be given by

μ Dp[Cexp(f 2)] p+2 \mu_{Dp} \coloneqq \left[ C \wedge \exp(f_2) \right]_{p+2}

where

exp(f)1+f 2+12f 2f 2+16f 2f 2f 2+ \exp(f) \coloneqq 1 + f_2 + \tfrac{1}{2} f_2 \wedge f_2 + \frac{1}{6} f_2 \wedge f_2 \wedge f_2 + \cdots

and where the angular brackets denotes picking the homogeneous summand of degree p+2p+2.

Proposition

The elements μ Dp\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 9,1|16+16¯\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}} – locally modeling super spacetimes in 10d type IIA supergravity – carries super L L_\infty-extensions of the following form (FSS 13):

9,1|16+16¯^ p=0,2,4,6,8μ Dp p=0,2,4,6,8B p+1 hofib(μ F1) 9,1|16+16¯ μ F1 B 2. \array{ \widehat{\mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}}} && \stackrel{\underset{p=0,2,4,6,8}{\oplus} \mu_{D p}}{\longrightarrow} && \underset{p = 0,2,4,6,8}{\oplus} \mathbf{B}^{p+1}\mathbb{R} \\ \downarrow^{\mathrlap{hofib(\mu_{F1})}} \\ \mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}} \\ & {}_{\mathllap{\mu_{F1}}}\searrow \\ && \mathbf{B}^2 \mathbb{R} } \,.

By the above (Nikolaus-Schreiber-Stevenson 12), asking whether the cocycles μ Dp\mu_{D p} for the D-branes are B\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 p=0,2,4,6B p+1somethingB 2\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

9,1|16+16¯^ p=0,2,4,6,8μ Dp p=0,2,4,6,8B 2p+1 hofib(μ F1) hofib(ϕ) 9,1|16+16¯ something μ F1 ϕ B 2. \array{ \widehat{\mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}}} && \stackrel{\underset{p=0,2,4,6,8}{\oplus} \mu_{D p}}{\longrightarrow} && \underset{p = 0,2,4,6,8}{\oplus} \mathbf{B}^{2p+1}\mathbb{R} \\ \downarrow^{\mathrlap{hofib(\mu_{F1})}} && && \downarrow^{\mathrlap{hofib(\phi)}} \\ \mathbb{R}^{9,1\vert \mathbf{16}+ \overline{\mathbf{16}}} && \stackrel{}{\longrightarrow} && something \\ & {}_{\mathllap{\mu_{F 1}}}\searrow && \swarrow_{\mathrlap{\phi}} \\ && \mathbf{B}^2 \mathbb{R} } \,.

To that end, consider the following:

Definition

Write (p=0,2,4,6,8B 2p+1)/B\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 ω 2,ω 4,ω 6,ω 8\omega_2, \omega_4, \omega_6, \omega_8 and h 3h_3 in the indicated degrees, with non-trivial differential given by d(ω 2(k+1))=h 3ω 2kd(\omega_{2(k+1)}) = h_3 \wedge \omega_{2k}:

CE((p=0,2,4,6B 2p+1)/B){{ω p+2,h 3} p=0,2,4,6,dω 2(k+1)=h 3ω 2k}. CE \left( \left(\underset{p = 0,2,4,6}{\oplus}\mathbf{B}^{2p+1}\mathbb{R}\right)/\mathbf{B} \mathbb{R} \right) \coloneqq \left\{ \{ \omega_{p+2}, h_3\}_{p = 0,2,4,6}, \; d \omega_{2(k+1)} = h_3 \wedge \omega_{2k} \right\} \,.
Example

For XX a smooth manifold, then an L-∞ algebra valued differential forms, def. , on XX with values in the L L_\infty-algebra of def.

X(p=0,2,4,6B 2p+1)/B X \longrightarrow \left( \underset{p = 0,2,4,6}{\oplus} \mathbf{B}^{2p+1}\mathbb{R} \right)/\mathbf{B} \mathbb{R}

is equivalently a collection of (2p+2)(2p+2)-form G 2p+2Ω 2p+2(X)G_{2p+2}\in \Omega^{2p+2}(X) together with a closed 3-form H 3Ω 3(X) clH_3 \in \Omega^3(X)_{cl} such that

dG 2p+2=H 3G 2p. d G_{2p+2} = H_3 \wedge G_{2p} \,.

For dim(X)10dim(X) \leq 10 then this is equivalently a cocycle in the H 3H_3-twisted de Rham complex of XX.

Proposition

The canonical morphisms

p=0,2,4,6,8B 2p+1 {dω 2k=0} (p=0,2,4,6,8B 2p+1)/B {dω 2(k+1)=h 3ω 2k} B 2 {dh 3=0} \array{ && && && \underset{p = 0,2,4,6,8}{\oplus} \mathbf{B}^{2p+1}\mathbb{R} && \left\{ d \omega_{2 k} = 0 \right\} \\ && && && \downarrow \\ && && && \left( \underset{p = 0,2,4,6,8}{\oplus} \mathbf{B}^{2p+1}\mathbb{R} \right)/\mathbf{B} \mathbb{R} && \left\{ d\omega_{2(k+1)} = h_3\wedge \omega_{2k} \right\} \\ && & && \swarrow \\ && && \mathbf{B}^2 \mathbb{R} \\ && && \left\{ d h_3 = 0 \right\} }

form a homotopy fiber sequence

Proof

The bottom morphism is clearly degreewise surjective, hence is a fibration between fibrant objects in sL AlgsL_\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 sdgAlgsdgAlg of the map that includes the generator h 3h_3, and that is clearly given by sending h 3h_3 to zero.

Definition

Write res 9,1|16+16¯\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}_{res} for the super L L_\infty-algebra whose Chevalley-Eilenberg algebra is that of 9,1|16+16¯\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}} with generators f 2f_2 and h 3h_3 added, subject to d resf 2=μ F1+h 3d_{res} f_2 = \mu_{F1} + h_3.

Proposition

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. :

res 9,1|16+16¯ 9,1|16+16¯ \mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}_{res} \stackrel{\simeq}{\longrightarrow} \mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}
Proof

According to prop. a morphism in sL AlgsL_\infty Alg is a weak equivalence if it induces a quasi-isomorphism on the co-unary part d CE 1: 𝔤 * +1𝔤 *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 res 9,1|16+16¯\mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}}_{res}.

Hence we may use def. equivalently in place of 9,1|16+16¯\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:

Proposition

The F1/Dp-brane cocycles of type IIA fit into a commuting diagram in sL AlgsL_\infty Alg of the following form

{de a=ψ¯Γ aψdψ α=0df 2=μ F1} 9,1|16+16¯^ p=0,2,4,6,8μ Dp p=0,2,4,6,8B 2p+1 {dω 2k=0} hofib(μ F1) {de a=ψ¯Γ aψdψ α=0df 2=μ F1+h 3} res 9,1|16+16¯ (ω p+2μ Dp) (p=0,2,4,6,8B 2p+1)/B {dω 2(k+1)=h 3ω 2k} μ F1