Simple Twisted Group Algebras

• Simple twisted group algebras are defined by deforming group algebras with a 2-cocycle, resulting in associative or non-associative structures without nontrivial two-sided ideals.
• They arise in various contexts such as quantum tori, Clifford algebras, and octonionic generalizations, showcasing diverse representation-theoretic and algebraic phenomena.
• Simplicity is ensured by nondegeneracy conditions on the 2-cocycle, which underpin applications in deformation theory and the classification of central simple algebras.

A simple twisted group algebra is a class of associative or non-associative algebra constructed by deforming the group algebra of a group $G$ over a field or ring via a $2$-cocycle, leading to new algebraic and representation-theoretic phenomena. Simplicity here refers to the absence of nontrivial two-sided ideals. This concept encompasses central simple algebras, quantum tori, noncommutative tori, Clifford algebras, certain function algebras on algebraic groups, and their generalizations.

1. Twisted Group Algebras: Definitions and Core Structure

Given a discrete group $G$ and a field (or ring) $k$, a $2$-cocycle $\alpha: G \times G \to k^\times$ is a map satisfying

$$\alpha(g,h)\, \alpha(gh,k) = \alpha(h,k)\, \alpha(g,hk)$$

for all $g,h,k \in G$. The twisted group algebra $k_\alpha G$ is the $k$-vector space (or module) with basis $\{e_g : g \in G\}$ and multiplication

$e_g * e_h = \alpha(g,h)\, e_{gh}$

extended $k$-bilinearly. Associativity follows from the cocycle identity. Such an algebra is central simple (i.e., simple with center $k$) if and only if the alternating bicharacter

$\beta(g,h)=\alpha(g,h)/\alpha(h,g)$

is nondegenerate, which is equivalent to $k_\alpha G$ being a simple algebra of dimension $|G|$ when $G$ is finite and $k$ is algebraically closed (Bales, 2011, Schnabel, 2014).

2. Simplicity Criteria and Classification in the Associative Setting

A key criterion is the nondegeneracy of the cocycle: $k_\alpha G$ is simple if and only if the only $\alpha$-regular element is the identity, i.e.,

$$\forall g \in G \setminus \{1\},\, \exists h \in C_G(g)\ \text{such that}\ \alpha(g,h)\alpha(h,g)^{-1}\neq 1.$$

Groups that admit such cocycles are called of central type. If $G$ is of order $n^2$, classification of groups of central type is known for small orders. For groups of order $p^4$ (with $p$ prime), exactly five (for $p$ odd), respectively four (for $p=2$), such groups exist, including the elementary abelian groups and certain nonabelian constructions; in each case, explicit cocycles can be written to ensure nondegeneracy (Schnabel, 2014).

For $C^*$-algebras, a twisted group algebra $C^*(G, \sigma)$ or its reduced version is simple if and only if Kleppner's condition holds: every nontrivial $\sigma$-regular conjugacy class in $G$ is infinite. For FC-hypercentral and related groups, this condition is both necessary and sufficient for simplicity and uniqueness of the tracial state (Bedos et al., 2014, Bédos et al., 2016).

In the context of quantum tori and noncommutative tori, a nondegenerate skew-symmetric bicharacter leads to simplicity: $A_\Theta = C^*(\mathbb{Z}^n, \omega_\Theta)$ is simple if and only if the entries of $\Theta$ generate a dense subgroup of $\mathbb{R}/\mathbb{Z}$, i.e., $\omega_\Theta$ is totally skew (Echterhoff, 20 Jan 2026, Bedos et al., 2014).

3. Non-Associative and Graded Examples: Clifford and Octonionic Generalizations

Clifford algebras can be realized as twisted group algebras of $G = (\mathbb{Z}/2)^n$ with a bilinear $2$-cocycle $\alpha$ whose values encode the quadratic form and anti-commutation relations among the generators. The resulting $k^\alpha[G]$ is simple if and only if the associated symmetric bilinear form is nondegenerate (Bales, 2011).

Generalizations to non-associative twisted group algebras employ cubic twisting functions. Morier-Genoud and Ovsienko constructed two main series $O_n$ and $M_n$ over $G = (\mathbb{Z}/2)^n$ using cubic polynomials $f(x,y)$. These series extend the octonions to higher rank. The $O_n$ and $M_n$ algebras are simple except when $n \equiv 0 \mod 4$ (for $O_n$) or $n \equiv 2 \mod 4$ (for $M_n$); their uniqueness as "new" cubic twisted group algebras is established under very mild additional hypotheses. This framework is critical for obtaining explicit constructions of square identities (Hurwitz–Radon identities) and for classifying Moufang/code loops, e.g., the Parker loop (Morier-Genoud et al., 2010).

4. Simplicity of Twisted Function Algebras and Hopf 2-Cocycles

In the setting of affine algebraic groups, twisting the function algebra $O(G)$ by a Hopf 2-cocycle $J$ produces $O(G)_J$, with multiplication

$$m_J(f \otimes g) = f_{(1)}g_{(1)} J(f_{(2)}, g_{(2)}).$$

Simplicity of $O(G)_J$ is characterized by the support $H \subseteq G$ of $J$: the center of $O(G)_J$ is $O(G/H)$, so $O(G)_J$ is simple if and only if $H=G$ and $G/H$ is trivial. For connected nilpotent $G$, $O(G)_J$ is a Noetherian domain, and the explicit structure of simple $O(G)_J$ includes quantum tori, Weyl algebras, and their crossed products. Classification of Hopf 2-cocycles, and thus of simple twisted function algebras, reduces to classifying classical solutions to the CYBE and their supports (Gelaki, 2014).

5. Structural Features: Semi-Centers and Crossed-Product Decompositions

For a simple twisted group algebra $\mathbb{C}^f G$ (with $f$ nondegenerate), the semi-center $\mathrm{Sz}(\mathbb{C}^f G)$ is a direct sum of twisted group algebras over subgroups, each corresponding to the weight spaces for the natural $G$-action by conjugation. The semi-center $\mathrm{Sz}(\mathbb{C}^f G)$ is simple if and only if the restriction $f|_{G'}$ to a Hall subgroup $G'$ is also nondegenerate; it is commutative only in exceptional cases (a unique group of order $p^4$ for odd $p$, and no such groups with $1 < |G| < 64$ except in these boundary cases). The structure is further constrained by cohomological triviality of $f$ on $G'$ and the positioning of $G'$ within the center of $G$ (Schnabel, 2014).

For $C^*$-algebraic twisted group algebras, the primitive ideal spectrum and all simple subquotients of crossed products by abelian groups are Morita equivalent to simple twisted group algebras—typically continuous-trace algebras or simple noncommutative tori—thereby extending a classical theorem of Poguntke (Echterhoff, 20 Jan 2026).

6. Hochschild Cohomology and Deformations

The first Hochschild cohomology group $HH^1(k_\alpha G)$ of a (twisted) group algebra $k_\alpha G$ governs its outer derivations and first-order deformations. For $G$ finite simple and $k$ an algebraically closed field of characteristic dividing $|G|$, $HH^1(k_\alpha G)$ is always nonzero for every class $[\alpha] \in H^2(G, k^\times)$. This is proved via a centralizer decomposition, showing the existence for each case of an $\alpha$-regular, "weak Non-Schur" element whose contribution to $HH^1$ is nontrivial. This result demonstrates a uniform non-rigidity for all twisted group algebras of simple groups in modular characteristic, with implications for their deformation theory, representation type, and the structure of blocks in modular representation theory (Murphy, 2022).

7. Representative Examples and Applications

Table: Classes of Simple Twisted Group Algebras

Construction	Simplicity Criterion	Example/Reference
Central type group algebra	Nondegenerate 2-cocycle, only regular is 1	(Schnabel, 2014)
Clifford algebra as twist	Nondegenerate symmetric bilinear form	(Bales, 2011)
Quantum/noncommutative torus	Totally skew bicharacter, entries irrational	(Gelaki, 2014, Echterhoff, 20 Jan 2026)
Cubic twisted algebras ($O_n$)	$n \not\equiv 0 \pmod{4}$	(Morier-Genoud et al., 2010)
Twisted $C^*$-algebra ($C^*(G,\sigma)$)	Kleppner’s condition	(Bedos et al., 2014, Bédos et al., 2016)
Twisted function algebra $O(G)_J$	Support $H=G$, trivial center	(Gelaki, 2014)

Prominent applications include the explicit construction of Clifford and octonion-like algebras, description of simple factors of group $C^*$-algebras of connected or nilpotent Lie groups as (stably) either $\mathbb{C}$ or simple noncommutative tori, and realization of code loops and novel sum-of-squares identities.

---

References: (Bales, 2011, Morier-Genoud et al., 2010, Schnabel, 2014, Gelaki, 2014, Bedos et al., 2014, Bédos et al., 2016, Murphy, 2022, Echterhoff, 20 Jan 2026)