Singer's Conjecture Overview

• Singer's Conjecture is a hypothesis asserting that L²-Betti numbers vanish in all but the middle dimension of closed aspherical manifolds, establishing strict sign rules for Euler characteristics.
• It reveals that in even dimensions only the middle L²-Betti number may be nonzero while in odd dimensions all vanish, a principle confirmed in various geometric settings such as hyperbolic and complex surfaces.
• Recent advances extend the conjecture to singular complex-projective settings and algebraic transfer frameworks, with new techniques both supporting and countering specific formulations.

Singer's Conjecture most commonly denotes the prediction that if $N$ is a closed aspherical $n$-manifold, then its $L^2$-Betti numbers vanish outside the middle dimension,

$b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$

In odd dimension this predicts that all $L^2$-Betti numbers vanish, while in even dimension the only potentially nonzero $L^2$-Betti number is the middle one (Avramidi et al., 2024). The conjecture is a middle-dimensional concentration principle for $L^2$-homology, and via Atiyah’s $L^2$-Euler characteristic formula it implies the Hopf-type sign inequality

$(-1)^k\chi(M^{2k})\ge 0$

for closed aspherical $2k$-manifolds (Schroeder, 2012). The phrase “Singer’s Conjecture” is also used in several other settings, notably for the algebraic transfer of the Steenrod algebra and, in four-dimensional conformal geometry, for unobstructedness of positive-Yamabe anti-self-dual metrics; these are distinct conjectures with different statements and different current status (Phuc, 11 Sep 2025, Gover et al., 2023).

1. Classical formulation and immediate consequences

For a closed aspherical manifold $n$0 with universal cover $n$1, the conjecture asserts that the reduced $n$2-homology of $n$3 vanishes in every degree except possibly $n$4 (Schroeder, 2012). In the formulation used for many geometric applications, if $n$5, then the conjectural conclusion is

$n$6

whereas if $n$7, then $n$8 for all $n$9 (Cerbo et al., 2021). This packages both vanishing and the Euler-characteristic identity.

A central feature of the conjecture is its relation to signed Euler characteristic. In the Coxeter-group literature this is emphasized through Atiyah’s $L^2$0-Euler characteristic formula: concentration in middle degree forces $L^2$1 for closed aspherical manifolds of even dimension (Schroeder, 2012). In complex dimension $L^2$2, the conjecture also feeds into the Gromov–Lück inequality

$L^2$3

which is proved for closed aspherical complex surfaces and sharpened away from the possible class $L^2$4 exception (Albanese et al., 2023).

The conjecture is therefore simultaneously a statement about $L^2$5-Betti numbers, a sign rule for Euler characteristic, and a structural prediction about harmonic forms on universal covers. This suggests why it has become a reference point across geometric topology, Kähler and complex geometry, and Coxeter-group theory.

2. Established geometric cases for manifolds

Several large geometric classes are now known to satisfy the classical conjecture. For extended graph manifolds and pure complex-hyperbolic higher graph manifolds with residually finite fundamental groups, the conjecture is proved by combining a sequence of metrics that increasingly agree with locally symmetric metrics on large regions, Price-type estimates for harmonic forms, Lück approximation along finite covers, and residual finiteness to construct the required towers of covers (Cerbo et al., 2021). In real dimension three, this yields a Price-type-inequality proof of the Lott–Lück theorem that the Singer conjecture holds for closed aspherical $L^2$6-manifolds (Cerbo et al., 2021).

Closed aspherical complex surfaces form another setting where the conjecture is especially tractable. If $L^2$7 is a closed aspherical complex surface with residually finite fundamental group, then the conjecture holds: $L^2$8 Without residual finiteness, the conjecture is still proved for all closed aspherical complex surfaces except possibly those in class $L^2$9 (Albanese et al., 2023). The proof uses the Kodaira–Enriques classification, Albanese maps, and Lück approximation, rather than Gromov’s Kähler-group theory (Albanese et al., 2023).

A more recent result concerns Gromov–Thurston branched covers. Let $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$0 be a closed, orientable, hyperbolic $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$1-manifold with virtually special fundamental group, and let $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$2 be separating totally geodesic hypersurfaces intersecting transversely in $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$3. Then there exists a positive integer $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$4, determined by $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$5, $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$6, and $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$7, such that for every $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$8 relatively prime to $b_i^{(2)}(N)=0 \qquad \text{for } i\neq \frac n2.$9, the $L^2$0-fold cyclic branched cover $L^2$1 satisfies the Singer conjecture: $L^2$2 (Avramidi et al., 2024). The argument replaces $L^2$3-Betti numbers by skew-field Betti numbers, analyzes the complement of the branch locus, and then proves that vanishing is preserved under cyclic covers away from a finite set of bad primes (Avramidi et al., 2024). The paper also notes that Gromov had suggested that such branched covers could potentially furnish counterexamples, so this theorem gives a substantial positive result in a previously delicate direction (Avramidi et al., 2024).

3. Coxeter-group and Davis-complex formulations

For Coxeter systems, Singer’s Conjecture becomes a statement about the Davis complex. If $L^2$4 is a flag triangulation of $L^2$5, then the Davis complex $L^2$6 of the associated right-angled Coxeter group $L^2$7 is a contractible $L^2$8-manifold, and the conjecture predicts

$L^2$9

(Avramidi et al., 2024). This specialization has become one of the most active testing grounds for the conjecture because the nerve $L^2$0 provides precise combinatorial control of links, ruins, and subdivisions.

An influential program for even Coxeter systems with nerves that are flag triangulations of $L^2$1, $L^2$2, reduces the $L^2$3-dimensional conjecture to lower-dimensional Singer statements and the vanishing of $L^2$4-homology for certain “two-letter” ruins. In the notation of that program,

$L^2$5

so the conjecture in dimension $L^2$6 follows from the cases $L^2$7, $L^2$8, and a specific ruin-vanishing input (Schroeder, 2012). The proof is organized around a collar decomposition and Mayer–Vietoris arguments.

Weighted $L^2$9-theory yields a further refinement. For a Coxeter system $L^2$0 with Davis complex $L^2$1, the weighted Singer conjecture predicts

$L^2$2

with the complementary form for $L^2$3 obtained by weighted Poincaré duality (Mogilski, 2015). This weighted version is proved in dimension $L^2$4 when the nerve is a triangulation of $L^2$5 not dual to a hyperbolic $L^2$6-simplex, and in dimension $L^2$7 under additional hypotheses; in particular, it holds for flag triangulations of $L^2$8 (Mogilski, 2015).

A recent advance replaces earlier vertex-deletion arguments by edge subdivision. If $L^2$9 is an edge of a flag complex $L^2$0 and

$L^2$1

then

$L^2$2

and edge subdivision preserves vanishing under the corresponding link hypotheses (Avramidi et al., 2024). This proves Singer’s conjecture when $L^2$3 is the barycentric subdivision of the boundary of an $L^2$4-simplex, and for general barycentric subdivisions of triangulations of $L^2$5 (Avramidi et al., 2024). The same paper then constructs explicit counterexamples to a torsion-growth analogue of Singer’s conjecture, showing that Coxeter/Davis-complex techniques now bear on both positive and negative results (Avramidi et al., 2024).

4. Complex-projective and singular extensions

A singular complex-projective extension replaces $L^2$6-Betti numbers by Euler characteristics attached to constructible functions and characteristic cycles. The starting point is the classical Singer–Hopf sign rule for closed aspherical manifolds of real dimension $L^2$7,

$L^2$8

For a closed irreducible subvariety $L^2$9 of an aspherical complex projective manifold $(-1)^k\chi(M^{2k})\ge 0$0, singular analogues are formulated using MacPherson’s local Euler obstruction $(-1)^k\chi(M^{2k})\ge 0$1, the constructible function $(-1)^k\chi(M^{2k})\ge 0$2 from the intersection cohomology complex $(-1)^k\chi(M^{2k})\ge 0$3, and Behrend’s function $(-1)^k\chi(M^{2k})\ge 0$4 (Maxim, 2022).

The three conjectural sign statements are: $(-1)^k\chi(M^{2k})\ge 0$5

$(-1)^k\chi(M^{2k})\ge 0$6

and

$(-1)^k\chi(M^{2k})\ge 0$7

(Maxim, 2022). These are unified by a microlocal formulation: if $(-1)^k\chi(M^{2k})\ge 0$8 is a constructible function on an aspherical complex projective manifold $(-1)^k\chi(M^{2k})\ge 0$9 with effective characteristic cycle, then

$2k$0

(Maxim, 2022). The relation to the Euler–Mather version is especially tight because

$2k$1

so positivity for all effective characteristic cycles is equivalent to positivity in the Euler–Mather case (Maxim, 2022).

The principal proven case assumes positivity of the ambient cotangent bundle. If $2k$2 is a morphism to a complex projective manifold $2k$3 with nef cotangent bundle $2k$4, and $2k$5 is effective, then

$2k$6

if $2k$7 is ample, then $2k$8 (Maxim, 2022). In particular, the singular conjecture holds for aspherical complex projective manifolds with nef cotangent bundle, and more generally when the ambient manifold admits a finite morphism to such a manifold (Maxim, 2022). This is best understood as a singular, complex-projective extension of the classical Singer–Hopf conjecture rather than of the full $2k$9-Betti-number formulation.

A different use of the name occurs in four-dimensional conformal geometry. There, a conjecture often attributed to Singer states: if $n$00 is anti-self-dual and the Yamabe invariant of $n$01 is positive, then $n$02 is unobstructed, meaning

$n$03

(Gover et al., 2023). A partial result proves unobstructedness under the additional conformally invariant inequality

$n$04

(Gover et al., 2023). This is a distinct deformation-theoretic conjecture, not a reformulation of the $n$05-homology statement.

5. Algebraic transfer conjectures

In algebraic topology, “Singer’s Conjecture” often refers instead to a conjecture about the algebraic transfer for the Steenrod algebra at the prime $n$06. Two formulations appear in the literature. In the homological form, with

$n$07

Singer defined

$n$08

and conjectured that $n$09 is surjective for all $n$10 (Sum, 2024). In the cohomological form, the transfer is

$n$11

and the conjecture is that this map is injective for every $n$12 (Phuc, 11 Sep 2025). The low-rank cases are classical: Singer proved the transfer for $n$13, and Boardman proved $n$14 (Phuc, 2021).

For many years the transfer literature accumulated positive degreewise evidence. The cohomological conjecture was verified in families of generic degrees in ranks $n$15 and $n$16 using the lambda algebra and detailed hit-problem calculations (Phuc, 2021). Rank $n$17 is now claimed to be completely settled in the injective direction: the fourth algebraic transfer is proved to be a monomorphism for every degree, with explicit degree-family analyses and full comparison of transfer-domain dimensions with $n$18 (Phuc, 3 Jun 2025, Phuc, 11 Jun 2025). Additional rank-$n$19 results in the surjective/homological formulation prove the conjecture in the generic degree families

$n$20

(Sum, 29 May 2025).

Counterexamples now show that neither transfer version is true in full generality. In the surjective homological formulation, a counterexample occurs for $n$21 and internal degree $n$22: the paper constructs a nonzero class

$n$23

while

$n$24

so the source of $n$25 vanishes and the target does not; hence $n$26 is not surjective (Sum, 2024). In the injective cohomological formulation, a counterexample occurs in bidegree $n$27: the source has dimension $n$28, the target

$n$29

is $n$30-dimensional, and therefore the sixth algebraic transfer is not injective (Phuc, 11 Sep 2025).

The algebraic-transfer conjectures are thus historically linked to Singer’s name but mathematically separate from the classical aspherical-manifold conjecture. Their present status is sharply different: the rank-$n$31 injectivity problem has been resolved affirmatively, whereas the general conjectures are now false in higher rank (Phuc, 3 Jun 2025, Phuc, 11 Sep 2025).

6. Tensions, analogues, and the current landscape

The classical $n$32-Betti-number conjecture remains open in great generality, even though it is established for a wide range of geometric classes (Cerbo et al., 2021). At the same time, several nearby conjectures and analogues are known to fail. For closed aspherical manifolds, one can define mod-$n$33 normalized homology-growth invariants

$n$34

and for right-angled Artin groups $n$35 these satisfy

$n$36

for any field $n$37 (Avramidi et al., 2020). This leads to examples where mod-$n$38 growth is nonzero in degrees where rational growth vanishes. For any odd prime $n$39, the $n$40-Singer conjecture fails in all odd dimensions $n$41 and all even dimensions $n$42 (Avramidi et al., 2020).

These examples have a broader consequence: Singer’s conjecture on rational homology growth and Lück’s conjecture on torsion homology growth are incompatible in full generality, so at least one of them must be wrong (Avramidi et al., 2020). In the Coxeter setting, the new edge-subdivision technology similarly produces explicit counterexamples to a torsion-growth analogue of Singer’s conjecture, even while proving new $n$43-vanishing results for barycentric subdivisions (Avramidi et al., 2024).

A common misconception is therefore to treat “Singer’s Conjecture” as a single statement with a single global status. The current picture is more stratified. The classical aspherical-manifold conjecture has extensive positive evidence and many proved cases but remains open in general; singular complex-projective and deformation-theoretic variants are partially proved under additional positivity hypotheses; and the algebraic-transfer conjectures, despite long stretches of positive degreewise verification, are false in general (Maxim, 2022, Gover et al., 2023, Sum, 2024). A plausible implication is that the enduring content of Singer’s original middle-dimensional concentration principle is geometric rather than formal: it is strongest in settings where curvature, asphericity, or microlocal positivity constrain the relevant homological invariants, and it becomes substantially less rigid when transported to coefficient-sensitive growth problems or to algebraic-transfer constructions.