Table of Contents
Fetching ...

Simplicity of crossed products by FC-hypercentral groups

Shirly Geffen, Dan Ursu

TL;DR

This work provides a complete, two-way characterization of when reduced crossed products $A\rtimes_\lambda G$ are simple for FC-hypercentral $G$, using dynamics on the injective envelope $I(A)$ (and on $A$ itself in separable cases). The authors develop a unified framework based on pseudo-expectations and monotone-complete injective envelopes to translate between intrinsic $A$-dynamics and $I(A)$-dynamics, yielding precise conditions for simplicity, the intersection property, and primality across FC-groups, FC-hypercentral groups, and minimal actions. They further connect these high-level criteria to concrete, intrinsic descriptions in $A$ and demonstrate the transfer of prime/simplicity properties through $I(A)$ and $I_G(A)$. The paper also extends the theory to non-unital algebras and provides illustrative examples, including simple algebras, a finite-dimensional case, and cyclic-group actions, clarifying when standard outerness conditions suffice. Altogether, this advances the understanding of the ideal structure of noncommutative crossed products and supplies practical, dynamics-based criteria for key dynamical properties in broad dynamical settings.

Abstract

In this paper, we give a complete, two-way characterization, of when a noncommutative crossed product $A \rtimes_λG$ is simple, in the case of $G$ being an FC-hypercentral group. This is a large class of amenable groups that contains all virtually nilpotent groups, and in the finitely-generated setting, coincides with the set of groups which have polynomial growth. We further completely characterize the ideal intersection property under the assumption that the group is FC, meaning that every element has a finite conjugacy class. Finally, for minimal actions of arbitrary discrete groups on unital C*-algebras, we are able to characterize when the crossed product $A \rtimes_λG$ is prime.

Simplicity of crossed products by FC-hypercentral groups

TL;DR

This work provides a complete, two-way characterization of when reduced crossed products are simple for FC-hypercentral , using dynamics on the injective envelope (and on itself in separable cases). The authors develop a unified framework based on pseudo-expectations and monotone-complete injective envelopes to translate between intrinsic -dynamics and -dynamics, yielding precise conditions for simplicity, the intersection property, and primality across FC-groups, FC-hypercentral groups, and minimal actions. They further connect these high-level criteria to concrete, intrinsic descriptions in and demonstrate the transfer of prime/simplicity properties through and . The paper also extends the theory to non-unital algebras and provides illustrative examples, including simple algebras, a finite-dimensional case, and cyclic-group actions, clarifying when standard outerness conditions suffice. Altogether, this advances the understanding of the ideal structure of noncommutative crossed products and supplies practical, dynamics-based criteria for key dynamical properties in broad dynamical settings.

Abstract

In this paper, we give a complete, two-way characterization, of when a noncommutative crossed product is simple, in the case of being an FC-hypercentral group. This is a large class of amenable groups that contains all virtually nilpotent groups, and in the finitely-generated setting, coincides with the set of groups which have polynomial growth. We further completely characterize the ideal intersection property under the assumption that the group is FC, meaning that every element has a finite conjugacy class. Finally, for minimal actions of arbitrary discrete groups on unital C*-algebras, we are able to characterize when the crossed product is prime.
Paper Structure (15 sections, 61 theorems, 78 equations, 2 figures)

This paper contains 15 sections, 61 theorems, 78 equations, 2 figures.

Key Result

Theorem A

Let $G$ be an FC-group acting on a C*-algebra $A$, not necessarily unital. Then the crossed product $A \rtimes_\lambda G$ does not have the intersection property if and only if the action has characterization (C1) involving $I(A)$. If the C*-algebra $A$ is separable, then this is furthermore equival

Figures (2)

  • Figure 1: Estimate of $\left\| u - 1 \right\|$ based on estimate of $\operatorname{Re} \sigma(u)$.
  • Figure 2: Estimate of $\left\| u-1 \right\|$ based on $\operatorname{Re} \sigma(u) > 0$ and vice versa.

Theorems & Definitions (106)

  • Theorem A: Theorem \ref{['thm:mainSec4']} and Theorem \ref{['thm:equivariant_proper_outer_equivalence']}, together with Proposition \ref{['prop:nonunital_intersection_property_transfer']} and Proposition \ref{['prop:nonunital_characterizations_equivalent']} for the non-unital case
  • Theorem B: Theorem \ref{['thm:mainFCHSimpleMinimal']} and Theorem \ref{['thm:equivariant_proper_outer_equivalence']}
  • Theorem C: Theorem \ref{['thm:DiscreteMinimal']} and Theorem \ref{['thm:equivariant_proper_outer_equivalence']}
  • Corollary D: Corollary \ref{['cor:ICC']}
  • Proposition 2.1: YenPolarDec and SasakiPolarDec
  • Proposition 2.2
  • Remark 2.3
  • Remark 2.4
  • Proposition 2.5
  • Theorem 2.6: SWMonotoneComplete
  • ...and 96 more