pith. sign in

arxiv: 2606.21039 · v1 · pith:CKKU2EDAnew · submitted 2026-06-19 · 🧮 math.GT · math.DS· math.GR

Taut polynomials from finite quotients of fibered hyperbolic 3-manifold groups

Tam Cheetham-West , Biao Ma , Jun Ueki , Youheng Yao This is my paper

Pith reviewed 2026-06-26 13:10 UTC · model grok-4.3

classification 🧮 math.GT math.DSmath.GR
keywords taut polynomialsfinite quotientsfibered hyperbolic 3-manifoldsThurston normtwisted Alexander polynomialsprofinite invarianceprofinite rigiditymonodromy
0
0 comments X

The pith

Finite quotients of fibered hyperbolic 3-manifold groups detect the taut polynomials of fibered faces of the Thurston norm ball when the monodromy map is fully-punctured.

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

The paper establishes that finite quotients of the fundamental group of a fibered hyperbolic 3-manifold detect the taut polynomials of its fibered faces in the Thurston norm ball, provided the monodromy is fully-punctured. This matters to a sympathetic reader because it shows profinite data from the group encodes geometric information about the manifold that is not obviously visible from the group alone. The authors introduce a general framework proving profinite invariance for twisted multivariable Alexander polynomials, which supports the detection. They also use normalized dilatations and the veering census to find specific one-cusped hyperbolic 3-manifolds that are profinitely rigid.

Core claim

We prove that the finite quotients of a fibered hyperbolic 3-manifold group detect the taut polynomials of fibered faces of the Thurston norm balls, whenever the monodromy map is fully-punctured. Toward this, we develop a general framework for the profinite invariance of twisted multivariable Alexander polynomials. We also identify specific hyperbolic one-cusped 3-manifolds that are profinitely rigid, by a strategy using normalized dilatations and the veering census.

What carries the argument

The general framework for profinite invariance of twisted multivariable Alexander polynomials, which carries the argument by showing that these polynomials, and thus the taut polynomials, are recoverable from the finite quotients of the manifold group.

If this is right

  • Taut polynomials of fibered faces become invariants of the profinite completion of the fundamental group.
  • Twisted multivariable Alexander polynomials are profinitely invariant under the stated conditions.
  • The identified one-cusped hyperbolic 3-manifolds are completely determined by their finite quotients.
  • The detection provides a new method to extract Thurston norm data directly from group quotients.

Where Pith is reading between the lines

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

  • The framework might allow recovery of taut polynomials even when the manifold is not fibered, if suitable twisted polynomials can be defined.
  • Enumeration of finite quotients could offer a computational route to approximate or compute taut polynomials without direct access to the manifold.
  • The profinite rigidity results could be tested on additional manifolds from the veering census to expand the list of rigid examples.

Load-bearing premise

The monodromy map is fully-punctured.

What would settle it

Two fibered hyperbolic 3-manifolds with fully-punctured monodromies that share the same finite quotients but have different taut polynomials on their fibered faces would falsify the detection claim.

Figures

Figures reproduced from arXiv: 2606.21039 by Biao Ma, Jun Ueki, Tam Cheetham-West, Youheng Yao.

Figure 1
Figure 1. Figure 1: A model veering tetrahedron: right veering edges are red, left veering edges are blue We say that a veering (or taut) triangulation is layered if it can be built by stacking tetrahedra onto a triangulated surface and quotienting by a homeomorphism of the surface. 4.2.2. The horizontal branched surface. Every veering triangulation V of M defines a canonical branched surface B = B(V), called the horizontal b… view at source ↗
Figure 2
Figure 2. Figure 2: a dual train track A dual train track τ in a horizontal branched surface B is called the upper track (resp. lower track) if τ has the property that the large half-branch of τf = τ ∩ f meets the bottom (resp. top) diagonal of the tetrahedron immediately above (resp. below) f for every face f ⊂ B. 4.2.3. The edge-orientation homomorphism. We say that a veering trian￾gulation V is edge-orientable if the upper… view at source ↗
read the original abstract

We prove that the finite quotients of a fibered hyperbolic 3-manifold group detect the taut polynomials of fibered faces of the Thurston norm balls, whenever the monodromy map is fully-punctured. Toward this, we develop a general framework for the profinite invariance of twisted multivariable Alexander polynomials. We also identify specific hyperbolic one-cusped 3-manifolds that are profinitely rigid, by a strategy using normalized dilatations and the veering census.

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

0 major / 1 minor

Summary. The manuscript proves that finite quotients of a fibered hyperbolic 3-manifold group detect the taut polynomials of fibered faces of the Thurston norm ball whenever the monodromy is fully-punctured. It develops a general framework for profinite invariance of twisted multivariable Alexander polynomials and identifies specific one-cusped hyperbolic 3-manifolds that are profinitely rigid via normalized dilatations and the veering census.

Significance. If the central detection result holds, it would establish a concrete link between profinite data and geometric invariants (taut polynomials) for fibered faces, extending work on profinite rigidity of 3-manifold groups. The invariance framework for twisted Alexander polynomials is a potentially reusable technical contribution, and the explicit examples of rigid manifolds provide testable instances.

minor comments (1)
  1. The abstract states the main theorem but does not indicate the length or structure of the proof; a referee would benefit from an explicit outline of the argument in §1 or §2.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing the manuscript and for the provided summary of our results on finite quotients detecting taut polynomials for fully-punctured monodromy, the profinite invariance framework for twisted multivariable Alexander polynomials, and the examples of profinitely rigid one-cusped manifolds. No major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The central result is a conditional proof that finite quotients detect taut polynomials for fully-punctured monodromy maps, supported by a developed framework for profinite invariance of twisted Alexander polynomials. No equations or steps reduce by construction to fitted inputs, self-definitions, or load-bearing self-citations. The assumption is stated explicitly, and the framework is presented as newly developed rather than renamed or smuggled. This matches the default expectation of non-circularity for a proof paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only abstract available; ledger is necessarily incomplete. No free parameters, invented entities, or ad-hoc axioms are mentioned.

axioms (1)
  • domain assumption The 3-manifold is fibered, hyperbolic, and the monodromy is fully-punctured.
    Required for the main detection statement in the abstract.

pith-pipeline@v0.9.1-grok · 5612 in / 1199 out tokens · 24262 ms · 2026-06-26T13:10:45.581072+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

22 extracted references · 8 canonical work pages · 2 internal anchors

  1. [1]

    MR3444187 [Ago11] Ian Agol,Ideal triangulations of pseudo-Anosov mapping tori, Topology and geometry in dimension three, 2011, pp. 1–17. MR2866919 [AT24a] Ian Agol and Chi Cheuk Tsang,Dynamics of veering triangulations: infinites- imal components of their flow graphs and applications, Algebr. Geom. Topol. 24(2024), no. 6, 3401–3453. MR4812222 [AT24b] ,Dyn...

    2011

  2. [2]

    Bridson and Alan W

    MR217051 30 [BR20] Martin R. Bridson and Alan W. Reid,Profinite rigidity, fibering, and the figure-eight knot, What’s next?—the mathematical legacy of William P. Thurston, 2020, pp. 45–64. MR4205635 [Bro82] Kenneth S. Brown,Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York-Berlin,

    2020

  3. [3]

    Multiplicity of non-acyclic ${\rm SL}_2$-representations and L-functions of the odd-twisted Whitehead links

    preprint ver.2. arXiv:2303.15941. [BV13] Nicolas Bergeron and Akshay Venkatesh,The asymptotic growth of torsion ho- mology for arithmetic groups, J. Inst. Math. Jussieu12(2013), no. 2, 391–447. MR3028790 [CE99] Henri Cartan and Samuel Eilenberg,Homological algebra, Princeton Land- marks in Mathematics, Princeton University Press, Princeton, NJ,

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  4. [4]

    Buchsbaum, Reprint of the 1956 original

    With an appendix by David A. Buchsbaum, Reprint of the 1956 original. MR1731415 [Cim04] David Cimasoni,Studying the multivariable Alexander polynomial by means of Seifert surfaces, Bol. Soc. Mat. Mexicana (3)10(2004), 107–115. MR2199342 [CX26] Tamunonye Cheetham-West and Xiaoyu Xu,Profinite rigidity for two-bridge links and 3-tangle montesinos links,

    1956

  5. [5]

    arXiv:2603.20822

    preprint. arXiv:2603.20822. [CY25] Tamunonye Cheetham-West and Youheng Yao,Finite covers and strict bound- ary slopes of cusped hyperbolic 3-manifolds,

    work page arXiv

  6. [6]

    arXiv:2506.12289

    preprint. arXiv:2506.12289. [DFPR82] John D. Dixon, Edward W. Formanek, John C. Poland, and Luis Ribes,Profi- nite completions and isomorphic finite quotients, J. Pure Appl. Algebra23 (1982), no. 3, 227–231. MR644274 [DPM+26] Daniel Droves, Ha¨ ıssinsky Peter, Jason F. Manning, Damian Osajda, Alessan- dro Sisto, and Genevieve S. Walsh,Drilling hyperbolic groups,

    work page arXiv 1982

  7. [7]

    arXiv:2406.14667

    preprint. arXiv:2406.14667. [Fen12] S´ ergio Fenley,Ideal boundaries of pseudo-Anosov flows and uniform conver- gence groups with connections and applications to large scale geometry, Geom. Topol.16(2012), no. 1, 1–110. MR2872578 [FM12] Benson Farb and Dan Margalit,A primer on mapping class groups, Princeton Mathematical Series, vol. 49, Princeton Univers...

    work page arXiv 2012

  8. [8]

    251–266 (fr)

    MR2850125 [Fri79] David Fried,Fibrations overS 1 with pseudo-anosov monodromy, Travaux de thurston sur les surfaces - s´ eminaire orsay, 1979, pp. 251–266 (fr). [FSS25] Steven Frankel, Saul Schleimer, and Henry Segerman,From veering triangu- lations to link space and back again,

    1979

  9. [9]

    arXiv:1911.00006

    preprint. arXiv:1911.00006. [FV11] Stefan Friedl and Stefano Vidussi,A survey of twisted Alexander polynomials, The mathematics of knots, 2011, pp. 45–94. MR2777847 [GJZPZ14] Fritz Grunewald, Andrei Jaikin-Zapirain, Aline G. S. Pinto, and Pavel A. Zalesskii,Normal subgroups of profinite groups of non-negative deficiency, J. Pure Appl. Algebra218(2014), no...

    work page arXiv 1911

  10. [10]

    [Hem87] John Hempel,Residual finiteness for3-manifolds, Combinatorial group theory and topology (Alta, Utah, 1984), 1987, pp. 379–396. MR895623 31 [Hil05] Christopher J. Hillar,Cyclic resultants, J. Symbolic Comput.39(2005), no. 6, 653–669. MR2167674 [HK25] Sam Hughes and Dawid Kielak,Profinite rigidity of fibring, Rev. Mat. Iberoam.41(2025), no. 4, 1305–...

    1984

  11. [11]

    Arithmetic Chern-Simons Theory I

    (cf. arXiv:1510.05818). MR4166922 [Kit22] Takahiro Kitayama,A survey of the Thurston norm, In the tradition of Thurston II. Geometry and groups, 2022, pp. 149–199. MR4472050 [Lˆ e14] Thang Lˆ e,Homology torsion growth and Mahler measure, Comment. Math. Helv.89(2014), no. 3, 719–757. MR3260847 [Lˆ e18] Thang T. Q. Lˆ e,Growth of homology torsion in finite ...

    work page internal anchor Pith review Pith/arXiv arXiv 2022

  12. [12]

    2792–2805

    Sections 5–8, 2023, pp. 2792–2805. MR4680341 [Liu25] ,Finite quotients, arithmetic invariants, and hyperbolic volume, Peking Math. J.8(2025), no. 1, 143–189. MR4870949 [LMT23] Michael P. Landry, Yair N. Minsky, and Samuel J. Taylor,Flows, growth rates, and the veering polynomial, Ergodic Theory Dynam. Systems43(2023), no. 9, 3026–3107. MR4624489 [LMT24] ,...

    2023

  13. [13]

    MR385004 [Mur66] Kunio Murasugi,On Milnor’s invariant for links, Trans. Amer. Math. Soc. 124(1966), 94–110. MR198453 [Neu99] J¨ urgen Neukirch,Algebraic number theory, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 322, Springer-Verlag, Berlin,

    1966

  14. [14]

    Translated from the 1992 German original and with a note by Norbert Schappacher, With a foreword by G. Harder. MR1697859 (2000m:11104) [NS07] Nikolay Nikolov and Dan Segal,On finitely generated profinite groups. I. Strong completeness and uniform bounds, Ann. of Math. (2)165(2007), no. 1, 171–238. MR2276769 [Par23] Anna Parlak,The taut polynomial and the ...

    1992

  15. [15]

    Vol. II. Invited lectures, 2018, pp. 1193–1216. MR3966805 [RZ10] Luis Ribes and Pavel Zalesskii,Profinite groups, Second, Ergebnisse der Math- ematik und ihrer Grenzgebiete

    2018

  16. [16]

    MR2599132 [Sak12] Makoto Sakuma,Problem session, Gometric and analytic approaches to representations of a group and representation spaces, 2011, 2012February, pp. 110–112. [Seg26] Henry Segerman,veering census with data.txt, 2026.https://math.okstate. edu/people/segerman/veering/veering_census_with_data.txt. [Ser94] Jean-Pierre Serre,Cohomologie galoisien...

    2011

  17. [17]

    MR1324577 (96b:12010) [Smy81] C. J. Smyth,On measures of polynomials in several variables, Bull. Austral. Math. Soc.23(1981), no. 1, 49–63. MR615132 [SW02] Daniel S. Silver and Susan G. Williams,Mahler measure, links and homology growth, Topology41(2002), no. 5, 979–991. MR1923995 [Thu86a] William P. Thurston,Hyperbolic structures on 3-manifolds, II: Surf...

    1981

  18. [18]

    arXiv:9801019

    preprint. arXiv:9801019. 33 [Thu86b] ,A norm for the homology of 3-manifolds, Memoirs of the American Mathematical Society59(1986), 99–130. [Tra84] Lorenzo Traldi,Milnor’s invariants and the completions of link modules, Trans. Amer. Math. Soc.284(1984), no. 1, 401–424. MR742432 [Tsa26] Chi Cheuk Tsang,On the set of normalized dilatations of fully-puncture...

    1986

  19. [19]

    to appear in Ann. Inst. Fourier. [TU25] Sohei Tateno and Jun Ueki,The Iwasawa invariants ofZ d p-covers of links, J. Lond. Math. Soc. (2)111(2025), no. 6, Paper No. e70183,

    2025

  20. [20]

    MR4920377 [Uek18] Jun Ueki,The profinite completions of knot groups determine the Alexander polynomials, Algebr. Geom. Topol.18(5)(2018), 3013–3030. [Uek21] ,Profinite rigidity for twisted Alexander polynomials, J. Reine Angew. Math.771(2021), 171–192. MR4234095 [Wil18a] Gareth Wilkes,Profinite completions, cohomology and JSJ decompositions of compact 3-m...

    2018

  21. [21]

    arXiv:2412.05229

    preprint. arXiv:2412.05229. [Xu25a] ,On regularity of profinite isomorphisms between cusped hyperbolic 3- manifolds and theA-polynomial,

    work page arXiv

  22. [22]

    arXiv:2506.21105

    preprint. arXiv:2506.21105. [Xu25b] ,Profinite almost rigidity in 3-manifolds, Adv. Math.480(2025), Pa- per No. 110505,

    work page arXiv 2025