Stated SL(n )âskein modules and algebras
Thang T. Q. LĂȘ,Adam S. Sikora
DOI: https://doi.org/10.1112/topo.12350
2024-08-24
Journal of Topology
Abstract:We develop a theory of stated SL(n )âskein modules, Sn(M,N) , of 3âmanifolds M marked with intervals N in their boundaries. These skein modules, generalizing stated SL(2)âmodules of the first author, stated SL(3)âmodules of Higgins', and SU(n)âskein modules of the second author, consist of linear combinations of framed, oriented graphs, called n âwebs, with ends in N , considered up to skein relations of the Uq(sln) âReshetikhinâTuraev functor on tangles, involving coupons representing the antiâsymmetrizer and its dual. We prove the Splitting Theorem asserting that cutting of a marked 3âmanifold M along a disk resulting in a 3âmanifold MâČ yields a homomorphism Sn(M)âSn(MâČ) for all n . That result allows to analyze the skein modules of 3âmanifolds through the skein modules of their pieces. The theory of stated skein modules is particularly rich for thickened surfaces M=ÎŁĂ(â1,1) , in whose case, Sn(M) is an algebra, denoted by Sn(ÎŁ) . One of the main results of this paper asserts that the skein algebra of the ideal bigon is isomorphic with Oq(SL(n)) and it provides simple geometric interpretations of the product, coproduct, counit, the antipode, and the cobraided structure on Oq(SL(n)) . (In particular, the coproduct is given by a splitting homomorphism.) We show that for surfaces with boundary ÎŁ every splitting homomorphism is injective and that Sn(ÎŁ) is a free module with a basis induced from the KashiwaraâLusztig canonical bases. Additionally, we show that a splitting of a thickened bigon near a marking defines a right Oq(SL(n)) âcomodule structure on Sn(M) , or dually, a left Uq(sln) âmodule structure. Furthermore, we show that the skein algebra of surfaces ÎŁ1,ÎŁ2 glued along two sides of a triangle is isomorphic with the braided tensor product Sn(ÎŁ1)âÌČSn(ÎŁ2) of Majid. These results allow for geometric interpretation of further concepts in the theory of quantum groups, for example, of the braided products and of Majid's transmutation operation. Building upon the above results, we prove that the factorization homology with coefficients in the category of representations of Uq(sln) is equivalent to the category of left modules over Sn(ÎŁ) for surfaces ÎŁ with âÎŁ=S1 . We also establish isomorphisms of our skein algebras with the quantum moduli spaces of AlekseevâSchomerus and with the internal algebras of the skein categories for these surfaces and g=sl(n) .
mathematics