Abstract
We analyze the \(\mathcal {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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
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 [1, 2], as are all models of Argyres–Douglas kind.Footnote 1 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 [7,8,9,10] (see also [11]). For higher ranks, a similar feat has not yet been achieved, though for partial progress see [12, 13].
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 [14,15,16,17,18]. 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.Footnote 2 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 [19].Footnote 3 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 [19,20,21,22]. 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}\).Footnote 4 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 [23, 24]. 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 [19, 22]. 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 [19]. 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}\).Footnote 5 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 [25] 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 [26]. 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 [26], 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}^*)\), 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.Footnote 6 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 [26], 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 [27]. Furthermore, it was conjectured in [22] (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 [22]. 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 Sect. 2 we review various known facts about the rank-n instanton SCFTs. In Sect. 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 Sect. 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 Sect. 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 [19] 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.Footnote 7) 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 [23, 24]:
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 [19].
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.
2.1.1 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
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.
2.1.2 Higgs branch.
The Higgs branch of the rank-n theory of type \(\mathfrak {g}(\ne \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
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 [29]. 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.Footnote 8 Following the notations of [30], we have
Here \(\mathbf {1} \) denotes the singlet representation, while \(\mathbf {Y_k}\) denotes the representation with Dynkin labels k times those of the adjoint representation.Footnote 9 Note also that \(\mathfrak {a}_1\) is slightly degenerate from this point of view, in that the representation \(\mathbf {Y_2^*}\) is absent. We refer the reader to “Appendix A” for additional information about these representations. With this notation established, the Joseph relations state that
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 [31,32,33,34]. 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:
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.Footnote 10,Footnote 11 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}\),
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 [34]
The symmetry properties of the chiral ring relations can also in principle be extracted from the Hilbert series computed in [34].
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., [36] 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.
2.1.3 Central charges.
Central charges of higher-rank F-theory SCFTs were first computed in [37] 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:
Let us pause to make a few observations about these results. First of all, for \(\mathfrak {g}\ne \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
which agrees with the dimension reported in (2.3). Alternatively, in the \(\mathfrak {a}_0\) theory, we have
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 [38]. Indeed, using the charges in (2.2), one checks
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,
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 [19, 22, 35, 39], one should observe one additional fact about the rank-two theories.Footnote 12 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,
In the four-dimensional physics of the rank-two theories, this equality is reflected in the Higgs branch relation (2.6).Footnote 13 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 [35].
2.2 Class \(\mathcal {S}\) realizations
The higher-rank theories that are not of Argyres–Douglas type can be realized within class \(\mathcal {S}\) using only regular punctures [40,41,42]. 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 \(\mathcal {S}\) 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
where the embeddings \(\Lambda _i\) are represented by a partition of the rank of the relevant \(\mathfrak {a}\)-type algebra plus one.Footnote 14 In the “good-bad-ugly” trichotomy introduced in [31], these theories are all “bad”, which in particular means that the prescription of [27] to compute their superconformal indices diverges.Footnote 15 In [31] 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,
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 [44].
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 (2.27) 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 [45], while the Lagrangian realization of the \(\mathfrak {d}_4\) theories give a BRST description as described in [19]. 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.Footnote 16 Such a strategy has been pursued in the context of chiral algebras associated with four-dimensional \({\mathcal {N}}=2\) SCFTs in [20, 46], and has been successfully applied in various instances since.Footnote 17
It was proven in [19] 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.Footnote 18 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.Footnote 19 As reviewed in Sect. 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},\mathbf{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:
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 [20]. However, if the rank-two VOA is generated only by affine currents, then DS reduction will give a single copy of the Virasoro VOA \(\mathrm{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'=3\) and \(p=10\) are coprime and \(p'>1\). An admissible current algebra can only be extended by AKM primaries of spins \(\frac{1}{2},1,\ldots ,\frac{p'-2}{2}\), see [48]. 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,Footnote 20
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,
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
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 := (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:
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,
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 \(\mathbb {1}^{(AB)}\), \(\mathbb {Y}_2^{(AB)}\), and \(\mathbb {Y}_2^{*(AB)}\) to represent the projections of the product of two (adjoint) currents \({\mathcal {J}}\) onto the respective representations, i.e., \(\mathbb {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 \(\mathbb {Y}_2^{(AB)}\), and \(\mathbb {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
Note that in (3.7) we included a stress tensor \(\mathcal T\). As explained above, for \(\mathfrak {g}\ne \mathfrak {a}_2\), i.e., \({h^\vee }\ne 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 \(\mathbb {Y}_2^{*(AB)}\) on the right hand side of (3.7) – 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 [25], 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 [26]. 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 [22].
According to the template introduced in that paper, we expect a realization in terms of \(\dim _{\mathbb {C}}\mathcal {M}_H = 2(2 h^\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}\ne \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 [26], 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,
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
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.Footnote 21 As in [26], we consider an open subset of this locus where \((\mu _{\mathfrak {su}(2)})_{++}\ne 0\), which as a Poisson variety can be identified with \(T^*(\mathbb {C}^*)\) where \((\mu _{\mathfrak {su}(2)})_{++}\) is the \(\mathbb {C}^*\)-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.Footnote 22 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^*(\mathbb {C}^*)\). This fibration reflects the indistinguishability of the two one-instanton factors, so we have an open set
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}^*\) 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^{*}(\mathbb {C}^*)\) 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
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
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,
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
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
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}^*\)-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
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.7). 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 [26], \(j_{--}(z)\) as
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)} \ne -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:
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.Footnote 23 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
where \(\mathcal {U}^A\) is defined by the following OPE,
Direct computation then yields
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.Footnote 24 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 Sect. 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 [22] and observed in examples in [25, 26], 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 [22].
In [26] 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 formFootnote 25
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
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.Footnote 26 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 [49].
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)}\).Footnote 27 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 [26]. 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,
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
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
We can now use the lowering operator \(j_{--}(z)\) to construct the lowest-weight state
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.5), (3.6).Footnote 28
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 [50]. 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,Footnote 29
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
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 Sect. 3, and these admit the uniform expressionFootnote 30
where we have utilized the plethystic exponential \(\mathrm {PE}[f(x_i)] := \exp (\sum _{n=1}^{\infty }\frac{1}{n}f(x_i^n))\). In (5.4) 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,Footnote 31
which annihilate the vacuum characters of the rank-two instanton SCFTs.Footnote 32 Here \(\Theta _{r,s}\) is shorthand notation for the combination of Jacobi theta functions
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 [22] 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
which we can use to predict/confirm the \(a_{4d}\) Weyl anomaly coefficient using equation from which using equations (3.19) from [22],
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
One can then verify that this index is annihilated by the following seventh-order modular differential operator,
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
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
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.
Notes
While 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 [3,4,5], or to lie on the \(\mathcal {N}=1\) conformal manifolds of Lagrangian theories [6].
Here \(\mathrm {Lie}(G)=\mathfrak {g}\), with G the flavor symmetry factor just mentioned.
We use the terms vertex operator algebra and chiral algebra interchangeably.
The \(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}\).
The 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.
The 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.
It 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 [28].
More 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}\).
The \(*\) 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.
The normalization of the moment map operators can be understood as in [35], 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 Sect. 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 \).
More explicitly, (2.9) reads \(i f^{A}_{BC}\,\mu _{\mathfrak {g}}^B \omega _{\alpha }^C=4\, (\mu _{\mathfrak {su}(2)})_{\alpha \beta }\,\omega ^A_{\gamma } \epsilon ^{\beta \gamma }\).
The saturation of unitarity bounds of rank-one F-theory SCFTs has already been analyzed in great detail in the aforementioned papers.
This Higgs branch chiral ring relation is actually a necessary consequence of the Sugawara value of the central charge [35].
Exponents always denote repeated entries in the partition.
This prescription was derived in [43] 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.
Note 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.
In our computations we have utilized the Mathematica package developed in [47].
In 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.
One 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}\ne \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.
Our conventions for the epsilon tensor are \(\epsilon ^{12}=-\epsilon ^{21} = -\epsilon _{12}=\epsilon _{21}=1\).
This 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.
The 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.
The Sugawara stress tensor of a current algebra generated by \(\mathcal {J}\) at level k is given by
$$\begin{aligned} T^{\text {Sug}}=\frac{1}{2(k+{h^\vee })}\kappa _{AB}\mathcal {J}^A\mathcal {J}^B, \end{aligned}$$(4.15)where \({h^\vee }\) is the dual Coxeter number associated finite-dimensional, simple Lie algebra.
It was noted in Sect. 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 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.
We 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\) [26].
The notation originates from the fact that this is the VOA underlying the non-unitary (2, 5) minimal model.
In this section, we use Eisenstein series normalized according to
$$\begin{aligned} \mathbb {E}_{2k}(\tau ) := -\frac{B_{2k}}{(2k)!}+\frac{2}{(2k-1)!}\sum _{n\geqslant 1}\frac{n^{2k-1}q^n}{1-q^n}, \end{aligned}$$(5.2)where \(B_{2k}\) is the 2k’th Bernoulli number.
A version of this uniform result has also appeared recently in [51].
The term twisted here refers to the fact that the coefficients in the differential operator can be expressed in terms of twisted Eisenstein series [52]. Alternatively, these are modular with respect to the conjugacy subgroup \(\Gamma ^{0}(2)\subset PSL(2,\mathbb {Z})\).
One 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.
We 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'C'}\kappa _{BB'}\,\kappa _{CC'} = 2{h^\vee }\,\kappa ^{AE}\).
References
Gaiotto, D.: N = 2 dualities. JHEP 1208, 034 (2012). arXiv:0904.2715
Gaiotto, D., Moore, G.W., Neitzke, A.: Wall-crossing, Hitchin systems, and the WKB approximation. arXiv:0907.3987
Maruyoshi, K., Song, J.: \( \cal{N} =1 \) deformations and RG flows of \(\cal{N} =2 \) SCFTs. JHEP 02, 075 (2017). arXiv:1607.04281
Agarwal, P., Maruyoshi, K., Song, J.: \( \cal{N} \) =1 Deformations and RG flows of \(\cal{N}\) =2 SCFTs, part II: non-principal deformations. JHEP 12, 103 (2016). arXiv:1610.05311
Agarwal, P., Sciarappa, A., Song, J.: \( \cal{N}\) =1 Lagrangians for generalized Argyres-Douglas theories. JHEP 10, 211 (2017). arXiv:1707.04751
Razamat, S.S., Zafrir, G.: \(N=1\) conformal dualities. arXiv:1906.05088
Argyres, P., Lotito, M., Lü, Y., Martone, M.: Geometric constraints on the space of \( \cal{N} \) = 2 SCFTs. Part I: physical constraints on relevant deformations. JHEP 2, 1 (2018). arXiv:1505.04814
Argyres, P.C., Lotito, M., Lü, Y., Martone, M.: Geometric constraints on the space of \( \cal{N} \) = 2 SCFTs. Part II: construction of special Kähler geometries and RG flows. JHEP 2, 2 (2018). arXiv:1601.00011
Argyres, P.C., Lotito, M., Lu, Y., Martone, M.: Expanding the landscape of \( \cal{N} \) = 2 rank 1 SCFTs. JHEP 05, 088 (2016). arXiv:1602.02764
Argyres, P., Lotito, M., Lu, Y., Martone, M.: Geometric constraints on the space of N = 2 SCFTs III: enhanced Coulomb branches and central charges. arXiv:1609.04404
Caorsi, M., Cecotti, S.: Homological classification of 4d \(\cal{N}=2\) QFT. Part I: rank-1 revisited. arXiv:1906.03912
Argyres, P.C., Long, C., Martone, M.: The singularity structure of scale-invariant rank-2 coulomb branches. JHEP 05, 086 (2018). arXiv:1801.01122
Caorsi, M., Cecotti, S.: Geometric classification of 4d \(\cal{N} =2\) scfts. JHEP 07, 138 (2018). arXiv:1801.04542
Sen, A.: F theory and orientifolds. Nucl. Phys. B 475, 562 (1996). arXiv:hep-th/9605150
Banks, T., Douglas, M.R., Seiberg, N.: Probing F theory with branes. Phys. Lett. B 387, 278 (1996). arXiv:hep-th/9605199
Dasgupta, K., Mukhi, S.: F theory at constant coupling. Phys. Lett. B 385, 125 (1996). arXiv:hep-th/9606044
Minahan, J.A., Nemeschansky, D.: An N=2 superconformal fixed point with E(6) global symmetry. Nucl. Phys. B 482, 142 (1996). arXiv:hep-th/9608047
Minahan, J.A., Nemeschansky, D.: Superconformal fixed points with E(n) global symmetry. Nucl. Phys. B 489, 24 (1997). arXiv:hep-th/9610076
Beem, C., Lemos, M., Liendo, P., Peelaers, W., Rastelli, L., van Rees, B.: Infinite chiral symmetry in four dimensions. Commun. Math. Phys. 336, 1359 (2015). arXiv:1312.5344
Beem, C., Peelaers, W., Rastelli, L., van Rees, B.C.: Chiral algebras of class S. JHEP 05, 020 (2015). arXiv:1408.6522
Buican, M., Nishinaka, T.: On the superconformal index of Argyres–Douglas theories. J. Phys. A 49, 015401 (2016). arXiv:1505.05884
Beem, C., Rastelli, L.: Vertex operator algebras, Higgs branches, and modular differential equations. JHEP 08, 114 (2018). arXiv:1707.07679
Deligne, P.: La série exceptionnelle de groupes de lie. C. R. Acad. Sci. Paris Sér. I Math. 322, 321 (1996)
Cvitanovic, P.: Group Theory: Birdtracks, Lie’s and Exceptional Groups. Princeton University Press, Princeton (2008)
Buican, M., Laczko, Z., Nishinaka, T.: \( \cal{N} \) = 2 S-duality revisited. JHEP 09, 087 (2017). arXiv:1706.03797
Beem, C., Meneghelli, C., Rastelli, L.: Free field realizations from the Higgs branch. arXiv:1903.07624
Gadde, A., Rastelli, L., Razamat, S.S., Yan, W.: Gauge theories and macdonald polynomials. Commun. Math. Phys. 319, 147 (2013). arXiv:1110.3740
Shimizu, H., Tachikawa, Y., Zafrir, G.: Anomaly matching on the Higgs branch. JHEP 12, 127 (2017). arXiv:1703.01013
Joseph, A.: The minimal orbit in a simple lie algebra and its associated maximal ideal. Ann. Sci. l’École Normale Supér. Ser. 4(9), 1 (1976)
Cohen, A.M., de Man, R.: On a tensor category for the exceptional lie groups. In: Dräxler, P., Ringel, C.M., Michler, G.O. (eds.) Computational Methods for Representations of Groups and Algebras, pp. 121–137. Springer, Berlin (1999)
Gaiotto, D., Razamat, S.S.: Exceptional indices. JHEP 1205, 145 (2012). arXiv:1203.5517
Hanany, A., Mekareeya, N., Razamat, S.S.: Hilbert series for moduli spaces of two instantons. JHEP 01, 070 (2013). arXiv:1205.4741
Keller, C.A., Song, J.: Counting exceptional instantons. JHEP 07, 085 (2012). arXiv:1205.4722
Cremonesi, S., Ferlito, G., Hanany, A., Mekareeya, N.: Coulomb branch and the moduli space of instantons. JHEP 12, 103 (2014). arXiv:1408.6835
Beem, C.: Flavor symmetries and unitarity bounds in \({\cal{N} }=2\) SCFTs. Phys. Rev. Lett. 122, 241603 (2019). arXiv:1812.06099
Bonetti, F., Meneghelli, C., Rastelli, L.: VOAs labelled by complex reflection groups and 4d SCFTs. arXiv:1810.03612
Aharony, O., Tachikawa, Y.: A Holographic computation of the central charges of d=4, N=2 SCFTs. JHEP 0801, 037 (2008). arXiv:0711.4532
Shapere, A.D., Tachikawa, Y.: Central charges of N=2 superconformal field theories in four dimensions. JHEP 0809, 109 (2008). arXiv:0804.1957
Lemos, M., Liendo, P.: \(\cal{N} =2\) central charge bounds from \(2d\) chiral algebras. JHEP 04, 004 (2016)
Benini, F., Benvenuti, S., Tachikawa, Y.: Webs of five-branes and N=2 superconformal field theories. JHEP 0909, 052 (2009). arXiv:0906.0359
Benini, F., Tachikawa, Y., Xie, D.: Mirrors of 3d Sicilian theories. JHEP 09, 063 (2010). arXiv:1007.0992
Moore, G.W., Tachikawa, Y.: On 2d TQFTs whose values are holomorphic symplectic varieties. arXiv:1106.5698
Gaiotto, D., Rastelli, L., Razamat, S.S.: Bootstrapping the superconformal index with surface defects. JHEP 01, 022 (2013). arXiv:1207.3577
Douglas, M.R., Lowe, D.A., Schwarz, J.H.: Probing F theory with multiple branes. Phys. Lett. B 394, 297 (1997). arXiv:hep-th/9612062
Arakawa, T.: Chiral algebras of class \(\cal{S}\) and Moore–Tachikawa symplectic varieties. arXiv:1811.01577
Lemos, M., Peelaers, W.: Chiral algebras for trinion theories. JHEP 1502, 113 (2015). arXiv:1411.3252
Thielemans, K.: A mathematica package for computing operator product expansions. Int. J. Mod. Phys. C 2, 787 (1991)
Adamović, D., Milas, A.: Vertex operator algebras associated to modular invariant representations for \(a^{(1)}_1\). Math. Res. Lett. 2, 563 (1995). arXiv:q-alg/9509025
Song, J.: Macdonald index and chiral algebra. arXiv:1612.08956
Arakawa, T., Kawasetsu, K.: Quasi-lisse vertex algebras and modular linear differential equations. arXiv:1610.05865
Gu, J., Klemm, A., Sun, K., Wang, X.: Elliptic Blowup Equations for 6d SCFTs. II: exceptional cases. arXiv:1905.00864
Mason, G., Tuite, M.P., Zuevsky, A.: Torus n-point functions for R-graded vertex operator superalgebras and continuous fermion orbifolds. Commun. Math. Phys. 283, 305 (2008)
Cohen, A.M., de Man, R.: Computational evidence for deligne’s conjecture regarding exceptional lie groups. C. R. l’Acad. Sci. Séri. I Math. 322, 427 (1996)
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by V. Pestun.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Some Properties of the Deligne–Cvitanović Exceptional Lie Algebras
A Some Properties of the Deligne–Cvitanović Exceptional Lie Algebras
1.1 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 [30], as in the main text, we have
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 }\),
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.
1.2 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 [30], and we reproduce them here, albeit using slightly different normalization conventions,Footnote 33
Though we don’t need them in our analysis, we also include the projectors onto the representations in the antisymmetric product for completeness,
These projectors are idempotent and orthogonal, and their traces equal the dimension of the corresponding representation,
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
1.3 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 [53] 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
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
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.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Beem, C., Meneghelli, C., Peelaers, W. et al. VOAs and Rank-Two Instanton SCFTs. Commun. Math. Phys. 377, 2553–2578 (2020). https://doi.org/10.1007/s00220-020-03746-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-020-03746-9