An official website of the United States government
Abstract We construct a quantum Frobenius map for the $$SL_{3}$$ skein module of any oriented 3-manifold specialized at a root of unity, and describe the map by way of threading certain polynomials along links. The homomorphism is a higher rank version of the Chebyshev–Frobenius homomorphism of Bonahon–Wong. The strategy builds on a previous construction of the Frobenius map for $$SL_{3}$$ skein algebras of punctured surfaces, using the Frobenius map of Parshall–Wang for the quantum group $$\mathcal{O}_{q}(SL_{3}).$$
more »
« less
Stated SL(n$n$)‐skein modules and algebras
Abstract We develop a theory of stated SL()‐skein modules, , of 3‐manifolds marked with intervals 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 ‐webs, with ends in , considered up to skein relations of the ‐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 along a disk resulting in a 3‐manifold yields a homomorphism for all . 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 , in whose case, is an algebra, denoted by . One of the main results of this paper asserts that the skein algebra of the ideal bigon is isomorphic with and it provides simple geometric interpretations of the product, coproduct, counit, the antipode, and the cobraided structure on . (In particular, the coproduct is given by a splitting homomorphism.) We show that for surfaces with boundary every splitting homomorphism is injective and that 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 ‐comodule structure on , or dually, a left ‐module structure. Furthermore, we show that the skein algebra of surfaces glued along two sides of a triangle is isomorphic with the braided tensor product 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 is equivalent to the category of left modules over for surfaces with . 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 .
more »
« less
- Award ID(s):
- 2203255
- PAR ID:
- 10587523
- Publisher / Repository:
- London Math Society
- Date Published:
- Journal Name:
- Journal of Topology
- Volume:
- 17
- Issue:
- 3
- ISSN:
- 1753-8416
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
The proof of Witten's finiteness conjecture established that the Kauffman bracket skein modules of closed $$3$$-manifolds are finitely generated over $$\Q(A)$$. In this paper, we develop a novel method for computing these skein modules. We show that if the skein module $$S(M,\Q[A^\pmo])$$ of $$M$$ is tame (e.g. finitely generated over $$\Q[A^{\pm 1}]$$), and the $$SL(2, \C)$$-character scheme is reduced, then the dimension $$\dim_{\Q(A)}\, S(M, \Q(A))$$ is the number of closed points in this character scheme. This, in particular, verifies a conjecture in the literature relating $$\dim_{\Q(A)}\, S(M, \Q(A))$$ to the Abouzaid-Manolescu $$SL(2,\C)$$-Floer theoretic invariants, for infinite families of 3-manifolds. We prove a criterion for reducedness of character varieties of closed $$3$$-manifolds and use it to compute the skein modules of Dehn fillings of $(2,2n+1)$-torus knots and of the figure-eight knot. The later family gives the first instance of computations of skein modules for closed hyperbolic 3-manifolds. We also prove that the skein modules of rational homology spheres have dimension at least $$1$$ over $$\Q(A)$$.more » « less
-
This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . In this work we classify the braided auto-equivalences of the categories of local modules for all known type I I quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds C ( s l 2 , 16 ) Rep ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})} . We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type D D - D D case, which is used to construct one of the exceptionals. We uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . This will essentially finish the type I I II classification for s l n \mathfrak {sl}_n modulo type I I classification. When paired with Gannon’s type I I classification for r ≤ 6 r\leq 6 , our results will complete the type I I II classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) .more » « less
-
Abstract Morrison, Walker, and Wedrich used the blob complex to construct a generalization of Khovanov–Rozansky homology to links in the boundary of a 4-manifold. The degree zero part of their theory, called the skein lasagna module, admits an elementary definition in terms of certain diagrams in the 4-manifold. We give a description of the skein lasagna module for 4-manifolds without 1- and 3-handles, and present some explicit calculations for disk bundles over {S^{2}}.more » « less
-
Abstract Our work is motivated by obtaining solutions to the quantum reflection equation (qRE) by categorical methods. To start, given a braided monoidal category$${\mathcal {C}}$$and$${\mathcal {C}}$$-module category$${\mathcal {M}}$$, we introduce a version of the Drinfeld center$${\mathcal {Z}}({\mathcal {C}})$$of$${\mathcal {C}}$$adapted for$${\mathcal {M}}$$; we refer to this category as thereflective center$${\mathcal {E}}_{\mathcal {C}}({\mathcal {M}})$$of$${\mathcal {M}}$$. Just like$${\mathcal {Z}}({\mathcal {C}})$$is a canonical braided monoidal category attached to$${\mathcal {C}}$$, we show that$${\mathcal {E}}_{\mathcal {C}}({\mathcal {M}})$$is a canonical braided module category attached to$${\mathcal {M}}$$; its properties are investigated in detail. Our second goal pertains to when$${\mathcal {C}}$$is the category of modules over a quasitriangular Hopf algebraH, and$${\mathcal {M}}$$is the category of modules over anH-comodule algebraA. We show that the reflective center$${\mathcal {E}}_{\mathcal {C}}({\mathcal {M}})$$here is equivalent to a category of modules over an explicit algebra, denoted by$$R_H(A)$$, which we call thereflective algebraofA. This result is akin to$${\mathcal {Z}}({\mathcal {C}})$$being represented by the Drinfeld double$${\operatorname {Drin}}(H)$$ofH. We also study the properties of reflective algebras. Our third set of results is also in the Hopf setting above. We show that reflective algebras are quasitriangularH-comodule algebras, and we examine their corresponding quantumK-matrices; this yields solutions to the qRE. We also establish that the reflective algebra$$R_H(\mathbb {k})$$is an initial object in the category of quasitriangularH-comodule algebras, where$$\mathbb {k}$$is the ground field. The case whenHis the Drinfeld double of a finite group is illustrated.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1112/topo.12350
