Showing 1–6 of 6 results for author: Kovalchuk, V

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.

Comments: 13 pages

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.

Comments: 40 pages, section 9 on Virasoro reduction for universal W-algebras has been added

Building blocks for $W$-algebras of classical types

Authors: Thomas Creutzig, Vladimir Kovalchuk, Andrew R. Linshaw

Abstract: The universal $2$-parameter vertex algebra $W_{\infty}$ of type $W(2,3,4,\dots)$ serves as a classifying object for vertex algebras of type $W(2,3,\dots,N)$ for some $N$ in the sense that under mild hypothesis, all such vertex algebras arise as quotients of $W_{\infty}$. There is an $\mathbb{N} \times \mathbb{N}$ family of such $1$-parameter vertex algebras which, after tensoring with a Heisenberg… ▽ More The universal $2$-parameter vertex algebra $W_{\infty}$ of type $W(2,3,4,\dots)$ serves as a classifying object for vertex algebras of type $W(2,3,\dots,N)$ for some $N$ in the sense that under mild hypothesis, all such vertex algebras arise as quotients of $W_{\infty}$. There is an $\mathbb{N} \times \mathbb{N}$ family of such $1$-parameter vertex algebras which, after tensoring with a Heisenberg algebra, are known as $Y$-algebras. They were introduced by Gaiotto and Rapčák and are expected to be the building blocks for all $W$-algebras in type $A$, i.e., every $W$-(super) algebra in type $A$ is an extension of a tensor product of finitely many $Y$-algebras. Similarly, the orthosymplectic $Y$-algebras are $1$-parameter quotients of a universal $2$-parameter vertex algebra $W^{\text{ev}}_{\infty}$ of type $W(2,4,6,\dots)$, which is a classifying object for vertex algebras of type $W(2,4,\dots, 2N)$ for some $N$. Unlike type $A$, these algebras are not all the building blocks for $W$-algebras of types $B$, $C$, and $D$. In this paper, we construct a new universal $2$-parameter vertex algebra of type $W(1^3, 2, 3^3, 4, 5^3,6,\dots)$ which we denote by $W^{\mathfrak{sp}}_{\infty}$ since it contains a copy of the affine vertex algebra $V^k(\mathfrak{sp}_2)$. We identify $8$ infinite families of $1$-parameter quotients of $W^{\mathfrak{sp}}_{\infty}$ which are analogues of the $Y$-algebras. We regard $W^{\mathfrak{sp}}_{\infty}$ as a fundamental object on equal footing with $W_{\infty}$ and $W^{\text{ev}}_{\infty}$, and we give some heuristic reasons for why we expect the $1$-parameter quotients of these three objects to be the building blocks for all $W$-algebras of classical types. Finally, we prove that $W^{\mathfrak{sp}}_{\infty}$ has many quotients which are strongly rational. This yields new examples of strongly rational $W$-superalgebras. △ Less

Submitted 13 September, 2024; v1 submitted 5 September, 2024; originally announced September 2024.

Comments: 65 pages. We corrected the list of indecomposable nilpotents of types B and D in Section 3

First-order deformations of freely generated vertex algebras

Authors: Vladimir Kovalchuk, Fei Qi

Abstract: We solve the problem of how to classify the first-order vertex-algebraic deformations for any grading-restricted vertex algebra $V$ that is freely generated by homogeneous elements of positive weights. We approach by computing the second cohomology $H^2_{1/2}(V, V)$ constructed by Yi-Zhi Huang. We start with the cocycle on two generators and show that its cohomology class is completely determined… ▽ More We solve the problem of how to classify the first-order vertex-algebraic deformations for any grading-restricted vertex algebra $V$ that is freely generated by homogeneous elements of positive weights. We approach by computing the second cohomology $H^2_{1/2}(V, V)$ constructed by Yi-Zhi Huang. We start with the cocycle on two generators and show that its cohomology class is completely determined by its singular part. To extend the cocycle to any pair of elements in $V$, we take a generating function approach, formulate the cocycle equation, and show that all the complementary solutions are coboundaries. Then we use a very general procedure to construct a particular solution. The procedure applies to vertex algebras that are not freely generated. As a by-product, we show that $H^2_{1/2}(V, V) = H^2_\infty(V, V)$. Using these results, we explicitly determine the first-order deformations of the universal Virasoro VOA $Vir_c$, universal affine VOA $V^l(\mathfrak{g})$, Heisenberg VOA $V^l(\mathfrak{h})$, and the universal Zamolodchikov VOA $W_3^c$. △ Less

Submitted 5 March, 2025; v1 submitted 29 August, 2024; originally announced August 2024.

Comments: 64 pages. Corrected a very misleading typo in Theorem 5.13. Proof of Theorem 3.7 should be organized by filtrations. Added explanations in Section 4.1 on how to use Theorem 3.7 to handle the definition when $V$ is nonlinear. Corrected also other minor typos and errors. Comments are welcomed

A remark on geodesics in the Banach Mazur distance

Authors: Alvaro Arias, Vladimir Kovalchuk

Abstract: We show that there are uncountably many geodesics between any two non-isometric $n$-dimensional normed spaces. We construct two explicit geodesics that can be used to describe all the points of the other geodesics. We show that there are uncountably many geodesics between any two non-isometric $n$-dimensional normed spaces. We construct two explicit geodesics that can be used to describe all the points of the other geodesics. △ Less

Submitted 28 October, 2022; originally announced October 2022.

MSC Class: Primary MSC 52A20; 52A21

Generalized parafermions of orthogonal type

Authors: Thomas Creutzig, Vladimir Kovalchuk, Andrew R. Linshaw

Abstract: There is an embedding of affine vertex algebras $V^k(\mathfrak{gl}_n) \hookrightarrow V^k(\mathfrak{sl}_{n+1})$, and the coset $\mathcal{C}^k(n) = \text{Com}(V^k(\mathfrak{gl}_n), V^k(\mathfrak{sl}_{n+1}))$ is a natural generalization of the parafermion algebra of $\mathfrak{sl}_2$. It was called the algebra of generalized parafermions by the third author and was shown to arise as a one-parameter… ▽ More There is an embedding of affine vertex algebras $V^k(\mathfrak{gl}_n) \hookrightarrow V^k(\mathfrak{sl}_{n+1})$, and the coset $\mathcal{C}^k(n) = \text{Com}(V^k(\mathfrak{gl}_n), V^k(\mathfrak{sl}_{n+1}))$ is a natural generalization of the parafermion algebra of $\mathfrak{sl}_2$. It was called the algebra of generalized parafermions by the third author and was shown to arise as a one-parameter quotient of the universal two-parameter $\mathcal{W}_{\infty}$-algebra of type $\mathcal{W}(2,3,\dots)$. In this paper, we consider an analogous structure of orthogonal type, namely $\mathcal{D}^k(n) = \text{Com}(V^k(\mathfrak{so}_{2n}), V^k(\mathfrak{so}_{2n+1}))^{\mathbb{Z}_2}$. We realize this algebra as a one-parameter quotient of the two-parameter even spin $\mathcal{W}_{\infty}$-algebra of type $\mathcal{W}(2,4,\dots)$, and we classify all coincidences between its simple quotient $\mathcal{D}_k(n)$ and the algebras $\mathcal{W}_{\ell}(\mathfrak{so}_{2m+1})$ and $\mathcal{W}_{\ell}(\mathfrak{so}_{2m})^{\mathbb{Z}_2}$. As a corollary, we show that for the admissible levels $k = -(2n-2) + \frac{1}{2} (2 n + 2 m -1)$ for $\widehat{\mathfrak{so}}_{2n}$ the simple affine algebra $L_k(\mathfrak{so}_{2n})$ embeds in $L_k(\mathfrak{so}_{2n+1})$, and the coset is strongly rational. As a consequence, the category of ordinary modules of $L_k(\mathfrak{so}_{2n+1})$ at such a level is a braided fusion category. △ Less

Submitted 23 November, 2021; v1 submitted 5 October, 2020; originally announced October 2020.

Comments: Minor corrections, final version to appear in J. Algebra

Journal ref: Journal of Algebra 593 (2022), 178-192