nLab Hopf fibration

Contents

Context

Bundles

bundles

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Manifolds and cobordisms

Contents

Idea

The complex Hopf fibration [Hopf (1931)] is a canonical nontrivial circle principal bundle over the 2-sphere whose total space is the 3-sphere.

S 1S 3S 2. S^1 \hookrightarrow S^3 \to S^2 \,.

Its canonically associated complex line bundle is the basic line bundle on the 2-sphere.

This we discuss below in

More generally, there are four Hopf fibrations, on the 1-sphere, the 3-sphere, the 7-sphere and the 15-sphere, respectively. This we discuss in

On the 3-sphere

Homotopy-theoretic characterization

The Eilenberg-MacLane space K(,2)BS 1K(\mathbb{Z},2) \simeq B S^1 is the classifying space for circle group principal bundles. By its very nature, it has a single nontrivial homotopy group, the second, and this is isomorphic to the group of integers

π 2(K(,2)). \pi_2(K(\mathbb{Z},2)) \simeq \mathbb{Z} \,.

This means that there is, up to homotopy, a canonical (up to sign), continuous map from the 2-sphere

ϕ:S 2K(,2), \phi : S^2 \to K(\mathbb{Z},2) \,,

such that [ϕ]π 2(K(,2))=±1[\phi] \in \pi_2(K(\mathbb{Z},2)) = \pm 1 \in \mathbb{Z}.

As any map into K(,2)K(\mathbb{Z},2) this classifies a circle group principal bundle over its domain. This is the Hopf fibration, fitting into the long fiber sequence

S 1 S 3 S 2 ϕ BS 1K(,2). \array{ S^1 &\hookrightarrow& S^3 \\ && \downarrow \\ && S^2 &\stackrel{\phi}{\to}& B S^1 \simeq K(\mathbb{Z},2) } \,.

In other words, the Hopf fibration is the U(1)U(1)-bundle with unit first Chern class on S 2S^2.

Realization via the complex numbers

An explicit topological space presenting the Hopf fibration may be obtained as follows. Identify

S 3{(z 0,z 1)×||z 0| 2+|z 1| 2=1}=S( 2) S^3 \simeq \{(z_0, z_1) \in \mathbb{C}\times \mathbb{C} \,|\, {|z_0|}^2 + {|z_1|}^2 = 1\} = S(\mathbb{C}^2)

and

S 2ℂℙ 1{}S^2 \simeq \mathbb{C P}^1 \simeq \mathbb{C} \sqcup \{\infty\}

Then the continuous function S 3S 2S^3 \to S^2 defined by

(z 0,z 1)z 0z 1(z_0, z_1) \mapsto \frac{z_0}{z_1}

gives the Hopf fibration. (Thus, the Hopf fibration is a circle bundle naturally associated with the canonical line bundle.) Alternatively, if we use

S 2{(z,x)×||z| 2+x 2=1}=S(×). S^2 \simeq \{(z, x) \in \mathbb{C} \times \mathbb{R} \,|\, {|z|}^2 + x^2 = 1\} = S(\mathbb{C} \times \mathbb{R}) \,.

and identify this presentation of the 2-sphere with the complex projective line via stereographic projection, the Hopf fibration is identified with the map S 3S 2S^3 \to S^2 given by sending

(z 0,z 1)(2z 0z 1¯,|z 0| 2|z 1| 2). (z_0, z_1) \mapsto (2 z_0 \overline{z_1} , {|z_0|}^2 - {|z_1|}^2).

Realization via quaternions

Alternatively, we may regard S 3S()S^3 \simeq S(\mathbb{H}) as the unit sphere in the quaternions and S 2S( im)S^2 \simeq S\left( \mathbb{H}_{\mathrm{im}}\right) as the unit sphere in the imaginary quaternions. Under this identification, the complex Hopf fibration is equivalently represented by

S() S( im) q qiq¯ \array{ S(\mathbb{H}) &\longrightarrow& S\left( \mathbb{H}_{\mathrm{im}}\right) \\ q &\mapsto& q \cdot \mathbf{i} \cdot \overline{q} }

where iS( im)\mathbf{i} \in S\left( \mathbb{H}_{\mathrm{im}}\right) is any unit imaginary quaternion.

Realization via the Hopf construction

Regard S 1=U(1)S^1 = U(1) as equipped with its circle group structure. This makes S 1S^1 in particular an H-space. The Hopf fibration S 1S 3S 2S^1 \to S^3 \to S^2 is the Hopf construction applied to this H-space.

Spin(3)-equivariance

Consider

  1. the Spin(3)-action on the 2-sphere S 2S^2 which is induced by the defining action on 3\mathbb{R}^3 under the identification S 2S( 3)S^2 \simeq S(\mathbb{R}^3);

  2. the Spin(3)-action on the 3-sphere S 3S^3 which is induced under the exceptional isomorphism Spin(3)Sp(1)=U(1,)Spin(3) \simeq Sp(1) = U(1,\mathbb{H}) by the canonical left action of U(1,)U(1,\mathbb{H}) on \mathbb{H} via S 3S()S^3 \simeq S(\mathbb{H}).

Then the complex Hopf fibration S 3h S 2S^3 \overset{h_{\mathbb{C}}}{\longrightarrow} S^2 is equivariant with respect to these actions.

A way to make the Spin(3)Spin(3)-equivariance of the complex Hopf fibration fully explicit is to observe that it is equivalently the following map of coset spaces:

S 1 fib(h ) S 3 h S 2 = = = Spin(2)Spin(1) Spin(3)Spin(1) Spin(3)Spin(2) \array{ S^1 &\overset{fib(h_{\mathbb{C}})}{\longrightarrow}& S^{3} &\overset{h_{\mathbb{C}}}{\longrightarrow}& S^2 \\ = && = && = \\ \frac{Spin(2)}{Spin(1)} &\longrightarrow& \frac{Spin(3)}{Spin(1)} &\longrightarrow& \frac{Spin(3)}{Spin(2)} }

On the 1-sphere, 3-sphere, 7-sphere and 15-sphere

Via norms and projections

For each of the normed division algebras over \mathbb{R}, the real numbers, complex numbers, quaternions, octonions

A=,,,𝕆,A = \mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O},

there is a corresponding Hopf fibration of Hopf invariant one.

The total space of the fibration is the space of pairs (α,β)A 2(\alpha, \beta) \in A^2 of unit norm: |α| 2+|β| 2=1{|\alpha|}^2 + {|\beta|}^2 = 1. This gives spheres of dimension 1, 3, 7, and 15 respectively. The base space of the fibration is projective 1-space 1(A)\mathbb{P}^1(A), giving spheres of dimension 1, 2, 4, and 8, respectively. In each case, the Hopf fibration is the map

S 2 n1S 2 n1S^{2^n - 1} \to S^{2^{n-1}}

(n=1,2,3,4n = 1, 2, 3, 4) which sends the pair (α,β)(\alpha, \beta) to α/β\alpha/\beta.

Via the Hopf construction

When XX is a sphere that is an HH-space, namely, one of the groups S 0=1S^0 = 1 the trivial group, S 1=/2S^1 = \mathbb{Z}/2 the group of order 2, the 3-sphere special unitary group S 3=SU(2)S^3 = SU(2); or the 7-sphere S 7S^7 with its Moufang loop structure, then the Hopf construction produces the above four Hopf fibrations:

  1. S 0S 1S 1S^0 \hookrightarrow S^1 \to S^1 real Hopf fibration
  2. S 1S 3S 2 S^1 \hookrightarrow S^3 \to S^2 complex Hopf fibration
  3. S 3S 7S 4 S^3 \hookrightarrow S^7 \to S^4 quaternionic Hopf fibration
  4. S 7S 15S 8 S^7 \hookrightarrow S^{15} \to S^8 octonionic Hopf fibration

Properties

Relation to stable homotopy groups of spheres

Let

H π 3(S 2)H_{\mathbb{C}} \in \pi_3(S^2),

H π 7(S 4)H_{\mathbb{H}} \in \pi_7(S^4)

H 𝕆π 15(S 8)H_{\mathbb{O}} \in \pi_{15}(S^8)

be the homotopy classes of the complex Hopf fibration, the quaternionic Hopf fibration and the octonionic Hopf fibration, respectively. Then their suspensions are the generators of the corresponding stable homotopy groups of spheres:

ΣH =±1 2π 1 st ΣH =±1 24π 3 st ΣH 𝕆 =±1 240π 7 st \begin{aligned} \Sigma H_{\mathbb{C}} & = \pm 1 \in \mathbb{Z}_2 \simeq \pi_1^{st} \\ \Sigma H_{\mathbb{H}} & = \pm 1 \in \mathbb{Z}_{24} \simeq \pi_3^{st} \\ \Sigma H_{\mathbb{O}} & = \pm 1 \in \mathbb{Z}_{240} \simeq \pi_7^{st} \end{aligned}

see also at

and this MO comment

Applications

Magnetic monopoles

When line bundles are regarded as models for the topological structure underlying the electromagnetic field the Hopf fibration is often called “the magnetic monopole”. We may think of the S 2S^2 homotopically as being the 3-dimensional Cartesian space with origin removed 3{0}\mathbb{R}^3 - \{0\} and think of this as being 3-dimensional physical space with a unit point magnetic charge at the origin removed. The corresponding electromagnetic field away from the origin is given by a connection on the corresponding Hopf fibration bundle.

K-theory

In complex K-theory, the Hopf fibration represents a class HH which generates the cohomology ring K U(S 2)K_U(S^2), and satisfying the relation H 2=2H1H^2 = 2 \cdot H - 1, or (H1) 2=0(H-1)^2 = 0. (So in particular HH has an inverse H 1=2HH^{-1} = 2- H , see at Bott generator.)

A succinct formulation of Bott periodicity for complex K-theory is that for a space XX whose homotopy type is that of a CW-complex, we have

K(S 2×X)K(S 2)K(X)K(S^2 \times X) \cong K(S^2) \otimes K(X)

(It would be interesting to see whether this can be proved by internalizing the (classically easy) calculation for K(S 2)K(S^2) to the topos of sheaves over XX.)

The Hopf fibrations over other normed division algebras also figure in the more complicated case of real K-theory K OK_O: they can be used to provide generators for the non-zero homotopy groups π n(BO)\pi_n(B O) for the classifying space of the stable orthogonal group, which are periodic of period 8 (not coincidentally, 8 is the dimension of the largest normed division algebra 𝕆\mathbb{O}). [To be followed up on.]

References

Original articles:

  • Heinz Hopf, Über die Abbildungen der dreidimensionalen Sphäre auf die Kugelfläche, Mathematische Annalen 104 (1931) 637–665 [doi:10.1007/BF01457962]

  • Heinz Hopf, Über die Abbildungen von Sphären auf Sphäre niedrigerer Dimension, Fundamenta Mathematicae 25 1 (1935) 427-440 [eudml:212801]

Exposition:

  • Saifuddin Syed, Group structure on spheres and the Hopf fibration (pdf)

Review:

Formulation in homotopy type theory:

Relation to skyrmions:

Discussion of supersymmetric Hopf fibrations:

Last revised on June 23, 2023 at 11:11:02. See the history of this page for a list of all contributions to it.