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$.
Representation Theory,High Energy Physics - Theory,Algebraic Geometry,Quantum Algebra
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove a conjecture proposed by Bonetti, Meneghelli and Rastelli [BMR19b]. Specifically, for the case where the complex reflection group \(\Gamma\) is the symmetric group \(S_N\), the authors construct a family of vertex operator superalgebras \(W_{S_N}\), and these algebras have the required properties, in particular, their associated varieties are isomorphic to \(M_{S_N}\). Here, \(M_{S_N}\) is the symplectic singularity of the Hilbert scheme of \(N\) points in the plane.
### Main contributions
1. **Construction of vertex operator superalgebras**:
- The author achieves this by constructing an \(\hbar\)-adic vertex superalgebra sheaf \(\tilde{D}_{\text{ch}}^{M,\hbar}\) on the Hilbert scheme.
- They prove that the global sections \(V_{S_N}: = [\tilde{D}_{\text{ch}}^{M,\hbar}(M)]^{C^\times}\) of this sheaf have the required properties, in particular, its associated variety \(X_{V_{S_N}}\cong C^{2N}/S_N\).
2. **Free - field realization**:
- The authors also show the free - field realization of \(W_{S_N}\), that is, \(W_{S_N}\) can be embedded into \((\beta\gamma b c)^{\otimes(N - 1)}\).
- This embedding relation verifies the conjecture in [BMR19b].
3. **Super - character function**:
- The authors determine the super - character function of \(W_{S_N}\) and prove that it is a quasi - modular form of mixed weights.
- For the case of \(N = 3\), the super - character function can be expressed as \(\text{sch}W_{S_3}(q)=(1 - E_2(q))/24\), where \(E_2(q)\) is the quasi - modular Eisenstein series of weight 2.
### Mathematical background
- **Complex reflection group**: A complex reflection group \(\Gamma\) is a subgroup generated by reflections, acting on a complex vector space \(V_\Gamma\).
- **Symplectic singularity**: For a complex reflection group \(\Gamma\), the orbit space \(M_\Gamma:=(V_\Gamma\oplus V_\Gamma^*)/\Gamma\) has a symplectic singularity.
- **Vertex operator superalgebra**: A vertex operator superalgebra is a special type of algebraic structure, which is widely used in conformal field theory and representation theory.
### Physical background
- **4D/2D duality**: The 4D/2D duality relates the four - dimensional \(N = 4\) supersymmetric Yang - Mills theory to the two - dimensional vertex operator superalgebra.
- **Higgs branch conjecture**: This conjecture states that the Higgs branch of the four - dimensional \(N = 2\) supersymmetric field theory is isomorphic to the associated variety of the corresponding vertex operator superalgebra.
### Conclusion
By constructing and analyzing \(W_{S_N}\), the authors not only verify the conjecture of Bonetti, Meneghelli and Rastelli, but also provide a deep understanding of the four - dimensional \(N = 4\) supersymmetric Yang - Mills theory. In addition, their work provides new methods and tools for the quantization research of other Nakajima quiver varieties.