Geometry and topology · Oct 6, 2026
Finite generation for the -local sphere
Answers the degreewise finiteness question of Hovey and Hovey–Strickland: every homotopy group of the -local sphere is a finitely generated ℤp-module, for every prime, positive height and integer degree. The same conclusion holds after -localizing any finite p-local spectrum.
Contributors
Unreleased OpenAI model
AI systems: Unreleased OpenAI model