Abstract:Superconformal field theories (SCFT) are known to possess solvable yet nontrivial sectors in their full operator algebras. Two prime examples are the chiral algebra sector on a two dimensional plane in four dimensional $\mathcal{N}=2$ SCFTs, and the topological quantum mechanics (TQM) sector on a line in three dimensional $\mathcal{N}=4$ SCFTs. Under Weyl transformation, they respectively map to operator algebras on a great torus in $S^1\times S^3$ and a great circle in $S^3$, and are naturally related by reduction along the $S^1$ factor, which amounts to taking the Cardy (high-temperature) limit of the four dimensional theory on $S^1\times S^3$. We elaborate on this relation by explicit examples that involve both Lagrangian and non-Lagrangian theories in four dimensions, where the chiral algebra sector is generally described by a certain W-algebra, while the three dimensional descendant SCFT always has a (mirror) Lagrangian description. By taking into account a subtle R-symmetry mixing, we provide explicit dictionaries between selected operator product expansion (OPE) data in the four and three dimensional SCFTs, which we verify in the examples using recent localization results in four and three dimensions. Our methods thus provide nontrivial support for various chiral algebra proposals in the literature. Along the way, we also identify three dimensional mirrors for Argyres-Douglas theories of type $(A_1, D_{2n+1})$ reduced on $S^1$, and find more evidence for earlier proposals in the case of $(A_1, A_{2n-2})$, which both realize certain superconformal boundary conditions for the four dimensional $\mathcal{N}=4$ super-Yang-Mills. This is a companion paper to <a class="link-https" data-arxiv-id="1911.05741" href="https://arxiv.org/abs/1911.05741">arXiv:1911.05741</a>.

Fermionic extensions of $W$-algebras via 3d $\mathcal{N}=4$ gauge theories with a boundary

Affine $\mathcal{W}$-algebras and Miura maps from 3d $\mathcal N=4$ non-Abelian quiver gauge theories

W Algebras, Cosets and VOAs for 4d $$ \mathcal{n} $$ = 2 SCFTs from M5 Branes

Boundary vertex algebras for 3d $\mathcal{N}=4$ rank-0 SCFTs

3 1 M ar 2 00 4 K-theory associated to vertex operator algebras

Kazhdan-Lusztig Correspondence for Vertex Operator Superalgebras from Abelian Gauge Theories

Free field realisation of boundary vertex algebras for Abelian gauge theories in three dimensions

Non-Simply Laced Class-S Vertex Operator Algebras

Vertex algebra of extended operators in 4d N=2 superconformal field theories

On some simple orbifold affine VOAs at non-admissible level arising from rank one 4D SCFTs

On the 4d/3d/2d view of the SCFT/VOA correspondence

Vertex Operator Algebras and Topologically Twisted Chern-Simons-Matter Theories

3d SUSY enhancement and non-semisimple TQFTs from four dimensions

3d mirror symmetry of braided tensor categories

Bridging 4D QFTs and 2D VOAs via 3D high-temperature EFTs

Non-Perturbative Schwinger-Dyson Equations for 3d ${\cal N} = 4$ Gauge Theories

Quantum Operations in Algebraic QFT

Fermionic construction of the $\frac{\mathbb{Z}}{2}$-graded meromorphic open-string vertex algebra and its $\mathbb{Z}_2$-twisted module, I

Difference Equations: from Berry Connections to the Coulomb Branch

4d/2d $\rightarrow $ 3d/1d: A song of protected operator algebras