VOAs and rank-two instanton SCFTs

TL;DR

This paper characterizes the vertex operator algebras associated with certain N=2 superconformal field theories from D3-branes probing F-theory singularities, revealing a uniform structure linked to the dual Coxeter number.

Contribution

It provides a complete identification and free field realizations of these VOAs, and derives modular differential equations for their vacuum characters, unifying the description across all cases.

Findings

VOAs are uniformly described by the dual Coxeter number.

Explicit free field realizations of the VOAs are constructed.

Fourth-order modular differential equations for vacuum characters are derived.

Abstract

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 find fourth-order linear modular differential equations for the vacuum characters/Schur indices of these theories, which are again uniform across the full family of theories and parameterized by the dual Coxeter number. We comment briefly on expectations for the still higher-rank cases.

Tables

Table 1. Table 1: The Deligne-Cvitanović series of simple Lie algebras, the data of the associated (rank-one) VOAs and the data of their (putative) parent four-dimensional SCFTs. The 𝔞 0 subscript 𝔞 0 \mathfrak{a}_{0} entry is a formal member of the list and corresponds to the VOA of the ( 2 , 5 ) 2 5 (2,5) Virasoro minimal model, whose four-dimensional parent is the ( A 1 , A 2 ) subscript 𝐴 1 subscript 𝐴 2 (A_{1},A_{2}) Argyres-Douglas SCFT. As the four-dimensional interpretation of the 𝔤 2 subscript 𝔤 2 \mathfrak{g}_{2} and 𝔣 4 subscript 𝔣 4 \mathfrak{f}_{4} cases is still unclear, the values of a 4 ​ d subscript 𝑎 4 𝑑 a_{4d} and r 𝑟 r for these entries are formal/conjectural. In particular even if these theories exist, the values of r 𝑟 r may be different if implicit assumptions about their Coulomb branches do not hold.

$𝔤$	$h^{\vee }$	$k_{2d}$	$c_{2d}$	$h_1$	$a_{4d}$	$r$
$𝔤\left(h^{\vee }\right)$	$h^{\vee }$	$-\frac{h^{\vee }+6}{6}$	$-2-2h^{\vee }$	$-\frac{h^{\vee }}{6}$	$\frac{5+3h^{\vee }}{24}$	$\frac{h^{\vee }+6}{6}$
${𝔞}_0$	$\frac{6}{5}$	$-\frac{6}{5}$	$-\frac{22}{5}$	$-\frac{1}{5}$	$\frac{43}{120}$	$\frac{6}{5}$
${𝔞}_1$	$2$	$-\frac{4}{3}$	$-6$	$-\frac{1}{3}$	$\frac{11}{24}$	$\frac{4}{3}$
${𝔞}_2$	$3$	$-\frac{3}{2}$	$-8$	$-\frac{1}{2}$	$\frac{7}{12}$	$\frac{3}{2}$
${𝔤}_2$	$4$	$-\frac{5}{3}$	$-10$	$-\frac{2}{3}$	$\frac{17}{24}$	${\frac{5}{3}}^{\star }$
${𝔡}_4$	$6$	$-2$	$-14$	$-1$	$\frac{23}{24}$	2
${𝔣}_4$	$9$	$-\frac{5}{2}$	$-20$	$-\frac{3}{2}$	$\frac{4}{3}$	${\frac{5}{2}}^{\star }$
${𝔢}_6$	$12$	$-3$	$-26$	$-2$	$\frac{41}{24}$	$3$
${𝔢}_7$	$18$	$-4$	$-38$	$-3$	$\frac{59}{24}$	$4$
${𝔢}_8$	$30$	$-6$	$-62$	$-5$	$\frac{95}{24}$	$6$

Table 2. Table 2: Data for the rank-two Deligne-Cvitanović VOAs and their parent four-dimensional SCFTs. As for rank one, the four-dimensional interpretation of the 𝔤 2 subscript 𝔤 2 \mathfrak{g}_{2} and 𝔣 4 subscript 𝔣 4 \mathfrak{f}_{4} cases is unresolved.

$𝔤$	$h^{\vee }$	$k_{2d}^{𝔤}$	$k_{2d}^{𝔰𝔲\left(2\right)}$	$c_{2d}$	${\tilde{h}}_{\min }$	$a_{4d}$	$r_1$
$𝔤\left(h^{\vee }\right)$	$h^{\vee }$	$-\frac{h^{\vee }+6}{3}$	$-\frac{h^{\vee }+9}{6}$	$-11-5h^{\vee }$	$-\frac{9+9h^{\vee }}{24}$	$\frac{23+8h^{\vee }}{24}$	$\frac{h^{\vee }+6}{6}$
${𝔞}_0$	$\frac{6}{5}$	—	$-\frac{17}{10}$	$-17$	$-\frac{33}{40}$	$\frac{163}{120}$	$\frac{6}{5}$
${𝔞}_1$	$2$	$-\frac{8}{3}$	$-\frac{11}{6}$	$-21$	$-\frac{9}{8}$	$\frac{13}{8}$	$\frac{4}{3}$
${𝔞}_2$	$3$	$-3$	$-2$	$-26$	$-\frac{3}{2}$	$\frac{47}{24}$	$\frac{3}{2}$
${𝔤}_2$	$4$	$-\frac{10}{3}$	$-\frac{13}{6}$	$-31$	$-\frac{15}{8}$	$\frac{55}{24}$	${\frac{5}{3}}^{\star }$
${𝔡}_4$	$6$	$-4$	$-\frac{5}{2}$	$-41$	$-\frac{21}{8}$	$\frac{71}{24}$	2
${𝔣}_4$	$9$	$-5$	$-3$	$-56$	$-\frac{15}{4}$	$\frac{95}{24}$	${\frac{5}{2}}^{\star }$
${𝔢}_6$	$12$	$-6$	$-\frac{7}{2}$	$-71$	$-\frac{39}{8}$	$\frac{119}{24}$	$3$
${𝔢}_7$	$18$	$-8$	$-\frac{9}{2}$	$-101$	$-\frac{57}{8}$	$\frac{167}{24}$	$4$
${𝔢}_8$	$30$	$-12$	$-\frac{13}{2}$	$-161$	$-\frac{93}{8}$	$\frac{263}{24}$	$6$

Table 3. Table 3: Generators of the rank-two vertex operator algebras. H 2 subscript 𝐻 2 H_{2} additionally possesses an independent stress tensor 𝒯 𝒯 \mathcal{T} , while for H 0 subscript 𝐻 0 H_{0} 𝔤 𝔤 \mathfrak{g} is trivial and the weight 3 / 2 3 2 3/2 generator is replaced by a weight 5 / 2 5 2 5/2 doublet generator w α subscript 𝑤 𝛼 w_{\alpha} .

$𝒪$	$\chi \left[𝒪\right]$	$h_{𝒪}$	$𝔰𝔲\left(2\right)\times 𝔤$ representation
${\left({\mu }_{𝔰𝔲\left(2\right)}\right)}_{\left(\alpha \beta \right)}$	$j_{\left(\alpha \beta \right)}$	$1$	$(1,\mathrm{𝟎})$
${\mu }_{𝔤}^A$	${𝒥}^A$	$1$	$(0,\mathrm{𝐀𝐝𝐣})$
${\omega }_{\alpha }^A$	${𝒲}_{\alpha }^A$	$\frac{3}{2}$	$(\frac{1}{2},\mathrm{𝐀𝐝𝐣})$

Table 4. Table 4: Dynkin labels of representations in ⊗ 2 𝐀𝐝𝐣 superscript tensor-product 2 absent 𝐀𝐝𝐣 \otimes^{2}\mathbf{Adj} . The outer automorphism ℤ 2 subscript ℤ 2 \mathbb{Z}_{2} of 𝔞 2 subscript 𝔞 2 \mathfrak{a}_{2} acts by flipping the two 𝔞 2 subscript 𝔞 2 \mathfrak{a}_{2} Dynkin labels, while the S 3 subscript 𝑆 3 S_{3} outer automorphism of 𝔡 4 subscript 𝔡 4 \mathfrak{d}_{4} acts by permuting the first, third, and fourth 𝔡 4 subscript 𝔡 4 \mathfrak{d}_{4} Dynkin labels.

$𝐑$	${𝔞}_1$	${𝔞}_2$	${𝔤}_2$	${𝔡}_4$	${𝔣}_4$	${𝔢}_6$	${𝔢}_7$	${𝔢}_8$
$\mathrm{𝐀𝐝𝐣}$	$\left[2\right]$	$\left[11\right]$	$\left[01\right]$	$\left[0100\right]$	$\left[1000\right]$	$\left[010000\right]$	$\left[1000000\right]$	$\left[00000001\right]$
${𝐘}_{\mathrm{𝟐}}$	$\left[4\right]$	$\left[22\right]$	$\left[02\right]$	$\left[0200\right]$	$\left[2000\right]$	$\left[020000\right]$	$\left[2000000\right]$	$\left[00000002\right]$
${𝐘}_{\mathrm{𝟐}}^{\ast }$	—	$\left[11\right]$	$\left[20\right]$	$S_3\cdot \left[0002\right]$	$\left[0002\right]$	$\left[100001\right]$	$\left[0000010\right]$	$\left[10000000\right]$
${𝐗}_{\mathrm{𝟐}}$	—	${\mathbb{Z}}_2\cdot \left[03\right]$	$\left[30\right]$	$\left[1011\right]$	$\left[0100\right]$	$\left[000100\right]$	$\left[0010000\right]$	$\left[00000010\right]$

Table 5. Table 5: Dynkin labels of irreducible representations appearing in ⊗ 3 𝐀𝐝𝐣 superscript tensor-product 3 absent 𝐀𝐝𝐣 \otimes^{3}\mathbf{Adj} . The outer automorphism ℤ 2 subscript ℤ 2 \mathbb{Z}_{2} of 𝔞 2 subscript 𝔞 2 \mathfrak{a}_{2} acts by flipping the two Dynkin labels, the S 3 subscript 𝑆 3 S_{3} outer automorphism of 𝔡 4 subscript 𝔡 4 \mathfrak{d}_{4} acts by permuting the first, third and fourth Dynkin labels, and the ℤ 2 subscript ℤ 2 \mathbb{Z}_{2} outer automorphism of 𝔢 6 subscript 𝔢 6 \mathfrak{e}_{6} acts by simultaneously flipping the first and sixth, and the third and fifth Dynkin labels.

$𝐑$	${𝔞}_1$	${𝔞}_2$	${𝔤}_2$	${𝔡}_4$	${𝔣}_4$	${𝔢}_6$	${𝔢}_7$	${𝔢}_8$
$𝐀$	—	$\left[22\right]$	$\left[21\right]$	$S_3\cdot \left[0102\right]$	$\left[1002\right]$	$\left[110001\right]$	$\left[1000010\right]$	$\left[10000001\right]$
${𝐘}_{\mathrm{𝟑}}$	$\left[6\right]$	$\left[33\right]$	$\left[03\right]$	$\left[0300\right]$	$\left[3000\right]$	$\left[030000\right]$	$\left[3000000\right]$	$\left[00000003\right]$
${𝐘}_{\mathrm{𝟑}}^{\ast }$	—	$\left[00\right]$	$\left[10\right]$	$2\left[0100\right]$	$\left[0010\right]$	$\left[100001\right]$	$\left[0000002\right]$	—
$𝐂$	—	${\mathbb{Z}}_2\cdot \left[14\right]$	$\left[31\right]$	$\left[1111\right]$	$\left[1100\right]$	$\left[010100\right]$	$\left[1010000\right]$	$\left[00000011\right]$
${𝐂}^{\ast }$	$-\left[2\right]$	—	$\left[11\right]$	$2\left[1011\right]$	$\left[0011\right]$	${\mathbb{Z}}_2\cdot \left[000011\right]$	$\left[0100001\right]$	$\left[01000000\right]$
${𝐗}_{\mathrm{𝟑}}$	$-\left[4\right]$	—	$\left[40\right]$	$S_3\cdot \left[0022\right]$	$\left[0020\right]$	$\left[001010\right]$	$\left[0001000\right]$	$\left[00000100\right]$

Equations

$${\mathfrak{a}}_0,{\mathfrak{a}}_1,{\mathfrak{a}}_2,{\mathfrak{g}}_2,{\mathfrak{d}}_4,{\mathfrak{f}}_4,{\mathfrak{e}}_6,{\mathfrak{e}}_7,{\mathfrak{e}}_8.$$

$$r_j=jr,\text{with}r=\frac{h^{\vee }+6}{6},$$

$${\dim }_{\mathbb{H}}{\tilde{\mathcal{M}}}_{\mathfrak{g}}^{(n)}=n{h}^{\vee }-1.$$

$${\mathrm{sym}}^2\mathbf{Adj}=1\oplus {\mathbf{Y}}_2^{\ast }\oplus {\mathbf{Y}}_2.$$

$$\mu_{\mathfrak{g}}^{2}\big{|}_{\mathbf{1}}=0~{},\qquad\text{and}\qquad\mu_{\mathfrak{g}}^{2}\big{|}_{\mathbf{Y_{2}^{\ast}}}=0~{}.$$

$$R=2$$

$$R=5/2$$

$$\displaystyle\mu_{\mathfrak{g}}\,\omega\big{|}_{(\frac{1}{2},\mathbf{Y_{2}^{\ast}})}=0~{},$$

$$\displaystyle\mu_{\mathfrak{g}}\,\omega\big{|}_{(\frac{1}{2},\mathbf{Adj})}=4\,\mu_{\mathfrak{su}(2)}\,\omega\big{|}_{(\frac{1}{2},\mathbf{Adj})}~{},$$

$$R=3$$

$$\displaystyle\omega^{2}\big{|}_{(1,\mathbf{Y_{2}^{\ast}})}=-\mu_{\mathfrak{su}(2)}\,\mu_{\mathfrak{g}}^{2}\big{|}_{(1,\mathbf{Y_{2}^{\ast}})}~{},$$

$$\displaystyle\mu_{\mathfrak{g}}^{3}\big{|}_{(0,\mathbf{Adj})}=b_{1}\,\omega^{2}\big{|}_{(0,\mathbf{Adj})}~{},$$

$$\displaystyle\mu_{\mathfrak{g}}^{3}\big{|}_{(0,\mathbf{X_{2}})}=b_{2}\,\omega^{2}\big{|}_{(0,\mathbf{X_{2}})}~{},$$

$$\displaystyle\mu_{\mathfrak{g}}^{3}\big{|}_{(0,\mathbf{Y_{3}^{\ast}})}=0~{},$$

$${\mathrm{sym}}^3\mathbf{Adj}=\mathbf{Adj}+{\mathbf{X}}_2+\mathbf{A}+{\mathbf{Y}}_3+{\mathbf{Y}}_3^{\ast }.$$

$$\displaystyle\big{(}\tfrac{\ell}{2},\mathbf{Adj}\big{)}_{R\,=\,\frac{\ell+2}{2}}$$

$$\displaystyle\big{(}\tfrac{m+1}{2},\mathbf{1}\big{)}_{R\,=\,\frac{m+1}{2}}$$

$$a_{4d}$$

$$c_{4d}$$

$$k_{4d}^{\mathfrak{su}(2)}$$

$$k_{4d}^{\mathfrak{g}}$$

$${\dim }_{\mathbb{H}}{\mathcal{M}}_H=-24(a_{4d}-c_{4d})=n{h}^{\vee }-1,$$

$$-24(a_{4d}^{(n)}-c_{4d}^{(n)})=\frac{6n-5}{5}={\dim }_{\mathbb{H}}{\mathcal{M}}_H-24n\left(a_{4d}^{(1)}-c_{4d}^{(1)}\right),$$

$$2a_{4d}-c_{4d}=\frac{1}{4}\sum _{j=1}^n(2r_j-1)=\frac{n}{24}(h^{\vee }+(6+h^{\vee })n).$$

$$k_{2d}=-\frac{1}{2}{k}_{4d},c_{2d}=-12c.$$

$$\text{for rank-2 theories:}{c}_{2d}=c_{\mathrm{Sug}}^{\mathfrak{su}(2)}+c_{\mathrm{Sug}}^{\mathfrak{g}}=\frac{k_{2d}^{\mathfrak{su}(2)}\dim \mathfrak{su}(2)}{k_{2d}^{\mathfrak{su}(2)}+h_{\mathfrak{su}(2)}^{\vee }}+\frac{k_{2d}^{\mathfrak{g}}\dim \mathfrak{g}}{k_{2d}^{\mathfrak{g}}+h_{\mathfrak{g}}^{\vee }}.$$

$$n$$

$$k_{2d}^{\mathfrak{su}(2)}=-\frac{h^{\vee }+9}{6},k_{2d}^{\mathfrak{g}}=-\frac{h^{\vee }+6}{3}.$$

$$j_{\alpha \beta }(z)j_{\gamma \delta }(w)$$

$${\mathcal{J}}^A(z){\mathcal{J}}^B(w)$$

$$j_{\alpha \beta }(z){\mathcal{W}}_{\gamma }^A(w)\sim \frac{{ϵ}_{(\alpha |\gamma |}{\mathcal{W}}_{\beta )}^A(w)}{z-w},{\mathcal{J}}^A(z){\mathcal{W}}_{\alpha }^B(w)\sim \frac{i{f}_C^{AB}{\mathcal{W}}_{\alpha }^C(w)}{z-w}.$$

$$w_{\alpha }(z)w_{\beta }(w)$$

$$\displaystyle~{}+~{}\frac{1}{(z-w)^{2}}\Big{(}c_{5}\ \partial^{2}j_{\alpha\beta}(w)+c_{6}\ \epsilon_{\alpha\beta}(j\partial j)(w)$$

Full text

††preprint: YITP-SB-19-20

1 Introduction and summary

Four-dimensional $\mathcal{N}=2$ superconformal field theories (SCFTs) showcase a remarkably rich diversity. Some admit Lagrangian descriptions, but many more are (conformal gaugings of) isolated, strongly coupled theories. A typical theory of class $\mathcal{S}$ is of the latter type Gaiotto:2009we ; Gaiotto:2009hg , as are all models of Argyres-Douglas kind.111While these theories do not admit a manifestly $\mathcal{N}=2$ supersymmetric Lagrangian description, a variety of them have been argued to be the endpoints of Lagrangian $\mathcal{N}=1$ renormalization group flows Maruyoshi:2016aim ; Agarwal:2016pjo ; Agarwal:2017roi , or to lie on the $\mathcal{N}=1$ conformal manifolds of Lagrangian theories Razamat:2019vfd . A useful characteristic by which one may organize this menagerie of theories is their rank, i.e., the complex dimension of their Coulomb branch of vacua. A series of incrementally refined papers culminated in a conjectured classification and characterization of all rank-one theories Argyres:2015ffa ; Argyres:2015gha ; Argyres:2016xua ; Argyres:2016xmc (see also Caorsi:2019vex ). For higher ranks, a similar feat has not yet been achieved, though for partial progress see Argyres:2018zay ; Caorsi:2018zsq .

An interesting family of higher-rank theories are the rank-$n$ F-theory SCFTs, i.e., the low-energy worldvolume theories of stacks of $n$ D3-branes probing F-theory singularities Sen:1996vd ; Banks:1996nj ; Dasgupta:1996ij ; Minahan:1996fg ; Minahan:1996cj . The possible choices of singularity follows the Kodaira classification, with the resulting interacting theories being labeled $H_{0},H_{1},H_{2},D_{4},E_{6},E_{7}$, or $E_{8}$. Their flavor symmetries include as simple factors the corresponding simple Lie groups (with $H_{i}\rightarrow A_{i}$, and $H_{0}$ corresponding to the trivial Lie group), and, for $n>1$, also a factor of $SU(2)$. What’s more, these theories have the beautiful property that their Higgs branches are the moduli spaces of $n$ centered $\mathfrak{g}$-instantons in $\mathbb{R}^{4}$, which is why they are sometimes referred to as rank-$n$ instanton SCFTs.222Here $\mathrm{Lie}(G)=\mathfrak{g}$, with $G$ the flavor symmetry factor just mentioned. In addition, despite their uniform description in F-theory, for each $n$ this family of theories contains representatives of all three above-mentioned categories: one is Lagrangian ($D_{4}$), three admit class $\mathcal{S}$ descriptions ($E_{6},E_{7},E_{8}$), and the remaining three are of Argyres-Douglas type. The rank-two series of instanton SCFTs is the subject of interest in this paper.

A substantially more intricate invariant of four-dimensional $\mathcal{N}=2$ SCFTs than their Coulomb branch is their associated vertex operator algebra (VOA), which arises by performing a cohomological truncation of the operator product algebra of local operators Beem:2013sza .333We use the terms vertex operator algebra and chiral algebra interchangeably. The VOA repackages an infinite amount of protected conformal data and as such provides an indispensable jumping-off point for a full analysis of the SCFT. The chiral algebras $\mathcal{V}_{\mathfrak{g}}^{(1)}$ associated with the rank-one $\mathfrak{g}$-instanton SCFTs have been identified in Beem:2013sza ; Beem:2014rza ; Buican:2015ina ; Beem:2017ooy . They admit a uniform description as $\hat{\mathfrak{g}}$ affine current algebras at level $k_{2d}=\frac{-{h^{\vee}}-6}{6}$, where ${h^{\vee}}$ denotes the dual Coxeter number of the Lie algebra $\mathfrak{g}$.444The $H_{0}$ F-theory SCFT is a special case. It has no flavor symmetry and its chiral algebra is the $(2,5)$ Virasoro VOA. Nevertheless, for many purposes it fits within the rank-one series upon formally setting ${h^{\vee}}=\frac{6}{5}$. From the VOA viewpoint, there is no obstruction—and in fact it appears quite natural—to include two additional Lie algebras, $\mathfrak{g}_{2}$ and $\mathfrak{f}_{4}$, to the previously listed seven, thus completing the so-called Deligne-Cvitanović series of exceptional Lie algebras Deligne ; Cvitanovic:2008zz . Their inclusion is suggested by the observation that the resulting series of nine current algebras are uniquely singled out as those whose levels and Virasoro central charges simultaneously saturate three independent (four-dimensional) unitarity bounds Beem:2013sza ; Beem:2017ooy . While their higher-rank cousins are not known to be singled out in such fashion, we find that the higher-rank VOAs still behave in a remarkably uniform fashion.

To understand the VOAs $\mathcal{V}_{\mathfrak{g}}^{(2)}$ associated with the rank-two $\mathfrak{g}$-instanton SCFTs, we pursue two different strategies. The first one is to set up and solve the bootstrap problem for these chiral algebras. The sine qua non of this approach is a proposal for the list of strong generators of $\mathcal{V}_{\mathfrak{g}}^{(2)}$. Our Ansatz will be the minimal one compatible with general four-dimensional principles, consisting of only generators descending from Higgs branch chiral ring generators; these were shown to necessarily give rise to strong generators in Beem:2013sza . Concretely, we set out to construct vertex operator algebras that are strongly generated by affine $\mathfrak{su}(2)$ and $\mathfrak{g}$ currents and a conformal weight $h=\tfrac{3}{2}$ generator transforming in the representation $(\tfrac{1}{2},\mathbf{Adj})$ of $\mathfrak{su}(2)\times\mathfrak{g}$.555The cases $H_{0}$ and $H_{2}$ behave slightly differently. The rank-two $H_{0}$ chiral algebra is generated by an affine $\mathfrak{su}(2)$ current algebra and an additional generator transforming as an $\mathfrak{su}(2)$ doublet and of conformal weight $\tfrac{5}{2}$. For $H_{2}$, on the other hand, we must include an independent Virasoro stress tensor, as the Sugawara construction fails to provide one due to the criticality of both affine current algebras. We find that the associativity constraints can be solved uniquely and that the resulting OPE coefficients have a uniform expression in terms of ${h^{\vee}}$. As an aside, we note that the “exotic” SCFT dubbed $\mathcal{T}_{X}$ in Buican:2017fiq can be recognized here as being exactly the rank-two $\mathfrak{a}_{2}$ instanton SCFT.

In principle there is no obstruction to pursuing this approach to construct the VOAs $\mathcal{V}_{\mathfrak{g}}^{(n)}$ for $n\geqslant 3$, and we expect that they will all admit similarly uniform descriptions. However, the list of strong generators grows with $n$ because, on the one hand, generators descending from the Higgs branch chiral ring proliferate and, on the other hand, additional generators not related to Higgs branch chiral ring operators will make an appearance, rendering the bootstrap problem more involved. At the end of this paper we make a conjecture for the complete list of strong generators for $\mathcal{V}_{\mathfrak{g}}^{(n)}$ on the basis of a detailed analysis of the Schur limit of the superconformal index; we have not yet attempted to construct the corresponding VOAs.

Our second, complementary strategy is to realize these same vertex operator algebras using free fields, as proposed in Beem:2019tfp . The low-energy degrees of freedom in a generic Higgs branch vacuum of a rank-two $\mathfrak{g}$-instanton SCFT consist of $2(2{h^{\vee}}-1)$ free half-hypermultiplets. Consequently, according to Beem:2019tfp , we should anticipate the existence of (and could attempt to construct) a free field realization in terms of as many chiral bosons. However, we find a more economical approach by considering an intermediate, non-generic (but more symmetric) locus on the Higgs branch. Specifically, we consider the locus of the Higgs branch that preserves the full $G$-symmetry. A dense, open subset of this locus is isomorphic to $T^{*}(\mathbb{C}^{\ast})$, where the residual interacting degrees of freedom at any point on this locus comprise two copies of the rank-one $\mathfrak{g}$-instanton SCFT. From this analysis we are led to a uniform free field construction in terms of two copies of the rank-one $\mathfrak{g}$-instanton VOA $\mathcal{V}_{\mathfrak{g}}^{(1)}$ accompanied by two chiral bosons. The success of this construction rests upon an exceptionally fine-tuned conspiracy of the various ingredients.666The simplest instance is the numerological fact that the affine level of the $\hat{\mathfrak{g}}$ current subalgebra of $\mathcal{V}_{\mathfrak{g}}^{(2)}$ equals twice the level of the $\hat{\mathfrak{g}}$ subalgebra of $\mathcal{V}_{\mathfrak{g}}^{(1)}$. This equality guarantees that the $\hat{\mathfrak{g}}$ current subalgebra of $\mathcal{V}_{\mathfrak{g}}^{(2)}$, realized as the diagonal sum of the $\hat{\mathfrak{g}}$ current algebras of the two copies of $\mathcal{V}_{\mathfrak{g}}^{(1)}$, has the correct level. For example, non-trivial null relations for the two copies of $\mathcal{V}_{\mathfrak{g}}^{(1)}$ are required in order for the subspace of the free field state space that is strongly generated by the free field realized generators of $\mathcal{V}_{\mathfrak{g}}^{(2)}$ to be closed under the OPE. In a similar vein, these free field realizations are apparently simple (as modules over themselves), precisely because the two copies of $\mathcal{V}_{\mathfrak{g}}^{(1)}$ are already taken to be their simple quotients. Note that one could opt to realize each of the two copies of the vertex operator algebras $\mathcal{V}_{\mathfrak{g}}^{(1)}$ in terms of $2({h^{\vee}}-1)$ chiral bosons using the construction of Beem:2019tfp , and in doing so arrive at a construction of $\mathcal{V}_{\mathfrak{g}}^{(2)}$ in terms of the expected $2(2{h^{\vee}}-1)$ chiral bosons. The abstract algebras encoded in the free field realizations turn out to be identical to the results of the more direct, but technically more involved, chiral algebra bootstrap approach of the previous paragraph—all roads lead to Rome.

An important entry of the VOA/SCFT dictionary states that the vacuum character of a vertex operator algebra associated to a four-dimensional superconformal field theory equals the Schur limit of the superconformal index of that theory Gadde:2011uv . Furthermore, it was conjectured in Beem:2017ooy (as a corollary of the conjecture that the Higgs branch agrees with the associated variety of the associated VOA) that this quantity will always satisfy a finite-order linear modular differential equation. The uniform behavior of the rank-$n$ instanton SCFTs, evidenced in their F-theory description and, at least for $n=1,2$, in their explicitly constructed associated chiral algebras, naturally extends to the modular differential operator annihilating the vacuum character. For $n=1$, this was found to be of second-order with the one free coefficient a quadratic function of the dual Coxeter number Beem:2017ooy . Here for $n=2$ we find similarly uniform (twisted) modular differential operators of fourth order. On the basis of evidence coming from the $\mathfrak{d}_{4}$ case, we further conjecture that for $n=3$ there exist seventh-order twisted modular differential operators, and more generally that for each $n$ there exist uniform modular differential operators annihilating the vacuum characters of the VOAs $\mathcal{V}_{\mathfrak{g}}^{(n)}$.

The plan of the paper is as follows. In Section 2 we review various known facts about the rank-$n$ instanton SCFTs. In Section 3 we present explicit vertex operator algebras $\mathcal{V}_{\mathfrak{g}}^{(2)}$ associated with the rank-two F-theory SCFTs as obtained from the chiral algebra bootstrap approach. In Section 4, we construct these same VOAs using geometric free field realizations. Section 5 is devoted to the fourth-order modular differential operators annihilating the vacuum characters of $\mathcal{V}_{\mathfrak{g}}^{(2)}$. In Section 6 we briefly discuss the future challenge of developing a more general story for the theories with $n\geqslant 3$. We include a variety of useful facts and properties of the Deligne-Cvitanović series of exceptional Lie algebras in Appendix A.

2 Higher rank F-theory SCFTs

The rank-$n$ F-theory SCFTs describe the low-energy dynamics of a stack of $n$ D3-branes probing a singular fiber of an elliptic $K3$ surface in F-theory on which the dilaton is constant. There are seven such possible singular fibers, and they are typically denoted by $H_{0},H_{1},H_{2},D_{4},E_{6},E_{7}$ and $E_{8}$. The flavor symmetry algebra of the resultant superconformal field theory includes as a simple factor the corresponding Lie algebra $\mathfrak{a}_{0},\mathfrak{a}_{1},\mathfrak{a}_{2},\mathfrak{d}_{4},\mathfrak{e}_{6},\mathfrak{e}_{7},\mathfrak{e}_{8}$, where $\mathfrak{a}_{0}$ represents the trivial Lie algebra. For $n>1$, there is an additional $\mathfrak{su}(2)$ factor in the flavor symmetry. A salient feature of these theories is that their Higgs branches of vacua coincide with the moduli spaces of $n$ centered $\mathfrak{g}$-instantons. (In Beem:2013sza it was observed that, from the perspective of the SCFT/VOA correspondence, there is no obstruction to the existence of a theory with flavor symmetry $\mathfrak{g}_{2}$ or $\mathfrak{f}_{4}$ with Higgs branch operators satisfying the relations defining the corresponding one-instanton moduli space. We will see that for the purposes of this paper, the cases $\mathfrak{g}_{2}$ and $\mathfrak{f}_{4}$ continue to be well-behaved.777It is still unclear if these VOAs arise in connection with actual physical SCFTs. Some arguments against in the case of $\mathfrak{f}_{4}$ were presented in Shimizu:2017kzs .) Altogether, the rank-one theories with the property that their Higgs branches are one-instanton moduli spaces are labeled by an algebra belonging to the Deligne-Cvitanović series of exceptional Lie algebras Deligne ; Cvitanovic:2008zz :

[TABLE]

In this paper, we aim to study the higher-rank generalizations of these SCFTs, mainly from the viewpoint of the associated vertex operator algebra introduced in Beem:2013sza .

2.1 Moduli spaces and central charges

We will begin by recording some useful information about these theories, with an emphasis on the rank-two case.

Coulomb branch

The Coulomb branch chiral ring of a rank-$n$ F-theory SCFT is freely generated by $n$ operators. The $U(1)_{r}$ charges $r_{j},j=1,\ldots,n$ of these generators are integer multiples of the charge of the rank-one generator. In other words

[TABLE]

where ${h^{\vee}}$ denotes the dual Coxeter number of the Lie algebra in question; see Table 1 for the relevant values.

In the F-theoretic description, the Coulomb branch corresponds to vacua where the D3-branes are moved away from the singular fiber of an elliptically fibered $K3$ surface.

Higgs branch

The Higgs branch of the rank-$n$ theory of type $\mathfrak{g}(\neq\mathfrak{a}_{0})$ is quite a bit more intricate, and can be identified with $\widetilde{\mathcal{M}}_{\mathfrak{g}}^{(n)}$, the centered $n$-instanton moduli space of $\mathfrak{g}$-instantons on $\mathbb{R}^{4}$. This is a hyperkähler manifold with quaternionic dimension

[TABLE]

This dimension formula can be understood intuitively by considering a configuration of $n$ widely separated one-instanton configurations, each of which has an uncentered moduli space of dimension $\dim_{\mathbb{H}}\mathcal{M}_{\mathfrak{g}}^{(1)}={h^{\vee}}$, and removing the overall center of mass position.

As algebraic varieties, the one-instanton moduli spaces of the Deligne-Cvitanović series of simple Lie algebras have an economical description. Their coordinate rings are generated by adjoint-valued moment maps $\mu_{\mathfrak{g}}$ subject to the Joseph relations ASENS_1976_4_9_1_1_0 . To present these relations, we first note that one of the defining properties of the Deligne series is the appearance of precisely three real irreducible representations in the decomposition of the symmetric tensor product of two adjoint representations.888More precisely, the representations are irreducible under $\mathfrak{g}\ltimes\text{Out}(\mathfrak{g})$, where $\text{Out}(\mathfrak{g})$ is the group of outer automorphisms of $\mathfrak{g}$. Following the notations of cohen1999tensor , we have

[TABLE]

Here $\mathbf{1}$ denotes the singlet representation, while $\mathbf{Y_{k}}$ denotes the representation with Dynkin labels $k$ times those of the adjoint representation.999The $\ast$ defines an involution on the space of representations appearing in various tensor products of the adjoint representation. It has nothing to do with complex conjugation. Note also that $\mathfrak{a}_{1}$ is slightly degenerate from this point of view, in that the representation $\mathbf{Y_{2}^{\ast}}$ is absent. We refer the reader to Appendix A for additional information about these representations. With this notation established, the Joseph relations state that

[TABLE]

In the rank two theories, the Higgs branch chiral ring has as generators the moment maps $\mu_{\mathfrak{su}(2)}$ and $\mu_{\mathfrak{g}}$, which transform in the $(1,\mathbf{1})$ and $(0,\mathbf{Adj})$ representations of $\mathfrak{su}(2)\times\mathfrak{g}$, respectively, along with an additional multiplet of generators $\omega$ with $SU(2)_{R}$ charge $R=3/2$ that transforms in the $(\frac{1}{2},\mathbf{Adj})$. This collection of generators can, for example, be read off from the two-instanton Hilbert series as computed in Gaiotto:2012uq ; Hanany:2012dm ; Keller:2012da ; Cremonesi:2014xha . The Hilbert series also encodes their relations up to numerical coefficients. Decoding that information allows us to write the relations defining the two-instanton moduli space uniformly for all algebras of the Deligne-Cvitanović series as follows:

[TABLE]

where $b_{1}$ and $b_{2}$ are constants that we have not endeavored to fix, though they can be determined straightforwardly using our free-field realizations.101010The normalization of the moment map operators can be understood as in Beem:2018duj , and more generally the normalizations used here match the ones used in the free-field realization of the vertex operator algebras $\mathcal{V}_{\mathfrak{g}}^{(2)}$ presented below in Section 4. The relation (2.9) is simply obtained by taking the Poisson bracket of (2.6) with $\omega$. The numerical constant of proportionality in (2.10) can be taken to define the normalization of $\omega$.,111111More explicitly, (2.9) reads $if^{A}_{\phantom{A}BC}\,\mu_{\mathfrak{g}}^{B}\omega_{\alpha}^{C}=4\,(\mu_{\mathfrak{su}(2)})_{\alpha\beta}\,\omega^{A}_{\gamma}\epsilon^{\beta\gamma}$. Indeed, these realizations offer an efficient way to determine the full complement of Higgs branch relations more generally. Here we have made use of the uniform representation content of the decomposition of $\mathrm{sym}^{3}\mathbf{Adj}$,

[TABLE]

Again, see Appendix A for representation-theoretic details.

For still higher-rank theories, the Higgs branch chiral ring generators have been conjectured to have the following quantum numbers Cremonesi:2014xha

[TABLE]

The symmetry properties of the chiral ring relations can also in principle be extracted from the Hilbert series computed in Cremonesi:2014xha .

The rank-$n$ theories of type $\mathfrak{a}_{0}$ are exceptional in that they possess only $\mathfrak{su}(2)$ flavor symmetry. The Higgs branches for these theories coincides with the Higgs branches of $\mathcal{N}=4$ SYM with gauge algebra $\mathfrak{su}(n)$, namely $(\mathbb{C}^{2})^{n-1}/S_{n}$. See, e.g., Bonetti:2018fqz for additional discussion of these Higgs branches. As opposed to $\mathcal{N}=4$ SYM, where at a generic point on the Higgs branch the spectrum consists of free vector multiplets, in the case of the rank-$n$ $\mathfrak{a}_{0}$ SCFTs, $n$ copies of the rank-one theory survive. The latter has a trivial Higgs branch.

Central charges

Central charges of higher-rank F-theory SCFTs were first computed in Aharony:2007dj using holographic methods. For the rank-$n$ theory of type $\mathfrak{g}$, the $a$ and $c$ Weyl anomaly coefficients and the $\mathfrak{su}(2)$ and $\mathfrak{g}$ flavor central charges were computed to take the following values:

[TABLE]

Let us pause to make a few observations about these results. First of all, for $\mathfrak{g}\neq\mathfrak{a}_{0}$ these theories have no residual massless degrees of freedom in generic Higgs branch vacua aside from the hypermultiplets that parameterize the Higgs branch. As a result, the quaternionic dimension of the Higgs branch $\mathcal{M}_{H}$ is recovered from the difference of the $a$ and $c$ Weyl anomaly coefficients according to the relation

[TABLE]

which agrees with the dimension reported in (2.3). Alternatively, in the $\mathfrak{a}_{0}$ theory, we have

[TABLE]

which follows from anomaly matching given that the theory on the Higgs branch includes $n$ copies of the rank-one $\mathfrak{a}_{0}$ SCFT.

Additionally, one can verify that the Shapere-Tachikawa relation between Weyl anomaly coefficients and Coulomb branch data holds Shapere:2008zf . Indeed, using the charges in (2.2), one checks

[TABLE]

The previous two relations for $a_{4d}$ and $c_{4d}$ could in principle have been used to find these anomaly coefficients directly from Higgs and Coulomb branch data. Also note that for $n=1$ the flavor central charge of the $\mathfrak{su}(2)$ symmetry algebra is zero, which indicates its absence for rank-one theories. Finally, it is of note that the flavor central charges of the $\mathfrak{g}$ currents is linear in $n$. In Tables 1 and 2 we display these and other pieces of discrete numerical data for the rank-one and rank-two theories. We give the data in terms of the rescaled quantum numbers that are directly related to properties of the vertex algebras associated to the four-dimensional SCFTs,

[TABLE]

The former gives the level of the respective affine current subalgebras of the associated VOA, which arise as an enhancement of the four-dimensional flavor symmetries, and the latter is the VOA’s Virasoro central charge.

In light of the various unitarity bounds derived in Beem:2013sza ; Lemos:2015orc ; Beem:2017ooy ; Beem:2018duj , one should observe one additional fact about the rank-two theories.121212The saturation of unitarity bounds of rank-one F-theory SCFTs has already been analyzed in great detail in the aforementioned papers. For those theories, the sum of the Sugawara central charges of the $\mathfrak{su}(2)$ and $\mathfrak{g}$ current algebras matches the total central charge,

[TABLE]

In the four-dimensional physics of the rank-two theories, this equality is reflected in the Higgs branch relation (2.6).131313This Higgs branch chiral ring relation is actually a necessary consequence of the Sugawara value of the central charge Beem:2018duj . In the associated VOA, this implies the absence of an independent stress energy tensor as a strong VOA generator. Instead, this role is taken over by the total Sugawara stress tensor.

An exceptional cases arises for $\mathfrak{g}=\mathfrak{a}_{2}$, where both the $\mathfrak{su}(2)$ and $\mathfrak{su}(3)$ current algebras are at their respective critical levels, i.e., $k_{2d}=-{h^{\vee}}$. Consequently for this VOA the Sugawara construction fails to furnish a normalizable stress tensor for both factors, and a separate stress tensor will be a strong generator of the associated VOA. The Higgs branch relation (2.6) in this case follows from a second unitarity argument from Beem:2018duj .

2.2 Class $\SS$ realizations

The higher-rank theories that are not of Argyres-Douglas type can be realized within class $\SS$ using only regular punctures Benini:2009gi ; Benini:2010uu ; Moore:2011ee . What’s more, the higher-rank $\mathfrak{d}_{4}$ theories admit conventional Lagrangian descriptions. In this subsection, we briefly recall these realizations.

Denoting by $\mathcal{T}[\mathfrak{g},\mathcal{C}_{g,s},\{\Lambda_{i}\}]$ the class $\SS$ theory obtained by (partially) twisted compactification of the $(2,0)$ theory of type $\mathfrak{g}$ on a Riemann surface $\mathcal{C}_{g,s}$ of genus $g$ with $s$ punctures, with choices $\Lambda_{i}:\mathfrak{su}(2)\hookrightarrow\mathfrak{g}$ of embeddings of $\mathfrak{su}(2)$ into $\mathfrak{g}$ for each puncture, the rank-$n$ theories of type $\mathfrak{d}_{4},\mathfrak{e}_{6},\mathfrak{e}_{7},\mathfrak{e}_{8}$ are realized as

[TABLE]

where the embeddings $\Lambda_{i}$ are represented by a partition of the rank of the relevant $\mathfrak{a}$-type algebra plus one.141414Exponents always denote repeated entries in the partition. In the “good-bad-ugly” trichotomy introduced in Gaiotto:2012uq , these theories are all “bad”, which in particular means that the prescription of Gadde:2011uv to compute their superconformal indices diverges.151515This prescription was derived in Gaiotto:2012xa by demanding that the superconformal index be (generalized) S-duality invariant. However, “bad” theories do not participate in the S-duality web, as they do not admit any exactly marginal gaugings. In Gaiotto:2012uq a proposal was put forward for “ugly” theories (i.e., theories containing decoupled free hypermultiplets) whose interacting sectors are again precisely these higher-rank theories. Concretely,

[TABLE]

Finally, we note that the rank-$n$ $\mathfrak{d}_{4}$ theories admit Lagrangian descriptions as $\mathfrak{usp}(2n)$ gauge theories with four hypermultiplets transforming in the fundamental representation of $\mathfrak{usp}(2n)$ and one hypermultiplet in the antisymmetric representation Douglas:1996js .

3 Explicit VOA constructions

We now turn to the main task of this paper, which is to construct explicitly the rank-two associated VOAs $\mathcal{V}^{(2)}_{\mathfrak{g}}$. For those cases which are not Argyres-Douglas type, one has in principle algorithmic constructions coming from the relevant class $\mathcal{S}$ or Lagrangian descriptions of these theories. In particular, the class $\mathcal{S}$ theories given in (LABEL:eq:class_S_realizations) can be used to give a definition of the associated variety in terms of a BRST reduction of several equivariant affine $\mathcal{W}$-algebras as described in Arakawa:2018egx , while the Lagrangian realization of the $\mathfrak{d}_{4}$ theories give a BRST description as described in Beem:2013sza . However, both of these approaches present severe technical challenges in the computation of the relevant BRST cohomologies.

Our strategy instead is to make a motivated Ansatz for the set of strong generators of the VOA and demand that they indeed generate a consistent, nontrivial chiral algebra. In practice, we write down the most general expressions, compatible with the global symmetries for the singular terms in the operator product expansions of strong generators in terms of a number of undetermined, numerical coefficients, and impose that the Jacobi identities hold true. The resulting, typically quadratic, equations for the coefficients admit a solution if the Ansatz for the generators correctly describes a (sub)algebra of the sought-after VOA.161616Note that the Jacobi identities are not necessarily zero on the nose, but should hold only up to null fields. A convenient strategy to impose the correct non-null constraints is to set to zero all two-point functions of the right-hand side of the Jacobi identities with a basis of fields of the appropriate quantum numbers. Such a strategy has been pursued in the context of chiral algebras associated with four-dimensional $\mathcal{N}=2$ SCFTs in Beem:2014rza ; Lemos:2014lua , and has been successfully applied in various instances since.171717In our computations we have utilized the Mathematica package developed in Thielemans:1991uw .

It was proven in Beem:2013sza that the generators of the Higgs branch chiral ring of a four-dimensional $\mathcal{N}=2$ SCFT necessarily give rise to a (not necessarily strict) subset of the strong generators of the associated VOA.181818In fact, a more general statement is that generators of the Hall-Littlewood chiral ring descend to strong generators of the associated VOA. For the theories under consideration, however, the Hall-Littlewood chiral ring and Higgs branch chiral ring coincide. For all rank-two VOAs barring $H_{0}$ and $H_{2}$, we will therefore make the minimal Ansatz that these constitute the full set of strong generators.191919One could contemplate the presence of additional generators of non-Higgs branch type. However, any such additional generators will be strongly constrained by the fact that the stress tensor takes Sugawara form, and therefore the dimensions of any additional affine Kac-Moody primary will be determined by its $\mathfrak{su}(2)\times\mathfrak{g}$ representation. Indeed, one can show on this account that for $\mathfrak{g}\neq\mathfrak{d}_{4}$, any additional strong generators will not appear in the OPEs of the strong generators of Higgs branch type. In other words, we are guaranteed to find a consistent subalgebra. As reviewed in section 2, the Higgs branch chiral ring of these rank-two theories is generated by moment map operators $(\mu_{\mathfrak{su}(2)})_{(\alpha\beta)}$ and $\mu^{A}_{\mathfrak{g}}$, transforming in the adjoint representation of $\mathfrak{su}(2)$ and $\mathfrak{g}$ respectively, and an additional generator $\omega_{\alpha}^{A}$ transforming in the $(\frac{1}{2},{\bf Adj})$ representation of $\mathfrak{su}(2)\times\mathfrak{g}$. Here we have traded the adjoint index of $\mathfrak{su}(2)$ with a symmetrized pair of fundamental indices. A standard entry of the SCFT/VOA correspondence states that the moment map operators give rise to affine currents in the associated VOA. Their levels were given as a function of the dual Coxeter number in the previous section:

[TABLE]

See also Table 2. Table 3 summarizes our notations and the quantum numbers for the strong VOA generators that we are postulating. We have exploited the equality between the conformal weight of strong generators associated to Higgs branch chiral ring generators and the $SU(2)_{R}$ charge of those Higgs branch chiral ring operators.

Some special consideration is necessary for the $H_{0}$ and $H_{2}$ theories. For $H_{2}$, the VOA stress tensor can no longer be furnished by the Sugawara construction due to the criticality of the current algebra levels, which obstructs the construction of a normalizable stress tensor. Consequently, an additional, independent Virasoro stress tensor will have to be included as a strong generator of $\mathcal{V}^{(2)}_{\mathfrak{a}_{2}}$. On the other hand, for $H_{0}$ the VOA associated to Higgs branch generators is just the affine Kac-Moody VOA $V_{-\frac{17}{10}}(\mathfrak{sl}(2))$, but there is the possibility that this algebra should be extended by additional (non-Higgs) strong generators.

Indeed, one can see that such extra strong generators must be included on the basis of consistency under Higgsing. If we consider a Higgs branch vacuum of the four-dimensional SCFT where the $\mathfrak{su}(2)$ moment map operator acquires a nilpotent vacuum expectation value, then there should be two copies of the rank-one $H_{0}$ theory remaining at low energies. At the level of the VOA, this Higgsing can be accomplished by quantum Drinfel’d-Sokolov (DS) reduction Beem:2014rza . However, if the rank-two VOA is generated only by affine currents, then DS reduction will give a single copy of the Virasoro VOA ${\rm Vir}_{3,10}$ with central charge $c=-\frac{44}{5}$. We thus must extend the affine current algebra. From $k^{\mathfrak{su}(2)}_{2d}+2=\frac{3}{10}$, we learn that the affine level is admissible, as $p^{\prime}=3$ and $p=10$ are coprime and $p^{\prime}>1$. An admissible current algebra can only be extended by AKM primaries of spins $\frac{1}{2},1,\ldots,\frac{p^{\prime}-2}{2}$, see Adamovic . Hence our only option is an extension by a spin $\frac{1}{2}$ AKM primary. The dimension of this primary follows from the standard formula $h=j(j+1)/(k^{\mathfrak{su}(2)}_{2d}+2)$ and gives $h=\frac{5}{2}$. Thus we are led to introduce an extra $\mathfrak{su}(2)$ doublet of strong generators of weight $\frac{5}{2}$, which in four dimensions should arise from a Schur operator in a $\hat{\mathcal{C}}_{1/2,(0,0)}$ multiplet.

It remains to describe the singular OPEs of our strong generators. The $\mathfrak{su}(2)\times\mathfrak{g}$ affine current algebras take a standard form,202020Our conventions for the epsilon tensor are $\epsilon^{12}=-\epsilon^{21}=-\epsilon_{12}=\epsilon_{21}=1$.

[TABLE]

while $j_{\alpha\beta}$ and $\mathcal{J}$ have regular OPEs with one another. Parentheses around indices denote symmetrization with weight one and $k_{2d}^{\mathfrak{su}(2)}$ and $k_{2d}^{\mathfrak{g}}$ are given in Table 3. The transformation properties of the additional $\mathcal{W}_{\alpha}^{A}$ generator under the global $\mathfrak{su}(2)\times\mathfrak{g}$ symmetry completely determine its operator product expansion with the currents,

[TABLE]

For the $H_{2}$ theory, the independent stress tensor has self-OPE and OPE with the other generators taking their canonical form. For $H_{0}$, we omit the $\mathfrak{g}$ affine currents. The OPE of the $\mathfrak{su}(2)$ currents with $w_{\alpha}$ is analogous to the first expression in (3.4). Our remaining (and primary) task is to find the self-OPE of $\mathcal{W}$ (or $w$). We will separately consider $H_{0}$, which possesses certain special features, and present all other instances in one fell swoop.

3.1 $H_{0}$ theory and an $\mathfrak{su}(2)$ extension

To complete the description of the rank-two $H_{0}$ VOA we need the self-OPE of the additional generator $w_{\alpha}$. The most general expression compatible with $\mathfrak{su}(2)$ covariance takes the form

[TABLE]

We have adopted the short-hand notation $(VV)$, for any operator $V$ transforming in the triplet of $\mathfrak{su}(2)$, to denote the contraction $(VV)=V_{\gamma\delta}\ V_{\zeta\eta}\ \epsilon^{\gamma\zeta}\epsilon^{\delta\eta}$. Here and throughout this section, composite operators are defined by nested normal ordering: $X_{1}X_{2}\ldots X_{n-1}X_{n}\colonequals(X_{1}(X_{2}(\ldots(X_{n-1}X_{n})\ldots)))$. Normal ordering brackets take precedence over brackets introduced to delineate group theory contractions.

Jacobi identities uniquely determine the coefficients $c_{i}$ up to a choice of normalization for the generator $w_{\alpha}$, which we fix by choosing $c_{1}=1$. The resulting structure constants are then as follows:

[TABLE]

It may be worth noting that the Jacobi identities can be satisfied (up to null states, and with different values for the coefficients $c_{i}$) for two additional $\mathfrak{su}(2)$ levels other than $k_{2d}^{\mathfrak{su}(2)}=-\frac{17}{10}$, namely $k_{2d}^{\mathfrak{su}(2)}=-\frac{5}{2}$ and $k_{2d}^{\mathfrak{su}(2)}=-\frac{7}{4}$.

3.2 A universal expression for rank-two VOAs $\mathcal{V}^{(2)}_{\mathfrak{g}}$

In terms of the universal decomposition of the symmetric product of two adjoint representations given in (2.4), we can construct a general expression for the self-OPE of $\mathcal{W}$ for the rank-two VOAs other than $H_{0}$ as follows,

[TABLE]

The short-hand notation $(jj)$ continues to denote the contraction $(jj)=j_{\gamma\delta}\ j_{\zeta\eta}\ \epsilon^{\gamma\zeta}\epsilon^{\delta\eta}$, and furthermore we have introduced the notations $\mathds{1}^{(AB)}$, $\mathds{Y}_{2}^{(AB)}$, and $\mathds{Y}_{2}^{*(AB)}$ to represent the projections of the product of two (adjoint) currents $\mathcal{J}$ onto the respective representations, i.e., $\mathds{1}^{(AB)}=(P_{\mathbf{1}})_{CD}^{AB}\ \mathcal{J}^{C}\mathcal{J}^{D}=\frac{\kappa^{AB}\kappa_{CD}\mathcal{J}^{C}\mathcal{J}^{D}}{\dim\mathbf{Adj}}$, and similarly for $\mathds{Y}_{2}^{(AB)}$, and $\mathds{Y}_{2}^{*(AB)}$. We provide the precise expressions for the relevant projection operators in Appendix A. Up to a choice of normalization of the generator $\mathcal{W}$, which we set by choosing $c_{1}=1$, the coefficients $c_{i}$ are uniquely fixed in terms of the dual Coxeter number ${h^{\vee}}$ as

[TABLE]

Note that in (3.2) we included a stress tensor $\mathcal{T}$. As explained above, for $\mathfrak{g}\neq\mathfrak{a}_{2}$, i.e., ${h^{\vee}}\neq 3$, it is actually given by the Sugawara construction, and so the last line represents a null operator that can be added with arbitrary coefficient (controlled by the parameter $b$). In the limit of ${h^{\vee}}\rightarrow 3$, however, $\mathcal{T}$ is truly an independent strong generator. We can see from (3.8) that this limit can in fact be taken smoothly as the poles in ${h^{\vee}}-3$ are cancelled. In this limit, the arbitrary coefficient $b$ appears in front of a null operator of the $H_{2}$ VOA. In (3.8) we have divided $c_{9}$ by the dimension of adjoint representation of $\mathfrak{g}$ to directly reflect the coefficient of $\kappa_{CD}\mathcal{J}^{C}\mathcal{J}^{D}$. This is a helpful way of writing things in view of taking the limit for ${h^{\vee}}\rightarrow 3$.

The rank-two VOA associated to $H_{1}$ can be recovered by specializing to ${h^{\vee}}=2$ and omitting the operator $\mathds{Y}_{2}^{*(AB)}$ on the right hand side of (3.2) – the corresponding projector vanishes identically for $\mathfrak{su}(2)$. Incidentally, the $H_{2}$ theory has already been studied in detail in the literature from the perspective of the associated VOA in Buican:2017fiq , though it was not identified as being the rank-two instanton SCFT in that paper, but rather was recovered in the strong coupling limit of a conformal gauging of Argyres-Douglas SCFTs and given the moniker $\mathcal{T}_{X}$.

4 Free field realizations

Before pursuing any extensive analysis of the VOAs $\mathcal{V}_{\mathfrak{g}}^{(2)}$ constructed in the previous section, it is worth investigating whether these algebras admit free field realizations in the style of Beem:2019tfp . Such a realization has the potential to simplify the analysis of singular vectors in the vacuum module, as well as providing a canonical proposal for the four-dimensional $R$-filtration of these VOAs Beem:2017ooy .

According to the template introduced in that paper, we expect a realization in terms of $\dim_{\mathbb{C}}\mathcal{M}_{H}=2(2h^{\vee}-1)$ chiral bosons associated to a lattice of signature $(2h^{\vee}-1,2h^{\vee}-1)$, whose lattice momenta are restricted to an isotropic sublattice; the construction should also reflect the algebraic structure of the Higgs branch/associated variety.

4.1 Realizations for $\mathfrak{g}\neq\mathfrak{a}_{0}$ from intermediate Higgsing

It turns out that a more efficient approach will be to develop an intermediate construction associated not with the generic locus of the Higgs branch, but with the singular stratum where the $\mathfrak{g}$ symmetry is unbroken. (For the special case of the $H_{0}$ theory, this is indeed the generic locus.) The idea is that we can use lattice bosons to model the geometry of the singular locus, but the “free field realization” should be further decorated with the VOAs associated to the residual degrees of freedom on that locus. In the present case, the residual theory on the singular locus in question is two copies of the rank-one SCFT, so our free field realizations will include two copies of the rank-one VOA $\mathcal{V}_{\mathfrak{g}}^{(1)}$ as basic building blocks. Given the free-field constructions of the rank-one VOAs in Beem:2019tfp , our final result could then be further expressed as an honest free field realization in terms of only chiral lattice bosons and symplectic bosons.

4.1.1 Big open sets in the two-instanton moduli spaces

On the locus of $\mathcal{M}_{H}$ where the $\mathfrak{g}$ symmetry is unbroken, the moment map $\mu_{\mathfrak{g}}$ and all the chiral ring generators charged under $\mathfrak{g}$, namely $\omega^{A}_{\alpha}$, vanish,

[TABLE]

This locus is then parameterized by the $\mathfrak{su}(2)$ moment map, $\mu_{\mathfrak{su}(2)}$, subject to the relation (2.6), which implies that

[TABLE]

In other words, the singular locus in question is a copy of $\overline{\mathbb{O}_{\min}(\mathfrak{sl}(2))}\cong\mathbb{C}^{2}/\mathbb{Z}_{2}$ embedded in the two-instanton moduli space.212121This singular locus can be thought of as parameterizing F-theory configurations where the two D3-branes explore the nonperturbative seven-brane worldvolume as point-like small instantons. As in Beem:2019tfp , we consider an open subset of this locus where $(\mu_{\mathfrak{su}(2)})_{++}\neq 0$, which as a Poisson variety can be identified with $T^{\ast}(\mathbb{C}^{\ast})$ where $(\mu_{\mathfrak{su}(2)})_{++}$ is the $\mathbb{C}^{\ast}$-valued coordinate and $(\mu_{\mathfrak{su}(2)})_{+-}$ is the cotangent fiber.

From each point in this open subset sprouts the product of two copies of the one-instanton moduli space, which reflects the Higgs branch for the residual IR effective theory.222222The embedding of these one-instanton subspaces is simplified by the fact that the two-instanton moduli space, as a hyperkähler manifold, enjoys an $SU(2)_{R}\times G\times SU(2)$ isometry group, and at each point on the locus discussed here, this symmetry is broken spontaneously to $SU(2)_{\bar{R}}\times G$ where $SU(2)_{\bar{R}}\cong\text{diag}\left(SU(2)_{R}\times SU(2)\right)$. Thus the IR R-symmetry can be identified in the UV, which ensures that the one-instanton moduli spaces are genuinely embedded into the two-instanton moduli space rather than only appearing in a scaling region near the singular locus. We then can construct a dense open subset of the full two-instanton moduli space that has the form of a fibration of those two copies of the one-instanton moduli space over $T^{\ast}(\mathbb{C}^{\ast})$. This fibration reflects the indistinguishability of the two one-instanton factors, so we have an open set

[TABLE]

where $\widetilde{\mathcal{M}}_{\mathfrak{g}}^{(1)}$ denotes the reduced one instanton moduli space and $\mathbb{Z}_{2}$ acts by negation on the $\mathbb{C}^{\ast}$ and by exchanging the two one-instanton factors.

In this patch we can express the generators of the two-instanton coordinate ring in terms of the coordinate ring $\mathbb{C}[\mathcal{U}]$. We introduce coordinates (with slightly unconventional names) $(\mathsf{e}^{\frac{1}{2}},\mathsf{h})$ for $T^{\ast}(\mathbb{C}^{\ast})$ with their canonical symplectic form $\{\mathsf{h},\mathsf{e}^{\frac{1}{2}}\}=\mathsf{e}^{\frac{1}{2}}$, along with two copies $\mathsf{J}_{1}^{A},\,\mathsf{J}_{2}^{A}$ of the generators of $\mathbb{C}[\widetilde{\mathcal{M}}^{(1)}_{\mathfrak{g}}]$ satisfying the Joseph relations (2.5). The $\mathbb{Z}_{2}$ quotient now acts according to $(\mathsf{h},\mathsf{e}^{\frac{1}{2}},\mathsf{J}_{1},\mathsf{J}_{2})\mapsto(\mathsf{h},-\mathsf{e}^{\frac{1}{2}},\mathsf{J}_{2},\mathsf{J}_{1})$. The moment maps of the two-instanton moduli space are now given by

[TABLE]

where $\mathsf{S}^{\natural}=\tfrac{1}{4}\kappa_{AB}\mathsf{J}_{1}^{A}\mathsf{J}_{2}^{B}$. The additional chiral ring generators can be expressed as

[TABLE]

In this realization the full complement of Higgs chiral ring relations are solved automatically given that the $\mathsf{J}_{i}$ satisfy the Joseph relations.

4.1.2 Affine uplift

Our free field realization will be an “affine uplift” of this realization of $\mathbb{C}[\mathcal{M}_{\mathfrak{g}}^{(2)}]$ in terms of $\mathbb{C}[\mathcal{U}]$. In particular, we will realize the VOA $\mathcal{V}^{(2)}_{\mathfrak{g}}$ as a vertex operator subalgebra,

[TABLE]

where $\mathcal{V}^{(1)}_{\mathfrak{g}}=V_{-\frac{1}{6}h^{\vee}-1}(\mathfrak{g})$ is the associated VOA of the corresponding rank-one SCFT and the VOA $\Pi_{\frac{1}{2}}$ can be expressed in terms of two chiral bosons $\delta(z),\varphi(z)$ with OPEs

[TABLE]

where $\langle\delta,\delta\rangle=-\langle\varphi,\varphi\rangle$. It is the algebra that includes exponential vertex operators whose lattice momenta are restricted to an isotropic subspace of the full momentum lattice, namely

[TABLE]

Equation (4.6) should be compared to its geometric counterpart (4.3). Once we identify $e^{\delta(z)+\varphi(z)}$ as the VOA avatar of the $\mathbb{C}^{\ast}$-valued $\mathsf{e}$, the generators of $\mathcal{V}^{(2)}_{\mathfrak{g}}$ with non-negative weight under the Cartan of $\mathfrak{su}(2)$ can be immediately written down as

[TABLE]

Here we have fixed the chiral bosons to be normalized according to $\langle\delta,\delta\rangle=-\frac{k_{2d}^{\mathfrak{su}(2)}}{2}$, and $\mathcal{J}^{A}_{1}$, $\mathcal{J}^{A}_{2}$ denote the generators of the two copies of $\mathcal{V}^{(1)}_{\mathfrak{g}}$ in (4.6). One can straightforwardly check that the OPEs of these operators correctly reproduce the OPEs given in (3.2)–(3.4), (3.2). Notice that these expressions in an obvious sense an affinization of (4.4), (4.5). To find the remaining generators, it is convenient to first realize, following Beem:2019tfp , $j_{--}(z)$ as

[TABLE]

The OPEs of the $\mathfrak{su}(2)$ current algebra are then correctly reproduced if and only if the self-OPE of $S^{\natural}$ is as follows: at non-critical level $k_{2d}^{\mathfrak{su}(2)}\neq-2$ the combination $T^{\natural}=S^{\natural}/(k_{2d}^{\mathfrak{su}(2)}+2)$ must satisfy the Virasoro OPE with central charge $c^{\natural}=1-6(k_{2d}^{\mathfrak{su}(2)}+1)^{2}/(k_{2d}^{\mathfrak{su}(2)}+2)$, while at the critical level, $k_{2d}^{\mathfrak{su}(2)}=-2$, $S^{\natural}$, has regular self-OPE. In addition, the requirement that $j_{--}$ commute with the $\mathfrak{g}$ currents $\mathcal{J}^{A}$ implies that $S^{\natural}$ should do so as well. Within $\mathcal{V}^{(1)}_{\mathfrak{g}}\otimes\mathcal{V}^{(1)}_{\mathfrak{g}}$ there is essentially a unique candidate that can play the role of $S^{\natural}$. It is proportional to the stress tensor for the diagonal coset CFT:

[TABLE]

where $T_{1}^{\text{Sug}}$, $T_{2}^{\text{Sug}}$, $T_{12}^{\text{Sug}}$ are Sugawara stress tensors built using $\mathcal{J}_{1}^{A}$, $\mathcal{J}_{2}^{A}$, and $\mathcal{J}_{1}^{A}+\mathcal{J}_{2}^{A}$, respectively.232323The Sugawara stress tensor of a current algebra generated by $\mathcal{J}$ at level $k$ is given by

$T^{\text{Sug}}=\frac{1}{2(k+{h^{\vee}})}\kappa_{AB}\mathcal{J}^{A}\mathcal{J}^{B}~{},$

(4.15)

where ${h^{\vee}}$ is the dual Coxeter number associated finite-dimensional, simple Lie algebra. Notice that in our setup $k_{1}=k_{2}=k_{12}/2=k^{\mathfrak{g}}_{2d}/2$. For the $\mathfrak{a}_{2}$ entry, the definition (4.14) looks problematic since $k_{12}+h^{\vee}=-3+3=0$. However, in this case we also have $k_{2d}^{\mathfrak{su}(2)}+2=-2+2=0$ resulting in $S^{\natural}$ having contribution only from the (unnormalized) $T_{12}^{\text{Sug}}$ term.

Having constructed $j_{--}(z)$, we can easily deduce a proposal for the currents $\mathcal{W}_{-}^{A}(z)$ by considering the OPE of $j_{--}(z)$ with $\mathcal{W}_{+}^{A}(z)$. We will need to additionally require that a second-order pole is absent, and then the first-order pole will precisely be the desired $\mathcal{W}_{-}^{A}(z)$. One finds

[TABLE]

where $\mathcal{U}^{A}$ is defined by the following OPE,

[TABLE]

Direct computation then yields

[TABLE]

where $K=-\tfrac{4(2+k_{2d}^{\mathfrak{su}(2)})}{k^{\mathfrak{g}}+h^{\vee}}$. The second-order pole in the $j_{--}\times\mathcal{W}_{+}^{A}$ OPE vanishes if $\tfrac{1}{2}(k_{2d}^{\mathfrak{su}(2)}+\tfrac{1}{2})+h^{\natural}=0$, which can be confirmed to hold for all cases from Table 2. For these levels, we also find that $K=1$.

At this point all the generators have been constructed and we need to verify that their OPEs close on the algebra that they generate under iterated normally ordered products and derivatives.242424It was noted in Section 3 that in the $\mathfrak{a}_{2}$ case there is an additional strong generator identified with the stress tensor. This can be realized as the sum of chiral boson stress tensors and Sugawara stress tensors for the one-instanton factors. Alternatively, this stress tensor appears automatically in the $\mathcal{W}\times\mathcal{W}$ OPE—the VOA is still generated by the affine currents and the $\mathcal{W}$ currents, though not strongly. For this it turns out to be crucial that the levels take the values given in Table 2 and that the currents $\mathcal{J}_{1}$ and $\mathcal{J}_{2}$ satisfy the quadratic relations that characterize $\mathcal{V}_{\mathfrak{g}}^{(1)}$. In particular, the last condition is required for the $\mathfrak{su}(2)$ singlet channel of the $\mathcal{W}\times\mathcal{W}$ OPE to be free of new operators. With all of these conditions satisfied, the OPEs for these free field constructions are identical to the ones give in Section 3.

4.1.3 Higgs branch relations revisited and the $R$-filtration from free fields.

The VOAs we have constructed here exhibit a subtle behavior, previously discussed in Beem:2017ooy and observed in examples in Buican:2017fiq ; Beem:2019tfp , which is that there are Higgs branch relations in the four-dimensional SCFTs that do not have corresponding null vectors in the associated VOA. This phenomenon is closely connected with the nuances of the $R$-filtration on associated VOAs, which has been discussed in detail in Beem:2017ooy .

In Beem:2019tfp a proposal for the $R$-filtration of a VOA in terms of the corresponding geometric free field realization was put forward. Adopting said proposal, we can study the Higgs branch chiral ring relations collected in (2.6)–(2.14) and check that even when they are not realized as null states in the VOA, they are realized at the level of the associated-graded with respect to the $R$-filtration.

We find that in particular, the Higgs branch relations (2.6) and (2.7) do not corresponds to null operators in the VOA. The first of these is familiar from many previous investigations, where any time the stress tensor is identified as the Sugawara stress tensor for an affine Kac-Moody (sub-)algebra, there is a “hidden” Higgs branch relation. On the other hand, the relation (2.7) doesn’t appear to be connected to any equally universal phenomenon.

Written in terms of their free field expressions, these composite operators that are supposed to vanish as elements of the Higgs chiral ring take the form252525For future investigations of higher-rank cases, it may be relevant that the quantum numbers of these relations coincide precisely with those of the additional strong generators of the rank-three VOAs that are not Higgs chiral ring generators.

[TABLE]

where in the second equation we have only given the $\mathfrak{su}(2)$ highest weight state for simplicity, and the contribution of the chiral bosons to the stress tensor are defined as

[TABLE]

While the right hand sides of (4.19) and (4.20) are not null in the VOA, they reside in subspaces of lower-than-expected weight with respect to the $R$-filtration. To be precise, the right-hand sides of (4.19) and (4.20) have weights $R=1$ and $R=3/2$, respectively, which is one less than the sum of weights of the constituents on the left hand sides.262626We recall that the $R$-weights of the chiral bosons are given by $R[\upsilon_{+}]=0$, $R[\upsilon_{-}]=1$, $R[e^{\delta+\varphi}]=1$, $R[\partial]=0$, so that $R[T_{\delta}+T_{\varphi}]=1$. The remaining assignments come from the $R$-filtration of the IR VOA, which in this case is $\mathcal{V}^{(1)}_{\mathfrak{g}}\otimes\mathcal{V}^{(1)}_{\mathfrak{g}}$, so that $R[T_{1}^{\text{Sug}}]=R[T_{2}^{\text{Sug}}]=1$ Beem:2019tfp . In the associated graded, this leads to the expected Higgs branch relations, while the states on the right-hand side will act as new generators of the resultant commutative algebra. This reinforces the difficulty of constructing the $R$-filtration in an ad hoc fashion based on the assignment of $R$-weights to strong generators and correcting on the basis of null states, though in simple cases such a strategy does seem to meet with success Song:2016yfd .

4.2 $H_{0}$ theory from Virasoro building blocks

The free field realization for the rank-two $H_{0}$ VOA is analogous to the ones presented above, with except that now the building blocks associated to the IR SCFT consist of two copies of the irreducible Virasoro vertex algebra with central charge $c=-22/5$, which will we denote $\text{Vir}_{(2,5)}$.272727The notation originates from the fact that this is the VOA underlying the non-unitary $(2,5)$ minimal model. This VOA is $C_{2}$-cofinite, which reflects the fact the Higgs branch of the IR SCFT is a point, so this is a generalized free field realization where we allow $C_{2}$-cofinite VOAs as elementary building blocks, as proposed in Beem:2019tfp . For this example the $\mathbb{C}^{2}/\mathbb{Z}_{2}$ subspace where we are studying the low energy effective theory is in fact the generic locus of the Higgs branch. All said, we will therefore be finding an inclusion,

[TABLE]

We recall that the rank-two $H_{0}$ VOA is an $\mathfrak{su}(2)$ current algebra at the admissible level $-17/10$ extended by a AKM primary $w_{\alpha}(z)$ of spin $j=\tfrac{1}{2}$ and conformal weight $h=5/2$. The free field realization for the current algebra takes the same form as above (see (4.9), (4.10), (4.13)) with

[TABLE]

where $T_{1}$ and $T_{2}$ generate the two copies of $\text{Vir}_{(2,5)}$. As in the previous examples, the OPE of the $\mathfrak{su}(2)$ current algebra is correctly reproduced only if $T^{\natural}$ satisfies the Virasoro OPE with central charge $c^{\natural}=1-6(k_{2d}^{\mathfrak{su}(2)}+1)^{2}/(k_{2d}^{\mathfrak{su}(2)}+2)$. This is indeed the case with $c^{\natural}=-2\times\frac{22}{5}$ and $k_{2d}^{\mathfrak{su}(2)}=-17/10$. A moment’s inspection shows that there is a unique candidate AKM primary with the quantum numbers of $w_{+}(z)$ in (4.22). Up to normalization, it is given by

[TABLE]

We can now use the lowering operator $j_{--}(z)$ to construct the lowest-weight state

[TABLE]

where the second-order pole cancels precisely fir the relevant values of the level and central charges. With these generators in place one can verify that, up to normalization, the $w_{\alpha}\times w_{\beta}$ OPE takes the form given in (3.1), (3.1).282828The precise normalization (4.24) corresponds to $c_{1}=\tfrac{17}{10}\times\tfrac{22}{5}$ in (3.1).

5 Rank-two modular equations

As quasi-Lisse VOAs, the vacuum characters of the two-instanton VOAs $\mathcal{V}^{(2)}_{\mathfrak{g}}$ will necessarily be solutions of finite-order linear modular differential equations Arakawa:2016hkg . For their rank-one cousins, these differential equations can be expressed in a uniform way as a second-order modular differential operator whose free coefficient is a function of the dual Coxeter number,292929In this section, we use Eisenstein series normalized according to

$\mathbb{E}_{2k}(\tau)\colonequals-\frac{B_{2k}}{(2k)!}+\frac{2}{(2k-1)!}\sum_{n\geqslant 1}\frac{n^{2k-1}q^{n}}{1-q^{n}}~{},$

(5.1)

where $B_{2k}$ is the $2k$’th Bernoulli number.

[TABLE]

where $D_{q}^{(n)}=\partial_{(2n-2)}\circ\cdots\circ\partial_{(2)}\circ\partial_{(0)}$ denotes the iterated Serre derivative of modular weight $2n$, with

[TABLE]

One perspective on the uniformity of these differential equations is that these affine current VOAs can be expressed in universal terms, with the nontrivial null states in the vacuum Verma module reflecting the Joseph relations, which as we saw earlier can be described universally within the DC series as the vanishing of the singlet and $\mathbf{Y_{2}^{*}}$ representations in the symmetric square of the adjoint. It follows that the null state that leads by recursion to the modular differential equation (5.2) should take a universal form.

From this, one might suspect that the rank-two VOAs should, by virtue of their universal form, admit a uniform modular differential equation for their vacuum characters. Indeed, one can determine the leading terms in the vacuum characters directly from the descriptions in Section 3, and these admit the uniform expression303030A version of this uniform result has also appeared recently in Gu:2019dan .

[TABLE]

where we have utilized the plethystic exponential $\mathrm{PE}[f(x_{i})]\colonequals\exp(\sum_{n=1}^{\infty}\frac{1}{n}f(x_{i}^{n}))$. In (5) we have indicated the full representation content under $\mathfrak{su}(2)\times\mathfrak{g}$ of each term, but as we are presently interested in the unflavored characters, these expressions should be interpreted as shorthand notation for the dimensions of the indicated finite-dimensional representations. The first several terms of the plethystic exponent manifestly encode the generators and null relations of the vertex operator algebra, while the latter reflect the Higgs branch relations (2.6)–(2.14), except for the relation transforming as $(0,\mathbf{1})$ at order $q^{2}$, and the relation transforming as $(\frac{1}{2},\mathbf{1})$ at order $q^{\frac{5}{2}}$. Per the previous discussion, these Higgs branch relations do not correspond to null relations of the VOA at the same conformal weight, but rather they can be recovered in the associated graded with respect to the $R$-filtration.

With some additional effort, we can identify the following one-parameter family of fourth-order twisted modular differential equations,313131The term twisted here refers to the fact that the coefficients in the differential operator can be expressed in terms of twisted Eisenstein series Mason:2008zzb . Alternatively, these are modular with respect to the conjugacy subgroup $\Gamma^{0}(2)\subset PSL(2,\mathbb{Z})$.

[TABLE]

which annihilate the vacuum characters of the rank-two instanton SCFTs.323232One immediately observes a pattern in this differential equation, where the coefficients of an $n$’th order derivative is a polynomial of degree $4-n$ in ${h^{\vee}}$, a pattern which obviously also holds in the rank-one case. Perhaps this pattern will persist at higher rank. Here $\Theta_{r,s}$ is shorthand notation for the combination of Jacobi theta functions

[TABLE]

and the space of modular forms for the congruence subgroup $\Gamma^{0}(2)$ is spanned by functions of this type: $M_{2k}(\Gamma^{0}(2))=\text{span}\{\Theta_{r,s}(\tau)\ |\ r+s=k\}$. See, for example, the appendix of Beem:2017ooy for more details.

From (5.5) we can derive the general expression for the “scaling dimensions” of the solutions to the $S$-conjugate modular equation, giving

[TABLE]

which we can use to predict/confirm the $a_{4d}$ Weyl anomaly coefficient using equation from which using equations (3.19) from Beem:2017ooy ,

[TABLE]

Indeed, this matches the expression (2.18) for $n=2$.

6 Outlook for higher ranks

We have seen here that the remarkable uniformity of the associated VOAs of the rank-one F-theory SCFTs continues at rank two, which has allowed us to come to grips with the full set of these VOAs quite efficiently. Aside from their intrinsic interest as a diverse family of SCFTs, our analysis here gives one hope that the generalization of this analysis to arbitrary rank may be tractable. To this end, we remark on several observations regarding these higher rank SCFTs and their associated VOAs.

Indices and modular differential equations for $\chi_{0}^{\mathrm{3-inst}}$.

Though we have not established general results for the three-instanton (or higher) theories, we can extract preliminary results for the $\mathfrak{d}_{4}$ theories (which admit Lagrangian descriptions) which should generalize to the rest of the series due to their uniformity. In particular, by explicit computation we have determined the Schur index of the rank-three $\mathfrak{d}_{4}$ theory to high orders in the $q$-expansion

[TABLE]

One can then verify that this index is annihilated by the following seventh-order modular differential operator,

[TABLE]

This operator implies that the smallest “scaling dimension” among the solutions to the $S$-conjugate modular differential equation is given by $\tilde{h}_{\text{min}}=-\frac{19}{4}$, which in turn predicts an $a_{4d}$ Weyl anomaly coefficient as

[TABLE]

which indeed agrees with (2.18) for $n=3$ and ${h^{\vee}}=6$.

On this basis, we conjecture that the (unflavored) Schur indices of all rank-three F-theory SCFTs will satisfy a twisted seventh-order modular differential equation whose coefficients are polynomials in the dual Coxeter number. Identifying this universal differential equation might be an interesting starting point for efforts to better understand the rank-three VOAs.

Strong generators for higher rank VOAs $\mathcal{V}^{(n)}_{\mathfrak{g}}$.

Studying the plethystic logarithm of (6.1) and its still higher-rank versions leads to a proposal for the set of strong generators of the associated VOAs beyond the Higgs branch generators listed in (2.16) and (2.17). In particular, it appears that the higher rank VOAs should be equipped with additional generators with quantum numbers

[TABLE]

When $n\geqslant 3$ this list includes the stress tensor, which is compatible with the failure of the Sugawara relation between Virasoro central charge and current algebra levels at higher rank. Uniformity within the DC series suggests that this set of strong generators should shared among the higher-rank VOAs for all $\mathfrak{g}$. Indeed, it is tempting to speculate that this is the full list of strong generators of the VOAs $\mathcal{V}^{(n)}_{\mathfrak{g}}$. We hope to put these suggestions to the test in future work.

Acknowledgements.

The authors would like to thank Mario Martone and Simone Giacomelli for helpful conversations and useful suggestions. We are pleased to acknowledge the 2019 Pollica summer workshop where some of the final stages of this work were completed, and we are grateful to its supporting organizations: the Simons Foundation (Simons Collaboration on the Nonperturbative Bootstrap) and the INFN. The work of C.B., C.M., and W.P. is partially supported by grant #494786 from the Simons Foundation. The work of L.R. is partially supported by the NSF grant PHY1620628.

Appendix A Some properties of the Deligne-Cvitanović exceptional Lie algebras

A.1 Decomposition of second tensor power of adjoint representation

The Lie algebras of the Deligne series share the property that precisely five real representations appear in the decomposition of the tensor product of two copies of the adjoint representations, three of which occur in the symmetric product and the other two in the antisymmetric product. Following the notations of cohen1999tensor , as in the main text, we have

[TABLE]

Note that $\mathfrak{su}(2)$ is a degenerate case as the representations $\mathbf{X_{2}}$ and $\mathbf{Y_{2}^{*}}$ are absent (or, more formally, they are identified with the zero-dimensional representation). The dimensions of the various representations entering in (A.1) can be expressed uniformly as rational functions of the dual coxeter number $h^{\vee}$, or, more conveniently, in terms of the parameter $\mu=\frac{6}{h^{\vee}}$,

[TABLE]

Note that for $\mathfrak{su}(2)$, for which $h^{\vee}=2$ and thus $\mu=3$, the dimensions of $\mathbf{X_{2}}$ and $\mathbf{Y_{2}^{*}}$ are indeed zero. For reference, in Table 4, we give the Dynkin labels of the representations $\mathbf{Adj},\mathbf{Y_{2}},\mathbf{Y_{2}^{*}},$ and $\mathbf{X_{2}}$ for the full DC series.

A.2 Projection operators

To explicitly construct the rank-two VOAs, we have used behind the scenes the projection operators for each of the representations occurring in $\mathrm{sym}^{2}\mathbf{Adj}$. Happily, these have been constructed in the literature cohen1999tensor , and we reproduce them here, albeit using slightly different normalization conventions,333333We normalize the Killing form by setting the length squared of the longest root to two. In these conventions, we have in particular that $f^{ABC}f^{EB^{\prime}C^{\prime}}\kappa_{BB^{\prime}}\,\kappa_{CC^{\prime}}=2{h^{\vee}}\,\kappa^{AE}$.

[TABLE]

Though we don’t need them in our analysis, we also include the projectors onto the representations in the antisymmetric product for completeness,

[TABLE]

These projectors are idempotent and orthogonal, and their traces equal the dimension of the corresponding representation,

[TABLE]

where $\mathbf{R}_{i},i=1,\ldots,5$ denote the five representations $\mathbf{1},\mathbf{Y_{2}},\mathbf{Y_{2}^{*}},\mathbf{Adj},\mathbf{X_{2}}$.

For the case of $\mathfrak{su}(2)$, the structure constants and Killing form can be chosen to take the explicit form $f^{ABC}=\sqrt{2}\epsilon^{ABC}$ and $\kappa^{AB}=\delta^{AB}$. It is then straightforward to verify that $(P_{\mathbf{Y_{2}^{*}}}^{\mathfrak{su}(2)})^{BA}_{CD}\equiv 0$ and $(P_{\mathbf{X_{2}}}^{\mathfrak{su}(2)})^{BA}_{CD}\equiv 0$, as expected. For $\mathfrak{su}(3)$, the representation $\mathbf{Y_{2}^{*}}$ is another copy of the adjoint representation. Its reappearance in the symmetric product is tied to the existence of the cubic Casimir $d^{ABC}$. One may verify that an alternative expression for the projector onto $\mathbf{Y_{2}^{*}}$ is as

[TABLE]

A.3 Decomposition of third tensor power of adjoint representation

We collect here some data on the representations appearing in the third tensor power of the adjoint representation, see cohen1996computational for more details. We will use square brackets to denote plethysms, e.g., $[(2)]\mathbf{Adj}=\mathrm{sym}^{2}\mathbf{Adj}$ and $[(1,1)]\mathbf{Adj}=\wedge^{2}\mathbf{Adj}$. Then one finds

[TABLE]

The dimensions of the new representations appearing here can again be written uniformly in terms of ${h^{\vee}}$ or $\mu=\frac{6}{{h^{\vee}}}$ as

[TABLE]

The dimensions of starred representations are obtained from their unstarred counterparts by the replacement rule $\mu\rightarrow-\mu-1$. We present Dynkin labels for these representations of the various DC algebras in Table 5.