{"id":"42844f52-0818-4e6b-b6c9-db6fb97c45bd","arxiv_id":"2506.23031","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For torsion-free non-elementary hyperbolic groups, every non-identity Andrews-Curtis transformation moves some nontrivial k-tuple, making the full and ordinary Andrews-Curtis groups isomorphic.","lead":"The paper proves that for torsion-free non-elementary hyperbolic groups, the full Andrews-Curtis group acts faithfully on every nontrivial orbit of k-tuples, so the full and standard Andrews-Curtis groups are isomorphic. It offers a structural tool for studying the long-standing Andrews-Curtis conjecture.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.3's proof leaves unproved the simultaneous choice of g_i's avoiding all adjacent commutations; this gap is load-bearing for Theorem 2.1.","rationale":"The reader's verdict is CONDITIONAL and identifies the big powers property as the weakest assumption. My stress-test agrees that Theorem 3.3 is the engine of the paper, but I locate the most load-bearing insecurity slightly differently: even granting the big powers property, the proof of Theorem 3.3 does not demonstrate the existence of a tuple of substitutions for which no adjacent pair commutes. This is an internal gap rather than an external assumption. The gap is probably fixable: in a torsion-free non-elementary hyperbolic group, generic tuples in a free subgroup should avoid finitely many cyclic centralizers, and constraints of the form [x, a y a^{-1}] != 1 should be simultaneously satisfiable. But the paper does not state or prove such a lemma, and the issue is real because repeated variables create coupled inequalities. The Section 4 misstatement about applying Theorem 3.3 to G*X is also present; the reader noted it as presentational, and I agree it is correctable. Neither issue convinces me the main theorem is false, so I do not move the verdict away from CONDITIONAL. My recommendation is UNCHANGED: the paper should be accepted only after the missing step in Theorem 3.3 is supplied, exactly matching the reader's conditional verdict.","tokens_in":6673,"tokens_out":45593,"duration_ms":485345,"concrete_test":"Write out a complete proof, or find a counterexample, of the missing lemma: for any torsion-free non-elementary hyperbolic G, any n, any labels a_1,...,a_{n-1} in G and indices i_1,...,i_n, there exist elements g_{i_j} in G with [g_{i_j}, a_j g_{i_{j+1}} a_j^{-1}] != 1 for all j. As a first check, test the single-variable repeated case in a free group F_2: exhibit x in F_2 with [x, a_1 x a_1^{-1}] != 1 and [x, a_2 x a_2^{-1}] != 1 for two distinct labels a_1, a_2. If no such x exists for some choice of labels, the contradiction step in Theorem 3.3 collapses. If the lemma is proved, also verify that the corrected application of Theorem 3.3 in Section 4 uses G, not G*X, as the coefficient group.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In the proof of Theorem 3.3, after rewriting E as a product of conjugate powers u_j(x_{i_j}) and applying the big powers property to a fixed tuple of g_i's, the argument obtains either E(g^r) != 1 for all sufficiently large r, or some adjacent pair u_j(g_{i_j}), u_{j+1}(g_{i_{j+1}}) commutes. It then says: 'But clearly we can choose g_{i_j} in G such that g_{i_j} and a_j g_{i_{j+1}} a_j^{-1} do not commute.' This is not justified. When a variable occurs in several factors, the same group element must satisfy several non-commutation inequalities with conjugates of possibly different variables. Thus one needs a tuple (g_1,...,g_m) solving the system [g_{i_j}, a_j g_{i_{j+1}} a_j^{-1}] != 1 for every j. The big powers property only applies to a fixed sequence with no commuting adjacent pair; it does not by itself guarantee that such a tuple exists. The paper supplies no proof of this existence, and it is not a trivial consequence of CSA or of centralizers being cyclic, because constraints couple different variables. Since Theorem 3.3 is the only route to Eq. (4.1) in the proof of Theorem 2.1, this gap is load-bearing. Separately, the sentence 'Since G*X is non-elementary torsion-free hyperbolic...' in Section 4 appears to mislocate the coefficient group: Theorem 3.3 should be applied to the original group G, with G*X as the free product containing the equation, not to G*X as the coefficient group. This is likely presentational, but the simultaneous-choice issue is substantive.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the relationship between the full Andrews-Curtis group FAC_k(G), acting on all of G^k, and the original Andrews-Curtis group AC_k(G), acting on the subset N_k(G) of tuples that normally generate G. Its main theorem states that when G is a torsion-free non-elementary hyperbolic group, FAC_k(G) acts faithfully on every nontrivial orbit in G^k, so the natural epimorphism lambda: FAC_k(G) -> AC_k(G) is an isomorphism. The proof reduces faithfulness to a statement about equations over G: if an equation has all tuples of G as solutions, then it is trivial in G*X (Theorem 3.3). That theorem is proved using Olshanskii's big powers property and the cyclic malnormal centralizer structure of torsion-free hyperbolic groups, after which Section 4 applies it to the word equations describing an AC-transformation.","tokens_in":7016,"tokens_out":30093,"duration_ms":298444,"significance":"If the proof is completed, the result is a valuable extension of Roman'kov's theorem for free groups to all torsion-free non-elementary hyperbolic groups. It gives the first broad class of groups for which the kernel of lambda is trivial, thereby justifying the study of the more tractable group FAC_k(G) as a tool for the Andrews-Curtis conjecture. The reliance on deep external results (big powers, CSA centralizers) is appropriate, and the paper is concise. However, the central proof of Theorem 3.3 contains a nontrivial gap: the existence of a tuple avoiding all adjacent commutations is asserted without proof, and this step is load-bearing for the main theorem.","major_comments":[{"comment":"The sentence \"But clearly we can choose g_{i_j} in G such that g_{i_j} and a_j g_{i_{j+1}} a_j^{-1} do not commute\" is not justified as written. A single variable may occur in several adjacent pairs, so the requirement that every adjacent pair u_j(g_{i_j}) and u_{j+1}(g_{i_{j+1}}) be non-commuting is a system of inequalities coupling different variables. The big powers property applies only to a fixed sequence with no commuting adjacent pair, so the proof needs a lemma asserting the simultaneous existence of a tuple (g_1,...,g_m) with [g_{i_j}, a_j g_{i_{j+1}} a_j^{-1}] != 1 for every j. Such a tuple does exist: order the variables arbitrarily, and when choosing each variable avoid the finite union of cyclic centralizers imposed by the already-chosen neighbors; the union is proper because a non-elementary hyperbolic group is not a finite union of cyclic subgroups (and condition 3 of Remark 3.5 is exactly designed for this). The manuscript must supply this argument, since Theorem 3.3 is the only route to Eq. (4.1) in the proof of Theorem 2.1.","section":"Theorem 3.3, proof after Eq. (3.2)"},{"comment":"The phrase \"Since G*X is non-elementary torsion-free hyperbolic\" before Eq. (4.1) misidentifies the group to which Theorem 3.3 is applied. The equation W_i(u_1^{x_1},...,u_k^{x_k}) = u_i^{x_i} is an equation over the coefficient group G with indeterminates x_i; the ambient free product G*X is where the equation lives, not the coefficient group. The application of Theorem 3.3 is valid because G is non-elementary torsion-free hyperbolic, but the sentence should be reworded to say so explicitly, for example \"Since G is non-elementary torsion-free hyperbolic, Theorem 3.3 applied to the equation in G*X gives ...\".","section":"Section 4, proof of Theorem 2.1, after Lemma 4.1"}],"minor_comments":[{"comment":"The proof claims to argue by induction on n, but no inductive step is used after the base cases; either remove the induction framing or state the inductive hypothesis and use it.","section":"Theorem 3.3, proof"},{"comment":"There are several typographical errors: \"theelementary\" in Section 2, a stray \"u\" in the definition of u_2 in the proof of Theorem 3.3, and \"endomomorphism\" in Section 4. These should be corrected.","section":"Throughout"},{"comment":"The notation u_i^{x_i} is used without an explicit definition; it should be stated that u_i^{x_i} denotes x_i u_i x_i^{-1} (or its inverse, consistently).","section":"Eq. (4.1) and surrounding text"},{"comment":"The reduction \"Without loss of generality we may assume u_i != 1 for all i\" deserves a one-sentence justification: if some u_i = 1, apply elementary AC moves to replace it by a non-trivial entry from another coordinate, which is possible because the orbit is nontrivial; this would improve readability.","section":"Section 4, first paragraph"},{"comment":"The paper should cite Roman'kov's result [25] in the introduction or in Section 2 when mentioning that the free-group case was known; currently it appears only in a note after Corollary 2.2.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The stress-test concern about the simultaneous non-commutation choice in Theorem 3.3 is legitimate and load-bearing. The gap is fixable by a short lemma (outlined in major comment 1), so I view this as a major-revision issue rather than a rejection. The rest of the proof appears sound, and the paper is within the journal's scope. I recommend asking the authors to supply the missing proof and to correct the Section 4 wording and the typos."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version. This paper proves a real result: for a torsion-free non-elementary hyperbolic group G, the full Andrews-Curtis group FAC_k(G) acts faithfully on every nontrivial orbit of G^k, and the natural map to AC_k(G) is an isomorphism. That genuinely extends Roman'kov's earlier theorem for free groups. The paper is short, cleanly written, and the main idea is sound: prove that the radical of equations over G is trivial, i.e., any equation satisfied by all tuples must be the trivial word. That's Theorem 3.3, and it's proved in the paper, not just cited.\n\nThe soft spot is the proof of Theorem 3.3. To apply Olshanskii's big powers property, you need a fixed tuple (g_1,...,g_m) such that for every adjacent factor, the two conjugate powers do not commute. The paper says 'clearly' you can choose such elements, but this isn't immediate when the same variable appears in several factors. You need one element to simultaneously satisfy several non-commutation inequalities against conjugates of possibly different variables, and these constraints couple the variables. The proof does not supply an argument that such a simultaneous choice exists. This is load-bearing: without it, the big powers property never produces a non-solution, and the faithfulness theorem has no engine. I don't think the gap is fatal—it looks fixable by a standard 'avoid finitely many cyclic subgroups' argument—but it's a real missing step in a 7-page paper claiming a new theorem.\n\nThere's also a small presentational slip in Section 4, where Theorem 3.3 is said to apply to G*X as the coefficient group; the intended application is to G. The argument goes through with the obvious correction, so I'd call that minor.\n\nWhat the paper does well: it isolates the exact hypotheses needed (CSA, big powers, and an avoidance property), states them cleanly in Remark 3.5, and gets a genuine new result for hyperbolic groups. The reliance on Olshanskii's theorem is explicit and appropriate, and the self-citations are only background. The reader's conditional verdict is justified, but I'd flag the simultaneous-choice issue as the substantive reason to demand a revision.\n\nWho is this for? People working on the Andrews-Curtis conjecture and on equations over hyperbolic groups. It doesn't resolve the conjecture, but it offers a new tool.\n\nMy recommendation: send it to peer review. The theorem is likely correct and worth having, but the referee should require a proof of the simultaneous-choice claim or a citation to a lemma that covers it. I wouldn't cite it myself until that's fixed.","headline":"The theorem is a real extension of Roman'kov's result to hyperbolic groups, but the proof of the key equation lemma has a genuine gap around a simultaneous non-commutation choice; still deserves refereeing.","tokens_in":838,"tokens_out":828,"would_cite":false,"duration_ms":125202,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20F67","20F05","20E36"],"pacs":[],"model":"deepseek-v4-flash","headline":"For torsion-free non-elementary hyperbolic groups, the full Andrews-Curtis transformation group acts faithfully on every nontrivial orbit of G^k, making it isomorphic to the classical Andrews-Curtis group.","keywords":["Andrews-Curtis conjecture","Andrews-Curtis group","hyperbolic groups","balanced presentations","equations over groups","big powers property","normal generating tuples","faithful group action"],"falsifier":"Exhibit a torsion-free non-elementary hyperbolic group G, a nontrivial α in FAC_k(G), and a tuple with all entries nonidentity such that α fixes every conjugation of that tuple. Equivalently, find an equation E over such a G that is not the identity in G*X yet is satisfied by every tuple from G; Theorem 3.3 asserts none exists.","tokens_in":6467,"feed_emoji":"🧩","tokens_out":3270,"duration_ms":33358,"temperature":0.7,"pith_summary":"The paper studies two permutation groups built from the same moves: the full Andrews-Curtis group acting on all k-tuples of a group G, and the classical Andrews-Curtis group acting only on tuples that normally generate G. The main theorem says that when G is torsion-free and non-elementary hyperbolic, the full group is faithful on every nontrivial orbit, so the natural map from the full group to the classical group is an isomorphism. This matters because it shows that for a broad class of groups, including nonabelian free groups, the complicated generating-tuple set N_k(G) can be replaced by the much simpler set G^k without losing any information about the transformations.","feed_headline":"Full Andrews-Curtis group is faithful on hyperbolic groups","feed_subtitle":"For torsion-free non-elementary hyperbolic G, the full and classical AC groups are isomorphic, simplifying study of the conjecture.","key_machinery":"The engine of the proof is Theorem 3.3, an equation-theoretic triviality criterion: over a torsion-free non-elementary hyperbolic group, if an equation E(x_1,...,x_m) in the free product G*X is satisfied by every tuple in G^m, then E is the trivial word. The argument uses the big powers property of hyperbolic groups to force, from a supposed nontrivial equation, a substitution that violates the equation; the CSA property of centralizers then reduces commuting of large powers to commuting of the underlying elements. This theorem, applied to the free product G*X where X is free, lets the authors pass from a transformation fixing all conjugates of a tuple to an identity in the free product, which yields faithfulness.","core_discovery":"Theorem 2.1 establishes that if G is a torsion-free non-elementary hyperbolic group, then FAC_k(G) acts faithfully on every nontrivial orbit in G^k. The proof shows that if an Andrews-Curtis transformation fixes all conjugates of a tuple with at least one nonidentity entry, then it must fix every tuple in G^k and hence be the identity. Corollary 2.2 then identifies the full Andrews-Curtis group with the classical Andrews-Curtis group: the restriction epimorphism λ: FAC_k(G) → AC_k(G) is an isomorphism.","pith_inferences":["The same proof scheme may work for any group satisfying CSA, the big powers condition, and a suitable noncommutation condition; the paper's Remark 3.5 already lists these properties, but the faithfulness conclusion for such groups is a natural extension the authors do not spell out.","If the isomorphism between FAC_k(G) and AC_k(G) holds in broader classes of groups, then search algorithms for Andrews-Curtis trivializations could be run on the full product G^k rather than only on normal-generating tuples, potentially making counterexample searches more tractable.","The triviality of the radical of the affine space G^n, noted as a remark, suggests that equations over torsion-free hyperbolic groups behave like equations over free groups in a strong model-theoretic sense; one could test whether this radical triviality has consequences for solving systems of equations over such groups."],"forward_implications":["For every torsion-free non-elementary hyperbolic group G and integer k ≥ 2, FAC_k(G) and AC_k(G) are isomorphic, so the kernel of λ is trivial and General Problem 1 is solved for this class.","The result extends the earlier isomorphism theorem for free nonabelian groups to all torsion-free non-elementary hyperbolic groups, unifying the known case with a single argument.","Since G^k is computable when the word problem for G is decidable, the full Andrews-Curtis group can be studied algorithmically on a computationally tractable domain, unlike N_k(G) whose computability is open.","The faithfulness theorem provides a concrete sense in which AC-transformations on hyperbolic groups are rigid: any transformation that looks trivial on one orbit must be trivial globally."],"supporting_citations":[{"why":"Supplies the big powers property for hyperbolic groups, the key external theorem on which the contradiction argument in Theorem 3.3 relies.","marker":"[21]"},{"why":"Provides the background theory of hyperbolic groups, including the fact that free products of hyperbolic groups are hyperbolic.","marker":"[12]"},{"why":"Introduces the Andrews-Curtis transformations and the conjecture that motivate the study of the groups FAC_k(G) and AC_k(G).","marker":"[4]"},{"why":"Proved independently that λ is an isomorphism for free nonabelian groups, the special case that the present theorem extends to all torsion-free non-elementary hyperbolic groups.","marker":"[25]"}],"fun_headline_variants":["Full and classical AC groups coincide for torsion-free hyperbolic groups","Hyperbolic groups: FAC and AC are the same group","AC groups merge for non-elementary torsion-free hyperbolic groups","Faithful orbits prove AC isomorphism for hyperbolic groups"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on the big powers property of torsion-free non-elementary hyperbolic groups: for any sequence of elements in which consecutive entries do not commute, sufficiently large powers of those elements multiply to a nontrivial element. If that external property failed, the contradiction argument in Theorem 3.3 would not go through, and with it the faithfulness theorem would lose its main support.","fun_headline_variants_meta":{"raw":{"variants":["Full and classical AC groups coincide for torsion-free hyperbolic groups","Hyperbolic groups: FAC and AC are the same group","AC groups merge for non-elementary torsion-free hyperbolic groups","Faithful orbits prove AC isomorphism for hyperbolic groups"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000273,"raw_usage":{"total_tokens":1597,"prompt_tokens":867,"completion_tokens":730,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":483,"completion_tokens_details":{"reasoning_tokens":665}},"tokens_in":483,"tokens_out":730,"duration_ms":7746,"temperature":1.0,"reasoning_tokens":665,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T21:56:01.249317+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a torsion-free non-elementary hyperbolic group G, a nontrivial α in FAC_k(G), and a tuple with all entries nonidentity such that α fixes every conjugation of that tuple. Equivalently, find an equation E over such a G that is not the identity in G*X yet is satisfied by every tuple from G; Theorem 3.3 asserts none exists.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the big powers property for hyperbolic groups, the key external theorem on which the contradiction argument in Theorem 3.3 relies."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the background theory of hyperbolic groups, including the fact that free products of hyperbolic groups are hyperbolic."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the Andrews-Curtis transformations and the conjecture that motivate the study of the groups FAC_k(G) and AC_k(G)."},{"cited_title":"On the Andrews-Curtis groups: non-finite presentability","cited_arxiv_id":"2305.11838","evidence_quote":"Proved independently that λ is an isomorphism for free nonabelian groups, the special case that the present theorem extends to all torsion-free non-elementary hyperbolic groups."}],"review_version":1}