# nLab Fivebrane group

cohomology

### Theorems

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

# Contents

## Definition

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

Notice that $\mathrm{String}\left(n\right)$ itself if the 3-connected cover of $\mathrm{Spin}\left(n\right)$, which is 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{Fivebrane}\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 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 } \,.

## Further information…

…should eventually go here. For the time being have a look at Fivebrane structure.

## References

The term fivebrane group and the role of this topological group in quantum anomaly cancellaton conditions in dual heterotic string theory was found by Hisham Sati and appeared in

The term shortly after was picked up in

Revised on September 19, 2010 21:12:20 by Urs Schreiber (188.20.66.18)