Gromoll–Meyer sphere

In mathematics, especially differential topology, the Gromoll–Meyer sphere is a special seven-dimensional exotic sphere with several unique properties. It is named after Detlef Gromoll and Wolfgang Meyer, who first described it in detail in 1974, although it was already found by John Milnor in 1956.

Definition

Brieskorn sphere

In ${ℂ}^5$ consider the complex variety:

$a^2+b^2+c^2+d^3+e^5=0.$

A description of the Gromoll–Meyer sphere is the intersection of the above variety with a small sphere around the origin.

Lie group biquotient

The first symplectic group $\mathrm{Sp}(1)$ (isomorphic to $\mathrm{SU}(2)$) acts on the second symplectic group $\mathrm{Sp}(2)$ (isomorphic to $\mathrm{Spin}(5)$) with the embedding $\mathrm{Sp}(1)\hookrightarrow \mathrm{Sp}(2),q\mapsto \mathrm{diag}(q,q)$ and multiplication from the left as well as the embedding $\mathrm{Sp}(1)\hookrightarrow \mathrm{Sp}(2),q\mapsto \mathrm{diag}(q,1)$ and multiplication from the right. A description of the Gromoll–Meyer sphere is the biquotient space:

$\mathrm{Sp}(1)\mathrm{\setminus }\mathrm{Sp}(2)/\mathrm{Sp}(1).$

Properties

• It is the only seven-dimensional exotic sphere, which can be expressed as a biquotient of a compact Lie group.

• It can be expressed as a $S^3$-fiber bundle over $S^4$ and hence is a Milnor sphere. Such bundles also include the quaternionic Hopf fibration, whose total space is the ordinary $S^7$.

• It generates the seventh Kervaire–Milnor group ${\mathrm{\Theta }}_7\cong {\mathbb{Z}}_{28}$.

Literature

• Template:Cite journal
• Template:Cite arXiv
• Template:Cite arXiv
• Template:Cite arXiv
• Template:Cite arXiv

External links

• Gromoll-Mayer sphere at the nLab