• ### Sheets and associated varieties of affine vertex algebras(1601.05906)

March 13, 2019 math-ph, math.MP, math.QA, math.RT
We show that sheet closures appear as associated varieties of affine vertex algebras. Further, we give new examples of non-admissible affine vertex algebras whose associated variety is contained in the nilpotent cone. We also prove some conjectures from our previous paper and give new examples of lisse affine W-algebras.
• ### W-algebras as coset vertex algebras(1801.03822)

May 7, 2018 hep-th, math.QA, math.RT
We prove the long-standing conjecture on the coset construction of the minimal series principal $W$-algebras of ADE types in full generality. We do this by first establishing Feigin's conjecture on the coset realization of the universal principal $W$-algebras, which are not necessarily simple. As consequences, the unitarity of the "discrete series" of principal $W$-algebras is established, a second coset realization of rational and unitary W-algebras of type $A$ and $D$ are given and the rationality of Kazama-Suzuki coset vertex superalgebras is derived.
• ### Singular support of a vertex algebra and the arc space of its associated scheme(1804.01287)

April 4, 2018 math.AG, math.RT
Attached to a vertex algebra $\mathcal{V}$ are two geometric objects. The {\it associated scheme} of $\mathcal{V}$ is the spectrum of Zhu's Poisson algebra $R_{\mathcal{V}}$. The {\it singular support} of $\mathcal{V}$ is the spectrum of the associated graded algebra $\text{gr}(\mathcal{V})$ with respect to Li's canonical decreasing filtration. There is a closed embedding from the singular support to the arc space of the associated scheme, which is an isomorphism in many interesting cases. In this note we give an example of a non-quasi-lisse vertex algebra for which the isomorphism is not true as schemes but true as varieties.
• ### Arc spaces and chiral symplectic cores(1802.06533)

Feb. 19, 2018 math.AG, math.RT
We introduce the notion of chiral symplectic cores in a vertex Poisson variety, which can be viewed as analogs of symplectic leaves in Poisson varieties. As an application we show that any quasi-lisse vertex algebra is a quantization of the arc space of its associated variety, in the sense that its reduced singular support coincides with the arc space of its associated variety. We also show that the coordinate ring of the arc space of Slodowy slices is free over its vertex Poisson center, and the latter coincides with the vertex Poisson center of the coordinate ring of the arc space of the dual of the corresponding simple Lie algebra.
• ### Quasi-lisse vertex algebras and modular linear differential equations(1610.05865)

July 21, 2017 hep-th, math.QA, math.RT
We introduce a notion of quasi-lisse vertex algebras, which generalizes admissible affine vertex algebras. We show that the normalized character of an ordinary module over a quasi-lisse vertex operator algebra has a modular invariance property, in the sense that it satisfies a modular linear differential equation. As an application we obtain the explicit character formulas of simple affine vertex algebras associated with the Deligne exceptional series at level $-h^{\vee}/6-1$, which express the homogeneous Schur indices of 4d SCFTs studied by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees, as quasi-modular forms.
• ### Cosets of Bershadsky-Polyakov algebras and rational $\mathcal{W}$-algebras of type $A$(1511.09143)

June 13, 2017 math.QA, math.RT
The Bershadsky-Polyakov algebra is the $\mathcal{W}$-algebra associated to $\mathfrak{s}\mathfrak{l}_3$ with its minimal nilpotent element $f_{\theta}$. For notational convenience we define $\mathcal{W}^{\ell} = \mathcal{W}^{\ell - 3/2} (\mathfrak{s}\mathfrak{l}_3, f_{\theta})$. The simple quotient of $\mathcal{W}^{\ell}$ is denoted by $\mathcal{W}_{\ell}$, and for $\ell$ a positive integer, $\mathcal{W}_{\ell}$ is known to be $C_2$-cofinite and rational. We prove that for all positive integers $\ell$, $\mathcal{W}_{\ell}$ contains a rank one lattice vertex algebra $V_L$, and that the coset $\mathcal{C}_{\ell} = \text{Com}(V_L, \mathcal{W}_{\ell})$ is isomorphic to the principal, rational $\mathcal{W}(\mathfrak{s}\mathfrak{l}_{2\ell})$-algebra at level $(2\ell +3)/(2\ell +1) -2\ell$. This was conjectured in the physics literature over 20 years ago. As a byproduct, we construct a new family of rational, $C_2$-cofinite vertex superalgebras from $\mathcal{W}_{\ell}$
• ### Orbifolds and cosets of minimal $\mathcal{W}$-algebras(1610.09348)

May 23, 2017 math.QA, math.RT
Let $\mathfrak{g}$ be a simple, finite-dimensional Lie (super)algebra equipped with an embedding of $\mathfrak{s} \mathfrak{l}_2$ inducing the minimal gradation on $\mathfrak{g}$. The corresponding minimal $\mathcal{W}$-algebra $\mathcal{W}^k(\mathfrak{g}, e_{-\theta})$ introduced by Kac and Wakimoto has strong generators in weights $1,2,3/2$, and all operator product expansions are known explicitly. The weight one subspace generates an affine vertex (super)algebra $V^{k'}(\mathfrak{g}^{\natural})$ where $\mathfrak{g}^{\natural} \subset \mathfrak{g}$ denotes the centralizer of $\mathfrak{s} \mathfrak{l}_2$. Therefore $\mathcal{W}^k(\mathfrak{g}, e_{-\theta})$ has an action of a connected Lie group $G^{\natural}_0$ with Lie algebra $\mathfrak{g}^{\natural}_0$, where $\mathfrak{g}^{\natural}_0$ denotes the even part of $\mathfrak{g}^{\natural}$. We show that for any reductive subgroup $G \subset G^{\natural}_0$, and for any reductive Lie algebra $\mathfrak{g}' \subset \mathfrak{g}^{\natural}$, the orbifold $\mathcal{O}^k = \mathcal{W}^k(\mathfrak{g}, e_{-\theta})^{G}$ and the coset $\mathcal{C}^k = \text{Com}(V(\mathfrak{g}'),\mathcal{W}^k(\mathfrak{g}, e_{-\theta}))$ are strongly finitely generated for generic values of $k$. Here $V(\mathfrak{g}')$ denotes the affine vertex algebra associated to $\mathfrak{g}'$. We find explicit minimal strong generating sets for $\mathcal{C}^k$ when $\mathfrak{g}' = \mathfrak{g}^{\natural}$ and $\mathfrak{g}$ is either $\mathfrak{s} \mathfrak{l}_n$, $\mathfrak{s}\mathfrak{p}_{2n}$, $\mathfrak{s}\mathfrak{l}(2|n)$ for $n\neq 2$, $\mathfrak{p}\mathfrak{s}\mathfrak{l}(2|2)$, or $\mathfrak{o}\mathfrak{s}\mathfrak{p}(1|4)$. Finally, we conjecture some surprising coincidences among families of cosets $\mathcal{C}_k$ which are the simple quotients of $\mathcal{C}^k$, and we prove several cases of our conjecture.
• ### Quantizing Mishchenko-Fomenko subalgebras for centralizers via affine W-algebras(1611.00852)

May 21, 2017 math.QA, math.RT
We use affine W-algebras to quantize Mishchenko-Fomenko subalgebras for centralizers of nilpotent elements in simple Lie algebras under certain assumptions that are satisfied for all cases in type A and all minimal nilpotent cases outside type $E_8$.
• ### Weight representations of admissible affine vertex algebras(1605.07580)

Feb. 16, 2017 math.QA, math.RT
For an admissible affine vertex algebra $V_k(\mathfrak{g})$ of type $A$, we describe a new family of relaxed highest weight representations of $V_k(\mathfrak{g})$. They are simple quotients of representations of the affine Kac-Moody algebra $\widehat{\mathfrak{g}}$ induced from the following $\mathfrak{g}$-modules: 1) generic Gelfand-Tsetlin modules in the principal nilpotent orbit, in particular all such modules induced from $\mathfrak{sl}_2$; 2) all Gelfand-Tsetlin modules in the principal nilpotent orbit which are induced from $\mathfrak{sl}_3$; 3) all simple Gelfand-Tsetlin modules over $\mathfrak{sl}_3$. This in particular gives the classification of all simple positive energy weight representations of $V_k(\mathfrak{g})$ with finite dimensional weight spaces for $\mathfrak{g}=\mathfrak{sl}_3$.
• ### Introduction to W-algebras and their representation theory(1605.00138)

Feb. 14, 2017 math-ph, math.MP, math.QA, math.RT
These are lecture notes from author's mini-course during Session 1: "Vertex algebras, W-algebras, and application" of INdAM Intensive research period "Perspectives in Lie Theory", at the Centro di Ricerca Matematica Ennio De Giorgi, Pisa, Italy. December 9, 2014 -- February 28, 2015.
• ### Coset Vertex Operator Algebras and $\W$-Algebras(1701.06880)

Jan. 24, 2017 math.RT
We give an explicit description for the weight three generator of the coset vertex operator algebra $C_{L_{\widehat{\sl_{n}}}(l,0)\otimes L_{\widehat{\sl_{n}}}(1,0)}(L_{\widehat{\sl_{n}}}(l+1,0))$, for $n\geq 2, l\geq 1$. Furthermore, we prove that the commutant $C_{L_{\widehat{\sl_{3}}}(l,0)\otimes L_{\widehat{\sl_{3}}}(1,0)}(L_{\widehat{\sl_{3}}}(l+1,0))$ is isomorphic to the $\W$-algebra $\W_{-3+\frac{l+3}{l+4}}(\sl_3)$, which confirms the conjecture for the $\sl_3$ case that $C_{L_{\widehat{\frak g}}(l,0)\otimes L_{\widehat{\frak g}}(1,0)}(L_{\widehat{\frak g}}(l+1,0))$ is isomorphic to $\W_{-h+\frac{l+h}{l+h+1}}(\frak g)$ for simply-laced Lie algebras ${\frak g}$ with its Coxeter number $h$ for a positive integer $l$.
• ### Parafermion vertex operator algebras and W-algebras(1701.06229)

Jan. 22, 2017 math.RT
We prove the conjectual isomorphism between the level $k$ $\widehat{sl}_2$-parafermion vertex operator algebra and the $(k+1,k+2)$ minimal series $W_k$-algebra for all integers $k \ge 2$. As a consequence, we obtain the conjectural isomorphism between the $(k+1,k+2)$ minimal series $W_k$-algebra and the coset vertex operator algebra $SU(k)_1 \otimes SU(k)_1/SU(k)_2$.
• ### Modularity of Relatively Rational Vertex Algebras and Fusion Rules of Principal Affine W-Algebras(1612.09100)

May 25, 2019 math.QA, math.RT
We study modularity of the characters of a vertex (super)algebra equipped with a family of conformal structures. Along the way we introduce the notions of rationality and cofiniteness relative to such a family. We apply the results to determine modular transformations of trace functions on admissible modules over affine Kac-Moody algebras and, via BRST reduction, trace functions on minimal series representations of principal affine W-algebras.
• ### Explicit generators in rectangular affine W-algebras of type A(1403.1017)

Aug. 22, 2016 math-ph, math.MP, math.RT
We produce in an explicit form free generators of the affine W-algebra of type A associated with a nilpotent matrix whose Jordan blocks are of the same size. This includes the principal nilpotent case and we thus recover the quantum Miura transformation of Fateev and Lukyanov.
• ### On the irreducibility of associated varieties of W-algebras(1608.03142)

Aug. 10, 2016 math-ph, math.MP, math.AG, math.QA, math.RT
We investigate the irreducibility of the nilpotent Slodowy slices that appear as the associated variety of W-algebras. Furthermore, we provide new examples of vertex algebras whose associated variety has finitely many symplectic leaves.
• ### Joseph ideals and lisse minimal W-algebras(1506.00710)

Jan. 22, 2016 math-ph, math.MP, math.QA, math.RT
We consider a lifting of Joseph ideals for the minimal nilpotent orbit closure to the setting of affine Kac-Moody algebras and find new examples of affine vertex algebras whose associated varieties are minimal nilpotent orbit closures. As an application we obtain a new family of lisse ($C_2$-cofinite) W-algebras that are not coming from admissible representations of affine Kac-Moody algebras.
• ### Modular affine vertex algebras and baby Wakimoto modules(1503.00395)

March 2, 2015 math.QA, math.RT
We develop some basic properties such as $p$-centers of affine vertex algebras and free field vertex algebras in prime characteristic. We show that the Wakimoto-Feigin-Frenkel homomorphism preserves the $p$-centers by providing explicit formulas. This allows us to formulate the notion of baby Wakimoto modules, which in particular provides an interpretation in the context of modular vertex algebras for Mathieu's irreducible character formula of modular affine Lie algebras at the critical level.
• ### Rationality of W-algebras: principal nilpotent cases(1211.7124)

Jan. 7, 2015 math.QA, math.RT
We prove the rationality of all the minimal series principal W-algebras discovered by Frenkel, Kac and Wakimoto in 1992, thereby giving a new family of rational and C_2-cofinite vertex operator algebras. A key ingredient in our proof is the study of Zhu's algebra of simple W-algebras via the quantized Drinfeld-Sokolov reduction. We show that the functor of taking Zhu's algebra commutes with the reduction functor. Using this general fact we determine the maximal spectrums of the associated graded of Zhu's algebra of all the admissible affine vertex algebras as well.
• ### Associated varieties of modules over Kac-Moody algebras and $C_2$-cofiniteness of W-algebras(1004.1554)

Dec. 15, 2014 math-ph, math.MP, math.QA, math.RT
First, we establish the relation between the associated varieties of modules over Kac-Moody algebras \hat{g} and those over affine W-algebras. Second, we prove the Feigin-Frenkel conjecture on the singular supports of G-integrable admissible representations. In fact we show that the associated variates of G-integrable admissible representations are irreducible G-invariant subvarieties of the nullcone of g, by determining them explicitly. Third, we prove the C_2-cofiniteness of a large number of simple W-algebras, including all minimal series principal W-algebras and the exceptional W-algebras recently discovered by Kac-Wakimoto.
• ### Rationality of admissible affine vertex algebras in the category O(1207.4857)

Dec. 12, 2014 math.QA, math.RT
We study the vertex algebras associated with modular invariant representations of affine Kac-Moody algebras at fractional levels, whose simple highest weight modules are classified by Joseph's characteristic varieties. We show that an irreducible highest weight representation of a non-twisted affine Kac-Moody algebra at an admissible level k is a module over the associated simple affine vertex algebra if and only if it is an admissible representation whose integral root system is isomorphic to that of the vertex algebra itself. This in particular proves the conjecture of Adamovic and Milas on the rationality of admissible affine vertex algebras in the category O.
• ### Two-sided BGG resolutions of admissible representations(1207.4276)

June 17, 2014 math.QA, math.RT
We prove the conjecture of Frenkel, Kac and Wakimoto on the existence of two-sided BGG resolutions of G-integrable admissible representations of affine Kac-Moody algebras at fractional levels. As an application we establish the semi-infintie analogue of the generalized Borel-Weil theorem for mimimal parabolic subalgebras which enables an inductive study of admissible representations.
• ### Rationality of Bershadsky-Polyakov vertex algebras(1005.0185)

Jan. 5, 2013 hep-th, math.QA, math.RT
We prove the conjecture of Kac-Wakimoto on the rationality of exceptional W-algebras for the first non-trivial series, namely, for the Bershadsky-Polyakov vertex algebras $W_3^{(2)}$ at level $k=p/2-3$ with $p=3,5,7,...$. This gives new examples of rational conformal field theories.
• ### Zhu's algebra, C_2-algebra and C_2-cofiniteness of parafermion vertex operator algebras(1207.3909)

July 17, 2012 math.QA, math.RT
We determine Zhu's algebra and C_2-algebra of parafermion vertex operator algebras for sl_2. Moreover, we prove the C_2-cofiniteness of parafermion vertex operator algebras for any finite dimensional simple Lie algebras.
• ### W-algebras at the critical level(1111.6329)

Nov. 28, 2011 math.QA, math.RT
Let g be a complex simple Lie algebra, f a nilpotent element of g. We show that (1) the center of the W-algebra $W^{cri}(g,f)$ associated with (g,f) at the critical level coincides with the Feigin-Frenkel center of the affine Lie algebra associated with g, (2) the centerless quotient $W_{\chi}(g,f)$ of $W^{cri}(g,f)$ corresponding to an oper $\chi$ on the disc is simple, (3) the simple quotient $W_{\chi}(g,f)$ is a quantization of the jet scheme of the intersection of the Slodowy slice at f with the nilpotent cone of g.
• ### The linkage principle for restricted critical level representations of affine Kac-Moody algebras(0909.4214)

Oct. 7, 2011 math.RT
We study the restricted category O for an affine Kac--Moody algebra at the critical level. In particular, we prove the first part of the Feigin-Frenkel conjecture: the linkage principle for restricted Verma modules. Moreover, we prove a version of the BGGH-reciprocity principle and we determine the block decomposition of the restricted category O. For the proofs we need a deformed version of the classical structures, so we mostly work in a relative setting.