On the nilpotent orbits arising from admissible affine vertex algebras
We give a simple description of the closure of the nilpotent orbits appearing as associated varieties of admissible affine vertex algebras in terms of primitive ideals.
Discover
Research tools
Network
Opportunities
Account
Source author record
Tomoyuki Arakawa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We give a simple description of the closure of the nilpotent orbits appearing as associated varieties of admissible affine vertex algebras in terms of primitive ideals.
First, we prove the Kac-Wakimoto conjecture on modular invariance of characters of exceptional affine W-algebras. In fact more generally we prove modular invariance of characters of all lisse W-algebras obtained through Hamiltonian reduction of admissible affine vertex algebras. Second, we prove the rationality of a large subclass of these W-algebras, which includes all exceptional W-algebras of type A and lisse subregular W-algebras in simply laced types. Third, for the latter cases we compute S-matrices and fusion rules. Our results provide the first examples of rational W-algebras associated with non-principal distinguished nilpotent elements, and the corresponding fusion rules are rather mysterious.
Let $k$ be a field of characteristic zero. This paper studies a problem proposed by Joseph F. Ritt in 1950. Precisely, we prove that (1) If $p\geq 2$ is an integer, for every integer $i\in\mathbb{N}$, the nilpotency index of the image of $T_i$ in the ring $k\{T\}/[T^p]$ equals $(i+1)p-i$. (2) For every pair of integers $(i,j)$, the nilpotency index of the image of $T_iU_j$ in the ring $k\{T\}/[TU]$ equals $i+j+1$.
Attached to a vertex algebra $\mathcal{V}$ are two geometric objects. The associated scheme of $\mathcal{V}$ is the spectrum of Zhu's Poisson algebra $R_{\mathcal{V}}$. The 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 whose associated scheme is reduced, for which the isomorphism is not true as schemes but true as varieties.
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.
The Bershadsky-Polyakov algebra is the $\mathcal{W}$-algebra associated to $\mathfrak{s}\mathfrak{l}_3$ with its minimal nilpotent element $f_θ$. For notational convenience we define $\mathcal{W}^{\ell} = \mathcal{W}^{\ell - 3/2} (\mathfrak{s}\mathfrak{l}_3, f_θ)$. 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}$
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_{-θ})$ 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_{-θ})$ 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_{-θ})^{G}$ and the coset $\mathcal{C}^k = \text{Com}(V(\mathfrak{g}'),\mathcal{W}^k(\mathfrak{g}, e_{-θ}))$ 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.
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.
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.
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.
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.
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.
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.
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.
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.
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_χ(g,f)$ of $W^{cri}(g,f)$ corresponding to an oper $χ$ on the disc is simple, (3) the simple quotient $W_χ(g,f)$ is a quantization of the jet scheme of the intersection of the Slodowy slice at f with the nilpotent cone of g.
We show that a finitely strongly generated, non-negatively graded vertex algebra $V$ is $C_2$-cofinite if and only if it is lisse in the sense of Beilinson, Feigin and Mazur. This shows that the $C_2$-cofiniteness is indeed a natural finiteness condition.
We study the restricted Verma modules of an affine Kac-Moody algebra at the critical level with special emphasis on their Jordan-H"older multiplicities. The Feigin-Frenkel conjecture gives a formula for these multiplicities that involves the periodic Kazhdan-Lusztig polynomials. We prove this conjecture for all subgeneric blocks and for the case of anti-dominant simple subquotients.
We present an explicit character formula for the irreducible highest weight representations of the non-twisted affine Kac-Moody Lie algebra at the critical level which are integrable over the corresponding finite-dimensional simple Lie algebra.
We study the representation theory of the superconformal algebra $W_k(g,f_θ)$ associated with a minimal gradation of $g$. Here, $g$ is a simple finite-dimensional Lie superalgebra with a non-degenerate, even supersymmetric invariant bilinear form. Thus, $W_k(g,f_θ)$ can be one of the well-known superconformal algebras including the Virasoro algebra, the Bershadsky-Polyakov algebra, the Neveu-Schwarz algebra, the Bershadsky-Knizhnik algebras, the N=2 superconformal algebra, the N=4 superconformal algebra, the N=3 superconformal algebra and the big N=4 superconformal algebra. We prove the conjecture of V. G. Kac, S.-S. Roan and M. Wakimoto for $W_k(g,f_θ)$. In fact, we show that any irreducible highest weight character of $W_k(g,f_θ)$ at any level $k\in C$ is determined by the corresponding irreducible highest weight character of the Kac-Moody affinization of $g$.