Dynamical Cuntz Semigroup

• Dynamical Cuntz Semigroup is a semigroup-valued invariant that encodes the interplay between C*-dynamical systems and the structural regularity of their algebras.
• It refines standard invariants such as K-theory and traces by incorporating equivariant actions, enabling detailed classification of crossed product C*-algebras.
• Its universal property and connections to paradoxicality offer a unifying framework for addressing stable finiteness and pure infiniteness in noncommutative dynamics.

The dynamical Cuntz semigroup provides a semigroup-valued invariant that canonically encodes the interaction between a $C^*$-dynamical system and the structural regularity of the underlying $C^*$-algebra. It refines traditional invariants such as $K$-theory and traces by incorporating the ambient group or inverse semigroup action into the Cuntz semigroup formalism. This construction is central in recent characterizations of stable finiteness and pure infiniteness in essential crossed products, generalizing and extending results for group and groupoid actions. Its universal properties, connections to paradoxicality, and compatibility with ideal-quotient theory position it as a key object in noncommutative dynamics and classification theory.

1. Structural Foundations: Cuntz Semigroups and Equivariant Actions

The classical Cuntz semigroup $\mathrm{Cu}(A)$ of a $C^*$-algebra $A$ is the positively ordered abelian monoid formed as the quotient of positive elements in the stabilization $A \otimes \mathcal{K}$ under Cuntz subequivalence. The algebraic and order-theoretic structure of $\mathrm{Cu}(A)$—notably the way-below relation $\ll$, addition, and suprema of increasing sequences—makes it an effective invariant for encoding both projection data and generalized spectral information.

In the dynamical setting, an action $\alpha: S \curvearrowright A$ of an inverse semigroup $S$ (or, analogously, a discrete group $G \curvearrowright A$) induces a corresponding action on the Cuntz semigroup via the morphisms $$\widehat{\alpha}_s: \mathrm{Cu}(A_{s^*s}) \to \mathrm{Cu}(A_{ss^*})$$. This equivariant structure is the foundation for constructing the dynamical Cuntz semigroup, allowing one to systematically collapse or identify elements of $\mathrm{Cu}(A)$ in a manner sensitive to the dynamics of the action (Armstrong et al., 11 Jan 2026, Bosa et al., 2024).

2. The α-Below Relation and Dynamical Quotients

At the technical core of the construction are the $\alpha$-below relations:

• For $x, y \in \mathrm{Cu}(A)$, $x \prec_\alpha y$ (“$x$ is $\alpha$-below $y$”) if for every $f \ll x$ there exist $s_i \in S$, $u_i \in \mathrm{Cu}(A_{s_i^* s_i})$ such that $f \ll \sum u_i$ and $\sum \widehat{\alpha}_{s_i}(u_i) \ll y$.
• The transitive closure $\precsim_\alpha$ is defined by chains of $\prec_\alpha$ relations, and elements $x, y$ are considered $\alpha$-equivalent if $x \precsim_\alpha y$ and $y \precsim_\alpha x$.

The dynamical Cuntz semigroup $\mathrm{DCu}(A, S, \alpha)$ is then formed as the quotient $\mathrm{Cu}(A)^\ll / \sim_\alpha$, where $\mathrm{Cu}(A)^\ll$ denotes the elements of $\mathrm{Cu}(A)$ that are way-below themselves. The addition and order relations on $\mathrm{DCu}(A, S, \alpha)$ are inherited via the operations $[x]_\alpha + [y]_\alpha = [x+y]_\alpha$ and $[x]_\alpha \leq [y]_\alpha$ if and only if $x \precsim_\alpha y$.

For group actions, this construction is refined via the introduction of normal pairs in the sense of W-semigroups, leading to the universal quotient $S/G = S/\mathfrak{a}_G$ determined by the orbit relation—this realizes $\mathrm{Cu}^G(A)$ as the categorical colimit/coequalizer of the $G$-action in the appropriate semi-abelian category (Bosa et al., 2024).

3. Universal Property and Functorial Characterization

The dynamical Cuntz semigroup enjoys a precise universal property: for any equivariant morphism from $\mathrm{Cu}(A)$ (with its dynamical action) to any (possibly non-dynamical) Cu-semigroup, there exists a unique factorization through the dynamical Cuntz semigroup. Explicitly, the projection $\pi_G: \mathrm{Cu}(A) \rightarrow \mathrm{Cu}^G(A)$, defined by $x \mapsto [x]_G$, is initial among all equivariant morphisms into ordinary (non-dynamical) Cu-semigroups. In the categorical language, $\mathrm{dCu}(G, S)$ is the left-adjoint to the forgetful inclusion of $G$-Cu-semigroups into $G$-W-semigroups, reflecting its role as a universal dynamical invariant (Bosa et al., 2024).

This property underpins the ability of $\mathrm{Cu}^G(A)$ or $\mathrm{DCu}(A, S, \alpha)$ to encode both the $C^*$-algebraic and dynamical data in a single monoid.

4. Paradoxicality, States, and the Stable Finiteness/Pure Infiniteness Dichotomy

A central result is the dichotomy in the essential crossed product $A \rtimes_\mathrm{ess} S$ between stable finiteness and pure infiniteness, characterized entirely in terms of the existence of nontrivial states on $\mathrm{DCu}(A, S, \alpha)$. The dichotomy theorem demonstrates the equivalence of:

• Existence of a nontrivial, order-preserving monoid homomorphism $\nu: \mathrm{DCu}(A, S, \alpha) \to [0, \infty]$,
• Stable finiteness (i.e., the existence of faithful tracial states on $A \rtimes_\mathrm{ess} S$),
• The absence of (k, l)-paradoxical elements in $\mathrm{Cu}(A)^\ll$ for $k > l$,
• The purely infinite case (all nonzero $x$ satisfy $2x \leq x$) corresponding to the nonexistence of such $\nu$ and to the lack of traces (Armstrong et al., 11 Jan 2026).

This connection between the combinatorial properties of the dynamical Cuntz semigroup and deep structural characteristics of the crossed product $C^*$-algebra generalizes known results for actions by groups and groupoids.

5. Computable Retracts and Ideal-Free Quotients

For practical computation, one frequently replaces the potentially large semigroup $\mathrm{Cu}(A)$ with more manageable retracts $R \subset \mathrm{Cu}(A)$, preserving the relevant dynamical invariance. This process uses injective and surjective Cu-morphisms $(\rho, \sigma)$ satisfying $\sigma \circ \rho = \mathrm{id}_R$ and ensures that the induced dynamical structure (and corresponding dynamical Cuntz semigroup $R_\alpha$) is accessible for calculations.

The notion of normal pairs is essential for constructing quotients of W- and Cu-semigroups beyond the simple setting of ideals, yielding ideal-free quotients necessary for group actions (where the orbit relation may require identifications crossing multiple ideals) (Bosa et al., 2024). For example, if $A = C(\{0,1\})$ with $\mathbb{Z}/2$ acting by swapping points, only the orbit relation must be collapsed in $\mathrm{W}(A)$ to produce $\mathrm{W}(A)/G \cong \mathbb{N}$, with no ideals involved.

6. Comparative Examples and Connections to Other Invariants

When specialized to group actions by automorphisms $S = \Gamma$, $\mathrm{DCu}(A, S, \alpha)$ recovers Rainone’s dynamical Cuntz semigroup, and agrees with the construction of Bosa–Perera–Wu–Zacharias in the case of group actions (Armstrong et al., 11 Jan 2026, Bosa et al., 2024). For étale groupoids $G$ (possibly non-Hausdorff), with $A = C(X)$ and $S$ the inverse semigroup of open bisections, one obtains a retracted dynamical invariant $R = {\rm Lsc}(X, \mathbb{N} \cup \{\infty\})$, where $R_\alpha$ coincides with the "type semigroup" of topological dynamics. These identifications establish the dynamical Cuntz semigroup as a unifying object in the study of topological, groupoid, and $C^*$-dynamical paradoxicality and regularity.

The position of the dynamical Cuntz semigroup between $K_0$ and trace invariants, its ideal compatibility, and its refinement of type-semigroup theory for abelian dynamical systems further illuminate its classificatory potential.

7. Open Directions and Applications

Key open problems focus on

• The description of cases where the natural map from $\mathrm{Cu}^G(A)$ to $\mathrm{Cu}(A \rtimes G)$ is an isomorphism,
• The behaviour of $\mathrm{Cu}^G(A)$ under extensions and inductive limits, and
• The translation of regularity properties (e.g., $\mathcal{Z}$-stability, almost finiteness) for the crossed product into dynamical properties of the action itself (Bosa et al., 2024).

A plausible implication is that the dynamical Cuntz semigroup provides the correct framework to express and prove trichotomy or dichotomy results in noncommutative dynamics, synthesizing earlier K-theoretic, trace-theoretic, and paradoxicality perspectives into a single invariant.