ProofAtlas

Geometric topology · L²-invariants · aspherical manifolds

Singer Conjecture for L²-Betti Numbers

Collaboration beta

For every closed aspherical n-manifold, must all L²-Betti numbers vanish outside the middle dimension, and hence vanish in every degree when n is odd?

bi(2)(π1M)=0(i≠n/2)
Known results and sources
A closed aspherical cell complex unfolds into a tiled universal cover with homological wave bands; for even n only, the possible middle degree i = n/2 is highlighted, while for odd n all L²-Betti numbers are predicted to vanish.
Singer predicts that the L²-Betti spectrum of a closed aspherical manifold is concentrated in the middle dimension; the off-middle vanishing remains open in general.

Research problem

Exact mathematical statement

Let MnM^n be a closed aspherical manifold, let G=π1(M)G=\pi_1(M), and let X=M˜X=\widetilde M be its contractible universal cover with a free cocompact bounded-geometry regular cellular or simplicial model. The Singer conjecture asserts

bi(2)(G)=0for everyi≠n/2.b_i^{(2)}(G)=0\qquad\text{for every }i\ne n/2.

For odd nn, this means all L²-Betti numbers vanish. By L²-Poincaré duality, it is enough to rule out bk(2)(G)>0b_k^{(2)}(G)>0 for k>n/2k>n/2.

Problem infographic

Problem at a glance

An aspherical manifold unfolds to its universal cover beside a symmetric degree ladder, while a lower inset shows a source-reported obstructor route stopping before an expanding occurrence map.
The main conjecture is a vanishing statement; the source-reported product-frontier and obstructor construction is only an unfinished research route toward it.

Current mathematical picture

Where work on Singer Conjecture for L²-Betti Numbers stands

Open conjecture

Selected route highlights from the mathematical source. This is not yet a complete mathematical inventory.

Useful failureSource-reported limitation

Remote-code size and entropy do not automatically align the code with signed simplex pairs in an obstruction cycle; controlled primitives and a face-coherent collision-to-filling mechanism are absent. The missing bridge is to turn persistent failure of signed expanding occurrence into a low-complexity same-frontier filling with controlled channel overlap, or directly unfold every residual collision system satisfying the all-cut entropy lower bounds.

Route status · Narrowed route
Main reductionConditional action-dimension endgame

For an extracted frontier, one proper expanding cone map would force an action-dimension lower bound contradicting k>n/2.

Evidence posture · Source-reported route statement · dependencies incomplete
Priority open bridgeConstruct controlled remote primitives and cycle-level alignment data.Task status · Ready to work on
Research-record correctionResearch-record correction

We corrected the cited passages. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Reader-facing record corrected; mathematics unchanged

Work mapped so far

Singer Conjecture for L²-Betti Numbers in numbers

2.2kretained lines of mathematical investigation2,236 in the current working snapshot
Argument development
1,883 · 84%
Explored or eliminated routes
103 · 5%
Computational analysis
1 · 0%
Open obligations
75 · 3%
Definitions and setup
174 · 8%
8selected mapped statements1routes investigated4open questions4contribution-ready tasks
How this is measured

This measures retained mathematical investigation, not proximity to a proof. Code, data, logs, repeated text, operational instructions, and generated presentation copy are excluded.

Proposed byIsadore M. SingerStatus checkedAug 14, 2026
Source recordedAug 14, 2026

Argument map and routes

How the current approaches connect

Claims, reductions, open questions, active routes, and narrowed alternatives in one mathematical map.

Visible working map

Research route map

13 selected steps

Selected claims, active routes, useful failures, and open questions from the current research map. Arrows appear only for explicitly recorded relationships.

13 selected steps

Scroll horizontally to explore the route

Working route overview for Singer Conjecture for L²-Betti NumbersA selected map of recorded claims, active routes, useful failures, open questions, and their explicit relationships. Search, filter, zoom, or pan within this page.L²-homology of a closed aspherical manifold should be concentrated in the middle dimension — Depends on missing premiseL²-homology of a closedaspherical manifold shouldbe…Conditional action-dimension endgame — Depends on missing premiseConditional action-dimensionendgameCurrent reduction — Depends on missing premiseCurrent reductionClosing target — Depends on missing premiseClosing targetCoordinate anti-compression — Depends on missing premiseCoordinate anti-compressionExponential support lower bound — Depends on missing premiseExponential support lowerboundPrimitive exact-type frontier — Depends on missing premisePrimitive exact-typefrontierRemote linking lacks primitives — Depends on missing premiseRemote linking lacksprimitivesSource-reported limitation — stoppedSource-reported limitationConstruct controlled remote primitives and cycle-level alignment data. — OpenConstruct controlled remoteprimitives and cycle-levelalignment…Prove the collision-to-channel or high-entropy uncollapsing theorem. — OpenProve thecollision-to-channel orhigh-entropy…Close the action-dimension contradiction with a proper expanding map. — OpenClose the action-dimensioncontradiction with a properexpanding…Collision-to-channel bridge — OpenCollision-to-channel bridge
Working claimActive routeOpen, active, or blocked questionUseful failure

Working overview, not proof. The map shows selected recorded relationships; more nodes or edges do not establish correctness or completion.

Explored alternatives

Other routes

1 recorded
Narrowed routeSource-reported limitation

Remote-code size and entropy do not automatically align the code with signed simplex pairs in an obstruction cycle; controlled primitives and a face-coherent collision-to-filling mechanism are absent. The missing bridge is to turn persistent failure of signed expanding occurrence into a low-complexity same-frontier filling with controlled channel overlap, or directly unfold every residual collision system satisfying the all-cut entropy lower bounds.

Route status · Narrowed route

More ways to contribute

Open questions

Additional prepared tasks for exploring this research frontier.

4 featured tasks
01
Construct controlled remote primitives and cycle-level alignment data.Suggested move: Build locally finite primitives for the remote harmonic probes with quantitative control, then write one explicit deleted-product obstruction cycle and align probes with its signed simplex pairs and cancellations.
Ready to work on
02
Prove the collision-to-channel or high-entropy uncollapsing theorem.Suggested move: Show that persistent failure of expanding occurrence produces a near-minimal filling of the same frontier with bounded-alphabet channels and subexponential Bessel congestion, or directly unfold the quantified residual case.
Ready to work on
03
Collision-to-channel bridge

A theorem converting persistent collisions into a controlled same-frontier channel decomposition remains the cleanest stated missing bridge.

Suggested move: Resolve the exact source-reported obligation without treating it as an established negative result.
Ready to work on
04
Close the action-dimension contradiction with a proper expanding map.Suggested move: Use the controlled occurrence theorem on one extracted frontier, or a sublinearly stabilized sequence, to obtain the required action-dimension lower bound and then apply k>n/2.
Ready to work on

Sourced mathematical context

The known mathematical landscape

Context collected Aug 14, 2026
Current statusOpen conjecture

The classical Singer conjecture remains open in general. Recent peer-reviewed papers prove it for important special classes, while continuing to formulate the general vanishing statement as a conjecture.

[1][2]
External progress

What the literature has established

Selected external milestones in reverse chronological order, with their evidence posture.

  1. PreprintChen introduces and studies a twisted analogue tied to infinite cyclic covers; this is a neighboring variant rather than a resolution of the classical conjecture.[3]
  2. Peer reviewedDi Cerbo and Lombardi prove the Singer conjecture for smooth projective irregular varieties with semismall Albanese map and residually finite fundamental group.[1]
  3. Peer reviewedAvramidi, Okun and Schreve prove the Singer conjecture for specified Gromov–Thurston branched covers, with an odd-dimensional middle-degree limitation in one part of the argument.[2]
3 cited sources4 related results or reductionsReferences

Mathematical neighborhood

Related results and reusable starting points

Current focusSinger conjecture for L²-Betti numbers
Solved special casesmooth projective irregular varieties with semismall Albanese map

The theorem proves the predicted concentration under semismall Albanese and residual-finiteness hypotheses, a substantial special class.

[1]
Solved special casespecified Gromov–Thurston branched covers

The theorem verifies Singer for a family of branched covers under degree and group-theoretic conditions.

[2]
Related problemtwisted Singer conjecture

The twisted conjecture concerns L²-invariants of infinite cyclic covers depending on a first cohomology class and is not statement-equivalent to the classical problem.

[3]
Logical consequenceHopf sign conjecture for closed aspherical manifolds

The reviewed source states that an affirmative Singer conjecture would imply the expected sign of the Euler characteristic.

[1]

Formalization opportunities

Lean work can make these reusable foundations precise without being presented as a proof of the core problem.

  • Formalization targetA problem-level formalization needs closed aspherical manifolds, universal covers, group von Neumann algebras or an equivalent definition of L²-Betti numbers, and L²-Poincaré duality.
  • Formalization targetThe source-reported action-dimension route would additionally require formal cellular Hilbert spaces, harmonic projections, product complexes, deleted-product obstructions, expanding maps, and action dimension.
  • Formalization targetNo scoped public problem-level formalization was identified.

Research-record corrections

What changed in the research record

These notes describe corrections to cited passages, highlighted tasks, or connections between claims. The mathematical claims and their status did not change.

Research-record correctionWe corrected the cited passages. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Corrected the research recordCorrection note

Correction details
Research-record correctionWe corrected the cited passages. We removed a duplicate or outdated task or route step. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Corrected the research recordCorrection note

Correction details

The initial argument structure appears separately. Uploads, model runs, and presentation changes do not count as mathematical updates.

Detailed research inventory

Claims, milestones, and routes in the current map

This view highlights the mathematical statements most useful for following the current route.

6 standing statements2 proposed statements4 open questions1 narrowed routes
Statements by mathematical role8 selected mapped statements
  • theorem candidate1 of 81
  • reduction2 of 82
  • lemma4 of 84
  • negative result1 of 81
Selected mathematical clusters1 mathematical clusters
Current research mapThe conjecture, retained reductions, explored limitations, and open questions represented in this overview.21 displayed rows · 1 route included
  • retained route statementL²-homology of a closed aspherical manifold should be concentrated in the middle dimension
  • retained route statementCurrent reductionintermediate
  • retained route statementClosing targetintermediate
  • retained route statementConditional action-dimension endgameintermediate
  • retained route statementPrimitive exact-type frontierintermediate
  • retained route statementExponential support lower boundintermediate
  • retained route statementCoordinate anti-compressionintermediate
  • retained route statementRemote linking lacks primitivesintermediate
  • Recorded relationshipThe source reports this as a route toward the conjecture; missing or unaudited premises remain and the reduction does not itself prove the target.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • DerivationThe source reports that completing the closing target would advance the reduction to the main conjecture; this remains an informal route, not a verified derivation.proposed
  • Useful failureSource-reported limitationreported failure
  • Research targetConstruct controlled remote primitives and cycle-level alignment data.open
  • Research targetProve the collision-to-channel or high-entropy uncollapsing theorem.open
  • Research targetClose the action-dimension contradiction with a proper expanding map.open
  • Research targetCollision-to-channel bridgeopen
  • Narrowed routeSource-reported limitationRemote-code size and entropy do not automatically align the code with signed simplex pairs in an obstruction cycle; controlled primitives and a face-coherent collision-to-filling mechanism are absent. The missing bridge is to turn persistent failure of signed expanding occurrence into a low-complexity same-frontier filling with controlled channel overlap, or directly unfold every residual collision system satisfying the all-cut entropy lower bounds.
How to interpret these counts

A statement may be a lemma, conditional reduction, special case, documented limitation, or open target. These counts describe the work's structure; they do not estimate distance to a proof.

Research outlook

Conditions that would advance the current route

Priority open bridgeConstruct controlled remote primitives and cycle-level alignment data.

1 approach has already been tested and narrowed. The task above is the current priority within the larger open route.

Evidence needed nextConcrete conditions for progress

A result can change the outlook by closing the bridge, narrowing its scope, or showing that the route cannot work.

  • Supply a complete argument with every imported premise identified.
  • Survive an independent attempt to falsify the proposed step.

Continue the mathematics

Contribute

ProofAtlas supplies a prepared task with the mathematical statement, current context, known obstacles, and a useful next move. Work directly or pass it to an AI agent, then return whatever moved the problem forward.

Read-only beta · actions unavailable
Prepared starting pointConstruct controlled remote primitives and cycle-level alignment data.

Singer Conjecture for L²-Betti Numbers · ready to start

Mathematical updatesFollow this problem

Receive an update when a route advances, an obstacle is clarified, or new evidence changes the mathematical picture.

Research contextPrepared context for any AI agent

For every closed aspherical n-manifold, must all L²-Betti numbers vanish outside the middle dimension, and hence vanish in every degree when n is odd?

  • Exact question and boundaries
  • Current routes and known obstacles
  • What a useful result should report
Return mathematical workReturn what you or your agent found

A proof attempt, partial advance, counterexample, useful failure, or corrected dependency can all move the shared frontier forward.

Proof attempt or partial resultSupporting notes or data
Hosted agentRun this task with a hosted agent

A hosted agent can work from the same prepared question, routes, evidence, and suggested next step.

Your own AI agentConnect an outside research agent

Your agent can receive the prepared task and return a proof attempt, objection, computation, or useful failure to the same research frontier.

Sources and references3 cited works · next context review by Nov 14, 2026

The mathematical context was checked on Aug 14, 2026. Status can be refreshed sooner after a material result or claim.

  1. 1
    Singer conjecture for varieties with semismall Albanese map and residually finite fundamental grouppeer reviewed result · Luca F. Di Cerbo, Luigi Lombardi · Proceedings of the Royal Society of Edinburgh Section A: Mathematics 156(1), 122–128 · online 2024-04-19; issue February 2026 · ARXIV 2303.06709 · DOI 10.1017/prm.2024.52 · accessed Aug 14, 2026
  2. 2
    L²-Betti numbers of branched covers of hyperbolic manifoldspeer reviewed result · Grigori Avramidi, Boris Okun, Kevin Schreve · Mathematische Annalen 392, 2621–2634 · 2025-04-24 · DOI 10.1007/s00208-025-03164-z · accessed Aug 14, 2026
  3. 3
    On a twisted Singer conjecturepreprint · Jacopo G. Chen · arXiv · 2026-07-28 · ARXIV 2607.25615 · DOI 10.48550/arXiv.2607.25615 · accessed Aug 14, 2026

Important qualifications

  • The review did not identify a sufficiently clear original Singer publication, so originalSourceIds is empty and proposedYear is null rather than inferred from secondary chronology.
  • Recent theorems cover special classes of varieties and branched covers and do not resolve the general conjecture.
  • The 2026 twisted Singer preprint concerns a related invariant and remains in the current research map only as neighboring context.
  • MSC codes reflect the reviewed modern sources and subject neighborhood, not a unique official classification for the conjecture.
  • The scoped search found no public problem-level formalization; it was not exhaustive.
  • The submitted packet and its URLs were excluded from external authority and were not fetched.

Continue exploring

Compare another research frontier

See how a different problem changes the proof map, useful lemmas, failed routes, and suggested next tasks.

Explore all research workspaces

Expanded visual

Open original image