Pith. sign in

REVIEW 2 minor 7 references

Improved algebraic fibrations of high-dimensional hyperbolic groups

T0 review · 0 major / 2 minor · reviewed 2026-06-28 · grok-4.3

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

Pith's one-line read Hyperbolic groups of cohomological dimension d at least 3 algebraically fibre with finitely presented kernels.

desk verdict The paper gives a uniform construction for every d ≥ 3 of infinitely many QI classes of hyperbolic groups of cd d that algebraically fibre with fp kernels, realized as finite-index subgroups of RACGs, using L2-Betti numbers for obstructions. read the letter →

arxiv 2606.05091 v1 pith:SVQYW3GT submitted 2026-06-03 math.GR math.GT

Giovanni Italiano , Matteo Migliorini , Andrew Ng This is my paper · ORCID
classification math.GRmath.GT
keywords hyperbolicgroupsalgebraicfibrationscohomologicaldimensionright-angledCoxeterL2-Bettinumbersfinitenesspropertiesquasi-isometryclasses
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper constructs, for every integer d at least 3, infinitely many quasi-isometry classes of hyperbolic groups of cohomological dimension exactly d that admit an algebraic fibration whose kernel is finitely presented. All examples are obtained as finite-index subgroups of right-angled Coxeter groups. In many cases the L2-Betti numbers of the group obstruct the kernel from satisfying any stronger finiteness conditions. This supplies further examples of subgroups of hyperbolic groups that exhibit exotic finiteness properties.

What carries the argument

Finite-index subgroups of right-angled Coxeter groups arranged to be hyperbolic of exact cohomological dimension d while admitting an algebraic fibration over Z whose kernel is finitely presented.

What would settle it

An explicit computation or proof showing that for some d ≥ 3 no hyperbolic group of cohomological dimension d admits an algebraic fibration with finitely presented kernel.

Watch

Extended reading notes

Core claim

For every d ≥ 3, infinitely many quasi-isometry classes of hyperbolic groups G of cohomological dimension d algebraically fibre with finitely presented kernel. All such groups arise as finite-index subgroups of right-angled Coxeter groups. The L2-Betti numbers of G provide obstructions to higher finiteness properties of the kernel in many cases.

Load-bearing premise

Finite-index subgroups of right-angled Coxeter groups can be arranged to be hyperbolic of exact cohomological dimension d while admitting an algebraic fibration whose kernel is finitely presented.

Editorial extensions

If this is right

  • Hyperbolic groups admit subgroups with exotic finiteness properties in arbitrarily high cohomological dimensions.
  • L2-Betti numbers can block the kernel of an algebraic fibration from being of type FP_infinity.
  • The construction produces infinitely many distinct quasi-isometry classes in each dimension d at least 3.
  • Right-angled Coxeter groups contain finite-index hyperbolic subgroups that fibre algebraically with controlled kernel finiteness.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same arrangement of finite-index subgroups might be used to produce examples with kernels of other controlled finiteness degrees.
  • Obstructions coming from L2-Betti numbers could apply to fibrations in other families of groups with negative curvature.
  • The existence of such fibrations suggests that virtual algebraic fibering does not automatically upgrade the finiteness of the kernel in high dimensions.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. The paper claims that for every d ≥ 3, there exist infinitely many quasi-isometry classes of hyperbolic groups G of cohomological dimension exactly d that admit an algebraic fibration (i.e., a surjective homomorphism to ℤ) whose kernel is finitely presented. All such groups are realized as finite-index subgroups of right-angled Coxeter groups; in many cases the L²-Betti numbers of G are used to obstruct higher finiteness properties of the kernel, thereby producing new examples of subgroups of hyperbolic groups with exotic finiteness properties.

Significance. If the constructions hold, the result supplies new, explicit families of high-dimensional hyperbolic groups whose algebraic fibrations have controlled finiteness properties. The reliance on finite-index subgroups of right-angled Coxeter groups and the systematic use of L²-Betti numbers as obstructions are concrete strengths that would enlarge the known catalogue of such examples beyond low-dimensional or special cases.

minor comments (2)
  1. [Abstract] The abstract states that L²-Betti numbers 'provide obstructions' but does not indicate which specific Betti numbers or vanishing patterns are employed; a short clarifying sentence would help readers locate the relevant computations.
  2. Notation for the algebraic fibration (e.g., the homomorphism φ: G → ℤ and the kernel K) is introduced without an explicit definition in the opening paragraphs; a displayed equation or short definition would improve readability.

Simulated Author's Rebuttal

0 responses · 1 unresolved

We thank the referee for their positive summary of the paper and for highlighting the significance of the constructions. The recommendation is listed as 'uncertain,' but the report contains no major comments or specific points of concern. We are therefore unable to address any particular issues and remain available to respond if additional feedback is provided.

standing simulated objections not resolved
  • The reason underlying the 'uncertain' recommendation is not specified, as no major comments appear in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The provided abstract and description contain no equations, derivations, or load-bearing steps that reduce by construction to fitted inputs or self-citations. The central claim is an existence result via explicit construction of finite-index subgroups of right-angled Coxeter groups satisfying hyperbolicity, exact cohomological dimension d, and algebraic fibration with finitely presented kernel. No self-definitional relations, renamed empirical patterns, or uniqueness theorems imported from prior author work appear. The derivation chain is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

Only the abstract is available, so the ledger records the minimal assumptions visible in the text. The construction is stated to rest on properties of right-angled Coxeter groups and standard facts about L2-Betti numbers; no free parameters or new entities are mentioned.

assumptions (2)
  • domain assumption Right-angled Coxeter groups admit finite-index subgroups that are hyperbolic of any prescribed cohomological dimension d ≥ 3.
    The abstract states that all constructed groups arise as finite-index subgroups of right-angled Coxeter groups.
  • domain assumption L2-Betti numbers of G can obstruct higher finiteness properties of the kernel of an algebraic fibration.
    The abstract invokes L2-Betti numbers for this purpose in many cases.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Improved algebraic fibrations of high-dimensional hyperbolic groups." pith.science (2026). https://pith.science/paper/SVQYW3GT

@misc{pith2026260605091,
  author       = {Pith},
  title        = {Pith review of: Improved algebraic fibrations of high-dimensional hyperbolic groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SVQYW3GT}},
  note         = {Machine review of arXiv:2606.05091}
}
abstract

For every $d \geq 3$, we construct infinitely many quasi-isometry classes of hyperbolic groups $G$ of cohomological dimension $d$ that algebraically fibre with finitely presented kernel. All our groups arise as finite-index subgroups of right-angled Coxeter groups. In many cases, the $L^2$-Betti numbers of the groups $G$ provide obstructions to higher finiteness properties of the kernel. Our groups therefore expand the list of subgroups of hyperbolic groups with exotic finiteness properties.

Figures

Figures reproduced from arXiv: 2606.05091 by the authors.

Figure 1
Figure 1. A collared cone. we will often consider collections of free homotopy classes of loops that normally generate π1(M \ σ). By abuse of notation, we use the same symbol for a loop and the conjugacy class of the element in π1(M \ σ) that it represents. Given a simplicial complex N, N \ σ refers to the induced subcomplex on the set of vertices N(0) \ σ (0). Recall that a subcomplex M ⊂ N is full if, whenever n + 1 points … view at source ↗
Figure 2
Figure 2. On the left, a standard coning on a pentagon, potentially generating a square with the already existing blue edges. On the right, a representation of the collar-cone on a pentagon as a truncated icosahed￾ron. This does not introduce any square. Lemma 4.4. If M is a flag-no-square simplicial complex which defines a Coxeter group of vcd = d ≥ 3, then collar-coning any full n-cycle γn for n ≥ 5 results in a simplicial … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 4 canonical work pages

  1. [1]

    Topol.1(2008), no

    [Ago08] Ian Agol,Criteria for virtual fibering, J. Topol.1(2008), no. 2, 269–284.↑1 [Ago13] Ian Agol,The virtual Haken conjecture, Doc. Math.18(2013), 1045–1087. With an appendix by Agol, Daniel Groves, and Jason Manning.↑1, 3 [BB97] Mladen Bestvina and Noel Brady,Morse theory and finiteness properties of groups, Invent. Math.129(1997), no. 3, 445–470.↑4,...

    2008

  2. [2]

    arXiv:2510.03430.↑3, 6, 12 [Chi92] I. M. Chiswell,The Euler characteristic of graph products and of Coxeter groups(W. J. Harvey and C.Editors Maclachlan, eds.), London Mathematical Society Lecture Note Series, Cambridge University Press, 1992.↑12 [Dav08] MichaelW.Davis,The geometry and topology of Coxeter groups,LondonMathematicalSociety Monographs Series...

    work page Pith review arXiv 1992

  3. [3]

    Fisher,Improved algebraic fibrings, Compos

    Thesis (Ph.D.)–Yale University.↑1 [Fis24] Sam P. Fisher,Improved algebraic fibrings, Compos. Math.160(2024), no. 9, 2203–2227.↑2, 3, 13, 14 [HW08] Frédéric Haglund and Daniel T. Wise,Special cube complexes, Geom. Funct. Anal.17(2008), no. 5, 1551–1620.↑1 [IM25] Giovanni Italiano and Matteo Migliorini,Perfect circle-valued morse functions on hyperbolic 6-m...

    2024

  4. [4]

    Math.231(2023), no

    arXiv:2503.24128.↑1, 2 [IMM23] Giovanni Italiano, Bruno Martelli, and Matteo Migliorini,Hyperbolic 5-manifolds that fiber overS 1, Invent. Math.231(2023), no. 1, 1–38.↑2 [IMM24] Giovanni Italiano, Bruno Martelli, and Matteo Migliorini,Hyperbolic manifolds that fibre al- gebraically up to dimension 8, J. Inst. Math. Jussieu23(2024), no. 2, 609–646.↑1, 2 [I...

    work page arXiv 2023

  5. [5]

    arXiv:2510.01805.↑2 [Kim12] Sang-Hyun Kim,Surface subgroups of graph products of groups, Internat. J. Algebra Comput. 22(2012), no. 8, 1240003.↑12 [Kov06] Leonid V. Kovalev,Conformal dimension does not assume values between zero and one, Duke Math. J.134(2006), no. 1, 1–13.↑7 [Kro21] Robert Kropholler,Hyperbolic groups with finitely presented subgroups no...

    work page arXiv 2012

  6. [6]

    arXiv:2605.07853.↑12 [Mou88] Gabor Moussong,Hyperbolic Coxeter groups, ProQuest LLC, Ann Arbor, MI,

    work page Pith review arXiv

  7. [7]

    Theory and application.↑6, 7 [Osa13] Damian Osajda,A construction of hyperbolic Coxeter groups, Comment. Math. Helv.88 (2013), no. 2, 353–367.↑2, 6, 12 [Pan89] Pierre Pansu,Dimension conforme et sphère à l’infini des variétés à courbure négative, Ann. Acad. Sci. Fenn. Ser. A I Math.14(1989), no. 2, 177–212.↑6 [Pau97] Frédéric Paulin,On the critical expone...

    2013

Pith tools

Reviewed June 28, 2026 · model on record in the stance chip above.