The Kauffman bracket skein modules, S(M,A), have been calculated for A=+1,-1, for all 3-manifolds M by relating them to the SL(2,C)-character varieties. We extend this description to the case when A is a 4-th root of 1 and M is either a surface x [0,1] or a rational homology sphere (or its submanifold).
We obtain a family of skein identities in the Kauffman bracket skein module which relate Frobenius elements to Jones-Wenzl projectors at roots of unity. We view these skein identities as certain incarnations of Steinberg tensor product formulae from the theory of tilting modules of the quantum group $U_q(sl_2)$. We show that the simplest skein identities yield a short new proof of the existence of the Chebyshev-Frobenius homomorphism of Bonahon-Wong.
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…
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 reprove and expand results of Bonahon and Wong on central elements of the Kauffman bracket skein modules at root of 1 and on the existence of the Chebyshev homomorphism, using elementary skein methods.
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.
For each closed, orientable surface F, we construct a local, diffeomorphism invariant trace on the Kauffman bracket skein module K_t(F x [0,1]). The trace is defined when |t| is neither 0 nor 1, and at certain roots of unity. At t = - 1, the trace is integration against the symplectic measure on the SU(2) character variety of the fundamental group of F.
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$.
Graded spherical skein 2+1-G-HQFT and modified Turaev-Viro invariants
Institut de Mathématiques de Toulouse(图卢兹数学研究所);Utah State University(犹他州立大学);Univ Bretagne Sud, CNRS UMR 6205, LMBA(布列塔尼南部大学,法国国家科学研究中心联合研究单位6205,LMBA)
本文提出基于 G 分级的染色映射和 skein 模块,用于定义 2+1-G-HQFT,并恢复修改后的 Turaev-Viro 三维不变量。
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…
For A a primitive 2N-root of unity with N odd, the Witten-Reshetikhin-Turaev topological quantum field theory provides a representation of the Kauffman skein algebra of a closed surface. We show that this representation is irreducible and we compute its classical shadow, in the sense of earlier work of the authors (arXiv:1206.1638).
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 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.
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…
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 …
For a surface $F$, the Kauffman bracket skein module of $F \times [0,1]$, denoted $K(F)$, admits a natural multiplication which makes it an algebra. When specialized at a complex number $t$, nonzero and not a root of unity, we have $K_t(F)$, a vector space over $\mathbb{C}$. In this paper, we will use the product-to-sum formula of Frohman and Gelca to show that the vector space $K_t(T^2)$ has five distinct traces. One trace, the Yang-Mills measure, is obtained by picking off the coefficient of the empty skein. The other four traces on $K_t(T^2)$ correspond to each of the four $\mathbb{Z}_2$ ho…
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(芝加哥大学)
Let p an integer. We define a family of idempotents (and nilpotents) in the Temperley - Lieb algebras at 4p-th roots of unity which generalize the usual Jones-Wenzl idempotents. These new idempotents correspond to finite dimentional simple and projective indecomposable representations of the restricted quantum group Uqsl(2), where q is a 2p-th root of unity. In the manner of the [BHMV95] topological quantum field theorie (TQFT), they provide a canonical basis in colored skein modules to define mapping class groups representations. In the torus case, this basis allows us to obtain a partial mat…
We show how to define invariants of graphs related to quantum $\mathfrak{sl}(2)$ when the graph has more then one connected component and components are colored by blocks of representations with zero quantum dimensions.
In this article we construct link invariants and 3-manifold invariants from the quantum group associated with Lie superalgebra $\mathfrak{sl}(2|1)$. This construction based on nilpotent irreducible finite dimensional representations of quantum group $\mathcal{U}_ξ\mathfrak{sl}(2|1)$ where $ξ$ is a root of unity of odd order. These constructions use the notion of modified trace and relative $\mathit{G}$-modular category.
We study finite-dimensional representations of the Kauffman skein algebra of a surface S. In particular, we construct invariants of such irreducible representations when the underlying parameter q is a root of unity. The main one of these invariants is a point in the character variety consisting of group homomorphisms from the fundamental group of S to SL_2(C), or in a twisted version of this character variety. The proof relies on certain miraculous cancellations that occur for the quantum trace homomorphism constructed by the authors. These miraculous cancellations also play a fundamental rol…
There is a $p$-differential on the triply-graded Khovanov--Rozansky homology of knots and links over a field of positive characteristic $p$ that gives rise to an invariant in the homotopy category finite-dimensional $p$-complexes. A differential on triply-graded homology discovered by Cautis is compatible with the $p$-differential structure. As a consequence we get a categorification of the colored Jones polynomial evaluated at a $2p$th root of unity.
We give a diagrammatic presentation of the category of $\textbf{U}_q(\mathfrak{sl}_2)$-tilting modules $\mathfrak{T}$ for $q$ being a root of unity and introduce a grading on $\mathfrak{T}$. This grading is a "root of unity phenomenon" and might lead to new insights about link and $3$-manifold invariants deduced from $\mathfrak{T}$. We also give a diagrammatic category for the (graded) projective endofunctors on $\mathfrak{T}$, indicate how our results could generalize and collect some "well-known" facts to give a reasonably self-contained exposition.
We discuss different invariants of knots and links that depend on a primitive root of unity. We clarify the definitions of existing invariants with the Reshetikhin-Turaev method, present the generalization of ADO invariants to $\mathcal{U}_q(sl_N)$ and highlight the connections between different invariants.
For an arbitrary positive integer n, we construct infinitely many one-cusped hyperbolic 3-manifolds where each manifold's A-polynomial detects every n-th root of unity. This answers a question of Cooper, Culler, Gillet, Long, and Shalen as to which roots of unity arise in this manner.
This paper gives examples of hyperbolic 3-manifolds whose SL(2,C) character varieties have ideal points whose associated roots of unity are not 1 or -1. This answers a question of Cooper, Culler, Gillet, Long, and Shalen as to whether roots of unity other than 1 and -1 occur.
Let $N=2n^2-1$ or $N=n^2+n-1$, for any $n\ge 2$. Let $M=\frac{N-1}{2}$. We construct families of prime knots with Jones polynomials $(-1)^M\sum_{k=-M}^{M} (-1)^kt^k$. Such polynomials have Mahler measure equal to $1$. If $N$ is prime, these are cyclotomic polynomials $Φ_{2N}(t)$, up to some shift in the powers of $t$. Otherwise, they are products of such polynomials, including $Φ_{2N}(t)$. In particular, all roots of unity $ζ_{2N}$ occur as roots of Jones polynomials. We also show that some roots of unity cannot be zeros of Jones polynomials.