skip to main content

We show how the quantum trace map of Bonahon and Wong can be constructed in a natural way using the skein algebra of Muller, which is an extension of the Kauffman bracket skein algebra of surfaces. We also show that the quantum Teichmüller space of a marked surface, defined by Chekhov–Fock (and Kashaev) in an abstract way, can be realized as a concrete subalgebra of the skew field of the skein algebra.  more » « less
Award ID(s):
Author(s) / Creator(s):
Date Published:
Journal Name:
Journal of the Institute of Mathematics of Jussieu
Page Range / eLocation ID:
249 to 291
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    Let $\Theta _n = (\theta _1, \dots , \theta _n)$ and $\Xi _n = (\xi _1, \dots , \xi _n)$ be two lists of $n$ variables, and consider the diagonal action of ${{\mathfrak {S}}}_n$ on the exterior algebra $\wedge \{ \Theta _n, \Xi _n \}$ generated by these variables. Jongwon Kim and the 2nd author defined and studied the fermionic diagonal coinvariant ring$FDR_n$ obtained from $\wedge \{ \Theta _n, \Xi _n \}$ by modding out by the ideal generated by the ${{\mathfrak {S}}}_n$-invariants with vanishing constant term. On the other hand, the 2nd author described an action of ${{\mathfrak {S}}}_n$ on the vector space with basis given by noncrossing set partitions of $\{1,\dots ,n\}$ using a novel family of skein relations that resolve crossings in set partitions. We give an isomorphism between a natural Catalan-dimensional submodule of $FDR_n$ and the skein representation. To do this, we show that set partition skein relations arise naturally in the context of exterior algebras. Our approach yields an ${{\mathfrak {S}}}_n$-equivariant way to resolve crossings in set partitions. We use fermions to clarify, sharpen, and extend the theory of set partition crossing resolution.

    more » « less
  2. Let F F be a finite type surface and ζ \zeta a complex root of unity. The Kauffman bracket skein algebra K ζ ( F ) K_\zeta (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 ) K_\zeta (F) over its center, and we extend a theorem of the first and second authors in [Math. Z. 289 (2018), pp. 889–920] which says the skein algebra has a splitting coming from two pants decompositions of F F . 
    more » « less
  3. Motivated by the theory of Cuntz-Krieger algebras we define and study C ∗ C^\ast -algebras associated to directed quantum graphs. For classical graphs the C ∗ C^\ast -algebras obtained this way can be viewed as free analogues of Cuntz-Krieger algebras, and need not be nuclear. We study two particular classes of quantum graphs in detail, namely the trivial and the complete quantum graphs. For the trivial quantum graph on a single matrix block, we show that the associated quantum Cuntz-Krieger algebra is neither unital, nuclear nor simple, and does not depend on the size of the matrix block up to K K KK -equivalence. In the case of the complete quantum graphs we use quantum symmetries to show that, in certain cases, the corresponding quantum Cuntz-Krieger algebras are isomorphic to Cuntz algebras. These isomorphisms, which seem far from obvious from the definitions, imply in particular that these C ∗ C^\ast -algebras are all pairwise non-isomorphic for complete quantum graphs of different dimensions, even on the level of K K KK -theory. We explain how the notion of unitary error basis from quantum information theory can help to elucidate the situation. We also discuss quantum symmetries of quantum Cuntz-Krieger algebras in general. 
    more » « less
  4. This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . In this work we classify the braided auto-equivalences of the categories of local modules for all known type I I quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . We find that the symmetries are all non-exceptional except for four cases (up to level-rank duality). These exceptional cases are the orbifolds C ( s l 2 , 16 ) Rep ⁡ ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep ⁡ ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep ⁡ ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep ⁡ ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})} . We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal level-rank duality in the type D D - D D case, which is used to construct one of the exceptionals. We uncover an unexpected connection between quadratic categories and exceptional braided auto-equivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided auto-equivalences to construct the corresponding type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . This will essentially finish the type I I II classification for s l n \mathfrak {sl}_n modulo type I I classification. When paired with Gannon’s type I I classification for r ≤ 6 r\leq 6 , our results will complete the type I I II classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . 
    more » « less
  5. For a finite-index [Formula: see text] subfactor [Formula: see text], we prove the existence of a universal Hopf ∗-algebra (or, a discrete quantum group in the analytic language) acting on [Formula: see text] in a trace-preserving fashion and fixing [Formula: see text] pointwise. We call this Hopf ∗-algebra the quantum Galois group for the subfactor and compute it in some examples of interest, notably for arbitrary irreducible finite-index depth-two subfactors. Along the way, we prove the existence of universal acting Hopf algebras for more general structures (tensors in enriched categories), in the spirit of recent work by Agore, Gordienko and Vercruysse. 
    more » « less