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^*$-algebras $(C(K_q))_{q\in[0,\infty]}$, where the fibres at $q = 0$ and $\infty$ are explicitly defined higher-rank graph algebras.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2022
- DOI:
- 10.48550/arXiv.2208.13201
- arXiv:
- arXiv:2208.13201
- Bibcode:
- 2022arXiv220813201M
- Keywords:
-
- Mathematics - Quantum Algebra;
- Mathematics - Operator Algebras;
- Mathematics - Representation Theory;
- Primary: 20G42;
- Secondary: 46L67;
- 17B3
- E-Print:
- Journal f\"ur die reine und angewandte Mathematik (Crelles Journal), Volume 2023 Issue 802