Crystal limits of compact semisimple quantum groups as higher-rank graph algebras

Abstract

Let $O_q[K]$ denote the quantized coordinate ring over the field $\mathbb{C}(q)$ of rational functions corresponding to a compact semisimple Lie group $K$, equipped with its *-structure. Let $A_0$ in $\mathbb{C}(q)$ denote the subring of regular functions at $q=0$. We introduce an $A_0$-subalgebra $O_q^{A_0}[K]$ of $O_q[K]$ which is stable with respect to the *-structure, and which has the following properties with respect to the crystal limit $q\to 0$. The specialization of $O_q[K]$ at each $q$ in $(0,\infty )\setminus \{1\}$ admits a faithful *-representation ${\pi }_q$ on a fixed Hilbert space, a result due to Soibelman. We show that for every element $a$ in $O_q^{A_0}K$, the family of operators ${\pi }_q(a)$ admits a norm-limit as $q\to 0$. These limits define a *-representation ${\pi }_0$ of $O_q^{A_0}K$. We show that the resulting *-algebra $O[K_0]={\pi }_0(O_q^{A_0}[K])$ is a Kumjian-Pask algebra, in the sense of Aranda Pino, Clark, an Huef and Raeburn. We give an explicit description of the underlying higher-rank graph in terms of crystal basis theory. As a consequence, we obtain a continuous field of $C^{\ast }$-algebras $(C(K_q){)}_{q\in [0,\infty ]}$, where the fibres at $q=0$ and $\infty$ are explicitly defined higher-rank graph algebras.

References in corpus (2)

• Quantized algebras of functions on homogeneous spaces with Poisson stabilizers
• Kähler structures on quantum irreducible flag manifolds