∑math20

Topology · Result 319

Counterexamples to finite generation at chromatic height two

1 paper

Refutes the Hahn–Wilson conjecture at chromatic height two. For every sufficiently large prime p, constructs a connective p-complete spectrum of exact fp-type two that cannot be built from completed \(\mathrm{BP}\langle2\rangle\) by finitely many sums, shifts, cones and retracts. The examples nevertheless satisfy the finite and telescopic localization comparisons.

Watch

▶Introduction: the problem and why it mattersin preparation
▶The presented solutionin preparation

Papers 1

First page of Counterexamples to the Hahn-Wilson conjecture at height two

Counterexamples to the Hahn-Wilson conjecture at height two

OpenAI · September 26, 2026

We disprove the Hahn–Wilson conjecture at height two. For every sufficiently large prime p, we construct a connective p-complete spectrum X of exact fp-type two outside the ordinary thick subcategory generated by the specified standard form of \(\mathrm{BP}\langle2\rangle_p^\wedge\). The same spectrum satisfies both localization comparisons \(L_2^fX\simeq L_2X\) and \(L_{T(2)}X\simeq L_{K(2)}X\).

Read PDF Download Source

Cite
@misc{OAI:Counterexamples-to-the-Hahn-Wilson-conjecture-at-height-two-September-26-2026,
  author = {{OpenAI}},
  title = {{Counterexamples to the Hahn--Wilson conjecture at height two}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/Counterexamples-to-the-Hahn-Wilson-conjecture-at-height-two-September-26-2026/paper.pdf}{OAI:Counterexamples-to-the-Hahn-Wilson-conjecture-at-height-two-September-26-2026}},
  year = {2026}
}

Formal verification

No Lean formalization is listed for this result yet. The repository notes that unformalized results could have issues.