On the stable Hopf invariant

We provide a simplified approach to the the stable Hopf invariant. We provide short elementary proofs of the Cartan Formula, the Composition Formula, and the Transfer formula. In addition, when $π$ is a discrete group, we show how to extend these results to the stable category of $π$-spaces.

💡 Research Summary

The paper presents a streamlined construction of the stable Hopf invariant in the case n = 2 and establishes its fundamental algebraic properties using only elementary equivariant stable homotopy theory. The author begins by recalling the classical Hopf invariant introduced by Hopf in 1931, its later generalizations by James, Boardman‑Steer, and the Segal‑Snaith Hopf invariants defined via the Snaith splitting. While the Segal‑Snaith invariants enjoy a rich geometric description, a complete axiomatic characterisation (the “Hopf ladder”) for them has not been known.

To address this gap, the author works in the category of based spaces equipped with a left ℤ₂‑action. By fixing a complete ℤ₂‑universe U (the countable sum of the trivial and sign representations) and using the one‑point compactifications S^V of finite‑dimensional subrepresentations V⊂U, the paper defines the ℤ₂‑equivariant infinite loop space
 Q_{ℤ₂}(Y) = colim_{V⊂U} Ω^V Σ^V Y,
and the group of equivariant stable maps
 {X,Y}{ℤ₂} = π₀ map*(X, Q_{ℤ₂}(Y))^{ℤ₂}.

The tom Dieck splitting for ℤ₂ is then recalled: for a based space B, the homotopy orbit construction D₂(B) = (B∧B){hℤ₂} fits into a split cofiber sequence
 Σ^∞ D₂(B) → (Σ^∞{ℤ₂}(B∧B))^{ℤ₂} → Σ^∞ B,
where the right‑hand map is induced by the reduced diagonal Δ_B : B → B∧B.

With this machinery, the stable Hopf invariant H is defined for any stable map f : A → B (i.e. a map A → Q(B)) as the unique element H(f) ∈ {A, D₂(B)} satisfying
 ι_B H(f) = (f∧f) ∘ Δ_A − Δ_B ∘ f,
where ι_B : {A, D₂(B)} → {A, B∧B}_{ℤ₂} is the split injection coming from the tom Dieck splitting. In words, one compares the two ℤ₂‑equivariant composites obtained by first diagonalising the source or the target, and the resulting difference lands precisely in the D₂‑summand.

Four basic formulas are then proved directly from this definition:

1. Normalization – If f is an unstable map (i.e. lies in the image of the stabilization map E), then H(E(f)) = 0 because the two composites coincide.

2. Cartan formula – For any f,g ∈ {A,B}, one has
    H(f + g) = H(f) + H(g) + f ∪₂ g,
   where f ∪₂ g denotes the symmetrized cup product obtained by first forming the ordinary cup product f ∪ g = (f∧g)∘Δ_A and then applying the quotient (−)₂ : B∧B → D₂(B). The proof expands (f+g)∧(f+g), uses the relation g∪f = τ∘(f∪g) (τ is the twist), and observes that the symmetric part (1+τ)∘(f∪g) is precisely ι_B(f∪₂ g).

3. Transfer formula – The classical transfer tr : {A, D₂(B)} → {A, B} satisfies
    tr H(f) = f∪f − Δ_B∘f.
   This follows immediately because the composite {A, D₂(B)} →^{ι_B} {A, B∧B}_{ℤ₂} → {A, B∧B} is exactly the transfer map.

4. Composition formula – For composable stable maps f : A → B and g : B → C, one obtains
    H(g∘f) = H(g)∘f + D₂(g)∘H(f).
   The calculation uses (g∘f)∧(g∘f) = (g∧g)∘(f∧f) and then separates the difference into the two summands appearing on the right‑hand side.

Having established these identities, the author compares H with the Segal‑Snaith Hopf invariant h₂. By invoking the functor C(–) built from little cubes and the weak equivalence η : C(X) → Q(X), the paper shows that both h₂ and H arise from natural transformations Σ^∞D_n(X) → Σ^∞D₂(X) and therefore agree on all spaces. Consequently, H provides an elementary, representation‑free model for the same invariant.

The final section extends the whole construction to the equivariant setting for an arbitrary discrete group π. One replaces ℤ₂‑actions by free left π‑actions on based CW‑complexes, defines the π‑equivariant stable Hopf invariant H_π analogously, and proves that it satisfies the same four formulas. In the metastable range (dimension s ≤ 3r + 1 for a map f ∈ {A,B}_π), H_π(f) vanishes exactly when f destabilizes to an unstable π‑equivariant map, mirroring the classical result.

Overall, the paper achieves a significant simplification: rather than relying on the full machinery of the Snaith splitting, operadic models, or higher categorical constructions, it uses only the elementary ℤ₂‑equivariant stable homotopy category and the tom Dieck splitting to define and analyze the stable Hopf invariant. The approach is transparent, the proofs are short and elementary, and the extension to π‑spaces makes the results immediately applicable in surgery theory and other areas where equivariant stable homotopy plays a role. Future work may explore higher‑order invariants (n > 2) and analogous constructions for other finite groups, potentially leading to a unified axiomatic framework for equivariant Hopf ladders.