{"id":"a8146a3b-b62e-439f-a293-75766fd7e5e9","arxiv_id":"2606.27074","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"High-degree Gromov-Thurston manifolds from the same or non-isometric GT-pairs are homotopy inequivalent when branching degrees are I-unrelated or have large prime factors.","lead":"The paper gives algebraic criteria that separate homotopy types of Gromov-Thurston manifolds of the same dimension, even when Euler characteristic and volume cannot. It does so by counting conjugacy classes of injections of wall-complement groups into the fundamental groups of the branched covers, using relative hyperbolicity and Dehn filling.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The central claims (Theorems B, C, D, E) rest on three pillars: the virtual-Dehn-filling description of π1(Mk) (Lemmas 3.1–3.2), the uniform bound on injective homomorphisms of non-splitting hyperbolic groups into the filled groups (Theorem 4.3 + Corollary 4.4), and the verification that wall-complement groups satisfy the non-splitting hypothesis (Proposition 5.1). The first two are careful but standard applications of relative hyperbolicity, Bestvina–Paulin limits and Rips theory; the third is the only place where a soft spot could hide. The reader correctly flags it. A close reading shows that both cases of the proof of Proposition 5.1 are complete: the homological vanishing is elementary, and the coarse-separation argument uses only well-documented properties of CAT(-1) spaces and the Bowditch boundary of a relatively hyperbolic pair whose peripherals are fundamental groups of closed hyperbolic manifolds of dimension ≥3. No counter-example or missing hypothesis appears. Consequently the counting of conjugacy classes of injections (Theorem C) and the resulting arithmetic constraints on degrees (Theorems B, D, E) stand. The verdict ACCEPT with high confidence is therefore unchanged.","tokens_in":30677,"tokens_out":641,"duration_ms":6975,"concrete_test":"Verify the two short claims inside the proof of Lemma 5.3: (i) that every point of the universal cover of the complete sector lies on a uniform quasi-geodesic ray starting at its closest-point projection to a fixed boundary component and escaping that component, and (ii) that the Gromov boundary of the cover minus the limit set of that component is path-connected. Both are elementary once the CAT(-1) structure and the relative hyperbolicity of (π1(S̄),π1(∂S̄)) are granted; if either fails for a concrete low-dimensional GT-pair the non-splitting statement would need repair.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reader's weakest-assumption call on Proposition 5.1 is the right place to look, but the argument there is self-contained and standard. Case (1) of the non-splitting proof uses only Mayer-Vietoris plus the elementary fact that infinite-index subgroups of a closed orientable d-manifold group have vanishing top homology; Case (2) reduces to coarse non-separation of the universal cover of the complete sector by a boundary component, which follows from the existence of quasi-geodesic rays that escape the boundary together with connectedness of the Bowditch boundary minus parabolic points (MW20). Both steps apply uniformly to every GT-pair of dimension ≥3. No internal gap or missing hypothesis appears that would let a wall-complement group split over a subgroup locally covering B, so the counting theorems that rest on Theorem 4.3 remain intact.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper develops algebraic criteria that distinguish homotopy types of Gromov–Thurston manifolds GT(M,B,k). The fundamental groups are realised as index-k subgroups of algebraic Dehn fillings Q_k of the relatively hyperbolic group π1(M−B) (Lemma 3.1, Belegradek). The key technical result (Theorem 4.3) asserts that a torsion-free hyperbolic group G that does not split over any subgroup locally covering B has uniformly bounded minimal displacement under all injections into the filled spaces X_k. Applied to the wall-complement group π1(S̄) (shown not to split in Proposition 5.1), this yields a uniform bound on the number of conjugacy classes of injections π1(M−W)→π1(M_k) (Theorem C). Consequently, when k and k′ are I-unrelated the manifolds are not homotopy equivalent (Theorem B); the same counting controls |Out(π1(M_k))| (Theorem D) and distinguishes manifolds with non-isometric branching loci when the degree has only large prime factors (Theorem E).","tokens_in":30918,"tokens_out":759,"duration_ms":6600,"significance":"Gromov–Thurston manifolds remain among the few known closed manifolds of pinched negative curvature that are not locally symmetric, yet their classification up to homotopy, commensurability or quasi-isometry is largely open. The paper supplies the first arithmetic obstruction that works in odd dimensions and across distinct branching loci, using only standard tools of relative hyperbolicity, algebraic Dehn filling and Rips theory. The three-case analysis of limit trees (tree-graded spaces, combinatorial arrangement of limit horoballs, coned-off graphs) is a clean extension of Dahmani–Guirardel techniques and should be reusable for other Dehn-filling problems. The results are unconditional for every GT-pair of dimension ≥3 (or ≥5 for Theorem E) and rest on cited theorems rather than ad-hoc constructions.","major_comments":[],"minor_comments":[{"comment":"Several “well-known” facts about horoballs and uniform acylindricity of the coned-off graphs (Claim 4.9, Lemma 4.17) are only sketched; a short reference or one-line argument would make the ultralimit analysis fully self-contained.","section":null},{"comment":"In the proof of Proposition 5.1 the appeal to the Čech-homology-sphere property of the Bowditch boundary (MW20) is correct but terse; a sentence recalling why B−P remains connected after removing parabolic points would help non-specialists.","section":null},{"comment":"Notation for the various base-points (y, y_k, x_k) and the two embeddings of π1(M_k) into Q_k is dense in §3; a short “standing conventions” paragraph would improve readability.","section":null},{"comment":"The constant I appearing in Theorems B–E is existential; while this is sufficient for the statements, a remark on whether I can be made effective from the hyperbolicity constants of the cusped spaces would be welcome.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is ready for publication essentially as is. The reader’s concern about Proposition 5.1 does not survive a close reading: both the Mayer–Vietoris case and the coarse-separation case are standard and apply uniformly. No load-bearing gap remains."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper gives the first general algebraic way to tell Gromov-Thurston manifolds apart by homotopy type when Euler characteristic and volume are useless. The key move is to realise π1(Mk) as an index-k subgroup of a Dehn filling of the relatively hyperbolic group π1(M-B), then count conjugacy classes of injections of the wall-complement group into those fillings. That count is essentially a multiple of the branching degree (Theorem C), which immediately yields the arithmetic obstruction of Theorem B for the same base and the Out-structure of Theorem D that feeds Theorem E for different bases.\n\nWhat is new is the virtual-filling description itself (Lemmas 3.1–3.2) together with the limiting-tree analysis that has to handle three distinct scenarios for peripheral arcs (Section 4). They adapt Dahmani–Guirardel technology but need extra work on arc stabilisers and tree-graded spaces; the three cases are cleanly separated and each is dispatched by a different standard tool (Rips, tree-graded quotients, coned-off acylindricity). The non-splitting of the sector group (Prop 5.1) is the load-bearing hypothesis; the stress-test is right that both the Mayer-Vietoris case and the coarse-separation case are self-contained and apply uniformly in dimension ≥3. The citations (Bel12, Osi07, GM08, MW20, etc.) are the expected ones and are used correctly.\n\nSoft spots are minor and mostly expository: a few “well-known” claims about horoballs and uniform acylindricity are only sketched, and the homology argument for infinite-index subgroups is standard but terse. None of them threaten the main theorems. The paper is written for geometric topologists and geometric group theorists who already know relative hyperbolicity and Rips theory; those readers will get a usable new invariant and a clear proof. It deserves a serious referee and should be accepted after ordinary polishing of the sketches.","headline":"Solid algebraic criteria that finally distinguish GT manifolds in odd dimensions and across bases, via virtual Dehn fillings and controlled injections into the filled groups.","tokens_in":31462,"tokens_out":525,"would_cite":true,"duration_ms":5979,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57M50","20F65","20F67"],"pacs":[],"model":"grok-4.5","headline":"High-degree Gromov-Thurston manifolds from the same or non-isometric bases are homotopy-inequivalent once branching degrees satisfy a simple arithmetic condition.","keywords":["Gromov-Thurston manifolds","algebraic Dehn filling","relative hyperbolicity","homotopy type","outer automorphism groups","branched covers","pinched negative curvature"],"falsifier":"Exhibit a single Gromov-Thurston pair and two I-unrelated degrees k, k' for which the corresponding branched covers are homotopy equivalent (or even merely have isomorphic fundamental groups).","tokens_in":31545,"feed_emoji":"🔀","tokens_out":989,"duration_ms":8819,"temperature":0.7,"pith_summary":"Gromov-Thurston manifolds are the classic examples of closed manifolds that admit pinched negative curvature but are not locally symmetric; they arise as cyclic branched covers of a hyperbolic manifold M over a totally geodesic codimension-2 submanifold B. Until now there was no general way to tell when two such covers, even of the same base, are homotopy equivalent. This paper shows that the number of conjugacy classes of injections of the wall-complement fundamental group into the cover group is a multiple of the branching degree, with a uniformly bounded multiplier. Consequently, when two degrees are “I-unrelated” the corresponding manifolds cannot be homotopy equivalent. The same counting, applied to outer automorphism groups, also separates covers whose branching loci are non-isometric, provided the degree has only large prime factors. The argument turns on realizing the fundamental groups as virtual Dehn fillings of a relatively hyperbolic group and then controlling how hyperbolic groups can embed into those fillings.","feed_headline":"Arithmetic test separates Gromov-Thurston homotopy types","feed_subtitle":"Unrelated branching degrees force non-equivalent covers even from the same base.","key_machinery":"Virtual algebraic Dehn filling: π_{1} of a Gromov-Thurston manifold is realized as an index-k normal subgroup of the Dehn filling of the relatively hyperbolic group π_{1}(M-B) by the k-th power of a meridian. This supplies uniformly hyperbolic spaces on which limiting R-tree actions can be analysed, yielding a uniform bound on injective homomorphisms from non-splitting hyperbolic groups.","core_discovery":"For any fixed Gromov-Thurston pair of dimension at least 3 there is a uniform bound I such that the number of conjugacy classes of injections of the wall-complement group into the degree-k cover is exactly N k with N ≤ I; therefore I-unrelated degrees produce non-homotopy-equivalent manifolds. The same bound implies that the order of the outer automorphism group divides I! k^k, which in turn separates covers of non-isometric branching loci when the degree has only large prime factors.","pith_inferences":["The same counting technique should apply to other families of manifolds obtained by algebraic Dehn fillings of relatively hyperbolic groups, not only to classical Gromov-Thurston covers.","If the non-splitting hypothesis can be verified for a broader class of wall complements, one obtains a general arithmetic criterion for distinguishing homotopy types of branched covers of hyperbolic manifolds.","The control of Out(π_{1}) suggests that the quasi-isometry classification of these manifolds may also be accessible by similar limiting-tree methods."],"forward_implications":["For any fixed base pair the sequence of degree-k Gromov-Thurston manifolds contains infinitely many distinct homotopy types once degrees become large.","When the branching loci are non-isometric, covers whose degrees have only large prime factors cannot be homotopy equivalent.","The outer automorphism group of each high-degree cover is finite of order dividing I! k^k, so the deck rotation generates a cyclic subgroup of exact order k.","The same Dehn-filling description supplies a uniform bound on the number of conjugacy classes of embeddings of any non-splitting hyperbolic group into the cover groups."],"fun_headline_variants":["Algebraic Dehn fillings distinguish Gromov-Thurston homotopy types","Uniform bounds on wall injections separate Gromov-Thurston covers","I-unrelated degrees yield non-homotopy-equivalent Gromov-Thurston manifolds","Outer-automorphism orders divide I! k^k to separate branching loci","Virtual Dehn fillings of hyperbolic groups detect distinct GT homotopy types"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"The wall-complement group does not split over any subgroup that can be embedded into the fundamental group of the branching locus; if such a splitting exists for some pairs, the counting of injections fails.","fun_headline_variants_meta":{"raw":{"variants":["Algebraic Dehn fillings distinguish Gromov-Thurston homotopy types","Uniform bounds on wall injections separate Gromov-Thurston covers","I-unrelated degrees yield non-homotopy-equivalent Gromov-Thurston manifolds","Outer-automorphism orders divide I! k^k to separate branching loci","Virtual Dehn fillings of hyperbolic groups detect distinct GT homotopy types"]},"model":"grok-4.5","effort":"low","cost_usd":0.00512,"raw_usage":{"total_tokens":1314,"prompt_tokens":595,"num_sources_used":0,"completion_tokens":106,"cost_in_usd_ticks":51200000,"prompt_tokens_details":{"text_tokens":595,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":613,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":595,"tokens_out":106,"duration_ms":5732,"temperature":1.0,"reasoning_tokens":613,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-12T11:50:15.990025+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a single Gromov-Thurston pair and two I-unrelated degrees k, k' for which the corresponding branched covers are homotopy equivalent (or even merely have isomorphic fundamental groups).","supporting_citations":[],"review_version":2}