Table of Contents
Fetching ...

Chiral algebras of class $\mathcal{S}$ and Moore-Tachikawa symplectic varieties

Tomoyuki Arakawa

TL;DR

The paper constructs a unique family of genus-zero chiral algebras $\mathbf{V}^\mathcal{S}_{G,b}$ for any complex semisimple group $G$, providing a chiral quantization of the Moore– Tachikawa genus-zero symplectic varieties $W^b_G$ and proving their Higgs branches recover the associated Moore– Tachikawa varieties. It develops a comprehensive framework using BRST, Drinfeld–Sokolov reduction, the Feigin–Frenkel center, chiral differential operators, and equivariant $W$-algebras to realize these algebras as simple, conformal vertex algebras with explicit central charges and characters. The authors prove that $X_{\mathbf{V}^\mathcal{S}_{G,b}}\cong W^b_G$ and provide a robust glueing mechanism for higher-genus theories via the 2d TQFT paradigm, including explicit realizations for key low-rank examples such as $G=SL_2$ and $G=SL_3$. These results connect the 4d $\mathcal{N}=2$ class S/CFT data to precise vertex-algebraic objects, validating Higgs-branch correspondences and offering concrete tools for future investigations of quasi-lisse and other geometric properties.

Abstract

We give a functorial construction of the genus zero chiral algebras of class $\mathcal{S}$, that is, the vertex algebras corresponding to the theory of class $\mathcal{S}$ associated with genus zero pointed Riemann surfaces via the 4d/2d duality discovered by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees in physics. We show that there is a unique family of vertex algebras satisfying the required conditions and show that they are all simple and conformal. In fact, our construction works for any complex semisimple group G that is not necessarily simply laced. Furthermore, we show that the associated varieties of these vertex algebras are exactly the genus zero Moore-Tachikawa symplectic varieties that have been recently constructed by Braverman, Finkelberg and Nakajima using the geometry of the affine Grassmannian for the Langlands dual group.

Chiral algebras of class $\mathcal{S}$ and Moore-Tachikawa symplectic varieties

TL;DR

The paper constructs a unique family of genus-zero chiral algebras for any complex semisimple group , providing a chiral quantization of the Moore– Tachikawa genus-zero symplectic varieties and proving their Higgs branches recover the associated Moore– Tachikawa varieties. It develops a comprehensive framework using BRST, Drinfeld–Sokolov reduction, the Feigin–Frenkel center, chiral differential operators, and equivariant -algebras to realize these algebras as simple, conformal vertex algebras with explicit central charges and characters. The authors prove that and provide a robust glueing mechanism for higher-genus theories via the 2d TQFT paradigm, including explicit realizations for key low-rank examples such as and . These results connect the 4d class S/CFT data to precise vertex-algebraic objects, validating Higgs-branch correspondences and offering concrete tools for future investigations of quasi-lisse and other geometric properties.

Abstract

We give a functorial construction of the genus zero chiral algebras of class , that is, the vertex algebras corresponding to the theory of class associated with genus zero pointed Riemann surfaces via the 4d/2d duality discovered by Beem, Lemos, Liendo, Peelaers, Rastelli and van Rees in physics. We show that there is a unique family of vertex algebras satisfying the required conditions and show that they are all simple and conformal. In fact, our construction works for any complex semisimple group G that is not necessarily simply laced. Furthermore, we show that the associated varieties of these vertex algebras are exactly the genus zero Moore-Tachikawa symplectic varieties that have been recently constructed by Braverman, Finkelberg and Nakajima using the geometry of the affine Grassmannian for the Langlands dual group.

Paper Structure

This paper contains 11 sections, 53 theorems, 288 equations.

Key Result

Theorem 2.2

Let $V$ be a separated vertex algebra such that $\tilde{X}_V$ is a reduced, smooth symplectic variety. Then

Theorems & Definitions (105)

  • Definition 2.1
  • Theorem 2.2: AraMorCore
  • Theorem 3.1
  • proof
  • Proposition 3.2
  • proof
  • Theorem 3.3
  • Proposition 3.4
  • proof
  • Lemma 5.1
  • ...and 95 more