Steenrod homotopy

Steenrod homotopy theory is a framework for doing algebraic topology on general spaces in terms of algebraic topology of polyhedra; from another viewpoint, it studies the topology of the lim^1 functor (for inverse sequences of groups). This paper is primarily concerned with the case of compacta, in which Steenrod homotopy coincides with strong shape. We attempt to simplify foundations of the theory and to clarify and improve some of its major results. Using geometric tools such as Milnor’s telescope compactification, comanifolds (=mock bundles) and the Pontryagin-Thom Construction, we obtain new simple proofs of results by Barratt-Milnor; Cathey; Dydak-Segal; Eda-Kawamura; Edwards-Geoghegan; Fox; Geoghegan-Krasinkiewicz; Jussila; Krasinkiewicz-Minc; Mardesic; Mittag-Leffler/Bourbaki; and of three unpublished results by Shchepin. An error in Lisitsa’s proof of the “Hurewicz theorem in Steenrod homotopy” is corrected. It is shown that over compacta, R.H.Fox’s overlayings are same as I.M.James’ uniform covering maps. Other results include: - A morphism between inverse sequences of countable (possibly non-abelian) groups that induces isomorphisms on inverse and derived limits is invertible in the pro-category. This implies the “Whitehead theorem in Steenrod homotopy”, thereby answering two questions of A.Koyama. - If X is an LC_{n-1} compactum, n>0, its n-dimensional Steenrod homotopy classes are representable by maps S^n\to X, provided that X is simply connected. The assumption of simply-connectedness cannot be dropped by a well-known example of Dydak and Zdravkovska. - A connected compactum is Steenrod connected (=pointed 1-movable) iff every its uniform covering space has countably many uniform connected components.

💡 Research Summary

The paper revisits Steenrod homotopy theory, a framework that studies algebraic topology of arbitrary spaces by reducing problems to the algebraic topology of polyhedra. In the compact case, Steenrod homotopy coincides with strong shape, and the author uses this identification to streamline foundations and clarify several classic results.

The central technical device is Milnor’s telescope compactification, which turns an inverse sequence of spaces ({X_i}) into a single compact space whose “end” captures the derived limit (\lim^{1}) of the sequence. This geometric viewpoint shows that (\lim^{1}) is not merely an abstract group-theoretic artifact but reflects genuine topological features such as non‑LC behavior.

To handle inverse sequences whose terms are not polyhedra, the author introduces comanifolds (mock bundles). By replacing each term with a suitable comanifold, the homotopy information is preserved while allowing the use of the Pontryagin–Thom construction. This yields a correspondence between higher‑dimensional mapping classes and co‑diagrams, and it makes the relationship between (\lim^{1}) and actual mapping sets transparent.

A major categorical result concerns morphisms of inverse sequences of countable (possibly non‑abelian) groups. The paper proves that if such a morphism induces isomorphisms on both the inverse limit and the derived limit, then it is invertible in the pro‑category. This theorem supplies the “Whitehead theorem in Steenrod homotopy” and answers two questions posed by A. Koyama.

The author also investigates representability of Steenrod homotopy classes. For a compactum (X) that is (LC_{n-1}) and simply connected, every (n)-dimensional Steenrod homotopy class can be represented by an actual map (S^{n}\to X). The necessity of the simple‑connectedness hypothesis is illustrated by the classic counterexample of Dydak and Zdravkovska.

In the realm of covering theory, the paper shows that over compacta R. H. Fox’s overlayings are precisely I. M. James’s uniform covering maps. Consequently, a compact space is Steenrod‑connected (pointed 1‑movable) if and only if each of its uniform covering spaces has only countably many uniform connected components.

Using the above tools, the author gives new, streamlined proofs of a long list of results originally due to Barratt–Milnor, Cathey, Dydak–Segal, Eda–Kawamura, Edwards–Geoghegan, Fox, Geoghegan–Krasinkiewicz, Jussila, Krasinkiewicz–Minc, Mardešić, the Mittag‑Leffler/Bourbaki theory, and three unpublished results of Shchepin. An error in Lisitsa’s proof of the “Hurewicz theorem in Steenrod homotopy” is identified and corrected.

Overall, the paper unifies Steenrod homotopy with strong shape, clarifies the role of (\lim^{1}) as a genuine topological invariant, and provides a suite of geometric and categorical techniques that simplify existing proofs and open avenues for further research on non‑LC spaces, non‑abelian inverse systems, and the interaction between uniform covering theory and shape theory.