Source author record

Tomoyuki Arakawa

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.QA math.RT math-ph math.MP math.AG hep-th math.AC

Catalog footprint

Research overview

20works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

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.

preprint2021arXiv

Rationality and Fusion Rules of Exceptional W-Algebras

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.

preprint2020arXiv

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

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$ .

preprint2019arXiv

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

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.

preprint2019arXiv

W-algebras as coset vertex algebras

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.

preprint2017arXiv

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

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}$

preprint2017arXiv

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

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.

preprint2016arXiv

Joseph ideals and lisse minimal W-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.

preprint2016arXiv

On the irreducibility of associated varieties of W-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.

preprint2015arXiv

Rationality of W-algebras: principal nilpotent cases

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.

preprint2014arXiv

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

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.

preprint2014arXiv

Rationality of admissible affine vertex algebras in the category O

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.

preprint2014arXiv

Two-sided BGG resolutions 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.

preprint2013arXiv

Rationality of Bershadsky-Polyakov vertex algebras

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.

preprint2012arXiv

Zhu's algebra, C_2-algebra and C_2-cofiniteness of parafermion vertex operator 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.

preprint2011arXiv

W-algebras at the critical level

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.

preprint2010arXiv

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

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.

preprint2010arXiv

On the restricted Verma modules at the critical level

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.

preprint2007arXiv

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

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.

preprint2005arXiv

Representation Theory of Superconformal Algebras and the Kac-Roan-Wakimoto Conjecture

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$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Tomoyuki Arakawa

Research overview

Is this your work?

20 publications

On the nilpotent orbits arising from admissible affine vertex algebras

Rationality and Fusion Rules of Exceptional W-Algebras

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

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

W-algebras as coset vertex algebras

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

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

Joseph ideals and lisse minimal W-algebras

On the irreducibility of associated varieties of W-algebras

Rationality of W-algebras: principal nilpotent cases

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

Rationality of admissible affine vertex algebras in the category O

Two-sided BGG resolutions of admissible representations

Rationality of Bershadsky-Polyakov vertex algebras

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

W-algebras at the critical level

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

On the restricted Verma modules at the critical level

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

Representation Theory of Superconformal Algebras and the Kac-Roan-Wakimoto Conjecture

See the researcher in context

Building this map preview

Tomoyuki Arakawa

Research overview

Is this your work?

20 publications

On the nilpotent orbits arising from admissible affine vertex algebras

Rationality and Fusion Rules of Exceptional W-Algebras

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

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

W-algebras as coset vertex algebras

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

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

Joseph ideals and lisse minimal W-algebras

On the irreducibility of associated varieties of W-algebras

Rationality of W-algebras: principal nilpotent cases

Associated varieties of modules over Kac-Moody algebras and C2C_2C2​-cofiniteness of W-algebras

Rationality of admissible affine vertex algebras in the category O

Two-sided BGG resolutions of admissible representations

Rationality of Bershadsky-Polyakov vertex algebras

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

W-algebras at the critical level

A remark on the C2C_2C2​-cofiniteness condition on vertex algebras

On the restricted Verma modules at the critical level

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

Representation Theory of Superconformal Algebras and the Kac-Roan-Wakimoto Conjecture

See the researcher in context

Building this map preview

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

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

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

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