Searcharxiv⌕ Search

arXiv subjects

Shigenori Nakatsuka

Publications and source records attributed to Shigenori Nakatsuka.

18 recordsLinked to original sources

The Kazhdan-Lusztig category of W-algebras of simply-laced Lie algebras at irrational levels

Let $\mathfrak{g}$ be a simple, simply-laced Lie algebra and $f \in \mathfrak{g}$ nilpotent. The Kazhdan-Lusztig category of the W-algebra $W^κ(\mathfrak{g},f)$ associated with $(\mathfrak{g},f)$ at level $κ\in \mathbb{C}$ is obtained from the Kazhdan-Lusztig category of the affine vertex algebra $V^κ(\mathfrak{g})$ via the quantum Hamiltonian reduction associated with $f$. We show that this is a braided tensor equivalence for any $f$ and any irrational level $κ\in \mathbb{C} \backslash \mathbb{Q}$.

math.RT↗

Center of the affine $\mathfrak{gl}_{n|1}$ at the critical level and pseudo-differential operators

We prove that the center of the affine Lie algebra $\widehat{\mathfrak{gl}}_{n|1}$ at the critical level is generated by the coefficients in the expansion of the pseudo-differential operator $(\partial_z-u_1(z))\cdots (\partial_z-u_n(z))(\partial_z+u_{n+1}(z))^{-1}$ taking values in the Cartan subalgebra. This is an affine analogue of the Harish-Chandra isomorphism in the finite case. The key ingredient of the proof is the identification of the center with the Heisenberg coset of the regular W-superalgebra of $\mathfrak{gl}_{n|1}$ at the critical level, whose associated graded algebra is realized as the affine supersymmetric polynomials. Based on this, we derive a character formula for the center, which coincides with the generating function of plane partitions with a pit condition. We also prove that the Heisenberg coset at generic levels has a similar interpretation in terms of pseudo-differential operators that deform the one at the critical level.

math.RT↗

Quantum Hamiltonian reductions for W-algebras

In this paper, we establish a general criterion for good pairs, namely pairs consisting of a nilpotent orbit and an even good grading in a simple Lie algebra, which guarantees the existence of a quantum Hamiltonian reduction between associated affine W-algebras. In particular, we show that for type A, any two affine W-algebras associated with two adjacent nilpotent orbits are related by quantum Hamiltonian reductions in full generality.

math.RT↗

Minimal W-algebras of $\mathfrak{so}_N$ at level minus one

For $N \in\mathbb Z_{\geq 7}$ we show that the simple minimal $\mathcal{W}$-algebra of $\mathfrak{so}_N$ at level minus one is isomorphic to the even subalgebra of the tensor product of the simple affine vertex superalgebra of $\mathfrak{osp}_{1|2}$ at level $\frac{N-6}{2}$ with $N-4$ free fermions. In particular when $N$ is even this minimal $\mathcal{W}$-algebra is strongly rational as conjectured by Arakawa-Moreau.

math.RT↗

Orthosymplectic Feigin-Semikhatov duality

We study the representation theory of the subregular W-algebra $\mathcal{W}^k(\mathfrak{so}_{2n+1},f_{sub})$ of type B and the principal W-superalgebra $\mathcal{W}^\ell(\mathfrak{osp}_{2|2n})$, which are related by an orthosymplectic analogue of Feigin-Semikhatov duality in type A. We establish a block-wise equivalence of weight modules over the W-superalgebras by using the relative semi-infinite cohomology functor and spectral flow twists, which generalizes the result of Feigin-Semikhatov-Tipunin for the N=2 superconformal algebra. In particular, the correspondence of Wakimoto type free field representations is obtained. When the level of the subregular W-algebra is exceptional, we classify the simple modules over the simple quotients $\mathcal{W}_k(\mathfrak{so}_{2n+1},f_{sub})$ and $\mathcal{W}_\ell(\mathfrak{osp}_{2|2n})$ and derive the character formulae.

math.RT↗

Duality via convolution of W-algebras

Feigin-Frenkel duality is the isomorphism between the principal $\mathcal{W}$-algebras of a simple Lie algebra $\mathfrak{g}$ and its Langlands dual Lie algebra ${}^L\mathfrak{g}$. A generalization of this duality to a larger family of $\mathcal{W}$-algebras called hook-type was recently conjectured by Gaiotto and Rapčák and proved by the first two authors. It says that the affine cosets of two different hook-type $\mathcal{W}$-algebras are isomorphic. A natural question is whether the duality between affine cosets can be enhanced to a duality between the full $\mathcal{W}$-algebras. There is a convolution operation that maps a hook-type $\mathcal{W}$-algebra $\mathcal{W}$ to a certain relative semi-infinite cohomology of $\mathcal{W}$ tensored with a suitable kernel VOA. The first two authors conjectured previously that this cohomology is isomorphic to the Feigin-Frenkel dual hook-type $\mathcal{W}$-algebra. Our main result is a proof of this conjecture.

math.QA↗

On the structure of W-algebras in type A

We formulate and prove examples of a conjecture which describes the W-algebras in type A as successive quantum Hamiltonian reductions of affine vertex algebras associated with several hook-type nilpotent orbits. This implies that the affine coset subalgebras of hook-type W-algebras are building blocks of the W-algebras in type A. In the rational case, it turns out that the building blocks for the simple quotients are provided by the minimal series of the regular W-algebras. In contrast, they are provided by singlet-type extensions of W-algebras at collapsing levels which are irrational. In the latter case, several new sporadic isomorphisms between different W-algebras are established.

math.RT↗

Center of affine $\mathfrak{sl}_{2|1}$ at the critical level

In this article, we shall describe the center of the universal affine vertex superalgebra $V^{κ_c}(\mathfrak g)$ associated with $\mathfrak g=\mathfrak{sl}_{2|1}, \mathfrak {gl}_{2|1}$ at the critical level $κ_c$ and prove the conjecture of A. Molev and E. Ragoucy in this case. The center $\mathfrak{z}(V^{κ_c}(\mathfrak{sl}_{2|1}))$ turns out to be isomorphic to the large level limit $\ell \rightarrow \infty$ of a vertex subalgebra, called the parafermion vertex algebra $K^{\ell} (\mathfrak{sl}_2)$, of the affine vertex algebra $V^\ell(\mathfrak{sl}_2)$. The key ingredient of the proof is to understand the principal $W$-superalgebra $ W^{κ_c}(\mathfrak{sl}_{2|1})$ at the critical level. It relates the center $\mathfrak{z}(V^{κ_c}(\mathfrak{sl} _{2|1}))$ to $V^\infty(\mathfrak{sl}_2)$ via the Kazama-Suzuki duality while it has a surprising coincidence with $V^{κ_c}(\mathfrak{gl}_{1|1})$, whose center has been recently described. Moreover, the centers $\mathfrak{z}(V^{κ_c}(\mathfrak{sl}_{2|1}))$ and $\mathfrak{z}(W^{κ_c}(\mathfrak{sl}_{2|1}))$ are proven to coincide as a byproduct. A general conjecture is proposed which describes the center $\mathfrak{z}(V^{κ_c}(\mathfrak{sl}_{n|m}))$ with $n>m$ as a large level limit of ``the dual side'', i.e., the parafermion-type subalgebras of $W$-algebras $ W^\ell(\mathfrak{sl}_{n}, \mathbb{O}_{[n-m,1^m]})$ associated with hook-type partitions $[n-m,1^m]$, known also as vertex algebras at the corner.

math.QA↗

Connecting affine $\mathcal{W}$-algebras: A case study on $\mathfrak{sl}_4$

We introduce the partial reductions and inverse Hamiltonian reductions between affine $\mathcal{W}$-algebras along the closure relations of associated nilpotent orbits in the case of $\mathfrak{sl}_4$, fulfilling all the missing constructions in the literature. We also apply the partial reductions to modules in the Kazhdan-Lusztig category and show compatibility with the usual reductions of Weyl modules.

math.QA↗

On Miura maps for W-superalgebras

We prove the injectivity of the Miura maps for W-superalgberas and the isomorphisms between the Poisson vertex superalgebras obtained as the associated graded of the W-superalgebras in terms of the Li's filtration and the level 0 Poisson vertex superalgebras associated with the arc spaces of the corresponding Slodowy slices in full generality.

math.QA↗

Quasi-lisse extension of affine $\mathfrak{sl}_2$ à la Feigin--Tipunin

We study the affine analogue $\mathrm{FT}_p(\mathfrak{sl}_2)$ of the triplet algebra. We show that $\mathrm{FT}_p(\mathfrak{sl}_2)$ is quasi-lisse and the associated variety is the nilpotent cone of $\mathfrak{sl}_2$. We realize $\mathrm{FT}_p(\mathfrak{sl}_2)$ as the global sections of a sheaf of vertex algebras in the spirit of Feigin--Tipunin and thereby construct infinitely many simple modules and, in particular solve a conjecture by Semikhatov and Tipunin. We introduce the Kazama--Suzuki dual superalgebra $s\mathcal{W}_p(\mathfrak{sl}_{2|1})$ of $\mathrm{FT}_p(\mathfrak{sl}_2)$ and their singlet type subalgebras $s\mathcal{M}_p(\mathfrak{sl}_{2|1})$ and $\mathcal{M}_p(\mathfrak{sl}_2)$ and show their correspondence of categories. For $p=1$, we show the logarithmic Kazhdan--Lusztig correspondence for these (super)algebras and, in particular, show that the quantum group corresponding to $s\mathcal{M}_1(\mathfrak{sl}_{2|1})$ is the unrolled restricted quantum supergroup $u^H_{-1}(\mathfrak{sl}_{2|1})$ as suggested by Semikhatov and Tipunin.

math.RT↗

Cosets from equivariant W-algebras

The equivariant $\mathcal{W}$-algebra of a simple Lie algebra $\mathfrak{g}$ is a BRST reduction of the algebra of chiral differential operators on the Lie group of $\mathfrak{g}$. We construct a family of vertex algebras $A[\mathfrak{g}, κ, n]$ as subalgebras of the equivariant $\mathcal{W}$-algebra of $\mathfrak{g}$ tensored with the integrable affine vertex algebra $L_n(\check{\mathfrak{g}})$ of the Langlands dual Lie algebra $\check{\mathfrak{g}}$ at level $n\in \mathbb{Z}_{>0}$. They are conformal extensions of the tensor product of an affine vertex algebra and the principal $\mathcal{W}$-algebra whose levels satisfy a specific relation.

math.RT↗

Feigin-Semikhatov conjecture and related topics

Feigin-Semikhatov conjecture, now established, states algebraic isomorphisms between the cosets of the subregular $\mathcal{W}$-algebras and the principal $\mathcal{W}$-superalgebras of type A by their full Heisenberg subalgebras. It can be seen as a variant of Feigin-Frenkel duality between the $\mathcal{W}_n$-algebras and also as a generalization of the connection between the $\mathcal{N}=2$ superconformal algebra and the affine algebra $\hat{\mathfrak{sl}}_{2,k}$.We review the recent developments on the correspondence of the subregular W-algebras and the principal W-superalgebras of type A at the level of algebras, modules and intertwining operators, including fusion rules.

math.RT↗

Correspondences of categories for subregular W-algebras and principal W-superalgebras

Based on the Kazama-Suzuki type coset construction and its inverse coset between the subregular $\mathcal{W}$-algebras for $\mathfrak{sl}_n$ and the principal $\mathcal{W}$-superalgebras for $\mathfrak{sl}_{1|n}$, we prove weight-wise linear equivalences of their representation categories. Our main results are then improvements of these correspondences incorporating the monoidal structures. Firstly, in the rational case, we obtain the classification of simple modules and their fusion rules via simple current extensions from their Heisenberg cosets. Secondly, beyond the rational case, we use certain kernel VOAs together with relative semi-infinite cohomology functors to get functors from categories of modules for the subregular $\mathcal{W}$-algebras for $\mathfrak{sl}_n$ to categories of modules for the principal $\mathcal{W}$-superalgebras for $\mathfrak{sl}_{1|n}$ and vice versa. We study these functors and in particular prove isomorphisms between the superspaces of logarithmic intertwining operators. As a corollary, we obtain correspondences of representation categories in the monoidal sense beyond the rational case as well.

math.RT↗

Duality of subregular W-algebras and principal W-superalgebras

We prove Feigin-Frenkel type dualities between subregular W-algebras of type A, B and principal W-superalgebras of type $\mathfrak{sl}(1|n), \mathfrak{osp}(2|2n)$. The type A case proves a conjecture of Feigin and Semikhatov. Let $(\mathfrak{g}_1,\mathfrak{g}_2) = (\mathfrak{sl}_{n+1},\mathfrak{sl}(1|n+1))$ or $(\mathfrak{so}_{2n+1}, \mathfrak{osp}(2|2n))$ and let $r$ be the lacity of $\mathfrak{g}_1$. Let k be a complex number and $\ell$ defined by $r(k+h^\vee_1)(\ell+h^\vee_2)=1$ with $h^\vee_i$ the dual Coxeter numbers of the $\mathfrak g_i$. Our first main result is that the Heisenberg cosets $\mathcal C^k(\mathfrak g_1)$ and $\mathcal C^\ell(\mathfrak g_2)$ of these W-algebras at these dual levels are isomorphic, i.e. $\mathcal C^k(\mathfrak g_1) \simeq \mathcal C^\ell(\mathfrak g_2)$ for generic k. We determine the generic levels and furthermore establish analogous results for the cosets of the simple quotients of the W-algebras. Our second result is a novel Kazama-Suzuki type coset construction: We show that a diagonal Heisenberg coset of the subregular W-algebra at level $k$ times the lattice vertex superalgebra $V_{\mathbb Z}$ is the principal W-superalgebra at the dual level $\ell$. Conversely a diagonal Heisenberg coset of the principal W-superalgebra at level $\ell$ times the lattice vertex superalgebra $V_{\sqrt{-1}\mathbb Z}$ is the subregular W-algebra at the dual level k. Again this is proven for the universal W-algebras as well as for the simple quotients. We show that a consequence of the Kazama-Suzuki type construction is that the simple principal W-superalgebra and its Heisenberg coset at level $\ell$ are rational and/or C_2-cofinite if the same is true for the simple subregular W-algebra at dual level $\ell$. This gives many new C_2-cofiniteness and rationality results.

math.QA↗

A geometric construction of integrable Hamiltonian hierarchies associated with the classical affine W-algebras

A class of classical affine W-algebras are shown to be isomorphic as differential algebras to the coordinate rings of double coset spaces of certain prounipotent proalgebraic groups. As an application, integrable Hamiltonian hierarchies associated with them are constructed geometrically, generalizing the corresponding result of Feigin-Frenkel and Enriquez-Frenkel for the principal cases.

math.QA↗