Abstract:To each complex reflection group $\Gamma$ one can attach a canonical symplectic singularity $\mathcal{M}_\Gamma$ <a class="link-https" data-arxiv-id="math/9903070" href="https://arxiv.org/abs/math/9903070">arXiv:math/9903070</a>. Motivated by the 4D/2D duality <a class="link-https" data-arxiv-id="1312.5344" href="https://arxiv.org/abs/1312.5344">arXiv:1312.5344</a>, <a class="link-https" data-arxiv-id="1707.07679" href="https://arxiv.org/abs/1707.07679">arXiv:1707.07679</a>, Bonetti, Meneghelli and Rastelli <a class="link-https" data-arxiv-id="1810.03612" href="https://arxiv.org/abs/1810.03612">arXiv:1810.03612</a> conjectured the existence of a supersymmetric vertex operator superalgebra $\mathsf{W}_\Gamma$ whose associated variety is isomorphic to $\mathcal{M}_\Gamma$. We prove this conjecture when the complex reflection group $\Gamma$ is the symmetric group $S_N$ by constructing a sheaf of $\hbar$-adic vertex operator superalgebras on the Hilbert scheme of $N$ points in the plane. For that case, we also show the free-field realisation of $\mathsf{W}_\Gamma$ in terms of $\operatorname{rk}(\Gamma)$ many $\beta\gamma bc$-systems proposed in <a class="link-https" data-arxiv-id="1810.03612" href="https://arxiv.org/abs/1810.03612">arXiv:1810.03612</a>, and identify the character of $\mathsf{W}_\Gamma$ as a certain quasimodular form of mixed weight and multiple $q$-zeta value. In physical terms, the vertex operator superalgebra $\mathsf{W}_{S_N}$ constructed in this article corresponds via the 4D/2D duality <a class="link-https" data-arxiv-id="1312.5344" href="https://arxiv.org/abs/1312.5344">arXiv:1312.5344</a> to the four-dimensional $\mathcal{N}=4$ supersymmetric Yang-Mills theory with gauge group $\operatorname{SL}_N$.

Hilbert schemes on blowing ups and the free Boson

Hypertoric varieties, $W$-Hilbert schemes, and Coulomb branches

Hochschild cohomology of Hilbert schemes of points on surfaces

Incidence Hilbert schemes and infinite dimensional Lie algebras

Hodge Cohomology on Blow‐ups along Subvarieties

Blow-up invariance for Hodge-Witt sheaves with modulus

Holomorphic Koszul-Brylinski homologies of Poisson blow-ups

The cohomology of $p$-adic Deligne-Luszitg schemes of Coxeter type

The geometry of double nested Hilbert schemes of points on curves

Graded character sheaves, HOMFLY-PT homology, and Hilbert schemes of points on $\mathbb{C}^2$

Homology of spaces of curves on blowups

The Le Bruyn-Procesi theorem and Hilbert schemes

BPS relations from spectral problems and blowup equations

Interpolation and moduli spaces of vector bundles on very general blowups of the projective plane

Hyperquot schemes on curves: virtual class and motivic invariants

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

On the quantum cohomology of blow-ups of projective spaces along linear subspaces

Hilali conjecture and complex algebraic varieties

Representations in Strange Duality: Hilbert Schemes paired with higher rank spaces

Hilbert Schemes for Quantum Planes are Projective

Hilbert Schemes of Points in the Plane and Quasi-Lisse Vertex Algebras with $\mathcal{N}=4$ Symmetry