Regularity of profinite isomorphisms of hyperbolic 3-manifolds

Liam Hanany

Regularity of profinite isomorphisms of hyperbolic 3-manifolds

T0 review · 0 major / 4 minor · reviewed 2026-07-11 · grok-4.5

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

Pith's one-line read Profinite isomorphisms of finite-volume hyperbolic 3-manifolds are regular: the induced map on discrete homology multiplies only by ±1.

desk verdict Clean arithmetic upgrade of Liu’s μ^{2}=1 to full regularity μ=±1 for all finite-volume hyperbolic 3-manifolds; short, self-contained, and ready for referees. read the letter →

arxiv 2607.04530 v1 pith:L6VLVPJQ submitted 2026-07-05 math.GR math.GT

Liam Hanany This is my paper · ORCID

classification math.GRmath.GT MSC 20E1857M0557M2711R06

keywords profiniteisomorphismhyperbolic3-manifoldregularityAlexanderpolynomialvirtualfiberingcontinuousidealreciprocalLaurentThurstonnorm

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 proves that any isomorphism between the profinite completions of the fundamental groups of two finite-volume hyperbolic 3-manifolds is regular. Regularity means that the map induced on ordinary integer homology multiplies by exactly +1 or -1, not by an arbitrary unit of the profinite integers. Earlier work had shown only that the multiplier is a unit of square 1, leaving uncountably many possibilities that could flip signs at different primes. By combining virtual fibering, alignment of fibrations, and a new number-theoretic criterion on Alexander polynomials, the paper eliminates every multiplier other than ±1. The result therefore strengthens the known constraints on how much information the finite quotients of a hyperbolic 3-manifold group can determine about the manifold itself.

What carries the argument

Theorem 1.2: a monic reciprocal Laurent polynomial f satisfying the continuous ideal equality (f(t))=(f(t^µ)) in the completed group ring forces µ=±1 unless every root of f is a root of unity. The argument uses Schinzel’s theorem on residue-field orders of non-torsion algebraic numbers together with the already-known fact that µ^{2}=1.

What would settle it

Exhibit a finite-volume hyperbolic 3-manifold that is virtually fibred yet every Alexander polynomial of every finite cover has only roots of unity (or roots on the unit circle), so that the multiplier µ of square 1 cannot be forced to ±1.

Watch

Extended reading notes

Core claim

Any profinite isomorphism Φ between the fundamental groups of two finite-volume hyperbolic 3-manifolds is regular: the induced map on discrete homology is multiplication by ±1. Equivalently, after aligning fibrations, the monodromy Alexander polynomials force the continuous ideal equality (f(t))=(f(t^µ)) to imply µ=±1 whenever f has a root that is not a root of unity.

Load-bearing premise

The argument needs every hyperbolic 3-manifold to admit a finite cover whose monodromy Alexander polynomial has a root outside the unit circle; without that spectral-radius statement the reduction to the polynomial criterion fails.

Editorial extensions

If this is right

Any profinite isomorphism of finite-volume hyperbolic 3-manifolds multiplies discrete homology by exactly ±1.
The same regularity holds for free-by-cyclic groups with fully irreducible (or exponentially growing) monodromy once bZ imes-regularity is known.
Two Laurent polynomials related by a continuous ideal equality (f(t))=(g(t^µ)) must satisfy µ=±1 and f(t)=g(t^{±1}) up to units whenever either has a non-torsion root.
Alignment of fibrations via a profinite isomorphism now yields ordinary (not merely profinite) equality of monodromy Alexander polynomials.

Reading between the lines

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

The number-theoretic criterion may apply directly to other groups whose Alexander modules arise from monodromies with spectral radius greater than 1, such as certain mapping tori of free-group automorphisms.
Once regularity is settled, residual questions about whether the manifolds themselves are homeomorphic reduce more cleanly to comparisons of Thurston norms and fibred faces.
The same residue-order argument could rule out exotic multipliers for continuous ideal equalities in completed group rings of other finitely generated groups.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The one thing to know is that Hanany finishes the last continuous ambiguity left by Liu: any profinite isomorphism of finite-volume hyperbolic 3-manifolds is regular (μ=±1), not merely bZ×-regular with μ^{2}=1. The geometric reduction is standard (Agol–Wise virtual fibering + Liu’s spectral-radius theorem + alignment of Alexander polynomials), so the real work is the new number-theoretic criterion (Theorem 1.2 and its non-monic extension 1.4).

What is new is the Schinzel-order argument that rules out mixed signs of μ at distinct primes. Once you have a non-root-of-unity root α, you produce a residue field in which the order of α is a product of high powers of two primes where the local signs of μ differ; the pro-r kernel then forces a root of unity of order larger than the bound coming from the other roots of f, a contradiction. The write-up is elementary, fully expanded, and independent of the geometric conclusion it is later applied to. Ueki’s reciprocal-polynomial lemma and Mahler’s p-adic log result are used cleanly as black boxes. The free-by-cyclic corollary is a short, honest bonus that correctly flags the missing bZ×-regularity hypothesis.

Soft spots are minor and proportional. The argument inherits whatever residual gaps exist in Liu’s virtual spectral-radius statement and in the published virtual-fibering theorems; if those fail for some manifold the reduction collapses, but that is already public knowledge and not a new vulnerability. The paper is short, citation-heavy on Liu (as expected), and contains no free parameters or circular reductions. Math checks out on a careful read.

This is for specialists already working inside the Liu–Boileau–Friedl program or on free-by-cyclic rigidity. It does not reorganize the landscape, but it closes a genuine technical gap cleanly. I would bring it to reading group, cite the polynomial criterion if I need the stronger regularity statement, and send it to peer review without hesitation.

Referee Report

0 major / 4 minor

Summary. The paper proves that any profinite isomorphism Φ between the fundamental groups of finite-volume hyperbolic 3-manifolds is regular in the sense of Boileau–Friedl: the induced map on discrete first homology is multiplication by ±1. This upgrades Liu’s earlier theorems that such isomorphisms are only ℤ̂×-regular with μ^{2}=1. The argument reduces the geometric statement, via Agol–Wise virtual fibering, Liu’s alignment of fibrations, and Liu’s virtual spectral-radius theorem, to a purely number-theoretic criterion (Theorem 1.2): if a monic reciprocal Laurent polynomial f satisfies (f(t))=(f(t^μ)) as continuous ideals in ℤ̂[[ℤ̂]], then either μ=±1 or every root of f is a root of unity. The criterion is proved by combining Schinzel’s theorem on orders of algebraic numbers with the pro-r structure of local units, after which Ueki’s theorem identifies the Alexander polynomials. Parallel statements for general Laurent polynomials and a conditional corollary for free-by-cyclic groups are also obtained.

Significance. The result closes a natural gap left by Liu’s work and by Xu’s boundary case, placing the regularity of profinite isomorphisms of hyperbolic 3-manifolds on the same footing as the discrete case. The new algebraic criterion (Theorem 1.2 and its non-monic extension) is self-contained, elementary once Schinzel and local unit groups are granted, and of independent interest for other profinite-rigidity questions (as the free-by-cyclic corollary and the remark on Wykowski illustrate). The reduction itself is clean and uses only published geometric black boxes, so the paper supplies a sharp, usable strengthening rather than a re-derivation.

minor comments (4)

In the proof of Theorem 1.2 the bound N is defined as an upper bound on orders of roots of unity of the form β·γ or β/γ; it would help the reader to note explicitly that this set is finite because there are only finitely many roots of f.
The parenthetical remark after Theorem 1.2 that “Liu proved μ^{2}=1, leaving uncountably many options” is slightly informal; a one-sentence clarification that the product of independent ±1 choices at each prime yields a continuum would make the improvement more transparent.
In §4.1 the sentence “We do not claim any novelty” for Lemma 4.1 is unnecessary; the modifications relative to Liu are already clear and the disclaimer can be omitted.
A few typographical inconsistencies appear: missing spaces after commas in several citations, and the arXiv identifiers in the abstract are written without the usual “arXiv:” prefix.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: independent number-theoretic upgrade of Liu's μ^{2}=1 result, applied to external geometric black boxes

full rationale

The paper's central claim (Theorem 1.1) is obtained by applying a new, self-contained algebraic criterion (Theorem 1.2) to Alexander polynomials of virtually fibred hyperbolic 3-manifolds. Theorem 1.2 is proved from Schinzel's order theorem, the pro-r structure of the kernel of the reduction map on units, and Liu's prior conclusion that μ^{2}=1; none of these ingredients is defined in terms of regularity of Φ. The geometric scaffolding (Liu's bZ imes-regularity and alignment of fibrations, Ueki's uniqueness for reciprocal polynomials, Agol–Wise virtual fibering, Liu's virtual spectral-radius theorem) is imported as published external statements and used as black boxes; the paper does not re-derive them from the target regularity statement, nor does it fit any parameter to data that is later re-predicted. Corollary 1.5 and the free-by-cyclic remarks are likewise direct consequences of the same algebraic criterion. No equation reduces the claimed regularity to a quantity defined by that regularity, and no load-bearing uniqueness is imported solely from the present author's prior work. The derivation is therefore free of the enumerated circularity patterns.

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

The paper is a pure-mathematics strengthening that rests on standard algebraic-number-theory facts, published geometric theorems of Liu–Agol–Wise, and the definition of continuous ideals in completed group rings. No free parameters are fitted and no new physical or geometric entities are postulated.

assumptions (5)

standard math Schinzel’s theorem on primitive divisors / orders of non-torsion algebraic numbers in residue fields (Theorem 3.1)
Invoked in the proof of Theorem 1.2 to produce primes at which a non-root-of-unity root has prescribed order pn·qm.
domain assumption Liu’s virtual spectral-radius theorem: every fibred hyperbolic 3-manifold has a finite cover whose Alexander polynomial has a root outside the unit circle (Theorem 2.8)
Used in the proof of Theorem 1.1 to guarantee that the Alexander polynomial to which Theorem 1.2 is applied is not a product of cyclotomics.
domain assumption Agol–Wise virtual fibering for hyperbolic 3-manifolds
Allows passage to a finite fibred cover so that aligned fibrations exist and Alexander polynomials can be compared.
standard math Ueki’s uniqueness theorem for reciprocal Laurent polynomials under continuous ideal equality (Theorem 2.7)
Used to identify the Alexander polynomials once μ = ±1 is known, and again in the proof of Corollary 1.5.
standard math Mahler’s theorem on p-adic logarithms of algebraic numbers (used in Lemma 4.1)
Supplies the rationality of the p-adic logarithm ratio that forces the local projection of μ to be ±1.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Regularity of profinite isomorphisms of hyperbolic 3-manifolds." pith.science (2026). https://pith.science/paper/L6VLVPJQ

@misc{pith2026260704530,
  author       = {Pith},
  title        = {Pith review of: Regularity of profinite isomorphisms of hyperbolic 3-manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/L6VLVPJQ}},
  note         = {Machine review of arXiv:2607.04530}
}

read the original abstract

We strengthen a result of Liu from his papers arXiv:2011.09412, arXiv:2105.01022, by proving that profinite isomorphisms of hyperbolic 3-manifolds are regular in the sense of Boileau and Friedl arXiv:1505.07799

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 7 canonical work pages

[1]

arXiv preprint arXiv:2506.21105 , year=

On regularity of profinite isomorphisms between cusped hyperbolic 3-manifolds and the A -polynomial , author=. arXiv preprint arXiv:2506.21105 , year=

arXiv
[2]

Peking Math

Liu, Yi , TITLE =. Peking Math. J. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s42543-023-00077-1 , URL =

work page doi:10.1007/s42543-023-00077-1 2025
[3]

2025 , eprint =

Julian Wykowski , title =. 2025 , eprint =

2025
[4]

arXiv preprint arXiv:2410.00556 , year=

The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups , author=. arXiv preprint arXiv:2410.00556 , year=

arXiv
[5]

Hughes, Sam and Kudlinska, Monika , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/plms.70059 , URL =

doi:10.1112/plms.70059 2025
[6]

Liu, Yi , TITLE =. Invent. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00222-022-01155-4 , URL =

doi:10.1007/s00222-022-01155-4 2023
[7]

Duke Math

Liu, Yi , TITLE =. Duke Math. J. , FJOURNAL =. 2023 , NUMBER =. doi:10.1215/00127094-2022-0047 , URL =

work page doi:10.1215/00127094-2022-0047 2023
[8]

Liu, Yi , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/jams/949 , URL =

work page doi:10.1090/jams/949 2020

Show all 28 references

[9]

Jaikin-Zapirain, Andrei , TITLE =. Geom. Topol. , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/gt.2020.24.409 , URL =

2020 doi
[10]

Ueki, Jun , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2018 , NUMBER =. doi:10.2140/agt.2018.18.3013 , URL =

2018 doi
[11]

Wilton, Henry and Zalesskii, Pavel , TITLE =. Compos. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/s0010437x1800787x , URL =

2019 doi
[12]

Wilton, Henry and Zalesskii, Pavel , TITLE =. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/gt.2017.21.345 , URL =

2017 doi
[13]

, TITLE =

Wise, Daniel T. , TITLE =. 2021 , PAGES =

2021
[14]

What's next?---the mathematical legacy of

Boileau, Michel and Friedl, Stefan , TITLE =. What's next?---the mathematical legacy of. 2020 , ISBN =. doi:10.2307/j.ctvthhdvv.5 , URL =

2020 doi
[15]

Hadari, Asaf , TITLE =. Geom. Topol. , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/gt.2020.24.1717 , URL =

2020 doi
[16]

and Reid, Alan W

Bridson, Martin R. and Reid, Alan W. , TITLE =. What's next?---the mathematical legacy of. 2020 , ISBN =. doi:10.2307/j.ctvthhdvv.6 , URL =

2020 doi
[17]

Agol, Ian , TITLE =. Doc. Math. , FJOURNAL =. 2013 , PAGES =

2013
[18]

2012 , PAGES =

Farb, Benson and Margalit, Dan , TITLE =. 2012 , PAGES =

2012
[19]

Agol, Ian , TITLE =. J. Topol. , FJOURNAL =. 2008 , NUMBER =. doi:10.1112/jtopol/jtn003 , URL =

2008 doi
[20]

Holomorphic dynamics (

Fried, David , TITLE =. Holomorphic dynamics (. 1988 , ISBN =. doi:10.1007/BFb0081399 , URL =

1988 doi
[21]

Bestvina, Mladen and Feighn, Mark and Handel, Michael , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2000 , NUMBER =. doi:10.2307/121043 , URL =

2000 doi
[22]

Corrales-Rodrig\'a\ nez, Capi and Schoof, Ren\'e , TITLE =. J. Number Theory , FJOURNAL =. 1997 , NUMBER =. doi:10.1006/jnth.1997.2114 , URL =

1997 doi
[23]

1999 , PAGES =

Neukirch, J\"urgen , TITLE =. 1999 , PAGES =. doi:10.1007/978-3-662-03983-0 , URL =

1999 doi
[24]

, TITLE =

Thurston, William P. , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1986 , NUMBER =

1986
[25]

1976 , PAGES =

Hempel, John , TITLE =. 1976 , PAGES =

1976
[26]

, TITLE =

Schinzel, A. , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1974 , PAGES =. doi:10.1515/crll.1974.268-269.27 , URL =

1974 doi
[27]

Topology of 3-manifolds and related topics (

Stallings, John , TITLE =. Topology of 3-manifolds and related topics (. 1961 , MRCLASS =

1961
[28]

Compositio Math

Mahler, Kurt , TITLE =. Compositio Math. , FJOURNAL =. 1935 , PAGES =

1935

Pith tools

Reviewed July 11, 2026 · model on record in the stance chip above.

[1] [1]

arXiv preprint arXiv:2506.21105 , year=

On regularity of profinite isomorphisms between cusped hyperbolic 3-manifolds and the A -polynomial , author=. arXiv preprint arXiv:2506.21105 , year=

arXiv

[2] [2]

Peking Math

Liu, Yi , TITLE =. Peking Math. J. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s42543-023-00077-1 , URL =

work page doi:10.1007/s42543-023-00077-1 2025

[3] [3]

2025 , eprint =

Julian Wykowski , title =. 2025 , eprint =

2025

[4] [4]

arXiv preprint arXiv:2410.00556 , year=

The congruence subgroup property for mapping class groups and the residual finiteness of hyperbolic groups , author=. arXiv preprint arXiv:2410.00556 , year=

arXiv

[5] [5]

Hughes, Sam and Kudlinska, Monika , TITLE =. Proc. Lond. Math. Soc. (3) , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/plms.70059 , URL =

doi:10.1112/plms.70059 2025

[6] [6]

Liu, Yi , TITLE =. Invent. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00222-022-01155-4 , URL =

doi:10.1007/s00222-022-01155-4 2023

[7] [7]

Duke Math

Liu, Yi , TITLE =. Duke Math. J. , FJOURNAL =. 2023 , NUMBER =. doi:10.1215/00127094-2022-0047 , URL =

work page doi:10.1215/00127094-2022-0047 2023

[8] [8]

Liu, Yi , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/jams/949 , URL =

work page doi:10.1090/jams/949 2020