The Z2-orbifold of the universal affine vertex algebra

Let $\mathfrak{g}$ be a simple, finite-dimensional complex Lie algebra, and let $V^k(\mathfrak{g})$ denote the universal affine vertex algebra associated to $\mathfrak{g}$ at level k. The Cartan involution on $\mathfrak{g}$ lifts to an involution on $V^k(\mathfrak{g})$, and we denote by $V^k{(\mathfrak{g})}^{{\mathbb{Z}}_2}$ the orbifold, or fixed-point subalgebra, under this involution. Our main result is an explicit minimal strong finite generating set for $V^k{(\mathfrak{g})}^{{\mathbb{Z}}_2}$ for generic values of k.