pith. sign in

arxiv: 2305.12122 · v3 · submitted 2023-05-20 · 🧮 math.OA · math.GR

RFD property for groupoid C*-algebras of amenable groupoids and for crossed products by amenable actions

Tatiana Shulman , Adam Skalski This is my paper

Pith reviewed 2026-05-24 09:36 UTC · model grok-4.3

classification 🧮 math.OA math.GR
keywords RFD propertycrossed productsamenable actionsgroupoid C*-algebrasmaximally almost periodicsemidirect productsresidually finite dimensional
0
0 comments X

The pith

Amenable actions of discrete groups produce residually finite dimensional crossed products exactly when the action satisfies a dynamical version of maximal almost periodicity.

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

Bekka's theorem states that the group C*-algebra of an amenable group is residually finite dimensional if and only if the group is maximally almost periodic. The paper generalizes this to crossed products by giving a complete characterization of the RFD property in terms of the action, formulated via primitive ideals, pure states, and approximations of representations as a dynamical version of the Exel-Loring condition. It also supplies a sufficient condition together with a necessary condition for the C*-algebra of an amenable étale groupoid to be RFD. A sympathetic reader would care because the results link group and action properties directly to approximation features of the resulting C*-algebras and yield characterizations for semidirect products along with new examples possessing the RFD property.

Core claim

By Bekka's theorem the group C*-algebra of an amenable group G is residually finite dimensional (RFD) if and only if G is maximally almost periodic (MAP). We generalize this result in two directions of dynamical flavour. Firstly, we completely characterize the RFD property for crossed products by amenable actions of discrete groups on C*-algebras in terms of the action. The characterisation can be formulated in various terms, such as primitive ideals, (pure) states and approximations of representations, and the latter can be viewed as a dynamical version of Exel-Loring characterization of RFD C*-algebras. Secondly, as another generalization of Bekka's theorem, we provide a sufficient and a 2

What carries the argument

The dynamical version of the Exel-Loring characterization of RFD C*-algebras for crossed products by amenable actions, expressed through conditions on primitive ideals and states.

If this is right

  • The full C*-algebra of a semidirect product by an amenable group has the RFD property precisely when the corresponding action satisfies the stated condition.
  • The property FD of Lubotzky and Shalom is characterized for semidirect products by amenable groups.
  • Characterizations of the properties MAP and RF are obtained for general semidirect products of groups.
  • Various new examples of groups and C*-algebras are shown to satisfy MAP, RF, RFD and FD.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The characterizations provide a concrete test that can be applied to specific amenable actions to decide the RFD status of the resulting crossed product.
  • The parallel treatment of crossed products and groupoid C*-algebras suggests that results in one setting may transfer to the other when the structures are related by equivalence.

Load-bearing premise

The characterizations assume that the actions are amenable and that the groupoids are étale and amenable.

What would settle it

An amenable action of a discrete group on a C*-algebra such that the crossed product is RFD but the action fails the condition on approximations of representations by finite-dimensional ones, or conversely the action satisfies the condition yet the crossed product is not RFD.

read the original abstract

By Bekka's theorem the group C*-algebra of an amenable group $G$ is residually finite dimensional (RFD) if and only if $G$ is maximally almost periodic (MAP). We generalize this result in two directions of dynamical flavour. Firstly, we completely characterize the RFD property for crossed products by amenable actions of discrete groups on C*-algebras in terms of the action. The characterisation can be formulated in various terms, such as primitive ideals, (pure) states and approximations of representations, and the latter can be viewed as a dynamical version of Exel-Loring characterization of RFD C*-algebras. %The result leads among other consequences to a characterization of when a semidirect product by an amenable group has RFD full C*-algebra. As byproduct of our methods we characterize the property FD of Lubotzky and Shalom for semidirect products by amenable groups and obtain characterizations of the properties MAP and RF for general semidirect products of groups. These descriptions allow us to obtain the properties MAP, RF, RFD and FD for various new examples and generalize some results of Lubotzky and Shalom. Secondly, as another generalization of Bekka's theorem, we provide a sufficient condition and a necessary condition for the C*-algebra of an amenable \'etale groupoid to be RFD.

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

0 major / 3 minor

Summary. The paper generalizes Bekka's theorem that an amenable discrete group G has RFD group C*-algebra iff G is MAP. It gives a complete characterization of when the crossed product A ⋊_α G (G discrete amenable, α amenable action) is RFD, expressed equivalently via primitive ideals of the crossed product, (pure) states, and approximations of representations (a dynamical analogue of the Exel-Loring criterion). As consequences it obtains characterizations of MAP, RF, RFD and FD for semidirect products and new examples. For the second direction it supplies a sufficient condition and a separate necessary condition for the C*-algebra of an amenable étale groupoid to be RFD.

Significance. If the stated equivalences hold, the work supplies a dynamical extension of a classical result together with multiple equivalent formulations and concrete applications to semidirect products. The provision of both sufficient and necessary conditions for the groupoid case, together with the explicit use of amenability hypotheses, makes the claims falsifiable within the stated scope. The manuscript thereby adds usable criteria to the literature on RFD C*-algebras.

minor comments (3)
  1. [Abstract / Introduction] The abstract states that the crossed-product characterization 'can be formulated in various terms'; the introduction or §2 should explicitly list the equivalent formulations (primitive ideals, states, representation approximations) with forward references to the theorems that prove each equivalence.
  2. [§1] Notation for the action α and the semidirect product is introduced without a dedicated preliminary subsection; a short §1.2 collecting the standing assumptions on amenability of actions and étale groupoids would improve readability.
  3. [Groupoid section (likely §4 or §5)] The groupoid section supplies only a sufficient condition and a necessary condition rather than a single if-and-only-if statement; the text should clarify whether the two conditions coincide under additional hypotheses or whether a gap remains.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful reading and positive assessment of the manuscript, including the recommendation for minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; derivations build on external Bekka theorem

full rationale

The paper states its central results as generalizations of Bekka's external theorem (group C*-algebra of amenable G is RFD iff G is MAP) to crossed products by amenable actions and to amenable étale groupoids. Characterizations are given explicitly as equivalences in terms of primitive ideals, states, and dynamical approximations of representations, or as separate sufficient/necessary conditions. These rest on the upfront structural hypotheses of amenability and étaleness; no step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain. The derivation chain is self-contained against the cited external benchmark and does not rename known patterns or smuggle ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a pure-mathematics characterization relying on standard background in C*-algebras and group actions; no numerical parameters are fitted and no new entities are postulated.

axioms (1)
  • standard math Standard definitions and properties of amenable actions, étale groupoids, RFD C*-algebras, primitive ideals, and MAP groups hold as in the cited literature.
    The characterizations are built on these established notions without re-deriving them.

pith-pipeline@v0.9.0 · 5779 in / 1360 out tokens · 47810 ms · 2026-05-24T09:36:21.268526+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The RFD property for graph $C^*$-algebras

    math.OA 2026-04 unverdicted novelty 7.0

    A graph C*-algebra is residually finite dimensional if and only if the graph has no infinite receiver, no cycle with an exit, no infinite backward chain, and every vertex reaches a sink, cycle, or infinite emitter.

  2. The Local Lifting Property, Property FD, and stability of approximate representations

    math.GR 2026-03 unverdicted novelty 6.0

    3-manifold groups, limit groups, and selected one-relator and right-angled Artin groups possess the local lifting property and property FD, implying flexible stability of their approximate representations.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages · cited by 2 Pith papers

  1. [1]

    Amenable groupoids

    [AHK] E. Akin, M. Hurley, and J.A. Kennedy, Dynamics of topol ogically generic homeomorphisms. Mem. Amer. Math. Soc. 164 (2003), no. 783, viii+130 pp. [AD] C. Anantharaman-Delaroche, Syst` emes dynamiques non commutatifs et moyennabilit´ e. Math. Ann. 279 (1987), 297–315. [ADR] C. Anantharaman-Delaroche and J. Renault, “Amenable groupoids”, Monographies d...

    work page 2003

  2. [2]

    Barlak and X

    [BaL] S. Barlak and X. Li, Cartan subalgebras and the UCT prob lem. Adv. Math. 316 (2017), 748–769. [Bek1] B. Bekka, On the full C*-algebras of arithmetic groups and t he congruence subgroup problem. Forum Math. 11 (1999), no. 6, 705–715. [Bek2] B. Bekka, Operator-algebraic superridigity for SLn(Z), n ⩾

    work page 2017

  3. [3]

    Unitary representations of groups, duals, and characters,

    Invent. Math. 169 (2007), no. 2, 401–425. [Bek3] B. Bekka, On Bohr compactifications and profinite completio ns of group extensions, preprint, arXiv:2305.04803. [BH] B. Bekka and P. de la Harpe,“ Unitary representations of groups, duals, and characters,” Math- ematical Surveys and Monographs,

    work page arXiv 2007

  4. [4]

    Bekka, A.T

    [BLS] B. Bekka, A.T. Lau and G. Schlichting, On invariant sub algebras of the Fourier-Stieltjes algebra of a locally compact group. Math. Ann. 294 (1992), no. 3, 513–

    work page 1992

  5. [5]

    Bekka and N

    [BL] M.B. Bekka and N. Louvet, Some properties of C*-algebra s associated to discrete linear groups. C*-algebras (M¨ unster, 1999), 1–22, Springer, Berlin, 200

    work page 1999

  6. [6]

    C ∗ -algebras by example,

    [CD-O] R. Clouˆ atre and A. Dor-On, Finite-dimensional appr oximations and semigroup coactions for operator algebras. Int. Math. Res. Not. (to appear), arXiv: 2101.09776. [Cho] M. Choi, The full C*-algebra of the free group on two gen erators. Pacific J. Math. 87(1980), 41–48. [CS1] Courtney, Kristin; Shulman, Tatiana Elements of C*-algeb ras attaining the...

    work page arXiv 1980

  7. [7]

    Eckhardt and T

    [ES] C. Eckhardt and T. Shulman, On amenable Hilbert-Schmid t stable groups. J. Funct. Anal. 285 (2023), no. 3, Paper No. 109954. [EL] R. Exel and T. Loring, Finite-dimensional representat ions of free product C*-algebras. Internat. J. Math. 3 (1992), no. 4, 469–476. [Fe] J.Fell, The dual spaces of C ∗ -algebras. Trans. Amer. Math. Soc. 94 (1960), 365–403...

    work page arXiv 2023

  8. [8]

    Morita equivalence and c ontinuous-trace C*-algebras,

    [LS] A. Lubotzky and Y. Shalom, Finite representations in th e unitary dual and Ramanujan groups, in ‘Discrete geometric analysis’, Contemp. Math., 347 (200 4), pp. 173–189. [Nil] M. Nilsen, The Stone- ˇCech compactification of Prim A. Bull. Austral. Math. Soc. 52 (1995), no. 3, 377–383. [Oza] N. Ozawa, About the QWEP conjecture. Internat. J. Math . 15 (20...

    work page 1995

  9. [9]

    Renault, Cartan subalgebras in C ∗ -algebras

    [Ren1] J. Renault, Cartan subalgebras in C ∗ -algebras. Irish Math. Soc. Bull. 61 (2008), 29–63. [Ren2] J. Renault, Topological amenability is a Borel property. M ath. Scand. 117 (2015), no. 1, 5–30. [Sim] A. Sims, Hausdorff ´Etale Groupoids and Their C*-algebras, in Operator algebra s and dynamics: groupoids, crossed products, and Rokhlin dimension. Lectu...

    work page 2008

  10. [10]

    Invitation to C*-algebras and topological d ynamics,

    [Shu] T. Shulman, Central amalgamation of groups and the RFD property. Adv. Math. 394 (2022), Paper No. 108131, 36 pp. [Tho] E. Thoma, ¨Uber unit¨ are Darstellungen abz¨ ahlbarer, diskreter Gruppen. Math. Ann. 153 (1964), 111–138. [To1] J. Tomiyama, “Invitation to C*-algebras and topological d ynamics,” World Scientific Advanced Series in Dynamical Systems,

    work page 2022

  11. [11]

    Crossed products of C*-algebras,

    x+167 pp. [To2] J. Tomiyama, C*-algebras and topological dynamical syste ms. Rev. Math. Phys. 8 (1996), no. 5, 741–760. [Voi] D. Voiculescu, A non-commutative Weyl-von Neumann th eorem. Rev. Roumaine Math. Pures Appl. 21 (1976), no. 1, 97–113. [Wan] S.P. Wang, On isolated points in the dual space of local ly compact groups, Math. Ann. 218 (1975), 19–34. [...

    work page 1996

  12. [12]

    Willett, A non-amenable groupoid whose maximal an d reduced C*-algebras are the same

    [Will] R. Willett, A non-amenable groupoid whose maximal an d reduced C*-algebras are the same. M¨ unster J. Math. 8 (2015), no. 1, 241–252 Department of Mathematical Sciences, Chalmers University of Technology, Chalmers tv¨argata 3, 412 96 Gothenburg, Sweden Email address : tatshu@chalmers.se Institute of Mathematics of the Polish Academy of Sciences, ul...

    work page 2015