Chromatic splitting: filtrations and counterexamples. Disproves strong chromatic splitting at height three for primes p ≥ 5, and weak splitting for the derived p-completed sphere at heights p (p ≥ 5) and $p+1$ (p ≥ 7). Nevertheless, for n ≥ 1 and $p\gt n+1$, the overlap $L_{n-1}L_{K(n)}S_p^\wedge$ admits a $2^n$-stage filtration by the predicted localized-sphere pieces. At height three and prime three, even finite assembly from such pieces fails in the category of $E(2)$-local modules over the derived completed sphere.
released 2026-09-25 | 7 theorems · 45 lemmas · 70 proofs · 54,919 words |
PLAY LEVEL 1 »(pdf)
For every n ≥ 1 and prime $p\gt n+1$, we construct a $2^n$-stage ordered filtration of $L_{n-1}L_{K(n)}S_p^\wedge$ with the classical chromatic-splitting cofibers. The map from the first stage to the target is the canonical localization unit.
released 2026-09-27 | 9 theorems · 57 lemmas · 83 proofs · 56,486 words |
PLAY LEVEL 2 »(pdf)
For every prime p ≥ 5, we construct an explicit eight-stage filtration of $L_2L_{K(3)}\mathbb S_p^\wedge$ by the local-sphere layers in the height-three chromatic-splitting pattern. The map from its first stage to the overlap is the canonical unit, and two signed fracture formulas identify all attachments for the chosen local maps and compatibility homotopy. A companion canonical-map theorem further implies that the first height-one attachment is nonzero.
released 2026-09-25 | 3 theorems · 12 lemmas · 26 proofs · 23,341 words |
PLAY LEVEL 3 »(pdf)
For every prime p ≥ 5, the canonical map $L_0L_{K(3)}S\to L_0L_{K(2)}L_{K(3)}S$ for the sphere spectrum S is nonzero on π−3. Consequently, the height-three strong chromatic splitting formula is false in this range, even as an equivalence of underlying $E(2)$-local spectra without specified summand maps.
released 2026-09-25 | 6 theorems · 33 lemmas · 48 proofs · 34,376 words |
PLAY LEVEL 4 »(pdf)
At the prime three and height three, the chromatic overlap cannot be constructed from the rational, height-one, and height-two local spheres by finitely many sums, shifts, cofibers, and retracts in the category of $E(2)$-local modules over the derived 3-complete sphere. This gives a negative answer to the ordinary finite-assembly question for chromatic overlaps.
released 2026-09-27 | 5 theorems · 15 lemmas · 30 proofs · 12,613 words |
PLAY LEVEL 5 »(pdf)
For the derived p-completion of the sphere, the canonical weak chromatic splitting map has no homotopy retraction at height p for every prime p ≥ 5, and at height $p+1$ for every prime p ≥ 7. The classical sphere product $\beta_1^{(p-1)^2}$ gives a nonzero kernel class in both ranges.