C*-Diagonal Equivalence in Operator Algebras

• C*-Diagonal equivalence is the concept that two Cartan subalgebras within a C*-algebra are considered equivalent if an automorphism maps one onto the other while preserving key properties like maximal abelianness and the unique extension property.
• It plays a pivotal role in classifying algebras such as graph, groupoid, and inductive limit C*-algebras by using dynamical systems and groupoid invariants like the Weyl groupoid and its twist.
• This concept underpins practical applications in noncommutative geometry, influencing the study of rotation algebras, Leavitt path algebras, and AF algebras through their orbit equivalence and spectral data.

The concept of C$^*$-diagonal equivalence addresses when two Cartan subalgebras (often referred to as "diagonals") within a C$^*$-algebra are equivalent up to automorphism, and consequently, when two C$^*$-algebraic structures carry essentially the same "diagonal" information. This notion plays a critical role in classification theory, particularly in the context of graph C$^*$-algebras, groupoid C$^*$-algebras, noncommutative CW complexes, and more generally, in understanding the interplay between algebraic, dynamical, and topological invariants.

1. Definition of C$^*$-Diagonal and Diagonal Equivalence

A Cartan subalgebra $B \subseteq A$ of a (typically separable) C$^*$-algebra is characterized by the following properties:

• $B$ is maximal abelian in $A$.
• $B$ is regular: the normalizer $N_A(B) = \{ n \in A : nBn^*, n^*Bn \subset B \}$ generates $A$ as a C$^*$-algebra.
• Existence of a faithful conditional expectation $E: A \to B$.

A C$^*$-diagonal is a Cartan subalgebra satisfying the additional unique extension property: every pure state of $B$ extends uniquely to a pure state of $A$ (Duwenig, 23 May 2025, Raad, 2023). In the groupoid model, if the associated Weyl groupoid is principal (i.e., has trivial isotropy), then the Cartan inclusion is a C$^*$-diagonal (Duwenig, 23 May 2025).

Two Cartan subalgebras $B_1, B_2 \subseteq A$ are diagonally equivalent if there is an automorphism $\alpha$ of $A$ such that $\alpha(B_1) = B_2$. In the twisted groupoid setting, this is equivalent to the existence of an isomorphism between the Weyl groupoids and their twists associated to each diagonal (Duwenig, 23 May 2025, Ojito et al., 16 Jan 2026).

2. C$^*$-Diagonal Equivalence in Graph and Groupoid C$^*$-Algebras

In the context of graph C$^*$-algebras, the canonical diagonal $D(E)$ is the subalgebra generated by range projections of finite paths. Diagonal-preserving *-isomorphisms between graph C$^*$-algebras correspond exactly to isomorphisms of their associated étale groupoids, or, at the dynamical level, to refined orbit equivalences of the underlying boundary path spaces that preserve periodic points (Arklint et al., 2016). This equivalence is stated precisely in the following result:

Equivalent Data	Reference
Existence of a diagonal-preserving *-isomorphism	(Arklint et al., 2016)
Isomorphism of étale graph groupoids	(Arklint et al., 2016)
Existence of a path space orbit equivalence preserving periodicity	(Arklint et al., 2016)

This paradigm extends to Leavitt path algebras over suitable rings, for which *-isomorphism, diagonal-preserving isomorphism, and groupoid isomorphism are all logically equivalent under mild hypotheses (Carlsen, 2016, Eilers et al., 11 Nov 2025).

3. Classification via Weyl Groupoid and Weyl Twist

For groupoid C$^*$-algebras, Renault–Kumjian theory enables reconstruction of the ambient algebra via the Weyl groupoid and Weyl twist associated to any Cartan pair (A, B). In non-traditional settings (Cartan subalgebras induced from open normal subgroupoids), the Weyl groupoid $W = \tilde{S} \rtimes (G/S)$ and its twist $\Sigma$ can be described explicitly via the action of the groupoid on a twisted Pontryagin dual space $\tilde{S}$ (Duwenig, 23 May 2025). Two Cartan subalgebras are diagonally equivalent precisely when their Weyl pairs $(W_1,\Sigma_1), (W_2,\Sigma_2)$ are isomorphic as twisted étale groupoids.

4. Diagonal Equivalence in Inductive Limit and Classifiable C$^*$-Algebras

In inductive limit constructions, such as those underpinning classifiable stably finite C$^*$-algebras and 1-dimensional noncommutative CW-complexes (NCCW), C$^*$-diagonals are encoded combinatorially by permutation data or Bratteli diagrams. For instance, in the context of stably finite, unital, or stably projectionless classifiable C$^*$-algebras with torsion-free $K_0$ and trivial $K_1$, the homeomorphism type of the diagonal spectrum (e.g., the Menger curve) is fixed, but diagonal conjugacy classes are distinguished by connecting-map permutation data, leading to continuum-many pairwise non-conjugate diagonals, all with the same spectral type (Li, 2020).

In the AH and AI settings, the Bratteli-type diagram captures the spectral content of the diagonal, and spectral completeness—in the sense of realizing all possible inverse-limit continua—governs uniqueness up to equivalence. For AF algebras (spectrally complete case), there is uniqueness of inductive limit Cartan up to inner conjugacy, controlled by the ordered $K_0$-group (Raad, 2023).

5. Dynamical and Homological Invariants

The diagonal-equivalence problem is sensitive to finer dynamical and homological invariants. For example, in infinite-graph or Cuntz algebra ($\mathcal{O}_\infty$) contexts, the only obstruction to diagonal-preserving isomorphism is the realization of the automorphism $x \mapsto -x$ on the unique $\mathbb{Z}$-summand of $K_0$ or groupoid homology (Eilers et al., 11 Nov 2025). This manifests as the existence (or nonexistence) of diagonal-preserving isomorphisms implementing the “flip” on the associated dimension group or monoid.

6. Rotation Algebras and Cartan Subalgebra Rigidity

In twisted groupoid and rotation algebra cases, every Cartan subalgebra arising from an open normal subgroupoid in the irrational rotation algebra is ultimately diagonally equivalent to the standard one, as their Weyl groupoids and twists are isomorphic. Only when the ambient algebra admits further decomposition (such as for rational rotation parameters) do distinctions among diagonals arise (Duwenig, 23 May 2025).

7. Examples and Counterexamples

Key illustrative phenomena include:

• In classifiable C$^*$-algebras constructed as limits of 1D NCCW-complexes, permutation sequences yield continuum many distinct diagonal classes with fixed spectrum (Li, 2020).
• In AH-algebras with spectrally incomplete diagonal spectra, non-equivalent Cartan subalgebras can be constructed by forcing new inverse-limit components (Raad, 2023).
• In Leavitt path algebra theory, certain pairs of graphs give rise to non-isomorphic diagonals even when their C$^*$-algebras are isomorphic—a phenomenon traceable to groupoid or monoidal invariants (Carlsen, 2016).
• In the CAR algebra, the toric-code diagonal generated by star and face operators is shown to be equivalent to the canonical diagonal $D \subseteq M_{2^\infty}$ via the AF Weyl groupoid, reflecting dimension group rigidity (Ojito et al., 16 Jan 2026).

---

In summary, C$^*$-diagonal equivalence is the cornerstone linking dynamical system orbit equivalence, groupoid and homological invariants, and the internal structure of Cartan inclusions across diverse C$^*$-algebraic settings. Its classification reduces, in many cases, to the isomorphism class of the associated Weyl pair—a groupoid-theoretic data set encoding all essential information about the diagonal up to automorphism. This principle is foundational in the ongoing refinement of the C$^*$-algebra classification program.