We take a peek at a general program that associates vertex (or, chiral) algebras to smooth 4-manifolds in such a way that operations on algebras mirror gluing operations on 4-manifolds and, furthermore, equivalent constructions of 4-manifolds give rise to equivalences (dualities) of the corresponding algebras.
In this paper we study the first cohomologies for the following three examples of vertex operator algebras: (i) the simple affine VOA associated to a simple Lie algebra with positive integral level; (ii) the Virasoro VOA corresponding to minimal models; (iii) the lattice VOA associated to a positive definite even lattice. We prove that in all these cases, the first cohomology $H^1(V, W)$ are given by the zero-mode derivations when $W$ is any $V$-module with an $\N$-grading (not necessarily by the operator $L(0)$). This agrees with the conjecture made by Yi-Zhi Huang and the author in 2018. For…
Higgs Branch and VOA of 4d $\mathcal{N}=2$ SCFTs from IIB
School of Physics, Peking University(北京大学物理学院);Center for High Energy Physics, Peking University(北京大学高能物理中心);Yau Mathematical Sciences Center, Tsinghua University(清华大学丘成桐数学科学中心)
We define a quasiclassical limit of the Lian-Zuckerman homotopy BV algebra (quasiclassical LZ algebra) on the subcomplex, corresponding to "light modes", i.e. the elements of zero conformal weight, of the semi-infinite (BRST) cohomology complex of the Virasoro algebra associated with vertex operator algebra (VOA) with a formal parameter. We also construct a certain deformation of the BRST differential parametrized by a constant two-component tensor, such that it leads to the deformation of the $A_{\infty}$-subalgebra of the quasiclassical LZ algebra. Altogether this gives a functor the categor…
We study aspects of the vertex operator algebra (VOA) corresponding to Argyres-Douglas (AD) theories engineered using the 6d N=(2, 0) theory of type $J$ on a punctured sphere. We denote the AD theories as $(J^b[k],Y)$, where $J^b[k]$ and $Y$ represent an irregular and a regular singularity respectively. We restrict to the `minimal' case where $J^b[k]$ has no associated mass parameters, and the theory does not admit any exactly marginal deformations. The VOA corresponding to the AD theory is conjectured to be the W-algebra $\mathcal{W}^{k_{2d}}(J,Y)$, where $k_{2d}=-h+ \frac{b}{b+k}$ with $h$ b…
We define new deformable families of vertex operator algebras $\mathfrak{A}[\mathfrak{g}, Ψ, σ]$ associated to a large set of S-duality operations in four-dimensional supersymmetric gauge theory. They are defined as algebras of protected operators for two-dimensional supersymmetric junctions which interpolate between a Dirichlet boundary condition and its S-duality image. The $\mathfrak{A}[\mathfrak{g}, Ψ, σ]$ VOAs are equipped with two $\mathfrak{g}$ affine vertex subalgebras whose levels are related by the S-duality operation. They compose accordingly under a natural convolution operation an…
We analyze the N=2 superconformal field theories that arise when a pair of D3-branes probe an F-theory singularity from the perspective of the associated vertex operator algebra. We identify these vertex operator algebras for all cases; we find that they have a completely uniform description, parameterized by the dual Coxeter number of the corresponding global symmetry group. We further present free field realizations for these algebras in the style of recent work by three of the authors. These realizations transparently reflect the algebraic structure of the Higgs branches of these theories. …
We build a bridge between two algebraic structures in SCFT: a VOA in the Schur sector of 4d $\mathcal{N}=2$ theories and an associative algebra in the Higgs sector of 3d $\mathcal{N}=4$. The natural setting is a 4d $\mathcal{N}=2$ SCFT placed on $S^3\times S^1$: by sending the radius of $S^1$ to zero, we recover the 3d $\mathcal{N}=4$ theory, and the corresponding VOA on the torus degenerates to the associative algebra on the circle. We prove that: 1) the Higgs branch operators remain in the cohomology; 2) all the Schur operators of the non-Higgs type are lifted by line operators wrapped on th…
In his landmark paper, Zhu associated two associative algebras to a vertex operator algebra: what are now called Zhu's algebra and the C_2-algebra. The former has a nice interpretation in terms of the representation theory of the VOA, while the latter only serves as a finiteness condition. In this paper we undertake first steps to unravel the interpretation of the C_2 vector space. In particular we suggest that it seems and controls the twisted representations of the VOA.
We introduce two mirror constructions of Vertex Operator Algebras associated to special boundary conditions in 3d N=4 gauge theories. We conjecture various relations between these boundary VOA's and properties of the (topologically twisted) bulk theories. We discuss applications to the Symplectic Duality and Geometric Langlands programs.
We present a free field realisation for the vertex operator algebra associated to the genus-two, class $\mathcal{S}$ superconformal field theory of type $\mathfrak{a}_1$. The free field realisation is in the style of recent work by the authors, and is formulated in terms of a one-dimensional isotropic lattice vertex algebra along with two pairs of symplectic fermions. Our realisation makes manifest an enhanced ${\rm USp}(4)$ outer automorphism group of the VOA that is inherited from the symplectic fermion system. This extends an ${\rm SU(2)}$ outer automorphism that has been observed in recent…