Unrestricted Quantum Moduli Algebras, II: Noetherianity and Simple Fraction Rings at Roots of 1 (2106.04136v5)

Abstract: We prove that the quantum graph algebra and the quantum moduli algebra associated to a punctured sphere and complex semisimple Lie algebra $\mathfrak{g}$ are Noetherian rings and finitely generated rings over $\mathbb{C}(q)$. Moreover, we show that these two properties still hold on $\mathbb{C}\big[q,q^{-1}\big]$ for the integral version of the quantum graph algebra. We also study the specializations $\mathcal{L}{0,n}^\epsilon$ of the quantum graph algebra at a root of unity $\epsilon$ of odd order, and show that $\mathcal{L}{0,n}^\epsilon$ and its invariant algebra under the quantum group $U_\epsilon(\mathfrak{g})$ have classical fraction algebras which are central simple algebras of PI degrees that we compute.