Unrestricted Quantum Moduli Algebras. I. The Case of Punctured Spheres

TL;DR

This paper studies the structure of quantum moduli algebras for punctured spheres, introducing new results at roots of unity, and connects these algebras with character varieties, Poisson structures, and skein algebras.

Contribution

It develops the theory of quantum moduli algebras at roots of unity for punctured spheres, including a Frobenius morphism and Poisson structure correspondence.

Findings

Frobenius morphism identifies the center with a finite extension of $ ext{O}(G^n)$

Poisson structure on the center matches the Fock-Rosly structure

Kauffman bracket skein algebra is isomorphic to the quantum moduli algebra at a root of unity

Abstract

Let $\Sigma$ be a finite type surface, and $G$ a complex algebraic simple Lie group with Lie algebra $\mathfrak{g}$. The quantum moduli algebra of $(\Sigma,G)$ is a quantization of the ring of functions of $X_G(\Sigma)$, the variety of $G$-characters of $\pi_1(\Sigma)$, introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche in the mid '90s. It can be realized as the invariant subalgebra of so-called graph algebras, which are $U_q(\mathfrak{g})$-module-algebras associated to graphs on $\Sigma$, where $U_q(\mathfrak{g})$ is the quantum group corresponding to $G$. We study the structure of the quantum moduli algebra in the case where $\Sigma$ is a sphere with $n+1$ open disks removed, $n\geq 1$, using the graph algebra of the "daisy" graph on $\Sigma$ to make computations easier. We provide new results that hold for arbitrary $G$ and generic $q$, and develop the theory in the case where $q=\epsilon$, a primitive root of unity of odd order, and $G={\rm SL}(2,{\mathbb C})$. In such a situation we introduce a Frobenius morphism that provides a natural identification of the center of the daisy graph algebra with a finite extension of the coordinate ring $\mathcal{O}(G^n)$. We extend the quantum coadjoint action of De-Concini-Kac-Procesi to the daisy graph algebra, and show that the associated Poisson structure on the center corresponds by the Frobenius morphism to the Fock-Rosly Poisson structure on $\mathcal{O}(G^n)$. We show that the set of fixed elements of the center under the quantum coadjoint action is a finite extension of ${\mathbb C}[X_G(\Sigma)]$ endowed with the Atiyah-Bott-Goldman Poisson structure. Finally, by using Wilson loop operators we identify the Kauffman bracket skein algebra $K_{\zeta}(\Sigma)$ at $\zeta:={\rm i}\epsilon^{1/2}$ with this quantum moduli algebra specialized at $q=\epsilon$.