-
Minimal W-algebras of $\mathfrak{so}_N$ at level minus one
Authors:
Thomas Creutzig,
Justine Fasquel,
Vladimir Kovalchuk,
Andrew R. Linshaw,
Shigenori Nakatsuka
Abstract:
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 conjectur…
▽ More
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.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
Center of affine $\mathfrak{sl}_{2|1}$ at the critical level
Authors:
Drazen Adamovic,
Shigenori Nakatsuka
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 December, 2024;
originally announced December 2024.
-
On Virasoro-type reductions and inverse Hamiltonian reductions for $W$-algebras and $W_\infty$-algebras
Authors:
Justine Fasquel,
Vladimir Kovalchuk,
Shigenori Nakatsuka
Abstract:
In this article, the Virasoro-type reduction and the corresponding inverse reductions are established for W-algebras associated with classical Lie type and nilpotent orbits of height two. Moreover, these results are lifted to the universal objects by analyzing the Virasoro-type reduction of the vertex algebra $\mathcal{W}^{\mathfrak{sp}}_{\infty}$.
In this article, the Virasoro-type reduction and the corresponding inverse reductions are established for W-algebras associated with classical Lie type and nilpotent orbits of height two. Moreover, these results are lifted to the universal objects by analyzing the Virasoro-type reduction of the vertex algebra $\mathcal{W}^{\mathfrak{sp}}_{\infty}$.
△ Less
Submitted 24 February, 2025; v1 submitted 15 November, 2024;
originally announced November 2024.
-
Connecting affine $\mathcal{W}$-algebras: A case study on $\mathfrak{sl}_4$
Authors:
Justine Fasquel,
Zachary Fehily,
Ethan Fursman,
Shigenori Nakatsuka
Abstract:
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 m…
▽ More
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.
△ Less
Submitted 6 September, 2024; v1 submitted 25 August, 2024;
originally announced August 2024.
-
Some isomorphisms between exceptional W-algebras
Authors:
Jethro van Ekeren,
Shigenori Nakatsuka
Abstract:
We prove some isomorphisms between exceptional W-algebras associated with exceptional simple Lie algebras.
We prove some isomorphisms between exceptional W-algebras associated with exceptional simple Lie algebras.
△ Less
Submitted 15 August, 2024;
originally announced August 2024.
-
On the structure of W-algebras in type A
Authors:
Thomas Creutzig,
Justine Fasquel,
Andrew R. Linshaw,
Shigenori Nakatsuka
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 December, 2024; v1 submitted 12 March, 2024;
originally announced March 2024.
-
Orthosymplectic Feigin-Semikhatov duality
Authors:
Justine Fasquel,
Shigenori Nakatsuka
Abstract:
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…
▽ More
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.
△ Less
Submitted 4 May, 2025; v1 submitted 26 July, 2023;
originally announced July 2023.
-
Quasi-lisse extension of affine $\mathfrak{sl}_2$ à la Feigin--Tipunin
Authors:
Thomas Creutzig,
Shigenori Nakatsuka,
Shoma Sugimoto
Abstract:
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…
▽ More
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.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
Cosets from equivariant W-algebras
Authors:
Thomas Creutzig,
Shigenori Nakatsuka
Abstract:
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}})$ o…
▽ More
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.
△ Less
Submitted 31 May, 2022;
originally announced June 2022.
-
Feigin-Semikhatov conjecture and related topics
Authors:
Shigenori Nakatsuka
Abstract:
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$ sup…
▽ More
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.
△ Less
Submitted 18 May, 2022;
originally announced May 2022.
-
Duality via convolution of W-algebras
Authors:
Thomas Creutzig,
Andrew R. Linshaw,
Shigenori Nakatsuka,
Ryo Sato
Abstract:
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 di…
▽ More
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.
△ Less
Submitted 28 December, 2024; v1 submitted 3 March, 2022;
originally announced March 2022.
-
Correspondences of categories for subregular W-algebras and principal W-superalgebras
Authors:
Thomas Creutzig,
Naoki Genra,
Shigenori Nakatsuka,
Ryo Sato
Abstract:
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. Firstl…
▽ More
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.
△ Less
Submitted 2 April, 2021;
originally announced April 2021.
-
A geometric construction of integrable Hamiltonian hierarchies associated with the classical affine W-algebras
Authors:
Shigenori Nakatsuka
Abstract:
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.
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.
△ Less
Submitted 30 May, 2020;
originally announced June 2020.
-
Duality of subregular W-algebras and principal W-superalgebras
Authors:
Thomas Creutzig,
Naoki Genra,
Shigenori Nakatsuka
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 March, 2021; v1 submitted 21 May, 2020;
originally announced May 2020.
-
On Miura maps for W-superalgebras
Authors:
Shigenori Nakatsuka
Abstract:
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.
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.
△ Less
Submitted 10 August, 2023; v1 submitted 21 May, 2020;
originally announced May 2020.
