Result 315, Topology

The four-dimensional Singer conjecture

Proves that the L2-Betti numbers of the universal cover of every closed connected aspherical topological four-manifold vanish outside degree two. More generally, the same conclusion holds for every finite connected aspherical integral Poincaré complex of formal dimension four, proving the four-dimensional Singer conjecture in this wider class.

Proof

The bigger picture

Why it matters

The manuscript reports that a broad class of four-dimensional spaces can carry a certain kind of topological complexity only in the middle dimension. This would sharply constrain how topology behaves in their universal covering spaces.

What changes?

The claimed result concerns L2-Betti numbers, which measure topology using square-summable data on a covering space while accounting for its symmetries. For every closed, connected, aspherical topological four-manifold, these numbers vanish outside degree two. Here closed means compact without boundary, and aspherical means the universal cover is contractible. The claim also covers every finite, connected, aspherical integral Poincaré complex of formal dimension four: a space satisfying the integral homological duality of a closed four-manifold. Nonorientable cases are included.

What does that help mathematicians do?

One consequence would be a sign restriction on Euler characteristic, the alternating count of cells in a finite model. For the finite complexes covered by the claim, this characteristic equals the alternating sum of L2-Betti numbers. With only degree two possibly surviving, it must be nonnegative. Thus a negative Euler characteristic would rule out a proposed space satisfying all the stated hypotheses.

Are there practical applications?

The immediate value is foundational: the claim would give topologists a uniform constraint that does not require a smooth structure or orientability. Its extension to Poincaré complexes matters because it reaches spaces specified by homological duality rather than local manifold geometry. The supplied sources describe no practical deployment or computational algorithm.

This section was generated by GPT-6 Astra Medium. This explanation is based on the result summary and manuscript abstracts below. This context is separate from OpenAI's source text.

Manuscript

The Singer conjecture in dimension four

September 25, 2026 45 pages

We prove the four-dimensional Singer conjecture: the L2-Betti numbers of the universal cover of a closed connected aspherical topological four-manifold vanish outside degree two. More generally, the same vanishing holds for finite connected aspherical integral Poincaré complexes of formal dimension four, including nonorientable ones.

PDF LaTeX source
Cite (BibTeX) 
@misc{OAI:The-Singer-conjecture-in-dimension-four-September-25-2026,
  author = {{OpenAI}},
  title = {{The Singer conjecture in dimension four}},
  howpublished = {OpenAI Math Release preprint
                  \href{https://github.com/openai/math/blob/main/preprints/The-Singer-conjecture-in-dimension-four-September-25-2026/paper.pdf}{OAI:The-Singer-conjecture-in-dimension-four-September-25-2026}},
  year = {2026}
}

Data from github.com/openai/math at commit adc7f12, committed October 6, 2026 at 21:58 UTC, last checked for changes about 10 hours ago. Titles, subjects, summaries, abstracts and Lean notes are OpenAI's; page counts are read from the PDFs. The map, related results, search, kinds of results and the named-problem index are Emergent Mind's, built with text embeddings and an LLM, and may contain errors.

An Emergent Mind Labs project. Emergent Mind is not affiliated with OpenAI. None of these results has been peer reviewed. Cite the manuscripts themselves, using the BibTeX on each result's page.