More Like this

1. Set Partitions, Fermions, and Skein Relations

   https://doi.org/10.1093/imrn/rnac110  

   Kim, Jesse ; Rhoades, Brendon ( May 2022 , International Mathematics Research Notices)

   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. Dimension and Trace of the Kauffman Bracket Skein Algebra

   https://doi.org/10.1090/btran/69  

   Frohman, Charles ; Kania-Bartoszynska, Joanna ; Lê, Thang ( July 2021 , Transactions of the American Mathematical Society, Series B)

   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. Quantum Cuntz-Krieger algebras

   https://doi.org/10.1090/btran/88  

   Brannan, Michael ; Eifler, Kari ; Voigt, Christian ; Weber, Moritz ( October 2022 , Transactions of the American Mathematical Society, Series B)

   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. Type 𝐼𝐼 quantum subgroups of 𝔰𝔩_{𝔑}. ℑ: Symmetries of local modules

   https://doi.org/10.1090/cams/19  

   Edie-Michell, Cain ( May 2023 , Communications of the American Mathematical Society)

   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. Spectrum of quantum KdV hierarchy in the semiclassical limit

   https://doi.org/10.1007/JHEP09(2022)169  

   Dymarsky, Anatoly ; Kakkar, Ashish ; Pavlenko, Kirill ; Sugishita, Sotaro ( September 2022 , Journal of High Energy Physics)

   We employ semiclassical quantization to calculate spectrum of quantum KdV charges in the limit of large central chargec. Classically, KdV chargesQ_2n−1generate completely integrable dynamics on the co-adjoint orbit of the Virasoro algebra. They can be expressed in terms of action variablesI_k, e.g. as a power series expansion. Quantum-mechanically this series becomes the expansion in 1/c, while action variables become integer-valued quantum numbersn_i. Crucially, classical expression, which is homogeneous inI_k, acquires quantum corrections that include terms of subleading powers inn_k. At first two non-trivial orders in 1/cexpansion these “quantum” terms can be fixed from the analytic form ofQ_2n−1acting on the primary states. In this way we find explicit expression for the spectrum ofQ_2n−1up to first three orders in 1/cexpansion. We apply this result to study thermal expectation values ofQ_2n−1and free energy of the KdV Generalized Gibbs Ensemble.

    

   more » « less