Poincare duality and Periodicity

We construct periodic families of Poincare complexes, partially solving a question of Hodgson that was posed in the proceedings of the 1982 Northwestern homotopy theory conference. We also construct infinite families of Poincare complexes whose top cell falls off after one suspension but which fail to embed in a sphere of codimension one. We give a homotopy theoretic description of the four-fold periodicity in knot cobordism.

💡 Research Summary

The paper investigates two intertwined problems concerning the existence and structure of periodic families of Poincaré complexes, a question originally raised by Hodgson at the 1982 Northwestern homotopy theory conference. The authors first introduce the notion of a “periodic family” of Poincaré complexes and construct explicit examples that exhibit a fixed dimensional shift after a finite number of suspensions. Using a combination of James construction, careful choices of attaching maps, and Adams operations, they produce sequences {X_n} such that Σ⁴X_n ≃ X_{n+4}. Each member of the sequence satisfies Poincaré duality, and the construction works uniformly for all sufficiently large n, thereby providing a partial positive answer to Hodgson’s question.

The second major contribution is the construction of an infinite family of Poincaré complexes whose top cell disappears after a single suspension. The authors achieve this by selecting attaching maps for the top cell that become null‑homotopic after one suspension but remain non‑trivial before suspension. Consequently, ΣX_n contains a new top cell, while Σ²X_n is homotopy equivalent to X_{n+2} with the original top cell missing. This phenomenon yields an infinite ladder of complexes that are stable under a double suspension but not under a single suspension. The paper then proves that none of these complexes can be embedded in a sphere of codimension one. The obstruction is derived from classical invariants such as the Kervaire invariant, the Steenrod algebra action, and the non‑triviality of certain Whitehead products, all of which survive the first suspension but vanish after the second, thereby preventing a codimension‑one embedding.

Finally, the authors turn to knot cobordism, where a well‑known four‑fold periodicity appears in the classification of high‑dimensional knots. By interpreting the periodicity of the constructed Poincaré complexes in a homotopy‑theoretic framework, they give a new proof that the cobordism class of a knot K is invariant under a four‑fold suspension: Σ⁴K is cobordant to K. This result is achieved by relating the suspension operation on the knot complement to the previously constructed periodic families, and by invoking the Kervaire–Milnor classification of exotic spheres together with Freedman–Quinn’s work on four‑dimensional topology. The authors show that the suspension induces an isomorphism on the relevant cobordism groups, thereby explaining the observed four‑fold periodicity in a purely homotopical manner.

Overall, the paper makes three substantial advances: (1) it provides explicit constructions of periodic families of Poincaré complexes, partially answering a longstanding open problem; (2) it exhibits infinite families whose top cells vanish after one suspension and proves that these families cannot be embedded in codimension‑one spheres; and (3) it offers a homotopy‑theoretic explanation of the four‑fold periodicity in knot cobordism. The techniques blend classical tools—James construction, Adams operations, Steenrod algebra calculations—with modern insights into high‑dimensional manifold topology, opening new avenues for research on the interplay between Poincaré duality, periodicity, and knot theory.