pith. sign in

arxiv: 2606.13585 · v1 · pith:S66OYJM6new · submitted 2026-06-11 · 🧮 math.GT · math.GR

Cellular waists of hyperbolic spaces

Grigori Avramidi , Thomas Delzant This is my paper

Pith reviewed 2026-06-27 04:58 UTC · model grok-4.3

classification 🧮 math.GT math.GR
keywords hyperbolic manifoldsinjectivity radiusfibers of mapscell structurestopological complexitygroup ringshyperbolic groupsPL maps
0
0 comments X

The pith

Hyperbolic manifolds with injectivity radius over 50 log((n+1)!) force some fibers of maps to R^m to require more than n cells in every cell structure.

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

The paper establishes that closed hyperbolic manifolds M^d of sufficiently large injectivity radius force fibers of maps to Euclidean space to carry high topological complexity. If the injectivity radius exceeds 50 times the log of (n+1) factorial, then for any PL or generic smooth map p from M to R^m and for each k with 0 less than k less than d minus m, some point z exists so that the fiber over z needs more than n cells of dimension k in any cell decomposition. A sympathetic reader would care because the result ties a geometric quantity of the manifold directly to a lower bound on cell numbers in its preimages. The argument proceeds by applying an algebraic freedom theorem for ideals in group rings of hyperbolic groups to the fundamental group of M.

Core claim

If the injectivity radius of M is greater than 50 log((n+1)!), then for each dimension 0 < k < d-m there is a point z in R^m such that any cell structure on the fiber p^{-1}(z) has more than n cells of dimension k. This holds for PL and generic smooth maps p: M^d to R^m where M is a closed hyperbolic manifold.

What carries the argument

Freedom theorem for ideals in group rings of hyperbolic groups, applied to the fundamental group of M to obtain the cellular lower bounds on fibers.

If this is right

  • The cell-number lower bound holds for every PL and generic smooth map from the manifold.
  • The required injectivity-radius threshold increases with the target cell lower bound n.
  • The statement covers all intermediate dimensions k between 0 and d-m.
  • The same conclusion applies whether the map is piecewise linear or a generic smooth map.

Where Pith is reading between the lines

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

  • The result illustrates how an algebraic freedom theorem on group rings produces concrete lower bounds on topological complexity in hyperbolic geometry.
  • Analogous cell-complexity statements could be derived for other manifolds if comparable freedom theorems become available for their fundamental groups.

Load-bearing premise

The freedom theorem for ideals in group rings of hyperbolic groups applies directly to the fundamental group of M under the stated injectivity-radius hypothesis and yields the claimed cellular lower bound.

What would settle it

A closed hyperbolic manifold with injectivity radius larger than 50 log((n+1)!) together with a PL or generic smooth map to R^m such that in some dimension k the fiber over every z admits a cell structure with at most n cells of dimension k.

read the original abstract

We find lower bounds on the topological complexity of fibers of PL and generic smooth maps $p:M^d\rightarrow\mathbb R^m$, where $M^d$ is a closed hyperbolic manifold of large injectivity radius. More precisely, we show that if the injectivity radius of $M$ is greater than $50\log((n+1)!)$, then for each dimension $0<k<d-m$ there is a point $z\in\mathbb R^m$ such that any cell structure on the fiber $p^{-1}(z)$ has more than $n$ cells of dimension $k$. The proof is based on a freedom theorem for ideals in group rings of hyperbolic groups proved in arXiv:2309.16791.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper proves that for a closed hyperbolic manifold M^d with injectivity radius larger than 50 log((n+1)!), and for PL or generic smooth maps p: M → R^m, there exists z ∈ R^m such that any cell structure on the fiber p^{-1}(z) requires more than n cells in each dimension k with 0 < k < d-m. The argument applies a freedom theorem for ideals in group rings of hyperbolic groups (arXiv:2309.16791) to π1(M) to obtain the stated cellular lower bound.

Significance. If the application of the cited freedom theorem is verified without additional assumptions, the result supplies explicit, quantitative lower bounds on the cellular complexity of generic fibers, linking large-scale hyperbolic geometry to algebraic properties of group rings. The concrete numerical threshold on injectivity radius is a strength, as it makes the claim falsifiable and directly testable against the hypotheses of the freedom theorem.

major comments (2)
  1. [Proof of the main theorem (likely §3 or §4)] The manuscript does not contain an explicit verification that inj(M) > 50 log((n+1)!) meets every hypothesis of the freedom theorem from arXiv:2309.16791 when applied to π1(M). This check is load-bearing for the central claim and must appear as a lemma or calculation before the main theorem.
  2. [Section deriving the cellular bound from ideal freeness] The passage from freeness of the relevant ideal in the group ring to the lower bound of >n cells of dimension k on a generic fiber p^{-1}(z) is not detailed; it is unclear whether this step introduces geometric assumptions (e.g., on the map p or the cell structure) beyond those of the freedom theorem.
minor comments (2)
  1. The abstract should specify the admissible range of m relative to d and clarify whether the result holds for all m or only m < d.
  2. Notation for the fiber p^{-1}(z) and the cell structures should be introduced earlier to improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for identifying points that require clarification. We agree that both major comments identify genuine gaps in the exposition and will revise the manuscript to address them explicitly.

read point-by-point responses

  1. Referee: [Proof of the main theorem (likely §3 or §4)] The manuscript does not contain an explicit verification that inj(M) > 50 log((n+1)!) meets every hypothesis of the freedom theorem from arXiv:2309.16791 when applied to π1(M). This check is load-bearing for the central claim and must appear as a lemma or calculation before the main theorem.

    Authors: We agree that an explicit verification is required. In the revised manuscript we will insert a new lemma (placed immediately before the main theorem) that confirms the injectivity-radius hypothesis inj(M) > 50 log((n+1)!) satisfies every listed hypothesis of the freedom theorem (arXiv:2309.16791) when the group ring is taken over π1(M) for a closed hyperbolic manifold. The lemma will record the relevant constants from the cited paper and verify that the hyperbolicity and ideal-freeness conditions hold under the stated numerical bound. revision: yes

  2. Referee: [Section deriving the cellular bound from ideal freeness] The passage from freeness of the relevant ideal in the group ring to the lower bound of >n cells of dimension k on a generic fiber p^{-1}(z) is not detailed; it is unclear whether this step introduces geometric assumptions (e.g., on the map p or the cell structure) beyond those of the freedom theorem.

    Authors: We will expand the derivation section to give a self-contained, step-by-step argument showing how ideal freeness in the group ring implies the stated cellular lower bound. The argument uses only the algebraic freeness statement together with the standard properties of PL maps and generic smooth maps to R^m; no additional geometric hypotheses on p or on the cell structure of the fiber are introduced. The revised text will make explicit that the bound applies to an arbitrary cell structure on any fiber p^{-1}(z). revision: yes

Circularity Check

1 steps flagged

Central cellular lower bound obtained solely by applying cited freedom theorem (arXiv:2309.16791) to π1(M)

specific steps
  1. self citation load bearing [Abstract]
    "The proof is based on a freedom theorem for ideals in group rings of hyperbolic groups proved in arXiv:2309.16791."

    The paper's claimed lower bound on the number of k-cells in any cell structure of p^{-1}(z) is asserted to follow directly once the injectivity-radius condition ensures that the fundamental group satisfies the hypotheses of the cited theorem; the derivation chain therefore reduces to invocation of the prior result without an independent check or alternative argument inside this manuscript.

full rationale

The manuscript states that its main result follows from the injectivity-radius hypothesis making π1(M) satisfy the hypotheses of the freedom theorem proved in the cited prior work, after which the freeness property directly yields the cell-count lower bound on generic fibers. No independent derivation or verification of the algebraic step appears in the provided text; the geometric-to-algebraic reduction is therefore load-bearing on the self-citation. This matches the self-citation-load-bearing pattern and produces a moderate circularity score because the cited theorem is external to the present manuscript but originates from overlapping authorship.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim depends on the freedom theorem stated in the cited preprint; no free parameters or new entities are introduced in the abstract itself.

axioms (1)
  • domain assumption Freedom theorem for ideals in group rings of hyperbolic groups (arXiv:2309.16791)
    Invoked as the sole algebraic input that converts large injectivity radius into the cellular lower bound.

pith-pipeline@v0.9.1-grok · 5640 in / 1274 out tokens · 30554 ms · 2026-06-27T04:58:18.352165+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

44 extracted references · 22 canonical work pages

  1. [1]

    , journal=

    Abramenko, P. , journal=. On finite and elementary generation of

  2. [2]

    Inventiones mathematicae , volume=

    Triangulation of subanalytic sets and proper light subanalytic maps , author=. Inventiones mathematicae , volume=. 1976 , publisher=

    1976

  3. [3]

    2007 , publisher=

    Stratified mappings-structure and triangulability , author=. 2007 , publisher=

    2007

  4. [4]

    Arzhantseva, G. N. , TITLE =. Topological and asymptotic aspects of group theory , SERIES =. 2006 , MRCLASS =. doi:10.1090/conm/394/07430 , URL =

    work page doi:10.1090/conm/394/07430 2006

  5. [5]

    , TITLE =

    Avramidi, G. , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2022 , NUMBER =

    2022

  6. [6]

    Group rings and hyperbolic geometry , author=

  7. [7]

    and Cooper, D

    Bachman, D. and Cooper, D. and White, M. E. , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2004 , PAGES =. doi:10.2140/agt.2004.4.31 , URL =

    work page doi:10.2140/agt.2004.4.31 2004

  8. [8]

    and Sauer, R

    Bader, U. and Sauer, R. , journal=. Uniform waist inequalities in codimension two for manifolds with

  9. [9]

    , TITLE =

    Banaschewski, B. , TITLE =. Canad. Math. Bull. , FJOURNAL =. 1961 , PAGES =. doi:10.4153/CMB-1961-024-4 , URL =

    work page doi:10.4153/cmb-1961-024-4 1961

  10. [10]

    , TITLE =

    Bass, H. , TITLE =. J. Algebra , FJOURNAL =. 1964 , PAGES =. doi:10.1016/0021-8693(64)90016-X , URL =

    work page doi:10.1016/0021-8693(64)90016-x 1964

  11. [11]

    Bridson, M. R. and Haefliger, A. , TITLE =. 1999 , PAGES =. doi:10.1007/978-3-662-12494-9 , URL =

    work page doi:10.1007/978-3-662-12494-9 1999

  12. [12]

    Brown, K. S. , TITLE =. 1994 , PAGES =

    1994

  13. [13]

    Cohen, D. E. and Lyndon, R. C. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1963 , PAGES =. doi:10.2307/1993597 , URL =

    work page doi:10.2307/1993597 1963

  14. [14]

    Cohn, P. M. , TITLE =. 2006 , PAGES =. doi:10.1017/CBO9780511542794 , URL =

    work page doi:10.1017/cbo9780511542794 2006

  15. [15]

    Cohn, P. M. , TITLE =. J. Algebra , FJOURNAL =. 1964 , PAGES =. doi:10.1016/0021-8693(64)90007-9 , URL =

    work page doi:10.1016/0021-8693(64)90007-9 1964

  16. [16]

    Cohn, P. M. , TITLE =. Inst. Hautes \'. 1966 , PAGES =

    1966

  17. [17]

    Cohn, P. M. , TITLE =. Actes du. 1971 , MRCLASS =

    1971

  18. [18]

    and Delzant, T

    Coornaert, M. and Delzant, T. and Papadopoulos, A. , TITLE =. 1990 , PAGES =

    1990

  19. [19]

    , TITLE =

    Delzant, T. , TITLE =. C. R. Acad. Sci. Paris S\'. 1997 , NUMBER =. doi:10.1016/S0764-4442(97)80071-7 , URL =

    work page doi:10.1016/s0764-4442(97)80071-7 1997

  20. [20]

    and Dunwoody, M

    Dicks, W. and Dunwoody, M. J. , TITLE =. 1989 , PAGES =

    1989

  21. [21]

    and Ganea, T

    Eilenberg, S. and Ganea, T. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1957 , PAGES =. doi:10.2307/1970062 , URL =

    work page doi:10.2307/1970062 1957

  22. [22]

    Fox, R. H. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1953 , PAGES =. doi:10.2307/1969736 , URL =

    work page doi:10.2307/1969736 1953

  23. [23]

    , TITLE =

    Gromov, M. , TITLE =. Essays in group theory , SERIES =. 1987 , MRCLASS =. doi:10.1007/978-1-4613-9586-7\_3 , URL =

    work page doi:10.1007/978-1-4613-9586-7 1987

  24. [24]

    Geometry & Topology , volume=

    The triangulation complexity of fibred 3--manifolds , author=. Geometry & Topology , volume=. 2024 , publisher=

    2024

  25. [25]

    Geometriae Dedicata , volume=

    Forgetful maps between Deligne--Mostow ball quotients , author=. Geometriae Dedicata , volume=. 2011 , publisher=

    2011

  26. [26]

    Transformation groups , volume=

    Free quotients and the first Betti number of some hyperbolic manifolds , author=. Transformation groups , volume=. 1996 , publisher=

    1996

  27. [27]

    , TITLE =

    Gromov, M. , TITLE =. Geom. Funct. Anal. , FJOURNAL =. 2009 , NUMBER =. doi:10.1007/s00039-009-0021-7 , URL =

    work page doi:10.1007/s00039-009-0021-7 2009

  28. [28]

    , title =

    Guth, L. , title =. The Abel Prize 2008--2012 , editor =. 2014 , pages =

    2008

  29. [29]

    arXiv preprint arXiv:2412.01510 , year=

    Minimal Submanifolds and Waists of Locally Symmetric Spaces , author=. arXiv preprint arXiv:2412.01510 , year=

    arXiv

  30. [30]

    , TITLE =

    Hatcher, A. , TITLE =. 2002 , PAGES =

    2002

  31. [31]

    , TITLE =

    Hog-Angeloni, C. , TITLE =. Topology and combinatorial group theory , SERIES =. 1990 , MRCLASS =. doi:10.1007/BFb0084454 , URL =

    work page doi:10.1007/bfb0084454 1990

  32. [32]

    , TITLE =

    Kaplansky, I. , TITLE =. Report of a conference on linear algebras,. 1957 , MRCLASS =

    1957

  33. [33]

    and Weidmann, R

    Kapovich, I. and Weidmann, R. , TITLE =. Geom. Dedicata , FJOURNAL =. 2003 , PAGES =. doi:10.1023/A:1024064029186 , URL =

    work page doi:10.1023/a:1024064029186 2003

  34. [34]

    Free quotients of

    Krsti\'. Free quotients of. Proc. Amer. Math. Soc. , FJOURNAL =. 1997 , NUMBER =. doi:10.1090/S0002-9939-97-03809-4 , URL =

    work page doi:10.1090/s0002-9939-97-03809-4 1997

  35. [35]

    , TITLE =

    Lewin, J. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1969 , PAGES =. doi:10.2307/1995080 , URL =

    work page doi:10.2307/1995080 1969

  36. [36]

    , TITLE =

    Milnor, J. , TITLE =. 1963 , PAGES =

    1963

  37. [37]

    Passman, D. S. , TITLE =. 1985 , PAGES =

    1985

  38. [38]

    , TITLE =

    Sandling, R. , TITLE =. Integral representations and applications (. 1981 , MRCLASS =

    1981

  39. [39]

    Stallings, J. R. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1968 , PAGES =. doi:10.2307/1970577 , URL =

    work page doi:10.2307/1970577 1968

  40. [40]

    , TITLE =

    Thom, R. , TITLE =. C. R. Acad. Sci. Paris , FJOURNAL =. 1949 , PAGES =

    1949

  41. [41]

    Wall, C. T. C. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1965 , PAGES =. doi:10.2307/1970382 , URL =

    work page doi:10.2307/1970382 1965

  42. [42]

    , TITLE =

    Gardam, G. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2021 , NUMBER =. doi:10.4007/annals.2021.194.3.9 , URL =

    work page doi:10.4007/annals.2021.194.3.9 2021

  43. [43]

    , TITLE =

    Bartholdi, L. , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/JEMS/900 , URL =

    work page doi:10.4171/jems/900 2019

  44. [44]

    , TITLE =

    Higman, G. , TITLE =. Proc. London Math. Soc. (2) , FJOURNAL =. 1940 , PAGES =. doi:10.1112/plms/s2-46.1.231 , URL =

    work page doi:10.1112/plms/s2-46.1.231 1940