First-order deformations of freely generated vertex algebras
Vladimir Kovalchuk, Fei Qi
TL;DR
The paper solves the problem of classifying first-order vertex-algebraic deformations for grading-restricted vertex algebras freely generated by positive-weight elements by computing $H^2_{1/2}(V,V)$ via Huang’s cohomology. It develops a general, generator-based cocycle framework in which a cocycle is determined by its singular part on generators, uses a generating-function technique to extend to all pairs, and proves that in the freely generated case all complementary solutions are coboundaries, yielding $H^2_{1/2}(V,V)=H^2_{\infty}(V,V)$. This leads to explicit first-order deformations for Virasoro, universal affine, Heisenberg, and $W_3^c$ VOAs, highlighting how central-charge and level deformations capture the nontrivial deformations. The results provide a practical algorithm for deformation classification and illuminate convergence properties essential for composing Gerstenhaber-like structures in this context, with potential extensions beyond freely generated algebras.
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 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$.
