Orbifolds of Gaiotto-Rap\v{c}\'ak $Y$-algebras

TL;DR

This paper studies orbifolds of Gaiotto-Rapčák $Y$-algebras, revealing that most are generated by a single weight-4 field and providing finite generating sets, expanding understanding of their algebraic structure.

Contribution

It introduces the structure of orbifolds of Gaiotto-Rapčák $Y$-algebras, showing they are mostly generated by a single conformal weight 4 field and offering explicit finite generating sets.

Findings

Orbifolds of $Y$-algebras are generated by a single weight-4 field.

Finite generating sets are explicitly constructed for these orbifolds.

Most orbifolds, except extremal cases, have a simple generating structure.

Abstract

The universal two-parameter ${\mathcal W}_{\infty}$-algebra is a classifying object for vertex algebras of type ${\mathcal W}(2,3,\dots, N)$ for some $N$. Gaiotto and Rap\v{c}\'ak recently introduced a large family of such vertex algebras called $Y$-algebras, which includes many known examples such as the principal ${\mathcal W}$-algebras of type $A$. These algebras admit an action of $\mathbb{Z}_2$, and in this paper we study the structure of their orbifolds. Aside from the extremal cases of either the Virasoro algebra or the ${\mathcal W}_3$-algebra, we show that these orbifolds are generated by a single field in conformal weight $4$, and we give strong finite generating sets.