OpenAI reports finite generation for K(n)-local sphere homotopy
- Mathematics
For every prime p, height n≥1 and integer degree t, the homotopy group π_t of the K(n)-local p-completed sphere is a finitely generated p-adic-integer module.
OpenAI reports finite generation for K(n)-local sphere homotopy
- Mathematics
For every prime p, height n≥1 and integer degree t, the homotopy group π_t of the K(n)-local p-completed sphere is a finitely generated p-adic-integer module.
Curated contributions 1
Understand the problem ↓Understanding the problem
Read the background
For every prime p, height n≥1 and integer degree t, the homotopy group π_t of the K(n)-local p-completed sphere is a finitely generated p-adic-integer module.
Why it matters
If correct, resolves the degreewise finite-generation question for the K(n)-local sphere in all heights and primes.
What counts as progress
Are K(n)-local sphere homotopy groups finitely generated in every degree?
Website timeline
Publication dates and editorial changes.
OpenAI reports finite generation for K(n)-local sphere homotopy