Math 2.0

Algebraic topology Definition

Hopf invariant

Builds on Homotopy groupSingular cohomologyCup productCW complex

Definition

Let n≥2n \ge 2, and let f ⁣:S2n−1→Snf \colon S^{2n-1} \to S^n be a continuous map. Let Cf=Sn∪fD2nC_f = S^n \cup_f D^{2n} be the CW complex obtained by attaching a 2n2n-cell to SnS^n along ff. Its singular cohomology with integer coefficients is Hk(Cf;ℤ)≅ℤH^k(C_f; \Z) \cong \Z for k=0,n,2nk = 0, n, 2n and is zero otherwise. Let α∈Hn(Cf;ℤ)\alpha \in H^n(C_f; \Z) and β∈H2n(Cf;ℤ)\beta \in H^{2n}(C_f; \Z) be the generators given by fixed orientations of SnS^n and D2nD^{2n}. The Hopf invariant of ff is the integer H(f)H(f) such that α⌣α=H(f) β,\alpha \smile \alpha = H(f) \, \beta, where ⌣\smile is the cup product.

Remarks

The integer H(f)H(f) depends only on the homotopy class of ff, and HH is a homomorphism π2n−1(Sn)→ℤ\pi_{2n-1}(S^n) \to \Z on homotopy groups. A change of the generator β\beta changes only the sign of H(f)H(f).

Example: for the Hopf map h ⁣:S3→S2h \colon S^3 \to S^2, the space ChC_h is ℂP2\C P^2. The square of a generator of H2(ℂP2;ℤ)H^2(\C P^2; \Z) generates H4(ℂP2;ℤ)H^4(\C P^2; \Z), so H(h)=±1H(h) = \pm 1.

Non-example: for n=1n = 1 the construction breaks down. A map S1→S1S^1 \to S^1 of degree dd gives H2(Cf;ℤ)≅ℤ/dH^2(C_f; \Z) \cong \Z/d, which is not ℤ\Z when d≠0d \ne 0, so no generator β\beta as above exists.

If nn is odd, then α⌣α=−α⌣α\alpha \smile \alpha = -\alpha \smile \alpha by graded commutativity, and since H2n(Cf;ℤ)≅ℤH^{2n}(C_f; \Z) \cong \Z has no torsion, H(f)=0H(f) = 0. If nn is even, the Whitehead product [ιn,ιn][\iota_n, \iota_n] of the identity of SnS^n with itself has Hopf invariant ±2\pm 2.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. CW complex concept
  2. Cup product concept
  3. Homotopy group concept
  4. Singular cohomology concept
  5. Hopf invariant definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Hopf_invariant
About this page
TagAXT498MW87
URIm2://AXT498MW87
Kinddefinition
WritingW0 stub
MSC55Q25
DefinesHopf invariant
UsesHomotopy group, Singular cohomology, Cup product, CW complex
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.