Quantum traces for SL_n-skein algebras

arXiv2303.08082MaRDI QIDQ6429574FDOQ6429574

Authors: Thang T. Q. Le, Tao Yu 

Publication date: 14 March 2023

Abstract: We establish the existence of several quantum trace maps. The simplest one is an algebra map between two quantizations of the algebra of regular functions on the $S{L}_n$-character variety of a surface $mathfrakS$ equipped with an ideal triangulation $lambda$. The first is the (stated) $S{L}_n$-skein algebra $mathscrS(mathfrakS)$. The second $overlinemathcalX(mathfrakS,lambda)$ is the Fock and Goncharov's quantization of their $X$-moduli space. The quantum trace is an algebra homomorphism $$ where the reduced skein algebra $overlinemathscrS(mathfrakS)$ is a quotient of $mathscrS(mathfrakS)$. When the quantum parameter is 1, the quantum trace $$ coincides with the classical Fock-Goncharov homomorphism. This is a generalization of the Bonahon-Wong quantum trace map for the case $n=2$. We then define the extended Fock-Goncharov algebra $mathcalX(mathfrakS,lambda)$ and show that $$ can be lifted to $t{r}^X:mathscrS(mathfrakS)omathcalX(mathfrakS,lambda)$. We show that both $$ and $t{r}^X$ are natural with respect to the change of triangulations. When each connected component of $mathfrakS$ has non-empty boundary and no interior ideal point, we define a quantization of the Fock-Goncharov $A$-moduli space $overlinemathcalA(mathfrakS,lambda)$ and its extension $mathcalA(mathfrakS,lambda)$. We then show that there exist quantum traces $$ and $t{r}^A:mathscrS(mathfrakS)hookrightarrowmathcalA(mathfrakS,lambda)$, where the second map is injective, while the first is injective at least when $mathfrakS$ is a polygon. They are equivalent to the $X$-versions but have better algebraic properties.

Mathematics Subject Classification ID

This page was built for publication: Quantum traces for $SL_n$-skein algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6429574)