[Paper Review] m-structures determine integral homotopy type

Justin R Smith|ArXiv.org|Sep 26, 1998

Homotopy and Cohomology in Algebraic Topology6 references14 citations

TL;DR

This paper establishes that the functor 𝒞(*) assigning to each pointed, simply-connected CW-complex its chain complex equipped with diagonals and higher diagonals (m-structures) determines the integral homotopy type of the space. It proves that this functor induces an equivalence of categories between the homotopy category of such spaces and a category of weakly-coherent m-coalgebras, providing a complete algebraic model for integral homotopy theory analogous to Quillen's rational model.

ABSTRACT

This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an equivalence of categories between the category of CW-complexes up to homotopy equivalence and a certain category of chain-complexes equipped with higher diagonals. Consequently, $C(*)$ is an algebraic model for integral homotopy types similar to Quillen's model of rational homotopy types. For finite CW complexes, our model is finitely generated. Our result implies that the geometrically induced diagonal map with all ``higher diagonal'' maps (like those used to define Steenrod operations) collectively determine integral homotopy type.

Motivation & Objective

• To develop a complete algebraic model for integral homotopy types of pointed, simply-connected CW-complexes.
• To extend Quillen's rational homotopy theory model to the integral setting by incorporating higher diagonals and coherence conditions.
• To show that geometrically induced higher coproducts (like those defining Steenrod operations) collectively encode full integral homotopy type.
• To establish that the functor 𝒞(*) is an equivalence of categories between the homotopy category of such spaces and a category of algebraic m-coalgebras.
• To demonstrate that for finite complexes, the resulting algebraic model is finitely generated, making it computationally tractable.

Proposed method

• The paper defines a functor 𝒞(*) that assigns to each pointed, simply-connected CW-complex its chain complex equipped with canonical diagonals and iterated higher diagonals.
• It introduces the algebraic structure of weakly-coherent m-coalgebras over a formal coalgebra to encode the coherence conditions among higher coproducts.
• The construction uses the cobar construction of m-coalgebras, which inherits a well-defined m-coalgebra structure, enabling iterative applications.
• The proof proceeds by induction on the Postnikov tower, lifting chain maps through fibrations using mapping cones and cohomological obstructions.
• It employs twisted tensor products and homological algebra techniques to realize algebraic morphisms as topological maps, ensuring realizability.
• The key technical tool is the use of the long exact sequence in cohomology to control homology vanishing in mapping cones, ensuring successive acyclicity.

Experimental results

Research questions

• RQ1 Can the full integral homotopy type of a pointed, simply-connected CW-complex be captured algebraically via its chain complex with higher diagonal structures?
• RQ2 Does the functor 𝒞(*) that assigns m-structures to spaces induce an equivalence of categories with a suitable category of algebraic m-coalgebras?
• RQ3 To what extent do higher coproducts, such as those used to define Steenrod operations, determine the integral homotopy type?
• RQ4 Is the resulting algebraic model finitely generated for finite CW-complexes, ensuring computational feasibility?
• RQ5 How do p-local structures for different primes interact in the algebraic model, and can this reflect the global integral structure?

Key findings

• The functor 𝒞(*) induces an equivalence of categories between the homotopy category of pointed, simply-connected CW-complexes (with homotopy equivalences inverted) and the category of weakly-coherent m-coalgebras.
• The m-structure, comprising the chain complex with diagonals and higher diagonals, fully determines the integral homotopy type of a space.
• For finite CW-complexes, the resulting algebraic model is finitely generated, making it suitable for algorithmic and computational applications.
• The cobar construction of an m-coalgebra inherits a well-defined m-coalgebra structure, enabling iterative constructions analogous to Postnikov towers.
• The existence of a morphism of m-coalgebras that is a homology equivalence implies topological realizability, ensuring the algebraic model is not just formal but geometrically realizable.
• The interaction of different primes in the m-structure is nontrivial: the p-local structure of the cobar construction depends on q-local structures for all q ≥ p, reflecting global integral information.