We provide finite presentations for stated skein algebras and deduce that those algebras are Koszul and that they are isomorphic to the quantum moduli algebras appearing in lattice gauge field theory, generalizing previous results of Bullock, Frohman, Kania-Bartoszynska and Faitg.
We study the stated skein modules of marked 3-manifolds. We generalize the splitting homomorphism for stated skein algebras of surfaces to a splitting homomorphism for stated skein modules of 3-manifolds. We show that there exists a Chebyshev-Frobenius homomorphism for the stated skein modules of 3-manifolds which extends the Chebyshev homomorphism of the skein algebras of unmarked surfaces originally constructed by Bonahon and Wong. Additionally, we show that the Chebyshev-Frobenius map commutes with the splitting homomorphism. This is then used to show that in the case of the stated skein al…
We give an $SL_3$ analogue of the triangular decomposition of the Kauffman bracket stated skein algebras described by Le. To any punctured bordered surface, we associate an $SL_3$ stated skein algebra which contains the $SL_3$ skein algebra of closed webs. These algebras admit natural algebra morphisms associated to the splitting of surfaces along ideal arcs. We give an explicit basis for the $SL_3$ stated skein algebra and show that the splitting morphisms are injective and describe their images. By splitting a surface along the edges of an ideal triangulation, we see that the $SL_3$ stated s…
We give an explicit correspondence between stated skein algebras, which are defined via explicit relations on stated tangles in [Costantino F., Lê T.T.Q., arXiv:1907.11400], and internal skein algebras, which are defined as internal endomorphism algebras in free cocompletions of skein categories in [Ben-Zvi D., Brochier A., Jordan D., J. Topol. 11 (2018), 874-917, arXiv:1501.04652] or in [Gunningham S., Jordan D., Safronov P., arXiv:1908.05233]. Stated skein algebras are defined on surfaces with multiple boundary edges and we generalise internal skein algebras in this context. Now, one needs t…
We describe presentations of the Roger-Yang generalized skein algebras for punctured spheres with an arbitrary number of punctures. This skein algebra is a quantization of the decorated Teichmuller space and generalizes the construction of the Kauffman bracket skein algebra. In this paper, we also obtain a new interpretation of the homogeneous coordinate ring of the Grassmannian of planes in terms of skein theory.
We construct finite-dimensional projective representations of the mapping class groups of compact connected oriented surfaces having one boundary component using stated skein algebras.
We relate the Kauffman bracket stated skein modules to two independent constructions of quantum representation spaces of Habiro and Van der Veen with the second author. We deduce from this relation a description of the classical limit of stated skein modules, a quantum Van Kampen theorem and a quantum HNN extension theorem for stated skein modules and obtain a new description of the skein modules of mapping tori and links exteriors.
By introducing a finer version of the Kauffman bracket skein algebra, we show how to decompose the Kauffman bracket skein algebra of a surface into elementary blocks corresponding to the triangles in an ideal triangulation of the surface. The new skein algebra of an ideal triangle has a simple presentation. This gives an easy proof of the existence of the quantum trace map of Bonahon and Wong. We also explain the relation between our skein algebra and the one defined by Muller, and use it to show that the quantum trace map can be extended to the Muller skein algebra.
For each Frobenius algebra there is defined a skein module of surfaces embedded in a given 3-manifold and bounding a prescribed curve system in the boundary. The skein relations are local and generate the kernel of a certain natural extension of the corresponding topological quantum field theory. In particular the skein module of the 3-ball is isomorphic to the ground ring of the Frobenius algebra. We prove a presentation theorem for the skein module with generators incompressible surfaces colored by elements of a generating set of the Frobenius algebra, and with relations determined by tubing…
We give a presentation of the Kauffman (BMW) skein algebra of the torus, which is the "type BCD" analogue of the Homflypt skein algebra of torus which was computed by the first and third authors. In the appendix we show this presentation is compatible with the Frohman-Gelca description of the Kauffman bracket (Temperley-Lieb) skein algebra of the torus [FG00].
The algebra $\mathcal{L}_{g,n}(H)$ was introduced by Alekseev-Grosse-Schomerus and Buffenoir-Roche and quantizes the character variety of the Riemann surface $Σ_{g,n}\!\setminus\! D$ ($D$ is an open disk). In this article we define a holonomy map in that quantized setting, which associates a tensor with components in $\mathcal{L}_{g,n}(H)$ to tangles in $(Σ_{g,n}\!\setminus\!D) \times [0,1]$, generalizing previous works of Buffenoir-Roche and Bullock-Frohman-Kania-Bartoszynska. We show that holonomy behaves well for the stack product and the action of the mapping class group; then we specializ…
We describe an explicit finite presentation for a finite depth subfactor planar algebra. We also show that such planar algebras are singly generated with the generator subject to finitely many relations.
This is a survey article describing the various ways in which the Kauffman bracket skein module is a quantization of surface group characters. These include a purely heuristic sense of deformation of a presentation, a Poisson quantization, and a lattice gauge field theory quantization.
We give a generators and relations presentation of the HOMFLYPT skein algebra $H$ of the torus $T^2$, and we give an explicit description of the module corresponding to the solid torus. Using this presentation, we show that $H$ is isomorphic to the $t=q$ specialization of the elliptic Hall algebra of Burban and Schiffmann [BS12]. As an application, for an iterated cable $K$ of the unknot, we use the elliptic Hall algebra to construct a 3-variable polynomial that specializes to the $λ$-colored Homflypt polynomial of $K$. We show that this polynomial also specializes to one constructed by Chered…
Based on the presentation of the Kauffman bracket skein module of the torus given by the third author in previous work, Charles D. Frohman and Răzvan Gelca established a complete description of the multiplicative operation leading to a famous product-to-sum formula. In this paper, we study the multiplicative structure of the Kauffman bracket skein algebra of the thickened four-holed sphere. We present an algorithm to compute the product of any two elements of the algebra, and give an explicit formula for some families of curves. We surmise that the algorithm has quasi-polynomial growth with re…
We describe, for a few small examples, the Kauffman bracket skein algebra of a surface crossed with an interval. If the surface is a punctured torus the result is a quantization of the symmetric algebra in three variables (and an algebra closely related to a cyclic quantization of $U(so_3$). For a torus without boundary we obtain a quantization of "the symmetric homologies" of a torus (equivalently, the coordinate ring of the $SL_2(C)$-character variety of $Z \oplus Z$). Presentations are also given for the four punctured sphere and twice punctured torus. We conclude with an investigation of c…
In this work, we extend some results from the Kauffman bracket and HOMFLYPT skein theories to the Kauffman (Dubrovnik) skein theory. A definition is given for ``power sum" type elements $\widetilde{P}_k$ in the Dubrovnik skein algebra of the annulus $\mathcal{D}(A)$. These elements generalize the Chebyshev polynomials often used when studying Kauffman bracket skein algebras. Threadings of the $\widetilde{P}_k$ are used as generators in a presentation of the Dubrovnik skein algebra of the torus $\mathcal{D}(T^2)$, where they are shown to satisfy simple relations. This description of $\mathcal{D…
We develop an explicit skein theoretical algorithm to compute the Alexander polynomial of a 3-manifold from a surgery presentation employing the methods used in the construction of quantum invariants of 3-manifolds. As a prerequisite we establish and prove a rather unexpected equivalence between the topological quantum field theory constructed by Frohman and Nicas using the intersection homology of U(1)-representation varieties on the one side and the combinatorially constructed Hennings-TQFT based on the quasitriangular Hopf algebra ${\cal N}=\Z/2\ltimes \ext *\R^2$ on the other side. We find…
Starting from a finite-dimensional representation of the Yangian $Y(\mathfrak{g})$ for a simple Lie algebra $\mathfrak{g}$ in Drinfeld's original presentation, we construct a Hopf algebra $X_\mathcal{I}(\mathfrak{g})$, called the extended Yangian, whose defining relations are encoded in a ternary matrix relation built from a specific $R$-matrix $R(u)$. We prove that there is a surjective Hopf algebra morphism $X_\mathcal{I}(\mathfrak{g})\twoheadrightarrow Y(\mathfrak{g})$ whose kernel is generated as an ideal by the coefficients of a central matrix $\mathcal{Z}(u)$. When the underlying represe…
