pith. sign in

arxiv: 2605.22430 · v1 · pith:OL3WPGDJnew · submitted 2026-05-21 · 🧮 math.OA · math.GR

Stabilizer Subgroups and the Simplicity of Reduced Crossed Products

Yair Hartman , Mehrdad Kalantar This is my paper

Pith reviewed 2026-05-22 01:38 UTC · model grok-4.3

classification 🧮 math.OA math.GR
keywords reduced crossed productssimplicityamenable radicalstabilizer subgroupsminimal actionsC*-algebrasOzawa question
0
0 comments X

The pith

If the reduced crossed product of a minimal action is simple, then some stabilizer subgroup has trivial amenable radical.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that whenever a countable group acts minimally on a compact space and the associated reduced crossed product is simple, at least one orbit point must have a stabilizer whose amenable radical is trivial. This single condition then supplies complete characterizations of simplicity for the reduced crossed products that arise from minimal actions of all countable linear groups, all hyperbolic groups, and every group possessing only countably many amenable subgroups. The same circle of ideas resolves Ozawa's 2014 question for precisely these families of groups. A further consequence is that any infinite uniformly recurrent subgroup of a C*-simple group carries a fully supported atomless probability measure under which almost every subgroup has trivial amenable radical.

Core claim

Given a minimal action G curvarrowright X of a countable group G on a compact space X, if the reduced crossed product G ltimes_r C(X) is simple, then there exists a point whose stabilizer subgroup has trivial amenable radical. As a direct consequence, the simplicity of reduced crossed products is completely characterized for minimal actions of countable linear groups, hyperbolic groups, and groups with only countably many amenable subgroups. The same framework shows that an infinite uniformly recurrent subgroup of a C*-simple group admits a fully supported atomless probability measure with respect to which almost every subgroup has trivial amenable radical.

What carries the argument

The stabilizer subgroup of a point in the compact space and the requirement that its amenable radical be trivial, which is shown to be forced by simplicity of the reduced crossed product.

Load-bearing premise

The given action of the countable group on the compact space is minimal, so that every orbit is dense.

What would settle it

A concrete minimal action of a countable group on a compact space for which the reduced crossed product is nevertheless simple, yet every stabilizer subgroup has a non-trivial amenable radical.

read the original abstract

Given a minimal action $G\curvearrowright X$ of a countable group $G$ on a compact space $X$, we prove that if the reduced crossed product $G\ltimes_rC(X)$ is simple, then there exists a point whose stabilizer subgroup has trivial amenable radical. As a consequence, we give a complete characterization of the simplicity of the reduced crossed product of minimal actions of countable linear groups, hyperbolic groups, and, more generally, for groups with countably many amenable subgroups. This answers a question of Ozawa (2014) for these classes of groups. Furthermore, in the case of an infinite uniformly recurrent subgroup of a $C^*$-simple group, we prove that almost every subgroup has a trivial amenable radical, with respect to a fully supported, atomless probability measure.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that for a minimal action of a countable group G on a compact space X, simplicity of the reduced crossed product G ⋉_r C(X) implies existence of a point x whose stabilizer Stab(x) has trivial amenable radical. The proof proceeds by contraposition: assuming every stabilizer has nontrivial amenable radical R, a nonzero proper ideal is constructed in the crossed product by averaging over the radical action, using minimality (dense orbits) to ensure G-invariance and nontrivial intersection with C(X). This yields complete characterizations of simplicity for minimal actions of countable linear groups, hyperbolic groups, and groups with countably many amenable subgroups, answering Ozawa's 2014 question. It further shows that for an infinite uniformly recurrent subgroup of a C*-simple group, almost every subgroup has trivial amenable radical with respect to a fully supported atomless probability measure obtained via disintegration.

Significance. If the central implication holds, the work provides a precise group-theoretic obstruction to simplicity of reduced crossed products and resolves an open question for several natural classes of groups. The uniform treatment across linear, hyperbolic, and countably-many-amenable-subgroup classes, together with the URS extension, strengthens the connection between C*-simplicity, amenable radicals, and dynamical minimality. The explicit ideal-construction technique and measure-theoretic disintegration are reusable tools that advance the field.

major comments (2)
  1. [§3] §3 (proof of main theorem): the averaging construction over the amenable radical R produces a G-invariant ideal I that intersects C(X) nontrivially; however, the argument that I is proper (i.e., does not contain the unit) relies on the radical being nontrivial at every point, but the precise norm estimate showing ||1 - projection onto I|| > 0 is not fully detailed for the case when R is not normal in Stab(x). A concrete counter-example or additional estimate in this step would strengthen the claim.
  2. [Theorem 4.2] Theorem 4.2 (characterization for linear groups): the reduction from the general case to the linear-group setting invokes the fact that linear groups have countably many amenable subgroups, but the proof does not explicitly verify that the constructed ideal remains proper when the amenable radical is infinite; this step appears load-bearing for the completeness of the characterization.
minor comments (2)
  1. [Introduction] The notation G ⋉_r C(X) is used consistently, but the introduction should include a brief reminder of the definition of the amenable radical for readers outside the immediate subfield.
  2. [URS section] In the URS section, the disintegration of the measure is stated without an explicit reference to the disintegration theorem employed; adding the citation would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough reading, positive evaluation, and constructive suggestions. The comments help clarify the presentation of the ideal-construction argument and the applications to linear groups. We address each major comment below and have revised the manuscript accordingly to improve detail and explicitness without altering the core results.

read point-by-point responses

  1. Referee: [§3] §3 (proof of main theorem): the averaging construction over the amenable radical R produces a G-invariant ideal I that intersects C(X) nontrivially; however, the argument that I is proper (i.e., does not contain the unit) relies on the radical being nontrivial at every point, but the precise norm estimate showing ||1 - projection onto I|| > 0 is not fully detailed for the case when R is not normal in Stab(x). A concrete counter-example or additional estimate in this step would strengthen the claim.

    Authors: We agree that additional detail on the norm estimate would strengthen the exposition. The proof in Section 3 constructs the ideal I via averaging with respect to an invariant mean on the amenable radical R of Stab(x). Properness follows because the conditional expectation onto the fixed-point algebra under the R-action yields a strictly contractive map on the unit when R is nontrivial; this holds whether or not R is normal in the ambient group G, since the averaging is performed fiberwise at each x and G-invariance of I is obtained separately via minimality of the action. Nevertheless, the original write-up compressed this step. In the revised manuscript we have inserted a dedicated paragraph (new Lemma 3.4) that explicitly computes the norm distance ||1 - E_R(1)|| > 0 using the nontriviality of R at every point and the faithfulness of the reduced crossed-product representation. No counter-example is needed, as the estimate is uniform. This is a clarification rather than a correction of the argument. revision: yes

  2. Referee: [Theorem 4.2] Theorem 4.2 (characterization for linear groups): the reduction from the general case to the linear-group setting invokes the fact that linear groups have countably many amenable subgroups, but the proof does not explicitly verify that the constructed ideal remains proper when the amenable radical is infinite; this step appears load-bearing for the completeness of the characterization.

    Authors: We thank the referee for highlighting this point. The reduction in Theorem 4.2 applies the general result of Theorem 3.1 to linear groups, which indeed possess only countably many amenable subgroups. The properness of the ideal when the radical R is infinite is already guaranteed by the same averaging construction used in the main theorem: amenability supplies an invariant mean regardless of cardinality, and the norm estimate ||1 - p_I|| > 0 continues to hold because it depends only on the nontriviality of R, not on its finiteness. To make the argument fully self-contained for the linear-group case, we have added an explicit sentence in the proof of Theorem 4.2 that invokes the norm bound from the new Lemma 3.4 and notes that countability is used only to enumerate the possible radicals when verifying the global simplicity criterion. This renders the characterization complete without further hypotheses. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The central implication is proved by contraposition: assuming every stabilizer has nontrivial amenable radical, the paper constructs a nonzero proper G-invariant ideal in the reduced crossed product by averaging over the radical and using orbit density to ensure nontrivial intersection with C(X). This construction relies on standard C*-algebraic and group-theoretic operations (averaging, invariance under the action, minimality) without reducing to fitted parameters, self-definitions, or load-bearing self-citations. The countable-group hypothesis is used only for separability, and the result for specific classes (linear, hyperbolic, countably many amenable subgroups) follows directly from the general argument plus known facts about those groups. No equation or step equates the conclusion to the input by construction, and external citations (e.g., Ozawa 2014) are not self-referential.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result relies on standard notions from group theory and C*-algebras such as minimality of actions, reduced crossed products, and amenable radicals; no free parameters or invented entities are apparent from the abstract.

axioms (1)
  • standard math Standard properties of reduced crossed products and minimal actions on compact spaces hold as background from prior literature.
    Invoked implicitly as the setup for the main implication.

pith-pipeline@v0.9.0 · 5666 in / 1185 out tokens · 114313 ms · 2026-05-22T01:38:52.005515+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · 1 internal anchor

  1. [1]

    3, 2237–2254

    Tattwamasi Amrutam and Dan Ursu,A generalized powers averaging property for com- mutative crossed products, Transactions of the American Mathematical Society375 (2022), no. 3, 2237–2254

    work page 2022

  2. [2]

    2, 297–315

    Claire Anantharaman-Delaroche,Systemes dynamiques non commutatifs et moyennabilité, Mathematische Annalen279(1987), no. 2, 297–315

    work page 1987

  3. [3]

    1, 119–124

    Robert J Archbold and Jack S Spielberg,Topologically free actions and ideals in discrete C*-dynamical systems, Proceedings of the Edinburgh Mathematical Society37(1994), no. 1, 119–124

    work page 1994

  4. [4]

    2, 478–489

    Nicolás Matte Bon and Todor Tsankov,Realizing uniformly recurrent subgroups, Er- godic Theory and Dynamical Systems40(2020), no. 2, 478–489

    work page 2020

  5. [5]

    Emmanuel Breuillard, Mehrdad Kalantar, Matthew Kennedy, and Narutaka Ozawa, C*-simplicity and the unique trace property for discrete groups, Publications mathéma- tiques de l’IHÉS126(2017), 35–71

    work page 2017

  6. [6]

    3, 747–774

    Pierre-Emmanuel Caprace and Nicolas Monod,Relative amenability, Groups, Geome- try, and Dynamics8(2014), no. 3, 747–774. 8 Y. HARTMAN AND M. KALANTAR

    work page 2014

  7. [7]

    org/abs/2603.28228

    Anna Cascioli, Martín Gilabert Vio, and Eduardo Silva,Stationary boundaries on the space of amenable subgroups and C*-simplicity(2026), available athttps://arxiv. org/abs/2603.28228

    work page arXiv 2026

  8. [8]

    Edward G Effros and Frank Hahn,Locally compact transformation groups and C*- algebras(1967)

    work page 1967

  9. [9]

    1, 299–311

    George A Elliott,Some simple C*-algebras constructed as crossed products with discrete outer automorphism groups, Publications of the Research Institute for Mathematical Sciences16(1980), no. 1, 299–311

    work page 1980

  10. [10]

    Eli Glasner and Benjamin Weiss,Uniformly recurrent subgroups, Recent trends in er- godic theory and dynamical systems631(2015), 63–75

    work page 2015

  11. [11]

    Yair Hartman, Mehrdad Kalantar, and Uri Bader,Stationary C*-dynamical systems., Journal of the European Mathematical Society (EMS Publishing)25(2023), no. 5

    work page 2023

  12. [12]

    Reine Angew

    Mehrdad Kalantar,Boundaries of reduced C*-algebras of discrete groups, J. Reine Angew. Math.727(2017), 247–267

    work page 2017

  13. [13]

    Takuya Kawabe,Uniformly recurrent subgroups and the ideal structure of reduced crossed products, arXiv preprint arXiv:1701.03413 (2017)

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  14. [14]

    2, 251–257

    Shinzo Kawamura and Jun Tomiyama,Properties of topological dynamical systems and corresponding C*-algebras, Tokyo Journal of Mathematics13(1990), no. 2, 251–257

    work page 1990

  15. [15]

    5, 1105–1119

    Matthew Kennedy,An intrinsic characterization of C*-simplicity, Annales scientifiques de l’École normale supérieure53(2020), no. 5, 1105–1119

    work page 2020

  16. [16]

    1, 159–174

    Adrien Le Boudec,C*-simplicity and the amenable radical, Inventiones mathematicae 209(2017), no. 1, 159–174

    work page 2017

  17. [17]

    Adrien Le Boudec and Nicolás Matte Bon,Subgroup dynamics and C*-simplicity of groups of homeomorphisms, Annales scientifiques de l’école normale supérieure, 2018, pp. 557–602

    work page 2018

  18. [18]

    Narutaka Ozawa,Lecture on the Furstenberg boundary and c∗-simplicity, Annual meet- ing of operator theory and operator algebras (available online), Tokyo, 2014

    work page 2014

  19. [19]

    Powers,Simplicity of theC ∗-algebra associated with the free group on two generators, Duke Mathematical Journal42(1975), no

    Robert T. Powers,Simplicity of theC ∗-algebra associated with the free group on two generators, Duke Mathematical Journal42(1975), no. 1, 151 –156. Yair Hartman, Ben-Gurion University of the Negev Email address:hartmany@bgu.ac.il Mehrdad Kalantar, University of Oxford Email address:mehrdad.kalantar@maths.ox.ac.uk

    work page 1975