Search

The four-dimensional Singer conjecture

Claims the Singer conjecture in dimension four: L²-Betti numbers of aspherical four-manifolds vanish off degree two.

1 paper September 25, 2026 Explained by AI

L²-Betti numbers measure holes in an infinite covering space, averaged per copy of the original space. Singer's conjecture says that for a closed aspherical manifold they vanish except in the middle dimension. In dimension four this reduces to one number, in degree one. This paper claims that number is always zero. It follows that the Euler characteristic of such a four-manifold is never negative.

First step
1979
Jozef Dodziuk, recording Singer's proposal on L² harmonic forms and the sign of the Euler characteristic
Significance
Major
It claims a long-standing conjecture in its first open dimension for all topological four-manifolds, not just special families.
Trust
Claimed, not checked
Field
Topology
1 paper

The explanation

Take a surface with two holes, like the outline of a pretzel. Its ordinary Betti numbers, the counts of holes in each dimension, are 1, 4 and 1. Now multiply two such surfaces to get a four-dimensional space. Its Betti numbers are 1, 8, 18, 8 and 1. The Euler characteristic is the alternating sum, 1 − 8 + 18 − 8 + 1 = 4.

This space is aspherical: its universal cover can be shrunk to a point. The universal cover is the infinite space you get by unwrapping every loop. L²-Betti numbers count holes in that infinite cover, averaged per copy of the original space. For the two-holed surface they are 0, 2 and 0. For the product they are 0 in every degree except the middle one, where they equal 2 × 2 = 4. That matches the Euler characteristic. For the four-dimensional torus everything is zero, and so is its Euler characteristic, 1 − 4 + 6 − 4 + 1 = 0.

Singer proposed getting the sign of the Euler characteristic from vanishing of these numbers. The Singer conjecture says that for a closed aspherical manifold, L²-Betti numbers vanish outside the middle degree. In dimension four, Poincaré duality reduces this to degree one. Earlier work covered special families. Davis and Okun treated certain reflection groups. Okun and Schreve treated groups with a special cutting structure, called a hierarchy.

The paper claims the full four-dimensional case. It also covers finite aspherical Poincaré complexes, spaces with the algebra of a closed manifold, including nonorientable ones. It includes manifolds with no smooth structure or triangulation. The conclusion forces the Euler characteristic to be nonnegative. For an oriented manifold, it also gives an Euler characteristic at least the absolute signature. It applies directly to the companion paper's group with no manifold model.

The proof argues by contradiction. Suppose the degree-one number is positive. That gives a function on the group with finite energy, where energy sums squared differences across edges. Its translates build a boundary at infinity for the group. The obstacle is to control the topology of this boundary. The paper finds a piece of it with no cut points. It then shows this piece must be a dendrite, a tree-like shape with no circles. Every such shape with more than one point has a cut point, which gives the contradiction.

How sure is this? There is no Lean check. A computer proof checker has not looked at any part of it. The argument is a long chain of steps in point-set topology and group actions. No specialist review of the paper has been published.

What it doesn't show. This does not settle the Singer conjecture in dimensions other than four.

Where it came from

This result comes from an unreleased OpenAI model, published in the openai/math release on 6 October 2026.

Hype check

Major if the proof holds. It covers only dimension four. There is no Lean check and no published specialist review.

Words used

Betti number
The number of independent holes of a given dimension in a space.
Euler characteristic
The alternating sum of the Betti numbers.
Aspherical
A space whose universal cover can be shrunk to a point.
Universal cover
The infinite space obtained by unwrapping every loop of a space.
L²-Betti number
A count of holes in the universal cover, averaged per copy of the original space.
Poincaré complex
A finite space whose algebra obeys the same duality as a closed manifold.
Dendrite
A compact, connected, tree-like space that contains no circle.

The original paper

All quoted lines (12)
  1. Dodziuk records Singer's proposal to obtain the Euler-characteristic sign from vanishing of L2L^2-harmonic forms on universal covers.
    The Singer conjecture in dimension four Back to text
  2. In dimension four, Poincar\'e duality reduces the problem to vanishing in degree one.
    The Singer conjecture in dimension four Back to text
  3. Davis and Okun proved the vanishing for right-angled Coxeter groups whose nerves are flag triangulations of the three-sphere.
    The Singer conjecture in dimension four Back to text
  4. Okun and Schreve established the Singer conjecture in dimensions at most four for groups of type VF\mathrm{VF} admitting a hierarchy, and for Coxeter groups whose nerves are arbitrary triangulations of the three-sphere.
    The Singer conjecture in dimension four Back to text
  5. We prove the four-dimensional Singer conjecture: the L2L^2-Betti numbers of the universal cover of a closed connected aspherical topological four-manifold vanish outside degree two.
    The Singer conjecture in dimension four Back to text
  6. More generally, the same vanishing holds for finite connected aspherical integral Poincar\'e complexes of formal dimension four, including nonorientable ones.
    The Singer conjecture in dimension four Back to text
  7. In particular, the corollary includes manifolds that admit no smooth structure or triangulation.
    The Singer conjecture in dimension four Back to text
  8. The conclusion forces the Euler characteristic to be nonnegative.
    The Singer conjecture in dimension four Back to text
  9. For an oriented manifold MM in Corollary …, the L2L^2-signature theorem also gives χ(M)≥∣σ(M)∣\chi(M)\ge|\sigma(M)|.
    The Singer conjecture in dimension four Back to text
  10. Theorem … applies to that example directly.
    The Singer conjecture in dimension four Back to text
  11. Suppose the first L2L^2-Betti number is positive.
    The Singer conjecture in dimension four Back to text
  12. Every nondegenerate dendrite has a cut point, giving the contradiction.
    The Singer conjecture in dimension four Back to text

Other sources

  1. openai/math release notes (2026): model provenance and review status manuscripts and supporting proof artifacts produced by an internal OpenAI model

Browse Topology Named conjecturesOpen since the 1970sClaimed, not yet checked