Cosets of free field algebras via arc spaces

Abstract

Using the invariant theory of arc spaces, we find minimal strong generating sets for certain cosets of affine vertex algebras inside free field algebras that are related to classical Howe duality. These results have several applications. First, for any vertex algebra $\mathcal{V}$, we have a surjective homomorphism of differential algebras $\mathbb{C}[J_{\infty }(X_{\mathcal{V}})]\to {\text{gr}}^F(\mathcal{V})$; equivalently, the singular support of $\mathcal{V}$ is a closed subscheme of the arc space of the associated scheme $X_{\mathcal{V}}$. We give many new examples of classically free vertex algebras (i.e., this map is an isomorphism), including $L_k({\mathfrak{sp}}_{2n})$ for all positive integers $n$ and $k$. We also give new examples where the kernel of this map is nontrivial but is finitely generated as a differential ideal. Next, we prove a coset realization of the subregular $\mathcal{W}$-algebra of ${\mathfrak{sl}}_n$ at critical level that was previously conjectured by Creutzig, Gao, and the first author. Finally, we give some new level-rank dualities involving affine vertex superalgebras.

arXiv commentFinal version, to appear in IMRN

References in corpus (22)

• W-algebras as coset vertex algebras
• Schur-Weyl Duality for Heisenberg Cosets
• $W_n^{(2)}$ algebras
• Cosets of affine vertex algebras inside larger structures
• W{1+ \infty} algebra, W_3 algebra, and Friedan-Martinec-Shenker bosonization
• Trialities of $\mathcal{W}$-algebras
• Screening operators for W-algebras
• The vertex algebras ${\mathcal{R}}^{(p)}$ and ${\mathcal{V}}^{(p)}$
• Level-rank duality via tensor categories
• Cosets of Bershadsky-Polyakov algebras and rational $\mathcal{W}$-algebras of type $A$
• Trialities of orthosymplectic $\mathcal{W}$-algebras
• Fusion rules and complete reducibility of certain modules for affine Lie algebras
• Cosets of the ${\mathcal{W}}^k({\mathfrak{sl}}_4,f_{\text{subreg}})$-algebra
• Jet schemes and invariant theory
• Arc spaces and the vertex algebra commutant problem
• Singular support of a vertex algebra and the arc space of its associated scheme
• Chiral Homology of elliptic curves and the Zhu algebra
• A commutant realization of W^(2)_n at critical level
• Strong generators of the subregular W-algebra and combinatorial description at critical level
• Standard monomials and invariant theory for arc spaces I: general linear group
• Symplectic level-rank duality via tensor categories
• Invariant subalgebras of the small $\mathcal{N}=4$ superconformal algebra