# nLab string group

under construction

cohomology

### Theorems

#### Topology

topology

algebraic topology

# Contents

## Definition

The string group $\mathrm{String}\left(n\right)$ is defined to be, as a topological group, the 3-connected cover of the Spin group $\mathrm{Spin}\left(n\right)$, for any $n\in ℕ$.

Notice that $\mathrm{Spin}\left(n\right)$ itself is the simply connected cover of the special orthogonal group $\mathrm{SO}\left(n\right)$, which in turn is the connected component (of the identity) of the orthogonal group $O\left(n\right)$. Hence $\mathrm{String}\left(n\right)$ is one element in the Whitehead tower of $\mathrm{O}\left(n\right)$:

$\cdots \to \mathrm{Fivebrane}\left(n\right)\to \mathrm{String}\left(n\right)\to \mathrm{Spin}\left(n\right)\to \mathrm{SO}\left(n\right)\to \mathrm{O}\left(n\right)\phantom{\rule{thinmathspace}{0ex}}.$\cdots \to Fivebrane(n) \to String(n) \to Spin(n) \to SO(n) \to \mathrm{O}(n) \,.

The next higher connected group is called the Fivebrane group.

The homotopy groups of $O\left(n\right)$ are for $k\in ℕ$ and for sufficiently large $n$

$\begin{array}{cc}{\pi }_{8k+0}\left(O\right)& ={ℤ}_{2}\\ {\pi }_{8k+1}\left(O\right)& ={ℤ}_{2}\\ {\pi }_{8k+2}\left(O\right)& =0\\ {\pi }_{8k+3}\left(O\right)& =ℤ\\ {\pi }_{8k+4}\left(O\right)& =0\\ {\pi }_{8k+5}\left(O\right)& =0\\ {\pi }_{8k+6}\left(O\right)& =0\\ {\pi }_{8k+7}\left(O\right)& =ℤ\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \pi_{8k+0}(O) & = \mathbb{Z}_2 \\ \pi_{8k+1}(O) & = \mathbb{Z}_2 \\ \pi_{8k+2}(O) & = 0 \\ \pi_{8k+3}(O) & = \mathbb{Z} \\ \pi_{8k+4}(O) & = 0 \\ \pi_{8k+5}(O) & = 0 \\ \pi_{8k+6}(O) & = 0 \\ \pi_{8k+7}(O) & = \mathbb{Z} } \,.

By co-killing these groups step by step one gets

$\begin{array}{ccccc}\mathrm{cokill}\mathrm{this}& & & & \mathrm{to}\mathrm{get}\\ \\ {\pi }_{0}\left(O\right)& ={ℤ}_{2}& & & \mathrm{SO}\\ {\pi }_{1}\left(O\right)& ={ℤ}_{2}& & & \mathrm{Spin}\\ {\pi }_{2}\left(O\right)& =0\\ {\pi }_{3}\left(O\right)& =ℤ& & & \mathrm{String}\\ {\pi }_{4}\left(O\right)& =0\\ {\pi }_{5}\left(O\right)& =0\\ {\pi }_{6}\left(O\right)& =0\\ {\pi }_{7}\left(O\right)& =ℤ& & & \mathrm{Fivebrane}\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ cokill this &&&& to get \\ \\ \pi_{0}(O) & = \mathbb{Z}_2 &&& SO \\ \pi_{1}(O) & = \mathbb{Z}_2 &&& Spin \\ \pi_{2}(O) & = 0 \\ \pi_{3}(O) & = \mathbb{Z} &&& String \\ \pi_{4}(O) & = 0 \\ \pi_{5}(O) & = 0 \\ \pi_{6}(O) & = 0 \\ \pi_{7}(O) & = \mathbb{Z} &&& Fivebrane } \,.

## Definition by co-killing of ${\pi }_{3}$

More in detail this means the following.

First notice that since by construction ${\pi }_{i}\left(ℬ\mathrm{Spin}\left(n\right)\right)=0$ for $0\le i\le 3$, by the Hurewicz theorem we have for the degree 4 integral cohomology group of the classifying space $B\mathrm{Spin}\left(n\right)$ that

${H}^{4}\left(B\mathrm{Spin}\left(n\right)\right)\simeq {\pi }_{4}\left(B\mathrm{Spin}\left(n\right)\right)\simeq ℤ\phantom{\rule{thinmathspace}{0ex}}.$H^4(B Spin(n)) \simeq \pi_4(B Spin(n)) \simeq \mathbb{Z} \,.

The generator of this group is called the fractional first Pontryagin class and denoted

$\frac{1}{2}{p}_{1}:B\mathrm{Spin}\left(n\right)\to {B}^{4}ℤ\simeq K\left(ℤ,4\right)$\frac{1}{2}p_1 : B Spin(n) \to B^4 \mathbb{Z} \simeq K(\mathbb{Z},4)

because the ordinary first Pontryagin class ${p}_{1}:ℬ\mathrm{SO}\left(n\right)\to K\left(ℤ,4\right)$ fits into a diagram

$\begin{array}{ccc}B\mathrm{Spin}\left(n\right)& \stackrel{\frac{1}{2}{p}_{1}}{\to }& {B}^{4}ℤ\\ ↓& & {↓}^{\cdot 2}\\ B\mathrm{SO}\left(n\right)& \stackrel{{p}_{1}}{\to }& {B}^{4}ℤ\end{array}\phantom{\rule{thinmathspace}{0ex}},$\array{ B Spin(n) &\stackrel{\frac{1}{2} p_1}{\to}& B^4 \mathbb{Z} \\ \downarrow && \downarrow^{\cdot 2} \\ B SO(n) &\stackrel{p_1}{\to}& B^4 \mathbb{Z} } \,,

where the right vertical morphism comes from multiplication by 2 in $ℤ$.

This says that after being pulled back to $ℬ\mathrm{Spin}\left(n\right)$ the first Pontryagin class is 2 times the generator of the degree 4 integral cohomology group of $ℬ\mathrm{Spin}\left(n\right)$ and hence that generator is called one half of ${p}_{1}$, denoted $\frac{1}{2}{p}_{1}$ (by slight abuse of notation).

The delooping of the String-group as a topological group is the homotopy fiber of this fractional Pontyagin class, i.e. the homotopy pullback

$\begin{array}{ccc}B\mathrm{String}\left(n\right)& \to & *\\ ↓& & ↓\\ B\mathrm{Spin}\left(n\right)& \to & {ℬ}^{4}ℤ\end{array}$\array{ B String(n) &\to& {*} \\ \downarrow && \downarrow \\ B Spin(n) &\to& \mathcal{B}^4 \mathbb{Z} }

in Top.

In other words: $B\mathrm{String}\left(n\right)$ is the $U\left(1\right)$- 2-gerbe or ${B}^{2}U\left(1\right)$ principal ∞-bundle on $B\mathrm{Spin}\left(n\right)$ whose class is $\frac{1}{2}{p}_{1}\in {H}^{4}\left(B\mathrm{Spin}\left(n\right),4\right)$.

## Models

### As a topological group

There is a model due to Stolz and Teichner in ‘What is an elliptic object?’…

### As a smooth 2-group

While $\mathrm{Spin}\left(n\right)$ is not just a topological group but a (finite dimensional) Lie group, $\mathrm{String}\left(n\right)$ cannot have the structure of a finite dimensional Lie group, due to the fact that the third homotopy group is nontrivial for every (finite dimensional) Lie group, while for ${\pi }_{3}\left(\mathrm{String}\left(n\right)\right)=0$ by the very definition of $\mathrm{String}\left(n\right)$.

David Roberts: This raises an interesting question: is there an infinite dimensional Lie group which is a 3-connected cover? This seems very hard to do…. Thomas Nikolaus: Yes, there is an infinite dimensional group, as shown in our article listed in the references below.

But there are smooth models of $\mathrm{String}\left(n\right)$ in the form of 2-groups. See string 2-group.

## Role in string theory

The reason for the name is that in string theory, for (blah) to be well-defined, it is necessary for the structure group of (blah) to lift to (blah).

See String structure.

If one considers passing to the (free) loop space of spacetime and then doing quantum mechanics, the requirement of the previous paragraph is that the structure group lifts to … (cite Killingback, Mickelsson, Schreiber, Witten,…)

## Generalization to other groups

One may consider the universal 3-connected cover of any general compact, simple and simply connected Lie group $G$, in complete analogy to the case $G=\mathrm{Spin}\left(n\right)$. Accordingly one speaks of string-groups ${\mathrm{String}}_{G}$.

Of these the case $G=$ E8 is the other one relevant in string theory: see Green-Schwarz mechanism.

$\cdots \to$ Fivebrane group $\to$ string group $\to$ spin group $\to$ special orthogonal group $\to$ orthogonal group.

groupsymboluniversal coversymbolhigher coversymbol
orthogonal group$\mathrm{O}\left(n\right)$Pin group$\mathrm{Pin}\left(n\right)$Tring group$\mathrm{Tring}\left(n\right)$
special orthogonal group$\mathrm{SO}\left(n\right)$Spin group$\mathrm{Spin}\left(n\right)$String group$\mathrm{String}\left(n\right)$
Lorentz group$\mathrm{O}\left(n,1\right)$$\phantom{\rule{thinmathspace}{0ex}}$$\mathrm{Spin}\left(n,1\right)$$\phantom{\rule{thinmathspace}{0ex}}$$\phantom{\rule{thinmathspace}{0ex}}$
anti de Sitter group$\mathrm{O}\left(n,2\right)$$\phantom{\rule{thinmathspace}{0ex}}$$\mathrm{Spin}\left(n,2\right)$$\phantom{\rule{thinmathspace}{0ex}}$$\phantom{\rule{thinmathspace}{0ex}}$
Narain group$O\left(n,n\right)$
Poincaré group$\mathrm{ISO}\left(n,1\right)$$\phantom{\rule{thinmathspace}{0ex}}$$\phantom{\rule{thinmathspace}{0ex}}$$\phantom{\rule{thinmathspace}{0ex}}$$\phantom{\rule{thinmathspace}{0ex}}$
super Poincaré group$\mathrm{sISO}\left(n,1\right)$$\phantom{\rule{thinmathspace}{0ex}}$$\phantom{\rule{thinmathspace}{0ex}}$$\phantom{\rule{thinmathspace}{0ex}}$$\phantom{\rule{thinmathspace}{0ex}}$

## References

Originally the String-group was just known by its generic name: with $ℬO⟨8⟩$ being the topologist’s notation for the 7-connected cover of the delooping/classifying space $ℬO$ of the group $O$.

When it was realized that lifts of the structure maps $X\to ℬO$ of the tangent bundle of a manifold $X$ through the projection $ℬO⟨8⟩\to ℬO$ – now called a String structure – play the same role in string theory as a Spin structure does in ordinary quantum mechanics, the term String group for $\Omega \left(ℬO⟨8⟩\right)$ was suggested.

Following some inquiries by Jim Stasheff and confirmed in private email by Haynes Miller it seems that the first one to propose the term $\mathrm{String}$ group for the group known to topologists as $\Omega \left(ℬO⟨8⟩\right)$ was Haynes Miller.

A model of the string group by local nets of fermions is discussed in

Many more models exist by now in terms of geometric realization of a model for the string 2-group. See there for more references.

A good review is in the introduction of

In

is is shown that the topological string group does admit a Frechet manifold Lie group structure.

Revised on June 26, 2012 22:44:31 by Urs Schreiber (82.169.65.155)