Simple Subquotients of Crossed Products

• Simple subquotients of crossed products are algebras formed by quotienting a subalgebra, defined via a primitive ideal and a twisted group action, to obtain a simple structure.
• They are classified through graded ring techniques, Morita equivalence, and cohomological methods, bridging approaches in both associative and non-associative contexts.
• Applications include analyzing C*-algebra crossed products, twisted group algebras, and noncommutative tori using spectral decompositions and averaging properties.

A simple subquotient of a crossed product is a quotient of a subalgebra (determined by a primitive ideal) of a crossed product algebra by a (twisted) action of a group, yielding a simple algebra. The classification and structure of such simple subquotients are fundamental in both associative and non-associative settings, with strong connections to graded ring theory, $C^*$-algebra crossed products, Morita equivalence, and the theory of twisted group algebras. The analysis intertwines ring-theoretic, $C^*$-algebraic, and cohomological methods.

1. Definitions and Structural Foundations

For a locally compact group $G$, a (possibly non-associative) ring or a $C^*$-algebra $A$, and an action $\alpha$ (possibly twisted by a cocycle), the crossed product $A\rtimes_\alpha G$ (or, in the non-associative ring case, $B*_{\sigma,\alpha} G$) encodes both $A$ and the group dynamics.

A simple subquotient of $A\rtimes_\alpha G$ arises as the quotient of a subalgebra determined by a locally closed (primitive) ideal in $\Prim(A\rtimes_\alpha G)$. For locally closed singletons in $\Prim(A\rtimes_\alpha G)$, the corresponding subquotient is simple (Echterhoff, 20 Jan 2026).

In non-associative situations, a crossed product $A=B*_{\sigma,\alpha}G$ combines:

• an action $\sigma : G\rightarrow \operatorname{Aut}(B)$,
• a twisting map $\alpha:G\times G \to U(N(B))$ (units of the nucleus $N(B)$), governed by explicit cocycle-type and compatibility conditions (N1)-(N3) (Nystedt et al., 2016).

The associative $C^*$-algebraic context uses a twisted $C^*$-dynamical system $(A,G,\alpha,\sigma)$ with a normalized $2$-cocycle $\sigma : G\times G \to U(A)$, yielding a reduced twisted crossed product $A\rtimes_{\alpha,\sigma,r} G$ via covariant representations and conditional expectation (Bryder et al., 2016).

2. Graded Simplicity and the Hypercentral Criterion

In the non-associative setting, the classification hinges on the interplay between graded simplicity and the center of the ring:

• $A$ is $G$-graded by $A = \bigoplus_{g\in G} A_g$, with each $A_g=B u_g$.
• The algebra is strongly graded: $A_gA_h = A_{gh}$.
• $A$ is graded simple if the only graded ideals are $0$ and $A$ (Nystedt et al., 2016).

Nystedt–Öinert Theorem: For $A$ a unital non-associative ring graded by a hypercentral group $G$,

$$A\text{ simple} \iff A\text{ graded simple and } Z(A)\text{ is a field}$$

A hypercentral group is one in which all nontrivial quotients have nontrivial center; abelian and nilpotent groups are examples.

Proof uses chain-of-supports and central series induction, showing that nontrivial ideals must contain central invertibles in homogeneous degrees, with each obstruction managed at a central series level.

3. Classification of Simple Graded Ideals and Quotients

For a non-associative crossed product $A=B*_{\sigma,\alpha} G$:

• Every graded ideal $J\triangleleft A$ is $J=I*_{\sigma,\alpha} G$ for a unique $G$-invariant ideal $I\triangleleft B$.
• Conversely, each $G$-invariant $I\triangleleft B$ defines a graded ideal $I*G$.
• Simple graded quotients correspond bijectively to simple $G$-invariant quotients of $B$.

A crucial result (non-associative analogue of Bell–Jordan–Voskoglou) states: For $A=B*_{\sigma,\alpha} G$ with $G$ hypercentral, torsion-free:

• $A$ is simple iff $B$ is $G$-simple (no nontrivial $\sigma$-stable ideals) and $Z(A)=Z(B)^G$ (fixed points of $\sigma$ on the center of $B$), and barring nontrivial inner twists in $Z(G)$ among the units of $B$ (Nystedt et al., 2016).

For associative $C^*$-algebraic crossed products by C*-simple groups:

• Maximal ideals of $A\rtimes_{\alpha,\sigma,r} G$ correspond bijectively to maximal $G$-invariant ideals of $A$.
• Every simple quotient of $A\rtimes_{\alpha,\sigma,r} G$ is of the form $(A/J)\rtimes_{\alpha,\sigma,r} G$, where $J$ is a maximal $G$-invariant ideal in $A$, and $A/J$ is $G$-simple.
• Simplicity is inherited: $A\rtimes_{\alpha,\sigma,r} G$ is simple iff $A$ is $G$-simple (Bryder et al., 2016).

4. Twisted Crossed Products by Abelian Groups and Morita Classification

For actions of abelian $G$ on $C^*$-algebras, every simple subquotient of a crossed product is Morita equivalent to a simple twisted group algebra of an abelian group (Echterhoff, 20 Jan 2026). The full structure is as follows:

• Under suitable conditions (type I property for $A\rtimes_\gamma L$, smoothness of the dual action), $\Prim(A\rtimes_\alpha G)$ decomposes over $\Prim(A)/L$.
• Each subquotient corresponding to an orbit is Morita equivalent to some $C^*(H,\omega)$ for a closed subgroup $H\subseteq G$ and a $2$-cocycle $\omega$.

This is essential for the generalized form of Poguntke’s theorem for connected groups: every simple subquotient of $C^*(G)$, for a connected $G$, is Morita equivalent to either $\mathbb{C}$ or a simple noncommutative torus $A_\Theta = C^*(\mathbb{Z}^n,\omega_\Theta)$ (Echterhoff, 20 Jan 2026).

The proof utilizes:

• Spectral decomposition under the dual action.
• Structure of primitive ideals and their quotients.
• Mackey-obstruction (in $H^2$) for projective representations.
• Green’s imprimitivity theorem connecting induced algebras to twisted group algebras.

5. Tracial States, Uniqueness, and Averaging Properties

Tracial state structure on reduced twisted crossed products over C*-simple groups is controlled by invariance under the group action:

• There is a bijection between $G$-invariant tracial states on $A$ and tracial states on $A\rtimes_{\alpha,\sigma,r} G$.
• Unique trace properties transfer: $A\rtimes G$ has a unique trace iff $A$ has a unique $G$-invariant trace (Bryder et al., 2016).

Powers’ averaging property holds in this context. For any $x$ in the reduced crossed product with zero expectation under the conditional expectation $E$, and any $\varepsilon > 0$, there exist $g_1,\dots,g_n\in G$ such that averaging over $g_i$ conjugates makes $x$ arbitrarily small in norm. This property is critical for establishing C*-simplicity and rigidity aspects (Bryder et al., 2016).

6. Canonical Examples and Applications

Group Algebras and Twisted Group Algebras

• For group algebra $B[G]$ with $B$ simple and $Z(B[G])=Z(B)$, simplicity is characterized by the graded-simplicity criterion above (Nystedt et al., 2016).
• Twisted group algebras $F[\alpha]G$, with $F$ a field, $G$ abelian, and nondegenerate $2$-cocycle $\alpha$, yield (possibly non-associative) $G$-graded division algebras that are simple precisely when $\alpha$ is nondegenerate on all subgroups.

Cayley–Dickson Doublings

The classical construction $C(A, p)$, with $A$ a $K$-algebra with involution, is recast as a crossed product $A*_{\sigma,\alpha} (\mathbb{Z}/2)$, relating graded and center-field criteria to the classical McCrimmon simplicity theorem (Nystedt et al., 2016).

Noncommutative Tori and Poguntke’s Theorem

• The $n$-dimensional noncommutative torus $A_\Theta = C^*(\mathbb{Z}^n,\omega_\Theta)$ is simple if and only if $\Theta$ is totally nondegenerate.
• For connected $G$, any simple subquotient of $C^*(G)$ is Morita equivalent to either $\mathbb{C}$ or such a noncommutative torus (Echterhoff, 20 Jan 2026).

Other Applications

• In commutative settings ($A=C(X)$), simple subquotients correspond to crossed products over minimal subsystems.
• In examples like the Mautner group $M_\theta$, the primitive ideal decomposition yields both type I and noncommutative torus fibers (Echterhoff, 20 Jan 2026, Bryder et al., 2016).

7. Summary Table: Simple Subquotients in Key Settings

Setting	Simple Subquotients	Reference
Non-associative crossed product $B*_{\sigma,\alpha}G$	Bijective with simple $G$-invariant quotients of $B$	(Nystedt et al., 2016)
Reduced $C^*$-crossed product by C*-simple $G$	Bijective with simple $G$-invariant quotients of $A$	(Bryder et al., 2016)
Abelian group actions ($C^*$-algebras)	Morita equivalent to $C^*(H, \omega)$, simple twisted group algebras	(Echterhoff, 20 Jan 2026)
$C^*$-algebras of connected groups	Morita equivalent to $\mathbb{C}$ or noncommutative torus $A_\Theta$	(Echterhoff, 20 Jan 2026)

The classification of simple subquotients of crossed products thus reduces, in each context, to structural invariants—graded simplicity, central-field conditions, or Mackey obstruction data—with Morita equivalence and cohomological invariants characterizing the possible simple fibers. This unifies ring-theoretic and analytic approaches to crossed product simplicity and their quotients across both classical and modern operator-algebraic frameworks.