Math. Z. to appear, 2nd version updated by a discussion of a relation of this work to Fock-Goncharov-Shen theory and by references to preprints which appeared since the original submission. 32 pages
The $SU_3$-skein algebra of a surface $F$ is spanned by isotopy classes of certain framed graphs in $F\times I$ called $3$-webs subject to the skein relations encapsulating relations between $U_q(sl(3))$-representations. These skein algebras are quantizations of the $SL(3)$-character varieties of surfaces. It is expected that their theory parallels that of the Kauffman bracket skein algebras. We make the first step towards developing that theory by proving that the reduced $SU_3$-skein algebra of any surface of finite type is finitely generated.
We achieve that result by developing a theory of canonical forms of webs in surfaces. Specifically, we show that for any ideal triangulation of $F$ every reduced $3$-web can be uniquely decomposed into unions of pyramid formations of hexagons and disjoint arcs in the faces of the triangulation with possible additional "crossbars" connecting their edges along the ideal triangulation. We show that such canonical position is unique up to "crossbar moves". That leads us to an associated system of coordinates for webs in triangulated surfaces (counting intersections of the web with the edges of the triangulation and their rotation numbers inside of the faces of the triangulation) which determine a reduced web uniquely.
Finally, we relate our skein algebras to $\cal A$-varieties of Fock-Goncharov and to $\text{Loc}_{SL(3)}$-varieties of Goncharov-Shen. We believe that our coordinate system for webs is a manifestation of a (quantum) mirror symmetry conjectured by Goncharov-Shen.
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…
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.
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 show that the Kauffman bracket skein algebra of any oriented surface F (possibly with marked points in its boundary) has no zero divisors and that its center is generated by knots parallel to the unmarked components of the boundary of F. Furthermore, we show that skein algebras are Noetherian and Ore. Our proofs rely on certain filtrations of skein algebras induced by pants decompositions of surfaces. We prove some basic algebraic properties of the associated graded algebras along the way.
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…
This paper is focused on the structure of the Kauffman bracket skein algebra of a punctured surface at roots of unity. A criterion that determines when a collection of skeins forms a basis of the skein algebra as an extension over the $SL(2,{\mathbb C})$ characters of the fundamental group of the surface, with appropriate localization is given. This is used to prove that when the algebra is localized so that every nonzero element of the center has a multiplicative inverse, that it is a division algebra. Finally, it is proved that the localized skein algebra can be split over its center as a te…
The Hecke algebra H_n contains well known idempotents E_λ which are indexed by Young diagrams with n cells. They were originally described by Gyoja. A skein theoretical description of E_λ was given by Aiston and Morton. The closure of E_λ becomes an element Q_λ of the skein of the annulus. In this skein, they are known to obey the same multiplication rule as the symmetric Schur functions s_λ. But previous proofs of this fact used results about quantum groups which were far beyond the scope of skein theory. Our elementary proof uses only skein theory and basic algebra.
This paper resolves the unicity conjecture of Bonahon and Wong for the Kauffman bracket skein algebras of all oriented finite type surfaces at all roots of unity. The proof is a consequence of a general unicity theorem that says that the irreducible representations of a prime affine $k$-algebra over an algebraically closed field $k$, that is finitely generated as a module over its center, are generically classified by their central characters. The center of the Kauffman bracket skein algebra of any orientable surface at any root of unity is characterized, and it is proved that the skein algebr…
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…
Algebra Situs is a branch of mathematics which has its roots in Jones' construction of his polynomial invariant of links and Drinfeld's work on quantum groups. It encompasses the theory of quantum invariants of knots and 3-manifolds, algebraic topology based on knots, operads, planar algebras, q-deformations, quantum groups, and overlaps with algebraic geometry, non-commutative geometry and statistical mechanics. Algebraic topology based on knots may be characterized as a study of properties of manifolds by considering links (submanifolds) in a manifold and their algebraic structure. The main …
We discuss and develop a systematic method to compute the Poisson center (Casimir) of various Poisson algebras associated to loops on orientable surfaces (possibly with boundary and punctures) introduced by Goldman and Wolpert in 80's while studying Thurston's earthquakes deformations. Our computation extends a result of Etingof to all finite type hyperbolic surfaces. We use these methods to compute the center of various skein algebras introduced by Turaev for the quantization of these Poisson algebras. As another application of our results we compute the center of homotopy skein algebra intro…
In this paper we study the skein algebras of marked surfaces and the skein modules of marked 3-manifolds. Muller showed that skein algebras of totally marked surfaces may be embedded in easy to study algebras known as quantum tori. We first extend Muller's result to permit marked surfaces with unmarked boundary components. The addition of unmarked components allows us to develop a surgery theory which enables us to extend the Chebyshev homomorphism of Bonahon and Wong between skein algebras of unmarked surfaces to a "Chebyshev-Frobenius homomorphism" between skein modules of marked 3-manifolds…
Let $F$ be a finite type surface and $ζ$ a complex root of unity. The Kauffman bracket skein algebra $K_ζ(F)$ is an important object in both classical and quantum topology as it has relations to the character variety, the Teichmüller space, the Jones polynomial, and the Witten-Reshetikhin-Turaev Topological Quantum Field Theories. We compute the rank and trace of $K_ζ(F)$ over its center, and we extend a theorem of Frohman and Kania-Bartoszynska which says the skein algebra has a splitting coming from two pants decompositions of $F$.
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 define a (co-)Poisson (co)algebra of curves on a bordered surface. A bordered surface is a surface whose boundary have marked points. Curves on the bordered surface are oriented loops and oriented arcs whose endpoints in the set of marked points. We define a (co-)Poisson (co)bracket on the symmetric algebra of a quotient of the vector space spanned by the regular homotopy classes of curves on the bordered surface by generalizing the Goldman bracket and the Turaev cobracket. Moreover, we define a Poisson algebra of unoriented curves on a bordered surface and show that a quantization of the P…
When $A$ in the Kauffman bracket skein relation is a primitive $2N$th root of unity, where $N\geq 3$ is odd, the Kauffman bracket skein algebra $K_N(F)$ of a finite type surface $F$ is a ring extension of the $SL_2\mathbb{C}$-characters $χ(F)$ of the fundamental group of $F$. We localize by inverting the nonzero characters to get an algebra $S^{-1}K_N(F)$ over the function field of the character variety. We prove that if $F$ is noncompact, the algebra $S^{-1}K_N(F)$ is a symmetric Frobenius algebra. Along the way we prove $K(F)$ is finitely generated, $K_N(F)$ is a finite rank module over $χ(F…
We study the structure of the Kauffman algebra of a surface with parameter equal to sqrt(-1). We obtain an interpretation of this algebra as an algebra of parallel transport operators acting on sections of a line bundle over the moduli space of flat connections in a trivial SU(2)-bundle over the surface. We analyse the asymptotics of traces of curve-operators in TQFT in non standard regimes where the root of unity parametrizing the TQFT accumulates to a root of unity. We interpret the case of sqrt(-1) in terms of parallel transport operators.
Based on hyperbolic geometric considerations, Roger and Yang introduced an extension of the Kauffman bracket skein algebra that includes arcs. In particular, their skein algebra is a deformation quantization of a certain commutative curve algebra, and there is a Poisson algebra homomorphism between the curve algebra and the algebra of smooth functions on decorated Teichmuller space. In this paper, we consider surfaces with punctures which is not the 3-holed sphere and which have an ideal triangulation without self-folded edges or triangles. For those surfaces, we prove that Roger and Yang's Po…
We give an explicit formula for the action of the Dehn twist along a simple closed curve in a compact connected oriented surface on the completion of the filtered skein modules. To do this, we introduce filtrations of the Kauffman bracket skein algebra and the Kauffman bracket skein modules on the surface.
We show that the action of the Kauffman bracket skein algebra of a surface $Σ$ on the skein module of the handlebody bounded by $Σ$ is faithful if and only if the quantum parameter is not a root of 1.
The skein algebra of an oriented $3$-manifold is a classical limit of the Kauffman bracket skein module and gives the coordinate ring of the $SL_2(\mathbb{C})$-character variety. In this paper we determine the quotient of a polynomial ring which is isomorphic to the skein algebra of a group with three generators and two relators. As an application, we give an explicit formula for the skein algebra of the Borromean rings complement in $S^3$.
We use the topological invariant of spatial graphs introduced by S. Yamada to find necessary conditions for a spatial graph to be periodic with a prime period. The proof of the main result is based on computing the Yamada skein algebra of the solid torus then proving that this algebra injects into the Kauffman bracket skein algebra of the solid torus.
We investigate aspects of Kauffman bracket skein algebras of surfaces and modules of 3-manifolds using quantum torus methods. These methods come in two flavors: embedding the skein algebra into a quantum torus related to quantum Teichmuller space, or filtering the algebra and obtaining an associated graded algebra that is a monomial subalgebra of a quantum torus. We utilize the former method to generalize the Chebyshev homomorphism of Bonahon and Wong between skein algebras of surfaces to a Chebyshev-Frobenius homomorphism between skein modules of marked 3-manifolds, in the course of which we …
We prove that the Kauffman bracket skein algebra of a cylinder over a surface with boundary, defined over complex numbers, is isomorphic to the observables of an appropriate lattice gauge field theory.
We give a survey of some old and new results about the stated skein modules/algebras of 3-manifolds/surfaces. For generic quantum parameter, we discuss the splitting homomorphism for the 3-manifold case, general structures of the stated skein algebras of marked surfaces (or bordered punctured surfaces) and their embeddings into quantum tori. For roots of 1 quantum parameter, we discuss the Frobenius homomorphism (for both marked 3-manifolds and marked surfaces), describe the center of the skein algebra of marked surfaces, the dimension of the skein algebra over the center, and the representati…
We determine the action of the Kauffman bracket skein algebra of the torus on the Kauffman bracket skein module of the complement of the 3-twist knot. The point is to study the relationship between knot complements and their boundary tori, an idea that has proved very fruitful in knot theory. We place this idea in the context of Chern-Simons theory, where such actions arose in connection with the computation of the noncommutative version of the A-polynomial that was defined by Frohman, Gelca and Lofaro, but they can also be interpreted as quantum mechanical systems. Our goal is to exhibit a de…
These lecture notes concern the algebraic geometry of the character variety of a finitely generated group in SL(2,C) from the point of view of skein modules. We focus on the case of surface and 3-manifolds groups and construct the Reidemeister torsion as a rational volume form on the character variety.
The Murphy operators in the Hecke algebra H_n of type A are explicit commuting elements, whose symmetric functions are central in H_n. In [Skein theory and the Murphy operators, J. Knot Theory Ramif. 11 (2002), 475-492] I defined geometrically a homomorphism from the Homfly skein C of the annulus to the centre of each algebra H_n, and found an element P_m in C, independent of n, whose image, up to an explicit linear combination with the identity of H_n, is the m-th power sum of the Murphy operators. The aim of this paper is to give simple geometric representatives for the elements P_m, and to …
A homology cylinder of a surface induces an automorphism of the completed group ring of the fundamental group of the surface. We introduce a new method of computing the automorphism by using the Goldman Lie algebra of the surface or some skein algebra. In particular, we give a refinement of a formula by Kuno and Massuyeau.
We study the algebraic and geometric properties of stated skein algebras of surfaces with punctured boundary. We prove that the skein algebra of the bigon is isomorphic to the quantum group ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ providing a topological interpretation for its structure morphisms. We also show that its stated skein algebra lifts in a suitable sense the Reshetikhin-Turaev functor and in particular we recover the dual $R$-matrix for ${\mathcal O}_{q^2}(\mathrm{SL}(2))$ in a topological way. We deduce that the skein algebra of a surface with $n$ boundary components is an algebra-como…
University of California, Los Angeles（加州大学洛杉矶分校）；University of California, Irvine（加州大学尔湾分校）；University of California, Santa Barbara（加州大学圣塔芭芭拉分校）；University of California, San Diego（加州大学圣地亚哥分校）；University of Oxford（牛津大学）；University of Chicago（芝加哥大学）
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…
