Pith. sign in

REVIEW 4 major objections 5 minor 3 references

Finite covers and strict boundary slopes of cusped hyperbolic 3-manifolds

T0 review · 4 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Two one-cusped hyperbolic 3-manifolds with regularly isomorphic profinite completions share the same A-polynomial and strongly detected boundary slopes.

desk verdict New and likely-true result on profinite rigidity of A-polynomials, but the written proof has a real gap in Lemma 3.2 and a couple of smaller omissions. read the letter →

arxiv 2506.12289 v1 pith:NHL7ZVYE submitted 2025-06-14 math.GT math.GR

Tamunonye Cheetham-West , Youheng Yao This is my paper · ORCID
classification math.GTmath.GR MSC 57K3257K3120E18
keywords profinitecompletionA-polynomialboundaryslopeshyperbolic3-manifoldscharactervarietyessentialsurfacedetectionrigiditylogarithmiclimitset
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 establishes that two one-cusped finite-volume hyperbolic 3-manifolds with a regular isomorphism between the profinite completions of their fundamental groups have the same A-polynomial, and that the peripheral correspondence matches their strongly detected boundary slopes. The A-polynomial is a two-variable polynomial that encodes information about essential surfaces and Dehn surgery, so this means a regular profinite isomorphism is a strong equivalence. The proof reduces the problem to characteristic p by showing the mod-p A-polynomials agree for every prime p, then lifts the equality to characteristic zero with a generic reducedness argument. Since the sides of the Newton polygon of the A-polynomial are exactly the strongly detected boundary slopes, the slope correspondence follows.

What carries the argument

The key objects are the profinite completion $\widehat{\pi_1(M)}$, the inverse limit of all finite quotients of the fundamental group; the $SL(2,\mathbb{F}_p)$ character variety, the space of representations into $2\times 2$ matrices over the algebraic closure of $\mathbb{F}_p$ up to closure-equivalence; and the A-polynomial, the single generator of the Zariski closure of the eigenvalue map on upper-triangular peripheral representations. The load-bearing mechanism is the identification of the mod-$p$ character varieties via the profinite isomorphism, together with the peripheral correspondence from [Xu24] that matches cusps and Dehn fillings, which yields equality of mod-$p$ A-polynomials. A reducedness lemma over the integers [Sta25] then passes the equality from all but finitely many $p$ to characteristic zero. Finally, the sides of the Newton polygon of the A-polynomial detect exactly the strongly detected boundary slopes.

What would settle it

A concrete falsifier would be a pair of one-cusped finite-volume hyperbolic 3-manifolds $M,N$ with a regular profinite isomorphism $\Phi:\widehat{\pi_1(M)}\to\widehat{\pi_1(N)}$ whose A-polynomials differ in the induced peripheral bases, or for which some strongly detected boundary slope of $M$ is not strongly detected in $N$ under the cusp correspondence; computing the mod-$p$ A-polynomials of any candidate profinitely equivalent pair would settle this.

Watch

Extended reading notes

Core claim

The paper proves that a regular isomorphism $\Phi:\widehat{\pi_1(M)}\to\widehat{\pi_1(N)}$ between one-cusped finite-volume hyperbolic 3-manifolds forces $A_0^M(l,m)=A_0^N(l,m)$ in bases matched by the induced peripheral isomorphism, and that the cusp correspondence of [Xu24] restricts to a bijection between strongly detected boundary slopes. The core argument is that for every prime $p$, the profinite isomorphism identifies the $SL(2,\mathbb{F}_p)$ representation varieties, because representations of finitely generated groups into $SL(2,\mathbb{F}_p)$ have finite image; the peripheral structure then gives equality of the mod-$p$ A-polynomials. A reducedness lemma over the integers upgrades this to characteristic zero, giving the A-polynomial equality. The Newton polygon of the A-polynomial then yields the boundary slope bijection.

Load-bearing premise

The proof assumes that the peripheral conjugacy from the Dehn-filling correspondence preserves the upper-triangular form of peripheral representations, so that meridian and longitude eigenvalues can be read off in matched bases; if this fails, the mod-p A-polynomial equality is not established.

Editorial extensions

If this is right

  • The A-polynomial becomes a regular profinite invariant: any one-cusped hyperbolic 3-manifolds related by a regular profinite isomorphism must have identical A-polynomials.
  • Strongly detected boundary slopes are matched by the cusp correspondence, so any slope with an associated ideal point detecting an essential surface and no closed essential surface is preserved under regular profinite isomorphism.
  • The multi-cusp generalization shows that the logarithmic limit set of the eigenvalue variety is a regular profinite invariant, preserving the full pattern of strongly detected boundary curves for finite-volume hyperbolic 3-manifolds.
  • The explicit knot family $k(\ell^*,-1,0,0)$ with $\ell^*>1$ is shown to be profinitely rigid under regular isomorphisms: any compact 3-manifold with a regular profinite isomorphism to such a knot complement is homeomorphic to it.

Reading between the lines

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

  • If regularity of profinite isomorphisms can be established for all cusped hyperbolic 3-manifold groups, the same A-polynomial and boundary-slope results would hold for unconstrained profinite isomorphisms, making them unconditional invariants of the profinite completion.
  • The finite-image argument works for representations into any finite group, so analogous invariants defined from $SL(n,\mathbb{F}_p)$ character varieties for $n>2$ could be defined and may yield additional profinite invariants.
  • The equality of mod-$p$ A-polynomials for all $p$ suggests that strong detection of a boundary slope is in fact a property visible in all but finitely many characteristics, refining the known char-0/char-$p$ correspondence.
  • A natural converse question, not addressed in the paper: whether equality of A-polynomials together with matching strongly detected slopes is enough to guarantee a regular profinite isomorphism with compatible peripheral structure.
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.

Referee Report

4 major / 5 minor

Summary. The paper claims that if two one-cusped finite-volume hyperbolic 3-manifolds admit a regular isomorphism between the profinite completions of their fundamental groups, then they have the same A-polynomial (respecting the peripheral structure) and their strongly detected boundary slopes correspond bijectively. The proof proceeds by identifying the SL(2, \bar F_p) representation varieties of profinitely isomorphic groups, using Xu's peripheral correspondence to compare mod p eigenvalue varieties, and then lifting the equality to characteristic zero via a generic-reducedness argument. A multi-cusp generalization using logarithmic limit sets and an application to profinite rigidity of Eudave-Muñoz knots are also included.

Significance. If the main theorem holds, it is a meaningful contribution to profinite rigidity of hyperbolic 3-manifolds: it shows that the A-polynomial and the set of strongly detected boundary slopes are determined by a regular isomorphism of profinite completions, complementing recent work of Liu and Xu. The approach via finite images in SL(2, \bar F_p) is elegant, and the multi-cusp version is a natural strengthening. The applications to Eudave-Muñoz knots are interesting. However, the proof as written has a load-bearing gap in Lemma 3.2 and some unstated hypotheses in later results; these issues appear repairable but require substantial revision.

major comments (4)
  1. [§3, Lemma 3.2 (proof)] The claimed bijection RU(N1,F) ↔ RU(N2,F) is not established. Lemma 2.6 gives Φ(π1∂N1) only up to conjugation by an arbitrary element of the profinite completion, and conjugating an upper-triangular matrix by a general element of SL(2,F) does not preserve upper-triangular form; for example, conjugating [[1,1],[0,1]] by [[0,1],[-1,0]] yields [[1,0],[-1,1]]. Therefore a representation ρ ∈ RU(N2,F) can compose with Φ to give a representation of π1∂N1 whose chosen meridian and longitude are not upper triangular, so the restriction map does not land in RU(N1,F). Since Lemma 3.2 is the foundation for the mod p A-polynomial equality used in Proposition 3.5 and Theorem 3.6, this gap is load-bearing. The fix should compare the eigenvalue varieties directly through the conjugation-invariant trace functions, as is already done in Lemma 4.1.
  2. [§3, Proposition 3.5 (proof)] The sentence 'A0 is reduced' is asserted without justification. In §2.4 the A-polynomial is defined as a generator of the eigenvalue curve and is not specified to be square-free or primitive; if the chosen generator has repeated factors, the factor g in [GT24, Lemma 40] need not be 1 and the conclusion of the argument fails. The authors should either prove that A0 can be chosen reduced (primitive and square-free) or compare the reduced generators explicitly.
  3. [§3, Lemma 3.2 (proof)] The step 'When Φ is regular, we have μ = ±1' is stated without proof. The per-cusp multiplier μ from Lemma 2.6(3) enters the identification of eigenvalue maps, and the proof needs a derivation from the definition of regularity (or a precise reference explaining why the global abelianized isomorphism forces μ = ±1 on the peripheral subgroup). Without μ = ±1, the basis (m', l') and the eigenvalue coordinates are not matched as claimed.
  4. [§3, Theorem 3.6 (statement and proof)] Theorem 3.6 allows N2 to be an arbitrary 3-manifold, but Lemma 2.6 (Xu's Theorem A) and [GT24, Theorem 47] are stated for orientable cusped finite-volume hyperbolic 3-manifolds. The proof should first cite [WZ17, Theorem 9.1] and [CZ16, Theorem 1] (as is done in the proof of Theorem 4.2) to conclude that N2 is a one-cusped hyperbolic 3-manifold before applying those results.
minor comments (5)
  1. [§3, Lemma 3.2] The line 'π1(∂N2) = gπ1(∂N1)g^{-1} for some g ∈ \hatπ1(N1)' has mismatched domains; the conjugacy should be inside \hatπ1(N2), presumably after applying Φ. Please correct this and the surrounding notation.
  2. [§2.5] The notation for the eigenvalue variety is inconsistent: E_p^2(M), E2(M,F), and Ep 2(M) are used; please standardize.
  3. [§3, Lemma 3.3] Lemma 3.3 should explicitly assume f is primitive (content 1), otherwise f mod p can be the zero polynomial for primes dividing the content of f.
  4. [§5, Theorem 5.1] The claim 'It is well-known that Seifert genus is a profinite invariant by [BF20]' should be stated precisely, since Boileau-Friedl's theorem may require regularity or additional hypotheses.
  5. [General] There are several typographical issues, e.g., 'Boundar y' in the title, 'M ∼= N' should be 'M ≅ N', and the abbreviation 'slp(M)' in Lemma 5.2 is undefined.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the A-polynomial invariance is derived from external theorems, finite-image representation combinatorics, and original mod-p character-variety arguments, not from its own conclusion.

full rationale

The paper's central claims are Theorem 1.1/Proposition 3.5 (regular profinite isomorphism implies equal A-polynomial) and Theorem 3.6 (strongly detected boundary slopes correspond). The derivation chain is: Lemma 3.1 identifies SL(2,F)-representations via the profinite completion because finitely generated images in SL(2,F) are finite; Lemma 3.2 attempts to restrict this identification to upper-triangular representations using Xu's peripheral correspondence; Proposition 3.5 lifts the mod-p equality to characteristic zero via the reducedness Lemma 3.3 and the external [GT24, Lemma 40]; Theorem 3.6 then combines the mod-p A-polynomial equality with [GT24, Theorem 47] and Lemma 2.3. None of these steps assumes the A-polynomial equality or the slope bijection as an input. The regular-isomorphism hypothesis is used only to force the peripheral multiplier mu to be +/-1, which is a consequence of the definition, not a restatement of the desired A-polynomial result. There are no fitted parameters, no normalization choices that pre-impose the answer, and no self-citation chain that carries the load: the principal cited results are by Liu, Xu, Garden-Tillmann, and others, none of which are the present authors. The most serious concern is the upper-triangularity argument in Lemma 3.2, where Xu's conjugacy element may send an upper-triangular peripheral image to a non-upper-triangular one; however, that is a mathematical gap or correctness risk, not circularity, because the conclusion is not assumed by any hypothesis and the proof does not reduce to its own target. The paper is self-contained against the external benchmark of proving a new profinite invariant, so the circularity score is 0.

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

No free parameters are fitted to data and no new entities are postulated. The central claim rests on external theorems from Xu24, GT24, WZ17, CZ16, BF20, and NZ17, and on the reducedness of A0, which is asserted without proof.

assumptions (7)
  • standard math Nikolov-Segal: all abstract homomorphisms from a finitely generated profinite group to a finite group are continuous.
    Used in Section 2.1 to identify Hom(Gamma,G) with Hom(hat-Gamma,G) for finite G.
  • domain assumption Xu24 Theorem A: a profinite isomorphism of cusped hyperbolic 3-manifold groups respects peripheral structure, preserves Dehn filling profinite completions, and on each cusp satisfies m_mu composed with psi_i equals C_g composed with Phi.
    Central external input used in Lemmas 3.2 and 4.1 to compare peripheral eigenvalue data.
  • domain assumption GT24 Lemma 40 and Lemma 36: for all but finitely many primes p, A0 mod p equals g times A_p with g a product of factors of A_p, and A_p lies in Z_p[l,m].
    Used in Proposition 3.5 to pass from mod p A-polynomial equality to characteristic 0 equality.
  • domain assumption GT24 Theorems 37 and 47 and Lemma 2.3: Newton polygon sides of A_p are strongly detected slopes in characteristic p, and characteristic p strong detection agrees with characteristic 0 for all but finitely many p.
    Used in Theorem 3.6 to turn A-polynomial equality into a boundary slope bijection.
  • domain assumption The A-polynomial A0 is reduced (square-free).
    Invoked without proof in Proposition 3.5 as 'A0 is reduced so that g=1'; Lemma 3.3 requires this hypothesis, so the assumption is load-bearing.
  • domain assumption WZ17 Theorem 9.1 and CZ16 Theorem 1: profinite isomorphism determines geometry and number of cusps of a 3-manifold.
    Used in Theorem 4.2 to conclude N is hyperbolic with n cusps; also needed implicitly for Theorem 3.6.
  • domain assumption NZ17 Theorem 1.2 and BF20: Seifert genus is a profinite invariant and genus plus A-polynomial detect the Eudave-Munoz knots k(ell,-1,0,0).
    Used in Section 5 to prove profinite rigidity of these knots.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finite covers and strict boundary slopes of cusped hyperbolic 3-manifolds." pith.science (2026). https://pith.science/paper/NHL7ZVYE

@misc{pith2026250612289,
  author       = {Pith},
  title        = {Pith review of: Finite covers and strict boundary slopes of cusped hyperbolic 3-manifolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NHL7ZVYE}},
  note         = {Machine review of arXiv:2506.12289}
}
abstract

We prove that if two cusped hyperbolic $3$-manifolds admit a regular isomorphism between the profinite completions of their fundamental groups, then they share the same $A$-polynomial and their strongly detected boundary slopes match up.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages

  1. [1]

    Bergman, The logarithmic limit-set of an algebraic variety , Trans

    [Ber71] George M. Bergman, The logarithmic limit-set of an algebraic variety , Trans. Amer. Math. Soc. 157 (1971), 459–469. MR280489 [BF20] M. Boileau and S. Friedl, The profinite completion of 3-manifold groups, fibered- ness and the Thurston norm , What’s Next?: The Mathematical Legacy of William P. Thurston, Annals of Math. Study 205, PUP (2020), 21–44...

    work page 1971

  2. [2024]

    [Liu23] Yi Liu, Finite-volume hyperbolic 3-manifolds are almost determined by their finite quotient groups , Invent. Math. 231(2) (2023), 741–804. [NS07] N. Nikolov and D. Segal, On finitely generated profinite groups, I: Strong com- pleteness and uniform bounds , Annals of Math. 165 (2007), 171–238. [NZ17] Yi Ni and Xingru Zhang, Detection of knots and a...

    work page 2023

  3. [2025]

    Stallings, A topological proof of Grushko’s theorem on free products , Math

    [Sta65] John R. Stallings, A topological proof of Grushko’s theorem on free products , Math. Z. 90 (1965), 1–8. MR188284 [Til05] Stephan Tillmann, Boundary slopes and the logarithmic limit set , Topology 44 (2005), no. 1, 203–216. MR2104008 [WZ17] H. Wilton and P. Zalesskii, Distinguishing geometries using finite quotients , Geom. Topol. 21(1) (2017), 345...

    arXiv 1965

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.