Beyond triality: dual quiver gauge theories and little string theories

The web of dual gauge theories engineered from a class of toric Calabi-Yau threefolds is explored. In previous work, we have argued for a triality structure by compiling evidence for the fact that every such manifold XN,M (for given (N, M)) engineers three a priori different, weakly coupled quiver gauge theories in five dimensions. The strong coupling regime of the latter is in general described by Little String Theories. Furthermore, we also conjectured that the manifold XN,M is dual to XN ′,M ′ if NM = N′M′ and gcd(N, M) = gcd(N′, M′). Combining this result with the triality structure, we currently argue for a large number of dual quiver gauge theories, whose instanton partition functions can be computed explicitly as specific expansions of the topological partition function ZN,M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathcal{Z}}_{N,M} $$\end{document} of XN,M. We illustrate this web of dual theories by studying explicit examples in detail. We also undertake first steps in further analysing the extended moduli space of XN,M with the goal of finding other dual gauge theories.


Introduction
The study of gauge theories in dimensions larger than four has over the years brought to light a variety of unexpected and interesting dualities. In order to explore the latter in a systematic fashion, the connection to string theory (or M-and F-theory as its higherdimensional avatars) has proven to be a powerful tool. Besides (in many cases) providing a physical explanation for many a priori surprising dualities, the connection also allows to analyze aspects (e.g. the non-perturbative regime) that would be inaccessible by more traditional, purely field theoretic methods alone. An example is the zoo of six-dimensional superconformal theories which are engineered using string theory and which do not have a Lagrangian description [1][2][3][4]. It was also observed that various properties and dualities of lower-dimensional theories follow from compactification of these six-dimensional theories [5]. respectively, where k = gcd(N, M ). It is expected that the UV completions of (at least some of) these gauge theories are LSTs. The relation among the three low-energy theories with gauge groups (1.2) was dubbed triality in [32], reflecting the fact that all three are engineered by the same Calabi-Yau threefold. It is important to realise that the mapping of the various gauge theory parameters is highly non-trivial among the members of the triality: indeed, the coupling constants, mass parameters and other Coulomb branch parameters are mixed in a highly non-trivial fashion when going from one theory to another.
Combining the triality discussed in [32] with the observations of [31] that the Calabi-Yau manifold X N,M itself can be dualised to other manifolds in the sense of eq. (1.1) suggests an even more elaborate picture at the level of the low-energy theories: indeed it implies that a (circular) quiver gauge theory with N gauge nodes of type U(M ) (that is engineered by X N,M for arbitrary (N, M )) is dual to a whole web of other quiver gauge theories that have N gauge nodes of type U(M ) such that N M = N M and gcd(N, M ) = gcd(N , M ). In this paper, we elaborate on this idea and perform a first step towards extending the web of dualities even further to include yet new regions in the extended moduli space of the Calabi-Yau threefolds X N,M . Indeed, the latter also contains cones that do not represent manifolds of the type X N ,M for some N , M ∈ N, i.e. that do not fall into the class of doubly elliptically fibered threefolds introduced above. Among these, we focus on a class of manifolds that can be represented by so-called twisted toric web diagrams (see section 3 for a detailed definition) and show (by using some elucidating examples) that they can also engineer low-energy gauge theories. The details of analysing the structure of the underlying gauge group (as well as their affine extension, possibly by non-perturbative effects) by geometric means is relegated to a separate publication [37]. This paper is organised as follows: in section 2, we review in more detail the structure of the extended moduli space of X N,M as well as the triality relation proposed in [32]. We then combine these two results to argue for a large web of dualities for the theories constructed from the Calabi-Yau manifolds of type X N,M . As a non-trivial example, we present the configuration (N, M ) = (6,5). In section 3, we propose to extend the web of dualities to include theories engineered by other regions in the extended moduli space of X N,M . We focus on a particular class of manifolds, which are described by so-called shifted we diagrams and discuss explicitly the cases (N, M ) = (6, 1) and (4,1). This work is accompanied by 3 appendices: they contain technical details on the geometric realisation of the gauge algebra from the perspective of the web diagram in the case (N, M ) = (2, 2), as well as definition of the Nekrasov subfunctions and further details on a particular class of duality transformations, respectively.

Symmetry transformations of X N,M and dual little string theories
In this section, we discuss various degenerations of X N,M and the corresponding walls in the extended Kähler moduli space. We also discuss the gauge theories which appear in various cones of the latter.

(Extended) Kähler moduli space of X N,M
The main subject of study of this paper is relations among certain N = (1, 0) LSTs (i.e. with 8 supercharges), focusing in particular on their low-energy descriptions in terms of quiver gauge theories [38]. These theories are defined by F-theory compactified on a class of toric, non-compact Calabi-Yau manifolds X N,M , whose associated web diagram is shown in figure 1. Each line Σ i of this diagram represents a holomorphic curve in X N,M , whose area is given by given by The walls of the cone correspond to the regions in which any of these inequalities turns into an actual equality. In particular, they include the regions in which one or more of the areas {h, v, m} vanish, such that the web diagram in figure 1 degenerates. The cone described by (2.2), however, can be embedded in a larger, so-called extended moduli space [35]. As explained above, while the shrinking of a rational curve of X N,M with normal bundle O(−1) ⊕ O(−1) results in a singular geometry, the latter can again be resolved. This leads to a geometry which lies outside of the original Kähler cone (2.2) since, from the point of view of the latter, the curve that resolves the degeneracies has negative area. This process is called a flop transition and connects the Kähler cones of two Calabi-Yau manifolds with the same Hodge numbers (but possibly different intersection numbers) [33,34,36], as shown in figure 2. In this way, we can characterise the extended Kähler moduli space as the collection of Kähler cones of Calabi-Yau threefolds that are connected through (sequences of) flop transitions.

Web of dual Calabi-Yau manifolds and associated LSTs
Recent studies [8,30,32] [31], where it was argued (and proven explicitly in [30] for k = 1) that the topological string partition function of X N,M is invariant under the duality transformation, i.e.
Furthermore, in [32], we argued that within the Kähler cone of X N,M (for given N, M ∈ N) there exist three regions that represent the weak-coupling regime of three (in general different) quiver gauge theories with gauge groups

JHEP11(2018)016
These regions are schematically shown in figure 3 and afford three different series expansions of the topological string partition function of X N,M [32] which can be interpreted as the instanton partition functions of the three gauge theories (2.5). 3 As shown in figure 3, since X N ,M has a similar web diagram as the one shown in figure 1, the Kähler cone of X N ,M also contains three regions which allow series expansions of the partition function of the following form where the invariance (2.4) was used. The series expansions Z respectively. As their partition functions are equal, these three gauge theories are not only dual to one another, but are also dual to the theories with the gauge groups (2.5). 4 From the perspective of the gauge theories, depending on the line segments of the web diagram that undergo flop transitions, there are two possibilities for the nature of these dualities: • If none of the line segments that are associated with the coupling constants of the theory are flopped (i.e. h for the horizontal, v for the vertical and m for the diagonal theories), the duality map corresponds to a finite shift of the coupling constants and a symmetry transformation of the Coulomb branch moduli. This can be interpreted as a finite reparametrisation of the Coulomb branch: both the theory before and after 2 Zp being the perturbative contribution depending on the parameters other than the gauge couplings. 3 For an explicit and efficient manner to compute the series expansions in eq. (2.6) by means of a universal building block, we refer the reader to [30]. This construction is also briefly reviewed section 3.2.2. The explicit choice of (independent) Kähler parameters underlying the three series expansions in eq. (2.6) is discussed in detail in section 2.3 below. 4 Note that, even though G diag = G diag , the coupling constants, Coulomb branch parameters and hypermultiplet masses may in general be different for the two theories because of the non-trivial duality map (h, v, m) → (h , v , m ). In particular, the coupling constants may be shifted by functions of the remaining parameters of the theory.

JHEP11(2018)016
the combined symmetry and flop-transformation are in the weak coupling regime and their perturbative descriptions can directly be compared.
• If line segments associated with the coupling constants undergo flop transitions, the duality requires to pass through a region in which the instanton counting parameter becomes of order 1, i.e. a regime in which the gauge coupling constants blow up. In this case, the duality cannot be understood from the perspective of the weakly coupled gauge theories alone: indeed, in the corresponding Kähler cone in figure 3, even before hitting the actual wall that signals the flop transition, the theory enters into a strong coupling phase, in which the description in terms of a (quiver) gauge theory breaks down and needs to be replaced (in general) by an LST.
We discuss an explicit example (namely the duality between theories engineerd by X 6,5 and X 10,3 ) in section 2.4.

Independent Kähler parameters and gauge group structure
In writing the series expansions (2.6) and (2.7), we have not yet addressed an important technical aspect, namely the choice of independent Kähler parameters, which is closely related to the gauge groups (2.5) and (2.8), respectively [32].  Figure 4. Three classes of curves within a given hexagon S i whose areas are identified with roots in the gauge theory perspective.
The curves whose areas make up the roots of the gauge algebras a A−1 , can be identified directly in the web diagram in figure 1. Indeed, focusing on a particular hexagon in the latter, as shown in figure 4, we can identify the roots a associated with the gauge theory stemming from the horizontal expansion, b associated with the gauge theory stemming from the vertical expansion and c associated with the gauge theory stemming from the diagonal expansion. The distinction between the finite (positive simple) roots and the affine root of each a A−1 is a choice that fixes an automorphism of a A−1 . The definition of the remaining parameters mentioned above (particularly the one related to the mass scale of the hypermultiplet sector of the gauge theory) is somewhat more involved and is related to the fact that the web diagram is defined on a torus (i.e. the fact that all external legs in figure 1 are glued together). Since these precise definitions are not important for the current work, we refer the reader to [32] for more information and explicit examples. To illustrate the fact that the combination of eq. (2.3) with the triality in the sense of eq. (2.6) leads to a large web of dual theories, we discuss in more detail a non-trivial example, namely (N, M ) = (6, 5) (with k = gcd(6, 5) = 1). The corresponding web diagram is shown in figure 5. According to [7,8], the horizontal and vertical expansions can be associated with gauge theories of gauge group [U(5)] 6 and [U(6)] 5 , respectively, while according to [32], the diagonal expansion gives rise to a gauge theory with gauge group U (30). To obtain the latter theory, in particular, to make the structure of U(30) manifest, we need to expand Z 6,5 in terms of a specific set of variables, a procedure which was proposed in full generality in [32]. Concretely, in the present case, these variables are depicted in red in figure 5 and consist of (M, V, a 1,...,30 ), where M and V are given explicitly as

JHEP11(2018)016
Here, the last relation follows from the general duality map relating X 6,5 ∼ X 30,1 that was conjectured previously in [31]. In this basis, we have 6 where p i are multi-linear functions in the 31 variables (M, a 1,...,30 ), while h 1,..., 30 and v 1,...,30 are independent of V . Thus, formulated in a different manner, the diagonal expansion written schematically in (2.6), can be understood as a power series expansion in Q V = e −V . Furthermore, the a i play the role of the roots of a 29 , i.e. the affine extension of the Lie algebra associated with the gauge group U(30) that is associated with the diagonal expansion: indeed, in the weak coupling limit V → ∞, the diagonal lines in figure 5 are cut (as the area of the corresponding curves in the toric Calabi-Yau threefold becomes infinite) and the remaining diagram can be presented as a single strip of length 30. As discussed in [31], the (6, 5) web diagram in figure 5 can be dualised to other webs of the type (N , M ) with N M = N M and gcd(N, M ) = gcd(N , M ). In the case at hand, one such configuration is (N , M ) = (10, 3), whose web-diagram is drawn in figure 6. An explicit form for the duality map relating (h, v, m) to (h , v , m ) has been conjectured in [31], which allows us to recover the same set of parameters (M, V, a 1,...,30 ) (drawn in red) also in figure 6. In terms of (h , v , m ), we have explicit relations (2.12) Note that, analogous to (2.11), we also have in the dual web diagram for some multi-linear functions p i , while h 1,..., 30 and v 1,...,30 are independent of V . Therefore, the diagonal expansions (in the sense of (2.6)) of Z 6,5 and Z 10,3 both give rise to gauge theories with gauge group U(30), as implied by [31] and as explained above. In figure 6, however, we have also shown (in blue) a different set of maximally independent Kähler parameters (D, ρ, c 1,2,3 , b 1,...,27 ). In terms of these variables, we have (2.14) 6 We stress that all 90 parameters (hi, vi, mi) can be expressed as linear combinations of the 32 elements (M, V, a1,..., 30). However, we refrain to write down these relations explicitly, since they will not be needed for the following discussions.

JHEP11(2018)016
for some polynomials p 30 and v 1,...,30 are independent of c 1,2,3 . Thus, in the limit c i → ∞ for i = 1, . . . , 3, the vertical lines in figure 6 are cut and the diagram decomposes into three strips of length 10 (similarly to the examples in the previous section). We can interpret this as the weak coupling limit of a gauge theory with gauge group [U(10)] 3 . This indicates that, upon expanding Z 6,5 as a power series in e −c 1 , e −c 2 and e −c 3 (which is equivalent to the expansion in terms of e −v i for i = 1, . . . , 10) the latter can be interpreted as an instanton expansion of a gauge theory with gauge group [U(10)] 3 (which via SL(2, Z) transforms is in turn dual to a theory with gauge group [U(3)] 10 ). It is worth noticing that, in this manner, the b 1,...,27 play the role of roots of Lie algebras associated with this group.
Exploiting further dualities of X 6,5 we can in the same fashion engineer a large set of dual quiver gauge theories whose gauge groups include all of which are compatible with the condition in eq. (2.3).

Intermediate Kähler cones and other dual theories
As schematically indicated in figure 3, the duality transformation that relates X N,M and X N ,M does in general not relate regions in directly adjacent cones of the extended Kähler moduli space. Instead, the series of flop transitions and other symmetry transformations discussed in [31] (and reviewed in appendix C), generically passes through several other regions (labelled 'intermediate Kähler cones' in figure 3). An interesting question is whether any of these cones also contains regions which engineer a (weak coupling) description of a gauge theory of some type and/or a Little String Theory. While we are not able to give an answer for a generic Kähler cone in the extended moduli space of X N,M , in this section, we discuss a particular type among the former, namely, those cones where the toric web takes a similar form as in figure 1, except that the external legs are identified after a cyclic rotation with a shift δ ∈ [0, N − 1], as shown in figure 7. 7 Indeed, as explained in appendix C, starting from the web-diagram of X N,M as shown in figure 1, there exists a duality transformation F (introduced in eq. (C.1)) to a shifted web of the type shown in figure 7 with δ = M −N mod N . This duality transformation is based on a series of flop and symmetry transformations first discussed in [31], which for M = 1 was also reviewed in [30]. The transformation described in appendix C involves no flop transformations on the vertical lines. Since, for example, in the vertical gauge theory, the latter are related to the gauge coupling constants, this transformation therefore relates two points in the weak coupling regime of this theory. In other words, even after the transformation, Z (N,M ) vert in (2.6) is still a valid series expansion that can be identified with an instanton series of a (weakly coupled) gauge theory. This strongly suggests that even a Calabi-Yau manifold with a shifted web diagram engineers at least one weakly coupled gauge theory, if it can JHEP11(2018)016 To analyse the latter, we will have to introduce as a further notion a purely geometric realisation of the gauge algebra, that can directly be read off from the web diagram.

Example: (N, M ) = (6, 1)
Our first example is the diagram X 6,1 which is schematically drawn in figure 8, along with a parametrisation of the Kähler parameters that is compatible with all consistency conditions. We can arrange the latter in the following form: which is more adapted to the description of three different gauge theories engineered by X N,M . Indeed, as explained in [32] we can engineer the following theories The horizontal expansion of Z 6,1 can be interpreted as the instanton partition function of a gauge theory with gauge group [U(1)] 6 . This theory is parametrised in the following fashion:  The vertical expansion of Z 6,1 can be interpreted as the instanton partition function of a gauge theory with gauge group U(6), which is parametrised in the following fashion: coupling constant: the parameter v is related to the coupling constant roots: the parameters b 1,2,3,4,5 play the role of the simple positive roots of a 5 , which is extended to a 5 by ρ mass scale: the hypermultiplet mass scale of the theory is set by the parameter D The diagonal expansion of Z 6,1 can be interpreted as the instanton partition function of a gauge theory with gauge group U(6), which is parametrised in the following fashion:  Figure 9. Toric web diagram of X 6,1 (with shift parameter δ = 0) with a consistent labelling of the areas of all curves.
roots: the parameters a 1,2,3,4,5 play the role of the simple positive roots of a 5 , which is extended to a 5 by L  With these parameters we can furthermore define which is more appropriate for their interpretation in terms of gauge theories: indeed, in the same way as above, there are three regions in the Kähler cone of X (δ=1) 3,2 which suggest an interpretation as weak coupling regions of three gauge theories: • horizontal theory of X (δ=5) 6,1 In the limit L → ∞, the diagram X (δ=5) 6,1 decomposes into a single strip of length 6, which suggests an interpretation as the weak coupling limit of a gauge theory with gauge group U (6). In analogy to the theories with δ = 0 we call this theory the horizontal theory, which is parametrised as follows coupling constant: the parameter L is related to the coupling constant JHEP11(2018)016 roots: the parameters a 1,...,5 play the role of the simple positive roots of a 5 , which is extended to a 5 by τ mass scale: the hypermultiplet mass scale of the theory is set by the parameter D .
• vertical theory of X (δ=5) 6,1 In the limit a 1 → ∞ and 3τ − a 1 → ∞, the diagram X (δ=1) 3,2 decomposes into two strips, each of length 3, which suggests an interpretation as the weak coupling limit of a gauge theory with gauge group U(3) × U(3). In analogy to the theories with δ = 0 we call this theory the vertical theory, which is parametrised as follows In the limit v → ∞, the diagram X (δ=1) 3,2 decomposes into a single strip of length 6, which suggests an interpretation as the weak coupling limit of a gauge theory with gauge group U (6). In analogy to the theories with δ = 0 we call this theory the In all three cases, in the limit when the designated coupling constants vanish, the web diagram decomposes into several strips that engineer the perturbative limit of the corresponding gauge theory. This argument is a direct generalisation of [32] in the case of the 'unshifted' X N,M . We also remark that the duality transformation F , which relates X (δ=5) 6,1 = F (X (δ=0) 6,1 ), acts as a flop transformation on the parameters h 1,...,6 . Therefore, from the perspective of the horizontal gauge theory of X (δ=0) 6,1 , this transformation goes through a strong coupling regime and is not realised purely perturbatively. As a consequence, X (δ=5) 6,1 does not engineer a theory with gauge group U(1) 6 , but rather with its 'strong coupling dual', which we called the vertical theory of X (δ=5) 6,1 and which we conjecture to have gauge group U(3)×U(3) in the perturbative limit of vanishing coupling constant. 8 From the perspective of the remaining two gauge theories, the duality transformation acts purely in the weak coupling regime and therefore X (δ=5) 6,1 also still engineers two theories with gauge groups U(6) (which we termed the horizontal and diagonal one).

JHEP11(2018)016
Performing a further transformation F on X (δ=5) 6,1 , we obtain yet another shifted web X (δ=4) (6,1) = F (X (δ=5) (6,1) ) whose Kähler cone allows again for three separate regions that engineer three different gauge theories. Continuing in this fashion and taking into account that the action of F on X 6,1 is of order 6 (i.e. X (δ) 6,1 = F 6 (X δ 6,1 )), we find a whole orbit of dual Calabi-Yau, each of which engineering three different gauge theories. The gauge groups of the latter are summarised in the following table (6) Notice that all gauge groups obtained in this fashion are of the form and thus all have the same rank. Moreover, all theories obtained in this way have gauge groups that can also be engineered from unshifted web diagrams that are related to X 6,1 . While the details of these theories might still differ from the ones in (3.6), we leave an in-depth analysis for future work [37]. In the following we shall discuss another example, which potentially leads to theories with new gauge groups that are not engineered by unshifted web diagrams.
3.2 Example: (N, M ) = (4, 1) 3.2.1 Web diagram (4, 1) versus (2, 2) As another example we consider the case (N, M ) = (4, 1), whose web diagram is shown in figure 11 (a). Performing the transformation F (see appendix C) twice, we obtain whose web diagram is shown in figure 11 (b). Performing repeatedly the transformation F (recalling that it has order 4 when acting on X 4,1 ) we can construct an orbit of Calabi-Yau manifolds X following list of candidate gauge groups The appearance of the group [U(2)] 2 in this table is rather surprising since it is not of the form U(N ) M with N M = 4 and gcd(N , M ) = gcd(4, 1) = 1. Thus, if really a quiver gauge theory with this gauge group is engineered from (Calabi-Yau manifolds dual to) X 4,1 , this indicates that the web of possible dual theories is yet even further enhanced. In particular, it would indicate that the condition gcd(N, M ) = gcd(N , M ) could be relaxed in (2.3) for the construction of dual gauge theories. However, in the following we will find preliminary indications that X (δ=2) 4,1 does not engineer a gauge theory that realises the gauge group [U(2)] 2 in a weak coupling regime (outside the limit of vanishing coupling constant). Rather the appearance of this group seems to be linked to a strong coupling effect in the 6-dimensional description, which may be linked to LSTs.
To discuss this aspect in more detail, in the following we consider X (δ=2) 4,1 , whose web diagram is shown in figure 11 (b). Upon cutting the diagram along the dashed red line and re-gluing it along the lines labelled 3 and 4, respectively, the web diagram can be brought into the form of X (δ=1) 2,2 , whose web diagram is shown in figure 12 along with a labelling of the Kähler parameters. In the following we will present a geometrical presentation of the gauge algebra, by identifying the hexagons S 1,2,3,4 in the web diagram figure 12 with the co-roots of the gauge algebra engineered from the web. With this, we shall be able to assign weights to all curves of the toric diagram and the corresponding Kähler parameters they represent. This will allow us to analyse in which fashion the algebra a 1 ⊕ a 1 is realised in the gauge theory engineered from figure 12.

Topological string partition function of X N,M
Our starting point for finding a geometric realisation of the gauge algebra is the expansion of the partition function adapted to a particular gauge theory engineered by X N,M (associated with an unshifted web diagram): as discussed in [30], the refined topological string partition function for X N,M can be expanded in three different fashions. All three can compactly be written in the following form where (A, B) are as defined in (2.9). The summation α is not important in the following, we remark that the topological string partition function can be written as the following quotient . (3.9) Here ϑ µν is a particular class of theta-functions (see eq. (B.2) for the definition and [6,8] for further information) that implicitly depend on 1,2 and are labelled by two integer partitions. Finally, the (modular) parameter ρ is related to the modular parameter of the base, when viewing the Calabi-Yau threefold X N,M as a particular quotient of G ∼ = Z N × Z M .

JHEP11(2018)016
As already explained above, the partition function of the gauge theory engineered from X N,M is captured by Z N,M . To interpret the various (independent) Kähler parameters of X N,M that appear in the expansions of Z N,M from a gauge theory perspective, we can compare the combinations of ϑ-functions appearing in the numerator and denominator in (3.9) with the Nekrasov subfunctions [41][42][43] that are reviewed in appendix B. In fact, turning this interpretation around, we can associate a weight (with respect to the gauge algebra) to the various Kähler parameters of the partition function, and thus also to the curves in the Calabi-Yau manifold X N,M they are represented by. This allows us to give a geometric realisation of the gauge algebra. 9

Intersection numbers
As reviewed above [32], the area of certain (combinations of) curves in the webdiagram of X N,M are identified with the roots of A copies of the Lie algebra a A−1 (in the notation of (2.9)). The latter is the non-twisted affine extension of a A−1 , which is the Lie algebra of one of the U(B) factors in the gauge group G in (2.9). The correspondence between roots and curves is established by matching the intersection product on the geometry side with the scalar product on the Lie algebra side [16]. As we work in a three-dimensional complex geometry, we are taking intersections of curves with compact surfaces S i . 10 Concretely, we consider a single 'strip' of length A in the web diagram of X N,M ., as shown in figure 13 and which (from the perspective of the partition function (3.8)) is captured by the building block . In figure 13 we have indicated two families of compact surfaces S i=1,...,A and S j=1,...,A that corresponds to hexagons in the web diagram. The basic idea is to interpret these surfaces S and S as representations of the co-roots of two copies of the affine algebras a A−1 (see [16,23]). Indeed, the matrix of intersection numbers of the red (green) curves with the surfaces S i (S j ), reproduces (up to a sign) the Cartan matrix of a A−1 . 11 This allows us to identify these curves with the set of positive simple roots of the affine Lie algebra a A−1 . In the following we keep the notation generic (thus treating the horizontal, vertical and diagonal theory in parallel), by calling the roots associated with the red (green) lines collectively { β 0 , β 1 , . . . , β A−1 } ({ β 0 , β 1 , . . . , β A−1 }). By convention, β 0 ( β 0 ) denotes the root that extends the root system of a A−1 to that of the affine Lie algebra a A−1 : the choice of the curve corresponding to β 0 is fixed up to cyclic permutations, which reflects the rotational symmetry of the affine Dynkin diagram. Although the web diagram realises the structure of an affine Lie algebra, in this work, we mostly focus on aspects pertaining 9 In appendix A, we obtain the same result for the particular (N, M ) = (2, 2) based on an observation concerning the intersection numbers of various curves with (the canonical classes of) certain surfaces in the web diagram. A more abstract and general discussion of the connection between the Calabi-Yau geometry and the gauge algebra of the theories engineered by XN,M will be further discussed in the future [37]. 10 In appendix A, we observe in the case (N, M ) = (2, 2) that the same relation also applies when replacing the surfaces Si with their canonical classes KS i . This connection is easier to evaluate technically and will therefore be used later on. 11 A more detailed discussion of this geometric realisation of the gauge algebra shall be given in [37]. As remarked before, in appendix A we argue for the case (N, M ) = (2, 2) that the role of the co-roots can equally be played by the canonical classes of the surfaces S1,...,A and S 1,...,A , which shall be important for the explicit computations in section 3.2.5. Figure 13. Strip with two sets of compact surfaces labeled by S i and S j . Red (Green) curves correspond to roots with respect to S i (S j ). The (integer partition) labels α to properties of the finite algebra a A−1 . We shall relegate further discussions of the affine structure to [37]. It is important to realise that for A < N M (such that B > 1) the two sets of roots β i and β i related to the red and green curves, respectively, are in general distinct and two different (copies of the same) algebras. This can be seen from the intersection numbers 12 being identified, possibly after some cyclic rotation), the sets S i and S j of compact surfaces are identified with each other. Therefore, in this case we in fact only have a single set of roots. Calculating the intersection numbers in this scenario is more intricate and is discussed in [37]. Once the co-roots are identified in a geometric fashion, we can assign a (non-affine) weight vector to any curve C in the web-diagram by calculating the intersections with S i=1,...,A−1 and S i=1,...,A−1 . Specifically, we define 11) and interpret λ i and λ j as the Dynkin labels of the two copies of a A−1 . In the case B = 1, the two gauge algebras are identified such that we take the direct sum of the two weight vectors 3.2.4 The example of (N, M ) = (2, 2) with δ = 0
In this figure, we have also indicated a labelling of the Kähler parameters as well as the surfaces S i introduced in the previous subsection. The former have been chosen in such a manner as to already satisfy the consistency conditions such that (h 1,2 , v 1,2 , m 1,2 ) are a set of independent parameters. In appendix A we have shown that the web diagram figure 14 is related (through flop transformations) to the geometry shown in figure 15 (a), corresponding to local geometries of the type P 1 × P 1 . The latter suggests a construction of the canonical classes K S 1,2,3,4 of the four surfaces S 1,2,3,4 , which is invariant under (certain) flop transformations. We furthermore observe, that a geometric realisation of the gauge algebras can be obtained, where the K S i play the role of the co-roots and certain combinations of curves of the diagram can be interpreted as the simple positive roots.
It is important to mention that the geometric realisation of the gauge algebra observed in appendix A, is very natural from the point of view of assigning weights to the various Kähler parameters appearing in the partition function (3.9). Indeed, depending on the gauge theoretic interpretation, we expect the following weights for the individual Kähler parameters • The coupling constants should be neutral under the gauge group. If the coupling constants transform non-trivially under the gauge group, the latter could not be realised perturbatively • The ϑ-functions in the numerator of (3.9) are the matter contribution, stemming from the hypermultiplet. They should therefore carry the corresponding matter representation • The ϑ-functions in the denominator of (3.9) are the contribution from the (gauge) vector multiplet contribution. They should therefore carry the fundamental representation of the gauge group.

JHEP11(2018)016
Specifically for X 2,2 , the partition function takes the form 1 ,α where we introduced the following notation (3.14) Using the procedure outline in section 3.2.2, we can associate weights to the curves whose Kähler parameters make up the arguments of the ϑ-functions and to those that are related to the coupling constants (i.e. expansion parameters). The geometry X 2,2 , displayed in figure 14, is known to engineer six-dimensional U(2) × U(2) quiver gauge theory with 2 bifundamentals. We choose the surfaces S 1 and S 2 to correspond to the finite simple coroots of the respective gauge factors and denote the weight of a curve C by which, as explained above, in the current case are computed more efficiently as the intersection numbers of the curve C with K S 1 and K S 2 . 13 Group theoretically, [λ 1 ] and [λ 1 ] are the Dynkin labels corresponding respectively to the first and to the second gauge factor. Let us first look at the matter representation, i.e. the ϑ-functions in the numerator of (3.13). The curves that appear in their arguments have areas m 1,2 , m 1 − α 1 and m 2 + α 1 . Using (3.15), their associated weights are in fact those of two bifundamental representations: These weights correspond to the anticipated product representation. For the vector contribution in the denominator we have the following: These give the right product representation for two adjoint representations.
Concerning the coupling constants we obtain for the weight factors As expected they are uncharged under the gauge group. 13 Indeed, we have observed in appendix A that the canonical classes KS 1,2,3,4 give rise to a presentation of the gauge algebra. Furthermore, the intersection C · KS i is understood to be taken inside the compact surface Si.

JHEP11(2018)016
3.2.5 The example of (N, M ) = (2, 2) with δ = 1 After the example of X (δ=0) 2,2 we are finally ready to consider X (δ=1) 2,2 . The latter can be analysed in a similar fashion as before: the web diagram is shown in figure 12 where we have also introduced a parametrisation of the Kähler parameters by associating an area to each of the curves of the web. As explained in detail in [31], the parameters {m i } are not independent, but there are consistency conditions associated with each of the four hexagons S 1,2,3,4 : Furthermore, the canonical classes K S 1,2,3,4 have been worked out in appendix A and have been shown to give a presentation of the gauge algebra. Using the general formula derived in [30], the partition function associated with this web diagram can be written in the form 1 ,α where we introduced the notation We can analyse the weights of the coupling constants of this expression with respect to the surfaces {S 4 , S 3 , S 1 , S 2 }, as given in appendix A. Specifically, we have

JHEP11(2018)016
Upon designating S 4 and S 1 (related to a (1) 1 and a (2) 1 in figure 12) as the co-roots of a (non-affine) U(2) × U(2) group, we demand that the coupling constants carry no weights under them, in order to have a perturbative realisation of the latter in the form of a gauge group. However, in the present case, we see that it is not possible to realise the full group U(2) × U(2) at the perturbative level. If at all possible, the latter can therefore only be realised non-perturbatively, thus possibly pertaining to a LST. We leave further analysis of the latter to future work [37].

Conclusions
In this work we have analysed (part of) the web of dualities of a class of gauge theories engineered from toric Calabi-Yau manifolds X N,M , whose toric diagram is schematically shown in figure 1. On the one hand side, it has been argued in [32] that there are three regions in the Kähler cone of the Calabi-Yau manifolds X N,M that correspond to the weak coupling regions of three (in general) different quiver gauge theories. The gauge groups of the latter are given in (2.5). On the other hand, it has been argued in [31] (and checked explicitly for a large class of cases at the level of the partition function in [30]) that X Furthermore, besides the dual manifolds X N ,M as mentioned above, the extended Kähler moduli space of X N,M contains yet other regions which represent new types of manifolds. Among these, there are some Calabi-Yau threefolds whose toric diagrams look very similar to those of X N,M , except that (some of) their external legs are glued together after a cyclic shift δ, as is schematically shown in figure 7. In this paper we have undertaken a first step towards analysing whether also these manifolds X , for some of these theories, part of the expected gauge group might not be realised perturbatively, but rather only appears in the strong coupling regime. The latter may be a Little String Theory.
To analyse the particular cases X (δ) N,M mentioned above in more detail, requires to develop a geometric realisation of the gauge algebra, at the level of the web diagram. In this paper, we have used an observation specific to the web diagrams of X . In the upcoming work [37] we will further extend this discussion and apply it to more general cases. Using these tools, a question which will be interesting to address in the future is to obtain a complete picture of the web of dualities for all low-energy gauge theories engineered by (manifolds dual to) X N,M . It will also be interesting to analyse their strong coupling counterparts. Many algebraic properties of the six-dimensional quiver gauge theories (and their fivedimensional limits [44,45]) discussed in the main body of this paper can directly be read off from the underlying web diagram. Indeed, as explained in section 3.2.2, for a given toric diagram, geometrically the roots a i (with i = 1, . . . , M N ) of the (affine) algebra g that is realised in the six-dimensional quiver gauge theory can be identified with certain curves of the geometry. Furthermore, the co-roots are given by compact surfaces S i that are associated with the various hexagons appearing in the web (see [16]): the intersection numbers S i • a j reproduce (up to a sign) the Cartan matrix of the (affine) algebra g.
In this appendix, we observe that for (N, M ) = (2, 2) (with δ = 0 or δ = 1), the co-roots can also be realised in terms of the canonical classes associated with the S i . We remark that all intersections discussed in this appendix shall be intersections of curves within a compact divisor. This simplifies the computation of the weights associated with different curves in the toric web diagram (and thus the corresponding contributions in the partition functions of the associated quiver gauge theories) and is exploited in section 3.2.5.
The starting point is the geometry shown in figure 15 (see [46] for a five-dimensional limit), where we presented the cases δ = 0 and δ = 1 in parallel. The labelling of the curves has been chosen in such a way as to reflect the local geometry of P 1 × P 1 , glued together along the exceptional cuves −E 1,2 and E 3,4 , respectively. Notice that the difference in δ is entirely related to the latter. To related the geometry figure 15 to the usual toric diagram with (N, M ) = (2, 2) as shown in figure 7, we first perform a flop transformation on the curve −E 1 , to obtain the diagrams shown in figure 16. Next, we cut both diagrams along the red line and re-glue them along the curve labelled −E 2 . After a flop transition of the latter, we obtain the geometry shown in figure 17. Finally, after an SL(2, Z) transformation, we can bring both geometries into the form of a (2, 2) web with shifts δ = 0 and δ = 1, respectively, as shown in figure 18. Each of the two geometries contains four divisors (hexagons in the toric web) S 1,2,3,4 with canonical classes K S 1,2,3,4 . The area of canonical class of S i is given by where ω is the Kähler form. The areas A i are not all independent of one another but satisfy Figure 15. Gluing two local geometries of the type P 1 × P 1 related to the web diagram (N, M ) = (2, 2) with δ = 0 (diagram (a)) and δ = 1 (diagram (b)). Figure 16. Geometry figure 15 after a flop transition of the curve −E 1 for δ = 0 (diagram (a)) and δ = 1 (diagram (b)).  Figure 18. Alternative presentation of the geometry in figure 17 in the form of a (twisted) (2, 2) web with δ = 0 (diagram (a)) and δ = 1 (diagram (b)).
Furthermore, within every S i we can identify three different curves a i , b i and c i (for i = 1, 2, 3, 4) as shown schematically in figure 4 for a generic hexagon of a toric web diagram. From the perspective of the quiver gauge theories (or the Little String Theories) engineered by the web diagram, these curves are related to the positive simple roots of the (affine extensions of the) underlying gauge algebra: to be precise, the curves a i are associated with the roots of g hor , the curves b i are associated with the roots of g vert and the curves c i are associated with the roots of g diag , corresponding to the horizontal, vertical and diagonal gauge theories, respectively. Concretely, the explicit expressions (for δ = 0 and δ = 1) for K S i as well as a i , b i and c i can be summarised in the following table

JHEP11(2018)016
Notice here that the canonical classes K S i are chosen in such a manner that the areas A(S i ) are invariant under flop transformations of the curves E 1,2 . Using the intersection numbers 14 we can recover (up to an overall sign) the Cartan matrices of Lie algebras of the horizontal, vertical and diagonal gauge theory, respectively. This can be summarised in the following table 14 The intersections in eq. (A.2) are calculated in P 1 × P 1 blown up at two points.

JHEP11(2018)016
Notice that the same result can also be obtained from computing the intersection numbers with the surfaces S i . However, using the canonical classes for the computation is in practice easier and will be used for all computations in the main body of the paper.

B Nekrasov subfunctions
The Nekrasov subfunctions capture the contribution of the various multiplets to the instanton partition function of the four-dimensional [41], five-dimensional [42] or the sixdimensional gauge theories [47][48][49]. For a review of these see [43,50]. The six-dimensional instanton partition function we can identify the different contribution from the tensor or matter multiplets. This correspondence relates the tensor branch parameters and hypermultiplet masses from the gauge theory side to linear combination of Kähler parameters on the geometry side. The first contribution that will be of interest to us comes from the vector multiplet z vector ( a, α) = The interpretation of (B.1), (B.3) and (B.4) as specific gauge theory contributions is justified by the fact that when we take the five-dimensional limit (ρ → i∞), we recover the well known respective contributions obtained from a localization calculation on the gauge theory side.

C Duality transformations
In this appendix, we discuss a series of flop-and symmetry transformations which relate the toric Calabi-Yau manifolds associated to the web-diagrams in figure 7 with different values of δ. For concreteness, we shall denote this transformation F , which maps a shifted Calabi-Yau manifold X Rather than discussing the most general case (for which the corresponding web diagrams are cumbersome to draw), we exemplify the transformation for (N, M ) = (6, 4) (but generic δ) and indicate how the results can be generalised.
Upon flopping all the diagonal lines in figure 7, the (shifted) (N, M ) = (6, 4) web takes the form given in figure 19 and after an SL(2, Z)-transformation as in figure 20.
In the latter presentation, we perform a flop transformation on all diagonal lines drawn in red. This leads to a new web diagram in the extended Kähler moduli space of X N,M , as shown in figure 21. Next, cutting the diagram along the red line and re-gluing the diagonal lines labelled a, b, c and d we obtain an equivalent presentation as shown in figure 22.

JHEP11(2018)016
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.