Frobenius homomorphisms for stated ${\rm SL}_n$-skein modules

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Kim, Hyun Kyu, Lê, Thang T. Q., Wang, Zhihao
Natura: Preprint
Pubblicazione: 2025
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866912321374257152
author Kim, Hyun Kyu
Lê, Thang T. Q.
Wang, Zhihao
author_facet Kim, Hyun Kyu
Lê, Thang T. Q.
Wang, Zhihao
contents The stated ${\rm SL}_n$-skein algebra $\mathscr{S}_{\hat{q}}(\mathfrak{S})$ of a surface $\mathfrak{S}$ is a quantization of the ${\rm SL}_n$-character variety, and is spanned over $\mathbb{Z}[\hat{q}^{\pm 1}]$ by framed tangles in $\mathfrak{S} \times (-1,1)$. If $\hat{q}$ is evaluated at a root of unity $\hatω$ with the order of $\hatω^{4n^2}$ being $N$, then for $\hatη = \hatω^{N^2}$, the Frobenius homomorphism $Φ: \mathscr{S}_{\hatη}(\mathfrak{S}) \to \mathscr{S}_{\hatω}(\mathfrak{S})$ is a surface generalization of the well-known Frobenius homomorphism between quantum groups. We show that the image under $Φ$ of a framed oriented knot $α$ is given by threading along $α$ of the reduced power elementary polynomial, which is an ${\rm SL}_n$-analog of the Chebyshev polynomial $T_N$. This generalizes Bonahon and Wong's result for $n=2$, and confirms a conjecture of Bonahon and Higgins. Our proof uses representation theory of quantum groups and its skein theoretic interpretation, and does not require heavy computations. We also extend our result to marked 3-manifolds.
format Preprint
id arxiv_https___arxiv_org_abs_2504_08657
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Frobenius homomorphisms for stated ${\rm SL}_n$-skein modules
Kim, Hyun Kyu
Lê, Thang T. Q.
Wang, Zhihao
Geometric Topology
Quantum Algebra
57K31, 17B37, 20G42, 13F60
The stated ${\rm SL}_n$-skein algebra $\mathscr{S}_{\hat{q}}(\mathfrak{S})$ of a surface $\mathfrak{S}$ is a quantization of the ${\rm SL}_n$-character variety, and is spanned over $\mathbb{Z}[\hat{q}^{\pm 1}]$ by framed tangles in $\mathfrak{S} \times (-1,1)$. If $\hat{q}$ is evaluated at a root of unity $\hatω$ with the order of $\hatω^{4n^2}$ being $N$, then for $\hatη = \hatω^{N^2}$, the Frobenius homomorphism $Φ: \mathscr{S}_{\hatη}(\mathfrak{S}) \to \mathscr{S}_{\hatω}(\mathfrak{S})$ is a surface generalization of the well-known Frobenius homomorphism between quantum groups. We show that the image under $Φ$ of a framed oriented knot $α$ is given by threading along $α$ of the reduced power elementary polynomial, which is an ${\rm SL}_n$-analog of the Chebyshev polynomial $T_N$. This generalizes Bonahon and Wong's result for $n=2$, and confirms a conjecture of Bonahon and Higgins. Our proof uses representation theory of quantum groups and its skein theoretic interpretation, and does not require heavy computations. We also extend our result to marked 3-manifolds.
title Frobenius homomorphisms for stated ${\rm SL}_n$-skein modules
topic Geometric Topology
Quantum Algebra
57K31, 17B37, 20G42, 13F60
url https://arxiv.org/abs/2504.08657