{"id":"6953280e-085a-4c19-89fe-42e0167b8060","arxiv_id":"2506.12289","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Regular isomorphisms of profinite completions of cusped hyperbolic 3-manifold groups preserve the A-polynomial and strongly detected boundary slopes.","lead":"This paper proves that if two hyperbolic 3-manifolds with cusps have matching finite quotient data (their profinite completions agree in a controlled way), then they must share the same A-polynomial and have matching boundary slope information. The result adds a new invariant for distinguishing 3-manifolds using only finite covers.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.2's upper-triangularity step is not justified: Xu's conjugacy element can destroy upper-triangular form, so the claimed RU bijection and A_p equality are not established as written.","rationale":"The reader's weakest_assumption identifies precisely the point where Lemma 3.2 breaks. I re-derived the step: Lemma 2.6 gives only a conjugacy between peripheral subgroups in the profinite completion, and the conjugating element need not have upper-triangular image under a representation. Since the definition of RU and the eigenvalue map depend on being upper triangular in a fixed peripheral basis, the claimed bijection is not a consequence of Lemma 3.1 plus Lemma 2.6. The fix is to formulate the invariant on conjugacy classes via trace functions, as the paper already does in Lemma 4.1 for the multi-cusp case, which suggests the intended theorem may be salvageable. I do not see an internal contradiction forcing the theorem to fail; the issue is a missing justification in the proof, not a known false consequence. Other minor issues, such as the unproved reducedness of A0 in Proposition 3.5 and the need to establish that N2 in Theorem 3.6 is a cusped hyperbolic 3-manifold before applying hyperbolic-manifold results, are also localized and repairable, and they are secondary to the upper-triangular gap. Because the gap is foundational but plausibly fixable, the conditional verdict stands unchanged.","tokens_in":10182,"tokens_out":8357,"duration_ms":107616,"concrete_test":"Check the disputed step in a model case. Fix a small prime p and take two commuting upper-triangular matrices A, B ∈ SL(2, F_p) representing π1∂N2, and set P = [[0,1],[-1,0]], a non-upper-triangular matrix. Let the peripheral subgroup of N1 correspond to P⟨A,B⟩P^{-1}. For a representation ρ ∈ RU(N2, F) with ρ(A)=A and ρ(B)=B, compute the matrices P A P^{-1} and P B P^{-1}; for P as chosen they are not simultaneously upper triangular. This shows the asserted restriction to RU in Lemma 3.2 is false in this local model, so the lemma requires a different argument. A successful repair would instead prove that the three trace functions I_m, I_l, I_ml have the same images under the identification of Lemma 3.1, which would restore the eigenvalue-variety equality without relying on upper-triangular representatives.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 3.5 rests on Lemma 3.2, and the proof of Lemma 3.2 contains a genuine gap. Xu's peripheral correspondence (Lemma 2.6) determines the peripheral subgroup only up to conjugation by an arbitrary element of the relevant profinite completion. If ρ ∈ RU(N2, F), then ρ(π1∂N2) is upper triangular, but the composed representation on π1∂N1 is conjugate to that upper-triangular image by a matrix that need not be upper triangular. A conjugate of an upper-triangular matrix by a general element of SL(2, F) is not upper triangular in general; for example, conjugating [[1,1],[0,1]] by [[0,1],[-1,0]] gives [[1,0],[-1,1]], a lower-triangular matrix. Therefore the sentence in Lemma 3.2 that π1(∂N1) has upper-triangular images under the composed representation does not follow, and the claimed bijection RU(N1, F) ↔ RU(N2, F) is unsupported. What is actually preserved is the conjugacy class of the peripheral image, equivalently the triple of trace functions (I_m, I_l, I_ml); the proof would need to work with these rather than with upper-triangular representatives. This gap is load-bearing because Lemma 3.2 is the foundation for both the mod-p A-polynomial equality and the boundary-slope preservation in Theorem 3.6. The theorem may still be true and repairable, but the argument as written is incomplete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":10439,"tokens_out":16382,"duration_ms":168431,"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":[{"comment":"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.","section":"§3, Lemma 3.2 (proof)"},{"comment":"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.","section":"§3, Proposition 3.5 (proof)"},{"comment":"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.","section":"§3, Lemma 3.2 (proof)"},{"comment":"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.","section":"§3, Theorem 3.6 (statement and proof)"}],"minor_comments":[{"comment":"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.","section":"§3, Lemma 3.2"},{"comment":"The notation for the eigenvalue variety is inconsistent: E_p^2(M), E2(M,F), and Ep 2(M) are used; please standardize.","section":"§2.5"},{"comment":"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.","section":"§3, Lemma 3.3"},{"comment":"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.","section":"§5, Theorem 5.1"},{"comment":"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.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"I believe the main theorem is very likely true and the gap in Lemma 3.2 is repairable by the trace-function argument already present in Lemma 4.1. The paper is a good fit for the journal. I recommend major revision, not rejection. Please ask the authors to fix Lemma 3.2, justify reducedness in Proposition 3.5, and tighten the hypotheses in Theorem 3.6."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe headline: this paper claims that for cusped hyperbolic 3-manifolds, regular profinite isomorphisms preserve the A-polynomial and strongly detected boundary slopes. If true that's a new and genuinely useful invariant; the statement isn't in the prior literature. The authors assemble recent machinery — Xu's peripheral correspondence, Liu's regularity, Garden-Tillmann's characteristic-p Culler-Shalen theory — and the core idea, comparing mod-p A-polynomials to recover characteristic 0, is sound and the right way to go.\n\nThe proof is not there yet. The reader's stress-test is correct and lands on the first load-bearing step. In Lemma 3.2, the argument that the profinite identification restricts to a bijection between upper-triangular representation sets RU(N1,F) and RU(N2,F) is not justified. Xu's theorem only gives the peripheral subgroup up to conjugation by an element of the profinite completion; conjugating an upper-triangular subgroup by an arbitrary element of SL(2,F) need not keep it upper-triangular. The composed representation will send the peripheral torus to a conjugate of the upper-triangular image, but not necessarily to upper-triangular matrices. What is preserved is the conjugacy class, or equivalently the trace functions, not the specific upper-triangular representatives. So the equality of mod-p A-polynomials as written does not follow. This is repairable: one should work with the eigenvalue map on conjugacy classes or with the trace functions directly, and only then conclude the mod-p eigenvalue varieties agree. But the current text has a genuine gap.\n\nThe other soft spots are smaller. Proposition 3.5 invokes reducedness of the A-polynomial to kill the factor g(l,m); that should be stated with a citation, because the A-polynomial as defined by a Zariski closure is reduced over C, hence over \\bar Q, so it's a true fact that just needs to be said. And Theorem 3.6 applies characteristic-p Culler-Shalen results to N2 before establishing that N2 is a cusped finite-volume hyperbolic manifold; that follows from known results (Wilton-Zalesskii, Chagas-Zalesskii were cited later in the paper) but it needs to be stated where it's used.\n\nThe main result may well be correct and the gaps look localized. This deserves a serious referee rather than a desk rejection. With fixes to Lemma 3.2, the paper would make a solid contribution.","headline":"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.","tokens_in":11015,"tokens_out":4202,"would_cite":true,"duration_ms":47286,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K32","57K31","20E18"],"pacs":[],"model":"deepseek-v4-flash","headline":"Two one-cusped hyperbolic 3-manifolds with regularly isomorphic profinite completions share the same A-polynomial and strongly detected boundary slopes.","keywords":["profinite completion","A-polynomial","boundary slopes","hyperbolic 3-manifolds","character variety","essential surface detection","profinite rigidity","logarithmic limit set"],"falsifier":"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.","tokens_in":9940,"feed_emoji":"🔗","tokens_out":15645,"duration_ms":166006,"temperature":0.7,"pith_summary":"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.","feed_headline":"Regular profinite isomorphisms preserve A-polynomials and slopes","feed_subtitle":"Regular profinite isomorphism forces identical A-polynomials and matching detected slopes.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"introduces the A-polynomial and the eigenvalue variety over the complex numbers, the invariant the paper proves is preserved.","marker":"[CCG+94]"},{"why":"provides the peripheral correspondence theorem that matches boundary tori and Dehn fillings under profinite isomorphisms, used throughout the proof.","marker":"[Xu24]"},{"why":"develops the character variety approach over arbitrary characteristic and supplies the mod-p A-polynomial and the Newton-polygon-to-slope detection theorem.","marker":"[GT24]"},{"why":"defines regular isomorphisms of profinite completions and establishes the model result that knot complements with regular isomorphisms share Alexander polynomials.","marker":"[BF20]"},{"why":"supplies the algebraic geometry lemma that reducedness of a polynomial over the rationals implies reducedness mod p for all but finitely many p, key to lifting the equality to characteristic zero.","marker":"[Sta25]"},{"why":"gives the detection theorem for the explicit knot family using A-polynomials and knot Floer homology, the basis for the rigidity examples.","marker":"[NZ17]"},{"why":"classifies knots with exactly one non-integral toroidal Dehn surgery, used to identify the node-rigidity family in the profinite rigidity argument.","marker":"[GL04]"}],"fun_headline_variants":["Profinite regular maps fix A-polynomials and boundary slopes","Regular profinite isos force same A-polynomial and slopes","Profinite regularity: A-polynomials and slopes preserved","Profinite isos pin down A-polynomial and boundary slopes"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Profinite regular maps fix A-polynomials and boundary slopes","Regular profinite isos force same A-polynomial and slopes","Profinite regularity: A-polynomials and slopes preserved","Profinite isos pin down A-polynomial and boundary slopes"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000671,"raw_usage":{"total_tokens":2959,"prompt_tokens":752,"completion_tokens":2207,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":368,"completion_tokens_details":{"reasoning_tokens":2137}},"tokens_in":368,"tokens_out":2207,"duration_ms":17984,"temperature":1.0,"reasoning_tokens":2137,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T00:55:30.933418+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}