Twisted Partial Group Algebras

• Twisted partial group algebras are associative structures that combine partial group actions with twisted 2-cocycles, unifying group algebras and crossed products.
• They employ idempotent ideals, factor sets, and partial dynamical systems to capture non-global symmetries in operator algebras and representation theory.
• Their universal construction and classification via Sieben's theory connect extension theory, spectral decomposition, and homological aspects of noncommutative rings.

A twisted partial group algebra is an associative algebraic structure that encodes both partial group symmetries and cohomological twisting in the context of non-global actions, typically arising from partial projective representations and partial dynamical systems. Twisted partial group algebras generalize classical group algebras and skew group rings, providing a unification of partial actions, partial cohomology, and crossed product constructions. Their theoretical foundation originates in partial group actions, factor sets (twisted 2-cocycles), and the morphology of idempotents in associated subalgebras, and they play a central role in modern noncommutative ring theory, representation theory, and operator algebraic applications.

1. Twisted Partial Actions and Factor Sets

Let $G$ be a group and $\kappa$ a base field. A twisted partial action of $G$ on a unital $\kappa$-algebra $A$ is specified by the data $(\{D_g\}_{g\in G},\{\theta_g\},\{w_{g,h}\})$:

• Each $D_g \subseteq A$ is an idempotent ideal, typically generated by a central idempotent $1_g$.
• $\theta_g: D_{g^{-1}} \to D_g$ is an isomorphism of (unital) ideals.
• The twist $w_{g,h} \in D_g D_{gh}$ is an invertible element or multiplier.

These obey normalization ($D_1 = A$, $\theta_1 = \mathrm{id}$, $w_{1,g} = w_{g,1} = 1_{D_g}$), domain compatibility, twisted-composition, and cocycle conditions. The 2-cocycle $w_{g,h}$ satisfies a partial analogue of the classical cocycle equation, but is only defined where the twisted partial action is "live"—that is, on the nonzero (non-obstructed) components determined by the idempotent support of the ideals. Factor sets $\sigma: G \times G \to \kappa$ are normalized functions arising as structure coefficients in partial projective representations and are required to satisfy:

• $\sigma(1,g) = \sigma(g,1) = 1$;
• $\sigma(g,h)=0$ reflects a multiplication obstruction (i.e., the corresponding product is forced to vanish);
• The partial cocycle identity $\sigma(g,h)\sigma(gh,t)=\sigma(g,ht)\sigma(h,t)$ holds on all nonzero domains;
• Additional normalizations such as $\sigma(g,g^{-1}) = \sigma(g^{-1},g)$.

These factor sets form a commutative inverse monoid under pointwise multiplication denoted $pm(G)$ (Dokuchaev et al., 2023, Dokuchaev et al., 2024).

2. Construction and Universal Properties

For a given partial factor set $\sigma$, the twisted partial group algebra $\kappa_{par}^\sigma G$ is defined as the universal unital $\kappa$-algebra generated by symbols $[g]^\sigma$ for $g \in G$ subject to:

• Multiplicative relations encoding the partial structure, e.g., $[g^{-1}]^\sigma [gh]^\sigma = 0$ if $\sigma(g,h) = 0$.
• Twist relations $$[g^{-1}]^\sigma [g]^\sigma [h]^\sigma = \sigma(g,h) [g^{-1}]^\sigma [gh]^\sigma$$, and likewise for $[g]^\sigma [h]^\sigma [h^{-1}]^\sigma$.
• Unitary normalization $[1]^\sigma = 1$, $[g]^\sigma [1]^\sigma = [g]^\sigma$.

The universal property asserts that any partial $\sigma$-representation $\Gamma: G \to R$ in a unital $\kappa$-algebra $R$ (i.e., a map intertwining the structure relations and the twist) factors uniquely through an algebra homomorphism from $\kappa_{par}^\sigma G$ to $R$ (Dokuchaev et al., 2023, Dokuchaev et al., 2024). This reflects the natural role of these algebras as receptacles for all such representations.

The following table summarizes the main correspondences:

Concept	Algebraic Realization	Key Reference
Twisted Partial Action ($G$ on $A$)	Data $(D_g, \theta_g, w_{g,h})$	(Dokuchaev et al., 2016, Alves et al., 2011)
Partial $\sigma$-representation	Universal map $\Gamma: G \to \kappa_{par}^\sigma G$	(Dokuchaev et al., 2023)
Factor set $\sigma$	$pm(G)$, partial cocycle monoid	(Dokuchaev et al., 2024)
Crossed product structure	Isomorphism $$\kappa_{par}^\sigma G \cong B^\sigma *_{\theta^\sigma,\sigma} G$$	(Dokuchaev et al., 2023)

3. Crossed Product Realization and Spectral Decomposition

Twisted partial group algebras admit explicit crossed product realizations. For the canonical commutative subalgebra $B^\sigma \subset \kappa_{par}^\sigma G$ generated by the local idempotents $$e_g^\sigma = \sigma(g,g^{-1})^{-1}[g]^\sigma [g^{-1}]^\sigma$$, one constructs a twisted partial action $(B^\sigma, \theta^\sigma, \sigma)$ with $\theta_g^\sigma: D_{g^{-1}}^\sigma \to D_g^\sigma$, $$\theta_g^\sigma(b) = \sigma(g^{-1},g)^{-1}[g]^\sigma b [g^{-1}]^\sigma$$.

There exists an isomorphism: $$\kappa_{par}^\sigma G \cong B^\sigma *_{\theta^\sigma, \sigma} G,$$ identifying $\kappa_{par}^\sigma G$ with the crossed product by this canonical twisted partial action (Dokuchaev et al., 2023).

Through Gelfand duality, $B^\sigma$ is realized as the algebra of locally constant functions on a totally disconnected compact Hausdorff space $\Omega_\sigma$: $B^\sigma \cong \mathscr{L}(\Omega_\sigma),$ where $\Omega_\sigma$ is described as the spectrum of $B^\sigma$—specifically, as a closed subspace of the Bernoulli space $2^G$ defined by a system of $\sigma$-prohibitions (Dokuchaev et al., 2024). This spectrum supports a partial action $\hat\theta$ of $G$.

The global algebra is then isomorphic to the twisted partial crossed product

$$\kappa_{par}^\sigma G \cong \mathscr{L}(\Omega_\sigma) \rtimes_{(\hat{\theta}, \sigma)} G,$$

with product structure

$$(f_g \delta_g) (f_h \delta_h) = \sigma(g,h) f_g (f_h \circ \hat{\theta}_{g^{-1}}) \delta_{gh}.$$

4. Classification, Extensions, and Sieben's Theory

Twisted partial group algebras intimately connect to the extension theory of semilattices of groups. An extension of a semilattice of groups $A$ by a group $G$ is an inverse semigroup $U$ fitting into a short exact sequence

$A \xrightarrow{i} U \xrightarrow{j} G,$

with $i(A) = j^{-1}(\{1\})$ and $j$ admitting an order-preserving transversal. Every such admissible extension is realized as a crossed product $A *_\Theta G$ for a unique twisted partial action $\Theta$ up to equivalence (Dokuchaev et al., 2016).

Passing through $E$-unitary inverse semigroups $S$ with maximal group image $G$, twisted partial actions on $A$ correspond bijectively to Sieben's twisted $S$-modules on $A$. These modules consist of:

• An isomorphism $\alpha : E(S) \to E(A)$,
• A map $\lambda: S \to \text{End}(A)$ with relative invertibility,
• A twisting $f: S \times S \to A$ subject to compatibility and normality conditions, such that the module axioms ensure the extension and the crossed product structure.

The main classification theorem establishes equivalence between the category of twisted partial actions of $G$ (up to cohomological equivalence) and that of Sieben twisted $S$-modules on $A$ (Dokuchaev et al., 2016).

5. Connections with Projective Representations and the Partial Schur Multiplier

Partial projective representations (or partial $\sigma$-representations) of $G$ in a $\kappa$-algebra $R$ are maps $\Gamma: G \to R$ satisfying

$$\Gamma(g^{-1})\Gamma(gh)=0 \iff \Gamma(g)\Gamma(h)=0$$

and structure equations reflecting the factor set $\sigma$. These representations are classified (universally) by homomorphisms from $\kappa_{par}^{\sigma}G$ (Dokuchaev et al., 2023, Dokuchaev et al., 2024, Bemm et al., 2021).

The set of partial 2-cocycles, modulo coboundaries, forms the partial Schur multiplier $pM(G)$. For groupoids, the picture generalizes, and partial projective representations relate to twisted partial actions and their associated groupoid algebras (Bemm et al., 2021).

6. Homological Aspects and Morita Theory

Twisted partial group algebras admit a robust homological theory paralleling that of classical group algebras:

• There exist Grothendieck spectral sequences relating the Hochschild homology of a crossed product $A *_{\Theta} G$ to that of $A$ and to the partial group homology $H_*^{par}(G,\cdot)$ (Dokuchaev et al., 2023).
• Dual spectral sequences yield computations in Hochschild cohomology.
• For suitable globalizations of twisted partial actions (i.e., when the partial action extends to a global one on a larger algebra), the crossed products are Morita equivalent (Bemm et al., 2021).

When the spectral space $\Omega_\sigma$ is discrete (notably for finite $G$ and appropriate $\sigma$), the algebra $\kappa_{par}^\sigma G$ decomposes explicitly as a finite direct sum of matrix algebras over twisted group algebras of stabilizer subgroups: $$\kappa_{par}^{\sigma}G \cong \bigoplus_{i\in I} M_{n_i}\left(\kappa^{\sigma_i} H_i\right),$$ where $(H_i, \sigma_i)$ are the stabilizer subgroups and restricted cocycles corresponding to connected components of a groupoid associated to $\Omega_\sigma$ (Dokuchaev et al., 2024).

7. Topological and Dynamical Consequences

The spectral realization of $B^\sigma$ as functions on $\Omega_\sigma$ equips twisted partial group algebras with a topological dynamical system $(\Omega_\sigma, G, \hat\theta)$. The topological freeness of $\hat{\theta}$, characterized by lack of isolated fixed points for nontrivial group elements, governs the ideal structure and simplicity properties of $\kappa_{par}^\sigma G$. For idempotent factor sets and infinite $G$ without isolated global constraints, $\hat{\theta}$ is topologically free, leading to a refined ideal intersection property mirroring results in operator algebras (Dokuchaev et al., 2024).

In abstract algebraic terms, $\kappa_{par}^\sigma G$ is also isomorphic to the semigroup algebra of a $\kappa$-cancellative inverse semigroup constructed via a generalized prefix expansion from $\Omega_\sigma$ (Dokuchaev et al., 2024).

---

Twisted partial group algebras provide a highly flexible setting for capturing non-global symmetries, cohomological invariants, and both algebraic and analytic (topological) structures in a broad range of algebraic and representation-theoretic contexts, connecting deep categorical classification, homological algebra, and partial dynamical systems.