{"id":"c0b781c7-2280-494c-bc99-4b76daf1ba93","arxiv_id":"2608.10114","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"An acylindrically hyperbolic group satisfying the hyperbolic Theta-seed conditions admits a sharply Theta-transitive action, yielding many non-split sharply 2- and 3-transitive examples.","lead":"This paper gives a geometric recipe: if a group acts acylindrically on a hyperbolic space and satisfies a list of seed conditions tied to a finite permutation group, then it acts sharply transitively on k-element subsets. It yields many new non-split sharply 2- and 3-transitive groups, including hyperbolic groups with prescribed centralizers.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem A's iterative construction requires finite |H\\N(R)|, but acylindrical actions on non-proper spaces can have infinite point stabilizers, making (20) unsatisfiable.","rationale":"The reader's weakest assumption was Definition 0.11(II)(b) (K(N_G(Ω)) = Ω). That is indeed a strong condition, but it is an explicit hypothesis; if it fails, the theorem simply does not apply. The deeper gap I find is in the proof of Theorem A itself: the induction must choose R_{n+1} with |H_n\\N(R_{n+1})| > |N_{H_n}(R_n)|. This requires finiteness of the number of H_n-cosets in bounded balls. Acylindrical actions on non-proper spaces can have infinite point stabilizers, and nothing in Definition 0.11 excludes this. When H_0 = {1} (a legitimate case for Θ = S_2), an infinite vertex stabilizer makes N_{H_0}(R) infinite for all R, so condition (iii)/(20) is unsatisfiable. This is not a mere omission: the proof's central iterative step fails for seeds that the definition allows. The theorem may still be true under a properness assumption, and Corollary C's hyperbolic-group applications are unaffected, but the theorem's stated generality is not justified. The abstract also says 'split' where the body proves 'non-split', an additional inconsistency, but the cardinality issue is the most load-bearing because it blocks the proof of the main theorem. A condition should be added to Definition 0.11 (or to Theorem A) requiring, for instance, that the action is proper or that each N_H(R) is finite. Until then, the verdict remains conditional: the paper should not be accepted without this repair and without resolving the abstract/body contradiction.","tokens_in":127,"tokens_out":28991,"duration_ms":814638,"concrete_test":"Construct a candidate seed with a non-proper acylindrical action: let G = A *_C B act on its Bass-Serre tree, with C finite and A infinite, choosing A, B so the action is non-elementary and acylindrical. Take Θ = S_2 and H_0 = {1} as in Corollary B, and verify the corresponding conditions in Definition 0.11 (e.g., arrange a unique conjugacy class of involutions and K(G) = 1). Then compute N_{H_0}(R) = {H_0 g : d(p,gp) < R}. Since the vertex stabilizer A is infinite and lies in N(0), |N_{H_0}(R)| is infinite for every R. Attempt to choose R_1 satisfying (20); the strict inequality fails because both sides are countably infinite. This demonstrates that the proof of Theorem A cannot be carried out without an additional properness or coboundedness assumption in the definition of hyperbolic Θ-seed.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Theorem A (Section 5) constructs a chain H_n and radii R_n satisfying condition (iii): |N_{H_{n+1}}(R_{n+1})| > |N_{H_n}(R_n)|, where N_H(R) = {Hg : d(p,gp) < R}. This cardinal strict inequality is only meaningful when these sets are finite. However, Definition 0.11 of a hyperbolic Θ-seed only assumes an acylindrical non-elementary action on a δ-hyperbolic metric space; no properness or coboundedness is assumed. Acylindricity does not imply finite point stabilizers. For example, an acylindrical action on a tree with finite edge stabilizers and an infinite vertex stabilizer (e.g., a free product with amalgamation A *_C B with C finite and A infinite) has an infinite stabilizer of the vertex p. If H_0 = {1} (the allowed case for Θ = S_2 in Corollary B), then N_{H_0}(0) contains this infinite stabilizer, so |H_0\\N(R)| is infinite for every R. The inequality (20) then cannot be satisfied for any real R_{n+1}. Thus the iterative construction in Theorem A does not work for non-proper acylindrical actions; the theorem is only justified when bounded sets of cosets are finite, e.g., when X is proper and the action is proper, as in Corollary C's hyperbolic-group setting. The theorem as stated is therefore not proven as written.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper defines a 'hyperbolic Θ-seed' for a transitive robust subgroup Θ ≤ S_k: a countable group G with a non-elementary acylindrical action on a δ-hyperbolic space, together with a subgroup H_0 whose coset action is controlled and with transverse loxodromic elements h_Ω. Theorem A asserts that any group admitting such a seed has a sharply Θ-transitive action on an infinite set, and that for Θ = S_2, S_3 these actions are non-split. Corollary B specializes to acylindrically hyperbolic groups, and Corollary C gives concrete hypotheses on hyperbolic groups implying sharp 2- and 3-transitivity. The proof proceeds by iteratively adjoining small-cancellation elements α_i = g_{i,-1} α g_{i,1}^{-1} to H_0, using geometric fellow-traveling lemmas to preserve k-malnormality and transversality, and finally taking the union H_∞.","tokens_in":37059,"tokens_out":12233,"duration_ms":136663,"significance":"If the proof were complete, the result would be valuable: it gives a uniform geometric mechanism producing non-split sharply 2- and 3-transitive actions from acylindrical actions, and it places the earlier algebraic constructions of [dlNGS25] in a geometric setting. The paper is ambitious and contains a substantial amount of original small-cancellation technology (Lemmas 2.12, 3.8, and 4.1), and the hyperbolic-group corollaries are concrete and checkable. However, the main theorem's proof currently has a serious gap concerning finiteness of the sets N_H(R), and one key computation is deferred, so the paper cannot be accepted in its present form.","major_comments":[{"comment":"The strict inequality |H_n\\N(R_{n+1})| > |N_{H_n}(R_n)| is used to guarantee condition (iii) of the iterative construction, but the proof never establishes that the sets N_H(R) are finite. Under Definition 0.11 the action is only assumed acylindrical and non-elementary on a δ-hyperbolic metric space; no properness or finiteness of bounded sets is assumed. Acylindricity does not imply finite point stabilizers: for example, an acylindrical action on a tree arising from A *_C B with C finite and A infinite has an infinite vertex stabilizer. With H_0 = {1}, the set N_{H_0}(R) then contains this infinite stabilizer for every R, so |H_0\\N(R)| is infinite and cannot be made strictly larger than a previous infinite cardinal; inequality (20) is unsatisfiable. Since condition (iii) is used to ensure that H_∞ has infinite index, the iterative construction in Theorem A is not justified for non-proper actions. The theorem as stated is therefore not proven as written; the author should either add a properness or finite-bounded-coset assumption to Definition 0.11 or replace the cardinal argument with a different mechanism.","section":"Section 5, proof of Theorem A, inequality (20)"},{"comment":"Corollary B(I) states that any acylindrically hyperbolic group admits an action on a set that is k-sharp and transitive on k-sets, and the preceding sentence indicates this is meant to follow from Theorem A with Θ = {1} ≤ S_k. However, Theorem A explicitly requires Θ to be transitive on k, and the trivial group {1} is not transitive on k for k > 1. The proof of Corollary B only checks that H_0 = {1} satisfies the seed conditions and does not address this mismatch. If Corollary B(I) is intended for Θ = S_k instead, then robustness of S_k only holds for k ≤ 3 by Lemma 0.6, so the general statement still does not follow. The corollary needs either a separate proof or a corrected hypothesis.","section":"Section 0.3, Corollary B(I)"},{"comment":"The proof of Lemma 4.1 concludes with the statement that the desired lower bounds on the H-subarcs follow by 'an easy but tedious calculation which is left to the reader.' These bounds are not optional: they feed directly into Lemma 4.9's diameter estimate, which is in turn used in Lemma 5.4 to prove that H_1 is k-malnormal and geometrically k-separated. The referee cannot verify the malnormality step without this calculation. The author should supply the full computation or provide a precise reference that contains it.","section":"Section 4, Lemma 4.1(vi)-(vii)"}],"minor_comments":[{"comment":"The abstract says this yields 'split sharply 2 and 3-transitive actions', but the title and the note after Theorem A state that the resulting actions are non-split; the abstract should be corrected to 'non-split'.","section":"Abstract"},{"comment":"The title contains a typesetting artifact, '2SHARPL Yk-TRANSITIVE', which should be corrected in the final version.","section":"Title"},{"comment":"The notation 'tH h^m_{t1u}_{m∈Z}' is garbled; it should presumably read '{H h^m : m ∈ Z}'.","section":"Observation 0.12"},{"comment":"The symbol m is used both for the integer appearing in the word defining α and for the number of blocks in the product; this creates avoidable confusion and the two roles should be denoted differently.","section":"Lemma 2.12"},{"comment":"The phrase 'if Ω ≤ S ≤ G' is unclear; it should presumably read 'if Ω ≤ S_3 ≤ G' or similar, since S is not introduced as a subgroup of G.","section":"Corollary C(B)(i)"}],"recommendation":"major_revision","confidential_remarks":"The paper relies heavily on the author's own unpublished preprint [dlNGS25] for Lemmas 5.2, 5.7, and Corollary 5.3, and the referee could not independently verify those algebraic reductions; if the journal permits citing preprints, please confirm that [dlNGS25] is publicly available and stable. The abstract's split/non-split contradiction and the unsupported Corollary B(I) should also be resolved before the manuscript is reconsidered."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"J.,\n\nHere is my take. The paper has one genuinely new and valuable idea: it codifies a geometric 'seed' condition on an acylindrical action that is supposed to force sharply Θ-transitive actions, and it draws new corollaries for hyperbolic groups. If the main theorem were correct, it would give a systematic geometric source of non-split sharply 2- and 3-transitive groups, extending the Rips–Segev–Tent breakthrough. The small-cancellation and fellow-traveling machinery is substantial, and the author is upfront about borrowing some algebraic scaffolding from his own preprint [dlNGS25].\n\nThe soft spot is load-bearing and appears in the proof of Theorem A itself. In Section 5 the induction needs to choose R_{n+1} so that |H_n \\ N(R_{n+1})| > |N_{H_n}(R_n)|. That strict inequality only makes sense when the relevant coset sets are finite. The seed definition does not assume properness of X or properness of the action, and acylindricity does not force finite point stabilizers. For example, A *_C B with C finite and A infinite acts acylindrically on its Bass–Serre tree with an infinite vertex stabilizer. In the S_2 case the author explicitly allows H_0 = {1}, and then N(R) is infinite for every R, so the inequality cannot even get started. So Theorem A as stated is not proven; it holds in the proper/hyperbolic-group setting of Corollary C, but it needs an extra finite-coset/properness hypothesis in general. Corollary B inherits the same problem.\n\nTwo smaller issues. The abstract says 'split sharply 2 and 3-transitive actions' while the title and body say 'non-split'; one of them is wrong. And the proof delegates several key algebraic lemmas to the unpublished [dlNGS25] and leaves one calculation in Lemma 4.1 as 'easy but tedious'—a referee should be given at least a sketch.\n\nNet: the construction is promising and probably salvageable, but the main theorem as written overreaches. This deserves a serious referee, not a desk reject, and the revision needs to fix the finiteness issue and the abstract inconsistency.","headline":"Promising seed construction, but Theorem A overreaches: the induction needs a finite-coset/properness condition that acylindricity alone does not supply.","tokens_in":37540,"tokens_out":4861,"would_cite":false,"duration_ms":49352,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20B22","20F65","20F67"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a group carrying a hyperbolic $\\Theta$-seed admits a sharply $\\Theta$-transitive action on an infinite set, non-split for $\\Theta=S_2$ and $\\Theta=S_3$.","keywords":["sharply k-transitive actions","non-split sharply 2-transitive groups","acylindrically hyperbolic groups","hyperbolic groups","small cancellation","permutation groups","robust subgroups","generalized characteristic 2"],"falsifier":"The direct place to test the claim is the inductive step Lemma 5.4: take a concrete hyperbolic group satisfying the hypotheses of Corollary C, choose a strict $\\Omega$-set $A$ and another $\\Omega$-set $A'$ in a different $G$-orbit, and try to build the extension $H<H_1$ that is injective on a large ball and merges $A$ and $A'$ in $H_1\\setminus G$. If no such extension exists, or if in the resulting limit action some nonidentity element fixes a $k$-tuple of distinct points for the relevant $k$, then $k$-sharpness fails and the theorem would be refuted.","tokens_in":36539,"feed_emoji":"♾️","tokens_out":13619,"duration_ms":124615,"temperature":0.7,"pith_summary":"The paper's claim is that a short list of geometric conditions on a group $G$ acting acylindrically (elements that move two far-apart points by a bounded amount are uniformly few) on a $\\delta$-hyperbolic space forces $G$ to act on an infinite set in a sharply $\\Theta$-transitive way: the action is $k$-sharp, transitive on $k$-sets, and the setwise stabilizer of every $k$-set acts on it as a prescribed transitive 'robust' subgroup $\\Theta\\leq S_k$. For $\\Theta=S_2$ and $\\Theta=S_3$ the resulting sharply 2- and 3-transitive actions are non-split, meaning the relevant point stabilizers contain no nontrivial proper abelian normal subgroup that would make the action a semidirect product. This matters because non-split sharply 2-transitive groups were only recently known to exist, and the recipe turns their construction into a consequence of acylindrical hyperbolicity. The practical payoff is concrete: every acylindrically hyperbolic group admits an action that is $k$-sharp and transitive on $k$-sets, and hyperbolic groups with one involution class (or a suitable $S_3$ subgroup) and the right normalizer data become sharply 2- or 3-transitive.","feed_headline":"Acylindricity yields non-split sharply 2- and 3-transitive groups","feed_subtitle":"Acylindrical actions plus a normalizer condition yield non-split sharply 2- and 3-transitive actions on infinite sets.","key_machinery":"The engine is the small-cancellation extension step. Given a promising subgroup $H$, one selects a loxodromic element $\\alpha$ that is $(p,\\nu)$-small-cancellation over a finite set, commutes with a prescribed finite subgroup $\\Omega$, satisfies $K(\\alpha)=\\Omega$, and is neatly transverse to $H$; conjugates $\\alpha_i=g_{i,-1}\\alpha g_{i,1}^{-1}$ are then added so that $H'=\\langle H,\\alpha_i\\rangle$ is the free product $H*F(\\alpha_i)$. Extension arcs built from geodesics $[p,\\alpha p]$ and their translates are quasigeodesic, and the fellow-traveling analysis of Lemma 4.9 shows that if translates of extension arcs run parallel for a long stretch, the sequence of exponents of the $\\alpha_i$ must alternate and have length at most two. That rigidity is what preserves $k$-malnormality, giving sharpness; the same geometric separation bounds keep the setwise stabilizer of each $k$-set exactly conjugate to the prescribed $\\Theta$.","core_discovery":"The central discovery, Theorem A, is that a 'hyperbolic $\\Theta$-seed' is enough. Fix $k>1$ and a transitive robust subgroup $\\Theta$ of $S_k$; a seed is a countable group $G$ with a non-elementary acylindrical action on a $\\delta$-hyperbolic space, a subgroup $H_0$ whose cosets realize the permutation action of $\\Theta$ on $k$ except for one prescribed free part, loxodromic elements $h_\\Omega$ for each representative $\\Omega$ of the docile subgroups of $\\Theta$, and the normalizer condition $K(N_G(\\Omega))=\\Omega$. From any such seed the paper builds, by induction over a chain of free-product extensions, a limit action $H_\\infty\\curvearrowright H_\\infty\\setminus G$ that is sharply $\\Theta$-transitive. In the cases $\\Theta=S_2$ and $\\Theta=S_3$, the absence of nontrivial proper normal abelian subgroups in $G$ (or in a point stabilizer) makes the actions non-split. The paper also extracts Corollaries B and C, which turn the seed conditions into checkable hypotheses on acylindrically hyperbolic and hyperbolic groups.","pith_inferences":["Editorial extension: the robustness list (cyclic $C_k$, dihedral $D_m$ for odd $m$, $A_4$, $A_5$) suggests the seed method should also yield sharply $\\Theta$-transitive actions for these local groups once the normalizer condition $K(N_G(\\Omega))=\\Omega$ is realized; the paper does not spell these examples out.","Editorial extension: since the construction is an increasing union of free products with small-cancellation relations, the point-stabilizer structure of the final action is likely tame enough to analyze model-theoretically, matching the author's announced plan to study the positive theory of these actions.","Editorial extension: the recipe converts the existence problem for non-split sharply 2-transitive groups into a search for hyperbolic groups with prescribed centralizers of involutions; thus any concrete hyperbolic group with the Corollary C(A) profile is a potential new example, and failure of sharpness would pinpoint exactly where the normalizer hypotheses are insufficient."],"forward_implications":["Every acylindrically hyperbolic group admits an action that is $k$-sharp and transitive on $k$-sets for every $k>1$ (Corollary B(I)).","A hyperbolic group with a unique infinite conjugacy class of involutions $\\sigma$, a non-elementary centralizer $C_G(\\sigma)$, and $K(C_G(\\sigma))=\\langle\\sigma\\rangle$ is sharply 2-transitive (Corollary C(A)).","A hyperbolic group containing a copy of $S_3$ with the normalizer, quasiconvexity, and malnormality conditions of Corollary C(B) is sharply 3-transitive.","When $\\Theta=S_2$ or $\\Theta=S_3$, the constructed actions have generalized characteristic 2 and are non-split; because the ambient groups in Corollary C are hyperbolic, these give finitely presented examples.","The seed construction applies to any transitive robust $\\Theta$, so the same geometric recipe covers sharply $\\Theta$-transitive actions with local permutation groups other than symmetric groups, subject to satisfying the seed hypotheses."],"supporting_citations":[{"why":"Defines acylindrical actions and supplies the trichotomy and the maximal finite normal subgroup $K(G)$ used throughout the seed definition.","marker":"[Osi16]"},{"why":"Supplies the structural facts about elementary closures $E(h)$, $K(h)$, and rotating families used by the small-cancellation lemmas.","marker":"[DGO17]"},{"why":"Provides the existence of infinitely many independent loxodromic elements and their quasiaxes, used in Lemma 2.7 to produce auxiliary loxodromic elements.","marker":"[BF02]"},{"why":"Introduces sharply $\\Theta$-transitive actions and the taut partial-action framework that Theorem A generalizes; Lemma 5.2 is imported from it.","marker":"[dlNGS25]"},{"why":"Establishes the existence of non-split sharply 2-transitive groups, the phenomenon this paper reproduces by a geometric construction.","marker":"[RST17]"},{"why":"Supplies the small-cancellation perspective in acylindrically hyperbolic groups that Definition 2.11 and the geometric-separation notion adapt.","marker":"[Hul17]"},{"why":"Used for the acylindrical fellow-traveling lemmas (2.5 and 2.6) that control what happens when quasiaxes of loxodromic elements line up.","marker":"[Cou14]"}],"fun_headline_variants":["Acylindricity breeds non-split sharply 2- and 3-transitive actions","Simple acylindrical recipe for non-split 2- and 3-transitive groups","Hyperbolic seeds yield non-split 2- and 3-transitive actions","Non-split 2- and 3-transitive actions from acylindricity"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that for each representative $\\Omega$ in the chosen list, the largest finite normal subgroup of the normalizer $N_G(\\Omega)$ is exactly $\\Omega$; if the normalizer contains any additional finite normal subgroup, the small-cancellation element cannot be made to centralize exactly $\\Omega$, and the inductive extension cannot start.","fun_headline_variants_meta":{"raw":{"variants":["Acylindricity breeds non-split sharply 2- and 3-transitive actions","Simple acylindrical recipe for non-split 2- and 3-transitive groups","Hyperbolic seeds yield non-split 2- and 3-transitive actions","Non-split 2- and 3-transitive actions from acylindricity"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000884,"raw_usage":{"total_tokens":3802,"prompt_tokens":912,"completion_tokens":2890,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":528,"completion_tokens_details":{"reasoning_tokens":2797}},"tokens_in":528,"tokens_out":2890,"duration_ms":20756,"temperature":1.0,"reasoning_tokens":2797,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:10:36.145266+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The direct place to test the claim is the inductive step Lemma 5.4: take a concrete hyperbolic group satisfying the hypotheses of Corollary C, choose a strict $\\Omega$-set $A$ and another $\\Omega$-set $A'$ in a different $G$-orbit, and try to build the extension $H<H_1$ that is injective on a large ball and merges $A$ and $A'$ in $H_1\\setminus G$. If no such extension exists, or if in the resulting limit action some nonidentity element fixes a $k$-tuple of distinct points for the relevant $k$, then $k$-sharpness fails and the theorem would be refuted.","supporting_citations":[],"review_version":1}