Researcher profile

Tomoyuki Arakawa

Tomoyuki Arakawa contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 published item(s)

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.