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 $SL_n$-character variety of a surface $\mathfrak{S}$ equipped with an ideal triangulation $\lambda$. The first is the (stated) $SL_n$-skein algebra $\mathscr{S}(\mathfrak{S})$. The second $\overline{\mathcal{X}}(\mathfrak{S},\lambda)$ is the Fock and Goncharov's quantization of their $X$-moduli space. The quantum trace is an algebra homomorphism $\bar{tr}^X:\overline{\mathscr{S}}(\mathfrak{S})\to\overline{\mathcal{X}}(\mathfrak{S},\lambda)$ where the reduced skein algebra $\overline{\mathscr{S}}(\mathfrak{S})$ is a quotient of $\mathscr{S}(\mathfrak{S})$. When the quantum parameter is 1, the quantum trace $\bar{tr}^X$ 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 $\mathcal{X}(\mathfrak{S},\lambda)$ and show that $\bar{tr}^X$ can be lifted to $tr^X:\mathscr{S}(\mathfrak{S})\to\mathcal{X}(\mathfrak{S},\lambda)$. We show that both $\bar{tr}^X$ and $tr^X$ are natural with respect to the change of triangulations. When each connected component of $\mathfrak{S}$ has non-empty boundary and no interior ideal point, we define a quantization of the Fock-Goncharov $A$-moduli space $\overline{\mathcal{A}}(\mathfrak{S},\lambda)$ and its extension $\mathcal{A}(\mathfrak{S},\lambda)$. We then show that there exist quantum traces $\bar{tr}^A:\overline{\mathscr{S}}(\mathfrak{S})\to\overline{\mathcal{A}}(\mathfrak{S},\lambda)$ and $tr^A:\mathscr{S}(\mathfrak{S})\hookrightarrow\mathcal{A}(\mathfrak{S},\lambda)$, where the second map is injective, while the first is injective at least when $\mathfrak{S}$ is a polygon. They are equivalent to the $X$-versions but have better algebraic properties.

Trace maps in motivic homotopy and local terms

Trace methods for stable categories I: The linear approximation of algebraic K-theory

Trace maps on rigid Stein spaces

Trace methods for coHochschild homology

The trace of the local $\mathbf{A}^1$-degree

Formule des Traces et Fonctorialité: le Début d'un Programme

Boundedness of trace fields of rank two local systems

Trace Map on Chiral Weyl Algebras

Logarithmic motivic homotopy theory

Bicategorical Traces and Cotraces

The integral identity conjecture in motivic homotopy theory

Simple homotopy invariance of the loop coproduct

Equivariant Fixed Point Theory

A note on traces for the Heisenberg calculus

Distinguishing Off-Shell Supergravities With On-Shell Physics

The Petersson/Kuznetsov trace formula with prescribed local ramifications

Traces for factorization homology in dimension 1

Eichler-Selberg relations for singular moduli

Chow trace of 1-motives and the Lang-Néron groups

Traces in monoidal categories

Quantum traces for $SL_n$-skein algebras