Abstract
We give a new, algebraically computable formula for skein modules of closed 3-manifolds via Heegaard splittings. As an application, we prove that skein modules of closed 3-manifolds are finite-dimensional, resolving in the affirmative a conjecture of Witten.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A fundamental invariant of an oriented 3-manifold M emerging from quantum topology is its “Kauffman bracket skein module” \({\textrm{Sk}}(M)\) introduced by Przytycki [76] and Turaev [88]. This is the \({\textbf{Q}}(A)\)-vector space formally spanned by all framed links in M, modulo isotopy equivalence and the linear relations,
![](http://media.springernature.com/lw264/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ112_HTML.png)
which are imposed between any links agreeing outside of some oriented 3-ball, and differing as depicted inside that ball. Despite the elementary definition, many basic properties of skein modules are not known. The main result of the present paper (Theorem 5.8) confirms a conjecture of Witten, and establishes the following most fundamental property of skein modules:
Theorem 1
The skein module of any closed oriented 3-manifold has finite dimension over \({\textbf{Q}}(A)\).
Prior to Witten’s conjecture, skein modules of closed 3-manifolds had been computed only for certain free quotients of \(S^3\) by finite groups [46, 56], surgeries on trefoil knots [23, 55] and a certain family of torus links [53] (see the introduction of [50] for more details). Subsequently, Carrega [27] and Gilmer [47] showed the skein module of the three-torus \(T^3=S^1\times S^1 \times S^1\) to be 9-dimensional; Gilmer and Masbaum [50] have established lower bounds for dimensions of \(\Sigma _g\times S^1\) for any genus,Footnote 1 and Detcherry [35] has established the conjecture for surgeries along two-bridge and torus knots.
1.1 Tensor product formula
We do not prove Theorem 1 by directly computing the dimensions (however, see Sect. 6.4, “Computer algebra”). Rather, Theorem 1 is one of a number of consequences of our second main theorem, which gives a new algebraic reformulation of skein modules, and brings to bear tools from the representation theory of quantum groups and deformation quantization modules.
First let us remark that there are skein theories associated to any reductive algebraic group G (indeed, for any ribbon category \({\mathcal {A}}\)), so we will phrase the results in this section in that generality; the Kauffman bracket skein module comes from \(G={\textrm{SL}}_2\), more precisely from a standard choice of ribbon structure on the category \({\textrm{Rep}}_q(SL_2)\). We use the notation \({\textrm{Sk}}_{\mathcal {A}}\) for statements applying to a general braided tensor category, and the abbreviation \({\textrm{Sk}}_G\) for the case \({\mathcal {A}}={\textrm{Rep}}_q(G)\) for a reductive group G.
If \(\Sigma \) is an oriented surface, the skein module \({\textrm{Sk}}_{\mathcal {A}}(\Sigma \times [0, 1])={\textrm{SkAlg}}_{\mathcal {A}}(\Sigma )\) is a skein algebra, where the composition is given by stacking skeins on top of each other. Similarly, if M is a 3-manifold with boundary \(\Sigma \), then \({\textrm{Sk}}_{\mathcal {A}}(M)\) is naturally a module over \({\textrm{SkAlg}}_{\mathcal {A}}(\Sigma )\). We begin by upgrading the skein algebra and skein module constructions to what we call the internal skein algebra and internal skein module: in the case of G-skein theories these are \({\textrm{U}}_q({\mathfrak {g}})\)-equivariant algebras, and \({\textrm{U}}_q({\mathfrak {g}})\)-equivariant modules over them, whose invariant part recovers the ordinary skein algebra and skein modules respectively.
For this, let us pick a closed disk embedding \(\overline{{\mathbb {D}}}\hookrightarrow \Sigma \) and let \(\Sigma ^*=\Sigma \setminus \overline{{\mathbb {D}}}\). The internal skein algebra \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\) (see Definition 3.18) is the algebra whose V-multiplicity space consists of skeins in \(\Sigma ^*\times [0, 1]\) which end at the boundary of \(\Sigma ^*\times \{0\}\) with label \(V\in {\mathcal {A}}\) (see Fig. 5). The usual skein algebra arises therefore as its invariant subalgebra, \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)^{{\textrm{inv}}} = {\text {Hom}}_{\mathcal {A}}({\textbf{1}},{\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*))\). We define the internal skein module similarly (see Definition 3.26).
Now suppose that M is decomposed as \(M=N_2\cup _{\Sigma }N_1\). Our second main theorem (Theorem 5.1) is the following simple formula for the ordinary skein module of M in terms of the internal skeins of its constituents.
Theorem 2
The natural evaluation pairing gives an isomorphism,
![](http://media.springernature.com/lw363/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ113_HTML.png)
Now let us present some important corollaries. Consider the case of a G-skein module for q not a root of unity. In this case \({\textrm{SkAlg}}^{{\textrm{int}}}_G(\Sigma ^*)\) is an algebra in the category \({\textrm{Rep}}_q(G)\) of representations of the quantum group. This algebra coincides with the so-called Alekseev–Grosse–Schomerus algebra [4, 22, 81] which has more recently appeared in [8]. Using triviality of the Müger center of \({\textrm{Rep}}_q(G)\) we prove (see Corollary 5.2) that the relative tensor product above is already invariant.
Corollary 1
Suppose q is not a root of unity. Then the natural evaluation pairing gives an isomorphism,
![](http://media.springernature.com/lw317/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ114_HTML.png)
We note that, in contrast to ordinary skein algebras, the internal skein algebra \({\textrm{SkAlg}}^{{\textrm{int}}}_G(\Sigma ^*)\) has an explicit presentation in terms of generators and relations, so the above relative tensor product can be made quite explicit. Moreover the internal skein algebras are smooth, and in particular their limits as \(q\rightarrow 1\) are smooth affine algebraic varieties, in contrast to the skein algebras which develop singularities.
Remark 1
Corollary 1 suggests a potential definition for a derived analogue of the skein module of a 3-manifold M at generic q, namely, taking the derived tensor product
![](http://media.springernature.com/lw330/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ115_HTML.png)
The proof of Theorem 1 implies that this is a bounded chain complex whose homology groups are finite dimensional vector spaces over \({\textbf{Q}}(q)\). The resulting homology groups is a skein-theoretic analogue of the sheaf-theoretic framed Floer homology \(HP_\sharp ^\bullet (M)\) introduced by Abouzaid and Manolescu [6] (see Sect. 6.3 for further details). A precise connection between the skein theoretic and sheaf theoretic invariants will be established in forthcoming work of the first and third named authors. The authors of this article intend to further study derived skein theoretic invariants in future work.
Example
Let us consider the simplest interesting example, the case \(G={\textrm{SL}}_2\), and \(\Sigma =T^2\). Then the algebra \({\textrm{SkAlg}}^{{\textrm{int}}}_G(\Sigma ^*)\) coincides with the so-called “elliptic double” \({\textrm{D}}_q^{}(G)\), a subalgebra of the Heisenberg double of \({\textrm{U}}_q(\mathfrak {sl}_2)\) (see [16] and for an expanded list of relations, [17]). This is the algebra generated by elements, \(a^1_1, a^1_2, a^2_1, a^2_2, b^1_1, b^1_2, b^2_1, b^2_2\), subject to the relations,
The first three equations take place in \({\textrm{D}}_q^{}({\textrm{SL}}_2)\otimes {\textrm{End}}(V\otimes V)\), where
and \(R=R_{12}, R_{21}\in {\textrm{End}}(V\otimes V)\) denote the quantum R-matrix and its flip, for the defining representation V of \({\textrm{U}}_q(\mathfrak {sl}_2)\).
The algebra \({\textrm{D}}_q^{}(G)\) may be regarded simultaneously as a deformation quantization of the variety \(G\times G\) with its Heisenberg double Poisson structure [86], and as a q-analogue of the algebra \({\textrm{D}}(G)\) of differential operators on the group G. The subalgebra of invariants in \({\textrm{D}}_q^{}(G)\) surjects onto the usual skein algebra of the torus, via a very general procedure known as quantum Hamiltonian reduction [9, 17, 91].
Typically, taking invariants does not commute with relative tensor products: the invariants in the tensor product are not spanned by the tensor product of the invariants in each factor. However, in certain cases, when one of the factors is a cyclic module over the internal skein algebra, we may in fact replace internal skein modules by ordinary skein modules in the formula (see Proposition 5.3 and Corollary 5.7).
Corollary 2
Suppose q is not a root of unity and one of the following conditions is satisfied:
-
\(N_1\) and \(N_2\) are handlebodies (hence define a Heegaard decomposition of M).
-
\(\Sigma = S^2\).
Then the natural evaluation pairing restricts to an isomorphism
![](http://media.springernature.com/lw300/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ116_HTML.png)
We note that the skein algebra of \(S^2\) is one-dimensional, so the case \(\Sigma =S^2\) recovers the main theorem of [77] expressing the skein module of a connected sum of three-manifolds as a tensor product of the skein modules. The case of a Heegaard splitting was also considered in [72]. We would like to stress, however, that even in these cases, where one could work directly with ordinary skein algebras, one perhaps should not: the internal skein algebras are simply easier to work with for both proofs and computations. In particular, it is difficult to present the skein module \({\textrm{Sk}}_G(H^g)\) of the genus g handlebody as a module for \({\textrm{Sk}}_G(\Sigma _g)\), while by contrast \({\textrm{Sk}}^{{\textrm{int}}}_G(H^g)\) is simply an induced module for \({\textrm{SkAlg}}^{{\textrm{int}}}_G(\Sigma _g)\). Moreover, the failure of the classical character variety of the handlebody to define a smooth Lagrangian means that the deformation quantization techniques of [60] do not apply to skein algebras, while they do perfectly well for their internal enhancements.
1.2 Proof of Theorem 1
Let us now sketch our proof of Theorem 1—and its natural generalization to G-skein modules for any reductive group G—starting from Theorem 2. The complete proof is given in Sect. 5.3.
A basic notion in the theory of ordinary differential equations on algebraic varieties is that of a holonomic system—this is a system of “over-determined” differential equations, whose space of solutions is always finite-dimensional. The algebra of polynomial differential operators on a smooth affine algebraic variety may be regarded as a deformation quantization of its cotangent space; in [60], the notion of holonomicity was abstracted to hold for arbitrary deformation quantizations of smooth symplectic varieties besides cotangent spaces, and in this generality the same suite of finite-dimensionality results was established. Because the internal skein algebras are flat deformations of smooth algebraic varieties, we may appeal to this deep and powerful general theory.
Hence, given a closed 3-manifold M, we choose a Heegaard splitting \(M=N_1\coprod _\Sigma N_2\), where \(N_1\) and \(N_2\) are handlebodies of genus g, and \(\Sigma =\Sigma _g\) is their common boundary. The internal skein algebra \({\textrm{SkAlg}}^{{\textrm{int}}}_G(\Sigma ^*)\) is a deformation quantization (with the quantization parameter q) of the Poisson variety \(G^{2g}\) with respect to the Fock–Rosly Poisson structure, which is generically symplectic.
In Theorem 3.32 we compute the handlebody modules \({\textrm{Sk}}^{{\textrm{int}}}_G(N_1)\) and \({\textrm{Sk}}^{{\textrm{int}}}_G(N_2)\) over the internal skein algebra \({\textrm{SkAlg}}^{{\textrm{int}}}_G(\Sigma ^*)\) and show that they are also deformation quantizations, now of Lagrangian subvarieties \(G^g\hookrightarrow G^{2g}\) (in particular, they lie in the symplectic locus). So, \({\textrm{Sk}}^{{\textrm{int}}}_G(N_1)\) and \({\textrm{Sk}}^{{\textrm{int}}}_G(N_2)\) determine holonomic deformation quantization modules over the deformation quantization of \(G^{2g}\).
Appealing therefore to the theory of deformation quantization modules due to Kashiwara and Schapira [60], we prove (see Theorem 4.6) that the relative tensor product \({\textrm{Sk}}^{{\textrm{int}}}_G(N_2)\otimes _{{\textrm{SkAlg}}^{{\textrm{int}}}_G(\Sigma ^*)} {\textrm{Sk}}^{{\textrm{int}}}_G(N_1)\) is finite-dimensional for \(q=\exp (\hbar )\), where \(\hbar \) is a formal parameter, and hence for generic q. Using Corollary 1 we identify the G-skein module of M with the above relative tensor product, and the proof is complete.
1.3 Further applications
One of the main tools in establishing Theorem 2 is a construction of the skein TFT due to Walker [94]. Namely, (see Theorem 3.5) the assignment of a skein module \({\textrm{Sk}}_{\mathcal {A}}(M)\) to a closed 3-manifold M and a skein category \({\textrm{SkCat}}_{\mathcal {A}}(\Sigma )\) to a closed 2-manifold \(\Sigma \) is a part of a topological field theory valued in categories and their bimodules. Taking ‘free co-completions’, we obtain a TFT \({\textrm{Z}}_{\mathcal {A}}\) valued instead in locally presentable categories and their functors, which was shown in [33] to recover the factorization homology categories of [8].
It is a general feature of topological field theories that the value on \(S^1\times X\) yields the corresponding categorical dimension of the value on X. For a vector space, the categorical dimension is the ordinary dimension (an integer) while for a category, it is the categorical trace, or zeroth Hochschild homology (a vector space). A corollary, Lemma 5.5, is that the skein module of \(\Sigma \times S^1\) is identified with the Hochschild homology (a.k.a. categorical trace) of \({\textrm{SkCat}}_{\mathcal {A}}(\Sigma )\) (equivalently, of \({\textrm{Z}}_{\mathcal {A}}(\Sigma )\)). Note that this property fails when one replaces skein categories by skein algebras: the Kauffman bracket skein module \({\textrm{Sk}}(T^3)\) is 9-dimensional, whereas the Hochschild homology of \({\textrm{SkAlg}}(T^2)\) is 5-dimensional [73, 75].
Let us illustrate this perspective on two examples. Consider \(\Sigma =S^2\). Then we give an equivalence (see Proposition 5.4) between \({\textrm{Z}}_{\mathcal {A}}(S^2)\) and the Müger center of \({\mathcal {A}}\). In particular, we identify it with the trivial category of vector spaces, in the case of representations of the quantum group for q not a root of unity. Taking Hochschild homology we recover the result of [57] (see Corollary 5.6).
Corollary 3
The G-skein module \({\textrm{Sk}}_G(S^2\times S^1)\) is one-dimensional for q not a root of unity.
Now consider \(\Sigma =T^2\). In a forthcoming work of the first two authors with Monica Vazirani, we compute \({\textrm{Z}}_{{\textrm{SL}}_N}(T^2)\) using a q-analogue of the generalized Springer decomposition [51]. In the case \(G={\textrm{SL}}_2\) it has the following description.
Theorem 3
([49]) We have a decomposition of abelian categories,
![](http://media.springernature.com/lw466/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ117_HTML.png)
Here is the “Springer block”, where H is the maximal torus of \({\textrm{SL}}_2\), \({\textrm{D}}_q^{}(H)^{{\textbf{Z}}_2}={\textrm{SkAlg}}(T^2)\) is the algebra of \({\textbf{Z}}_2\)-invariants on the quantum torus (see [43]), and the copies of \({\textrm{Vect}}\) are four orthogonal “cuspidal blocks” which are supported at each of the four singular points \((\pm 1, \pm 1)\) of the \({\textbf{Z}}_2\)-action on \(H \times H\). Taking Hochschild homology, and recalling that \({\textrm{HH}}_0({\textrm{D}}_q^{}(H)^{{\textbf{Z}}_2})\cong {\textbf{Q}}(A)^5\) [73, 75], we recover the computation,
of [27, 47] in a new way. We expect it may be possible to compute \({\textrm{Sk}}(\Sigma \times S^1)\) more generally using these techniques. We discuss closely related TFTs, such as the Crane–Yetter and Kapustin–Witten TFTs, in Sect. 6.1.
Finally, let us remark that for simplicity we have restricted attention in the introduction on the case of G-skein modules defined over generic quantization parameters, since it is at that generality in which Theorem 1 holds, and since basic definitions in the root of unity case become more cumbersome. However, we would like to stress that our results as formulated in the body of the paper also provide a systematic framework for studying the root of unity case, or more generally when we work over some arbitrary base ring such as \({\textbf{Z}}[A,A^{-1}]\) in place of a field.
In a previous work of Iordan Ganev and the latter two authors, [48], we have formulated and proved a generalization of the “Unicity conjecture” of Bonahon-Wong, for quantum G-character varieties of surfaces. In future work, we intend to combine the techniques of the two papers to the study of torsion in skein modules of 3-manifolds at root-of-unity parameters, namely by lifting the constructions in the present paper to the relevant integral forms—those coming from Temperley-Lieb diagrammatics, those coming from tilting modules, and those coming from Lusztig’s divided powers quantum groups, and small quantum groups. For example, Theorem 2, Corollary 1, Corollary 2, and Corollary 3 all admit modifications, which involve structures such as Lusztig’s quantum Frobenius homomorphism, which are special to the root of unity setting.
1.4 Outline of the paper
In Sect. 2 we begin with the algebraic setup for the paper. We introduce some categorical notation and recall the basics of quantum groups and quantum moment maps. The latter notion allows us to discuss strongly equivariant modules and we prove that the relative tensor product of strongly equivariant modules lies in the Müger center (see Proposition 2.38). We finish the section by establishing a duality between left and right strongly equivariant modules.
Section 3 is devoted to the skein-theoretic setup. We define skein modules and the skein category TFT for an arbitrary ribbon category and relate skein categories to factorization homology. We then introduce internal skein algebras and internal skein modules and compute them for surfaces (Sect. 3.6) and handlebodies (Sect. 3.7) respectively.
In Sect. 4 we discuss deformation quantization modules in the algebraic context. The main result there, Theorem 4.6, establishes finite-dimensionality of the relative tensor product of two holonomic deformation quantization modules for a generic quantization parameter following Kashiwara and Schapira [60].
Section 5 collects all the ingredients from previous sections to prove theorems mentioned in the introduction. We prove a relative tensor product formula for skein modules (Theorem 5.1), relate the skein category of \(S^2\) to the Müger center (Proposition 5.4) and prove finite-dimensionality of G-skein modules of closed oriented 3-manifolds for generic parameters (Theorem 5.8).
We end the paper with Sect. 6, where we discuss how our results fit in the context of topological field theory, character theory and instanton Floer homology for complex groups and explain an approach for computing skein modules using computer algebra.
2 Algebra
This section treats the algebraic ingredients of our proof—categories, quantum groups, quantum Harish–Chandra category, quantum moment maps and strongly equivariant modules.
2.1 Categories
We begin with some categorical preliminaries that will be used throughout the paper. In this section we work over an arbitrary commutative ring \(k\) which we will fix later.
Definition 2.1
The bicategory \({\textrm{Cat}}\) has:
-
As its objects small \(k\)-linear categories.
-
As the 1-morphisms from \({\mathcal {C}}\) to \({\mathcal {D}}\) the \(k\)-linear functors \({\mathcal {C}}\rightarrow {\mathcal {D}}\).
-
As the 2-morphisms natural transformations.
The bicategory \({\textrm{Cat}}\) has a natural symmetric monoidal structure given by the tensor product of \(k\)-linear categories.
Definition 2.2
Let \({\mathcal {C}}\in {\textrm{Cat}}\) be a small category. A left \({\mathcal {C}}\) -module is a functor \({\mathcal {C}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\). A right \({\mathcal {C}}\) -module is a functor \({\mathcal {C}}\rightarrow {\textrm{Vect}}\).
Remark 2.3
In the case when \({\mathcal {C}}\) is a one-object category, the above two notions coincide with the notion of modules over the endomorphism algebra of the object of \({\mathcal {C}}\).
For many purposes the bicategory \({\textrm{Cat}}\) does not have enough morphisms, and we require the following enlargement.
Definition 2.4
The bicategory \({\textrm{Bimod}}\) has:
-
As its objects small \(k\)-linear categories.
-
As the 1-morphisms from \({\mathcal {C}}\) to \({\mathcal {D}}\) the \(k\)-linear functors \(F:{\mathcal {C}}\otimes {\mathcal {D}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\) (a.k.a. “bimodules”).
-
As the 2-morphisms natural transformations.
The composition of \(F:{\mathcal {C}}\otimes {\mathcal {D}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\) and \(G:{\mathcal {D}}\otimes {\mathcal {E}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\) is the functor \(F \otimes _{\mathcal {D}}G:{\mathcal {C}}\otimes {\mathcal {E}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\) given by the coend [21, Chapter 7.8]:
Explicitly, it is given by the quotient
where for any morphism \(f:d''\rightarrow d'\) in \({\mathcal {D}}\) we mod out by the image of
The tensor product of \(k\)-linear categories equips \({\textrm{Bimod}}\) with the structure of a symmetric monoidal bicategory [36, Section 7].
A typical category in \({\textrm{Cat}}\) will not be closed under colimits—for instance it may not admit direct sums or cokernels of morphisms. We will therefore make occasional use of the notion of a locally presentable category—this is a large category closed under arbitrary colimits, and satisfying some further set-theoretical conditions (we refer to [10] for complete definitions).
Definition 2.5
The bicategory \({{\textrm{Pr}}^{{\textrm{L}}}}\) has:
-
As its objects locally presentable \(k\)-linear categories.
-
As the 1-morphisms from \({\mathcal {C}}\) to \({\mathcal {D}}\) the cocontinuous functors \({\mathcal {C}}\rightarrow {\mathcal {D}}\).
-
As the 2-morphisms the natural transformations.
The Kelly–Deligne tensor product equips \({{\textrm{Pr}}^{{\textrm{L}}}}\) with the structure of a symmetric monoidal bicategory [15, Chapter 5].
We have symmetric monoidal functors
defined as follows:
-
The functor \({\textrm{Cat}}\longrightarrow {\textrm{Bimod}}\) is the identity on objects and sends a functor \(F:{\mathcal {C}}\rightarrow {\mathcal {D}}\) to the bimodule \({\text {Hom}}_{{\mathcal {D}}}(-, F(-)):{\mathcal {C}}\times {\mathcal {D}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\).
-
The functor \(\widehat{(-)}:{\textrm{Bimod}}\rightarrow {{\textrm{Pr}}^{{\textrm{L}}}}\) is the free cocompletion functor
$$\begin{aligned} \widehat{{\mathcal {C}}} = {\textrm{Fun}}({\mathcal {C}}^{{\textrm{op}}}, {\textrm{Vect}}). \end{aligned}$$It is fully faithful and identifies \({\textrm{Bimod}}\) with the full subcategory of \({{\textrm{Pr}}^{{\textrm{L}}}}\) spanned by categories with enough compact projectives.Footnote 2
Remark 2.6
The only locally presentable categories we will encounter are free cocompletions of small categories.
Since \(\widehat{(-)}:{\textrm{Cat}}\rightarrow {{\textrm{Pr}}^{{\textrm{L}}}}\) is symmetric monoidal, it sends (braided) monoidal categories to (braided) monoidal categories. Suppose \({\mathcal {C}}\in {\textrm{Cat}}\) is a monoidal category and let \(F, G\in \widehat{{\mathcal {C}}}\). Then their tensor product is given by the Day convolution [34]
Lemma 2.7
Suppose \({\mathcal {C}}\in {\textrm{Cat}}\) is a monoidal category. An algebra in \(\widehat{{\mathcal {C}}}\) is the same as a lax monoidal functor \(F:{\mathcal {C}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\).
Note also that if \(F:{\mathcal {C}}\rightarrow {\mathcal {D}}\) is a morphism in \({\textrm{Cat}}\), its image \(F:\widehat{{\mathcal {C}}}\rightarrow \widehat{{\mathcal {D}}}\) is continuous and thus has a right adjoint \(F^{\textrm{R}}:\widehat{{\mathcal {D}}}\rightarrow \widehat{{\mathcal {C}}}\). Explicitly, the corresponding bifunctor \(\widehat{{\mathcal {D}}}\times {\mathcal {C}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\) is given by \((P, x)\mapsto P(F(x))\).
Using the symmetric monoidal structure on \({\textrm{Cat}}\), \({\textrm{Bimod}}\) and \({{\textrm{Pr}}^{{\textrm{L}}}}\), we can talk about dualizable objects, i.e. categories \({\mathcal {C}}\) equipped with a dual category \({\mathcal {C}}^\vee \) and a pair of 1-morphisms \({\textrm{ev}}:{\mathcal {C}}^\vee \otimes {\mathcal {C}}\rightarrow {\textbf{1}}\) and \({\textrm{coev}}:{\textbf{1}}\rightarrow {\mathcal {C}}\otimes {\mathcal {C}}^\vee \) satisfying the usual duality axioms. Given a triple \(({\mathcal {C}}, {\mathcal {C}}^\vee , {\textrm{ev}})\), we say \({\textrm{ev}}:{\mathcal {C}}^\vee \otimes {\mathcal {C}}\rightarrow {\textbf{1}}\) is a nondegenerate pairing if there is a coevaluation map exhibiting \({\mathcal {C}}^\vee \) as the dual of \({\mathcal {C}}\).
Example 2.8
Suppose \({\mathcal {C}}\in {\textrm{Bimod}}\). Then the pairing \({\textrm{ev}}:{\mathcal {C}}\otimes {\mathcal {C}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\) given by \(x,y\mapsto {\text {Hom}}_{\mathcal {C}}(y, x)\) is a nondegenerate pairing in \({\textrm{Bimod}}\). The corresponding coevaluation pairing is \({\textrm{coev}}:{\mathcal {C}}^{{\textrm{op}}}\otimes {\mathcal {C}}\rightarrow {\textrm{Vect}}\) given by \(x,y\mapsto {\text {Hom}}_{\mathcal {C}}(x, y)\).
As a consequence, \(\widehat{{\mathcal {C}}}\otimes \widehat{{\mathcal {C}}^{{\textrm{op}}}}\rightarrow {\textrm{Vect}}\) given by
is a nondegenerate pairing in \({{\textrm{Pr}}^{{\textrm{L}}}}\).
Using the notion of a dualizable category, we may introduce the notion of Hochschild homology.
Definition 2.9
Let \({\mathcal {C}}\in {\textrm{Cat}}\) be a category. Its zeroth Hochschild homology is
Remark 2.10
Recall from Example 2.8 that every small category \({\mathcal {C}}\) is dualizable in \({\textrm{Bimod}}\). Then we may identify \({\textrm{HH}}_0({\mathcal {C}})\in {\textrm{Vect}}\) as the composite \({\textrm{ev}}\circ {\textrm{coev}}\). Thus, the zeroth Hochschild homology of a category is an instance of the general notion of a dimension of a dualizable object (see e.g. [20]).
2.2 Tensor products over categories and algebras
Suppose \({\mathcal {C}}\in {\textrm{Cat}}\) and let \(F:{\mathcal {C}}^{op} \rightarrow {\textrm{Vect}}\) and \(G:{\mathcal {C}}\rightarrow {\textrm{Vect}}\) be functors. In other words, F is a left \({\mathcal {C}}\)-module and G is a right \({\mathcal {C}}\)-module. Now suppose the category \({\mathcal {C}}\) comes with a distinguished object \({\textbf{1}}\in {\mathcal {C}}\). Then \(F({\textbf{1}})\) is naturally a left module for \({\textrm{End}}_{\mathcal {C}}({\textbf{1}})\) and \(G({\textbf{1}})\) is naturally a right module.
In this section we will give some conditions for when \(G\otimes _{\mathcal {C}}F\) is given by the (ordinary) relative tensor product .
Remark 2.11
The motivation for this section is the following. Suppose we have an oriented surface \(\Sigma \) and a pair of oriented 3-manifolds \(N_0\) and \(N_1\) together with isomorphisms \(\partial \breve{N}_0 \cong \Sigma \cong \partial {N_1}\), where \(\breve{N}_0\) refers to \(N_0\) with the opposite orientation. In Sect. 5.1 we will show that the skein module of \(M = N_0 \cup _\Sigma N_1\) may be computed as the relative tensor product of certain functors over the skein category of \(\Sigma \). We would like to understand the categorical conditions required for this tensor product to be computed as the relative tensor product of the skein modules of \(N_0\) and \(N_1\) over the skein algebra of \(\Sigma \).
Definition 2.12
Let \({\mathcal {C}}\in {\textrm{Cat}}\) be a category together with a distinguished object \({\textbf{1}}\in {\mathcal {C}}\) and let \(F:{\mathcal {C}}^{{\textrm{op}}} \rightarrow {\textrm{Vect}}\) be a left \({\mathcal {C}}\)-module.
-
(1)
We say F is generated by invariants if the morphism
$$\begin{aligned} F({\textbf{1}}) \otimes {\text {Hom}}(c,{\textbf{1}})&\rightarrow F(c) \\ s \otimes f&\mapsto F(f)(s) \end{aligned}$$is surjective for every \(c\in {\mathcal {C}}\).
-
(2)
We say F is cyclic if there is an element \(s_0\in F({\textbf{1}})\) such that the morphism
$$\begin{aligned} {\text {Hom}}(c,{\textbf{1}})&\rightarrow F(c) \\ f&\mapsto F(f)(s_0) \end{aligned}$$is surjective for every \(c\in {\mathcal {C}}\). In this case we say F is generated by \(s_0\).
The definitions for right \({\mathcal {C}}\)-modules are given analogously.
Example 2.13
Suppose A is a \(k\)-algebra equipped with an action of a reductive algebraic group G. Let \({\mathcal {C}}\) denote the category of compact projective G-equivariant A-modules. Then we may identify the free cocompletion \(\widehat{{\mathcal {C}}}\) with the category
of all G-equivariant A-modules. Under this equivalence an object
corresponds to the functor
![](http://media.springernature.com/lw401/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ118_HTML.png)
Note that \({\mathcal {C}}\) is pointed by the object A itself. Then \(F_M\) is generated by invariants in the sense of Definition 2.12 if and only if M is generated as an A-module by \(M^G\). Similarly, \(F_M\) is cyclic if and only if there exists an element \(s_0 \in M^G\) which generates M as an A-module.
Remark 2.14
The conditions of a module for a category being generated by invariants (respectively, being cyclic) correspond to natural skein theoretic conditions on the module over the skein category of a surface \(\Sigma \) induced by a 3-manifold bounding \(\Sigma \) (see Sect. 3.7).
Let \({\mathcal {C}}\in {\textrm{Cat}}\) be a category with a distinguished object \({\textbf{1}}\in {\mathcal {C}}\), and let
be right and left \({\mathcal {C}}\)-modules respectively. Associated to this data is an algebra \({\textrm{End}}_{\mathcal {C}}({\textbf{1}})\) together with a right module \(G({\textbf{1}})\) and a left module \(F({\textbf{1}})\).
Note that the embedding of the distinguished object \({\textbf{1}}\) into \({\mathcal {C}}\) induces a map of relative tensor products
![](http://media.springernature.com/lw235/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ119_HTML.png)
Proposition 2.15
Suppose F and G are generated by invariants. Then the map
![](http://media.springernature.com/lw222/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ120_HTML.png)
is an isomorphism.
Proof
Let \(A = {\textrm{End}}_{\mathcal {C}}({\textbf{1}})\). Consider the diagram
![](http://media.springernature.com/lw485/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ121_HTML.png)
Since F is generated by invariants, it is a coequalizer diagram. Similarly,
![](http://media.springernature.com/lw480/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ122_HTML.png)
is a coequalizer diagram as well.
We have
Applying the above resolutions to F and G, we get that \(G\otimes _{\mathcal {C}}F\) is computed as the colimit of
![](http://media.springernature.com/lw386/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ123_HTML.png)
which computes
\(\square \)
2.3 Quantum groups
Let G be a connected reductive algebraic group and denote by \(\Lambda \) and \(\Lambda ^\vee \) its weight and coweight lattices. Let \({\textrm{U}}_q({\mathfrak {g}})\) be Lusztig’s integral form of the quantum group defined over \({\textbf{Z}}[q, q^{-1}]\) , see [68]. In particular, it has Cartan generators \(K_\mu \) for \(\mu \) in the coweight lattice \(\Lambda ^\vee \), and divided power Serre generators \(E_i^{(r)}\) and \(F_i^{(r)}\), for each simple root \(\alpha _i\). Fix a commutative ring \(k\), and a homomorphism \({\textbf{Z}}[q,q^{-1}]\rightarrow k\).
Definition 2.16
The category \({\textrm{Rep}}_q(G)\) is the category of \(\Lambda \)-graded \(k\)-modules \(V=\oplus _{\lambda \in \Lambda } V_\lambda \) equipped with a compatible action of \({\textrm{U}}_q({\mathfrak {g}})\), i.e. such that \(K_\mu v = q^{\langle \lambda , \mu \rangle } v\) for \(v\in V_\lambda \), and such that for all \(v\in V\), \(E_i^{(r)}v=0\) and \(F_i^{(s)}v=0\) for all but finitely many r and s.
The braiding and ribbon element on \({\textrm{Rep}}_q(G)\) depend on further data in the ring \(k\). For two simple roots \(\alpha _i, \alpha _j\in \Lambda \) we denote by \(\alpha _i\cdot \alpha _j\in {\textbf{Z}}\) the ij entry of the symmetrized Cartan matrix. ChooseFootnote 3 an integer d and a symmetric bilinear form \(B:\Lambda \times \Lambda \rightarrow \frac{1}{d}{\mathbb {Z}}\) such that \(B(\alpha _i,\alpha _j)=\alpha _i\cdot \alpha _j\). We henceforth fix a homomorphism \({\textbf{Z}}[q^{1/d}, q^{-1/d}]\rightarrow k\), so that we obtain a symmetric bilinear form \(q^B:\Lambda \times \Lambda \rightarrow k^\times ,\) satisfying \(q^B(\alpha _i, \alpha _j) = q^{\alpha _i\cdot \alpha _j}\).
Using this bilinear form Lusztig [68, Chapter 32] equips \({\textrm{Rep}}_q(G)\) with the structure of a \(k\)-linear braided monoidal category. It is explained in [85] that the additional choice of a homomorphism \(\phi :\Lambda \rightarrow {\textbf{Z}}/2\) such that \(\phi (\alpha _i) = 0\) endows \({\textrm{Rep}}_q(G)\) with a ribbon structure.
Remark 2.17
By convention, we will say q is generic to mean \(k={\textbf{Q}}(q^{1/d})\). We will say q is not a root of unity to mean either that q is generic, or that \(k={\textbf{C}}\) and \(q^\ell \ne 1\) for all non-zero integers \(\ell \).
Remark 2.18
We denote by \({\textrm{Rep}}^{{\textrm{fd}}}_q(G)\subset {\textrm{Rep}}_q(G)\) the full subcategory of modules which are finitely generated over k. For q not a root of unity the category \({\textrm{Rep}}^{{\textrm{fd}}}_q(G)\) coincides with the full subcategory of compact projective objects in \({\textrm{Rep}}_q(G)\). Note that it is not true at roots of unity as, for example, the trivial representation in that case is not projective.
Example 2.19
To fix the terminology, consider the case \(G = {\textrm{SL}}_2\). For q not a root of unity the category \({\textrm{Rep}}_q({\textrm{SL}}_2)\) has simple objects V(m), for each \(m \in {\mathbb {N}}_0\), the irreducible highest weight representation of \({\textrm{U}}_q(\mathfrak {sl}_2)\) of highest weight m and of dimension \(m+1\). Every object of \({\textrm{Rep}}_q({\textrm{SL}}_2)\) is a (possibly infinite) direct sum of simple modules, while \({\textrm{Rep}}^{{\textrm{fd}}}_q(SL_2)\) consists of finite direct sums of simple objects. In this case, we take \(d=2\), and the braiding \(\sigma :V(1)\otimes V(1)\rightarrow V(1)\otimes V(1)\) is given by applying the R-matrix
post-composed with the tensor flip. The category \({\textrm{Rep}}_q({\textrm{PSL}}_2)\) is the full subcategory of \({\textrm{Rep}}_q({\textrm{SL}}_2)\) generated by V(m) for m even.
Recall that the Müger center \({\textrm{Z}}_{{{\textrm{M}}{\ddot{\textrm{u}}}{\textrm{g}}}}({\mathcal {A}})\) of a braided monoidal category \({\mathcal {A}}\) is the full subcategory consisting of objects \(x\in {\mathcal {A}}\) such that for every \(y\in {\mathcal {A}}\) the map \(\sigma _{y, x}\circ \sigma _{x, y}\) is the identity. We will say the Müger center of \({\mathcal {A}}\) is trivial if every object in \({\textrm{Z}}_{{{\textrm{M}}{\ddot{\textrm{u}}}{\textrm{g}}}}({\mathcal {A}})\) is a direct sum of the unit object. The following is well-known:
Proposition 2.20
Suppose q is not a root of unity. Then the Müger center of \({\textrm{Rep}}_q(G)\) is trivial.
2.4 Braided function algebra
Fix the ground ring \(k\) and a ribbon \(k\)-linear category \({\mathcal {A}}\) (we assume that the unit \({\textbf{1}}\) is simple). Let \({\mathcal {A}}^{\sigma {\textrm{op}}}\) be the same monoidal category as \({\mathcal {A}}\) with the braiding given by \(\sigma _{y, x}^{-1}:x\otimes y\rightarrow y\otimes x\). The free cocompletion \(\widehat{{\mathcal {A}}}\) inherits a braided monoidal structure from \({\mathcal {A}}\) given by the Day convolution.
Let \(T:{\mathcal {A}}\otimes {\mathcal {A}}^{\sigma {\textrm{op}}}\rightarrow {\mathcal {A}}\) be the tensor product functor. After passing to free cocompletions it admits a right adjoint \(T^{\textrm{R}}:{\mathcal {A}}\rightarrow \widehat{{\mathcal {A}}}\otimes \widehat{{\mathcal {A}}}\). The following definition goes back to the works [69, 70].
Definition 2.21
The braided function algebra \({\mathcal {F}}\) is
Explicitly, we may identify \({\mathcal {F}}\) as the colimit
Since \(T^{\textrm{R}}\) is lax monoidal, \({\mathcal {F}}\) is naturally an algebra in \(\widehat{{\mathcal {A}}}\). Moreover, since \(TT^{\textrm{R}}\) is a comonad, \({\mathcal {F}}\) naturally becomes a bialgebra in \(\widehat{{\mathcal {A}}}\). We denote by \(\epsilon :{\mathcal {F}}\rightarrow {\textbf{1}}\) the counit of \({\mathcal {F}}\).
Example 2.22
Let \({\mathcal {A}}={\textrm{Rep}}^{{\textrm{fd}}}_q(G)\) for q not a root of unity. Then the Peter–Weyl theorem gives
where \(\Lambda ^{dom}\) is the set of dominant weights.
Example 2.23
More concretely, let \({\mathcal {A}}= {\textrm{Rep}}^{{\textrm{fd}}}_q({\textrm{SL}}_2)\). Then \({\mathcal {O}}_q^{}({\textrm{SL}}_2) = {\mathcal {F}}\) can be presented with generators \(a^1_1, a^1_2, a^2_1, a^2_2\), and relations,
The first equation takes place in \({\mathcal {O}}_q^{}({\textrm{SL}}_2)\otimes {\textrm{End}}(V\otimes V)\), where
and V denote the defining two-dimensional representation of \({\textrm{U}}_q(\mathfrak {sl}_2)\). These may be expanded out explicitly as:
2.5 Harish–Chandra category
Let \({\textrm{Z}}(\widehat{{\mathcal {A}}})\) be the Drinfeld center of the monoidal category \(\widehat{{\mathcal {A}}}\). Since \(\widehat{{\mathcal {A}}}\) is braided, we have a natural braided monoidal functor
given by the left and right action of \(\widehat{{\mathcal {A}}}\) on itself. In particular, for every pair of objects \(x\in \widehat{{\mathcal {A}}}\otimes \widehat{{\mathcal {A}}}^{\sigma {\textrm{op}}}\) and \(V\in \widehat{{\mathcal {A}}}\) we have a natural isomorphism
For instance, for \({\mathcal {F}}= T(T^{\textrm{R}}({\textbf{1}}))\) we obtain the field goal transform
Explicitly, in terms of the coend components \(X^*\otimes X\) of \({\mathcal {F}}\), the map \(\tau _V\) is given by
see Fig. 1.
Definition 2.24
The Harish–Chandra category is
![](http://media.springernature.com/lw164/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ124_HTML.png)
Remark 2.25
Applied to the case \({\mathcal {A}}={\textrm{Rep}}^{{\textrm{fd}}}_q(G)\), we obtain a quantum group analogue of the category of \({\textrm{U}}{\mathfrak {g}}\)-bimodules whose diagonal action is integrable, i.e. the category of Harish–Chandra bimodules. We refer to [82] for more on this perspective.
Since \(T^{\textrm{R}}({\textbf{1}})\in \widehat{{\mathcal {A}}}\otimes \widehat{{\mathcal {A}}}^{\sigma {\textrm{op}}}\) is a commutative algebra, \({\text {HC}}({\mathcal {A}})\) carries a natural monoidal structure given as follows. The field goal transform provides an identification
![](http://media.springernature.com/lw231/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ125_HTML.png)
and the monoidal structure on \({\text {HC}}({\mathcal {A}})\) is given by the relative tensor product over \({\mathcal {F}}\).
In addition to the monoidal structure, the Harish–Chandra category possesses the following algebraic structures:
-
A monoidal functor \(\widehat{{\mathcal {A}}}\rightarrow {\text {HC}}({\mathcal {A}})\) given by the free left \({\mathcal {F}}\)-module \(V\mapsto {\mathcal {F}}\otimes V\). Equivalently, it is given by the free right \({\mathcal {F}}\)-module \(V\otimes {\mathcal {F}}\).
-
A functor \({\textrm{coinv}}_l:{\text {HC}}({\mathcal {A}})\rightarrow \widehat{{\mathcal {A}}}\) given by coinvariants on the left
. Its right adjoint \({\textrm{triv}}_l:\widehat{{\mathcal {A}}}\rightarrow {\text {HC}}({\mathcal {A}})\) is given by sending \(V\in \widehat{{\mathcal {A}}}\) to the trivial left \({\mathcal {F}}\)-module.
-
A functor \({\textrm{coinv}}_r:{\text {HC}}({\mathcal {A}})\rightarrow \widehat{{\mathcal {A}}}\) given by coinvariants on the right
. Its right adjoint \({\textrm{triv}}_r:\widehat{{\mathcal {A}}}\rightarrow {\text {HC}}({\mathcal {A}})\) is given by sending \(V\in \widehat{{\mathcal {A}}}\) to the trivial right \({\mathcal {F}}\)-module.
Lemma 2.26
The functors \({\textrm{triv}}_l, {\textrm{triv}}_r:\widehat{{\mathcal {A}}}\rightarrow {\text {HC}}({\mathcal {A}})\) are fully faithful.
Proof
The counit of the adjunction \({\textrm{coinv}}_l\dashv {\textrm{triv}}_l\) is which is an isomorphism. \(\square \)
The category \(\widehat{{\mathcal {A}}}\) carries two \({\text {HC}}({\mathcal {A}})\)-module structures:
-
The functor
equips \(\widehat{{\mathcal {A}}}\) with a left \({\text {HC}}({\mathcal {A}})\)-module structure. With respect to it \({\textrm{coinv}}_r:{\text {HC}}({\mathcal {A}})\rightarrow \widehat{{\mathcal {A}}}\) becomes a functor of left \({\text {HC}}({\mathcal {A}})\)-module categories.
-
The functor
equips \(\widehat{{\mathcal {A}}}\) with a right \({\text {HC}}({\mathcal {A}})\)-module structure. With respect to it \({\textrm{coinv}}_l:{\text {HC}}({\mathcal {A}})\rightarrow \widehat{{\mathcal {A}}}\) becomes a functor of right \({\text {HC}}({\mathcal {A}})\)-module categories.
Proposition 2.27
Suppose for \(V\in \widehat{{\mathcal {A}}}\). The object \({\textrm{triv}}_r(V)\in {\text {HC}}({\mathcal {A}})\) has the trivial left \({\mathcal {F}}\)-module structure iff V lies in the Müger center of \(\widehat{{\mathcal {A}}}\).
Proof
Let \(X\in {\mathcal {A}}\). By rigidity of \({\mathcal {A}}\) we may identify
Under the isomorphism the image of \(\sigma _{V, X}\circ \sigma _{X, V}\) is the composite
which coincides with the left action of \({\mathcal {F}}\) on \({\textrm{triv}}_r(V)\). The image of \({\textrm{Id}}:X\otimes V\rightarrow X\otimes V\) is
which coincides with the trivial left action of \({\mathcal {F}}\).
Thus, \(\sigma _{V, X}\circ \sigma _{X, V} = {\textrm{Id}}_{X\otimes V}\) for every \(X\in {\mathcal {A}}\) iff \({\textrm{triv}}_r(V)\) has the trivial left \({\mathcal {F}}\)-module structure. \(\square \)
Corollary 2.28
For any \(V,W\in \widehat{{\mathcal {A}}}\) we have
![](http://media.springernature.com/lw237/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ126_HTML.png)
Proof
Consider the object . As an object of
, it has a trivial right \({\mathcal {F}}\)-action, i.e. it lies in the image of \({\textrm{triv}}_r\). Similarly, as an object of
, it has a trivial left \({\mathcal {F}}\)-action, i.e. it lies in the image of \({\textrm{triv}}_l\). Therefore, by Proposition 2.27 it lies in the Müger center. \(\square \)
2.6 Quantum moment maps
Recall that \(T^{\textrm{R}}({\textbf{1}})\) is a commutative algebra in \(\widehat{{\mathcal {A}}}\otimes \widehat{{\mathcal {A}}}^{\sigma {\textrm{op}}}\) and \({\mathcal {F}}=T(T^{\textrm{R}}({\textbf{1}}))\) is its image in \(\widehat{{\mathcal {A}}}\).
Definition 2.29
Let A be an algebra in \(\widehat{{\mathcal {A}}}\). A quantum moment map is an algebra map \(\mu :{\mathcal {F}}\rightarrow A\) in \(\widehat{{\mathcal {A}}}\) whose adjoint \(T^{\textrm{R}}({\textbf{1}})\rightarrow T^{\textrm{R}}(A)\) is a central map.
Remark 2.30
Equivalently, the quantum moment map equation can be formulated as a commutativity of the diagram
![](http://media.springernature.com/lw209/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ127_HTML.png)
Remark 2.31
Let us remark that there are several closely related constructions throughout the literature going by the name “quantum moment map”. Quantizations of moment maps \(M\rightarrow {\mathfrak {g}}^*\) on Poisson manifolds with a Hamiltonian \({\mathfrak {g}}\)-action are given by homomorphisms \(U{\mathfrak {g}}\rightarrow A\). If G is a Poisson-Lie group and \(G^*\) its dual, one can also consider G-actions on M with a moment map \(M\rightarrow G^*\). In this setting quantum moment maps are given by homomorphisms \(H\rightarrow A\), where H is the Hopf algebra quantizing \(G^*\) [65]. In our setting we are interested in, on the classical level, actions of Poisson-Lie groups G on M with a moment map \(M\rightarrow G\) (where the target is equipped with the so-called Semenov-Tian-Shansky Poisson structure) and, on the quantum level, quantum moment maps \({\mathcal {F}}\rightarrow A\), where \({\mathcal {F}}\) is an H-comodule algebra. These (quantum) moment maps were first considered in [91] and extensively used in [9] to describe factorization homology of closed surfaces. We refer to [82] for more details on this definition of quantum moment maps and how it reduces to the previous definitions.
The following is shown in [9, Corollary 4.7].
Proposition 2.32
Suppose \(A\in \widehat{{\mathcal {A}}}\) is an algebra. The right action of \({\text {HC}}({\mathcal {A}})\) on compatible with the natural right \({\mathcal {A}}\)-module structure on
is the same as the data of a quantum moment map \(\mu :{\mathcal {F}}\rightarrow A\).
Explicitly, suppose \(A\in \widehat{{\mathcal {A}}}\) carries a quantum moment map \(\mu :{\mathcal {F}}\rightarrow A\). Given a left A-module V and a left \({\mathcal {F}}\)-module M, the action is
![](http://media.springernature.com/lw126/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ128_HTML.png)
where \(\mu _*(V)\) is V considered as a left \({\mathcal {F}}\)-module via the quantum moment map.
Quantum moment maps allow us to introduce the notion of strongly equivariant modules.
Definition 2.33
Let \(A\in \widehat{{\mathcal {A}}}\) be an algebra equipped with a quantum moment map \(\mu :{\mathcal {F}}\rightarrow A\). A left A-module V is strongly equivariant if \(\tau _{lr}(\mu _*(V))\) is a trivial right \({\mathcal {F}}\)-module. We denote by
![](http://media.springernature.com/lw207/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ129_HTML.png)
the full subcategory of strongly equivariant modules.
Remark 2.34
Explicitly, a left A-module V is strongly equivariant if the diagram
![](http://media.springernature.com/lw213/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ130_HTML.png)
is commutative.
Remark 2.35
Let X be a smooth affine variety equipped with an action of a algebraic group G. Let \({\textrm{D}}(X)\) be the algebra of global differential operators on X. It carries a moment map \(\mu :{\textrm{U}}{\mathfrak {g}}\rightarrow {\textrm{D}}(X)\) given by the action vector fields. Recall that a weakly equivariant \({\textrm{D}}\)-module on X is an object of . If G is connected, then strongly equivariant \({\textrm{D}}\)-modules, i.e. \({\textrm{D}}\)-modules on the stack [X/G], form a full subcategory of weakly equivariant \({\textrm{D}}\)-modules M where the \({\textrm{U}}{\mathfrak {g}}\)-action induced by the moment map coincides with the \({\textrm{U}}{\mathfrak {g}}\)-action coming from the G-action on M.
We will also use the following perspective on the strongly equivariant category. Let \(A\in \widehat{{\mathcal {A}}}\) be an algebra equipped with a quantum moment map. There is a monad on given by the composition
![](http://media.springernature.com/lw396/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ1_HTML.png)
where the first functor turns an A-module into an \((A, {\mathcal {F}})\)-bimodule with the right \({\mathcal {F}}\)-module structure coming from the quantum moment map. This monad is idempotent, so the forgetful functor from S-algebras in to
is fully faithful.
Recall that \(\widehat{{\mathcal {A}}}\) carries a natural left \({\text {HC}}({\mathcal {A}})\)-action. The following statement is proved in [9, Theorem 5.2].
Proposition 2.36
Let \(A\in \widehat{{\mathcal {A}}}\) be an algebra equipped with a quantum moment map. There is an equivalence of categories
![](http://media.springernature.com/lw275/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ131_HTML.png)
Remark 2.37
One way to see Proposition 2.36 is as follows. The relative tensor product is obtained as the geometric realization of the simplicial object
![](http://media.springernature.com/lw501/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ132_HTML.png)
in \({{\textrm{Pr}}^{{\textrm{L}}}}\). Since \({\text {HC}}({\mathcal {A}})\) is rigid, this diagram admits right adjoints which satisfy the Beck–Chevalley conditions. Therefore, by [66, Theorem 4.7.5.2] the right adjoint to the projection
![](http://media.springernature.com/lw276/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ133_HTML.png)
is monadic and the monad is identified with the monad S introduced above.
Note that all statements about left modules have a symmetric counterpart for right modules, so that we can define strongly equivariant right A-modules with an equivalence
![](http://media.springernature.com/lw277/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ134_HTML.png)
Proposition 2.38
For any two objects and
we have
![](http://media.springernature.com/lw144/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ135_HTML.png)
Proof
We have an epimorphism
![](http://media.springernature.com/lw149/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ136_HTML.png)
where we consider V and W as \({\mathcal {F}}\)-modules via the quantum moment map. Due to strong equivariance, we may identify
![](http://media.springernature.com/lw226/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ137_HTML.png)
so by Corollary 2.28 is a quotient of an object in the Müger center, therefore it lies in the Müger center itself. \(\square \)
2.7 Duality and strong equivariance
In this section we establish a duality property for the category of modules over algebras equipped with a quantum moment map. In this section \(A\in \widehat{{\mathcal {A}}}\) is an algebra equipped with a quantum moment map \(\mu :{\mathcal {F}}\rightarrow A\).
Proposition 2.39
The functor
![](http://media.springernature.com/lw286/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ138_HTML.png)
given by is a nondegenerate pairing in \({{\textrm{Pr}}^{{\textrm{L}}}}\).
Proof
Since the unit \({\textbf{1}}\in \widehat{{\mathcal {A}}}\) is compact and projective, \({\textrm{ev}}\) is a colimit-preserving functor. In the proof all modules and bimodules are considered internal to \(\widehat{{\mathcal {A}}}\).
Consider the functor
![](http://media.springernature.com/lw341/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ139_HTML.png)
By [8, Proposition 3.17] it admits a colimit-preserving right adjoint \(\mu ^{\textrm{R}}\). We may therefore define the coevaluation map to be
![](http://media.springernature.com/lw320/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ140_HTML.png)
where the first functor sends a vector space V to the (A, A)-bimodule \(V\otimes A\).
The duality axioms follow from the commutative diagram
![](http://media.springernature.com/lw419/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ141_HTML.png)
and similarly for which in turn follow from the fact that by rigidity \(T^{\textrm{R}}:{\mathcal {A}}\rightarrow \widehat{{\mathcal {A}}}\otimes \widehat{{\mathcal {A}}}\) is a functor of \(({\mathcal {A}}, {\mathcal {A}})\)-bimodule categories. \(\square \)
We will now construct a duality pairing for the strongly equivariant category.
Proposition 2.40
The functor
![](http://media.springernature.com/lw297/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ142_HTML.png)
given by is a nondegenerate pairing.
Proof
Let be the coevaluation pairing constructed in Proposition 2.39.
Recall the monad . Since it is given by taking coinvariants, it is clearly colimit-preserving. In particular, it makes sense to consider the dual monad
. Consider
and
. We have a natural isomorphism
![](http://media.springernature.com/lw199/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ143_HTML.png)
which identifies \(S^\vee \) with the monad on whose algebras are strongly equivariant right A-modules.
We define the coevaluation pairing on the strongly equivariant category to be given by the composite
![](http://media.springernature.com/lw557/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ144_HTML.png)
Note that since S is idempotent, it is equivalent to \((S\otimes {\textrm{Id}})\circ {\textrm{coev}}\cong ({\textrm{Id}}\otimes S^\vee )\circ {\textrm{coev}}\).
Using the relation \({\textrm{ev}}\circ (S^\vee \otimes {\textrm{Id}})\cong {\textrm{ev}}\circ ({\textrm{Id}}\otimes S)\), the duality axioms for reduce to those for
. \(\square \)
3 Topology
This section treats the topological ingredients of our proof—Walker’s skein category TFT, its relation to factorization homology, monadic reconstruction of factorization homology, and finally reconstruction for handlebodies.
Throughout this section we fix \({\mathcal {A}}\in {\textrm{Cat}}\), a ribbon category linear over some ring k whose unit \({\textbf{1}}\in {\mathcal {A}}\) is simple. We denote by \({\mathbb {D}}\subset {\textrm{R}}^2\) the open unit disk and \(\overline{{\mathbb {D}}}\) the standard closed disk.
3.1 The skein category TFT
A fundamental ingredient in the proof of Theorem 1 is an idea due to Kevin Walker: we can enhance the skein module invariants of 3-manifolds to a (3,2)-dimensional TFT in the Atiyah–Segal framework by assigning to a surface \(\Sigma \) the “skein category” \({\textrm{SkCat}}(\Sigma )\), and to a 3-manifold M with boundary \(\partial M = \breve{\Sigma }_{in}\sqcup \Sigma _{out}\), a categorical \(({\textrm{SkCat}}(\Sigma _{in}), {\textrm{SkCat}}(\Sigma _{out}))\) “skein bimodule” \({\textrm{Sk}}(M)\). We recall these constructions now.
Let us sketch the definition of a skein category of a surface [33, 59, 94].
Definition 3.1
(Sketch. See Fig. 2 and [33, Section 4.2]) Let \(\Sigma \) be an oriented surface.
-
An \({\mathcal {A}}\) -labeling of \(\Sigma \) is the data, X, of an oriented embedding of finitely many disjoint disks \(x_1, \dots , x_n:{\mathbb {D}}\rightarrow \Sigma \) labeled by objects \(V_1, \dots , V_n\) of \({\mathcal {A}}\). We denote by \(\vec {x_i}\) the x axis sitting inside each disk \(x_i\), and denote \(\vec {X}=\cup _i\vec {x_i}\).
-
A ribbon graph has “ribbons” connecting “coupons”. As topological spaces, ribbons and coupons are simply embedded rectangles \(I\times I\), however, we require that ribbons begin and end at either the top “outgoing”, or bottom “incoming”, boundary interval of some coupon, or else at \(\Sigma \times \{0,1\}\).
-
An \({\mathcal {A}}\) -coloring of a ribbon graph is a labelling of each ribbon by an object of \({\mathcal {A}}\), and of each coupon by a morphism from the (ordered) tensor product of incoming edges to the (ordered) tensor product of outgoing edges.
-
We say that an \({\mathcal {A}}\)-colored ribbon graph \(\Gamma \) is compatible with an \({\mathcal {A}}\)-labeling if \(\partial \Gamma =\vec {X}\), and denote by \({\textrm{Rib}}_{\mathcal {A}}(M,X)\) the \(k\)-vector space with basis the \({\mathcal {A}}\)-colored ribbon graphs on M compatible with X.
An example of a ribbon graph and its colouring. Image from [33, Section 4.2]
Consider the 3-ball \({\mathbb {D}}\times I\), and consider a labeling \(X\cup Y\) with disks \(X=(x_1,V_1),\ldots ,(x_n,V_n)\) embedded in \({\mathbb {D}}\times \{0\}\) and \(Y=\{(y_1,W_1),\ldots (y_m,W_m)\}\times \{1\}\). Then we have a well-defined surjection,
see [90]. We will call the kernel of this map the skein relations between X and Y.
Definition 3.2
Let M be an oriented 3-manifold equipped with a decomposition of its boundary \(\partial M\cong \breve{\Sigma }_{in}\coprod \Sigma _{out}\), and \({\mathcal {A}}\)-labelings \(X_{in}\) of \(\Sigma _{in}\) and \(X_{out}\) of \(\Sigma _{out}\).
-
The relative \({\mathcal {A}}\) -skein module \({\textrm{SkMod}}_{\mathcal {A}}(M, X_{in}, X_{out})\) is the \(k\)-module spanned by isotopy classes of \({\mathcal {A}}\)-colored ribbon graphs in M compatible with \(X_{in}\cup X_{out}\), taken modulo isotopy and the skein relations between \(X_{in}\) and \(X_{out}\) determined by any oriented ball \({\mathbb {D}}\times I\subset M\).Footnote 4
-
When \(\partial M=\emptyset \) (hence \(\partial \Gamma =\emptyset \)), we call this the \({\mathcal {A}}\) -skein module, and denote it by \({\textrm{Sk}}_{\mathcal {A}}(M)\).
Using this notion we can define the notion of a skein category of a surface.
Definition 3.3
Let \(\Sigma \) be an oriented surface. The skein category \({\textrm{SkCat}}_{\mathcal {A}}(\Sigma )\) of \(\Sigma \) has:
-
As its objects, \({\mathcal {A}}\)-labelings of \(\Sigma \).
-
As the 1-morphisms from X to Y the relative \({\mathcal {A}}\)-skein module of \((\Sigma \times [0, 1],X,Y)\).
The following statement immediately follows from the definitions.
Lemma 3.4
Let \(\breve{\Sigma }\) be the surface with the opposite orientation. Then we have an equivalence
given by sending a labeling \((V_1, \dots , V_n)\) to \((V_1^*, \dots , V_n^*)\) and applying the diffeomorphism \({\mathbb {D}}\cong \breve{{\mathbb {D}}}\) given by the mirror reflection across the y-axis.
The following statement was proved by Walker [94].
Theorem 3.5
The assignment
-
To a closed oriented surface \(\Sigma \), the skein category \({\textrm{SkCat}}_{\mathcal {A}}(\Sigma )\).
-
To an oriented 3-manifold M with a decomposition of its boundary \(\partial M\cong \breve{\Sigma }_{in}\coprod \Sigma _{out}\), the functor \({\textrm{SkMod}}_{\mathcal {A}}(M, -, -):{\textrm{SkCat}}_{\mathcal {A}}(\Sigma _{in})\times {\textrm{SkCat}}_{\mathcal {A}}(\Sigma _{out})^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\) which sends a pair of \({\mathcal {A}}\)-labelings of \(\Sigma _{in}\) and \(\Sigma _{out}\) to the relative \({\mathcal {A}}\)-skein module of M.
defines a 3-dimensional TFT valued in \({\textrm{Bimod}}\).
Note that \({\textrm{SkCat}}_{\mathcal {A}}(\Sigma )\) has a canonical object \({\textbf{1}}\in {\textrm{SkCat}}_{\mathcal {A}}(\Sigma )\) given by the empty \({\mathcal {A}}\)-labeling.
Definition 3.6
The skein algebra of \(\Sigma \) is
3.2 Examples of skein theories
In this section we give examples of ribbon categories and their associated skein theories.
Let G be a connected reductive group and fix q not a root of unity. Then \({\textrm{Rep}}^{{\textrm{fd}}}_q(G)\) is a ribbon category (where the choice of a ribbon structure will be implicit). So, we may consider the G -skein module
which is a k-vector space for \(k={\textbf{Q}}(q^{1/d})\) or \(k={\textbf{C}}\). In the cases \(G={\textrm{SL}}_2\) and \({\textrm{SL}}_3\) the corresponding skein module has a more familiar form as we will explain shortly.
Let us briefly recall the definition of the Temperley–Lieb category, which in [90] was called simply the “skein category”, and which has appeared in many papers since.
Definition 3.7
For each non-negative integer m, fix a finite set \(X_m\subset I\) of cardinality m. Given non-negative integers m and n, a Temperley–Lieb diagram from [m] to [n] (see e.g. see Sect. 3.2) is an isotopy class of smoothly embedded compact 1-manifold C in \(I\times I\), such that \(\partial C= X_m \times \{0\} \sqcup X_n\times \{1\}\). Given a Temperley–Lieb diagram C, let u(C) denote its number of \(S^1\) components, and let \(C'\) denote the diagram obtained by omitting the \(S^1\) components.
Definition 3.8
(Sketch. See [90, Chapter XII.2]) The Temperley–Lieb category \({\textrm{TL}}\) has as objects the non-negative integers [n] and as Hom spaces, the \({\textbf{Z}}[A, A^{-1}]\)-linear span \({\text {Hom}}([m],[n])\) of all Temperley–Lieb diagrams, modulo linear relations \(C - \delta ^{u(C)}C'\), where \(\delta =-A^2-A^{-2}\).
Composition of morphisms is given by vertical stacking (Fig. 3), and a monoidal structure is given by horizontal stacking; rigidity data is given by the cup and cap diagrams. A braiding \(\sigma \) is defined by setting
![](http://media.springernature.com/lw266/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ145_HTML.png)
and extending monoidally to all objects [n]. The ribbon element is defined to be \(-A^{-3}\) on [1].
Remark 3.9
Let \(q=A^2\). For q not a root of unity the Cauchy completion of the Temperley–Lieb category \({\textrm{TL}}\) is equivalent to the category \({\textrm{Rep}}^{{\textrm{fd}}}_q({\textrm{SL}}_2)\). Under this equivalence the object \([1]\in {\textrm{TL}}\) goes to the defining two-dimensional representation. The ribbon element on \({\textrm{Rep}}^{{\textrm{fd}}}_q({\textrm{SL}}_2)\) in this case comes from a half-ribbon element [85] as explained in [87].
Proposition 3.10
Let M be an oriented 3-manifold. Then we have an isomorphism of \({\textbf{Z}}[A, A^{-1}]\)-modules
where \({\textrm{Sk}}(M)\) is the Kauffman bracket skein module. In particular, for A not a root of unity we have an isomorphism
Proof
Let us define a morphism \(f:{\textrm{Sk}}(M)\rightarrow {\textrm{Sk}}_{{\textrm{TL}}}(M)\) as follows. An element of \({\textrm{Sk}}(M)\) is represented by a closed (unoriented) ribbon s in M. We assign to s a Temperley–Lieb skein f(s) by choosing an orientation on s and labelling it with the object \([1]\in {\textrm{TL}}\). The fact that this does not depend on the choice of orientation corresponds to the statement that the object \([1]\in {\textrm{TL}}\) is self-dual with Frobenius–Schur indicator 1. Said equivalently, the defining representation V admits a nondegenerate invariant pairing \({\textrm{ev}}:V\otimes V\rightarrow {\textbf{Q}}\) satisfying
The inverse g to f is given as follows: a \({\textrm{TL}}\)-colored ribbon graph in M consists of a number of ribbons each labelled by some integer [m] and a coupon labelled by a linear combination of Temperley–Lieb diagrams. For each summand, i.e. for each labelling of each coupon by a single Temperley–Lieb diagram, g assigns a framed link obtained by replacing each ribbon labelled [m] with m parallel strands, and by connecting the incoming and outgoing strands at each coupon using the data of the Temperley–Lieb diagram. We extend the assignment linearly.
To check that f and g are mutually inverse, it suffices to work locally in any ball in M (as all the relations are local). This amounts to the standard diagrammatics for Temperley–Lieb algebras. \(\square \)
It is possible to give a diagrammatic description of G-skein modules for other groups analogous to the Kauffman skein relations, though it becomes more complicated. The first such description was given in [61] for \(G={\textrm{SL}}_3\); the construction was generalized in [30, 84] to \(G={\textrm{SL}}_N\). The following presentation is introduced by Kuperberg [61]; we follow the description of [84, Section 1.4]. By a web we mean an oriented ribbon graph whose coupons are either sinks or sources.
Definition 3.11
Let M be an oriented 3-manifold. The Kuperberg skein module \({\textrm{Sk}}_{{\textrm{SL}}_3}(M)\) is the \({\textbf{Z}}[A, A^{-1}]\)-module spanned by trivalent webs in M modulo isotopy and the linear relations,
![](http://media.springernature.com/lw596/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ146_HTML.png)
![](http://media.springernature.com/lw415/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ147_HTML.png)
which are imposed between any webs agreeing outside of some oriented 3-ball, and differing as depicted inside that ball.
Using the results of [61] it is straightforward to check that \({\textrm{Sk}}_{{\textrm{SL}}_3}(M)\) coincides with the skein module for \({\textrm{Rep}}_q({\textrm{SL}}_3)\) equipped with the standard ribbon element, where \(q=A^3\).
3.3 Relation to factorization homology
Skein categories satisfy a locality property captured by factorization homology which will allow us to connect it to the results of [8, 9].
Definition 3.12
The bicategory \({\textrm{Mfld}}^2\) has:
-
As its objects, smooth oriented surfaces,
-
As the 1-morphisms from S to T, all smooth oriented embeddings \(S\hookrightarrow T\),
-
As the 2-morphisms, isotopies of smooth oriented embeddings, themselves considered modulo isotopies of isotopies.
The disjoint union of surfaces equips \({\textrm{Mfld}}^2\) with the structure of a symmetric monoidal bicategory.
Definition 3.13
The bicategory \({\textrm{Disk}}^2\) is the full subcategory of \({\textrm{Mfld}}^2\) whose objects are finite disjoint unions of oriented disks.
The following important and well-known result provides the link between topology and algebra allowing us to compute with factorization homology of braided tensor categories.
Proposition 3.14
([38, 44, 93]) The data of a ribbon tensor category \({\mathcal {A}}\) determines a functor \({\textrm{Disk}}^2\rightarrow {\textrm{Cat}}\) which we also denote by \({\mathcal {A}}\).
Let us briefly recall the correspondence of data asserted in Proposition 3.14. We denote by \({\mathbb {D}}\in {\textrm{Disk}}^2\) the standard unit disk with the right-handed orientation. The tensor product is defined by fixing an embedding \({\mathbb {D}}\sqcup {\mathbb {D}}\hookrightarrow {\mathbb {D}}\), the left-to-right embedding of a pair of smaller disks along the x-axis. The braiding is defined by the isotopy interchanging the embedded disks by rotating them anti-clockwise around one another. The ribbon element is determined by the the oriented isotopy on \({\mathbb {D}}\) rotating it through a 360 degrees turn. The content of Proposition 3.14 is that these embeddings and isotopies taken together freely generate \({\textrm{Disk}}^2\), so that once they are specified—hence the data of a ribbon braided tensor category is fixed—then the data of the functor is specified uniquely.
The following notion is studied in [1], see also [2, 5].
Definition 3.15
The factorization homology \(\int _\Sigma {\mathcal {A}}\) is the left Kan extension
![](http://media.springernature.com/lw221/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ148_HTML.png)
We may analogously define factorization homology internal to \({{\textrm{Pr}}^{{\textrm{L}}}}\) which we denote by \(\int _\Sigma ^{{\textrm{Pr}}^{{\textrm{L}}}}\).
Lemma 3.16
We have an equivalence of categories
Proof
The claim follows since the functor \(\widehat{-}:{\textrm{Cat}}\rightarrow {{\textrm{Pr}}^{{\textrm{L}}}}\) preserves colimits. \(\square \)
By construction we have \({\textrm{SkCat}}_{\mathcal {A}}({\mathbb {D}}) \cong {\mathcal {A}}\). Cooke has shown that \({\textrm{SkCat}}_{\mathcal {A}}(-)\) satisfies excision and thus it coincides with factorization homology.
Theorem 3.17
([33]) There is an equivalence of categories
We denote
where the second equivalence is provided by Theorem 3.17 and Lemma 3.16. The functor \({\textrm{Z}}_{\mathcal {A}}(-)\) was studied extensively in [8, 9].
3.4 Internal skein algebras
Recall from Proposition 3.14 that \({\mathbb {D}}\in {\textrm{Mfld}}^2\) is naturally an algebra object. Let \({\mathbb {A}}{\textrm{nn}}\subset {\textbf{R}}^2\) be the annulus obtained by removing the disk of radius 1/2 from the unit disk, both centered at the origin. It has the following algebraic structures as an object of \({\mathbb {A}}{\textrm{nn}}\):
-
An algebra structure \({\mathbb {A}}{\textrm{nn}}\coprod {\mathbb {A}}{\textrm{nn}}\rightarrow {\mathbb {A}}{\textrm{nn}}\), where the second annulus is put inside the first one.
-
An algebra map \({\mathbb {D}}\rightarrow {\mathbb {A}}{\textrm{nn}}\) given by including the disk on the negative x-axis.
-
A map \({\mathbb {A}}{\textrm{nn}}\coprod {\mathbb {D}}\rightarrow {\mathbb {D}}\) given by inserting the disk at the origin which gives \({\mathbb {D}}\) a left \({\mathbb {A}}{\textrm{nn}}\)-module structure.
Suppose \(\Sigma \in {\textrm{Mfld}}^2\) is a connected oriented surface with a chosen embedding \(x:\overline{{\mathbb {D}}}\hookrightarrow \Sigma \). Denote
the surface obtained by removing the disk. We have an embedding
given by retracting away the boundary and including in a copy of the annulus, see Fig. 4. This gives \(\Sigma ^*\in {\textrm{Mfld}}^2\) the structure of a right \({\mathbb {A}}{\textrm{nn}}\)-module. In particular, it is a right \({\mathbb {D}}\)-module via the algebra map \({\mathbb {D}}\rightarrow {\mathbb {A}}{\textrm{nn}}\) defined above.
On the level of skein categories we obtain a right \({\mathcal {A}}\)-module category structure on \({\textrm{SkCat}}(\Sigma ^*)\). Let
be the functor given by the action of \({\mathcal {A}}\cong {\textrm{SkCat}}_{\mathcal {A}}({\mathbb {D}})\) on \({\textbf{1}}\in {\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)\).
Recall (see Lemma 2.7) that an algebra object in \(\widehat{{\mathcal {A}}}\) is the same as a lax monoidal functor \({\mathcal {A}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\).
Definition 3.18
Let \(\Sigma \) be a surface as above. The internal skein algebra of \(\Sigma ^*\) is the functor
given by \(V\mapsto {\text {Hom}}_{{\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)}({\mathcal {P}}(V), {\textbf{1}})\). It has a lax monoidal structure
given by stacking the W-labeled skein on top of the V-labeled skein, see Fig. 5.
Remark 3.19
Unpacking Definition 3.18, we may write the internal skein algebra as a coend,
The formula becomes more explicit if we suppose \({\mathcal {A}}\) has a fiber functor. In this case we may regard the objects \(X\in {\mathcal {A}}\) as vector spaces via the fiber functor. Applying the fiber functor to \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\) we obtain a vector space consisting of skeins in \(\Sigma ^*\times I\) which are allowed to end with some color X at the distinguished boundary component of \(\Sigma ^*\times \{0\}\), and which carry an additional label of a vector \(x\in X\). The co-end relations state that a coupon \(f:X\rightarrow Y\) near the boundary can be absorbed into the boundary by acting as a linear map \(X\rightarrow Y\).
Proposition 3.20
The internal skein algebra \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\in \widehat{{\mathcal {A}}}\) is the algebra of \(\widehat{{\mathcal {A}}}\)-internal endomorphisms of the distinguished object \({\textbf{1}}\in {\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)\).
Proof
The action of \({\mathcal {A}}\) on the distinguished object \({\textbf{1}}\in {\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)\) is given by \({\mathcal {P}}:{\mathcal {A}}\rightarrow {\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)\). Thus, the internal endomorphism algebra \({\underline{{\textrm{End}}}}({\textbf{1}})\in \widehat{{\mathcal {A}}}\) is the functor \({\mathcal {A}}^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\) given by \(V\mapsto {\text {Hom}}_{{\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)}({\mathcal {P}}(V), {\textbf{1}})\) which is exactly the internal skein algebra of \(\Sigma ^*\). \(\square \)
Remark 3.21
We use the term “internal skein algebra” to indicate that \({\textrm{SkAlg}}^{{\textrm{int}}}(\Sigma ^*)\) is an algebra internal to the monoidal category \(\widehat{{\mathcal {A}}}\). By Proposition 3.20 it is isomorphic to the moduli algebra \(A_{\Sigma ^*}\) from [8, Definition 5.3].
Remark 3.22
Suppose \({\mathcal {A}}= {\textrm{TL}}\) is the Temperley–Lieb category. Let \(F:{\textrm{TL}}\rightarrow {\textrm{Vect}}\) be the monoidal functor given by the composite \({\textrm{TL}}\rightarrow {\textrm{Rep}}_q({\textrm{SL}}_2)\rightarrow {\textrm{Vect}}\), where at the end we apply the obvious forgetful functor. We denote by the same letter \(F:\widehat{{\textrm{TL}}}\rightarrow {\textrm{Vect}}\) the unique colimit-preserving extension. We may write tautologically
In particular, its underlying vector space is
We see that this is exactly the stated skein algebra introduced in [32, 63] (see also a related definition of relative skein algebras of [64]). Namely, \({\text {Hom}}_{{\textrm{SkCat}}_{\textrm{TL}}(\Sigma ^*)}({\mathcal {P}}([n]), {\textbf{1}})\) is the vector space of skeins in \(\Sigma ^*\times [0, 1]\) which have n endpoints on the boundary disk \({\mathbb {D}}\hookrightarrow \Sigma ^*\) in \(\Sigma ^*\times [0, 1]\); each endpoint is labeled by a vector in F([1]) which is two-dimensional.
Remark 3.23
In particular, the above discussion produces an isomorphism between the stated Kauffman skein algebra of a punctured surface, and the Alekseev-Grosse-Schomerus moduli algebra. After the present paper first appeared on the arXiv, Matthieu Faitg independently constructed such an isomorphism in [42]. Shortly after that, Benjamin Haïoun gave in [54] an explicit description of the isomorphism between the internal skein algebra and the stated skein algebra, as asserted in the preceding remark.
Remark 3.24
The skein algebra \({\textrm{SkAlg}}_{\mathcal {A}}(\Sigma ^*)\) of \(\Sigma ^*\) is the value of \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\) on \({\textbf{1}}\in {\mathcal {A}}\), in other words its \({\textbf{1}}\)-multiplicity space, or subalgebra of invariants.
Let us now relate internal skein algebras to skein categories. We have a functor
given by \(X\mapsto {\text {Hom}}_{{\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)}({\mathcal {P}}(-), X)\). As for internal skein algebras, we have a stacking morphism
In other words, we obtain a functor
![](http://media.springernature.com/lw288/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ149_HTML.png)
The following statement follows from [8, Theorem 5.14].
Proposition 3.25
The functor
![](http://media.springernature.com/lw283/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ150_HTML.png)
induces an equivalence
![](http://media.springernature.com/lw356/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ151_HTML.png)
Suppose now N is a compact oriented 3-manifold with \(\partial N\cong \Sigma \). The relative skein module defines a functor \({\textrm{SkMod}}_{\mathcal {A}}(N, -):{\textrm{SkCat}}_{\mathcal {A}}(\Sigma )^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\) which we can restrict to a functor \({\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)^{{\textrm{op}}}\rightarrow {\textrm{Vect}}\). Using the equivalence given by Proposition 3.25 we thus obtain a \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\)-module. Let us describe it explicitly.
Definition 3.26
Let N be a 3-manifold as above. The internal skein module of N is the functor
given by sending \(V\mapsto {\textrm{SkMod}}_{\mathcal {A}}(N, {\mathcal {P}}(V))\). It is a left \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\)-module via the map
given by composing the skeins in \(\Sigma ^*\times [0, 1]\) with skeins in N.
In other words, the internal skein module is given by considering skeins in N which allow to end on \({\mathbb {D}}\subset {\mathbb {A}}{\textrm{nn}}\subset \Sigma ^*\subset \Sigma \cong \partial N\) with label \(V\in {\mathcal {A}}\). In particular, the ordinary skein module is recovered as
In a similar way, if N is a 3-manifold with \(\partial N\cong \breve{\Sigma }\), using Lemma 3.4 we define the internal skein module of N to be
which is a right \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\)-module.
3.5 Skein category of the annulus
We have defined the annulus as \({\mathbb {A}}{\textrm{nn}}= {\mathbb {D}}\setminus \overline{{\mathbb {D}}}\), so it makes sense to consider its internal skein algebra. Consider a pair of representations \(V, W\in {\mathcal {A}}\) together with a morphism \(f:V\otimes W\rightarrow {\textbf{1}}\). We obtain a skein
given by going once around the hole and applying f, see Fig. 6.
For another object \(X\in {\mathcal {A}}\) we have a composition map
Thus, applying it to the skein \(s_{V, W, f}\) we obtain a map
It is natural in V and W, so we obtain a morphism
It is easy to see that it is in fact a morphism of algebras. The following follows from [8, Corollary 6.4].
Proposition 3.27
The map \({\mathcal {F}}\rightarrow {\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}({\mathbb {A}}{\textrm{nn}})\) is an isomorphism.
Combining Propositions 3.27 and 3.25, we obtain the following statement.
Corollary 3.28
We have a natural equivalence of categories
We leave it to the reader to check that the monoidal structure on \({\text {HC}}({\mathcal {A}})\), the monoidal functor \({\mathcal {A}}\rightarrow {\text {HC}}({\mathcal {A}})\) and the left \({\text {HC}}({\mathcal {A}})\)-module structure on \(\widehat{{\mathcal {A}}}\) defined in Sect. 2.5 go under the above equivalence to the corresponding algebraic structures defined on skein categories in Sect. 3.4.
Using the above description of the annulus skein category, we can compute the skein category of a closed surface. Suppose, as before, that \(\Sigma \) is a surface with a chosen disk embedding \(\overline{{\mathbb {D}}}\hookrightarrow \Sigma \) and \(\Sigma ^* = \Sigma \setminus \overline{{\mathbb {D}}}\). As we have observed in Sect. 3.4, \({\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)\) is naturally a right \({\textrm{SkCat}}_{\mathcal {A}}({\mathbb {A}}{\textrm{nn}})\)-module. Therefore, combining Corollary 3.28 and Proposition 2.32 we obtain a quantum moment map
In particular, it makes sense to talk about strongly equivariant \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\)-modules.
Proposition 3.29
We have a natural equivalence of categories
![](http://media.springernature.com/lw355/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ152_HTML.png)
Proof
We have a decomposition \(\Sigma = \Sigma ^*\cup _{{\mathbb {A}}{\textrm{nn}}} {\mathbb {D}}\). Therefore, by Theorem 3.17 we have an equivalence of categories
![](http://media.springernature.com/lw308/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ153_HTML.png)
Passing to free cocompletions and using Corollary 3.28 we obtain an equivalence
![](http://media.springernature.com/lw201/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ154_HTML.png)
From Proposition 3.25 we get an equivalence
![](http://media.springernature.com/lw293/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ155_HTML.png)
The claim then follows from Proposition 2.36. \(\square \)
3.6 Skein algebras of surfaces
Let \(\Sigma \) be a closed oriented surface of genus g and let \(\Sigma ^* = \Sigma \setminus \overline{{\mathbb {D}}}\) denote the surface obtained by removing some disk in \(\Sigma \). Then \(\Sigma ^*\) has a “handle and comb” presentation with 2g handles, see Fig. 7. Each handle determines an embedding \({\mathbb {A}}{\textrm{nn}}\hookrightarrow \Sigma ^*\) and hence an algebra map \({\mathcal {F}}\rightarrow {\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\). Thus, we obtain a map
of objects in \(\widehat{{\mathcal {A}}}\). The following is shown in [8, Theorem 5.14].
Proposition 3.30
The map
defined above is an isomorphism.
Consider the ring \(k={\textbf{C}}\llbracket \hbar \rrbracket \) and let \({\mathcal {A}}={\textrm{Rep}}^{{\textrm{fd}}}_q(G)\) with \(q=\exp (\hbar )\). Then \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\) can be considered as an algebra object in vector spaces. The following claim follows from [8, Section 7.2].
Proposition 3.31
\({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\) is a flat deformation quantization of \(G^{2g}\) with respect to the Fock–Rosly Poisson bracket [45].
Let
be the internal skein algebra in genus 1.
Writing a genus g surface as a connected sum of tori, we get an isomorphism of algebras
where on the left we consider the braided tensor product of the algebras \({\textrm{D}}_{\mathcal {A}}\).
3.7 Handlebody modules
Consider an embedding \(\Sigma \hookrightarrow {\textbf{R}}^3\) and let H be its interior. So, H is a handlebody with \(\partial H\cong \Sigma \). In particular, it defines a relative skein module
As usual, we choose an embedded disk on \(\Sigma \) and set \(\Sigma ^* = \Sigma \setminus \overline{{\mathbb {D}}}\). As explained in Definition 3.26 we can restrict \({\textrm{SkMod}}_{\mathcal {A}}(H)\) to \({\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)^{op}\) and obtain a module \({\textrm{Sk}}^{{\textrm{int}}}(H)\) for the internal skein algebra \( {\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\) in \(\widehat{{\mathcal {A}}}\). In Sect. 3.6 we gave an explicit description of \({\textrm{SkAlg}}^{{\textrm{int}}}(\Sigma ^*)\). The goal of this section is to compute the module \({\textrm{Sk}}^{{\textrm{int}}}(H)\) in terms of this description.
Recall the handle and comb presentation of \(\Sigma ^*\) from Sect. 3.6. Such a presentation determines a geometric symplectic basis (a system of a and b cycles in \(\Sigma ^*\)), i.e., 2g embeddings
such that for all \(i=1, \ldots , n\) the images of the \(a_i\) (respectively \(b_i\)) are pairwise disjoint, and the intersection of \(a_i\) and \(b_i\) is a single disk.
Moreover, we choose this system compatible with H in the sense that the b-cycles are contractible in H. More precisely, we require that each embedding \(b_i\) extends to a disk in H:
![](http://media.springernature.com/lw259/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ156_HTML.png)
Let \(\Theta \) denote a disk with g smaller disks removed from its interior. The a-cycles and the b-cycles can be combined to form two embeddings
See Fig. 8.
The following properties are immediate from the construction:
-
The handlebody H deformation retracts onto a copy of \(\overline{a(\Theta )} \times I\). Indeed, one may begin by considering the manifold with corners \(\overline{\Theta }\times I\) then define \(\Sigma \) to be some smoothing of its boundary.
-
The embedding b extends over a disk in H:
With this set-up in hand, we may now proceed with our computation of the handlebody module. Note that \(\Theta \) naturally carries the structure of a right \({\mathbb {D}}\)-module, by inserting disks inside the “outer” annulus in \(\Theta \). We can choose the embeddings a and b to be compatible with the right \({\mathbb {D}}\)-module structure on \(\Theta \) and \(\Sigma ^*\).
We obtain the following maps on internal skeins:
-
The embeddings \(a,b:\Theta \hookrightarrow \Sigma ^*\) determine maps of internal skein algebras
$$\begin{aligned} i(a),i(b):{\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Theta ) \longrightarrow {\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*) \end{aligned}$$ -
The embedding of \(\Theta \hookrightarrow {\mathbb {D}}\) determines a map of algebras
$$\begin{aligned} \varepsilon :{\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Theta ) \longrightarrow {\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}({\mathbb {D}}) = {\textbf{1}}\end{aligned}$$ -
The composite \(\Sigma ^*\times I \hookrightarrow \Sigma \times I \hookrightarrow (\Sigma \times I) \sqcup _{\Sigma \times \{1\}} H \cong H\) determines a map of left \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Theta )\)-modules
$$\begin{aligned} {\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*) \longrightarrow {\textrm{Sk}}^{{\textrm{int}}}_{\mathcal {A}}(H). \end{aligned}$$
The main result of this section is the following:
Theorem 3.32
There is an isomorphism of left \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\)-modules in \(\widehat{{\mathcal {A}}}\):
![](http://media.springernature.com/lw298/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ158_HTML.png)
The proof of this theorem will occupy the rest of this section.
Since the embedding \(\Theta \times I\hookrightarrow H\) is a deformation retract, the skein theory of the handlebody can be understood in terms of the internal skein algebra of \(a(\Theta )\).
Lemma 3.33
The composite
is an isomorphism of left \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Theta )\)-modules in \(\widehat{{\mathcal {A}}}\).
In particular, the map \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*) \rightarrow {\textrm{Sk}}^{{\textrm{int}}}_{\mathcal {A}}(H)\) is surjective. In other words:
Lemma 3.34
The \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\) module \({\textrm{Sk}}^{{\textrm{int}}}_{\mathcal {A}}(H)\) is cyclic, generated by the empty skein.
The next result uses that the b-cycles are contractible in the handlebody.
Lemma 3.35
The action of \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Theta )\) on the empty skein in \({\textrm{Sk}}^{{\textrm{int}}}_{\mathcal {A}}(H)\) via the inclusion of b-cycles factors through \(\varepsilon \). In other words, there is a commutative diagram:
![](http://media.springernature.com/lw213/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ159_HTML.png)
Thus, there is a well-defined morphism of left \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\)-modules
![](http://media.springernature.com/lw303/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ160_HTML.png)
Proof
This follows immediately from the fact that the b-cycle embedding
factors through the inclusion of a disk. \(\square \)
It remains to show that the map f is a isomorphism. To this end, recall from Proposition 3.30 that the inclusion of both a and b cycles determines an isomorphism in \(\widehat{{\mathcal {A}}}\)
Note, that this is not a morphism of algebra objects; however, it is naturally a morphism of right \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(b(\Theta ))\)-modules. Thus, we obtain the following:
Lemma 3.36
The composite
![](http://media.springernature.com/lw318/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ161_HTML.png)
is an isomorphism in \(\widehat{{\mathcal {A}}}\).
Proof of Theorem 3.32
By Lemma 3.35 there is an morphism
![](http://media.springernature.com/lw331/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ162_HTML.png)
The inclusion of a-cycles define a commutative diagram:
![](http://media.springernature.com/lw456/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ163_HTML.png)
By Lemma 3.33 the horizontal arrow is an isomorphism. By Lemma 3.36, the lower right pointing arrow is an isomorphism. It follows that the upper right pointing arrow is an isomorphism as required. \(\square \)
4 Analysis
This section treats the analytic ingredients in our proof—completions and localizations in the formal parameter \(\hbar \), the finite-dimensionality of localized relative tensor products, deformation quantization modules, and the reduction to D-modules.
4.1 Completions and localizations
Definition 4.1
Let M be a \({\textbf{C}}\llbracket \hbar \rrbracket \)-module. It is \(\hbar \) -complete if the map \(M\rightarrow {\widehat{M}} = \lim M/\hbar ^n M\) is an isomorphism.
Definition 4.2
Let M be a complex of \({\textbf{C}}\llbracket \hbar \rrbracket \)-modules. It is cohomologically complete if
![](http://media.springernature.com/lw176/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ164_HTML.png)
Remark 4.3
The definition of cohomological completeness above agrees with the definition in [60] due to [60, Proposition 1.6.(b)]. Let us note in passing that without additional assumptions on \(\hbar \)-torsion, cohomological completeness of a module M does not imply \(\hbar \)-completeness, nor vice versa.
Let us collect from [60] a number of statements to prove that a module is \(\hbar \)-complete/cohomologically complete.
Proposition 4.4
Let A be a \(\hbar \)-complete \({\textbf{C}}\llbracket \hbar \rrbracket \)-algebra without \(\hbar \)-torsion such that \(A/\hbar \) is Noetherian. Let M be an A-module.
-
(1)
A is Noetherian [60, Theorem 1.2.5.(i)], hence an A-module M is finitely generated over A if, and only if, it is coherent as an A-module.
-
(2)
If M is a finitely generated A-module then M is \(\hbar \)-complete [60, Theorem 1.2.5.(iii)] and cohomologically complete [60, Theorem 1.6.1].
-
(3)
Assume M has no \(\hbar \)-torsion and is \(\hbar \)-complete. Then M is cohomologically complete ([60, Corollary 1.5.7], noting that condition (b) is vacuous in our case).
-
(4)
Assume M is cohomologically complete, and let N be a finitely generated right A-module. Then the derived tensor product, \(N\otimes ^{\mathbb {L}}_A M\) is cohomologically complete [60, Proposition 1.6.5].
We will also make crucial use of the following “cohomologically complete Nakayama” theorem,
Theorem 4.5
([79, Theorem 0.2], see also [60, Theorem 1.6.4]) Let M be a cohomologically complete complex of \({\textbf{C}}\llbracket \hbar \rrbracket \)-modules, such that \({\textrm{H}}^i(M)=0\) for \(i>0\), and such that is finitely generated. Then \({\textrm{H}}^{0}(M)\) is finitely generated as a \({\textbf{C}}\llbracket \hbar \rrbracket \)-module.
4.2 DQ modules
Let X be a smooth affine Poisson scheme and \(L_1, L_2\subset X\) be smooth Lagrangian subschemes. Here, by a Lagrangian subscheme of a Poisson scheme we will mean a subscheme of an open symplectic leaf which is Lagrangian there. In addition, fix their deformation quantizations:
-
Let A be a \(\hbar \)-complete \({\textbf{C}}\llbracket \hbar \rrbracket \)-algebra without \(\hbar \)-torsion which is a deformation quantization of \({\mathcal {O}}(X)\).
-
Let \(M_1\) be a cyclic left A-module without \(\hbar \)-torsion which is a deformation quantization of \({\mathcal {O}}(L_1)\).
-
Let \(M_2\) be a cyclic right A-module without \(\hbar \)-torsion which is a deformation quantization of \({\mathcal {O}}(L_2)\).
In our applications, A will be an internal skein algebra \({\textrm{SkAlg}}^{{\textrm{int}}}(\Sigma _g)\) for a surface \(\Sigma _g\), while \(M_1\) and \(M_2\) will denote the internal skein module for the standard handlebody \(H_g\), and its twist \(H_g^\gamma \) by a mapping class group, as prescribed by a Heegaard splitting of some 3-manifold. The remainder of the section is devoted to the proof of the following result.
Theorem 4.6
The localization
![](http://media.springernature.com/lw123/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ165_HTML.png)
is a finite-dimensional -vector space.
The proof of Theorem 4.6 will be modeled on the proof of constructibility of the derived Hom of holonomic DQ modules in the analytic setting, see [60, Theorem 7.2.3]. A priori the tools of [60] apply only to the analogue of Theorem 4.6 for analytic DQ modules and their relative tensor products. We will therefore repeat the outline of their proof in the algebraic context, which uses the deformation to the normal cone of \(L_1\) to reduce the question to one about D-modules on \(L_1\). Specifically, our definition of \({\widehat{A}}_{L_1}\) below is motivated by the analogous construction in [60, Section 7.1].
Let us begin by choosing an isomorphism of vector spaces \(A\cong {\mathcal {O}}(X)\llbracket \hbar \rrbracket \). We obtain an associative multiplication on \({\mathcal {O}}(X)\llbracket \hbar \rrbracket \), which by [19, Remark 1.7] we may assume is given by a power series of bidifferential operators. Because a differential operator can only reduce the degree of vanishing along \(L_1\) by a finite amount, the multiplication extends to the completion \({\mathcal {O}}({\widehat{X}}_{L_1})\supset {\mathcal {O}}(X)\) along \(L_1\). In this way we obtain a deformation quantization \({\widehat{A}}\supset A\) of \({\mathcal {O}}({\widehat{X}}_{L_1})\).
Recall that the A-module \(M_1\) is cyclic, i.e. we have a surjection \(A\rightarrow M_1\). In particular, the \({\mathcal {O}}(X)\llbracket \hbar \rrbracket \)-module structure on \({\mathcal {O}}(L_1)\llbracket \hbar \rrbracket \) is also given by a bidifferential operator. Therefore, the A-module structure on \(M_1\) extends to an \({\widehat{A}}\)-module structure. Define
![](http://media.springernature.com/lw277/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ166_HTML.png)
which is a finitely generated \({\widehat{A}}\)-module. Then
![](http://media.springernature.com/lw170/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ167_HTML.png)
Following [60, Section 7.1], we define \(J\subset {\widehat{A}}[\hbar ^{-1}]\) to be the kernel of
and denote by \({\widehat{A}}_{L_1}\subset {\widehat{A}}[\hbar ^{-1}]\) the \({\textbf{C}}\llbracket \hbar \rrbracket \)-subalgebra generated by J.
Proposition 4.7
The inclusion \({\widehat{A}}_{L_1}\subset {\widehat{A}}[\hbar ^{-1}]\) induces an equality
Thus, both \({\widehat{A}}_{L_1}\) and \({\widehat{A}}\) are \({\textbf{C}}\llbracket \hbar \rrbracket \)-lattices in \({\widehat{A}}[\hbar ^{-1}]\). We can therefore reduce questions about \({\widehat{A}}\)-modules to questions about \({\widehat{A}}_{L_1}\)-modules.
Proposition 4.8
Suppose \(N_1\) is a finitely generated left \({\widehat{A}}_{L_1}\)-module without \(\hbar \)-torsion together with an isomorphism of left \({\widehat{A}}[\hbar ^{-1}]\)-modules \(N_1[\hbar ^{-1}]\cong M_1[\hbar ^{-1}]\) and similarly for \(N_2\). Suppose is a finite-dimensional \({\textbf{C}}\)-vector space. Then
is a finite-dimensional
-vector space.
Proof
Since \({\widehat{A}}_{L_1}\) is \(\hbar \)-complete and without \(\hbar \)-torsion, Claim (2) of Proposition 4.4 implies it is cohomologically complete. Since \(N_1\) is finitely generated as an \({\widehat{A}}_{L_1}\)-module, Claim (1) of Proposition 4.4 implies \(N_1\) is cohomologically complete. Since \(N_2\) is finitely generated, Claim (3) of Proposition 4.4 implies that the derived tensor product is cohomologically complete.
Since is concentrated in non-positive cohomological degrees and since
![](http://media.springernature.com/lw254/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ168_HTML.png)
is assumed to be finite-dimensional as a \({\textbf{C}}\)-vector space, the cohomologically complete Nakayama Theorem 4.5 implies that
![](http://media.springernature.com/lw151/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ169_HTML.png)
is finitely generated as a \({\textbf{C}}\llbracket \hbar \rrbracket \)-module. In particular,
![](http://media.springernature.com/lw509/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ170_HTML.png)
is a finite-dimensional -vector space. \(\square \)
4.3 Reduction to D-modules
In this section we work near a Lagrangian to reduce questions about DQ modules to questions about ordinary D-modules. First, we will need the following lemma.
Lemma 4.9
Let L be a smooth scheme and consider the completion \({\widehat{{\textrm{T}}}}^* L\) of its cotangent bundle along the zero section. Denote by \(i:L\hookrightarrow {\widehat{{\textrm{T}}}}^* L\) the natural embedding. Then the restriction map
on de Rham cohomology is an isomorphism.
Proof
Indeed, the claim follows from [52, Proposition II.1.1] applied to \(X=Z=L\) and \(Y={\textrm{T}}^* L\). \(\square \)
Theorem 4.10
(Lagrangian neighborhood theorem) Let X be an affine symplectic scheme and \(L\subset X\) a smooth Lagrangian subscheme. Then there is a symplectomorphism of formal symplectic schemes \({\widehat{X}}_L\cong {\widehat{{\textrm{T}}}}^*L\).
Proof
By [28, Lemma 5.2] we may identify \({\widehat{X}}_L\cong {\widehat{{\textrm{N}}}} L\) as formal schemes. Since L is Lagrangian, we may identify \({\widehat{{\textrm{N}}}} L\cong {\widehat{{\textrm{T}}}}^* L\) as formal schemes. Thus, we obtain two symplectic structures on \({\widehat{{\textrm{T}}}}^* L\): \(\omega _0\) coming from the cotangent bundle and \(\omega _1\) coming from \({\widehat{X}}_L\). To prove the claim, we will use Moser’s trick.
By Lemma 4.9 the restriction map \({\textrm{H}}^2_{dR}({\widehat{{\textrm{T}}}}^* L)\rightarrow {\textrm{H}}^2_{dR}(L)\) is an isomorphism. Therefore, \(\omega _1 - \omega _0 = d \alpha \). Moreover, since \(\omega _1|_L = \omega _0|_L\), we may arrange \(\alpha \) so that \(\alpha |_L = 0\). Consider the family of closed 2-forms
By assumption \(L\hookrightarrow {\widehat{{\textrm{T}}}}^* L\) is isotropic for the whole family. So, to check that \(\omega _t\) is symplectic, it is enough to check that \(\omega _t^\sharp :{\textrm{T}}_L\rightarrow {\textrm{N}}^*_L\) is an isomorphism. But it immediately follows from the fact that L is Lagrangian with respect to \(\omega _t\) and \(\alpha |_L = 0\).
Since \(\omega _t\) is symplectic, we may find a time-dependent vector field \(v_t\) which satisfies Moser’s equation \(\iota _{v_t}\omega _t = -\alpha \) and which vanishes on L. We may integrate this vector field to an isotopy \(\rho _t\) which by Moser’s equation satisfies \(\rho _t^*\omega _t = {\text {const}}\). In particular, \(\rho _1\) is an automorphism of \({\widehat{{\textrm{T}}}}^* L\) preserving L such that \(\rho _1^*\omega _1 = \omega _0\). \(\square \)
Let \({\textrm{D}}(L_1)\) be the \({\textbf{C}}\)-algebra of differential operators. It admits a filtration given by the order of the differential operator. Consider the Rees algebra which is a graded \({\textbf{C}}[\hbar ]\)-algebra and complete it in the \(\hbar \)-adic topology as well as with respect to the order filtration. We denote the completion by \({\widehat{{\textrm{D}}}}_\hbar (L_1)\). The algebra \({\widehat{{\textrm{D}}}}_\hbar (L_1)\) is flat over \({\textbf{C}}\llbracket \hbar \rrbracket \) and we have an isomorphism
of Poisson algebras. In particular, \({\widehat{{\textrm{D}}}}_\hbar (L_1)\) provides a deformation quantization of \({\widehat{{\textrm{T}}}}^* L_1\).
Proposition 4.11
There is an isomorphism of algebras
lifting a symplectomorphism \({\widehat{{\textrm{T}}}}^* L_1\cong {\widehat{X}}_{L_1}\).
Proof
By [19, Theorem 1.8] (which is valid for formal symplectic varieties as well) deformation quantizations \({\widehat{A}}\) of \({\widehat{{\textrm{T}}}}^* L_1\) are classified by their periods
If B is a deformation quantization of \({\widehat{{\textrm{T}}}}^*L_1\) which admits a module quantizing \(L_1\subset {\widehat{{\textrm{T}}}}^*L_1\), by [13, Theorem 1.1.4, Lemma 5.3.5] we have
where \(c_1(K_{L_1})\in {\textrm{H}}^2_{dR}(L_1)\) is the first Chern class of the canonical bundle of \(L_1\).
The algebras \({\widehat{{\textrm{D}}}}_\hbar (L_1)\) and \({\widehat{A}}\) are each deformation quantizations of \({\widehat{{\textrm{T}}}}^*L_1\). The \({\widehat{{\textrm{D}}}}_\hbar (L_1)\)-module \({\mathcal {O}}(L_1)\llbracket \hbar \rrbracket \) and the \({\widehat{A}}\)-module \(M_1\) are each deformation quantizations of the Lagrangian \(L_1\subset {\widehat{{\textrm{T}}}}^*L_1\). Hence, we have
By Lemma 4.9 this implies that \({\textrm{Per}}({\widehat{A}}) = {\textrm{Per}}({\widehat{{\textrm{D}}}}_\hbar (L_1))\). Therefore, the two deformation quantizations are isomorphic. \(\square \)
Unpacking the definitions, the lattice
is generated by functions f and \({\tilde{v}}=\hbar ^{-1}v\) for vector fields v. Therefore, we obtain an isomorphism
Remark 4.12
Note that \({\widehat{A}}_{L_1} / \hbar \cong {\textrm{D}}(L_1)\) is noncommutative while \({\widehat{A}}/\hbar \cong {\mathcal {O}}({\widehat{{\textrm{T}}}}^* L_1)\) is commutative. These are two different ways to take the \(\hbar \rightarrow 0\) limit of the algebra \({\widehat{A}}[\hbar ^{-1}]\).
Proposition 4.13
In the setup of Section 3.2, there is an \({\widehat{A}}_{L_1}\)-lattice \(N_2\) in the \({\widehat{A}}[\hbar ^{-1}]\)-module \({\widehat{M}}_2[\hbar ^{-1}]\) such that the \({\textrm{D}}(L_1)\)-module \(N_2/\hbar \) is holonomic.
Remark 4.14
In fact, as mentioned in [60, Lemma 7.1.12], the holonomicity of \(N_2/\hbar \) is independent of the choice of lattice. However, we will only need a single such choice.
Remark 4.15
Let us remark that Proposition 4.13 is essentially a special case of [60, Proposition 7.1.16]: the proofs in loc. cit are entirely algebraic in nature, and use only standard homological properties of D-modules and DQ-modules which hold as well in the algebraic setting as in the analytic. Because we are only interested in the case when the support of \({\widehat{M}}_2\) is Lagrangian, the argument can be somewhat simplified, but otherwise applies nearly verbatim in our setting.
We will require the following lemma concerning duality of \({\widehat{A}}\)-modules, which is the analog of [60, Proposition 2.3.11] in our setting (see also [58, Theorem 2.6.6 & D.4.3]).
Lemma 4.16
The cohomology of the complex of \({\widehat{A}}\)-modules
is concentrated in degree \(d=\dim (X)/2\). Moreover, we have an isomorphism of \({\widehat{A}}^{\textrm{op}}\)-modules
where \(M'\) is the finitely generated \({\hat{A}}\)-module defined by
Proof
The proof of this statement found in [60, Proposition 2.3.11] applies essentially verbatim in our situation, after replacing the sheaf of \({\textbf{C}}\llbracket \hbar \rrbracket \)-algebras \({\mathcal {A}}_X\) with the \({\textbf{C}}\llbracket \hbar \rrbracket \)-algebra \({\widehat{A}}\). The key ingredient is that the corresponding statements are true at the classical level (i.e. taking \(\hbar =0\)), which one can see by taking a Koszul resolution (locally) for \({\mathcal {O}}(L_2)\) as a \({\mathcal {O}}(X)\)-module, and completing at \(L_1\). \(\square \)
Proof of Proposition 4.13
Note that the results of Lemma 4.16 remain true after inverting \(\hbar \), as localization is exact. Thus we can write
The argument now runs in parallel to the second paragraph of the proof of [60, Proposition 7.1.16] (the reduction in the first paragraph is taken care of by Lemma 4.16).
Choosing an \({\widehat{A}}_{L_1}\)-lattice \(N'\) of \(M'[\hbar ^{-1}]\), we obtain a right \({\widehat{A}}_{L_1}\)-module
such that \(N''[\hbar ^{-1}]\cong {\widehat{M}}_2[\hbar ^{-1}]\). In particular, we have a morphism \(N''\rightarrow {\widehat{M}}_2[\hbar ^{-1}]\) and we define \(N_2\) to be the image, which is an \({\widehat{A}}_{L_1}\)-lattice of \({\widehat{M}}_2[\hbar ^{-1}]\).
In particular, we have a surjection \(N''/\hbar \rightarrow N_2/\hbar \) of \({\textrm{D}}(L_1)\)-modules, so the claim follows once we show that \(N''/\hbar \) is holonomic (as holonomicity is preserved by quotients). But \(N''/\hbar \) naturally embeds as a submodule of \({\textrm{Ext}}^d_{{\textrm{D}}(L_1)}(N'/\hbar , {\textrm{D}}(L_1))\) which is holonomic by [58, Theorem 2.6.7], and thus \(N''/\hbar \) is also holonomic as required. \(\square \)
We can now finish the proof of the main theorem of the section.
Proof of Theorem 4.6
By Proposition 4.13 choose \({\widehat{A}}_{L_1}\)-lattices \(N_1\) and \(N_2\) for \(M_1\) and \({\widehat{M}}_2\) respectively such that \(N_1'=N_1/\hbar \) and \(N_2/\hbar \) are holonomic \({\textrm{D}}(L_1)\)-modules. Consider the left \({\textrm{D}}(L_1)\)-module \(N_2' = {\mathbb {R}}{\textrm{Hom}}_{{\textrm{D}}(L_1)^{{\textrm{op}}}}(N_2/\hbar , {\textrm{D}}(L_1))\) which is also holonomic by [58, Corollary 2.6.8]. By [58, Lemma 2.6.13] we have
Applying [58, Corollary 2.6.15], by preservation of holonomicity ( [58, Theorem 3.2.3]) this is a bounded complex with finite-dimensional cohomology. Therefore, by Proposition 4.8 is a finite-dimensional
-vector space. \(\square \)
5 Applications
This section brings together the ingredients from the preceding three sections, to prove our main results.
5.1 Relative tensor product
Our first goal is to prove the tensor product formula for the skein module of a 3-manifold.
Let \(\Sigma \) be a connected closed oriented surface and \(N_1, N_2\) are oriented 3-manifolds with boundary such that \(\partial N_1\cong \Sigma \) and \(\partial N_2\cong \breve{\Sigma }\) and let
Choose a disk embedding \(\overline{{\mathbb {D}}}\hookrightarrow \Sigma \) and let \(\Sigma ^* = \Sigma \setminus \overline{{\mathbb {D}}}\). Let A denote \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}(\Sigma ^*)\), equipped with its quantum moment map (2).
Theorem 5.1
There is an isomorphism
![](http://media.springernature.com/lw352/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ171_HTML.png)
Proof
Let
be the relative skein modules for \(N_1\) and \(N_2\). By the TFT property (see Theorem 3.5) we have
![](http://media.springernature.com/lw367/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ172_HTML.png)
By Example 2.8 the relative tensor product defines a nondegenerate pairing between \(\widehat{{\textrm{SkCat}}_{\mathcal {A}}(\Sigma )}={\textrm{Fun}}({\textrm{SkCat}}_{\mathcal {A}}(\Sigma )^{{\textrm{op}}}, {\textrm{Vect}})\) and \({\textrm{Fun}}({\textrm{SkCat}}_{\mathcal {A}}(\Sigma ), {\textrm{Vect}})\). By Proposition 2.40 the functor
![](http://media.springernature.com/lw228/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ173_HTML.png)
defines a nondegenerate pairing between and
. In particular, it is enough to restrict all modules from \(\Sigma \) to \(\Sigma ^*\).
By definition the internal skein modules \({\textrm{Sk}}^{{\textrm{int}}}_{\mathcal {A}}(N_1)\) and \({\textrm{Sk}}^{{\textrm{int}}}_{\mathcal {A}}(N_2)\) are the images of \({\textrm{SkMod}}_{\mathcal {A}}(N_1)\) and \({\textrm{SkMod}}_{\mathcal {A}}(N_2)\) under the functors
![](http://media.springernature.com/lw467/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ174_HTML.png)
which send \({\mathcal {P}}(V)\mapsto A\otimes V\) and \({\mathcal {P}}(V)\mapsto V^*\otimes A\) respectively.
The claim is reduced to the commutativity of the diagram
![](http://media.springernature.com/lw305/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ175_HTML.png)
It is enough to check it on the generating objects \({\mathcal {P}}(V), {\mathcal {P}}(W)\) for \(V,W\in {\mathcal {A}}\). Their image under the evaluation pairing on \(\widehat{{\textrm{SkCat}}_{\mathcal {A}}(\Sigma ^*)}\) is
Similarly, their image under the evaluation pairing on is
![](http://media.springernature.com/lw445/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ176_HTML.png)
which is equivalent to the previous pairing using rigidity of \({\mathcal {A}}\). \(\square \)
In the case when \(\widehat{{\mathcal {A}}}\) has a trivial Müger center, the claim simplifies.
Corollary 5.2
Suppose \(\widehat{{\mathcal {A}}}\) has a trivial Müger center. Then there is an isomorphism
![](http://media.springernature.com/lw400/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ177_HTML.png)
Proof
Indeed, by Proposition 2.38
![](http://media.springernature.com/lw308/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ178_HTML.png)
since both internal skein modules are strongly equivariant. The claim then follows follows from Theorem 5.1 since the unit object of \({\mathcal {A}}\) is simple. \(\square \)
In the case of a Heegaard splitting, the relative tensor product formula simplifies.
Proposition 5.3
Suppose \(N_1, N_2\) are handlebodies. Then there is an isomorphism
![](http://media.springernature.com/lw300/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ179_HTML.png)
Proof
As before, by the TFT property (Theorem 3.5) we have
![](http://media.springernature.com/lw367/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ180_HTML.png)
By Lemma 3.34 the handlebody skein modules are cyclic. In particular, they are generated by invariants. The claim then follows from Proposition 2.15. \(\square \)
5.2 Skein category of the sphere
In this section we compute the skein category of \(S^2\).
Proposition 5.4
The free cocompletion of the skein category \({\textrm{SkCat}}_{\mathcal {A}}(S^2)\) is equivalent to the Müger center \({\textrm{Z}}_{{{\textrm{M}}{\ddot{\textrm{u}}}{\textrm{g}}}}(\widehat{{\mathcal {A}}})\).
Proof
Choose a disk embedding \(\overline{{\mathbb {D}}}\hookrightarrow S^2\) and let \({\mathbb {D}}^{{\textrm{out}}}= S^2 - \overline{{\mathbb {D}}}\). Then by Proposition 3.29 we may identify
![](http://media.springernature.com/lw256/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ181_HTML.png)
The internal skein algebra \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}({\mathbb {D}}^{{\textrm{out}}})\) is obtained by monadic reconstruction from the forgetful functor \({\textrm{SkCat}}_{\mathcal {A}}({\mathbb {D}}^{{\textrm{out}}})\rightarrow {\mathcal {A}}={\textrm{SkCat}}_{\mathcal {A}}({\mathbb {D}}^{{\textrm{out}}})\) which is the identity. Therefore, \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}({\mathbb {D}}^{{\textrm{out}}})\cong {\textbf{1}}\). The quantum moment map \(\mu :{\mathcal {F}}\rightarrow {\textbf{1}}\) is the map \({\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}({\mathbb {A}}{\textrm{nn}})\rightarrow {\textrm{SkAlg}}^{{\textrm{int}}}_{\mathcal {A}}({\mathbb {D}}^{{\textrm{out}}})\) obtained by embedding \({\mathbb {A}}{\textrm{nn}}\hookrightarrow {\mathbb {D}}^{{\textrm{out}}}\). This embedding sends the skein \(s_{V, W, f}\) (see Fig. 6) to a simple skein connecting V and W via f. Thus, the moment map in this case is simply the counit \(\epsilon :{\mathcal {F}}\rightarrow {\textbf{1}}\).
Thus,
![](http://media.springernature.com/lw180/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ182_HTML.png)
An object \(M\in \widehat{{\mathcal {A}}}\) is a strongly equivariant \({\textbf{1}}\)-module iff \({\textrm{triv}}_r(M)\) has the trivial left \({\mathcal {F}}\)-module structure. By Proposition 2.27 it is equivalent to the condition that M lies in the Müger center of \(\widehat{{\mathcal {A}}}\). \(\square \)
Recall from Definition 2.9 the notion of the zeroth Hochschild homology of a category.
Lemma 5.5
Let \(\Sigma \) be a closed oriented surface. Then
Proof
Considering the cylinder \(\Sigma \times [0, 1]\) as a bordism \(\Sigma \coprod \breve{\Sigma }\rightarrow \varnothing \), the relative skein module provides an evaluation pairing
Similarly, considering the same cylinder as a bordism \(\varnothing \rightarrow \breve{\Sigma }\coprod \Sigma \) we obtain a coevaluation pairing
Thus, \({\textrm{Sk}}_{\mathcal {A}}(\Sigma \times S^1)\) is given by the categorical dimension of \({\textrm{SkCat}}_{\mathcal {A}}(\Sigma )\) which by Remark 2.10 coincides with the zeroth Hochschild homology. \(\square \)
Let us now present some corollaries of the computation of the skein category of the sphere.
Corollary 5.6
For q not a root of unity the G-skein module \({\textrm{Sk}}_G(S^2\times S^1)\) is one-dimensional.
Proof
For q not a root of unity the Müger center of \({\textrm{Rep}}_q(G)\) is trivial (see Proposition 2.20), i.e.
Therefore, by Proposition 5.4 we get \({\textrm{SkCat}}_G(S^2)\cong {\textrm{Vect}}\) for q not a root of unity. Thus, by Lemma 5.5\({\textrm{Sk}}_G(S^2\times S^1)\) is one-dimensional. \(\square \)
Corollary 5.7
Let \(N_1\) and \(N_2\) be 3-manifolds. For q not a root of unity we have
Proof
Let \(B^3\) be the three-ball and denote \(N_1' = N_1\setminus B^3\) and \(N_2'=N_2\setminus B^3\). By the TFT property (Theorem 3.5) we have
By Propositions 5.4 and 2.20\(\widehat{{\textrm{SkCat}}_G(S^2)}\cong {\textrm{Vect}}\). In particular, any \({\textrm{SkCat}}_G(S^2)\)-module is generated by invariants. Thus, by Proposition 2.15 we get
The skein module \({\textrm{Sk}}_G(B^3)\) is isomorphic to the skein algebra \({\textrm{SkAlg}}_G({\mathbb {D}})\), which is one-dimensional. Therefore, applying the above formula for \(N_2 = S^3\) we get
Thus,
as required. \(\square \)
5.3 Finite-dimensionality
The goal of this section is to prove that the skein module of closed oriented 3-manifold is finite-dimensional for generic values of the quantization parameter. Recall that \({\textrm{Rep}}^{{\textrm{fd}}}_q(G)\) as a ribbon category is defined over the ring \(k={\textbf{Z}}[q^{1/d},q^{-1/d}])\) for some integer d.
Theorem 5.8
Let M be a closed oriented 3-manifold. The G-skein module \({\textrm{Sk}}_G(M)\) is a finite-dimensional \({\textbf{Q}}(q^{1/d})\)-vector space.
Proof
The dimension of the \({\textbf{Q}}(q^{1/d})\)-vector space coincides with the dimension of the
-vector space
, where \(q = \exp (\hbar )\). Denote by \({\textrm{Rep}}^{{\textrm{fd}}}_\hbar (G)\) the category of representations of the quantum group over \(k={\textbf{C}}\llbracket \hbar \rrbracket \), where each representation is a free \(k\)-module of finite rank. From now on we will drop the subscript \({\textrm{Rep}}^{{\textrm{fd}}}_\hbar (G)\) from our notations for skein modules and skein categories.
Choose a Heegaard splitting of M. Then we get a closed oriented surface \(\Sigma \) of genus g, a handlebody H such that \(\partial H\cong \Sigma \) and an orientation-preserving diffeomorphism \(\sigma :\Sigma \rightarrow \Sigma \), so that
Choose a disk embedding \(\overline{{\mathbb {D}}}\hookrightarrow \Sigma \) and let \(\Sigma ^*=\Sigma \setminus \overline{{\mathbb {D}}}\). Without loss of generality we may assume that \(\sigma \) restricts to an orientation-preserving diffeomorphism of \(\Sigma ^*\).
Let \({\textrm{Sk}}^{{\textrm{int}}}(H)\) be the internal skein module of H, which is a strongly equivariant left \({\textrm{SkAlg}}^{{\textrm{int}}}(\Sigma ^*)\)-module in \(\widehat{{\mathcal {A}}}\).
The diffeomorphism \(\sigma :\Sigma ^*\rightarrow \Sigma ^*\) defines an automorphism of \({\textrm{SkAlg}}^{{\textrm{int}}}(\Sigma ^*)\) (denoted by the same letter). Let \({\textrm{Sk}}^{{\textrm{int}}}(\breve{H})\) be the internal skein module of \(\breve{H}\), which is a strongly equivariant right \({\textrm{SkAlg}}^{{\textrm{int}}}(\Sigma ^*)\)-module in \(\widehat{{\mathcal {A}}}\). By Corollary 5.2 we obtain an isomorphism
![](http://media.springernature.com/lw403/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ183_HTML.png)
We will now apply the results of Sect. 4. As a Poisson scheme we take \(X = G^{2g}\) with the Fock–Rosly Poisson structure. Note that by [48, Theorem 2.14, Proposition 4.3] the open symplectic leaf of X is given by \(\mu ^{-1}(G^*)\), where the moment map \(\mu :G^{2g}\rightarrow G\) is given by
and \(G^*\subset G\) is the big Bruhat cell.
By Proposition 3.31\({\textrm{SkAlg}}^{{\textrm{int}}}(\Sigma ^*)\) is a flat deformation quantization of \({\mathcal {O}}(X)\). As an object of \({\textrm{Rep}}_\hbar (G)\), we may identify
Since \({\textrm{Rep}}_\hbar (G)\) is semisimple, we may identify
where V ranges over isomorphism classes of simple objects of \({\textrm{Rep}}_\hbar (G)\). Since each V is free of finite rank as a k-module, we conclude that \({\mathcal {O}}_\hbar (G)\) is \(\hbar \)-complete and has no \(\hbar \)-torsion. In a similar way, \({\textrm{SkAlg}}^{{\textrm{int}}}(\Sigma ^*)\) is \(\hbar \)-complete and has no \(\hbar \)-torsion.
By Theorem 3.32\({\textrm{Sk}}^{{\textrm{int}}}(H)\cong ({\mathcal {O}}_\hbar (G))^{\otimes g}\). In particular, it is \(\hbar \)-complete and without \(\hbar \)-torsion. Moreover, it is a deformation quantization of \(L_1 = G^g\subset G^{2g}\). The image of \(L_1\) under the moment map is \(1\in G\), so \(L_1\) is contained in the open symplectic leaf of \(G^{2g}\). As \(L_1\) is coisotropic and half-dimensional, it is Lagrangian. In a similar way, \(L_2 = \sigma (G^g)\) is also Lagrangian. We conclude that
![](http://media.springernature.com/lw282/springer-static/image/art%3A10.1007%2Fs00222-022-01167-0/MediaObjects/222_2022_1167_Equ184_HTML.png)
is a finite-dimensional -vector space using Theorem 4.6. \(\square \)
Corollary 5.9
The Kauffman bracket skein module \({\textrm{Sk}}(M)\) is a finite-dimensional \({\textbf{Q}}(A)\)-vector space.
Proof
By Proposition 3.10 we may identify \({\textrm{Sk}}(M)\cong {\textrm{Sk}}_{{\textrm{SL}}_2}(M)\) as \({\textbf{Q}}(A)\)-modules, where \(q=A^2\). The claim then follows from Theorem 5.8. \(\square \)
6 Discussion
In this section we collect some remarks about how our results fit in the context of topological field theory, character theory and instanton Floer homology for complex groups. We then discuss an approach for the computation of skein modules using computer algebra.
6.1 Topological field theory
In this paper we have used Walker’s skein 3-2 TFT for \({\mathcal {A}}\) a ribbon category to decompose \({\mathcal {A}}\)-skein modules on 3-manifolds in terms of a Heegaard splitting. Let us mention some related topological field theories.
-
(1)
Walker’s skein TFT for an arbitrary ribbon category is not defined on general 4-manifolds (however, the main result of this paper, Theorem 5.8, is that it is defined on 4-manifolds of the form \(S^1\times M^3\)). If we take \({\mathcal {A}}\) to be a modular tensor category, the theory becomes the Crane–Yetter–Kauffman TFT [31]. In fact, in the modular case the TFT is invertible, i.e. it assigns nonzero numbers to closed 4-manifolds, lines to closed 3-manifolds and so on. For example, one may take the modular tensor category associated to the quantum group \({\textrm{U}}_q{\mathfrak {g}}\) at a root of unity. In that setting, the 4-dimensional Crane–Yetter–Kauffman TFT carries a boundary theory given by the 3-dimensional Witten–Reshetikhin–Turaev TFT, a mathematical incarnation of Chern–Simons theory for the compact form of G. It seems natural to view Walker’s TFT associated to the ribbon category \({\textrm{Rep}}_q(G)\) with q generic in the context of analytically continued Chern-Simons theory as discussed in [95].
-
(2)
The work [18] constructs a 3-2-1-0 TFT for an arbitrary rigid braided tensor category. It is conjectured there that for semi-simple ribbon categories their construction coincides with Walker’s 3-2 TFT. This conjecture is now proved at the level of surfaces in [33]. However it still remains to compare the functors defined in [18] via invocation of the cobordism hypothesis with the concrete formulas from relative skein modules, and it also remains to exhibit Walker’s skein category approach as defining a fully local 3-2-1-0 TFT (in which case one might hope to invoke the uniqueness statement in the cobordism hypothesis). We expect that the techniques of blob homology [74] and the \(\beta \) version of factorization homology [3] might be useful to construct such an extension. We regard these as interesting directions of future inquiry. Note that an arbitrary ribbon category is not 4-dualizable, so it does not define a fully extended 4-dimensional TFT. To see this, consider the case \({\mathcal {A}}={\textrm{Rep}}^{{\textrm{fd}}}_q({\textrm{SL}}_2)\). Then \({\textrm{SkCat}}_{{\textrm{SL}}_2}(T^2)\) is not 2-dualizable since \({\textrm{SkAlg}}(T^2)\cong {\text {Hom}}_{{\textrm{SkCat}}_{{\textrm{SL}}_2}(T^2)}({\textbf{1}}, {\textbf{1}})\) is infinite-dimensional.
-
(3)
One may also consider the derived version of the TFT defined in [18] which to a point assigns a version of the derived category of representations of the quantum group. We believe that it is still 3-dualizable, so it should assign complexes to closed 3-manifolds which one may view as “derived skein modules”. However, we expect that for generic q the derived skein modules are unbounded complexes (i.e. infinite-dimensional), as opposed to the non-derived version.
-
(4)
Compactifying the 3-2-1-0 TFT for \({\textrm{Rep}}_q(G)\) on the circle, we obtain a 2-1-0 TFT which assigns to the point \({\text {HC}}_q(G)\), the monoidal category of q-Harish–Chandra bimodules (we refer to this as the q-G-character theory). This theory has a degeneration (the G-character theory) where we replace \({\text {HC}}_q(G)\) by \({\text {HC}}(G)\), the monoidal category of Harish–Chandra bimodules. The derived version of this TFT was studied in [14, 26]. See Sect. 6.2 below for further details.
-
(5)
Kapustin and Witten [62] have studied a topological twist (first described by Marcus in [71]) which is parametrized by a number \(t\in \textbf{CP}^1\) of the 4d \({\mathcal {N}}=4\) supersymmetric Yang–Mills theory (for a compact form of a complex simple simply-connected group G) with complexified coupling constant \(\tau \). They have shown that the corresponding topological field theory only depends on a combination of t and \(\tau \)
$$\begin{aligned} \Psi = \frac{\tau +{\overline{\tau }}}{2} + \frac{\tau -{\overline{\tau }}}{2}\left( \frac{t-t^{-1}}{t+t^{-1}}\right) \in \textbf{CP}^1 \end{aligned}$$and that the S-duality in the Yang–Mills theory after the twist is related to the geometric Langlands duality. We refer to [41] for a study of the spaces of classical solutions in this topological field theory from the perspective of derived algebraic geometry. We expect that for generic \(\Psi \) the space of states on a 3-manifold M in this TFT is related to the derived G-skein module for \(q=\exp \left( \frac{\pi i}{\Psi r_G}\right) \), where \(r_G\) is the lacing number (the ratio of the norm squared of the long root to that of the short root).
-
(6)
Vafa and Witten [92] have studied another topological twist (first described by Yamron in [96]) of the \({\mathcal {N}}=4\) supersymmetric 4d Yang–Mills theory. The restriction of the Vafa–Witten TFT and the \(t=0\) Kapustin–Witten TFT to 3-manifolds coincide (see [83, Section 5.3] and [40, Example 4.32]), so the previous remark applies to the Vafa–Witten theory as well.
6.2 Character theory
It was shown in [14] that the assignment of the derived category of G-Harish–Chandra bimodules to a point defines an oriented 2-1-0 TFT which to a closed 2-manifold \(\Sigma \) assigns the Borel–Moore homology of the G-character stack. By the remarks in Item 4 above one may thus consider the skein module \({\textrm{Sk}}_G(\Sigma \times S^1)\) as a q-deformation of the zeroth Borel-Moore homology of \({\textrm{Loc}}_G(\Sigma )\). It is natural to apply the same methods to study both invariants.
An interesting feature of the G-character theory (respectively q-G-character theory) is that it admits an additional continuous parameter, arising from the spectrum of the commutative algebra \({\textrm{U}}({\mathfrak {g}})^G\) (respectively \({\mathcal {O}}_q(G)^G\)) acting on Harish–Chandra bimodules. For example, fixing the generalized eigenvalues in the character theory to \(0 \in {\mathfrak {h}}/W = {\textrm{Spec}}({\textrm{U}}({\mathfrak {g}})^G)\) gives a theory (the unipotent character theory) which assigns the finite Hecke category to a point and the category of Lusztig’s unipotent character sheaves to a circle. Studying the q-analogue of these objects is an interesting area for further study (see [49] for a discussion of q-character sheaves).
The theories obtained by fixing the eigenvalues in the character theory appear to enjoy an extra degree of finiteness. One indicator of this is given by the truncated 2-sided cell fusion categories of [12, 67] (note that fusion categories define 3-2-1-0 TFTs [37]). Understanding the character theory as a family over this space of parameters is the subject of an ongoing project of the first author with David Ben-Zvi. An appropriate q-analogue of these ideas suggests that one can compute the dimensions of the skein modules for manifolds of the form \(\Sigma \times S^1\) using the 3-manifold invariants associated to certain fusion categories. It would be interesting to compare these predictions with the lower bounds for the dimensions of such skein modules given by Gilmer and Masbaum [50].
6.3 Complexified instanton Floer homology
Let \(\Sigma \) be a closed oriented surface. Then the skein algebra \({\textrm{SkAlg}}(\Sigma )\) is a deformation quantization of the Goldman (equivalently, Atiyah–Bott or Fock–Rosly) Poisson structure on the character variety \({\underline{{\textrm{Loc}}}}_{{\textrm{SL}}_2}(\Sigma )\) [11, 89], so that \({\textrm{SkAlg}}(\Sigma )|_{A=-1}\cong {\mathcal {O}}({\underline{{\textrm{Loc}}}}_{{\textrm{SL}}_2}(\Sigma ))\). In a similar way, we may view the skein category \({\textrm{SkCat}}(\Sigma )\) as a deformation quantization of the 0-shifted symplectic structure [80] on the character stack \({\textrm{Loc}}_{{\textrm{SL}}_2}(\Sigma )\), so that \(\widehat{{\textrm{SkCat}}(\Sigma )}|_{A=-1}\cong {\textrm{QCoh}}({\textrm{Loc}}_{{\textrm{SL}}_2}(\Sigma ))\).
Now consider a Heegaard splitting \(M = N_2\cup _{\Sigma } N_1\) of a closed oriented 3-manifold. The character stack \({\textrm{Loc}}_{{\textrm{SL}}_2}(M)\) in this case has a \((-1)\)-shifted symplectic structure and the restriction maps
are 0-shifted Lagrangian, so that we have a derived Lagrangian intersection
It was shown by Bullock [24] and Przytycki and Sikora [78] that the \(A=-1\) specialization of the skein module \({\textrm{Sk}}(M)\) is isomorphic to the algebra of functions \({\mathcal {O}}({\textrm{Loc}}_{{\textrm{SL}}_2}(M))\) on the character variety (equivalently, character stack). Passing to the derived level, we may view the derived skein module as a BV quantization [29, Section 7] of the \((-1)\)-shifted symplectic structure on the character stack \({\textrm{Loc}}_{{\textrm{SL}}_2}(M)\).
One model of such a BV quantization is constructed by Ben-Bassat, Brav, Bussi and Joyce [7] given the choice of orientation of \({\textrm{Loc}}_{{\textrm{SL}}_2}(M)\) (which is automatic in our context). Namely, using their results one may construct a perverse sheaf \({\mathcal {P}}^\bullet (M)\) on the classical stack \(t_0({\textrm{Loc}}_{{\textrm{SL}}_2}(M))\). We expect that the hypercohomology of this perverse sheaf is closely related to derived skein modules (in fact, we expect such a relationship to hold for any G).
A version of this approach was realized by Abouzaid and Manolescu [6]. Namely, they consider a subset \({\underline{{\textrm{Loc}}}}_{{\textrm{SL}}_2}^{irr}(\Sigma )\subset {\underline{{\textrm{Loc}}}}_{{\textrm{SL}}_2}(\Sigma )\) of irreducible local systems, which is a complex symplectic manifold. The image of the character varieties of handlebodies \({\underline{{\textrm{Loc}}}}_{{\textrm{SL}}_2}(L_1)\) and \({\underline{{\textrm{Loc}}}}_{{\textrm{SL}}_2}(L_2)\) in \({\underline{{\textrm{Loc}}}}_{{\textrm{SL}}_2}(\Sigma )\) then define Lagrangian subvarieties \(L_1, L_2\subset {\underline{{\textrm{Loc}}}}_{{\textrm{SL}}_2}^{irr}(\Sigma )\), so that
Given two Lagrangians \(L_1, L_2\) in a complex symplectic manifold X, Bussi [25] has constructed a perverse sheaf on \(t_0(L_2\times _X L_1) = L_2\cap L_1\) which is equivalent to the perverse sheaf of [7] on the derived Lagrangian intersection \(L_2\times _X L_1\). Using these results Abouzaid and Manolescu have constructed a perverse sheaf \(P^\bullet (M)\) on \({\underline{{\textrm{Loc}}}}_{{\textrm{SL}}_2}^{irr}(M)\) which they have shown is independent of the Heegaard splitting of M. The relationship between the hypercohomologies of \(P^\bullet (M)\) and \({\mathcal {P}}^\bullet (M)\) may thus be viewed as an \({\textrm{SL}}(2, {\textbf{C}})\)-version of the Atiyah–Floer conjecture.
Abouzaid and Manolescu also define a framed version \(HP^\bullet _\sharp (M)\) of their construction, corresponding to the derived intersection of Lagrangians inside the representation variety of the punctured surface. In forthcoming work of the first and third named authors, we will establish an equivalence between \(HP_\sharp (M)\) and the derived tensor product of internal skein modules as explained in Remark 1.
6.4 Computer algebra
Computers perform remarkably well as algebraists. As topologists, less so. The essential “3-dimensionality” in the definition of skein modules makes it very difficult to use computer algebra to study them: computer algebra packages are well equipped to work in one dimension—that is, to computing with non-commutative associative algebras and their modules, bimodules, etc, but how does one program into a computer a vector space spanned by links in a 3-manifold?
The relative tensor product formula of Corollary 1 provides a relatively straightforward and elementary algebraic “one-dimensional” algorithm for computing skein modules, as well as a theoretical proof that said algorithm terminates. To illustrate this and in order to generate new conjectures about skein modules and their dimensions, we have written a program in MAGMA to implement this algorithm. We have uploaded the source code here: http://www.maths.ed.ac.uk/~djordan/skeins.
Notes
After the present paper first appeared on the arXiv, Detcherry and Wolff proved that Gilmer and Masbaum’s lower bound is the dimension [39].
Recall that an object x in a locally presentable category \({\mathcal {C}}\) is compact projective if the functor \({\text {Hom}}_{\mathcal {C}}(x,-)\) commutes with arbitrary colimits in \({\mathcal {C}}\).
Such a B exists and is unique, as soon as d is divisible by the determinant of the Cartan matrix, so it is typical to fix that minimal choice for d, and suppress mention of B.
Here we assume without loss of generality that \({\mathbb {D}}\times \{0\}\subset \Sigma \times \{0\}\) and \({\mathbb {D}}\times \{1\}\subset \Sigma \times \{1\}\).
References
Ayala, D., Francis, J.: Factorization homology of topological manifolds. J. Topol. 8(4), 1045–1084 (2015)
Ayala, D., Francis, J.: A factorization homology primer
Ayala, D., Francis, J., Rozenblyum, N.: Factorization homology I: higher categories. Adv. Math. 333, 1042–1177 (2018)
Alekseev, A.Y., Grosse, H., Schomerus, V.: Combinatorial quantization of the Hamiltonian Chern–Simons theory. II. Comm. Math. Phys. 174(3), 561–604 (1996)
Amabel, A., Kalmykov, A., Müller, L., Tanaka, H.L.: Lectures on factorization homology, infinity-categories, and topological field theories
Abouzaid, M., Manolescu, C.: A sheaf-theoretic model for \({\rm SL}(2,{\mathbb{C}})\) floer homology
Ben-Bassat, O., Brav, C., Bussi, V., Joyce, D.: A ‘Darboux theorem’ for shifted symplectic structures on derived Artin stacks, with applications. Geom. Topol. 19(3), 1287–1359 (2015)
Ben-Zvi, D., Brochier, A., Jordan, D.: Integrating quantum groups over surfaces. J. Topol. 11(4), 873–916 (2018)
Ben-Zvi, D., Brochier, A., Jordan, D.: Quantum character varieties and braided module categories. Sel. Math. (N.S.) 24(5), 4711–4748 (2018)
Brandenburg, M., Chirvasitu, A., Johnson-Freyd, T.: Reflexivity and dualizability in categorified linear algebra. Theory Appl. Categ. 30(23), 808–835 (2015)
Bullock, D., Frohman, C., Kania-Bartoszyńska, J.: Understanding the Kauffman bracket skein module. J. Knot Theory Ramif. 8(3), 265–277 (1999)
Bezrukavnikov, R., Finkelberg, M., Ostrik, V.: Character \(D\)-modules via Drinfeld center of Harish–Chandra bimodules. Invent. Math. 188(3), 589–620 (2012)
Baranovsky, V., Ginzburg, V., Kaledin, D., Pecharich, J.: Quantization of line bundles on Lagrangian subvarieties. Sel. Math. (N.S.) 22(1), 1–25 (2016)
Ben-Zvi, D., Gunningham, S., Nadler, D.: The character field theory and homology of character varieties
Bird, G.: Limits in 2-categories of Locally-Presented Categories, Ph.D. thesis, University of Sydney (1984)
Brochier, A., Jordan, D.: Fourier transform for quantum \(D\)-modules via the punctured torus mapping class group. Quantum Topol. 8(2), 361–379 (2017)
Balagovic, M., Jordan, D.: The Harish–Chandra isomorphism for quantum \(GL_2\). J. Noncomput. Geom. 12(3), 1161–1197 (2018)
Brochier, A., Jordan, D., Snyder, N.: On dualizability of braided tensor categories
Bezrukavnikov, R., Kaledin, D.: Fedosov quantization in algebraic context. Mosc. Math. J. 4(3), 559–592, 782 (2004)
Ben-Zvi, D., Nadler, D.: Nonlinear traces
Borceux, F.: Handbook of Categorical Algebra. 1, Encyclopedia of Mathematics and its Applications, vol. 50, Cambridge University Press, Cambridge (1994), Basic Category Theory
Buffenoir, E., Roche, P.: Two-dimensional lattice gauge theory based on a quantum group. Comm. Math. Phys. 170(3), 669–698 (1995)
Bullock, D.: On the Kauffman bracket skein module of surgery on a trefoil. Pac. J. Math. 178(1), 37–51 (1997)
Bullock, D.: Rings of \({\rm SL}_2({ C})\)-characters and the Kauffman bracket skein module. Comment. Math. Helv. 72(4), 521–542 (1997)
Bussi, V.: Categorification of Lagrangian intersections on complex symplectic manifolds using perverse sheaves of vanishing cycles
Ben-Zvi, D., Nadler, D.: The character theory of a complex group
Carrega, A.: Nine generators of the skein space of the 3-torus. Algebr. Geom. Topol. 17(6), 3449–3460 (2017)
Calaque, D., Căldăraru, A., Junwu, T.: On the Lie algebroid of a derived self-intersection. Adv. Math. 262, 751–783 (2014)
Costello, K., Gwilliam, O.: Factorization Algebras in Quantum Field Theory, Vol. 2 (2016)
Cautis, S., Kamnitzer, J., Morrison, S.: Webs and quantum skew Howe duality. Math. Ann. 360(1–2), 351–390 (2014)
Crane, L., Kauffman, L.H., Yetter, D.N.: State-sum invariants of \(4\)-manifolds. J. Knot Theory Ramif. 6(2), 177–234 (1997)
Costantino, F., Lê, T.T.Q.: Stated skein algebras of surfaces
Cooke, J.: Factorisation Homology and Skein Categories of Surfaces, Ph.D. thesis, University of Edinburgh (2019)
Day, B.: Construction of Biclosed Categories, Ph.D. thesis, University of New South Wales (1970)
Detcherry, R.: Infinite Families of Hyperbolic 3-Manifolds with Finite Dimensional Skein Modules
Day, B., Street, R.: Monoidal bicategories and Hopf algebroids. Adv. Math. 129(1), 99–157 (1997)
Douglas, C.L., Schommer-Pries, C., Snyder, N.: Dualizable tensor categories
Dunn, G.: Lax operad actions and coherence for monoidal \(N\)-categories, \(A_\infty \) rings and modules. Theory Appl. Categ. 3(4), 50–84 (1997)
Detcherry, R., Wolff, M.: A basis for the Kauffman skein module of the product of a surface and a circle. Algebr. Geom. Topol. 21(6), 2959–2993 (2021)
Elliott, C., Safronov, P.: Topological twists of supersymmetric algebras of observables
Elliott, C., Yoo, P.: Geometric Langlands twists of \(N=4\) gauge theory from derived algebraic geometry. Adv. Theor. Math. Phys. 22(3), 615–708 (2018)
Faitg, M.: Holonomy and (Stated) Skein Algebras in Combinatorial Quantization (2020)
Frohman, C., Gelca, R.: Skein modules and the noncommutative torus. Trans. Am. Math. Soc. 352(10), 4877–4888 (2000)
Fiedorowicz, Z.: The Symmetric Bar Construction
Fock, V.V., Rosly, A.A.: Poisson Structure on Moduli of Flat Connections on Riemann Surfaces and the \(r\)-Matrix, Moscow Seminar in Mathematical Physics. American Mathematical Society Translations, 2, vol. 191, pp. 67–86. American Mathemqatical Society, Providence (1999)
Gilmer, P.M., Harris, J.M.: On the Kauffman bracket skein module of the quaternionic manifold. J. Knot Theory Ramif. 16(1), 103–125 (2007)
Gilmer, P.M.: On the Kauffman bracket skein module of the 3-torus. Indiana Univ. Math. J. 67(3), 993–998 (2018)
Ganev, I., Jordan, D., Safronov, P.: The quantum Frobenius for character varieties and multiplicative quiver varieties
Gunningham, S., Jordan, D., Vazirani, M.: Quantum springer theory (in preparation)
Gilmer, P.M., Masbaum, G.: On the skein module of the product of a surface and a circle
Gunningham, S.: Generalized Springer theory for \(D\)-modules on a reductive Lie algebra. Sel. Math. (N.S.) 24(5), 4223–4277 (2018)
Hartshorne, R.: On the de Rham cohomology of algebraic varieties. Publications Mathématiques de l’IHÉS 45, 5–99 (1975). ((en))
Harris, J.M.: The Kauffman bracket skein module of surgery on a \((2,2b)\) torus link. Pac. J. Math. 245(1), 119–140 (2010)
Haïoun, B.: Relating stated skein algebras and internal skein algebras (2021)
Holmes, A.: On the Skein Theory of 0-Framed Surgery Along the Trefoil Knot, Ph.D. thesis, Louisiana State University (2017)
Hoste, J., Przytycki, J.H.: The \((2,\infty )\)-skein module of lens spaces: a generalization of the Jones polynomial. J. Knot Theory Ramif. 2(3), 321–333 (1993)
Hoste, J., Przytycki, J.H.: The Kauffman bracket skein module of \(S^1\times S^2\). Math. Z. 220(1), 65–73 (1995)
Hotta, R., Takeuchi, K., Tanisaki, T.: \(D\)-Modules, Perverse Sheaves, and Representation Theory. Progress in Mathematics, vol. 236, Birkhäuser, Boston (2008), Translated from the 1995 Japanese edition by Takeuchi
Johnson-Freyd, T.: Heisenberg-picture quantum field theory
Kashiwara, M., Schapira, P.: Deformation quantization modules. Astérisque, (345), xii+147 (2012)
Kuperberg, G.: Spiders for rank \(2\) Lie algebras. Comm. Math. Phys. 180(1), 109–151 (1996)
Kapustin, A., Witten, E.: Electric-magnetic duality and the geometric Langlands program. Commun. Number Theory Phys. 1(1), 1–236 (2007)
Lê, T.T.Q.: Triangular decomposition of skein algebras. Quantum Topol. 9(3), 591–632 (2018)
Lofaro, W.F.: A Mayer–Vietoris theorem for the Kauffman bracket skein module. J. Knot Theory Ramif. 8(6), 721–729 (1999)
Lu, J.-H.: Momentum Mappings and Reduction Of Poisson Actions. Symplectic Geometry, Groupoids, and Integrable Systems (Berkeley, CA, 1989), Mathematical Sciences Research Institute Publications, vol. 20, pp. 209–226. Springer, New York (1991)
Lurie, J.: Higher algebra (2017)
Lusztig, G.: Cells in affine Weyl groups and tensor categories. Adv. Math. 129(1), 85–98 (1997)
Lusztig, G.: Introduction to Quantum Groups, Modern Birkhäuser Classics. Birkhäuser/Springer, New York (2010), Reprint of the 1994 edition
Lyubashenko, V.: Modular transformations for tensor categories. J. Pure Appl. Algebra 98(3), 279–327 (1995)
Majid, S.: Braided groups. J. Pure Appl. Algebra 86(2), 187–221 (1993)
Marcus, N.: The other topological twisting of \(N=4\) Yang–Mills. Nucl. Phys. B 452(1–2), 331–345 (1995)
McLendon, M.: Detecting torsion in skein modules using Hochschild homology. J. Knot Theory Ramif. 15(2), 259–277 (2006)
McLendon, M.: Traces on the skein algebra of the torus. Topol. Appl. 154(18), 3140–3144 (2007)
Morrison, S., Walker, K.: Blob homology. Geom. Topol. 16(3), 1481–1607 (2012)
Oblomkov, A.: Double affine Hecke algebras of rank 1 and affine cubic surfaces. Int. Math. Res. Not. 18, 877–912 (2004)
Przytycki, J.H.: Skein modules of 3-manifolds. Bull. Polish Acad. Sci. Math. 39(1–2), 91–100 (1991)
Przytycki, J.H.: Kauffman bracket skein module of a connected sum of 3-manifolds. Manuscr. Math. 101(2), 199–207 (2000)
Przytycki, J.H., Sikora, A.S.: On skein algebras and \({\rm Sl}_2({ C})\)-character varieties. Topology 39(1), 115–148 (2000)
Porta, M., Shaul, L., Yekutieli, A.: Cohomologically cofinite complexes. Comm. Algebra 43(2), 597–615 (2015)
Pantev, T., Toën, B., Vaquié, M., Vezzosi, G.: Shifted symplectic structures. Publ. Math. Inst. Hautes Études Sci. 117, 271–328 (2013)
Roche, P., Szenes, A.: Trace functionals on noncommutative deformations of moduli spaces of flat connections. Adv. Math. 168(2), 133–192 (2002)
Safronov, P.: Quantum moment maps
Setter, K.: Topological Quantum Field Theory and the Geometric Langlands Correspondence, Ph.D. thesis, California Institute of Technology (2013)
Sikora, A.S.: Skein theory for \({\rm SU}(n)\)-quantum invariants. Algebr. Geom. Topol. 5, 865–897 (2005)
Snyder, N., Tingley, P.: The half-twist for \(U_q({{\mathfrak{g} }})\) representations. Algebra Number Theory 3(7), 809–834 (2009)
Semenov-Tian-Shansky, M.A.: Poisson Lie Groups, Quantum Duality Principle, and the Quantum Double. Mathematical Aspects of Conformal and Topological Field Theories and Quantum Groups (South Hadley, MA, 1992), Contemporary Mathematics, vol. 175, pp. 219–248. American Mathematical Society, Providence (1994)
Tingley, P.: A minus sign that used to annoy me but now I know why it is there (two constructions of the Jones polynomial). In: Proceedings of the 2014 Maui and 2015 Qinhuangdao Conferences in Honour of Vaughan F. R. Jones’ 60th birthday. Proceedings of the Centre Mathematical Applications on Australian National University, vol. 46. The Australian National University, Canberra, pp. 415–427 (2017)
Turaev, V.G.: The Conway and Kauffman modules of a solid torus. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI). Issled. Topol. 167, 79–89 (1988)
Turaev, V.G.: Skein quantization of Poisson algebras of loops on surfaces. Ann. Sci. École Norm. Sup. (4) 24(6), 635–704 (1991)
Turaev, V.G.: Quantum Invariants of Knots and 3-Manifolds. De Gruyter Studies in Mathematics, vol. 18, , 3rd edn. De Gruyter, Berlin (2016)
Varagnolo, M., Vasserot, E.: Double affine Hecke algebras at roots of unity. Represent. Theory 14, 510–600 (2010)
Vafa, C., Witten, E.: A strong coupling test of \(S\)-duality. Nucl. Phys. B 431(1–2), 3–77 (1994)
Wahl, N.: Ribbon Braids and Related Operads, Ph.D. thesis, University of Oxford (2001)
Walker, K.: Tqfts
Witten, E.: Analytic Continuation of Chern–Simons Theory. Chern–Simons Gauge Theory: 20 Years After, AMS/IP Studies Advanced on Mathematics, vol. 50, pp. 347–446. American Mathematical Society, Providence (2011)
Yamron, P.J.: Topological actions from twisted supersymmetric theories. Phys. Lett. B 213(3), 325–330 (1988)
Acknowledgements
We would like to thank David Ben-Zvi, Adrien Brochier, Juliet Cooke, Theo Johnson-Freyd, Yanki Lekili, Gregor Masbaum, Du Pei, Francois Petit, Peter Samuelson, Noah Snyder and Monica Vazirani for many valuable conversations realted to this work. We are grateful to AIM San Jose, BIRS Oaxaca, CIRM Luminy, HIM Bonn, ICMS Edinburgh, QGM Aarhus, TSIMF Sanya, for hosting conferences where many of these conversations took place, and in particular to the ICMS Research in Groups program and the Aspen Center for Physics, for their hospitality during the writing stage. The work of S.G. and D.J. was supported by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme [grant agreement no. 637618]. The work of P.S. was supported by the NCCR SwissMAP grant of the Swiss National Science Foundation.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gunningham, S., Jordan, D. & Safronov, P. The finiteness conjecture for skein modules. Invent. math. 232, 301–363 (2023). https://doi.org/10.1007/s00222-022-01167-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-022-01167-0