Abstract:We compute the rational homotopy groups of the $K(n)$-local sphere for all heights $n$ and all primes $p$, verifying a prediction that goes back to the pioneering work of Morava in the early 1970s. More precisely, we show that the inclusion of the Witt vectors into the Lubin-Tate ring induces a split injection on continuous stabilizer cohomology with torsion cokernel of bounded exponent, thereby proving Hopkins' chromatic splitting conjecture and the vanishing conjecture of Beaudry-Goerss-Henn rationally. The key ingredients are the equivalence between the Lubin-Tate tower and the Drinfeld tower due to Faltings and Scholze-Weinstein, integral $p$-adic Hodge theory, and an integral refinement of a theorem of Tate on the Galois cohomology of non-archimedean fields.

What problem does this paper attempt to address?

The main goal of this paper is to compute the rational homotopy groups of K(n)-local spheres for all heights n and prime numbers p. This computation verifies a prediction made since the early work of Morava in the 1970s. Specifically, the paper proves the equivalence between Lubin-Tate rings and Drinfeld towers (proposed by Faltings and Scholze-Weinstein), along with the tools of p-adic analytic geometry and a generalization of the Tait theorem for Galois conjugates of non-Archimedean fields, to address questions about cohomology on continuous stabilizers. These results confirm the rational part of Hopkins' chromatic splitting conjecture and resolve the nullification conjecture of Beaudry-Goerss-Henn. The key points mentioned in the paper include: 1. The central problem in homotopy theory is understanding the homotopy groups of spheres, particularly stable homotopy groups. 2. Chromatic homotopy theory organizes these elements into families of periodicity dependent on the prime number p. 3. The paper computes the rational homotopy groups of K(n)-local spheres for all n and p, and finds that they are isomorphic to tensor products of exterior algebras on certain generators. 4. Through the equivalence between Lubin-Tate theory and Drinfeld towers, the paper establishes a natural map from Lubin-Tate space to Drinfeld symmetric space, simplifying the problem. 5. The paper also involves the cohomology theory of p-adic algebraic groups, particularly regarding the cohomology of local fields and the theory of p-adic Lie groups. These results are of significant importance for understanding the basic structure of stable homotopy theory and chromatic homotopy theory, providing new insights into high-dimensional homotopy groups, and laying the foundation for further exploration of the chromatic splitting conjecture.

On the rationalization of the $K(n)$-local sphere

Rational $p$-adic Hodge theory for rigid-analytic varieties

Local analysis of the Kuznetsov formula and the density conjecture

Real moduli space of stable rational curves revised

Top-degree rational cohomology in the symplectic group of a number ring

Some rational homology computations for diffeomorphisms of odd-dimensional manifolds

ku-theoretic spectral decompositions for spheres and projective spaces

Towards the $p$-adic Hodge theory for non-commutative algebraic varieties

Cohomologie de systèmes locaux $p$-adiques sur les revêtements du demi-plan de Drinfeld

KU-local zeta-functions of finite CW-complexes

Constructing Rational Homology 3-Spheres That Bound Rational Homology 4-Balls

On the Monopole Lefschetz Number of Finite-Order Diffeomorphisms

Brieskorn spheres, cyclic group actions and the Milnor conjecture

Rational and $p$-local Motivic Homotopy Theory

Cohomology of spaces of Hopf equivariant maps of spheres

Quillen stratification in equivariant homotopy theory

On the prismatization of $O_K$ beyond the Hodge-Tate locus

Une factorisation de la cohomologie complétée et du système de Beilinson-Kato

Using rational homology circles to construct rational homology balls

Some rational homology computations for diffeomorphisms of odd‐dimensional manifolds

Rationality of the Local Jacquet-Langlands Correspondence for GL(n)