Showing 1–50 of 56 results for author: Arakawa, T

Generalized Grothendieck's simultaneous resolution and associated varieties of simple affine vertex algebras

Authors: Tomoyuki Arakawa, Vyacheslav Futorny, Libor Krizka

Abstract: The closure of a Diximier sheet is the image of a generalized Grothendieck's simultaneous resolution. We show that the associated variety of simple affine vertex algebras is contained in the closure of the Diximier sheet when a chiralization of generalized Grothendieck's simultaneous resolution exists. This generalizes in a conceptual manner the results obtained by the first named author and Anne… ▽ More The closure of a Diximier sheet is the image of a generalized Grothendieck's simultaneous resolution. We show that the associated variety of simple affine vertex algebras is contained in the closure of the Diximier sheet when a chiralization of generalized Grothendieck's simultaneous resolution exists. This generalizes in a conceptual manner the results obtained by the first named author and Anne Moreau and, in particular, allows to extend them to the types A_2, C_n, E_6, E_7. △ Less

Submitted 2 April, 2024; originally announced April 2024.

MSC Class: 4M17; 17B67; 17B69

On a series of simple affine VOAs at non-admissible level arising from rank One 4D SCFTs

Authors: Tomoyuki Arakawa, Xuanzhong Dai, Justine Fasquel, Bohan Li, Anne Moreau

Abstract: We study the representations of the simple affine vertex algebras at non-admissible level arising from rank one 4D SCFTs. In particular, we classify the irreducible highest weight modules of $L_{-2}(G_2)$ and $L_{-2}(B_3)$. It is known by the works of Adamović and Perše that these vertex algebras can be conformally embedded into $L_{-2}(D_4)$. We also compute the associated variety of… ▽ More We study the representations of the simple affine vertex algebras at non-admissible level arising from rank one 4D SCFTs. In particular, we classify the irreducible highest weight modules of $L_{-2}(G_2)$ and $L_{-2}(B_3)$. It is known by the works of Adamović and Perše that these vertex algebras can be conformally embedded into $L_{-2}(D_4)$. We also compute the associated variety of $L_{-2}(G_2)$, and show that it is the orbifold of the associated variety of $L_{-2}(D_4)$ by the symmetric group of degree 3 which is the Dynkin diagram automorphism group of $D_4$. This provides a new interesting example of associated variety satisfying a number of conjectures in the context of orbifold vertex algebras. △ Less

Submitted 7 March, 2024; originally announced March 2024.

Comments: 29 pages

Weight representations of affine Kac-Moody algebras and small quantum groups

Authors: Tomoyuki Arakawa, Thomas Creutzig, Kazuya Kawasetsu

Abstract: We study the weight modules over affine Kac-Moody algebras from the view point of vertex algebras, and determine the abelian category of weight modules for the simple affine vertex algebra $L_k(\mathfrak{sl}_2)$ at any non-integral admissible level $k$. In particular, we show that the principal block of the category of weight modules over admissible $L_k(\mathfrak{sl}_2)$ is equivalent to that of… ▽ More We study the weight modules over affine Kac-Moody algebras from the view point of vertex algebras, and determine the abelian category of weight modules for the simple affine vertex algebra $L_k(\mathfrak{sl}_2)$ at any non-integral admissible level $k$. In particular, we show that the principal block of the category of weight modules over admissible $L_k(\mathfrak{sl}_2)$ is equivalent to that of the corresponding (unrolled) small quantum group. △ Less

Submitted 16 November, 2023; originally announced November 2023.

Hilbert Schemes of Points in the Plane and Quasi-Lisse Vertex Algebras with $\mathcal{N}=4$ Symmetry

Authors: Tomoyuki Arakawa, Toshiro Kuwabara, Sven Möller

Abstract: To each complex reflection group $Γ$ one can attach a canonical symplectic singularity $\mathcal{M}_Γ$ arXiv:math/9903070. Motivated by the 4D/2D duality arXiv:1312.5344, arXiv:1707.07679, Bonetti, Meneghelli and Rastelli arXiv:1810.03612 conjectured the existence of a supersymmetric vertex operator superalgebra $\mathsf{W}_Γ$ whose associated variety is isomorphic to $\mathcal{M}_Γ$. We prove thi… ▽ More To each complex reflection group $Γ$ one can attach a canonical symplectic singularity $\mathcal{M}_Γ$ arXiv:math/9903070. Motivated by the 4D/2D duality arXiv:1312.5344, arXiv:1707.07679, Bonetti, Meneghelli and Rastelli arXiv:1810.03612 conjectured the existence of a supersymmetric vertex operator superalgebra $\mathsf{W}_Γ$ whose associated variety is isomorphic to $\mathcal{M}_Γ$. We prove this conjecture when the complex reflection group $Γ$ is the symmetric group $S_N$ by constructing a sheaf of $\hbar$-adic vertex operator superalgebras on the Hilbert scheme of $N$ points in the plane. For that case, we also show the free-field realisation of $\mathsf{W}_Γ$ in terms of $\operatorname{rk}(Γ)$ many $βγbc$-systems proposed in arXiv:1810.03612, and identify the character of $\mathsf{W}_Γ$ as a certain quasimodular form of mixed weight and multiple $q$-zeta value. In physical terms, the vertex operator superalgebra $\mathsf{W}_{S_N}$ constructed in this article corresponds via the 4D/2D duality arXiv:1312.5344 to the four-dimensional $\mathcal{N}=4$ supersymmetric Yang-Mills theory with gauge group $\operatorname{SL}_N$. △ Less

Submitted 6 December, 2023; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: 58 pages, LaTeX; improvements to the exposition, added many references, added subsection on multiple $q$-zeta values

MSC Class: 17B69; 81T60; 17B67; 17B63

The centre of the modular affine vertex algebra

Authors: Tomoyuki Arakawa, Lewis Topley, Juan J. Villarreal

Abstract: The Feigin--Frenkel theorem states that, over the complex numbers, the centre of the universal affine vertex algebra at the critical level is an infinite rank polynomial algebra. The first author and W.~Wang observed that in positive characteristics, the universal affine vertex algebra contains a large central subalgebra known as the $p$-centre. They conjectured that at the critical level the cent… ▽ More The Feigin--Frenkel theorem states that, over the complex numbers, the centre of the universal affine vertex algebra at the critical level is an infinite rank polynomial algebra. The first author and W.~Wang observed that in positive characteristics, the universal affine vertex algebra contains a large central subalgebra known as the $p$-centre. They conjectured that at the critical level the centre should be generated by the Feigin--Frenkel centre and the $p$-centre. In this paper we prove the conjecture for classical simple Lie algebras for $p$ larger than the Coxeter number, and for exceptional Lie algebras in large characteristics. Finally, we give an example which shows that at non-critical level the center is larger than the $p$-centre. △ Less

Submitted 20 May, 2024; v1 submitted 28 May, 2023; originally announced May 2023.

MSC Class: 17B69; 81R10

Singularities of nilpotent Slodowy slices and collapsing levels of W-algebras

Authors: Tomoyuki Arakawa, Jethro van Ekeren, Anne Moreau

Abstract: We apply results from the geometry of nilpotent orbits and nilpotent Slodowy slices, together with modularity and asymptotic analysis of characters, to prove many new isomorphisms between affine W-algebras and affine Kac-Moody vertex algebras and their finite extensions at specific admissible levels. In particular we identify many new collapsing levels for W-algebras. We apply results from the geometry of nilpotent orbits and nilpotent Slodowy slices, together with modularity and asymptotic analysis of characters, to prove many new isomorphisms between affine W-algebras and affine Kac-Moody vertex algebras and their finite extensions at specific admissible levels. In particular we identify many new collapsing levels for W-algebras. △ Less

Submitted 21 February, 2023; v1 submitted 26 February, 2021; originally announced February 2021.

Comments: 92 pages. Minor corrections to text and to data tables. arXiv admin note: substantial text overlap with arXiv:math/0510205 by other authors

MSC Class: 17B08; 17B67; 17B69; 81R10

On the nilpotent orbits arising from admissible affine vertex algebras

Authors: Tomoyuki Arakawa, Jethro van Ekeren, Anne Moreau

Abstract: 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. 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. △ Less

Submitted 13 July, 2022; v1 submitted 16 October, 2020; originally announced October 2020.

Comments: Proc. Lond. Math Soc. (published online)

Urod algebras and Translation of W-algebras

Authors: Tomoyuki Arakawa, Thomas Creutzig, Boris Feigin

Abstract: In this work, we introduce Urod algebras associated to simply-laced Lie algebras as well as the concept of translation of W-algebras. Both results are achieved by showing that the quantum Hamiltonian reduction commutes with tensoring with integrable representations, that is, for $V$ and $L$ an affine vertex algebra and an integrable affine vertex algebra associated with $\mathfrak{g}$, we have the… ▽ More In this work, we introduce Urod algebras associated to simply-laced Lie algebras as well as the concept of translation of W-algebras. Both results are achieved by showing that the quantum Hamiltonian reduction commutes with tensoring with integrable representations, that is, for $V$ and $L$ an affine vertex algebra and an integrable affine vertex algebra associated with $\mathfrak{g}$, we have the vertex algebra isomorphism $H_{DS,f}^0(V\otimes L)\cong H_{DS,f}^0(V)\otimes L$, where in the left-hand-side the Drinfeld-Sokolov reduction is taken with respect to the diagonal action of $\widehat{\mathfrak{g}}$ on $V\otimes L$. The proof is based on some new constructionof automorphisms of vertex algebras, which may be of independent interest. As corollaries we get fusion categories of modules of many exceptional W-algebras and we can construct various corner vertex algebras. A major motivation for this work is that Urod algebras of type $A$ provide a representation theoretic interpretation of the celebrated Nakajima-Yoshioka blowup equations for the moduli space of framed torsion free sheaves on $\mathbb{CP}^2$ of an arbitrary rank. △ Less

Submitted 5 October, 2020; originally announced October 2020.

A question of Joseph Ritt from the point of view of vertex algebras

Authors: Tomoyuki Arakawa, Kazuya Kawasetsu, Julien Sebag

Abstract: 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… ▽ More 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$. △ Less

Submitted 9 September, 2020; originally announced September 2020.

Simplicity of vacuum modules and associated varieties

Authors: Tomoyuki Arakawa, Cuipo Jiang, Anne Moreau

Abstract: In this note, we prove that the universal affine vertex algebra associated with a simple Lie algebra $\mathfrak{g}$ is simple if and only if the associated variety of its unique simple quotient is equal to $\mathfrak{g}^*$. We also derive an analogous result for the quantized Drinfeld-Sokolov reduction applied to the universal affine vertex algebra. In this note, we prove that the universal affine vertex algebra associated with a simple Lie algebra $\mathfrak{g}$ is simple if and only if the associated variety of its unique simple quotient is equal to $\mathfrak{g}^*$. We also derive an analogous result for the quantized Drinfeld-Sokolov reduction applied to the universal affine vertex algebra. △ Less

Submitted 29 March, 2020; originally announced March 2020.

Comments: 21 pages in English

Journal ref: J. Éc. polytech. Math, Tome 8 (2021) , pp. 169-191

$\mathbb{Z}_k$-code vertex operator algebras

Authors: Tomoyuki Arakawa, Hiromichi Yamada, Hiroshi Yamauchi

Abstract: We introduce a simple, self-dual, rational, and $C_2$-cofinite vertex operator algebra of CFT-type associated with a $\mathbb{Z}_k$-code for $k \ge 2$ based on the $\mathbb{Z}_k$-symmetry among the simple current modules for the parafermion vertex operator algebra $K(\mathfrak{sl}_2,k)$. We show that it is naturally realized as the commutant of a certain subalgebra in a lattice vertex operator alg… ▽ More We introduce a simple, self-dual, rational, and $C_2$-cofinite vertex operator algebra of CFT-type associated with a $\mathbb{Z}_k$-code for $k \ge 2$ based on the $\mathbb{Z}_k$-symmetry among the simple current modules for the parafermion vertex operator algebra $K(\mathfrak{sl}_2,k)$. We show that it is naturally realized as the commutant of a certain subalgebra in a lattice vertex operator algebra. Furthermore, we construct all the irreducible modules inside a module for the lattice vertex operator algebra. △ Less

Submitted 23 July, 2019; originally announced July 2019.

Comments: 22 pages

Journal ref: J. Math. Soc. Japan, Volume 73, Number 1 (2021), 185-209

Rationality and Fusion Rules of Exceptional W-Algebras

Authors: Tomoyuki Arakawa, Jethro van Ekeren

Abstract: 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 t… ▽ More 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. △ Less

Submitted 25 February, 2021; v1 submitted 27 May, 2019; originally announced May 2019.

Comments: 39 pages

Chiral algebras of class $\mathcal{S}$ and Moore-Tachikawa symplectic varieties

Authors: Tomoyuki Arakawa

Abstract: We give a functorial construction of the genus zero chiral algebras of class $\mathcal{S}$, that is, the vertex algebras corresponding to the theory of class $\mathcal{S}$ associated with genus zero pointed Riemann surfaces via the 4d/2d duality discovered by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees in physics. We show that there is a unique family of vertex algebras satisfying the req… ▽ More We give a functorial construction of the genus zero chiral algebras of class $\mathcal{S}$, that is, the vertex algebras corresponding to the theory of class $\mathcal{S}$ associated with genus zero pointed Riemann surfaces via the 4d/2d duality discovered by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees in physics. We show that there is a unique family of vertex algebras satisfying the required conditions and show that they are all simple and conformal. In fact, our construction works for any complex semisimple group G that is not necessarily simply laced. Furthermore, we show that the associated varieties of these vertex algebras are exactly the genus zero Moore-Tachikawa symplectic varieties that have been recently constructed by Braverman, Finkelberg and Nakajima using the geometry of the affine Grassmannian for the Langlands dual group. △ Less

Submitted 2 July, 2019; v1 submitted 5 November, 2018; originally announced November 2018.

Comments: revised version

Quantum Langlands duality of representations of W-algebras

Authors: Tomoyuki Arakawa, Edward Frenkel

Abstract: We prove duality isomorphisms of certain representations of W-algebras which play an essential role in the quantum geometric Langlands Program and some related results. We prove duality isomorphisms of certain representations of W-algebras which play an essential role in the quantum geometric Langlands Program and some related results. △ Less

Submitted 12 June, 2019; v1 submitted 4 July, 2018; originally announced July 2018.

Comments: 30 pages, to appear in Compositio Mathematica

Journal ref: Compositio Math. 155 (2019) 2235-2262

Singular support of a vertex algebra and the arc space of its associated scheme

Authors: Tomoyuki Arakawa, Andrew R. Linshaw

Abstract: 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… ▽ More 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. △ Less

Submitted 10 July, 2019; v1 submitted 4 April, 2018; originally announced April 2018.

Comments: A few minor corrections, final version, to appear in Progress in Mathematics volume in honor of Anthony Joseph's 75th birthday

Journal ref: Representations and nilpotent orbits of Lie algebraic systems, 1-17, Progr. Math., 330, Birkhauser/Springer, Cham, 2019

Arc spaces and chiral symplectic cores

Authors: Tomoyuki Arakawa, Anne Moreau

Abstract: 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 reduced arc space of its associated variety. We also sho… ▽ More 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 reduced 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. △ Less

Submitted 19 February, 2019; v1 submitted 19 February, 2018; originally announced February 2018.

Comments: A number of mistakes corrected. This version will appear in Publications of the RIMS, special issue dedicated to Masaki Kashiwara

W-algebras as coset vertex algebras

Authors: Tomoyuki Arakawa, Thomas Creutzig, Andrew R. Linshaw

Abstract: 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 sec… ▽ More 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. △ Less

Submitted 11 April, 2019; v1 submitted 11 January, 2018; originally announced January 2018.

Comments: Minor corrections and typos fixed. Proposition 3.4 is strengthened, which simplifies the proofs of Lemma 5.2 and Lemma 8.1. Final version to appear in Invent. Math

Journal ref: Invent. Math. 218 (2019), no. 1, 145-195

Representation theory of W-algebras and Higgs branch conjecture

Authors: Tomoyuki Arakawa

Abstract: We survey a number of results regarding the representation theory of $W$-algebras and their connection with the resent development of the four dimensional $N=2$ superconformal field theories in physics. We survey a number of results regarding the representation theory of $W$-algebras and their connection with the resent development of the four dimensional $N=2$ superconformal field theories in physics. △ Less

Submitted 20 December, 2017; originally announced December 2017.

Comments: submitted to proceedings of the ICM 2018

Journal ref: Proc. Int. Cong. of Math 2018 Rio de Janeiro, Vol. 1 (1261-1278)

Associated varieties and Higgs branches (a survey)

Authors: Tomoyuki Arakawa

Abstract: Associated varieties of vertex algebras are analogue of the associated varieties of primitive ideals of the universal envelo** algebras of semisimple Lie algebras. They not only capture some of the important properties of vertex algebras but also have interesting relationship with the Higgs branches of four-dimensional $N=2$ superconformal field theories (SCFTs). As a consequence, one can deduce… ▽ More Associated varieties of vertex algebras are analogue of the associated varieties of primitive ideals of the universal envelo** algebras of semisimple Lie algebras. They not only capture some of the important properties of vertex algebras but also have interesting relationship with the Higgs branches of four-dimensional $N=2$ superconformal field theories (SCFTs). As a consequence, one can deduce the modular invariance of Schur indices of 4d $N=2$ SCFTs from the theory of vertex algebras. △ Less

Submitted 19 December, 2017; v1 submitted 5 December, 2017; originally announced December 2017.

Comments: To appear in conference proceedings for AMS Special Session on Vertex Algebras and Geometry. v2: added references

Journal ref: Contemp. Math. 711(2018), 37-44

Coset Vertex Operator Algebras and $\W$-Algebras

Authors: Tomoyuki Arakawa, Cuipo Jiang

Abstract: 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… ▽ More 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$. △ Less

Submitted 24 January, 2017; originally announced January 2017.

Comments: 21 pages

MSC Class: 17B69

Parafermion vertex operator algebras and W-algebras

Authors: Tomoyuki Arakawa, Ching Hung Lam, Hiromichi Yamada

Abstract: 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$. 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$. △ Less

Submitted 22 January, 2017; originally announced January 2017.

Comments: 24 pages

MSC Class: 17B69; 17B65

Modularity of Relatively Rational Vertex Algebras and Fusion Rules of Principal Affine W-Algebras

Authors: Tomoyuki Arakawa, Jethro van Ekeren

Abstract: 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… ▽ More 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. △ Less

Submitted 24 May, 2019; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: 33 pages, LaTeX; slight change to title, expanded proof of Theorem 5.13, other minor corrections; to appear in Comm. Math. Phys

Quantizing Mishchenko-Fomenko subalgebras for centralizers via affine W-algebras

Authors: Tomoyuki Arakawa, Alexander Premet

Abstract: 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$. 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$. △ Less

Submitted 21 May, 2017; v1 submitted 2 November, 2016; originally announced November 2016.

Comments: The main result is stated and proved in greater generality. The present version is accepted for publication

Orbifolds and cosets of minimal $\mathcal{W}$-algebras

Authors: Tomoyuki Arakawa, Thomas Creutzig, Kazuya Kawasetsu, Andrew R. Linshaw

Abstract: 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. T… ▽ More 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. △ Less

Submitted 23 May, 2017; v1 submitted 28 October, 2016; originally announced October 2016.

Comments: Results improved substantially, references added

Journal ref: Comm. Math. Phys. 355 (2017), no. 1, 339-372

Quasi-lisse vertex algebras and modular linear differential equations

Authors: Tomoyuki Arakawa, Kazuya Kawasetsu

Abstract: 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… ▽ More 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. △ Less

Submitted 20 July, 2017; v1 submitted 19 October, 2016; originally announced October 2016.

Comments: 18 pages, v4

MSC Class: 17B69; 17B67; 11F22; 81R10

On the irreducibility of associated varieties of W-algebras

Authors: Tomoyuki Arakawa, Anne Moreau

Abstract: 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 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. △ Less

Submitted 10 August, 2016; originally announced August 2016.

Comments: 20 pages

MSC Class: 81R10; 17B08; 14L30

Weight representations of admissible affine vertex algebras

Authors: Tomoyuki Arakawa, Vyacheslav Futorny, Luis Enrique Ramirez

Abstract: 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… ▽ More 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$. △ Less

Submitted 16 February, 2017; v1 submitted 24 May, 2016; originally announced May 2016.

Comments: revised version, to appear in Comm. Math. Phys

Introduction to W-algebras and their representation theory

Authors: Tomoyuki Arakawa

Abstract: 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. 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. △ Less

Submitted 13 February, 2017; v1 submitted 30 April, 2016; originally announced May 2016.

Comments: fixed typos and minor errors

Sheets and associated varieties of affine vertex algebras

Authors: Tomoyuki Arakawa, Anne Moreau

Abstract: 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. 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. △ Less

Submitted 13 March, 2019; v1 submitted 22 January, 2016; originally announced January 2016.

Comments: The second part of Theorem 1.1 (1) has been modified, and the second part of Theorem 1.1 (2) has been removed

MSC Class: 81R10; 17B08; 14L30

Journal ref: Adv. Math, 320 (2017), 157-209

Cosets of Bershadsky-Polyakov algebras and rational $\mathcal{W}$-algebras of type $A$

Authors: Tomoyuki Arakawa, Thomas Creutzig, Andrew R. Linshaw

Abstract: 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,… ▽ More 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}$ △ Less

Submitted 13 June, 2017; v1 submitted 29 November, 2015; originally announced November 2015.

Comments: Abstract and introduction rewritten, sections 2 and 4 expanded, minor corrections

Journal ref: Selecta Math. (N.S.) 23 (2017), no. 4, 2369-2395

Joseph ideals and lisse minimal W-algebras

Authors: Tomoyuki Arakawa, Anne Moreau

Abstract: 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 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. △ Less

Submitted 22 January, 2016; v1 submitted 1 June, 2015; originally announced June 2015.

Comments: References and comments added in the introduction. Proof of Theorem 4.2 slightly correct. Conjecture 2 and 4 are corrected

Modular affine vertex algebras and baby Wakimoto modules

Authors: Tomoyuki Arakawa, Weiqiang Wang

Abstract: 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… ▽ More 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. △ Less

Submitted 1 March, 2015; originally announced March 2015.

Journal ref: Proc. Symp. Pure Math. 92 (2016), 1--15

Explicit generators in rectangular affine W-algebras of type A

Authors: Tomoyuki Arakawa, Alexander Molev

Abstract: 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. 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. △ Less

Submitted 21 August, 2016; v1 submitted 5 March, 2014; originally announced March 2014.

Comments: 13 pages, with some changes and corrections

Journal ref: Lett. Math. Phys. 107 (2017), 47-59

Rationality of W-algebras: principal nilpotent cases

Authors: Tomoyuki Arakawa

Abstract: 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 re… ▽ More 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. △ Less

Submitted 7 January, 2015; v1 submitted 29 November, 2012; originally announced November 2012.

Comments: revised, to appear in Annals of Math

Journal ref: Ann. Math. 182 (2015), 565-604

Rationality of admissible affine vertex algebras in the category O

Authors: Tomoyuki Arakawa

Abstract: 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 alg… ▽ More 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. △ Less

Submitted 12 December, 2014; v1 submitted 20 July, 2012; originally announced July 2012.

Comments: Improved exposition, to appear in Duke Math. J

Journal ref: Duke Math. J. 165, no. 1 (2016), 67-93

Two-sided BGG resolutions of admissible representations

Authors: Tomoyuki Arakawa

Abstract: 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 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. △ Less

Submitted 17 June, 2014; v1 submitted 18 July, 2012; originally announced July 2012.

Comments: revised, to appear in Representation Theory

Journal ref: Represent. Theory 18 (2014), 183-222

Zhu's algebra, C_2-algebra and C_2-cofiniteness of parafermion vertex operator algebras

Authors: Tomoyuki Arakawa, Ching Hung Lam, Hiromichi Yamada

Abstract: 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. 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. △ Less

Submitted 17 July, 2012; originally announced July 2012.

Comments: 30 pages

MSC Class: 17B69 (Primary) 17B67 (Secondary)

Localization of affine W-algebras

Authors: T. Arakawa, T. Kuwabara, F. Malikov

Abstract: We introduce the notion of an asymptotic algebra of chiral differential operators. We then construct, via a chiral Hamiltonian reduction, one such algebra over a resolution of the intersection of the Slodowy slice with the nilpotent cone. We compute the space of global sections of this algebra thereby proving a localization theorem for affine W-algebras at the critical level. We introduce the notion of an asymptotic algebra of chiral differential operators. We then construct, via a chiral Hamiltonian reduction, one such algebra over a resolution of the intersection of the Slodowy slice with the nilpotent cone. We compute the space of global sections of this algebra thereby proving a localization theorem for affine W-algebras at the critical level. △ Less

Submitted 1 December, 2011; originally announced December 2011.

Comments: 36 pages

Journal ref: Comm. Math. Phys, April 2015, Volume 335, Issue 1, pp 143-182

W-algebras at the critical level

Authors: Tomoyuki Arakawa

Abstract: 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… ▽ More 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. △ Less

Submitted 27 November, 2011; originally announced November 2011.

Journal ref: Contemp. Math., 565, 1--14, 2012

Rationality of Bershadsky-Polyakov vertex algebras

Authors: Tomoyuki Arakawa

Abstract: 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 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. △ Less

Submitted 5 January, 2013; v1 submitted 3 May, 2010; originally announced May 2010.

Comments: To appear in Comm. Math. Phys

Journal ref: Comm. Math. Phys., October 2013, Volume 323, Issue 2, pp 627-633

Associated varieties of modules over Kac-Moody algebras and $C_2$-cofiniteness of W-algebras

Authors: Tomoyuki Arakawa

Abstract: 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 nullc… ▽ More 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. △ Less

Submitted 15 December, 2014; v1 submitted 9 April, 2010; originally announced April 2010.

Comments: revised, to appear in IMRN

Journal ref: Int. Math. Res. Notices (2015) Vol. 2015 11605--11666

A remark on the $C_2$-cofiniteness condition on vertex algebras

Authors: Tomoyuki Arakawa

Abstract: 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 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. △ Less

Submitted 23 October, 2010; v1 submitted 9 April, 2010; originally announced April 2010.

Comments: revised version

A vertex algebra attached to the flag manifold and Lie algebra cohomology

Authors: T. Arakawa, F. Malikov

Abstract: Each flag manifold carries a unique algebra of chiral differential operators. Continuing along the lines of arXiv:0903.1281 we compute the vertex algebra structure on the cohomology of this algebra. The answer is: the tensor product of the center and a subalgebra; the center is isomorphic, as a commutative associative algebra, to the cohomology of the corresponding maximal nilpotent Lie algebra;… ▽ More Each flag manifold carries a unique algebra of chiral differential operators. Continuing along the lines of arXiv:0903.1281 we compute the vertex algebra structure on the cohomology of this algebra. The answer is: the tensor product of the center and a subalgebra; the center is isomorphic, as a commutative associative algebra, to the cohomology of the corresponding maximal nilpotent Lie algebra; the subalgebra is the vacuum module over the corresponding affine Lie algebra of critical level and 0 central character. We next find the Friedan-Martinec-Shenker-Borisov bosonization of the cohomology algebra in case of the projective line and show that this algebra vanishes nonperturbatively, thus verifying a suggestion by Witten. △ Less

Submitted 15 November, 2009; v1 submitted 4 November, 2009; originally announced November 2009.

Comments: a reference added

Journal ref: AIP Conf.Proc.1243:151-164,2010

The linkage principle for restricted critical level representations of affine Kac-Moody algebras

Authors: Tomoyuki Arakawa, Peter Fiebig

Abstract: 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 c… ▽ More 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. △ Less

Submitted 7 October, 2011; v1 submitted 23 September, 2009; originally announced September 2009.

Comments: 25 pages, substantially revised version, closing a gap in the earlier versions

MSC Class: 17B67; 81R10

Journal ref: Compositio Math. 148 (2012) 1787-1810

A chiral Borel-Weil-Bott theorem

Authors: T. Arakawa, F. Malikov

Abstract: We compute the cohomology of modules over the algebra of twisted chiral differential operators over the flag manifold. This is applied to (1) finding the character of $G$-integrable irreducible highest weight modules over the affine Lie algebra at the critical level, and (2) computing a certain elliptic genus of the flag manifold. The main tool is a result that interprets the Drinfeld-Sokolov redu… ▽ More We compute the cohomology of modules over the algebra of twisted chiral differential operators over the flag manifold. This is applied to (1) finding the character of $G$-integrable irreducible highest weight modules over the affine Lie algebra at the critical level, and (2) computing a certain elliptic genus of the flag manifold. The main tool is a result that interprets the Drinfeld-Sokolov reduction as a derived functor. △ Less

Submitted 9 December, 2011; v1 submitted 6 March, 2009; originally announced March 2009.

Comments: Some considerable reworking. A final version to appear in Adv. in Math

On the restricted Verma modules at the critical level

Authors: Tomoyuki Arakawa, Peter Fiebig

Abstract: 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 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. △ Less

Submitted 20 September, 2010; v1 submitted 17 December, 2008; originally announced December 2008.

Comments: 30 pages, revised version

MSC Class: 17B67; 81R10

Journal ref: Trans. Amer. Math. Soc. 364 (2012), 4683-4712

Algebras of twisted chiral differential operators and affine localization of $\frak{g}$-modules

Authors: Tomoyuki Arakawa, Dmytro Chebotarov, Fyodor Malikov

Abstract: We propose a notion of algebra of {\it twisted} chiral differential operators over algebraic manifolds with vanishing 1st Pontrjagin class. We show that such algebras possess families of modules depending on infinitely many complex parameters, which we classify in terms of the corresponding algebra of twisted differential operators. If the underlying manifold is a flag manifold, our construction… ▽ More We propose a notion of algebra of {\it twisted} chiral differential operators over algebraic manifolds with vanishing 1st Pontrjagin class. We show that such algebras possess families of modules depending on infinitely many complex parameters, which we classify in terms of the corresponding algebra of twisted differential operators. If the underlying manifold is a flag manifold, our construction recovers modules over an affine Lie algebra parameterized by opers over the Langlands dual Lie algebra. The spaces of global sections of "smallest" such modules are irreducible $\ghat$-modules and all irreducible $\frak{g}$-integrable $\ghat$-modules at the critical level arise in this way. △ Less

Submitted 10 March, 2009; v1 submitted 27 October, 2008; originally announced October 2008.

Representation theory of W-algebras, II: Ramond twisted representations

Authors: Tomoyuki Arakawa

Abstract: We study the Ramond twisted representations of the affine W-algebra W^k(g,f) in the case that f admits a good even grading. We establish the vanishing and the almost irreducibility of the corresponding BRST cohomology. This confirms some of the recent conjectures of Kac and Wakimoto. In type A, our results give the characters of all irreducible ordinary Ramond twisted representations of W^k(sl_n… ▽ More We study the Ramond twisted representations of the affine W-algebra W^k(g,f) in the case that f admits a good even grading. We establish the vanishing and the almost irreducibility of the corresponding BRST cohomology. This confirms some of the recent conjectures of Kac and Wakimoto. In type A, our results give the characters of all irreducible ordinary Ramond twisted representations of W^k(sl_n,f) for all nilpotent elements f and all non-critical k, and prove the existence of modular invariant representations conjectured by Kac and Wakimoto. △ Less

Submitted 11 June, 2008; v1 submitted 12 February, 2008; originally announced February 2008.

Comments: Fixed some errors

Journal ref: Adv. Stud. Pure Math., 2011: 51-90 (2011)

Characters of representations of affine Kac-Moody Lie algebras at the critical level

Authors: Tomoyuki Arakawa

Abstract: 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 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. △ Less

Submitted 15 June, 2007; v1 submitted 13 June, 2007; originally announced June 2007.

Comments: 9 pages, a brief announcement. After submitting the first version of this paper we are notified that the formula was known to E. Frenkel

Representation Theory of W-Algebras

Authors: Tomoyuki Arakawa

Abstract: This paper is the detailed version of math.QA/0403477 (T. Arakawa, Quantized Reductions and Irreducible Representations of W-Algebras) with extended results; We study the representation theory of the W-algebra $W_k(g)$ associated with a simple Lie algebra $g$ (and its principle nilpotent element) at level k. We show that the "-" reduction functor is exact and sends an irreducible module to zer… ▽ More This paper is the detailed version of math.QA/0403477 (T. Arakawa, Quantized Reductions and Irreducible Representations of W-Algebras) with extended results; We study the representation theory of the W-algebra $W_k(g)$ associated with a simple Lie algebra $g$ (and its principle nilpotent element) at level k. We show that the "-" reduction functor is exact and sends an irreducible module to zero or an irreducible module at any level k. Moreover, we show that the character of each irreducible highest weight representation of $W_k(g)$ is completely determined by that of the corresponding irreducible highest weight representation of affine Lie algebra of $g$. △ Less

Submitted 12 June, 2007; v1 submitted 3 June, 2005; originally announced June 2005.

Comments: replaced by published version. pulished on line in Invent. Math. The original publication is available at http://www.springerlink.com

MSC Class: 17B68; 81R10