Fivebrane structure in nLab


Article Images
Contents

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Operations

Theorems

Higher spin geometry

spin geometry, string geometry, fivebrane geometry

Ingredients

Spin geometry

spin geometry

String geometry

string geometry

Fivebrane geometry

Ninebrane geometry

String theory

Ingredients

Critical string models

Extended objects

Topological strings

Backgrounds

Phenomenology

Contents

Idea

The notion of Fivebrane structure is the next higher analog of that of spin structure and string structure.

Recall from the discussion there that a string structure on manifold XX with spin structure is a lift g^\hat g of the classifying map g:XBSpin(n)g : X \to B Spin(n) of the tangent bundle associated to a Spin group-principal bundle through the next step in the Whitehead tower of O(n)O(n), called BString(n)B String(n) – the delooping of the String group:

BString(n) g^ X g BSpin(n). \array{ && B String(n) \\ & {\hat g}\nearrow & \downarrow \\ X &\stackrel{g}{\to}& B Spin(n) } \,.

The names “Spin” and “String” both derive from the role these structures play in quantum field theory: a spin structure is required on XX for it to serve as a target space for spinning particles (superparticles), while a string structure is required for it to serves as a target for “spinning strings” – superstrings – (see heterotic string theory for more). Topologists just say (said) O(n)2O(n)\langle 2\rangle for Spin(n)Spin(n) and O(n)6O(n)\langle 6\rangle for String(n)String(n), respectively.

They wrote O(n)8O(n)\langle 8\rangle for the next step in the Whitehead tower of O(n)O(n) (note that this is only the next step for n>6n \gt 6; for lower nn there are intermediate steps, as can be seen in the table at orthogonal group).

It was Hisham Sati who first realized that a lift of the tangent bundle TXT X to this highly connected structure group is related to XX serving as a target for “spinning 5-branes” – super-5-branes – in what is called dual heterotic string theory. Following the history of the term String group he gave the topological group O(n)8O(n)\langle 8\rangle the name Fivebrane group: Fivebrane(n)Fivebrane(n).

Accordingly, a Fivebrane structure(n) on a manifold XX with string structure is a lift of g^:XBString(n)\hat g : X \to B String(n) to g^^\hat \hat g

BFivebrane(n) g^^ X g^ BString(n). \array{ && B Fivebrane(n) \\ & {\hat \hat g}\nearrow & \downarrow \\ X &\stackrel{\hat g}{\to}& B String(n) } \,.

The obstruction class to this lift is a fractional multiply of the second Pontrjagin class. Namely the generator of H 8(BString,)H^8(B String, \mathbb{Z}) is 16p 2\frac{1}{6}p_2,

BString 16p 2 B 8 6 BSO p 2 B 8. \array{ B String &\stackrel{\frac{1}{6} p_2}{\to}& B^8 \mathbb{Z} \\ \downarrow && \downarrow^{\mathrlap{\cdot 6}} \\ B SO &\stackrel{p_2}{\to}& B^8 \mathbb{Z} } \,.

(stated in SSS2, then in DHH, also follows from the index theory argument leading to (3.3) in Witten 96).

The Fivebrane group is the loop space object of the corresponding homotopy fiber

BFivebrane * BString 16p 2 B 7U(1) \array{ B Fivebrane &\to& * \\ \downarrow && \downarrow \\ B String &\stackrel{\frac{1}{6} p_2}{\to}& B^7 U(1)& }

and so, by the universal property of the homotopy pullback, String-structures g^\hat g lift to Fivebrane structures precisely if 16p 2(g^)\frac{1}{6}p_2(\hat g) is trivial in cohomology

BFivebrane * g^^ X g^ BString 16p 2 B 7U(1). \array{ && B Fivebrane &\to& * \\ & {}^{\mathllap{\hat \hat g}}\nearrow & \downarrow && \downarrow \\ X &\stackrel{\hat g}{\to}& B String &\stackrel{\frac{1}{6}p_2}{\to}& B^7 U(1) } \,.

In (SSS2) the physical interpretation of this topological lift was established by comparison with known quantum anomaly cancellation conditions in dual heterotic string theory.

The term “Fivebrane” apparently quickly caught on in the mathematical community, for instance in (DouglasHenriquesHill).

Since gauge theory is not just about principal bundles, but about principal bundles with connection, what matters in physics is not just the topological Spin-, String- and Fivebrane structures, but their refinement to differential nonabelian cohomology. See differential fivebrane structure.

References

The notion was introduced in:

Brief mentioning in:

On the differential refinement (the fivebrane version of differential string structure):

The M-theoretic version of Fivebrane structure (“M5-brane-structure”), and rigorously derived from 5-brane anomaly cancellation via Hypothesis H:

Applications of Fivebrane structures:

Last revised on January 11, 2023 at 10:35:13. See the history of this page for a list of all contributions to it.