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 Catalandimensional 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.
QUANTUM TEICHMÜLLER SPACES AND QUANTUM TRACE MAP
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):
 1811114
 NSFPAR ID:
 10132774
 Date Published:
 Journal Name:
 Journal of the Institute of Mathematics of Jussieu
 Volume:
 18
 Issue:
 2
 ISSN:
 14747480
 Page Range / eLocation ID:
 249 to 291
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

Abstract 
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 WittenReshetikhinTuraev 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

Motivated by the theory of CuntzKrieger 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 CuntzKrieger 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 CuntzKrieger 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 CuntzKrieger 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 nonisomorphic 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 CuntzKrieger algebras in general.more » « less

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 autoequivalences 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 nonexceptional except for four cases (up to levelrank 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 levelrank 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 autoequivalences 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 autoequivalences 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

For a finiteindex [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 tracepreserving 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 finiteindex depthtwo 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