Relating stated skein algebras and internal skein algebras

DOI10.3842/SIGMA.2022.042MaRDI QIDQ2155667zbMATH OpenFDO

Authors Benjamin Haïoun

Publication date 15 July 2022

Published in SIGMA. Symmetry, Integrability and Geometry: Methods and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2104.13848

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

category theoryquantum invariantsskein theory

Mathematics Subject Classification ID

Braided monoidal categories and ribbon categories (18M15) Finite-type and quantum invariants, topological quantum field theories (TQFT) (57K16)

Abstract: We give an explicit correspondence between stated skein algebras, which are defined via explicit relations on stated tangles in [Costantino F., L^e T.T.Q., arXiv:1907.11400], and internal skein algebras, which are defined as internal endomorphism algebras in free cocompletions of skein categories in [Ben-Zvi D., Brochier A., Jordan D., J. Topol. 11 (2018), 874-917, arXiv:1501.04652] or in [Gunningham S., Jordan D., Safronov P., arXiv:1908.05233]. Stated skein algebras are defined on surfaces with multiple boundary edges and we generalise internal skein algebras in this context. Now, one needs to distinguish between left and right boundary edges, and we explain this phenomenon on stated skein algebras using a half-twist. We prove excision properties of multi-edges internal skein algebras using excision properties of skein categories, and agreeing with excision properties of stated skein algebras when $mathcalV=mathcal{U}_{q^2}(mathfrak{sl}_2)ext-{mmod}^{mfin}$. Our proofs are mostly based on skein theory and we do not require the reader to be familiar with the formalism of higher categories.

Review text

The main results of the paper provide an explicit correspondence between the stated skein algebras and the internal skein algebras of a marked surface with boundary, using mainly skein theory. More precisely, the author proves the following. Theorem 1.1. Let \(\Sigma\) be a compact oriented surface with a boundary edge \(e\) seen at the right for stated skein algebras and at the left for internal skein algebras; then one has an isomorphism of \(\mathcal{O}_{q^2}(\mathrm{SL}_2)\)-comodule-algebras \(A_\Sigma\cong \mathcal{S}(\Sigma),\) between the stated skein algebra \(\mathcal{S}(\Sigma)\) and the internal skein algebra \(A_\Sigma\). Theorem 1.5. Let \(\Sigma\) be a marked surface with \(n\) boundary edges labelled either as left or as right edges. There is an isomorphism of \(\big(\mathcal{O}_{q^2}(\mathrm{SL}_2)^{\otimes k},\mathcal{O}_{q^2}(\mathrm{SL}_2)^{\otimes n-k}\big)\)-bicomodule algebras \(A_\Sigma^{L_{k+1},\dots,L_n}\cong \mathcal{S}(\Sigma),\) between the stated skein algebra \(\mathcal{S}(\Sigma)\) seen as a left \(\mathcal{O}_{q^2}(\mathrm{SL}_2)\)-comodule on the right edges, and the internal skein algebra \(A_\Sigma\) with the comodule structures of the right edges switched at the left using the antipode.

Recommendations

• Stated skein algebras of surfaces
• Excision of skein categories and factorisation homology
• Quantum traces and embeddings of stated skein algebras into quantum tori
• Skein algebras of surfaces
• On the genus two skein algebra

Cites work

• A minus sign that used to annoy me but now I know why it is there
• Coherence for invertible objects and multigraded homotopy rings
• Heisenberg-picture quantum field theory
• scientific article; zbMATH DE number 1824095 (Why is no real title available?)
• scientific article; zbMATH DE number 3747352 (Why is no real title available?)
• scientific article; zbMATH DE number 706259 (Why is no real title available?)
• scientific article; zbMATH DE number 1113624 (Why is no real title available?)
• scientific article; zbMATH DE number 2135135 (Why is no real title available?)
• scientific article; zbMATH DE number 2172008 (Why is no real title available?)
• scientific article; zbMATH DE number 793872 (Why is no real title available?)
• Integrating quantum groups over surfaces
• Kauffman skein algebras and quantum Teichmüller spaces via factorization homology
• Modular group representations in combinatorial quantization with non-semisimple Hopf algebras
• On Picture (2+1)-TQFTs
• Quantum invariants of knots and 3-manifolds
• Quantum traces for representations of surface groups in SL\(_{2}(\mathbb C)\)
• Ribbon graphs and their invariants derived from quantum groups
• Skein and cluster algebras of marked surfaces
• Stated skein algebras of surfaces
• Stated skein modules of marked 3-manifolds/surfaces, a survey
• Tensor categories
• The finiteness conjecture for skein modules
• The half-twist for U_q( g) representations
• Triangular decomposition of skein algebras
• Unicity for representations of reduced stated skein algebras

Cited in

(9)

• Stated skein algebras of surfaces
• Mapping class group representations derived from stated skein algebras
• Excision of skein categories and factorisation homology
• The finiteness conjecture for skein modules
• Finite presentations for stated skein algebras and lattice gauge field theory
• Triangular decomposition of \(\mathrm{SL}_3\) skein algebras
• Derived representations of quantum character varieties
• Stated skein modules of 3-manifolds and TQFT
• 3d quantum trace map

This page was built for publication: Relating stated skein algebras and internal skein algebras

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