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

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\ge 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=\mathrm{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 :=\mathrm{i}{\epsilon }^{1/2}$ with this quantum moduli algebra specialized at $q=\epsilon$.

References in corpus (5)

• On universal solution to reflection equation
• Dimension and Trace of the Kauffman Bracket Skein Algebra
• Modular Group Representations in Combinatorial Quantization with Non-Semisimple Hopf Algebras
• Miraculous cancellations for quantum $S{L}_2$
• On the Adjoint Representation of a Hopf Algebra

Cited by in corpus (2)

• Finite presentations for stated skein algebras and lattice gauge field theory
• Unrestricted Quantum Moduli Algebras, II: Noetherianity and Simple Fraction Rings at Roots of 1