Tracial Sequence Algebra in C*-Algebras

• Tracial sequence algebra is a construction in operator algebra theory that captures asymptotic behavior of sequences via trace conditions.
• It underpins regularity phenomena such as TAO zero and real rank zero, linking structural properties with the classification of C*-algebras.
• The concept extends to applications in noncommutative moment problems, ultraproduct constructions, and trace-positive polynomial analysis.

A tracial sequence algebra is a structural object in the theory of operator algebras, designed to capture asymptotic properties of sequences in a $C^*$-algebra with respect to traces or 2-quasitraces. Its analysis underpins recent advances in structure, classification, and regularity phenomena in the classification program for $C^*$-algebras. Tracial sequence algebras arise in both purely algebraic contexts, such as tracial moment problems for noncommutative polynomials, and analytic contexts centered on the central sequence algebra and ultraproduct constructions in $C^*$-algebras, reflecting regularity phenomena associated to trace spaces.

1. Definitions and Foundational Constructions

Let $A$ be a (typically separable, simple) $C^*$-algebra. The bounded sequence algebra is

$$l^\infty(A) = \{ (x_n)_{n\in\mathbb N}\ :\ \sup_n\|x_n\| < \infty \}$$

with the supremum norm. For each densely defined lower semicontinuous 2-quasitrace $\tau$ on $A\otimes K$, the tracial 2-norm is given by

$\|x\|_2 = \sup_{\tau\in T(A)^w} \tau(x^*x)^{1/2}$

where $T(A)^w$ denotes the weak* compact simplex of normalized 2-quasitraces. The trace-kernel ideal is then

$$J_A = \{ x = (x_n) \in l^\infty(A) : \lim_{n\to\infty} \|x_n\|_2 = 0 \}$$

and the tracial sequence algebra is the quotient $l^\infty(A) / J_A$ (Fu, 30 Dec 2025).

A related construction is the uniform tracial sequence algebra, defined for a $C^*$-algebra $A$ with tracial state space $T(A)$ by quotienting sequences vanishing in the uniform tracial 2-norm: $A^{\infty} := l^\infty(A)/c_{0,T}(A)$ with

$$c_{0,T}(A) := \left\{ (a_n) \in l^\infty(A) : \lim_{n\to\infty} \sup_{\tau\in T(A)} \|a_n\|_{2,\tau} = 0 \right\}$$

for $\|a\|_{2,\tau} = \tau(a^* a)^{1/2}$ (Castillejos et al., 2020). Ultrapower variations are also canonical.

2. Tracial Approximate Oscillation and Real Rank Zero

The concept of tracial approximate oscillation zero (TAO zero) is defined for a positive element $a$ in $A\otimes K$: for every $\varepsilon > 0$, there exists $c \in \mathrm{Her}(a)_+$ such that $\|a-c\|_2 < \varepsilon$, $\|c\|\leq\|a\|$, and $\omega(c) < \varepsilon$, where

$$\omega(a) = \lim_{n\to\infty} \sup_{\tau\in T(A)^w} (d_\tau(a) - \tau(f_{1/n}(a)))$$

with $d_\tau(a)$ the dimension function on the Cuntz class of $a$ and $f_{1/n}$ an approximate spectral cut-off (Fu, 30 Dec 2025). The condition TAO zero for $A$ ensures particularly strong regularity in its tracial sequence algebra.

The main structural theorem is that if $A$ has stable rank one, then $A$ has TAO zero and therefore $l^\infty(A)/J_A$ has real rank zero. Conversely, for a $C^*$-algebra $B$ with nontrivial 2-quasitraces, $B$ has TAO zero if and only if $l^\infty(B)/J_B$ has real rank zero. This establishes a direct bridge between operational regularity (stable rank one) and topological regularity (real rank zero) in the tracial sequence algebra setting (Fu, 30 Dec 2025).

3. Central Sequence Algebra and Ultrapower Structures

For separable unital $C^*$-algebras, the central sequence algebra is

$$A_\infty \cap A' = \{ x \in l^\infty(A)/c_0(A) : [x, a] = 0\ \forall a \in A \}$$

and the tracial central sequence algebra incorporates the trace-vanishing ideal, quotienting out sequences asymptotically invisible to all traces: $$A_\omega^{\mathrm{tr}} = (A_\omega \cap A') / \{x:\tau_\omega(x^* x) = 0\ \forall\ \tau_\omega\}$$ where $A_\omega$ is an ultrapower and $\tau_\omega$ ranges over all ultralimit traces from $T(A)$ (Toms et al., 2012, Sato, 2012). These algebras support the construction of uniformly tracially large order zero maps, crucial for establishing regularity such as $\mathcal{Z}$-stability under finite-dimensionality constraints on the extreme tracial boundary.

4. Classification and Tracial Data Invariants

Maps from nuclear $C^*$-algebras into uniform tracial sequence algebras are classified entirely via their action on traces:

• Each $*$-homomorphism $\varphi: B \rightarrow A^\infty$ induces a trace map $\varphi^\sharp: T(A^\infty) \rightarrow T(B)$, determined by its restriction $\alpha: T(A) \rightarrow T(B)$.
• Existence: For every affine $\alpha$, there exists a $*$-homomorphism $A \to B^\infty$ with $\tau(\varphi(a)) = \alpha(\tau)(a)$.
• Uniqueness: Two such maps are unitarily equivalent in $B^\infty$ iff they agree on all traces (Castillejos et al., 2020).

This trace-centric invariance obviates K-theoretic or Cuntz semigroup data in the classification of such maps, reflecting a robust von Neumann phenomenon for $C^*$-algebra ultrapowers.

5. Algebraic Theory of Tracial Sequences and Moment Problems

In the noncommutative moment problem, a tracial sequence $(y_w)_{w \in \langle X \rangle}$ (indexed by words in noncommuting variables, cyclically invariant) admits a matrix-trace representation iff its tracial moment matrix $M(y)$ is positive semidefinite and of finite rank. The truncated tracial moment problem asks for such a representation on words of bounded length, resolved by the existence of a flat extension of the truncated moment matrix.

Duality is established between truncated tracial sequences and trace-positive noncommutative polynomials via the Riesz functional. Every trace-positive polynomial in the truncated cone is cyclically equivalent (up to commutators) to a sum of hermitian squares only if every positive-definite truncated moment matrix admits a matrix-trace representation (Burgdorf et al., 2010).

6. Applications and Regularity Properties

Tracial sequence algebras formalize central regularity properties of $C^*$-algebras with low rank and strong tracial structure:

• Diagonal AH-algebras and crossed products by amenable group actions exhibit TAO zero and real rank zero quotients (Fu, 30 Dec 2025).
• For algebras with compact, finite-dimensional extreme boundary, embeddings of matrix algebras into the tracial sequence algebra imply $\mathcal{Z}$-stability via the Matui–Sato criterion (Toms et al., 2012, Sato, 2012).
• Maps into uniform tracial sequence algebras encode “approximate multiplicative” behavior in trace-2-norm and support the classification program for nuclear, $\mathcal{Z}$-stable $C^*$-algebras (Castillejos et al., 2020).

7. Connections to Trace-Positive Polynomials and Operator Algebras

The interface with the theory of trace-positive noncommutative polynomials surfaces in applications to Connes' embedding conjecture, the BMV conjecture, and the structure of sums of hermitian squares modulo commutators. Tracial sequence algebras provide a setting to study trace-positivity via convex geometry and functional analysis, supporting separation and representation arguments in the analysis of noncommutative positivity (Burgdorf et al., 2010). These dualities reinforce the analytic and algebraic power of the tracial sequence algebra across operator algebra theory and free real algebraic geometry.