A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Chromatic splitting: counterexamples and filtrations
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Color the Plane <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, we can't help you. No Lean version yet. Some unformalized games could have issues!
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:donuts, coffee cups Levels:5
Category:Topology Lean version:not yet
Rate this game! 4.7 out of 5 (940 votes)

>>> How to Play <<<
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.

>>> Level Select <<<
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.

More Topology Games!
The Grothendieck homotopy hypothesis HOT!Finite generation for the $K(n)$-local sphereThe chromatic Smith fixed-point problem for finite $p$-groupsThe four-dimensional Singer conjecture
Curtis’s conjectureThomason model structures in every strict higher dimensionCounterexamples to the Hahn–Wilson conjecture at height twoA four-dimensional counterexample to Borel rigidity

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games