Abstract:We construct vertex algebras $\mathbb{V}(Y,S)$ from divisors $S$ on toric Calabi-Yau threefolds $Y$, satisfying conjectures of Gaiotto-Rapcak and Feigin-Gukov, as the kernel of screening operators on lattice vertex algebras determined by the GKM graph of $Y$ and a filtration on $\mathcal{O}_S$. We prove that there are representations of $\mathbb{V}(Y,S)$ on the homology groups of various moduli spaces of coherent sheaves on $Y$ supported on $S$ constructed in a companion paper with Rapcak, defined by certain Hecke modifications of these sheaves along points and curve classes in the divisor $S$. This generalizes the common mathematical formulation of a conjecture of Alday-Gaiotto-Tachikawa, the special case in which $Y=\mathbb{C}^3$ and $S=r[\mathbb{C}^2]$, to toric threefolds and divisors as proposed by Gaiotto-Rapcak. We outline an approach to the general conjecture and prove many special cases and partial results using tools developed in the companion paper, following the proof of the original conjecture by Schiffmann-Vasserot and its generalization to divisors in $\mathbb{C}^3$ by Rapcak-Soibelman-Yang-Zhao. The vertex algebras $\mathbb{V}(Y,S)$ conjecturally include $W$-superalgebras $ W_{f_0,f_1}^\kappa(\mathfrak{gl}_{m|n})$ and genus zero class $\mathcal{S}$ chiral algebras $\mathbb{V}^{\mathcal{S}}_{\text{Gl}_m;f_1,...,f_k}$, each for general nilpotents $f_i$. By definition, this implies the existence of a family of compatible free field realizations of these vertex algebras, relevant to their parabolic induction and inverse quantum Hamiltonian reduction. We prove these conjectures in the examples of lowest non-trivial rank for each case, and outline the proof in general for some cases.

Higher Courant-Dorfman algebras and associated higher Poisson vertex algebras

Noncommutative Poisson vertex algebras and Courant-Dorfman algebras

Transposed Poisson structures on Virasoro-type algebras

On higher Jacobians, Laplace equations and Lefschetz properties

Higher vector bundles and multi-graded symplectic manifolds

BV Algebras with Applications to Lie Bialgebras and Poisson Cohomology

Homotopy Algebras in Higher Spin Theory

On Some Aspects of the Courant-Type Algebroids, the Related Coadjoint Orbits and Integrable Systems

Non-Commutative Batalin-Vilkovisky Algebras, Homotopy Lie Algebras and the Courant Bracket

Vertex algebras from divisors on Calabi-Yau threefolds

Clifford algebras, symmetric spaces and cohomology rings of Grassmannians

Higher Airy Structures, W Algebras and Topological Recursion

Transposed Poisson structures on Virasoro-type (super)algebras

Higher equations of motion at level 2 in Liouville CFT

Two -Graded Infinite Lie Conformal Algebras Related to the Virasoro Conformal Algebra

Symplectic Fourier-Deligne transforms on G/U and the algebra of braids and ties

Symplectic Fourier–Deligne Transforms on G/U and the Algebra of Braids and Ties

Strong Homotopy Algebras for Chiral Higher Spin Gravity via Stokes Theorem

Higher Lorentzian Polynomials, Higher Hessians, and the Hodge-Riemann Property for Graded Oriented Artinian Gorenstein Algebras in Codimension Two

On Conormal Lie Algebras of Feigin-Odesskii Poisson Structures

Koszul Lie algebras and their subalgebras