{"id":"9081f007-e397-483b-8031-48976a880090","arxiv_id":"2412.18891","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A family of subgroups satisfying four or five closure conditions forces a group to have a simple derived subgroup, unifying earlier simplicity theorems and yielding new openness results for normal subgroups.","lead":"This paper proves new algebraic criteria that force a group to be almost simple, meaning it has one unique smallest normal subgroup, and often a simple one. The results unify earlier simplicity proofs for groups acting on trees and on Cantor spaces, and give a new way to show certain normal subgroups of locally compact groups are open.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.13's proof invokes 'locally weakly decomposable', which is never defined and is not shown to follow from the 'locally decomposable' hypothesis; without this implication or an added hypothesis, the openness conclusion is unsupported.","rationale":"I read the paper in good faith. The main commutator argument for Theorem 1.6 is detailed and internally coherent; the reader's identification of condition (D) (joinability) as the key closure assumption is reasonable, and the paper itself acknowledges via Question 1 that absence of (D) leaves only weaker conclusions. I found no specific flaw in the proof of Theorem 1.6. However, the second main theorem, Theorem 1.13, has a genuine load-bearing gap: the proof invokes the undefined term 'locally weakly decomposable' and an external proposition [CRW17b, Proposition 6.14] without establishing that the paper's stated hypothesis implies the needed condition. This is more serious than a mere self-containedness issue, because it affects the validity of a central advertised result and its corollary. The reader noted this issue in the rationale but chose joinability as the weakest assumption; I partially agree with the reader but would put the Theorem 1.13 gap at least on equal footing. The verdict CONDITIONAL remains appropriate: the paper is promising and likely fixable (e.g. by adding the missing definition/implication or strengthening the hypothesis), but as written the proof of Theorem 1.13 is incomplete. My proposed concrete test would settle whether the gap is merely expositional or requires a substantive change to the theorem.","tokens_in":20506,"tokens_out":12726,"duration_ms":109797,"concrete_test":"Retrieve the definition of 'locally weakly decomposable' and Proposition 6.14 from [CRW17b]. Check whether every action satisfying the paper's 'locally decomposable' definition (Section 1.4) satisfies the hypotheses of Proposition 6.14 in the setting of Theorem 1.13. If the implication holds, add a one-sentence lemma or explicit citation; if it fails, Theorem 1.13 needs an additional hypothesis or a new proof of openness of con_G(g) ∩ L that avoids Proposition 6.14.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 4.1, the proof of Theorem 1.13 reaches the crucial step: after setting L = rist_G(Z \\setminus gZ), it says 'since the action is locally weakly decomposable in the terminology of [CRW17b], we see by [CRW17b, Proposition 6.14] that the intersection L* = con_G(g) ∩ L is open in L.' The theorem's hypothesis is only that the action is 'locally decomposable' (defined in Section 1.4 as: for every partition P of X, the subgroup generated by the rigid stabilisers of members of P is open in G). The term 'locally weakly decomposable' appears nowhere else in the paper, and no implication from the assumed condition to this apparently different condition is proved or cited. This is not merely a missing definition: [CRW17b, Proposition 6.14] is the only ingredient that forces a contraction-group intersection to be open, and that openness is then used to show that A is open in G. If 'locally decomposable' does not imply 'locally weakly decomposable' in the sense needed by Proposition 6.14, Theorem 1.13 is unproved as stated. The same gap propagates to Corollary 1.15, which is derived directly from Theorem 1.13.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a general commutator framework for proving almost simplicity and simplicity of derived subgroups. It defines compression families of subgroups (nomadic, joinable, shiftable) and proves Theorem 1.6: for a joinable compression family C with H=<C>, D(H) is the monolith of G; under semi-transitivity D(H) is simple; under shift-joinability D(H)=H is a simple monolith. Applications include compressed micro-supported actions (Corollary 1.7), tree automorphism groups (Corollaries 1.8–1.9), and piecewise full groups (Corollary 1.10, Theorem 1.11). The paper also proves a criterion for non-closed normal subgroups of t.d.l.c. groups to be open (Theorem 1.13), and derives consequences for robustly monolithic groups (Corollary 1.15). Section 3 adapts arguments of Balasubramanya–Fournier-Facio–Genevois to give property (NGT) for subgroups G0 with D(G) ≤ G0 ≤ G (Theorem 3.3 and Corollary 3.5).","tokens_in":20737,"tokens_out":16858,"duration_ms":137288,"significance":"The compression-family framework is a clean and potentially useful unification of several existing simplicity criteria, including work of Tits, Matui, Le Boudec, Möller–Vonk, and others. The applications to tree actions and piecewise full groups are natural and the derivations are mostly self-contained. The paper is honest about the limitations of condition (D) (Question 1) and provides weaker statements when it fails (Lemma 2.8, Proposition 2.9). The central gap is that Theorem 1.13 depends on the undefined term 'locally weakly decomposable'; until that term is defined and the implication from 'locally decomposable' is supplied, the openness theorem and its corollary are not established. This is a load-bearing but likely fixable issue.","major_comments":[{"comment":"The proof invokes 'locally weakly decomposable in the terminology of [CRW17b]' without defining the term or proving that the standing hypothesis of local decomposability (defined in Section 1.4) implies it. The sentence 'since the action is locally weakly decomposable ... we see by [CRW17b, Proposition 6.14] that the intersection L* = con_G(g) ∩ L is open in L' is the only step that produces an open contraction-group intersection, and that openness is then used to conclude that A is open in G. With the undefined term left as is, Theorem 1.13 is unproved. The same gap propagates to Corollary 1.15, which is derived directly from Theorem 1.13.","section":"Section 4.1, proof of Theorem 1.13"}],"minor_comments":[{"comment":"The text 'there is k ∈ A ∩ gC' appears to be a typo: in the preceding lines the relevant group element is h, not g. The intended statement should be 'there is k ∈ A ∩ h C' (or an explicit redefinition), and the derivation should be spelled out.","section":"Section 3, proof of Theorem 3.3, Claim 1"},{"comment":"The statement of property (L) is hard to parse: the quantifiers over g_i and the condition 'g_j ∈ A_j for at least one j' are not fully clear. Please restate the property with explicit variables and explain how it is used to produce the element k in Claim 1.","section":"Section 3, Theorem 3.3, property (L)"},{"comment":"The assertion that ⟨a_i L* a_i^{-1} | 1 ≤ i ≤ n⟩ is open in G after using the finite cover X = ⋃ a_i(Z \\ gZ) is not immediate. The proof should explicitly say that one passes to a finite clopen partition refining the cover and applies local decomposability to that partition, so that each a_i L* a_i^{-1} is open in the corresponding rigid stabiliser.","section":"Section 4.1, proof of Theorem 1.13, final paragraph"},{"comment":"The identity [a,b] = [[a,g],[b,g^2]] is used without proof. Since the paper's commutator convention is [x,y] = x y x^{-1} y^{-1}, a short verification would help the reader, especially because the identity relies on the pairwise commutation of distinct conjugates from part (ii).","section":"Section 2.1, Lemma 2.4(iv)"}],"recommendation":"major_revision","confidential_remarks":"The reader's conditional verdict matches my assessment. The main gap is the undefined term in Theorem 1.13; I believe it is likely fixable by adding the definition from [CRW17b] and verifying the needed implication, or by adjusting the hypotheses. The rest of the paper appears sound, and the framework is a solid contribution to the simple-groups literature."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something genuinely useful: it distills the common core of Tits, Matui, Le Boudec, and Möller-Vonk into compression families, and proves a clean monolith/simplicity theorem. The proof of Theorem 1.6 is careful and I found no error in the commutator arguments. The corollaries recovering known results are correct, and the new consequences, like abstract simplicity of G++ for locally compact tree automorphism groups, are worthwhile. Section 3's adaptation of BFFG's NGT criterion is also clever and checks out.\n\nThe main soft spot is exactly where the reader flagged it. In the proof of Theorem 1.13, the paper invokes 'locally weakly decomposable' from [CRW17b] without defining the term or proving that local decomposability (as defined in Section 1.4) implies it. This is not a cosmetic omission: [CRW17b, Proposition 6.14] is the only input that forces con_G(g) ∩ L to be open in L, and that openness is what makes the argument go through. Corollary 1.15 inherits the gap. I agree with the reader's conditional verdict.\n\nTwo lesser observations. First, condition (D) in Definition 1.5 is strong, and the paper itself acknowledges via Question 1 that it is not a formal consequence of compressibility. That is honest, not a flaw. Second, the paper leans on several previous results from the same research group; those citations look accurate and are not circular, so I do not hold that against it.\n\nWho is this for? People working on simplicity of groups acting on trees, Cantor spaces, and t.d.l.c. groups. The paper deserves a serious referee, but the referee should insist that Theorem 1.13 be fixed: either add the missing definition, prove the implication, or adjust the hypothesis. The rest of the paper is solid and would survive that revision intact.","headline":"A solid unification of simplicity criteria via compression families, with a real but localized gap in the openness theorem.","tokens_in":21328,"tokens_out":1588,"would_cite":true,"duration_ms":16462,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["20E32","22F50","22D05","20E08","37B05"],"pacs":[],"model":"deepseek-v4-flash","headline":"Joinable compression families yield simple derived subgroups","keywords":["almost simple group","simple derived group","commutator group","totally disconnected locally compact group","action on Cantor space","Cantor dynamics","micro-supported action","compression family"],"falsifier":"Exhibit a group $G$ and a joinable compression family $\\mathcal{C}$ for $H=\\langle\\mathcal{C}\\rangle$ such that $D(H)$ is not the monolith of $G$, or such that $D(H)$ has a proper nontrivial normal subgroup while $H$ is semi-transitive on $\\mathcal{C}$. Concretely, one could search for a compressible micro-supported action satisfying the union closure of Corollary 2.7 whose derived subgroup is not simple; the paper leaves this open in Question 1, so no such example is currently known.","tokens_in":20258,"feed_emoji":"🧩","tokens_out":6443,"duration_ms":57221,"temperature":0.7,"pith_summary":"This paper gives sufficient conditions, expressed through a family of subgroups called a compression family, for a group to be almost simple. The main theorem shows that when the family satisfies a closure property called joinability and generates a subgroup $H$, the derived subgroup $D(H)$ is the monolith of $G$; with an extra transitivity condition $D(H)$ is simple, and with a shift condition $D(H)=H$ is simple. A second theorem shows that in a totally disconnected locally compact group with a faithful, minimal, locally decomposable action, any normal subgroup—closed or not—whose action is compressible must be open. These results unify and extend earlier simplicity criteria for tree automorphism groups and topological full groups, and imply that many previously studied monolithic t.d.l.c. groups are simple-by-discrete.","feed_headline":"Joinable compression families yield simple derived subgroups","feed_subtitle":"New sufficient conditions place the derived subgroup as the unique minimal normal subgroup, often simple.","key_machinery":"The central object is a joinable compression family: a conjugation-invariant family $\\mathcal{C}$ of non-abelian subgroups satisfying (A) each member is non-abelian, (B) every nontrivial element of the ambient group has a member $A$ with $[A,gAg^{-1}]=\\{1\\}$, (C) semitransitivity, meaning any member can be conjugated inside any other by $H$, and (D) joinability: whenever $A$ commutes with $C$ and $C$ is not contained in $B$, some $D\\in\\mathcal{C}$ contains $\\langle A,B\\rangle$. Joinability is the load-bearing closure condition that lets the proof push commutators into the monolith; shiftability (E) adds an infinite-product shift endomorphism that turns every element of $H$ into a commutator, giving perfectness.","core_discovery":"Under the hypotheses of Theorem 1.6, the derived group of the subgroup generated by a joinable compression family is exactly the intersection of all nontrivial normal subgroups, and it is simple whenever the family is semi-transitive; when the family is also shiftable, the generated subgroup is perfect and simple. The proof is commutator-theoretic: condition (D) lets any commutator $[a,b]$ with $a,b$ in members of $\\mathcal{C}$ be expressed as a product of commutators falling inside the monolith, forcing $D(H)$ into every normal subgroup, while Lemma 2.8 supplies the reverse containment. Theorem 1.13 adds a topological conclusion: in a faithful minimal locally decomposable action of a t.d.l.c. group, a normal subgroup with compressible action is open, because compressibility spreads rigid stabilisers whose contraction groups lie inside the subgroup.","pith_inferences":["Going beyond the paper, the same commutator strategy suggests that any minimal compressible action generated by elements of compressible support may have simple derived subgroup; Question 1 marks this as the natural sharpening if joinability can be weakened.","The openness conclusion of Theorem 1.13 does not require the normal subgroup to be closed, so it may apply to dense subgroups such as derived subgroups, potentially turning abstract simplicity into topological simplicity in many t.d.l.c. piecewise full groups.","The property (NGT) argument in Theorem 3.3 is stated for groups with a joinable compression family, so the obstruction to general-type hyperbolic actions should transfer to any such family satisfying the transitivity hypotheses, not only to piecewise full groups.","A testable extension suggested by condition (E) is to study the quotient $H/D(H)$ when only (A)–(D) hold; the paper notes this quotient is often mysterious, and the shiftability hypothesis may be exactly what forces it to vanish."],"forward_implications":["For any compressible micro-supported action whose rigid stabilisers satisfy the union condition of Corollary 1.7, the ambient group is almost simple with monolith $D(H)$, and the action of $D(H)$ is fully compressible.","Tree automorphism groups acting geometrically densely with nontrivial $G^{++}$ are almost simple with monolith $D(G^{++})$; under local compactness, $G^{++}$ is abstractly simple.","Compressible piecewise full groups on zero-dimensional spaces are almost simple with monolith $D(H)$; if the space is compact and the action minimal, $D(G)$ is simple and its action fully compressible.","In a t.d.l.c. group with a faithful minimal locally decomposable action, every normal subgroup with compressible action is open, hence inherits local decomposability and minimality.","Robustly monolithic t.d.l.c. groups with an open direct-product subgroup have an open, abstractly simple monolith, making them simple-by-discrete."],"supporting_citations":[{"why":"Supplies the original commutator blueprint and the tree-action simplicity theorem that Theorem 1.6 generalises.","marker":"[Tit70]"},{"why":"Provides the topological full group result (monolith $D(F(G))$) that is recovered by Corollary 1.10.","marker":"[Mat15]"},{"why":"Establishes Property H and the closed monolith result for tree automorphism groups, extended here to abstract simplicity.","marker":"[MV12]"},{"why":"Fixes the language of fully compressible/extremely proximal actions and the micro-supported action framework used in Corollary 1.7.","marker":"[LB21]"},{"why":"Contraction groups lie in normal subgroups of t.d.l.c. groups, the key input for Theorem 1.13.","marker":"[CRW14]"},{"why":"Supplies local decomposability and locally normal subgroup theory used in Section 4.","marker":"[CRW17b]"},{"why":"Defines robustly monolithic groups and provides the Stone-space action whose compressibility yields Corollary 1.15.","marker":"[CRW21]"},{"why":"Gives the property (NGT) characterisation used in Theorem 3.3.","marker":"[Gen19]"}],"fun_headline_variants":["Joinable compression families yield simple derived groups","Simple derived subgroup from joinable compressions","Compressibility forces derived subgroup simplicity","Compression conditions give simple derived subgroup"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on condition (D), joinability: whenever one member of the family commutes with another that is not contained in a third, a fourth member must contain the subgroup generated by the first and third; this closure under taking unions is not a formal consequence of compressibility and is verified in the paper only when the underlying subsets are closed under unions up to density.","fun_headline_variants_meta":{"raw":{"variants":["Joinable compression families yield simple derived groups","Simple derived subgroup from joinable compressions","Compressibility forces derived subgroup simplicity","Compression conditions give simple derived subgroup"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000281,"raw_usage":{"total_tokens":1593,"prompt_tokens":804,"completion_tokens":789,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":420,"completion_tokens_details":{"reasoning_tokens":736}},"tokens_in":420,"tokens_out":789,"duration_ms":7135,"temperature":1.0,"reasoning_tokens":736,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T04:21:40.932257+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Exhibit a group $G$ and a joinable compression family $\\mathcal{C}$ for $H=\\langle\\mathcal{C}\\rangle$ such that $D(H)$ is not the monolith of $G$, or such that $D(H)$ has a proper nontrivial normal subgroup while $H$ is semi-transitive on $\\mathcal{C}$. Concretely, one could search for a compressible micro-supported action satisfying the union closure of Corollary 2.7 whose derived subgroup is not simple; the paper leaves this open in Question 1, so no such example is currently known.","supporting_citations":[],"review_version":1}