On a twisted Singer conjecture

Jacopo G. Chen

REVIEW 2 major objections 4 minor 18 references

For closed congruence arithmetic hyperbolic manifolds of simplest type of odd dimension, twisted L2-Betti numbers vanish outside the middle dimension, and the twisted L2-Euler characteristic is a seminorm.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-01 01:57 UTC pith:C5O4C2AD

load-bearing objection Solid paper with a genuinely new technique and a real but narrow dimension-3 gap in the flagship theorem; worth refereeing. the 2 major comments →

arxiv 2607.25615 v1 pith:C5O4C2AD submitted 2026-07-28 math.GT

On a twisted Singer conjecture

Jacopo G. Chen This is my paper

classification math.GT

keywords twisted L2-Betti numbersSinger conjecturearithmetic hyperbolic manifoldsThurston normAtiyah conjectureNewton polytopesgreatest right common divisorpolyhedral seminorm

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a twisted analog of the Singer conjecture for a large class of odd-dimensional manifolds: closed congruence arithmetic hyperbolic manifolds of simplest type. In any such (2n+1)-manifold, the twisted L2-Betti numbers — invariants attached to an infinite cyclic cover determined by a first cohomology class — vanish in every degree except n, and the twisted L2-Euler characteristic equals (up to sign) the middle twisted L2-Betti number, which is a seminorm (a norm-like function whose unit ball is a convex polytope). This gives the first confirmation of the twisted Singer conjecture in this setting and proves the author's earlier conjecture connecting the twisted L2-Euler characteristic to the Thurston norm. The proof rests on a general algebraic result: for any group satisfying the Atiyah conjecture, every twisted L2-Betti number is a polyhedral seminorm, established here via a new matrix-divisor technique.

Core claim

The paper's central discovery is that twisted L2-Betti numbers are controlled by polytopes: for a finitely generated group satisfying the Atiyah conjecture, the function sending a character phi to the twisted L2-Betti number b_n^{(2)}(C_*; phi) is a polyhedral seminorm, and the polytope recording this seminorm is canonically attached to the chain complex. Applying this to closed congruence arithmetic hyperbolic (2n+1)-manifolds of simplest type, and bounding twisted L2-Betti numbers above by ordinary L2-Betti numbers of totally geodesic hypersurfaces, the paper concludes that all twisted L2-Betti numbers outside degree n vanish and that (-1)^n chi^{(2)}(\tilde M; -) = b_n^{(2)}(\tilde M; -)

What carries the argument

The core new tool is the greatest right common divisor (GRCD) of a rectangular matrix over a skew Laurent polynomial ring — a noncommutative analogue of Laurent polynomials — which is a square matrix with the same image. GRCDs reduce the dimension function of a cokernel to a polytope, and a sequence of polytope inequalities culminating in Proposition 2.10 proves the triangle inequality, making the function a polyhedral seminorm. For the geometric theorem, the key input is an estimate comparing a twisted L2-Betti number of a manifold with the ordinary L2-Betti number of an embedded pi1-injective hypersurface whose fundamental group injects, dual to the cohomology class, together with the fact

Load-bearing premise

The load-bearing premise is that every rational first cohomology class of these manifolds can be represented by a combination of classes of immersed totally geodesic hypersurfaces; the paper invokes this theorem, stated for dimension greater than 3, without a separate argument for the 3-dimensional case, and the proof also assumes finite covers with embedded lifts exist and that the hypersurfaces satisfy the Singer conjecture.

What would settle it

A concrete falsifier would be a computation, for a specific closed congruence arithmetic hyperbolic (2n+1)-manifold of simplest type and a specific first cohomology class, of a nonzero twisted L2-Betti number in a degree other than n; for example, finding a 3-dimensional example with nonzero b_0^{(2)} or b_2^{(2)} would refute the vanishing claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

In every closed congruence arithmetic hyperbolic (2n+1)-manifold of simplest type, twisted L2-Betti numbers vanish in all degrees except n, confirming the twisted Singer conjecture for this class.
The twisted L2-Euler characteristic (up to sign) equals the middle twisted L2-Betti number, and both define a seminorm on H^1(M;R), proving the author's earlier conjecture relating this invariant to the Thurston norm in this setting.
For any group satisfying the Atiyah conjecture, twisted L2-Betti numbers are polyhedral seminorms, so their unit balls are rational polytopes.
The GRCD construction yields a canonical polytope attached to a full-rank rectangular matrix over a crossed product ring, generalizing the Newton polytope of a square matrix.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the vanishing theorem extends beyond congruence arithmetic manifolds, the twisted L2-Euler characteristic would be a seminorm for a much broader class, giving a computable invariant that detects fibered classes in the manner of the Thurston norm.
The GRCD polytope might be computable from a group presentation, offering an algorithm for twisted L2-Betti numbers that could test the conjectures in small examples.
The reliance on total geodesic hypersurfaces suggests that any counterexample to the twisted Singer conjecture would have first cohomology not generated by such hypersurfaces, so a search could focus on manifolds with unusual cohomology.
The bound comparing twisted L2-Betti numbers to hypersurface L2-Betti numbers may hold for a wider class of pi1-injective aspherical hypersurfaces, such as virtual fibers, giving a route to proving the conjecture for fibered manifolds in higher dimensions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

Solid paper with a genuinely new technique and a real but narrow dimension-3 gap in the flagship theorem; worth refereeing.

read the letter

The genuinely new content here is the GRCD/dual-polytope technique in Sections 2–4 and the arithmetic-hyperbolic application in Section 5. The algebraic main theorem, Corollary 3.2, was proved concurrently by Jaikin-Zapirain–Kudlinska–Sánchez-Peralta, and the author says so plainly. What is new is the route: a matrix GRCD construction that yields a single polytope P(A) describing the seminorm from rectangular presentation matrices, generalizing Kielak's single polytope theorem. That is a useful tool, and the exposition around it is mostly clear. The paper is honest, well-organized, and does not oversell; it cites the relevant literature and flags the concurrent result rather than hiding it.

The main soft spot is the dimension-3 case. Proposition 5.3, the only source for the H^1 spanning basis by totally geodesic hypersurfaces, is stated for dim M > 3. Theorem 5.4 then invokes that basis without any n=1 argument. So Theorem 1.5 as stated overruns its stated input. This is a real gap, but a narrow one: either a separate 3-manifold argument is needed or the theorem should be restricted to n>1. The rest of the proof chain would work if such a basis existed.

Second, the uniqueness of the dual polytope P_F in Section 4 rests on a fairly compressed 'It is not hard to see' and an adjacency argument. This feels fillable, but a referee will want more detail. Minor: Proposition 5.2 assumes a compatible CW structure without much discussion, and the finite-cover embedding step for the hypersurfaces is terse.

If you restrict to n>1, the main theorem is solid and the technique is worth knowing. For readers working on L2-invariants, group rings, or polytope methods, this is a useful paper despite the concurrent overlap. It deserves a serious referee, mainly to verify Section 4 and to force a clean treatment of the 3-dimensional case.

Referee Report

2 major / 4 minor

Summary. The paper proves Conjecture 1.3: for a finitely generated group satisfying the Atiyah conjecture, every twisted L²-Betti number of a finitely generated free L²-acyclic ZG-chain complex is a polyhedral seminorm. The proof uses matrix greatest right common divisors over crossed product rings and generalizes Kielak's single polytope theorem to rectangular matrices. The paper then applies this algebraic result, together with a geometric bound comparing twisted L²-Betti numbers to ordinary L²-Betti numbers of hypersurfaces, to prove Theorem 1.5: for a closed congruence arithmetic hyperbolic (2n+1)-manifold of simplest type, all twisted L²-Betti numbers vanish except in degree n, and (-1)ⁿχ⁽²⁾(·;−) = b_n⁽²⁾(·;−) is a seminorm. This would confirm the twisted Singer conjecture for this class of manifolds and prove the author's earlier conjecture relating twisted L²-Euler characteristic to the Thurston norm.

Significance. If Theorem 1.5 holds in the stated generality, it is a substantial confirmation of a natural twisted Singer conjecture for a large class of arithmetic hyperbolic manifolds. The algebraic core of the paper, Theorem 3.1 and the dual-polytope Theorem 4.1, is also valuable: it gives an independent proof of a result recently obtained by Jaikin-Zapirain, Kudlinska and Sánchez-Peralta [10], using a different technique that may be useful for rectangular presentation matrices. The geometric application is well motivated, and the paper is largely self-contained modulo standard machinery. The acknowledgements and comparison with [10] are appropriate. However, as detailed below, the main theorem is not fully established in dimension 3, and the Section 4 uniqueness proof is not sufficiently rigorous.

major comments (2)

[§5, Theorem 5.4 and Theorem 1.5] The principal gap is the n=1 case. Proposition 5.3 is stated only for dim M > 3, but Theorem 5.4 begins by choosing immersed totally geodesic hypersurfaces F_1,...,F_k constituting a basis of H^1(M;Q) up to Poincaré duality, and applies this to all closed congruence arithmetic hyperbolic (2n+1)-manifolds, including n=1. No separate argument is provided in dimension 3, and neither Theorem 5.4 nor Theorem 1.5 is restricted to n>1. Thus the existence of the cohomology basis is a load-bearing premise that is unproved in dimension 3. The authors should either supply a dimension-3 argument or state the main theorems only for n>1.
[§4, discussion after Eq. (45)] The uniqueness of the polytope P_F relies on the phrase 'It is not hard to see' and on an unproved assertion that P_{F_{s+1}} = P_{F_1} for the opposite facet. The preceding argument only treats finite intersections of open cones; passing to the closed cone over a facet by 'gradually varying each φ_i' requires a precise proof, since codimension-one boundaries may introduce ambiguity. Theorem 4.1 depends on this uniqueness, so this is a gap in a central algebraic claim, although it does not affect the geometric application of Theorem 1.5.

minor comments (4)

[§3, Eq. (35)] The expression 'a_1φ_1 + b_2φ_2' appears to be a typo for 'a_1φ_1 + a_2φ_2'.
[§5, Theorem 5.4] The claim that for each j one can find a finite cover with an embedded lift of F_j is asserted 'by a separability argument' without a reference or proof. Please provide a citation or a few lines of justification.
[§2.1] The notational distinction between P(H), 𝒫(H), PT(H), and 𝒫T(H) is hard to perceive in print, especially after font reduction. Consider renaming one family to avoid confusion.
[§5, Proposition 5.2] The assumption that 'M has a regular CW complex structure compatible with that of S' is vague. Please clarify what compatibility means or replace this with a standard triangulation argument.

Circularity Check

0 steps flagged

No circularity: the central derivation is self-contained and builds on external theorems; the only flagged issue is a dimension-range correctness gap, not a circular step.

full rationale

The claimed derivation does not reduce to its own inputs by construction. Conjecture 1.3 is proved in Section 3 via matrix GRCDs and Kielak's single polytope theorem (external, [13, Thm 3.14]); the concurrent proof [10] is cited for context only. Section 5 then relies on the Bergeron--Millson--Moeglin spanning theorem [2, Thm 1.5], on Proposition 5.2 (a Mayer--Vietoris estimate), and on the established Singer conjecture for closed hyperbolic manifolds to force vanishing on a basis of H^1(M;Q). The seminorm property from Theorem 5.1 / Corollary 3.2 then correctly propagates vanishing from that basis to all cohomology classes. The author's earlier self-citation [3] appears only in the introduction as motivation (Lemma 1.1 and the 'previous conjecture'); it is not used as a premise in the proof of Theorem 1.5. Thus there is no fitted input renamed as a prediction, no load-bearing self-citation, and no uniqueness/ansatz smuggled in via prior work. The main issue is a correctness/scope gap, not circularity: Proposition 5.3 is quoted only for dim M > 3, while Theorem 5.4 is stated for all (2n+1)-manifolds without a separate n=1 argument. That is a missing case in the proof, not an equivalence-by-construction or a self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

No fitted parameters and no new postulated entities. The argument rests on standard L2-invariant machinery plus two substantial external geometric inputs: the Atiyah conjecture for virtually special groups and the Bergeron-Millson-Moeglin spanning theorem.

axioms (6)

domain assumption Atiyah conjecture holds for pi_1(M) when M is virtually compact special (Schreve [16])
Used in Theorem 5.1 and Theorem 5.4 to ensure Linnell skew fields and well-behaved L2-Betti numbers.
domain assumption Singer conjecture holds for closed hyperbolic manifolds of dimension 2n (the hypersurfaces \tilde F_j)
Used in the proof of Theorem 5.4 to conclude that ordinary L2-Betti numbers of the hypersurfaces vanish outside the middle dimension.
domain assumption Bergeron-Millson-Moeglin theorem: for closed congruence arithmetic hyperbolic manifolds of simplest type with dim > 3, H^1(M;Q) is spanned by Poincare duals of immersed totally geodesic hypersurfaces (Proposition 5.3)
Critical input for Theorem 5.4; also responsible for the dimension gap flagged in red flags.
standard math Kielak's single polytope theorem [13, Theorem 3.14]
Used throughout to ensure Newton polytopes of invertible square matrices are single polytopes.
domain assumption Linnell skew field D(G) exists for Atiyah groups and is the Ore localization of D(ker ab) * H (Friedl-Luck [6])
Provides the algebraic framework of Section 3.
standard math Local-coefficient Mayer-Vietoris sequences with Linnell skew fields
Used in Proposition 5.2 to compare twisted Betti numbers of M with Betti numbers of a separating hypersurface.

pith-pipeline@v1.3.0-alltime-deepseek · 12978 in / 29278 out tokens · 265008 ms · 2026-08-01T01:57:33.544234+00:00 · methodology

0 comments

read the original abstract

According to the Singer conjecture, the $L^2$-Betti numbers of a closed aspherical manifold are expected to vanish outside the middle dimension. In this paper, we study a natural analog of the Singer conjecture concerning the vanishing of twisted $L^2$-Betti numbers outside the lower middle dimension. These invariants can be thought of as $L^2$-Betti numbers of an infinite cyclic cover, depending on a first cohomology class. This is related to a previous conjecture by the author, which connects the twisted $L^2$-Euler characteristic to the Thurston norm, and which we prove for a class of closed arithmetic hyperbolic manifolds.

discussion (0)

Reference graph

Works this paper leans on

18 extracted references · 2 linked inside Pith

[1]

Hyperplane sections in arithmetic hyperbolic manifolds

N. Bergeron, F. Haglund, and D. T. Wise. “Hyperplane sections in arithmetic hyperbolic manifolds”. In:J. Lond. Math. Soc.83.2 (Feb. 2011), pp. 431–448

2011
[2]

Bergeron, J

N. Bergeron, J. Millson, and C. Moeglin.Hodge type theorems for arithmetic manifolds associated to orthogonal groups. 2015. arXiv:1110.3049 [math.NT]

Pith/arXiv arXiv 2015
[3]

Computing the twistedL2-Euler characteristic

J. G. Chen. “Computing the twistedL2-Euler characteristic”. In:Groups Geom. Dyn.(2025)

2025
[4]

P. M. Cohn.Skew fields. Theory of general division rings. Encyclopedia of Mathe- matics and its Applications 57. Cambridge University Press, 1995

1995
[5]

Groups and polytopes

S. Friedl, W. Lück, and S. Tillmann. “Groups and polytopes”. In:Breadth in contemporary topology. Vol. 102. Proc. Sympos. Pure Math. Amer. Math. Soc., 2019, pp. 57–77

2019
[6]

Stefan Friedl and Wolfgang Lück.L2-Euler characteristics and the Thurston norm. Sept. 2018

2018
[7]

TheL2-torsion polytope of amenable groups

F. Funke. “TheL2-torsion polytope of amenable groups”. In:Doc. Math.(23 2018), pp. 1969–1993

2018
[8]

The integral polytope group

F. Funke. “The integral polytope group”. In:Advances in Geometry21.1 (Sept. 2019), pp. 45–62

2019
[9]

X. H. Han and R. Jiang.Asymptotically geodesic hypersurfaces and the fundamental groups of hyperbolic manifolds. 2026. arXiv:2603.24869 [math.GT]

arXiv 2026
[10]

Jaikin-Zapirain, M

A. Jaikin-Zapirain, M. Kudlinska, and P. Sánchez-Peralta.Thurston norm, polytopes and splitting complexity. 2026. arXiv:2606.31774 [math.GR]

Pith/arXiv arXiv 2026
[11]

Immersing almost geodesic surfaces in a closed hyperbolic three manifold

J. Kahn and V. Markovic. “Immersing almost geodesic surfaces in a closed hyperbolic three manifold”. In:Annals of Mathematics175.3 (May 2012), pp. 1127–1190

2012
[12]

Kapovich.Integer norms are polyhedral.url:https://www.math.ucdavis.edu/ ~kapovich/EPR/norms.pdf

M. Kapovich.Integer norms are polyhedral.url:https://www.math.ucdavis.edu/ ~kapovich/EPR/norms.pdf
[13]

The Bieri–Neumann–Strebel invariants via Newton polytopes

D. Kielak. “The Bieri–Neumann–Strebel invariants via Newton polytopes”. In: Invent. Math.219 (2020), pp. 1009–1068

2020
[14]

Kielak.Virtual fibring of manifolds and groups

D. Kielak.Virtual fibring of manifolds and groups. 2025. arXiv: 2510 . 01805 [math.GR]

2025
[15]

W. Lück. L2-Invariants: Theory and Applications to Geometry and K-Theory. Springer, 2002

2002
[16]

The strong Atiyah conjecture for virtually cocompact special groups

K. Schreve. “The strong Atiyah conjecture for virtually cocompact special groups”. In:Mathematische Annalen359.3-4 (Feb. 2014), pp. 629–636

2014
[17]

Stenström.Rings of Quotients

B. Stenström.Rings of Quotients. Springer-Verlag, 1975

1975
[18]

A norm for the homology of 3-manifolds

W. P. Thurston. “A norm for the homology of 3-manifolds”. In:Memoirs of the American Mathematical Society59 (1986), pp. 99–130. 17

1986

[1] [1]

Hyperplane sections in arithmetic hyperbolic manifolds

N. Bergeron, F. Haglund, and D. T. Wise. “Hyperplane sections in arithmetic hyperbolic manifolds”. In:J. Lond. Math. Soc.83.2 (Feb. 2011), pp. 431–448

2011

[2] [2]

Bergeron, J

N. Bergeron, J. Millson, and C. Moeglin.Hodge type theorems for arithmetic manifolds associated to orthogonal groups. 2015. arXiv:1110.3049 [math.NT]

Pith/arXiv arXiv 2015

[3] [3]

Computing the twistedL2-Euler characteristic

J. G. Chen. “Computing the twistedL2-Euler characteristic”. In:Groups Geom. Dyn.(2025)

2025

[4] [4]

P. M. Cohn.Skew fields. Theory of general division rings. Encyclopedia of Mathe- matics and its Applications 57. Cambridge University Press, 1995

1995

[5] [5]

Groups and polytopes

S. Friedl, W. Lück, and S. Tillmann. “Groups and polytopes”. In:Breadth in contemporary topology. Vol. 102. Proc. Sympos. Pure Math. Amer. Math. Soc., 2019, pp. 57–77

2019

[6] [6]

Stefan Friedl and Wolfgang Lück.L2-Euler characteristics and the Thurston norm. Sept. 2018

2018

[7] [7]

TheL2-torsion polytope of amenable groups

F. Funke. “TheL2-torsion polytope of amenable groups”. In:Doc. Math.(23 2018), pp. 1969–1993

2018

[8] [8]

The integral polytope group

F. Funke. “The integral polytope group”. In:Advances in Geometry21.1 (Sept. 2019), pp. 45–62

2019

[9] [9]

X. H. Han and R. Jiang.Asymptotically geodesic hypersurfaces and the fundamental groups of hyperbolic manifolds. 2026. arXiv:2603.24869 [math.GT]

arXiv 2026

[10] [10]

Jaikin-Zapirain, M

A. Jaikin-Zapirain, M. Kudlinska, and P. Sánchez-Peralta.Thurston norm, polytopes and splitting complexity. 2026. arXiv:2606.31774 [math.GR]

Pith/arXiv arXiv 2026

[11] [11]

Immersing almost geodesic surfaces in a closed hyperbolic three manifold

J. Kahn and V. Markovic. “Immersing almost geodesic surfaces in a closed hyperbolic three manifold”. In:Annals of Mathematics175.3 (May 2012), pp. 1127–1190

2012

[12] [12]

Kapovich.Integer norms are polyhedral.url:https://www.math.ucdavis.edu/ ~kapovich/EPR/norms.pdf

M. Kapovich.Integer norms are polyhedral.url:https://www.math.ucdavis.edu/ ~kapovich/EPR/norms.pdf

[13] [13]

The Bieri–Neumann–Strebel invariants via Newton polytopes

D. Kielak. “The Bieri–Neumann–Strebel invariants via Newton polytopes”. In: Invent. Math.219 (2020), pp. 1009–1068

2020

[14] [14]

Kielak.Virtual fibring of manifolds and groups

D. Kielak.Virtual fibring of manifolds and groups. 2025. arXiv: 2510 . 01805 [math.GR]

2025

[15] [15]

W. Lück. L2-Invariants: Theory and Applications to Geometry and K-Theory. Springer, 2002

2002

[16] [16]

The strong Atiyah conjecture for virtually cocompact special groups

K. Schreve. “The strong Atiyah conjecture for virtually cocompact special groups”. In:Mathematische Annalen359.3-4 (Feb. 2014), pp. 629–636

2014

[17] [17]

Stenström.Rings of Quotients

B. Stenström.Rings of Quotients. Springer-Verlag, 1975

1975

[18] [18]

A norm for the homology of 3-manifolds

W. P. Thurston. “A norm for the homology of 3-manifolds”. In:Memoirs of the American Mathematical Society59 (1986), pp. 99–130. 17

1986