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 $C^*$0. For locally closed singletons in $C^*$1, the corresponding subquotient is simple (Echterhoff, 20 Jan 2026).

In non-associative situations, a crossed product $C^*$2 combines:

• an action $C^*$3,
• a twisting map $C^*$4 (units of the nucleus $C^*$5), governed by explicit cocycle-type and compatibility conditions (N1)-(N3) (Nystedt et al., 2016).

The associative $C^*$6-algebraic context uses a twisted $C^*$7-dynamical system $C^*$8 with a normalized $C^*$9-cocycle $G$0, yielding a reduced twisted crossed product $G$1 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:

• $G$2 is $G$3-graded by $G$4, with each $G$5.
• The algebra is strongly graded: $G$6.
• $G$7 is graded simple if the only graded ideals are $G$8 and $G$9 (Nystedt et al., 2016).

Nystedt–Öinert Theorem: For $C^*$0 a unital non-associative ring graded by a hypercentral group $C^*$1,

$C^*$2

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 $C^*$3:

• Every graded ideal $C^*$4 is $C^*$5 for a unique $C^*$6-invariant ideal $C^*$7.
• Conversely, each $C^*$8-invariant $C^*$9 defines a graded ideal $A$0.
• Simple graded quotients correspond bijectively to simple $A$1-invariant quotients of $A$2.

A crucial result (non-associative analogue of Bell–Jordan–Voskoglou) states: For $A$3 with $A$4 hypercentral, torsion-free:

• $A$5 is simple iff $A$6 is $A$7-simple (no nontrivial $A$8-stable ideals) and $A$9 (fixed points of $\alpha$0 on the center of $\alpha$1), and barring nontrivial inner twists in $\alpha$2 among the units of $\alpha$3 (Nystedt et al., 2016).

For associative $\alpha$4-algebraic crossed products by C*-simple groups:

• Maximal ideals of $\alpha$5 correspond bijectively to maximal $\alpha$6-invariant ideals of $\alpha$7.
• Every simple quotient of $\alpha$8 is of the form $\alpha$9, where $A\rtimes_\alpha G$0 is a maximal $A\rtimes_\alpha G$1-invariant ideal in $A\rtimes_\alpha G$2, and $A\rtimes_\alpha G$3 is $A\rtimes_\alpha G$4-simple.
• Simplicity is inherited: $A\rtimes_\alpha G$5 is simple iff $A\rtimes_\alpha G$6 is $A\rtimes_\alpha G$7-simple (Bryder et al., 2016).

4. Twisted Crossed Products by Abelian Groups and Morita Classification

For actions of abelian $A\rtimes_\alpha G$8 on $A\rtimes_\alpha G$9-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 $B*_{\sigma,\alpha} G$0, smoothness of the dual action), $B*_{\sigma,\alpha} G$1 decomposes over $B*_{\sigma,\alpha} G$2.
• Each subquotient corresponding to an orbit is Morita equivalent to some $B*_{\sigma,\alpha} G$3 for a closed subgroup $B*_{\sigma,\alpha} G$4 and a $B*_{\sigma,\alpha} G$5-cocycle $B*_{\sigma,\alpha} G$6.

This is essential for the generalized form of Poguntke’s theorem for connected groups: every simple subquotient of $B*_{\sigma,\alpha} G$7, for a connected $B*_{\sigma,\alpha} G$8, is Morita equivalent to either $B*_{\sigma,\alpha} G$9 or a simple noncommutative torus $A$0 (Echterhoff, 20 Jan 2026).

The proof utilizes:

• Spectral decomposition under the dual action.
• Structure of primitive ideals and their quotients.
• Mackey-obstruction (in $A$1) 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 $A$2-invariant tracial states on $A$3 and tracial states on $A$4.
• Unique trace properties transfer: $A$5 has a unique trace iff $A$6 has a unique $A$7-invariant trace (Bryder et al., 2016).

Powers’ averaging property holds in this context. For any $A$8 in the reduced crossed product with zero expectation under the conditional expectation $A$9, and any $A\rtimes_\alpha G$0, there exist $A\rtimes_\alpha G$1 such that averaging over $A\rtimes_\alpha G$2 conjugates makes $A\rtimes_\alpha G$3 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 $A\rtimes_\alpha G$4 with $A\rtimes_\alpha G$5 simple and $A\rtimes_\alpha G$6, simplicity is characterized by the graded-simplicity criterion above (Nystedt et al., 2016).
• Twisted group algebras $A\rtimes_\alpha G$7, with $A\rtimes_\alpha G$8 a field, $A\rtimes_\alpha G$9 abelian, and nondegenerate $C^*$00-cocycle $C^*$01, yield (possibly non-associative) $C^*$02-graded division algebras that are simple precisely when $C^*$03 is nondegenerate on all subgroups.

Cayley–Dickson Doublings

The classical construction $C^*$04, with $C^*$05 a $C^*$06-algebra with involution, is recast as a crossed product $C^*$07, relating graded and center-field criteria to the classical McCrimmon simplicity theorem (Nystedt et al., 2016).

Noncommutative Tori and Poguntke’s Theorem

• The $C^*$08-dimensional noncommutative torus $C^*$09 is simple if and only if $C^*$10 is totally nondegenerate.
• For connected $C^*$11, any simple subquotient of $C^*$12 is Morita equivalent to either $C^*$13 or such a noncommutative torus (Echterhoff, 20 Jan 2026).

Other Applications

• In commutative settings ($C^*$14), simple subquotients correspond to crossed products over minimal subsystems.
• In examples like the Mautner group $C^*$15, 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 $C^*$16	Bijective with simple $C^*$17-invariant quotients of $C^*$18	(Nystedt et al., 2016)
Reduced $C^*$19-crossed product by C*-simple $C^*$20	Bijective with simple $C^*$21-invariant quotients of $C^*$22	(Bryder et al., 2016)
Abelian group actions ($C^*$23-algebras)	Morita equivalent to $C^*$24, simple twisted group algebras	(Echterhoff, 20 Jan 2026)
$C^*$25-algebras of connected groups	Morita equivalent to $C^*$26 or noncommutative torus $C^*$27	(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.