Trialities of orthosymplectic W -algebras

DOI10.1016/J.AIM.2022.108678MaRDI QIDQ2089649zbMATH OpenOpenAlexWikidataFDO

Authors Thomas Creutzig, Andrew R. Linshaw

Publication date 24 October 2022

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2102.10224

zbMATH Keywords

\(\mathcal{W}\)-algebracoset constructionnonlinear Lie conformal algebravertex algebra

Mathematics Subject Classification ID

Kac-Moody (super)algebras; extended affine Lie algebras; toroidal Lie algebras (17B67) Vertex operators; vertex operator algebras and related structures (17B69) Fusion categories, modular tensor categories, modular functors (18M20) Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, (W)-algebras and other current algebras and their representations (81R10) Two-dimensional field theories, conformal field theories, etc. in quantum mechanics (81T40)

Abstract: Trialities of $mathcalW$-algebras are isomorphisms between the affine cosets of three different $mathcalW$-(super)algebras, and were first conjectured in the physics literature by Gaiotto and Rapv{c}'ak. In this paper we prove trialities among eight families of $mathcalW$-(super)algebras of types $B$, $C$, and $D$. The key idea is to identify the affine cosets of these algebras with one-parameter quotients of the universal two-parameter even spin $mathcal{W}_{infty}$-algebra which was recently constructed by Kanade and the second author. Our result is a vast generalization of both Feigin-Frenkel duality in types $B$, $C$, and $D$, and the coset realization of principal $mathcalW$-algebras of type $D$ due to Arakawa and us. It also provides a new coset realization of principal $mathcalW$-algebras of types $B$ and $C$. As an application, we prove the rationality of the affine vertex superalgebra $L_k(mathfrak{osp}_{1|2n})$, the minimal $mathcalW$-algebra $mathcal{W}_{k-1/2}(mathfrak{sp}_{2n+2},f_{extmin})$, and the coset $extCom(L_k(mathfrak{sp}_{2m}),L_k(mathfrak{sp}_{2n}))$, for all integers $k,n,mgeq1$ with $m<n$. We also prove the rationality of some families of principal $mathcalW$-superalgebras of $mathfrak{osp}_{1|2n}$ and $mathfrak{osp}_{2|2n}$, and subregular $mathcalW$-algebras of $mathfrak{so}_{2n+1}$

Review text

Some of the most studied examples of vertex (super)algebras are affine vertex (super)algebras, associated to a finite-dimensional simple Lie (super)algebra \(\mathfrak{g}\) and a level \(k\in\mathbb{C}\), and their quantum Drinfeld-Sokolov reductions, which are associated to nilpotent elements \(f\in\mathfrak{g}\) and are called affine \(\mathcal{W}\)-algebras. Affine \(\mathcal{W}\)-algebras associated to non-principal nilpotent elements often contain affine vertex subalgebras (generated by all vectors of conformal weight \(1\)), and thus one gets new vertex (super)algebras by taking the commutant, or coset, of the affine vertex subalgebra inside the larger \(\mathcal{W}\)-algebra. This is the set of all vectors in the \(\mathcal{W}\)-algebra whose vertex operators commute with all vertex operators coming from the affine subalgebra. The main result of this paper is four trialities of \(\mathcal{W}\)-algebras, which are one-parameter families of isomorphisms between the affine cosets of three different \(\mathcal{W}\)-(super)algebras. In this paper, the \(\mathcal{W}\)-algebras come from the Lie (super)algebras \(\mathfrak{so}_m\), \(\mathfrak{sp}_{2n}\), and \(\mathfrak{osp}_{m\vert 2n}\). In slightly earlier work [\textit{T. Creutzig} and \textit{A. Linshaw}, Camb. J. Math. 10, No. 1, 69--194 (2022; Zbl 07512764)], the authors proved trialities of \(\mathcal{W}\)-algebras in type \(A\) which had been conjectured in the physics literature [\textit{D. Gaiotto} and \textit{M. Rapčák}, J. High Energy Phys. 2019, No. 1, Paper No. 160, 88 p. (2019; Zbl 1409.81148)]. In the present work, special cases of the main results include Feigin-Frenkel duality [\textit{B. Feigin} and \textit{E. Frenkel}, Int. Math. Res. Not. 1991, No. 6, 75--82 (1991; Zbl 0790.17013)] for principal \(\mathcal{W}\)-algebras in types \(B\), \(C\), and \(D\) , as well as an analogous duality for \(\mathfrak{osp}_{1\vert 2n}\); a realization of principal \(\mathcal{W}\)-algebras in types \(B\) and \(C\) as affine cosets inside affine vertex superalgebras of type \(\mathfrak{osp}_{1\vert 2n}\); and a new proof of the coset realization for principal \(\mathcal{W}\)-algebras of type \(D\) previously obtained in [\textit{T. Arakawa}, \textit{T. Creutzig} and \textit{A. Linshaw}, Invent. Math. 218, No. 1, 145--195 (2019; Zbl 1459.17045)]. To prove the four trialities of \(\mathcal{W}\)-algebras, the authors first find strong generators of even conformal weight for the affine cosets under consideration by taking infinite-level limits of the corresponding \(\mathcal{W}\)-algebras and using some classical invariant theory to find strong generators of the resulting (orbifolds of) free field vertex (super)algebras. The strong generating sets then help the authors show that their affine cosets are one-parameter quotients of the two-parameter universal even spin \(\mathcal{W}_\infty\)-algebra \(\mathcal{W}^{\mathrm{ev}}(c,\lambda)\) constructed in [\textit{S. Kanade} and \textit{A. Linshaw}, Adv. Math. 355, Article ID 106774, 58 p. (2019; Zbl 1453.17016)]. These quotients of \(\mathcal{W}^{\mathrm{ev}}(c,\lambda)\) correspond to ideals in \(\mathbb{C}[c,\lambda]\), and the authors explicitly determine which ideals give rise to the affine cosets under consideration. Trialities then follow from showing that the ideals of \(\mathbb{C}[c,\lambda]\) giving rise to three different affine cosets are identical. Realizing their affine cosets as quotients of \(\mathcal{W}^{\mathrm{ev}}(c,\lambda)\) also allows the authors to show that at certain levels, the affine cosets are isomorphic to (\(\mathbb{Z}/2\mathbb{Z}\)-orbifolds of) principal \(\mathcal{W}\)-algebras of type \(\mathfrak{so}_m\), \(\mathfrak{sp}_{2n}\), or \(\mathfrak{osp}_{1\vert 2n}\) (which are also quotients of \(\mathcal{W}^{\mathrm{ev}}(c,\lambda)\)). Using these isomorphisms as well as the trialities of the main theorem, the authors show that many interesting vertex (super)algebras contain rational and \(C_2\)-cofinite conformal subalgebras and are thus themselves rational and \(C_2\)-cofinite. These new rational and \(C_2\)-cofinite vertex (super)algebras include affine vertex superalgebras of \(\mathfrak{osp}_{1\vert 2n}\) at positive integer levels, principal \(\mathcal{W}\)-algebras of \(\mathfrak{osp}_{1\vert 2n}\) and \(\mathfrak{osp}_{2\vert 2n}\) at certain admissible levels, subregular \(\mathcal{W}\)-algebras of type \(B\) and minimal \(\mathcal{W}\)-algebras of type \(C\) at certain admissible levels, and cosets of affine vertex subalgebras of type \(C\) inside certain (tensor products of) affine vertex algebras of type \(C\).

Recommendations

• Trialities of \(\mathcal{W} \)-algebras
• Symmetric triality relations and structurable algebras
• On the triplet vertex algebra \(\mathcal W(p)\)
• On the cohomology of the orthosymplectic superalgebra
• \(W_n^{(n)}\) algebras
• scientific article; zbMATH DE number 1264141
• Homology of symplectic and orthogonal algebras
• scientific article; zbMATH DE number 3392686
• Orthosymplectic Jordan superalgebras and the Wedderburn principal theorem
• Simplicity of Higher Rank TripletW-Algebras

Cites work

• \( \mathcal{W} \) -symmetry, topological vertex and affine Yangian
• N=4 superconformal algebras and diagonal cosets
• W-algebras as coset vertex algebras
• \(W_n^{(n)}\) algebras
• A MATHEMATICA™ PACKAGE FOR COMPUTING OPERATOR PRODUCT EXPANSIONS
• A LOGARITHMIC GENERALIZATION OF TENSOR PRODUCT THEORY FOR MODULES FOR A VERTEX OPERATOR ALGEBRA
• An analog of the classical invariant theory for Lie superalgebras. I, II
• Associated varieties of modules over Kac-Moody algebras and C₂-cofiniteness of W-algebras
• Braided tensor categories and extensions of vertex operator algebras
• Braided tensor categories of admissible modules for affine Lie algebras
• Branching functions for winding subalgebras and tensor products
• Characters, supercharacters and Weber modular functions
• Cherednik algebras, \(W\)-algebras and the equivariant cohomology of the moduli space of instantons on \(\mathbb A^2\)
• Cohomological Hall algebras, vertex algebras and instantons
• Conformal embeddings of affine vertex algebras in minimal \(W\)-algebras. I: Structural results
• Correspondences of categories for subregular \(\mathcal{W}\)-algebras and principal \(\mathcal{W}\)-superalgebras
• Cosets of affine vertex algebras inside larger structures
• Duality of subregular \(\mathcal{W} \)-algebras and principal \(\mathcal{W} \)-superalgebras
• Exploring \(\mathcal W_{\infty}\) in the quadratic basis
• Fusion categories for affine vertex algebras at admissible levels
• Generalized parafermions of orthogonal type
• Generalized vertex algebras and relative vertex operators
• Gluing vertex algebras
• Higher rank FZZ-dualities
• scientific article; zbMATH DE number 1004310 (Why is no real title available?)
• scientific article; zbMATH DE number 58557 (Why is no real title available?)
• scientific article; zbMATH DE number 66799 (Why is no real title available?)
• scientific article; zbMATH DE number 681962 (Why is no real title available?)
• scientific article; zbMATH DE number 691457 (Why is no real title available?)
• scientific article; zbMATH DE number 1089302 (Why is no real title available?)
• scientific article; zbMATH DE number 2003146 (Why is no real title available?)
• Instanton moduli spaces and W-algebras
• Integrability of C2-cofinite vertex operator algebras
• Integrable highest weight modules over affine superalgebras and Appell's function
• Invariant theory and the Heisenberg vertex algebra
• Liouville correlation functions from four-dimensional gauge theories
• Logarithmic tensor category theory for generalized modules for a conformal vertex algebra. I: Introduction and strongly graded algebras and their generalized modules
• Modular invariance of characters of vertex operator algebras
• Module category and C₂-cofiniteness of affine vertex operator superalgebras
• On a \(q\)-analogue of the McKay correspondence and the ADE classification of \(\mathfrak{sl}_{2}\) conformal field theories
• On even spin \({\mathcal{W}}_{\infty }\)
• On exceptional nilpotents in semisimple Lie algebras
• On quantum Galois theory
• On rationality of \(W\)-algebras
• On simplicity of vacuum modules
• On the tensor structure of modules for compact orbifold vertex operator algebras
• Orbifolds and cosets of minimal \({\mathcal{W}}\)-algebras
• Orbifolds of symplectic fermion algebras
• Permutation orbifolds of Virasoro vertex algebras and \(W\)-algebras
• Quantization of the Drinfel'd-Sokolov reduction.
• Quantum q-Langlands correspondence
• Quantum dimensions and irreducible modules of some diagonal coset vertex operator algebras
• Quantum Langlands dualities of boundary conditions, \(D\)-modules, and conformal blocks
• Quantum reduction and representation theory of superconformal algebras
• Quantum reduction for affine superalgebras
• Quantum supergroups. III: Twistors
• Rationality of \(W\)-algebras: principal nilpotent cases
• Rationality of admissible affine vertex algebras in the category \(\mathcal O\)
• Rationality of the exceptional \(\mathcal{W}\)-algebras \(\mathcal{W}_k(\mathfrak{sp}_4,f_{subreg})\) associated with subregular nilpotent elements of \(\mathfrak{sp}_4\)
• Rationality, regularity, and 𝐶₂-cofiniteness
• Representation theory of \(L_k(\mathfrak {osp}(1 | 2))\) from vertex tensor categories and Jacobi forms
• Representation theory of superconformal algebras and the Kac-Roan-Wakimoto conjecture
• S-duality for the large \(N = 4\) superconformal algebra
• Schur-Weyl duality for Heisenberg cosets
• Screening operators for \(\mathcal {W}\)-algebras
• Semi-infinite cohomology and string theory
• Simple current extensions beyond semi-simplicity
• Spin and wedge representations of infinite-dimensional Lie algebras and groups
• Superconformal minimal models and admissible Jack polynomials
• Symmetric invariant bilinear forms on vertex operator algebras
• Symplectic level-rank duality via tensor categories
• Tensor categories arising from the Virasoro algebra
• Tensor categories of affine Lie algebras beyond admissible levels
• The Witt group of non-degenerate braided fusion categories
• Trialities of \(\mathcal{W} \)-algebras
• Triality in minimal model holography
• Universal two-parameter \(\mathcal{W}_\infty\)-algebra and vertex algebras of type \(\mathcal{W}(2, 3,\dots,N)\)
• Universal two-parameter even spin \(\mathcal{W}_\infty\)-algebra
• Urod algebras and translation of \(W\)-algebras
• Vertex algebras at the corner
• Vertex algebras for S-duality
• Vertex operator algebras associated to representations of affine and Virasoro algebras

Cited in

(24)

• Cosets of affine vertex algebras inside larger structures
• Duality of subregular \(\mathcal{W} \)-algebras and principal \(\mathcal{W} \)-superalgebras
• FZZ-triality and large \(\mathcal{N} = 4\) super Liouville theory
• Trialities of \(\mathcal{W} \)-algebras
• Cosets of Bershadsky-Polyakov algebras and rational \({\mathcal W}\)-algebras of type \(A\)
• On certain \(W\)-algebras of type \(\mathcal{W}_k(\mathfrak{sl}_4,f)\)
• Holomorphic integer graded vertex superalgebras
• Simplicity of Higher Rank TripletW-Algebras
• Cosets from equivariant 𝒲-algebras
• Rigid tensor structure on big module categories for some W-(super)algebras in type A
• Orbifold theory of the affine vertex operator superalgebra \(L_{\widehat{osp (1|2)}}(k, 0)\)
• Whittaker vectors for \(\mathcal{W}\)-algebras from topological recursion
• Quantum toroidal algebras and solvable structures in gauge/string theory
• Classical Freeness of orthosymplectic affine vertex superalgebras
• Boundary vertex algebras for 3d \(\mathcal{N} = 4\) rank-0 SCFTs
• Singularities of nilpotent Slodowy slices and collapsing levels of W-algebras
• Ordinary modules for vertex algebras of \(\mathfrak{osp}_{1|2n} \)
• N =1 super Virasoro tensor categories
• Structure and representations of the coset vertex operator algebra \(C(L_{\widehat{osp(1|2)}}(2, 0), L_{\widehat{osp(1|2)}}(1, 0)^{\otimes 2})\)
• Mirror symmetry and level-rank duality for 3d\(\mathcal{N} = 4\) rank 0 SCFTs
• Orthosymplectic Feigin-Semikhatov duality
• Duality via convolution of \(\mathcal{W}\)-algebras
• Commutative algebras in Grothendieck-Verdier categories, rigidity, and vertex operator algebras
• On even spin \({\mathcal{W}}_{\infty }\)

This page was built for publication: Trialities of orthosymplectic \(\mathcal{W} \)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2089649)