The four-dimensional Singer conjecture

1 · The essentials

The manuscript addresses a question about which kinds of holes can be detected in certain four-dimensional spaces. The spaces must satisfy specific conditions; the claim is not about every four-dimensional space. It studies these spaces through an associated covering space and a particular way of measuring holes. The manuscript claims that every such measurement is zero except possibly the one in degree two. It also states the same conclusion for a broader class of spaces that share a particular four-dimensional structure. The supplied abstract states the conclusion but does not explain the argument. The main result is not formalized in Lean and has not been formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, imagine a measuring panel with a separate dial for each degree. The manuscript claims that, for spaces meeting its conditions, every dial except the degree-two dial reads zero; it does not say that the remaining dial must give a nonzero reading.

Why it matters

The claimed result settles the four-dimensional Singer conjecture for the spaces specified in the abstract. Its stated scope extends beyond topological manifolds to finite aspherical integral Poincaré complexes, including nonorientable ones. This makes the hypotheses of the broader statement an important part of the claim.

2 · Going further

The precise claim concerns a closed connected aspherical topological four-manifold $M$ and its universal cover $M$ . The manuscript states that its $L^{2}$ -Betti numbers satisfy $b_{i}^{(2)} (M) = 0$ for every $i \neq = 2$ . These are degree-indexed numerical measures of topology in the $L^{2}$ setting; the statement leaves the degree-two value unspecified.

The abstract gives a broader formulation: the same vanishing holds when $M$ is a finite connected aspherical integral Poincaré complex of formal dimension four. Such a complex has a duality structure over the integers that serves as the relevant four-dimensional structure, without requiring it to be a topological manifold. The abstract explicitly includes nonorientable complexes.

The source identifies this as the four-dimensional Singer conjecture but supplies no history or earlier partial results. It also gives no main idea, intermediate steps, or methods of the argument, so an explanation of how the vanishing is obtained cannot be reconstructed from the supplied text. Only the main manuscript is supplied; no companion manuscripts are described.

Useful notions

Topological manifolds and dimension
Universal covering spaces
Aspherical spaces
Poincaré duality over the integers
$L^{2}$ -Betti numbers

What was known before / what is new

Before

The source identifies the target statement as the four-dimensional Singer conjecture. It does not describe prior results, the origin of the conjecture, or which special cases were previously known.

New

The manuscript claims vanishing outside degree two for the universal cover of every closed connected aspherical topological four-manifold. It also claims this conclusion for every finite connected aspherical integral Poincaré complex of formal dimension four, including nonorientable ones.

Limits and assumptions

The manifold statement requires closedness, connectedness, asphericity, and dimension four. The broader statement requires a finite connected aspherical integral Poincaré complex of formal dimension four. Neither statement specifies the degree-two $L^{2}$ -Betti number, and the source supplies no conclusions for other dimensions or for spaces outside these hypotheses. The main result is not formalized in Lean and has not been formally verified. The abstract does not provide an argument or identify remaining open questions.

Mini glossary

Closed manifold: A manifold that is compact and has no boundary.
Universal cover: A simply connected covering space of the original connected space.
Aspherical: A space is aspherical when its homotopy groups in degrees greater than one vanish.
$L^{2}$ -Betti numbers: Degree-indexed numerical measures of topology defined using square-integrable homological methods.
Integral Poincaré complex: A complex satisfying Poincaré duality over the integers in a specified formal dimension.

Keywords : Singer conjecture · $L^2$-Betti numbers · Aspherical spaces

AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.

3 · Technical details and sources

Claim made in the manuscript (source text)

Proves that the L²-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.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

The Singer conjecture in dimension four

25/09/2026

To be verified

We prove the four-dimensional Singer conjecture: the L²-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 GitHub folder