Schreiber Equivariant cohomology of M2/M5-branes


Abstract. While it is well-known that the charges of F1/Dp-branes in type II string theory need to be refined from de Rham cohomology to certain twisted generalized differential cohomology theories, it is an open problem to determine the generalized cohomology theory for M2-brane/M5-branes in 11 dimensions. I discuss how a careful re-analysis of the old brane scan (arXiv:1308.5264 , arXiv:1506.07557, joint with Fiorenza and Sati) shows that rationally and unstably, the M2/M5 brane charge is in degree-4 cohomotopy. While this does not integrate to the generalized cohomology theory called stable cohomotopy, it does integrate to GG-equivariant stable cohomotopy, for GG a non-cyclic finite group of ADE type. On general grounds, such an equivariant cohomology theory needs to be evaluated on manifolds with ADE orbifold singularities, and picks up contributions from the orbifold fixed points. Both of these statements are key in the hypothesized but open problem of gauge enhancement in M/F-theory.

Acknowledgement. This note profited from discussion with David Barnes, Domenico Fiorenza, Thomas Nikolaus, Charles Rezk, David Roberts, Hisham Sati. It is adapted from a previous talk “Generalized cohomology of M2/M5-branes” at Higher Structures in String Theory, ESI Vienna, 11 Dec 2015.


For details see:




We are going to analyze an open problem in the mathematical theory of super p-branes. Before even stating the open problem and its analysis, we do need to briefly recall what super pp-branes are, mathematically. Lecture notes with more details on the following are in (Schreiber 15). Full details are in (dcct).

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

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} \,.

The category sL AlgsL_\infty Alg carries a canonical homotopical structure whose weak equivalences are the quasi-isomorphisms on the underlying chain complexes (𝔤,[])(\mathfrak{g},[-]) (Pridham 07).

For B p+1\mathbf{B}^{p+1} \mathbb{R} denoting 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}

is equivalently a (p+2)(p+2)-cocycle in L-infinity algebra cohomology. Its homotopy fiber 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} } \,.

For 𝔤sLAlg\mathfrak{g} \in sL\infty Alg, the homotopy fiber 𝔤^\hat {\mathfrak{g}} of a cocycle μ:𝔤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)


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.

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

Higher WZW-type sigma-models

Physics is all encoded in nonlinear functionals on moduli stacks of configurations of a physical system, called action functionals. We now review how every super L L_\infty-cocycle as above canonically induces an action functional called a higher WZW term. The super pp-branes below are then determined by exceptional examples of this general construction.


There is a differential Lie integration functor that sends an L L_\infty-cocycle

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

to a smooth ∞-group G˜\tilde G equipped with a circle n-bundle with connection modulated by a map into the Deligne complex B p+1(/Γ) conn\mathbf{B}^{p+1}(\mathbb{R}/\Gamma)_{conn}

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

such that

  • it lifts the plain Lie integration exp(μ):exp(𝔤)B p+1\exp(\mu) \colon \exp(\mathfrak{g})\to \mathbf{B}^{p+1}\mathbb{R} from above;

  • the curvature is μ(θ)\mu(\theta), for θ\theta the Maurer-Cartan form on the smooth ∞-group G˜\tilde G.

(Fiorenza-Schreiber-Stasheff 12, Fiorenza-Sati-Schreiber 13)


For Σ k\Sigma_k an oriented closed manifold of dimension kk, fiber integration in ordinary differential cohomology lifts to a morphism of smooth stacks

Σ k:[Σ k,B p+1(/Γ) conn]B p+1k(/Γ) conn \int_{\Sigma_k} \;\colon\; [\Sigma_k, \mathbf{B}^{p+1}(\mathbb{R}/\Gamma)_{conn}] \longrightarrow \mathbf{B}^{p+1-k}(\mathbb{R}/\Gamma)_{conn}

and the transgression of L μ\mathbf{L}_\mu to the mapping stack [Σ k,G˜][\Sigma_k, \tilde G] is simply the composition

Σ k[Σ k,L μ]:[Σ k,G˜][Σ k,L][Σ k,B p+1(/Γ) conn] Σ kB p+1k(/Γ) conn \int_{\Sigma_k} [\Sigma_k, \mathbf{L}_\mu] \;\colon\; [\Sigma_k, \tilde G] \stackrel{[\Sigma_k, \mathbf{L}]}{\longrightarrow} [\Sigma_k, \mathbf{B}^{p+1}(\mathbb{R}/\Gamma)_{conn}] \stackrel{\int_{\Sigma_k}}{\longrightarrow} \mathbf{B}^{p+1-k}(\mathbb{R}/\Gamma)_{conn}

(Fiorenza-Sati-Schreiber 12)

For k=p+1k = p+1 this yields a functional

exp(iS μ):[Σ p+1,G˜]/Γ \exp(i S_\mu) \;\colon\; [\Sigma_{p+1}, \tilde G] \longrightarrow \mathbb{R}/\Gamma

which in physics one regards as the “gauge interactionaction functional of a local field theory of “higher WZW sigma-model”-type, describing the propagation of a “pp-brane” with worldvolume Σ p+1\Sigma_{p+1} in G˜\tilde G.


The archetypical sigma-model for our purposes is that for the electron (a “0-brane”). On spacetime XX an electromagnetic field is represented by a circle group principal connection

L EM:XB(/) conn. \mathbf{L}_{EM} \colon X \longrightarrow \mathbf{B} (\mathbb{R}/\mathbb{Z})_{conn} \,.

For Σ 1=S 1\Sigma_1 = S^1 the abstract worldline of the electron, its electromagnetic interaction is encoded in the functional

S 1[S 1,L EM]:[S 1,X]/, \int_{S^1}[S^1,\mathbf{L}_{EM}] \;\colon\; [S^1,X] \longrightarrow \mathbb{R}/\mathbb{Z} \,,

namely the holonomy. The equations of motion that this induces by variation gives the Lorentz force exerted by the electromagnetic field on the electron.

By a fundamental phenomenon called Dirac charge quantization, the first Chern class

[L EM]H 2(X,) [\mathbf{L}_{EM}] \in \mathbf{H}^2(X,\mathbb{Z})

of L EM\mathbf{L}_{EM} is identified with the total magnetic charge in the spacetime XX. Put the other way around:

The action functional for the 0-brane is the transgression of the lift of the background charge to a cocycle in differential cohomology.

This is the blueprint for the pp-brane charges that we are considering.


For 𝔤\mathfrak{g} an ordinary Lie algebra then G˜\tilde G is its ordinary simply-connected Lie group. For 𝔤\mathfrak{g} semisimple, then the differential Lie integration, prop. , of the string 3-cocycle from example is the original WZW gerbe

L WZW:GB 2U(1) conn. \mathbf{L}_{WZW} \;\colon\; G \longrightarrow \mathbf{B}^2 U(1)_{conn} \,.

Its transgression, prop. , is its surface holonomy and this is the interaction term of the action functional for the WZW sigma model describing propagation of a string in GG, subject to the force exerted by a background “B-field charge”.

Notice that this process of differential Lie integration produces coefficients in ordinary differential cohomology whose curvatures are the (left-translation) of the B p+1B^{p+1} \mathbb{R}-values L L_\infty-cocycles. Below we will find cocycles taking values in more complicated L L_\infty-algebras, and then the construction of a Lagrangian from them is less immediate.

Green-Schwarz functionals for Super pp-branes

By the above, each (p+2)(p+2)-cocycle in higher Lie theory defines a p-brane sigma-model. Particularly interesting will be exceptional cocycles. Such happen to appear when passing from Minkowski-Poincaré spacetime symmetry to supersymmetry:

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

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

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

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

This is the fundamental prediction of the assumption of fundamental strings: assuming 1) that the particles that run in Feynman diagrams are fundamentally strings, and demanding 2) that there are fermionic particles among these, first implies that the strings must be spinning strings (have fermions on their worldsheet), which implies that they are superstrings (worldsheet supersymmetry mixes the worldsheet bosons and fermions), which then in addition implies that their target space effective field theory is supergravity, hence that also the effective target space fields exhibit local supersymmetry.

fermions+stringsspinningstring=superstringsupergravity. \underset{spinning\; string}{\underbrace{fermions \;+\; strings}} \;=\; superstring \;\Rightarrow\; supergravity \,.

The first step in this implications (spinning string is superstring) is straightforward, but the second step appears as a miracle from the point of view of the NSR string. It comes out this way by non-trivial computation, but is not manifest in the theory.

In order to improve on this situation, Green and Schwarz searched and found (Green-Schwarz 81, Green-Schwarz 82 Green-Schwarz 84) a suitably equivalent string action functional that would manifestly exhibit spacetime supersymmetry. This is now called the Green-Schwarz action functional.

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

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

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

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

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

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

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

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

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

However, Green and Schwarz noticed that this kinetic action functional ϕ Σvol ϕ *e\phi \mapsto \int_\Sigma vol_{\phi^\ast e} does not quite yield dynamics that is equivalent to that of the NSR string: when the equations of motion hold (“on shell”) it has more fermionic degrees of freedom than present in the NSR string. The key insight of Green and Schwarz was that one may add an extra summand to the action functional to the plain super-Nambu-Goto action, such that the resulting functional enjoys a further 1-parameter symmetry, called kappa-symmetry, and such that restricting to the κ\kappa-symmetric states, then the action functionals do become classically equivalent.

Moreover, they showed that in light-cone gauge the resulting quantum dynamics is equivalent to that of the NSR string, thus providing a conceptual proof for the observed local spacetime supersymmetry for backgrounds that admit two lightlike Killing vectors. (The quantization of the GS-string away from lightcone gauge however remains an open problem.)

Green-Schwarz’s extra kappa-symmetry term serves a clear purpose, but originally its geometrically meaning was mysterious. However, in (Henneaux-Mezincescu 85) it was observed (expanded on in (Rabin 87, Azcarraga-Townsend 89, Azcarraga-Izqierdo 95,chapter 8)), that the Green-Schwarz-action functional describing the string in d+1d+1-dimensions has a neat geometrical interpretation: it is simply the (parameterized) WZW-model for

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

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

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

  2. WZW-term being a local potential for the the unique (up to rescaling, if it exists) Spin(d1,1)Spin(d-1,1)-invariant group 3-cocycle μ 3\mu_3 on Iso( d1,1|N)Iso(\mathbb{R}^{d-1,1\vert \mathbf{N}}), with component locally given by the Gamma-matrices of the given Clifford algebra representation.

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

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

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

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

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

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

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

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

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

This is the source of all the rich structure seen in Green-Schwarz theory.

In particular, for special combinations of spacetime dimension dd and number of supersymmetries N\mathbf{N} the 3-form

μ 3ψ¯Γ aψe a \mu_3 \;\coloneqq\; \overline{\psi} \wedge \Gamma_a \psi \wedge e^a

is a non-trivial super Lie algebra cocycle on d1,1|N\mathbb{R}^{d-1,1\vert \mathbf{N}}, in that dμ 3=0\mathbf{d}\mu_3 = 0 and so that there is no left invariant differential form bb with db=μ 3\mathbf{d}b = \mu_3.

This happens notably for d=10d = 10 and N=(1,0)\mathbf{N} = (1,0) (heterotic string) or N=(2,0)\mathbf{N} = (2,0) (type IIB superstring) and N=(1,1)\mathbf{N} = (1,1) (type IIA superstring). (It also happens in some lower dimensions, where however the corresponding NSR-string develops a conformal anomaly after quantization (“non-critical strings”). This classification of cocycles is part of what has come to be known as the brane scan in superstring theory, see below.)

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

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

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

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

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

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

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

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

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

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

is given by

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

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

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

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

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

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

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

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

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

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

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

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

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

the brane bouquet

Each item in this bouquet denotes a super L-infinity algebra and each arrow denotes an L-infinity extension classified by a cocycle which encodes the GS-WZW term of the brane named by the domain of the arrow.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

intersecting branescharges in generalized cohomology theory
string theoryF1/Dp-branestwisted K-theory

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

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

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

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

One may prove that:

This we turn to now.

The open problem

We are now ready to state the open problem to be analyzed. We first give its purely mathematical content.

Twisted generalized cohomology from prescribed rationalization

Given one stage in the brane bouqet

𝔤^ μ 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} is 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.

Hence it is 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.

First, 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 } \,.

Second, 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 conclusion:


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.

But then the open problem is this: now the new rational coefficients is p ρp_\rho (in the slice over B𝔥 1\mathbf{B}\mathfrak{h}_1). This is no longer of the simple abelian form for which there exists the differential Lie integration functro from above. So:

Open problem: Find twisted differential cohomology theories which lifts the rational situation of remark through its Chern character map. In particular its curvature forms are to be in Hom(CE((B𝔥 2)/𝔥 1,Ω ())Hom(CE((\mathbf{B}\mathfrak{h}_2)/\mathfrak{h}_1, \Omega^\bullet(-)).

To illustrate this problem in a situation where the solution is something well-known, we first discuss below how to derive from super L L_\infty-cohomology the famous statement that F1/Dp-brane charges are in twisted K-theory.

Then further below we finally turn to the analogous but open case of M2/M5-brane charges.

M-brane charges

Here is a comment on the significance of the above for physics. This is not needed for the mathematical discussion below, but it may help to motivate it.

Inspection shows that what is known for sure about M-theory (Witten 95) is all encoded in the prequantum Green-Schwarz-type sigma-models describing the propagation of M2-branes and M5-branes on super-spacetimes. In particular:

  1. The BPS charges of such spacetimes – which are traditionally argued to probe properties of the full quantum regime of the elusive theory – are identified with the charges of the Noether currents of these sigma-models.

    In fact the Heisenberg Lie n-algebra (Fiorenza-Rogers-Schreiber 13) of these prequantum field theories is The M-Theory BPS charge super Lie 6-algebra, whose 0-truncation is the M-theory super Lie algebra{Q α,Q β}=(CΓ αβ a)P a+(Γ αβ a 1a 2)Z a 1a 2+Γ αβ a 1a 2a 5Z a 1a 2a 5\{Q_\alpha, Q_\beta\} = (C \Gamma^a_{\alpha \beta}) P_a + (\Gamma^{a_1 a_2}_{\alpha \beta}) Z_{a_1 a_2} + \Gamma^{a_1 a_2 \cdots a_5}_{\alpha \beta} Z_{a_1 a_2 \cdots a_5}” (Sati-Schreiber 15, Schreiber-Khavkine 16).

  2. The membrane instanton contributions – which are argued to detect further non-perturbative effects – are the volume holonomy, i.e. the magnetic flux, of the complexified higher WZW term of the M2-brane over supersymmetric cycles (Schreiber 15).

  3. The definite globalization of the M2-WZW term over a superspacetime implies the equations of motion of 11-dimensional supergravity (hence in particular the Hodge duality between the rational M-brane charges) together with the classical anomaly cancellation that makes the M2-sigma model be globally well defined on this target (Schreiber 15).


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 most of the existing literature, these 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 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?

The answer needs to satisfy (at least) the following two consistency conditions:

  1. the rationalization E G(X 11)E_G(X_{11})\otimes \mathbb{Q} of the generalized cohomology classes has to reproduce the correct rational brane charges, we analyze these below in The rational cohomology of M2/M5-brane charges;

  2. the GG-equivariant Atiyah-Hirzebruch spectral sequence for E G(X 11)E_G(X_{11}) along an M-theory circle fibration

    S 1 X 11 X 10 \array{ S^1 &\to& X_{11} \\ && \downarrow \\ && X_{10} }

    needs to be a suitable higher order correction to the AHSS for topological KR-theory KU /2(X 10)KU_{\mathbb{Z}/2}(X_{10}).

Here we are concerned with the first item. By the analysis in (Sati-Varghese 03, section 4), at the rational level the second item is implied by the first, see the conclusion below.

Warmup: Generalized cohomology of F1/Dp-brane charges

To illustrate the general approach, we give a re-derivation from super L L_\infty-cohomology of the famous identification of F1/Dpp-brane charges in twisted K-theory (Fiorenza-Sati-Schreiber 16).

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μ Dp p=0,2,4,6B 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}{\oplus} \mu_{D p}}{\longrightarrow} && \underset{p = 0,2,4,6}{\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} } \,.

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

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μ Dp p=0,2,4,6B 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}{\oplus} \mu_{D p}}{\longrightarrow} && \underset{p = 0,2,4,6}{\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} } \,.

Inspection shows that this indeed exists: write (p=0,2,4,6B 2p+1)/B\left(\underset{p = 0,2,4,6}{\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\} \,.

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 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 df 2=μ F1+h 3d f_2 = \mu_{F1} + h_3. This is a resolution

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

of type IIA super-Minkowski spacetime which serves to represent morphisms in the homotopy theory for super L-infinity algebras in the following. Because with this, the above descent problem indeed has a solution as follows:

{de a=ψ¯Γ aψdψ α=0df 2=μ F1} 9,1|16+16¯^ p=0,2,4,6μ Dp p=0,2,4,6B 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,6B 2p+1)/B {dω 2(k+1)=h 3ω 2k} μ 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\} && \widehat{ \mathbb{R}^{ 9,1\vert \mathbf{16} + \overline{\mathbf{16}} } } && \stackrel{\underset{p=0,2,4,6}{\oplus} \mu_{D p}}{\longrightarrow} && \underset{p = 0,2,4,6}{\oplus} \mathbf{B}^{2p+1}\mathbb{R} && \left\{ d \omega_{2 k} = 0 \right\} \\ && \downarrow^{\mathrlap{hofib(\mu_{F1})}} && && \downarrow \\ \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{ \left( \omega_{p+2} \mapsto \mu_{D p} \right) }{\longrightarrow} && \left( \underset{p = 0,2,4,6}{\oplus} \mathbf{B}^{2p+1}\mathbb{R} \right)/\mathbf{B} \mathbb{R} && \left\{ d\omega_{2(k+1)} = h_3\wedge \omega_{2k} \right\} \\ && & {}_{\mathllap{\mu_{F 1}}}\searrow && \swarrow \\ && && \mathbf{B}^2 \mathbb{R} \\ && && \left\{ d h_3 = 0 \right\} } \,.

This says that 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 the homotopy quotient (p=0,2,4,6B 2p+1)/B \left( \underset{p = 0,2,4,6}{\oplus} \mathbf{B}^{2p+1}\mathbb{R} \right)/\mathbf{B} \mathbb{R}.

But these rational coefficients are precisely the rational image of twisted topological K-theory.

Accordingly, the Lie integration of this rational situation to twisted K-theory, and its globalization over a 10-dimensional IIA super spacetime X 10X_{10}, yields a diagram of parameterized spectra in smooth infinity-stacks of the form

X 10 RR /B KU/BU(1) B B 2U(1) \array{ X_{10} && \stackrel{RR_{/B}}{\longrightarrow} && KU / \mathbf{B} U(1) \\ & {}_{\mathllap{B}}\searrow && \swarrow \\ && \mathbf{B}^2 U(1) }

According to (Sati-Schreiber-Stasheff 09, Nikolaus-Schreiber-Stevenson 12) here the morphism denoted BB represents the Kalb-Ramond B-field under which the F1-brane is charged and the morphism denoted RR /BRR_{/B} represents the RR-field under which the D-branes are charged.

This is how one may re-discover the familiar cohomological nature of the F1/Dp-brane charges in type II string theory from an analysis of the super L L_\infty-cohomology embodied in the brane bouquet-refinement of the old brane scan.

The rational cohomology of M2/M5-brane charges

We now consider the analogue of this re-derivation, but up in 11-dimensions, where it provides a previously missing derivation of the rational cohomology of M-brane charges.

For the 11-dimensional super Minkowski spacetime on which 11-dimensional supergravity is locally modeled (via super Cartan geometry) the iterative extension of L L_\infty-cocycles in the brane bouquet looks like so (Fiorenza-Sati-Schreiber 13):

10,1|32^ μ M5 B 6 hofib(μ M2) 10,1|32 μ M2 B 3 hofib(μ D0) 9,1|16+16¯ \array{ \widehat{\mathbb{R}^{10,1\vert \mathbf{32}}} &\stackrel{\mu_{M5}}{\longrightarrow}& \mathbf{B}^6 \mathbb{R} \\ \downarrow^{\mathrlap{hofib(\mu_{M2})}} \\ \mathbb{R}^{10,1\vert \mathbf{32}} & \stackrel{\mu_{M2}}{\longrightarrow} & \mathbf{B}^3 \mathbb{R} \\ \downarrow^{\mathrlap{hofib(\mu_{D 0})}} \\ \mathbb{R}^{9,1\vert \mathbf{16} + \overline{\mathbf{16}}} }

Hence the M5-brane WZW term exists on the B 2\mathbf{B}^2 \mathbb{R}-principal infinity-bundle that is classified by the M2-brane WZW term. Again using (Nikolaus-Schreiber-Stevenson 12), we may ask if this is equivariant and descends back to 11-dimensional super-Minkowski spacetime.

And it does (Fiorenza-Sati-Schreiber 15):

write B 6/B 2\mathbf{B}^6 \mathbb{R}/\mathbf{B}^2 \mathbb{R} for the L-infinity algebra whose Chevalley-Eilenberg algebra is generated from elements ω 4\omega_4 and ω 7\omega_7, in degrees 4 and 7 as indicated, and whose differential is given by dω 4=0d \omega_4 = 0 and dω 7=ω 4ω 4d \omega_7 = \omega_4 \wedge \omega_4. This sits in a homotopy fiber sequence of L-infinity algebras of the form

B 6B 6/B 2B 3. \mathbf{B}^6 \mathbb{R} \longrightarrow \mathbf{B}^6\mathbb{R}/\mathbf{B}^2 \mathbb{R} \longrightarrow \mathbf{B}^3 \mathbb{R} \,.

Notice that if we think of the Chevalley-Eilenberg algebras of these L L_\infty-algebras as being Sullivan models in rational homotopy theory, then this homotopy fiber sequence is the rational image of the quaternionic Hopf fibration

S 7S 4BSU(2)c 2B 3U(1). S^7 \longrightarrow S^4 \to \mathbf{B}SU(2) \stackrel{\mathbf{c_2}}{\to} \mathbf{B}^3 U(1) \,.

Now computation shows (Fiorenza-Sati-Schreiber 15) that indeed the WZW term for the M5-brane does descend back to super-Minkowski spacetime as a cocycle with coefficients in this rational 4-sphere:

{de a=ψ¯Γ aψdψ α=0dh 3=μ M2} 10,1|32^ h 3μ 4+115μ M5 B 6 {dω 7=0} hofib(μ M2) {de a=ψ¯Γ aψdψ α=0dh 3=g 4μ M2} res 10,1|32 h 3(g 4+μ 4)+115μ 7 B 6/B 2 {dg 4=0dg 7=g 4g 4} μ M2 B 3 {dg 4=0} \array{ \left\{ { { d e^a = \overline{\psi}\wedge \Gamma^a \wedge \psi } \atop { d \psi^\alpha = 0 } } \atop d h_3 = - \mu_{M2} \right\} && \widehat{\mathbb{R}^{10,1\vert \mathbf{32}}} && \stackrel{h_3 \wedge \mu_4 + \frac{1}{15}\mu_{M5} }{\longrightarrow} && \mathbf{B}^6 \mathbb{R} && \left\{ d \omega_7 = 0 \right\} \\ && \downarrow^{\mathrlap{hofib(\mu_{M2})}} && && \downarrow \\ \left\{ { { d e^a = \overline{\psi}\wedge \Gamma^a \wedge \psi } \atop { d \psi^\alpha = 0 } } \atop d h_3 = g_4 - \mu_{M2} \right\} && \mathbb{R}_{res}^{10,1\vert\mathbf{32}} && \stackrel{h_3 \wedge (g_4 + \mu_4) + \frac{1}{15}\mu_7 }{\longrightarrow} && \mathbf{B}^6 \mathbb{R}/\mathbf{B}^2 \mathbb{R} && \left\{ {d g_4 = 0} \atop {d g_7 = g_4 \wedge g_4} \right\} \\ && & {}_{\mathllap{\mu_{M2}}}\searrow && \swarrow \\ && && \mathbf{B}^3 \mathbb{R} \\ && && \left\{ d g_4 = 0\right\} }

Hence we read off from this computation that, rationally, M2-brane charge is in degree-4 ordinary cohomology and it twists M5-brane charge which is, rationally, in unstable degree-4 cohomotopy. This confirms a statement made earlier in (Sati 10, section 6.3, Sati 13, section 2.5).

An unstable Lie integration of this situation, in direct analogy to the above situation for twisted K-theory, would be given by maps into the quaternionic Hopf fibration

S 7 X G 7/G 4 S 4 G 4 B 3U(1) c2 BSU(2) \array{ && && S^7 \\ && && \downarrow \\ X && \stackrel{G_7_{/G_4}}{\longrightarrow} && S^4 \\ & {}_{\mathllap{G_4}} \searrow && \swarrow & \downarrow \\ && \mathbf{B}^3 U(1) &\stackrel{\mathbf{c2}}{\longleftarrow}& \mathbf{B}SU(2) }

where the left map G 4G_4 would represent the magnetic M2-brane charge and the horizontal map the G 4G_4-twisted magnetic M5-brane charge. (Here we are displaying a diagram of smooth infinity-stacks, there is a further refinement of these cocycles to nonabelian differential cohomology (FSS 15)).

Notice that, unstably, the 4-sphere is just the space whose non-torsion homotopy groups (hence those that are visible rationally) are in degrees 4 and 7

π k(S 4)\pi_k(S^4)000\mathbb{Z} 2\mathbb{Z}_2 2\mathbb{Z}_2 12\mathbb{Z} \oplus \mathbb{Z}_{12}

Hence, unstably, the 4-sphere S 4S^4 may be thought of as the coefficient which is just right for detecting integral M2-brane charge and M5-brane charge. For instance the near-horizon limit of a black M2-brane is the spacetime X 11=AdS 4×S 7X_{11} = AdS_4 \times S^7 and the degree-4 cohomotopy classes

[AdS 4×S 7,S 4][S 7,S 4] 12 [AdS_4 \times S^7, S^4] \simeq [S^7,S^4] \simeq \mathbb{Z} \oplus \mathbb{Z}_12

detect the integral charge of these (the M2 being the magnetic source for M5-brane charge), with the unit of charge being represented by the quaternionic Hopf fibration. Similarly the near-horizon limit of a black M5-brane is AdS 7×S 4AdS_7 \times S^4 and again the degree-4 cohomotopy classes are

[AdS 7×S 4,S 4][S 4,S 4] [AdS_7 \times S^4 , S^4] \simeq [S^4, S^4] \simeq \mathbb{Z}

detecting the integral charge of these branes.

But unstable cohomotopy – which may be thought of as a very nonabelian cohomology theory – is unlikely to satisfy consistency condition 2 of reproducing topological K-theory in a suitable limit, for that we need an actual “abelian” cohomology theory represented by a spectrum. This we turn to now.

Lift to ADE-equivariant stable cohomotopy

It follows that the first of our two consistency conditions is to be solved by finding a (possibly equivariant) generalized cohomology theory whose rational image is 4-shifted cohomotopy.

The immediate guess might be that this is 4-shifted stable cohomotopy, i.e. the generalized cohomology theory which is represented by the suspension spectrum of the 4-sphere, hence by the 4-suspended sphere spectrum 𝕊\mathbb{S}:

Σ S 4=Σ 4𝕊. \Sigma^\infty S^4 = \Sigma^4 \mathbb{S} \,.

However, this does not work: the non-torsion element in π 7(S 4)=/12\pi_7(S^4) = \mathbb{Z} \oplus \mathbb{Z}/12, which is the one represented by the quaternionic Hopf fibration, becomes torsion after stabilization – since the third stable homotopy group of spheres is the cyclic group π 3 S=/24\pi_3^S = \mathbb{Z}/24 – and hence disappears rationally:

π 7(S 4) π 3(𝕊) 12 24. \array{ \pi_7(S^4) &\longrightarrow& \pi_3(\mathbb{S}) \\ \mathbb{Z}\oplus \mathbb{Z}_{12} && \mathbb{Z}_{24} } \,.

A natural way to evade this problem is to ask for a finite group GG acting on the quaternionic Hopf fibration and to consider GG-equivariant stable cohomotopy. Since this forces all homotopies to exist GG-equivariantly, it potentially makes some unstable non-torsion elements remain stably non-torsion.

More concretely, there is “genuine” GG-equivariant cohomology theory, motivated as follows. The traditional suspension isomorphism

H n(X,E)H n+k(S kX,E) H^n(X,E) \simeq H^{n+k}(S^k \wedge X, E)

relates the integer grading of cohomology groups with kk-fold suspensions of base spaces given by smash product with the kk-sphere. In a context where all spaces and coefficients are equipped with GG-action, then one may consider not just plain spheres S kS^k but representation spheres S VS^V given by one-point compactification of linear GG-representations VV. The usual spheres are subsumed by this as coming from the trivial representations: S kS kS^k \simeq S^{\mathbb{R}^k}. This gives rise to a generalized grading of cohomology groups not just by integers, but by linear GG-representations – called RO(G)-grading – such that an equivariant suspension isomorphism holds

H G W(X,E)H G W+V(S VX,E) H^W_G(X,E) \simeq H^{W+V}_G(S^V\wedge X, E)

for any linear GG-representations WW and VV.

An equivariant version of the Brown representability theorem states that every RO(G)-graded equivariant cohomology theory is represented by what is called a genuine G-spectrum. Where an ordinary spectrum EE is a system of pointed topological spaces E nE_n indexed by the integers, hence by the ordinary spheres S nS^n, and equipped with compatible comparison maps

S nkE kE n, S^{n-k}\wedge E_k \longrightarrow E_{n} \,,

a genuine G-spectrum is a system of pointed topological spaces E VE_V indexed by representation spheres S VS^V and equipped with compatible comparison maps of the form

S VWE WE V. S^{V-W} \wedge E_W \longrightarrow E_V \,.

In particular for XX any pointed topological G-space, there is the corresponding GG-equivariant suspension spectrum Σ G X\Sigma^\infty_G X whose value on a representation sphere S VS^V is the smash product S VXS^V \wedge X.

Hence the problem that π 7(Σ S 4)\pi_7(\Sigma^\infty S^4) is torsion may potentially be fixed by finding a finite group GG and a GG-action on the quaternionic Hopf fibration, S G 7S G 4S^7_G \to S^4_G, such that S G 7S G 7S^7_G \simeq S^{\mathbb{R}^7_G} is a representation sphere for a 7-dimensional linear GG-representation, and such that the GG-equivariant quaternonic Hopf fibration represents a non-torsion element in

H G 7(*,Σ G S 4)=[Σ G S 7,Σ G S 4]. H^{-\mathbb{R}^7_G}(\ast, \Sigma^\infty_G S^4) = [\Sigma^\infty_G S^7, \Sigma^\infty_G S^4] \,.

Now, by the way the quaternionic Hopf fibration is obtained, via the Hopf construction, from the product operation on the quaternions \mathbb{H}, it is equivariant under the induced action of the automorphism group of the quaternions. This automorphism group is the special orthogonal group SO(3)SO(3), acting on the imaginary quaternions by rotation:

Aut ()SO(3). Aut_{\mathbb{R}}(\mathbb{H}) \simeq SO(3) \,.

Since we need equivariance under a finite group, our options are finite subgroups of SO(3)SO(3)

GSO(3). G \hookrightarrow SO(3) \,.

These finite subgroups have an ADE classification. In the A-series they are the cyclic groups, sitting in the inclusion SO(2)SO(3)SO(2) \hookrightarrow SO(3). In the D-series these are the dihedral groups which are those subgroups generated from a cyclic subgroup rotating in some plane and a reflection at that plane. Finally there are three exceptional finite subgroups: the tetrahedral group, the octahedral group and the icosahedral group

Regard both S 7S^7 and S 4S^4 as pointed topological G-spaces via the SO(3)SO(3)-action induced via automorphisms of the quaternions. Write

Σ G S 7,Σ G S 4GSpectra \Sigma^\infty_G S^7, \Sigma^\infty_G S^4 \in G Spectra

for the corresponding equivariant suspension spectra.


The 4-sphere with this action is manifestly a representation sphere

S 4= 1{}S . S^4 = \mathbb{H}\mathbb{P}^1 \simeq \mathbb{H} \cup \{\infty\} \simeq S^{\mathbb{H}} \,.

We will write S G 4S^{\mathbb{R}^4_G} for this representation sphere.

Moreover, the 7-sphere with this action is also a representation sphere, via stereographic projection

S 7 = GS(×) GS((Im())) GS Im(). \begin{aligned} S^7 & =_G S(\mathbb{H} \times \mathbb{H}) \\ & \simeq_G S( \mathbb{R} \oplus (Im(\mathbb{H} \oplus \mathbb{H})) ) \\ & \simeq_G S^{Im(\mathbb{H} \oplus \mathbb{H})} \end{aligned} \,.

We will write S G 7S^{\mathbb{R}^7_G} for this.

Recall again that if we took trivial GG, then in the stable homotopy category

[Σ S 7,Σ S 4] 24 [\Sigma^\infty S^7, \Sigma^\infty S^4] \simeq \mathbb{Z}_{24}

by the above. In contrast:1

regular icosahedron

Let GSO(3)G \hookrightarrow SO(3) be a non-cyclic finite subgroup, hence a dihedral group or one of the three exceptionals: the tetrahedral group, the octahedral group, the icosahedral group.

Then in GG-equivariant homotopy theory the quaternionic Hopf fibration S 7S 4S^7 \to S^4 represents a non-torsion group, i.e.

H G G 7(*,Σ G S 4)[Σ G S 7,Σ G S 4] G H_G^{-\mathbb{R}^7_G}(\ast, \Sigma^\infty_G S^4) \;\coloneqq\; [\Sigma^\infty_G S^7, \Sigma^\infty_G S^4]_G \;\simeq\; \mathbb{Z} \oplus \cdots

with the quaternionic Hopf fibration, regarded as a GG-equivariant map, representing the element 22 \in \mathbb{Z}.


First use the Greenlees-May decomposition which says that for any two GG-equivariant spectra X,YX,Y and writing π (X),π (Y)\pi_\bullet(X), \pi_\bullet(Y) for their equivariant homotopy groups, organized as Mackey functors Hπ n H(X)H \mapsto \pi_n^H(X) for all subgroups HGH \subset G, then the canonical map

[X,Y] GnHom [G](π n(X),π n(Y)) [X,Y]_G \longrightarrow \underset{n}{\oplus} Hom_{\mathcal{M}[G]}(\pi_n(X), \pi_n(Y))

is rationally an isomorphism.

With this we are reduced to showing that there exists nn \in \mathbb{Z} and a morphism of Mackey functors of equivariant homotopy groups π n(Σ G S 7)π n(Σ G S 4)\pi_n(\Sigma^\infty_G S^7) \to \pi_n(\Sigma^\infty_G S^4) which is not a torsion element in the abelian hom-group of Mackey functors.

To analyse this, we use the tom Dieck splitting which says that the equivariant homotopy groups of equivariant suspension spectra Σ G X\Sigma^\infty_G X contain a direct summand which is simply the ordinary stable homotopy groups of the naive fixed point space X HX^H:

π n G(Σ G X)π n(Σ (X G))[HG]HGπ (Σ (E(W GH) + W GHX H)) \pi_n^G(\Sigma^\infty_G X) \;\simeq\; \pi_n(\Sigma^\infty (X^G)) \; \underset{{[H \subset G]} \atop {H \neq G}}{\oplus} \pi_\bullet(\Sigma^\infty (E (W_G H)_+ \wedge_{W_G H} X^H))

(here W GH(N GH)/HW_G H \coloneqq (N_G H)/H denotes the Weyl group, the quotient group of the normalizer subgroup (of HH in GG) by HH).

Now observe that the fixed points of the SO(3)SO(3)-action on the quaternionic Hopf fibration that we are considering is just the real Hopf fibration:

(p ) SO(3)=p :S 1S 1 (p_{\mathbb{H}})^{SO(3)} = p_{\mathbb{R}} \;\colon\; S^1 \longrightarrow S^1

since SO(3)SO(3) acts transitively on the imaginary quaternions and fixes the real quaternions. By our assumption that GSO(3)G \subset SO(3) does not come through SO(2)SO(3)SO(2) \hookrightarrow SO(3) it follows that this statment is still true for GG:

(p ) G=p :S 1S 1. (p_{\mathbb{H}})^{G} = p_{\mathbb{R}} \;\colon\; S^1 \longrightarrow S^1 \,.

But the real Hopf fibration represents the non-torsion element 2π 0 S2 \in \pi_0^S \simeq \mathbb{Z}.

In conclusion then, at n=1n = 1 and H=GH = G we find that the GG-equivariant quaternionic Hopf fibration contributes a non-torsion element in

Hom Ab(π 1 G(Σ G S 7),π 1 G(Σ G S 4)) Hom_{Ab}(\pi_1^G(\Sigma^\infty_G S^7), \pi_1^G(\Sigma^\infty_G S^4))

which appears as a non-torsion element in

Hom [G](π 1(Σ G S 7),π 1(Σ G S 4)) Hom_{\mathcal{M}[G]}( \pi_1(\Sigma^\infty_G S^7), \pi_1(\Sigma^\infty_G S^4) )

and hence in [Σ G S 7,Σ G S 4] G[\Sigma^\infty_G S^7, \Sigma^\infty_G S^4]_G.

Conclusion and outlook

In conclusion, a consistent possibility for the equivariant generalized cohomology theory in which M2/M5-brane charges take value is 4-shifted DE-equivariant stable cohomotopy in RO(G)-degree

7 G 7Rep(G) \mathbb{R}^7 - \mathbb{R}^7_G \;\; \in Rep(G)

(in the notation of remark ), hence the cohomology theory

H G 7 G 7(,Σ G S 4)H(,[Σ G S 7,Σ 7Σ G S 4]). H^{\mathbb{R}^{7}-\mathbb{R}^{7}_G }_G( -,\; \Sigma^\infty_G S^4 ) \simeq H(- , [\Sigma^\infty_G S^7, \Sigma^7 \Sigma^\infty_G S^4]) \,.

The ADE-equivariance (or rather: DE-equivariance) which we discovered this way from the mathematics is a pleasant surprise:

The key conjecture (Sen 97) on the nature of the elusive “microscopic degrees of freedom” of M-theory states (see Acharya-Gukov 04 for review) that

  1. its spacetimes are ADE orbifolds;

  2. the theory is non-degenerate – in that it exhibits the nonabelian gauge enhancement – only at the ADE singularities, i.e. at the fixed points of the ADE-action.

This comes form the following physical heuristics (Sen 97):

ADE 2Cycle

The de-singularization of an ADE singularity via blow-up is a system of touching spheres forming the corresponding Dynkin diagram. Under double dimensional reduction the M2-brane wrapped on this configuration becomes the type IIA string stretched between non-coincident D6-branes in the form of the Dynkin diagram. Here type IIA string theory applies and yields that the quiver gauge theory on these D-branes exhibits gauge enhancement to the corresponding ADE-simple gauge group as the D-branes are brought together again. But this end result must be the same as applying double dimensional reduction to the original ADE-singular M-theory configuration. Hence there must be nonabelian ADE-simple gauge group degrees of freedom hidden in M-theory on ADE-orbifolds, waiting to be mathematically identified.

Now observe that both items above follow at least qualitatively from our mathematical analysis:

  1. a GG-equivariant cohomology theory is to be evaluated on topological G-spaces;

  2. it picks up its contributions from the fixed points – by the tom Dieck splitting principle (as in the proof of theorem ) .

This gauge enhancement in M-theory at these fixed points is to be the M-theory lift of the familiar appearance of Chan-Paton gauge fields with nonabelian structure group on coincident D-branes. But mathematically the Chan-Paton gauge fields are just elements in the twisted topological K-theory in which the D-brane charges take values, as above. Hence it seems that in order to mathematically exhibit the conjectured gauge enhancement in M-theory at ADE-singularities, it is now sufficient to show that DE-equivariant stable cohomotopy on an 11-dimensional circle fibration reduces to twisted K-theory on the 10-dimensional base. But that is just the second consistency check already mentioned at the beginning.

To check this, one may run the Serre spectral sequence/Atiyah-Hirzebruch spectral sequence for GG-equivariant stable cohomotopy theory on circle fibrations

S 1 X 11 X 10. \array{ S^1 &\to& X_{11} \\ && \downarrow \\ && X_{10} } \,.

We may check this rationally: By Greenlees-May decomposition our equivariant cohomology theory rationally decomposes as a direct sum of equivariant Eilenberg-MacLane spectra on the equivariant homotopy group Mackey functors

H G 7 G 7(,Σ G S 4) nΣ nH(π n(Σ G S 4)) H^{\mathbb{R}^{7}-\mathbb{R}^{7}_G }_G( -,\; \Sigma^\infty_G S^4 ) \simeq_{\mathbb{Q}} \underset{n}{\prod} \Sigma^n H(\pi_n(\Sigma^\infty_G S^4))

and for each of the EM-summands there is a Serre-Atiyah-Hirzebruch spectral sequence (Kronholm 10, theorem 3.1)

E 2 p,q=H p(X 10,H ( 7 G 7)+q(S 1,π p+q(Σ G S 4)))H G 7 G 7+(X 11,π (Σ G S 4)). E_2^{p,q} \;=\; H^p(X_{10}, H^{(\mathbb{R}^{7}-\mathbb{R}^{7}_G) + q}(S^1,\pi_{p+q}(\Sigma^\infty_G S^4))) \;\;\Rightarrow\;\; H^{\mathbb{R}^{7}-\mathbb{R}^{7}_G + \bullet}_G(X_{11} , \pi_\bullet(\Sigma^\infty_G S^4)) \,.

But by the above analysis the E 2E_2-page here rationally reduces to the Gysin sequence analysis in (Sati-Varghese 03, section 4).

For instance for p+q=65p + q = 6 - 5 there is the following contribution that gives the correct double dimensional reduction of the charge seen by the M5-brane to the charge seen by the D4-brane, rationally:

H 6(X 10,H ( 7 G 7)5(S 1,π 1(Σ G S 4))) =H 6(X 10,H G 7+2(S 1,π 1(Σ G S 4))) H 6(X 10,Hom [G](π 2(Σ 1Σ G S 7),π 1(Σ G S 4))) H 6(X 10,Hom [G](π 1(Σ G S 7),π 1(Σ G S 4)] G) H 6(X 10,)torsion. \begin{aligned} H^6(X_{10}, H^{(\mathbb{R}^{7}-\mathbb{R}^{7}_G) -5}( S^1,\pi_{1}(\Sigma^\infty_G S^4) ) ) & = H^6(X_{10}, H^{-\mathbb{R}^{7}_G + 2}( S^1, \pi_{1}(\Sigma^\infty_G S^4) ) ) \\ & \simeq H^6( X_{10}, Hom_{\mathcal{M}[G]}( \pi_2(\Sigma^1 \Sigma^\infty_G S^7),\pi_{1}(\Sigma^\infty_G S^4)) ) \\ & \simeq H^6( X_{10}, Hom_{\mathcal{M}[G]}( \pi_1(\Sigma^\infty_G S^7),\pi_{1}(\Sigma^\infty_G S^4)]_G ) \\ & \simeq H^6( X_{10}, \mathbb{Z} ) \oplus torsion \end{aligned} \,.

Here in the second step we unraveled the definition of cohomology with values in a Mackey for the case of the domain being a sphere, in the third step we used stability of the stable equivariant homotopy groups and in the fourth we used the proof of theorem .
















  1. The proof of theorem profited crucially from Charles Rezk, who suggested here that the reduction to fixed points will make the real Hopf fibration give a non-torsion contribution; and from David Barnes who amplified the use of the Greenless-May decomposition theorem.

Last revised on January 23, 2020 at 11:41:14. See the history of this page for a list of all contributions to it.