Dessins d'Enfants in $\mathcal{N}=2$ Generalised Quiver Theories

We study Grothendieck's dessins d'enfants in the context of the $\mathcal{N}=2$ supersymmetric gauge theories in $\left(3+1\right)$ dimensions with product $SU\left(2\right)$ gauge groups which have recently been considered by Gaiotto et al. We identify the precise context in which dessins arise in these theories: they are the so-called ribbon graphs of such theories at certain isolated points in the Coulomb branch of the moduli space. With this point in mind, we highlight connections to other work on trivalent dessins, gauge theories, and the modular group.


Contents
1 Introduction In the mid-1990s, the pioneering work of Seiberg and Witten [1] led to a revolution in the study of N = 2 supersymmetric gauge theories in (3 + 1) dimensions. Their work, which has come to be known as Seiberg-Witten theory, deals with the construction of the non-perturbative dynamics of N = 2 theories in the limit of low energy and momenta.
The jewel in the crown of Seiberg-Witten theory is the Seiberg-Witten curve: a (hyper)elliptic curve, the periods of which completely specify the spectra, coupling, and low-energy effective Lagrangian, as well as non-perturbative information of the gauge theory.
In this paper, we undertake a study of a class of N = 2 theories known as Gaiotto is an N -fold cover over C.
Let us henceforth take N = 2. Each such Gaiotto theory has a product SU (2) 3g−3+n gauge group [3], and all can be encoded into a skeleton diagram, also known as a generalised quiver diagram [3]. This is a trivalent graph with internal edges corresponding to SU (2) groups and external legs corresponding to flavours. Hence we have a graph with g closed circuits, 3g − 3 + n edges, 2g − 2 + n nodes, and n external lines.
The diagram constitutes the spine of the amoeba projection of the Gaiotto curve [4], and hence captures the genus and number of punctures on C. Each skeleton diagram determines a unique (3 + 1) dimensional N = 2 gauge theory [2]. The moduli space of the theory is specified by the topology g, n of the skeleton diagram [2,3].
To illustrate, the skeleton diagram for the Gaiotto theory with a single SU (2) factor and N f = 4 flavours (which, in virtue of its simplicity, we shall use as a running example throughout this paper) is shown in Figure 1(a). Note that in this paper, N f always denotes the number of SU (2) factors in the flavour symmetry group, rather than the number of so-called fundamental flavours which appear in the linear quivers drawn in e.g. [5,6]. The corresponding BPS quiver, to be discussed below, is drawn in Figure   1(b).
In a parallel vein, the Seiberg-Witten curves for SU (2) Gaiotto theories can be written in the form y 2 = φ (x), where q = φ (x) dx 2 is a quadratic differential on C with only second order poles [5,7]. The functional form of q is specified by the topology g, n of the skeleton, and varying individual parameters in q amounts to changing the point in the vacuum moduli space of the theory under consideration. With this in mind, an obvious question now arises: given a specific skeleton diagram, how do we extract the relevant Seiberg-Witten curve for that Gaiotto theory, as well as other information about the theory, such as that relating to its BPS spectrum?
Though the answer to this question turns out to be simple, consideration as to how to respond leads us to an intricate web of recently-discovered structures important in the study of SU (2) Gaiotto theories. In addition to the structures introduced above, this web includes the so-called BPS quivers which arise in the BPS spectroscopy of the theory, in addition to several important graphs drawn on C. Many of the structures in this web have already been carefully elaborated in the recent work on BPS quivers in the context of Gaiotto theories (see [7][8][9]), and in other work on Gaiotto theories ( [2,3,5], etc.). By presenting this web, we are able to precisely identify where dessins d'enfants, i.e. bipartite graphs drawn on Riemann surfaces, arise in the context of these Gaiotto theories, thereby in turn allowing us to connect the study of SU (2) Gaiotto theories to previous work on dessins in the context of N = 2 theories [2,10,11].
Specifically, it turns out that dessins arise in the context of these theories as socalled ribbon graphs on C, at isolated points in the Coulomb branch of the moduli space where the quadratic differential on C satisfies the definition of a so-called Strebel differential. Recognising this yields many results. First, by Belyi's theorem, we find that almost all possible Gaiotto curves have the structure of algebraic curves defined over Q. Next, results from [12] yield an efficient means of computing the explicit Strebel differentials, and therefore Seiberg-Witten curves, at these points in the Coulomb branch, via the dessin's associated Belyi map. In addition, we are led to connections with the dessins in [13], which correspond to certain subgroups of the modular group, and to conjectures on further connections to the work of [10,11] on dessins and N = 2, U (N ) gauge theories.
With an understanding of all these structures and connections, in particular of the role of dessins in the study of these Gaiotto theories, we proceed in the final part of this paper to study an alternative proposal for the role of dessins in SU (2) Gaiotto theories.
Specifically, it has recently been suggested in [2]  The structure of this paper is as follows. In §2, we introduce all the key structures which arise in the study of SU (2) Gaiotto theories. In §3, we elaborate the connections between these structures, providing an extended discussion of the role of dessins d'enfants in the context of these theories. Finally, in §4 we evaluate the above-mentioned alternative proposals for how dessins arise in the context of these theories.

Dramatis Personae
In this section, we present a pedagogical summary of all the important mathematical structures which arise in the study of SU (2) Gaiotto theories; the web of interrelations between these structures shall then be elaborated in the following section. In §2.1, we present some more technical details on skeleton diagrams. In §2.2, we recall the essential details of the vacuum moduli spaces of N = 2 theories. Next, in §2.3, we remind ourselves of the role of BPS quivers in these theories. In §2.4, we consider many of the important graphs which can be drawn on the Gaiotto curve C. In §2.5, we introduced a technical definition of dessins d'enfants and the associated Belyi maps.
Finally, in §2.6 we introduce the modular group and some important subgroups.
As a prelude to our discussion in §3 of the connections between all these objects, we provide in Figure 2 a roadmap of these connections, to aid orientation in the ensuing discussion. The first half of §3 will focus on the horizontal chain of correspondences shown in Figure 2. Though most of these links have been detailed in the literature previously, it should be useful to present a codified story in one place, with the focus on going from a skeleton diagram to the BPS spectrum and Seiberg-Witten curve of that theory. Doing so will allow us to provide an extended discussion of the role of dessins in these theories; this we shall do in the second half of §3.  Figure 2: A roadmap to the major connections between the objects of importance in the study of SU (2) Gaiotto theories. Each of the major constructions of importance to SU (2) Gaiotto theories is shown. Arrows represent connections between these entities. The section in which each connection is discussed is indicated in red. Correspondences marked with a blue star hold only when the quadratic differential on C is a Strebel differential; this shall be explained in §3.

Skeleton Diagrams
In [5], Gaiotto found a new and interesting class of N = 2 supersymmetric gauge theories in (3 + 1) dimensions, obtainable from the wrapping of M5 branes over Riemann surfaces. Following [3], let us focus on the case where the gauge group is only products of SU (2) factors. In this case, we can unambiguously represent the relevant gauge theories as so-called skeleton diagrams, consisting of lines and trivalent nodes, where a line represents an SU (2) gauge group and a trivalent node represents a matter field in the tri-fundamental representation SU (2) 3 . Hence, these diagrams can be seen as generalisations of the more familiar quiver diagrams, which have arisen both in representation theoretic [14] and gauge theoretic contexts [15]. Indeed, whereas fields charged under two SU -factors, being the fundamental under one and the anti-fundamental of another, readily afford description in terms of arrows in a quiver, fields charged under more than two factors, as in our present case, requires encoding beyond a quiver diagram.
Our skeleton diagrams are straightforward: they give rise to an infinite class of N = 2 gauge theories, having each line representing an SU (2) gauge group with its length in-versely proportional to its gauge coupling g 2 Y M and each trivalent node representing a half-hypermultiplet Q αβγ transforming under the tri-fundamental ( , , ) representation of SU (2) × SU (2) × SU (2) with α, β, γ = 1, 2 indexing each of the SU (2) factors.
Any line of infinite length gives zero coupling and the associated SU (2) factor becomes a global flavour symmetry. Because N = 2 supersymmetry is large enough to have its matter content determine the interactions completely, each skeleton diagram thus defines a unique (3 + 1)-dimensional N = 2 gauge theory. Any legitimate skeleton diagram can be constructed simply through gluing together trivalent vertices.
The string-theoretic realisation of N = 2 Gaiotto theories is in terms of a stack of M5 branes (for our SU (2) Gaiotto theories, we have two M5 branes) wrapping a Riemann surface C of genus g with n punctures. More precisely, consider M-theory in eleven dimensions with coordinates x 0,...,10 with x 7,8,9 = 0 fixed and x 0,1,2,3 the coordinates of our four-dimensional world R 4 x 0,1,2,3 . Of the remaining four directions, Q x 4,5,6,10 R 3 × R, define a complex structure v = x 4 + ix 5 and t = exp (− (x 6 + ix 10 ) /R IIA ) (so that the x 10 direction indeed becomes periodic when compactifying to type IIA string theory on a circle of radius R IIA ), and define a Riemann surface C = {F (v, t) = 0} ⊂ Q over which the M5 brane can wrap. In the type IIA perspective, this corresponds to n + 1 NS5branes occupying x 0,1,...,5 and placed in parallel at fixed values of x 6 ; moreover, between adjacent pairs of NS5-branes are stretched stacks of D4-branes. The variable names are chosen judiciously: the skeleton diagram of the theory to which C corresponds is one whose topology, graphically, consists of g independent closed circuits and n external (semi-infinite) legs.
We can easily check [3] that given a skeleton diagram specified by the pair g, n , the number of internal (finite) lines, hence the number of SU (2) gauge group factors, is 3g − 3 + n, while the number of nodes, hence the number of matter fields, is the Euler characteristic 2g − 2 + n. The moduli space of the Gaiotto theory in question (to be discussed in more depth below) is specified by the topology g, n of the skeleton diagram [2,3]. Finally, it is worth noting that the only features of the skeleton diagrams of these theories relevant to the physics they encode are the parameters g and n: this is sometimes referred to as Gaiotto duality [9].

Moduli Spaces
For N = 2 theories, the space of vacuum expectation values of the theory is known as the vacuum moduli space of the theory. One can think of this as the space of minima of an effective potential, governed by the zero loci of a set of algebraic equations.
Thus the moduli space is an affine algebraic variety on a complex space C k , whose coordinates are the vacuum expectation values. As a variety, the moduli space of an N = 2 theory typically decomposes into two branches, known as the Higgs branch B and Coulomb branch U. The former is parameterised by the massless gauge singlets of the hypermultiplets, occurring where the gauge group is completely broken and the vector multiplet becomes massive via the Higgs mechanism. The latter is parameterised by the complex scalars in the vector multiplet, occurring when the gauge group is broken to some Abelian subgroup and the hypermultiplets generically become massive.
Though our focus in this paper will mostly be on the Coulomb branch U, it is worth noting at this point that for g > 0, where there is more than a single SU (N ) factor, the gauge group may not be completely broken on the Higgs branch of each factor and thus to avoid confusion, the authors of [3] dub this quasi-Higgs branch the Kibble branch K.
A beautiful result of [3] is that the Kibble branch of the moduli space is an algebraic variety such that dim H (K) = n + 1, (2.1) where dim H means the quaternionic dimension, i.e. four times the real dimension or twice the complex dimension. It is interesting to see that this result is independent of g. A quick argument would proceed as follows: each trivalent node consists of 4 quaternionic degrees of freedom and there are χ = 2g−2+n thereof; generically on K, the SU (2) 3g−3+n gauge group breaks to U (1) g , hence 3 (3g − 3 + n) − g broken generators. Thus, there are effectively 4χ − (3 (3g − 3 + n) − g) = n + 1 quaternonic degrees of freedom.

BPS Quivers
N = 2 Gaiotto theories admit BPS quivers [9]. Let us briefly recall the details of these diagrams, following the discussion in [8]. We begin with a (3 + 1) dimensional N = 2 theory with Coulomb moduli space U. By a point u ∈ U we mean a specification of all supersymmetric parameters in the theory including Coulomb branch moduli, bare masses, and coupling constants. At a generic point u ∈ U, the theory has U (1) r gauge symmetry, and a low-energy solution defined by: • A lattice Γ of electric, magnetic and flavour charges.
• A linear function Z u : Γ → C, the central charge function of the theory.
The central charge function Z u naturally appears in the N = 2 algebra, and provides a lower bound on the masses of charged particles. The mass of a particle with γ ∈ Γ satisfies M ≥ |Z u (γ)|. The lightest charged particles are those that saturate this bound -these are termed BPS states.
The BPS quiver allows computation of the full BPS spectrum of the theory at some fixed point u in the Coulomb branch, supposing that the occupancy of the BPS states at that point is known [7]. This dramatically simplifies the problem of finding BPS states, since in place of some tedious weak coupling physics or prohibitively difficult strong coupling dynamics, the BPS spectrum is governed by a quantum mechanics problem encoded in the BPS quiver [7].
To construct a BPS quiver, first choose a half-plane H in the complex Z u plane.
All states with central charge in H will be considered particles, while the states in the opposite half-plane will be considered anti-particles. Suppose there exists a set of hypermultiplet states {γ i } in the chosen half-plane that forms a positive integral basis for all particles. Given this basis {γ i }, we can construct a BPS quiver as follows: For every charge γ i , draw a node associated to it. For every pair of charges γ i , γ j with γ i • γ j > 0, draw γ i •γ j arrows from γ i to γ j . The importance of the BPS quiver is that it can be used to check whether a particular site of the charge lattice γ = i n i γ i ∈ Γ is occupied by a BPS state, and if so, to determine the spin and degeneracy of the associated particles.
If we do this for every γ, we will have computed the full BPS spectrum of the theory at u ∈ U (for the details here, the reader is referred to [7,8]).
Importantly, Z u varies from point to point in U, hence its subscript u. A consequence of this is that the above procedure can yield different BPS quivers at different points u ∈ U, thereby partitioning U into domains, each corresponding to a different BPS quiver for the theory. For an N = 2 Gaiotto theory, there is always a finite number of such BPS quivers [9]. Together, they are said to form a finite mutation class, and there exists an algorithm, known as the mutation method, to enumerate all BPS quivers in a mutation class, once one has been specified.
Roughly, the principle on which the mutation method is based is as follows. Up corresponding new BPS quiver. There is a simple algorithm for constructing this new basis of BPS states and corresponding BPS quiver from the old [7][8][9]. One full rotation of the half plane will enumerate the full mutation class of BPS quivers for the theory.
It is important to remember that all the BPS quivers in a mutation class for a specific Gaiotto theory encode exactly the same physics [7-9].

Quadratic Differentials and Graphs on Gaiotto Curves
A quadratic differential on a Riemann surface S is a map for some function φ U defined on z (U ). Now suppose that two charts z : U → C and With these basic facts in mind, let us return to the SU (2) Gaiotto theories of interest.
Here, the Seiberg-Witten curves for these theories have the form is a quadratic differential on C with only second order poles [5,7]. (A subtlety: double poles in the quadratic differential only emerge for a mass-deformed theory. For vanishing mass deformation, the poles of the differential are single poles.) The functional form of q is specified by the topology g, n of the skeleton (we shall elaborate the exact details of this specification in the following section), and varying individual parameters in q amounts to changing the point u ∈ U under consideration.
As we shall demonstrate in §3, the BPS quiver for a specific N = 2 theory at a point u ∈ U can be constructed from a specific quadratic differential q on C [7], by using the quadratic differential to construct a graph on C known as its ideal triangulation, which has marked points as nodes and zeroes as faces. There is also a translation between BPS quivers and skeleton diagrams, which we shall again elaborate in §3 of this paper.

Dessins d'Enfants and Belyi Maps
There is a connection between the quadratic differentials on C and Grothendieck's dessins d'enfants [17][18][19][20]. Such a dessin is an ordered pair X, D where X is an oriented compact topological surface (here the Gaiotto curve C) and D ⊂ X is a finite graph satisfying the following conditions [17]: consists of only black and white nodes, such that vertices connected by an edge have different colours.
3. X \ D is the union of finitely many topological discs, which we call the faces of D.
As we shall show in §3, at certain points in the Coulomb branch we can use the quadratic differential to construct a graph on C known as a ribbon graph [12], with marked points as faces and zeroes as nodes. At these points in the moduli space, the quadratic differential satisfies the conditions to be a so-called Strebel differential.
As we shall see, we can interpret the ribbon graphs as dessins by inserting a coloured node into every edge and colouring every vertex white; doing so leads to a number of interesting mathematical ramifications which cement dessins as important objects of study in the context of these N = 2 theories (all of which shall be discussed in depth in the following section). In addition, we note here that if all the nodes of one of the two possible colours have valency two, then the dessin in question is referred to as clean [17].

Now recall that there is a one-to-one correspondence between dessins d'enfants and
Belyi maps [17,21]. A Belyi map is a holomorphic map to P 1 ramified at only {0, 1, ∞}, i.e. for which the only pointsx where d dx β (x) |x = 0 are such that β (x) ∈ {0, 1, ∞}. We can associate a Belyi map β (x) to a dessin via its ramification indices: the order of vanishing of the Taylor series for β (x) atx is the ramification index r β(x)∈{0,1,∞} (i) at that ith ramification point [2,13]. To draw the dessin from the map, we mark one white node for the ith pre-image of 0, with r 0 (i) edges emanating therefrom; similarly, we mark one black node for the jth pre-image of 1, with r 1 (j) edges. We connect the nodes with the edges, joining only black with white, such that each face is a polygon with 2r ∞ (k) sides (see e.g. [13,20]).

The Modular Group and Congruence Subgroups
Finally, we should very briefly recall some essential details regarding the modular group Γ ≡ Γ (1) = PSL (2, Z) = SL (2, Z) / {±I}. This is the group of linear fractional transformations Z z → az+b cz+d , with a, b, c, d ∈ Z and ad − bc = 1. It is generated by the transformations T and S defined by: The most important subgroups of Γ are the so-called congruence subgroups, defined by having the the entries in the generating matrices S and T obeying some modular arithmetic. Some conjugacy classes of congruence subgroups of particular note are the following: • Principal congruence subgroups: • Congruence subgroups of level m: subgroups of Γ containing Γ (m) but not any Γ (n) for n < m; • Unipotent matrices: • Upper triangular matrices: In [2], our attention is drawn to the conjugacy classes of a particular family of subgroups of Γ: the so-called genus zero, torsion-free congruence subgroups. By torsionfree we mean that the subgroup contains no element of finite order other than the identity. To explain genus zero, first recall that the modular group acts on the upper half-plane H := {τ ∈ C , Im (τ ) > 0} by linear fractional transformations z → az+b cz+d . H gives rise to a compactification H * when adjoining cusps, which are points on R ∪ ∞

A Web of Correspondences
In this section, we elaborate the chain of connections between skeleton diagrams, BPS quivers, ideal triangulations, ribbon graphs, quadratic differentials and Seiberg-Witten curves for SU (2) Gaiotto theories. In §3.1, we present the connection between the quadratic differential q = φ (x) dx 2 and Seiberg-Witten curve y 2 = φ (x) for these theories [5]. In §3.2, we show how the quadratic differential on C encodes the special Lagrangian flow on this Riemann surface. We then describe how the ideal triangulation on C is obtained. In §3.3, we recall how to construct a BPS quiver from a certain ideal triangulation [7]. Next, in §3.4 we show how to translate between skeleton diagrams and BPS quivers. In §3.5, we show how the special Lagrangian flow on C can be used, at certain special points in the Coulomb branch where the quadratic differential becomes Strebel, to construct a ribbon graph on C, and from this describe in detail how dessins d'enfants arise in the context of these theories, and the important roles they play in their study.

Quadratic Differentials and Seiberg-Witten Curves
The physics of an SU (2) Gaiotto theory is determined by a Riemann surface C of genus g with n punctures, one at each marked point p i ∈ C [5]. We select a particular meromorphic quadratic differential q = φ (x) dx 2 on C. Fixing the behaviour of q at the points p i by admitting a pole of finite order amounts to imposing that near p i : The integer k i ≥ 0 associated to each puncture is invariant under changes of coordinates. For the SU (2) Gaiotto theories in question, we always choose k i = 0 [5,7]. The Seiberg-Witten curve Σ of the theory is given by a double cover of C, and we obtain the Seiberg-Witten differential λ as follows [7]: Note that by varying the quadratic differential we obtain a family of Seiberg-Witten curves, and in this way the Coulomb branch U of the theory is naturally identified with the space of quadratic differentials obeying the boundary conditions from equation

Trajectories on Riemann Surfaces and Ideal Triangulations
Consider a Riemann surface C with a meromorphic quadratic differential q. Locally, we can write q = φ (x) dx 2 for the appropriate local coordinate x on C. Using this quadratic differential, we can classify parametric curves γ (t) on C according to the sign of q. Horizontal trajectories are defined as those for which φ (γ (t))γ (t) 2 > 0, while vertical trajectories are defined as those for which φ (γ (t))γ (t) 2 < 0 [12,16]. There are three cases of importance in the study of these trajectories: a generic point on C, a zero of q on C, and a pole of q on C.
Let us first consider a generic point on C. To begin, suppose that q = dx 2 . Then the horizontal trajectories are given by the horizontal lines α (t) = t + ci and the vertical trajectories are given by the vertical lines β (t) = it + c [16]. Now, if a quadratic differential q = φ (x) dx 2 is holomorphic and non-zero at x = x 0 , then on a neighbourhood of x 0 we can introduce the canonical coordinate w (x) = It follows from the transformation rule (2.4) that in terms of the canonical coordinate the quadratic differential is given by q = dw 2 , so at a generic point on C the horizontal and vertical trajectories are horizontal and vertical lines, as shown in Figure 3(a) [12].
The situation is different where q either vanishes or has a pole. Let us consider what the horizontal and vertical trajectories look like in the vicinity of such points, which without loss of generality we shall take to be at zero. First, suppose that q vanishes here, so that q = x m dx 2 . Then, with t ∈ R + , the horizontal trajectories are given by (m + 2) half-rays that have x = 0 on the boundary [12]: The vertical trajectories are given by another set of (m + 2) half-rays that have x = 0 on the boundary [12]: Thus we see that in the neighbourhood of zero both types of trajectory look like rays emanating from zero at some discrete angles, as shown in Figure 3(b). For a so-called simple zero, we have m = 1, and these trajectories make angles of 2π/3 with each other [7]. Now consider the case where q has a second order pole. We take q = −x −2 dx 2 . Then, horizontal trajectories are concentric circles centered at zero [12]: Vertical trajectories are given by half-rays emanating from zero [12]: These trajectories in the vicinity of a second order pole are hence as shown in Figure   3(c).
Note that we have only discussed second order poles. In [7], the analysis of the punctures is split into two cases depending on the order k i + 2 of the pole in q. The regular punctures in C are those for which k i = 0. By Gaiotto's prescription, these are associated with flavour symmetries [5]. The irregular punctures in C are those for which k i > 0. For our purposes, we need consider only regular punctures: irregular punctures are associated with boundaries of C, and none of the Gaiotto curves for the SU (2) theories of interest have boundaries [5,9].
The trajectories described define the special Lagrangian flow lines on C [7]. Suppose that we have a surface C with n marked points where q develops a second order pole. As we just saw, the horizontal trajectories are concentric rings around the marked points.
This defines domains for each point. These domains are separated by the radial lines going between different zeros of q. Only at very special points in the Coulomb branch will these trajectories be such that they define a graph drawn on C, where the marked points can be identified with the faces. Such a graph is known as a ribbon graph [12]; an extended discussion of such graphs and the circumstances in which they can be drawn is postponed to §3.5. It turns out that there are six topologically distinct possible ribbon graphs for a Gaiotto theory with one SU (2) factor and N f = 4 flavours; one example is drawn in Figure 4(a) (in this case, we know from [5] that the quadratic differential has the form φ = P 4 (x) /∆ 2 4 (x), where P and ∆ are polynomials in x and subscripts indicate polynomial degrees); the rest are drawn (as dessins) in Figure 6.
A convenient way to encode the topological structure of the special Lagrangian flow is in an ideal triangulation of C. To construct such a triangulation, we consider one generic flow line which has its endpoints at two marked points on C, and connect those two marked points by that trajectory. We repeat this for all pairs of marked points which are connected by such generic trajectories [7]. The structure of the flow on C is such that each face of the resulting graph will have three edges and contain exactly one zero of q (in general we assume that these zeroes are simple, and thus have three radially outgoing trajectories, as discussed above) [7]. To illustrate, an ideal triangulation for a Gaiotto theory with one SU (2) factor and N f = 4 flavours is drawn in Figure 4(b).

Constructing BPS Quivers
From the structure of an ideal triangulation on C, there is a simple algorithm to extract the corresponding BPS quiver. We refer to an edge in the triangulation as a diagonal δ if the edge does not lie on a boundary of C. (For the SU (2) Gaiotto theories under consideration this makes no difference, since all the Gaiotto curves in this case are without boundary, as discussed.) The algorithm to construct a theory's BPS quiver from its ideal triangulation on C is then as follows [7]: • For each diagonal δ in the triangulation, draw one node of the BPS quiver.
• For each pair of diagonals δ 1 and δ 2 in the triangulation, find all the triangles for which both specified diagonals are edges. For each such triangle, draw one arrow connecting the nodes defined by δ 1 and δ 2 . Determine the direction of the arrow by looking at the triangle shared by δ 1 and δ 2 . If δ 1 immediately precedes δ 2 going anti-clockwise around the triangle, the arrow points from δ 1 to δ 2 .
For the derivation of this algorithm, the reader is referred to the original source [7].
It is straightforward to confirm that the BPS quiver for the Gaiotto theory with one SU (2) factor and N f = 4 flavours shown in Figure 1(b) can be constructed from the corresponding triangulation shown in Figure 4(b).

Skeleton Diagrams and BPS Quivers
With these connections between BPS quivers, ideal triangulations, flow diagrams, quadratic differentials on C, and Seiberg-Witten curves established (following the details given in [7][8][9]), it remains to see how the skeleton diagrams for the corresponding SU (2) Gaiotto theories enter the picture. To do this, first recall that each puncture of C corresponds to a global SU (2) flavour symmetry. Any two Gaiotto curves can be glued together by opening a hole at a puncture and gluing the two together with a tube; this results in gauging the SU (2) groups corresponding to the two punctures [8]. By following this procedure, any Gaiotto curve can be constructed by gluing together threepunctured spheres; at the level of the skeleton, this simply amounts to joining trivalent vertices [3].
In [8] it is shown that this gluing procedure for the Gaiotto curves/skeleton diagrams can be translated into a gauging rule for the BPS quivers. To gauge a symmetry, we add gauge degrees of freedom and couple them to the matter already present in the theory.
At the level of the quiver, this amounts to adding two nodes of a pure SU (2) subquiver The resulting BPS quiver. The corresponding Gaiotto curve is a sphere with six punctures; this corresponds to an SU (2) 3 theory with N f = 6. This is constructed from the components in (a) by deleting the nodes g and q and coupling f and p to the SU (2) subquiver in oriented triangles.
to add the gauge degrees of freedom, then coupling the existing pairs of identical nodes corresponding to the SU (2) flavour symmetries to this subquiver. To do this, we delete one of the two identical nodes in each case and connect the other to the SU (2) subquiver in an oriented triangle; the deleted state will then be generated by a bound state within the SU (2) nodes [8].
Suppose that we are now given the skeleton diagram for the four-punctured sphere, as shown in Figure 1(a). This is the most basic legitimate skeleton diagram (one internal edge corresponding to one SU (2) factor, formed by joining two trivalent vertices together); the corresponding BPS quiver was found in [7,9], and is drawn in Figure 1(b).
One can now construct any other legitimate skeleton diagram by appending more trivalent vertices onto any of the external legs; using the above procedure, one can construct a corresponding BPS quiver in every case. In this way, we obtain a precise translation between skeleton diagrams and BPS quivers for the SU (2) Gaiotto theory in question, completing the backbone of correspondences in Figure 2. Once we have obtained one such BPS quiver, the rest in its finite mutation class can be computed using the mutation method [7][8][9]. An example of this gauging procedure for the case of gauging two SU (2), N f = 4 Gaiotto theories is provided in Figure 5.
From this, one might be tempted to conclude that all SU (2) Gaiotto theories are susceptible to such a translation between their skeleton diagrams and BPS quivers.
However, there are exceptions, specifically for the case of SU (2) theories with g > 2 and n = 0. Such theories admit no mass deformations (for g < 2, one can see from the gluing procedure for skeleton diagrams that we must always have at least one external leg, and thus must have mass deformations), and hence do not admit BPS quivers [8,9] -a point to which we shall return shortly in a different context. The case of g = 2 with no punctures is an exception: in one duality frame, that theory corresponds to an SU (2) 3 theory with two half-hypermultiplets; these two half-hypermultiplets form one full hypermultiplet and that can receive mass [9].
Using these results, we can now write down a skeleton diagram (all of which can be constructed by joining trivalent vertices) and immediately compute a wealth of information about the associated SU (2) Gaiotto theory: the mutation class of BPS quivers, the BPS spectrum, the ideal triangulations on the Gaiotto curve C corresponding to each BPS quiver, and the associated quadratic differentials on C and Seiberg-Witten curves.

Ribbon Graphs from Strebel Differentials
At a special point in the Coulomb branch of the SU (2) Gaiotto theory in question, the coefficients of the quadratic differential will be such that it satisfies the definition of a so-called Strebel differential. A Strebel differential is a meromorphic quadratic differential q on a Riemann surface C of genus g with n marked points {p 1 , . . . , p n } (subject to the conditions g ≥ 0, n ≥ 1, and 2 − 2g − n < 0) satisfying [12]: 1. q is holomorphic on C \ {p 1 , . . . , p n }.
2. q has a second order pole at each p j , j = 1, . . . , n.
3. The union of all non-compact horizontal trajectories forms a closed subset of C of measure zero. 4. Every compact horizontal trajectory α is a simple loop circling around one of the poles, say p j , satisfying a j = α √ q, where the branch of the square root is chosen so that the integral has a positive value with respect to the positive orientation of α that is determined by the complex structure of C.
For each C, the Strebel differential is unique [12]. Note that the condition n ≥ 1 ensures that no Strebel differential can be defined on g ≥ 2, n = 0 Gaiotto curves. At the particular point in the moduli space of the theory where the quadratic differential is Strebel, the graph resulting from joining the zeroes of q via the horizontal trajectories, with one marked point for each face, is known as a ribbon graph [12].

Ribbon Graphs as Dessins
Now, it is at this point that Grothendieck's dessins d'enfants (i.e. bipartite graphs drawn on Riemann surfaces) enter the story. As discussed in [12], the ribbon graph on C for each Gaiotto theory can be can be interpreted as a clean dessin d'enfant, by colouring every vertex white and inserting a black node into every edge. In turn, we can associate a unique Belyi map to every such dessin by following the procedure detailed in §2.5. The Belyi map β (x) determined by the ribbon graph in this way then possesses an interesting property [12]: the Strebel differential φ (x) dx 2 on C can be constructed as the pullback by β (x) of a quadratic differential on P 1 with coordinates ζ with three punctures: .
In other words, the map β (x) from C to P 1 is precisely the Belyi map corresponding to the ribbon graph interpreted as a dessin [12]. Clearly, it follows immediately from the definition of the pullback that we can write: . (3.8) In itself, this is an extremely intriguing result. However, we can go further, by now recalling Belyi's theorem. This states that a non-singular Riemann surface C has the structure of an algebraic curve defined on Q if and only if there is a Belyi map from C onto P 1 [12,17]. By this theorem, our Gaiotto curves (save the exceptional g ≥ 2, n = 0 cases discussed, where we cannot drawn a ribbon graph on C) have the structure of algebraic curves defined on Q.

Strebel Differentials from Belyi Maps
Suppose we are given one possible ribbon graph on C. With this in hand, (3.8) provides a means of directly computing the associated Strebel differential: we simply substitute the associated Belyi map into this formula. For example, consider the ribbon graph given in figure 4(a), for the SU (2), N f = 4 theory. The Belyi map associated to this tetrahedral ribbon graph, as a dessin, is given in [23]: 1 The pre-images of {0, 1, ∞} for this Belyi map are, respectively, {3 4 , 2 6 , 3 4 } [13]. Substituting β tetra (z) into (3.8) gives: (3.10) This quadratic differential has poles at − 1 2 , 1 2 (−1) 1/3 , − 1 2 (−1) 2/3 , ∞ . This is the Strebel differential on C associated to the tetrahedral ribbon graph for the SU (2), N f = 4 Gaiotto theory. Note that this correctly matches the generic expected form of the quadratic differential for the SU (2), N f = 4 theory, as presented in [5,26], and as discussed in the following section of this paper. Clearly, the above method provides an efficient means of computing explicit Strebel differentials on C.

Enumerating Ribbon Graphs
At this point, a further question naturally arises: for a given SU (2) Gaiotto theory, how do we enumerate all topologically distinct possible ribbon graphs? In order to answer this question, we first need to know, for a given SU (2) Gaiotto theory, the most general possible form of the quadratic differential on C. This can be computed in the following way. First, suppose we have a Gaiotto theory with n punctures on C, so that the associated ribbon graphs have n faces. Given this, the number of vertices of the ribbon graphs can be computed using Euler's formula, which relates the number of vertices V , edges E and faces F of a graph drawn on a surface of genus g: Since we assume all our ribbon graphs have simple zeroes and are thus trivalent and connected, we have E = 3 2 V . From the above reasoning, F = n. Thus: Thus we can construct the quadratic differential for the theory in question given only the topology g, n of the skeleton: generically, this will have n second-order poles and 2n − 4 + 4g faces. Note, however, that we can only apply this method for the class of SU (2) Gaiotto theories which admit such a differential; for g ≥ 2, n = 0, this is not possible, since in this case one cannot construct a quadratic differential on C with only second order poles [12], as we have already observed. Setting aside the exceptional case of g = 2, n = 0 already discussed, this result is reassuring. This is because we have already found that for g ≥ 2, n = 0, the theory in question does not admit a BPS quiver. But since we can translate between the quadratic differential and the BPS quiver as described, we would expect to find that in these cases we cannot write down a quadratic differential of the generic form described above. Indeed we now see this to be the case.
So, the generic form of a quadratic differential on C will have n second-order poles,  and 2n − 4 + 4g vertices. Any ribbon graph which fulfils these topological criteria is a possible ribbon graph for the Gaiotto theory in question, and its associated Strebel differential can be computed via the ribbon graph's corresponding Belyi map in the manner detailed above. For details on algorithmic procedures for enumerating all possible trivalent graphs with a given number of vertices and edges, the reader is referred to the classic works [27][28][29], as well as the discussion in [2].

Connections to Modularity
It is interesting to note that the six topologically distinct possible ribbon graphs for the SU (2), N f = 4 theory correspond to the dessins for the index 12 modular subgroups presented in [2,13,22]. For ease of reference, these are presented in Figure 6. With this in mind, the question arises as to which SU (2) Gaiotto theories the remaining dessins in [13] correspond, insofar as they are possible ribbon graphs on C. To answer this question, first recall that all the dessins in question are drawn on the sphere, so we must have g = 0. In addition, each dessin must have n faces, where n is the number of punctures on C for the theory in question. From the work in the previous section, the dessin must therefore have V = 2n − 4 vertices.
The number of faces and vertices for important values of n are tabulated in Table   1. The reader can note that the number of faces and vertices of a ribbon graph drawn on a genus zero Gaiotto curve precisely match those of the various index dessins in [13], as given in the third column of Table 1. Hence, one can see that the dessins in [13] do  Table 1.

Location of the Strebel Points in the Coulomb Branch
What, then, is the physical significance of these ribbon graphs, which arise where the quadratic differential on C satisfies the definition of a Strebel differential? As stated in §6 of [6], flow lines form closed orbits around marked points precisely where a BPS state appears and the topology of the triangulation (and thus BPS quiver) jumps. Hence, if the Coulomb branch is partitioned into domains for each BPS quiver of the theory, these Strebel points in the moduli space must arise at the walls separating these domains.

Dessins at Other Points in the Moduli Space
It is worth making a further comment on the form (3.8) of the quadratic differential q in terms of a Belyi map β. Though at a Strebel point q can be written in this form, with the Belyi map then being that associated to the ribbon graph interpreted as a dessin, this does not preclude us from being able to write q in the form (3.8) at some other isolated points in the moduli space 2 . The reason for this is that Theorem 6.5 of [12] is an 'if' rather than an 'if and only if' statement in this respect. Indeed, we can find such a point in the moduli space as in the following example. Consider again the SU (2), N f = 4 theory, but this time begin with the generic form of the quadratic differential, with four simple zeroes and four second-order poles. We parameterise this generic form with q = φ (x) dx 2 . Now, choosing Figure 7: Dessin for the Belyi map β N (x). For N = 4, we have a 4-valent white node joined to a 4-valent black node on P 1 . (3.14) we have, upon doing the transformation a differential in our "canonical" Strebel form (3.8), this time with Belyi map What is the dessin corresponding to this Belyi map? In fact, it is known from [23] that a Belyi map of the form has an associated dessin of the form shown in Figure (8).
The first thing to notice about this dessin is that it is not clean. But since all the dessins associated to ribbon graphs are by construction clean, this means that this dessin cannot correspond to a ribbon graph. In turn, this means that this specific point in the moduli space cannot be Strebel -i.e. q is not a Strebel differential at this point. Hence we see that, starting from the generic expression for the quadratic differential for a certain theory and tuning parameters in the way describe above, one does not necessarily arrive at a form (3.8) which corresponds to a Strebel point (note, though, that all the Strebel points can be found simply by fixing parameters in q, whereas in the above we also needed to transform x).
Whether these non-Strebel dessins have any significance is an open question. One must approach such results with a certain degree of caution, since it is not clear what significance the form of the quadratic differential (3.8) has away from the Strebel points.
Nevertheless, these auxiliary dessins which arise at other points in the moduli space in this way present an interesting opportunity for future investigation.

Further Conjectures
Based on the above work, one might attempt to link previous work on the connections between dessins d'enfants and N = 2 U (N ) gauge theories presented in [10,11] to the SU (2) Gaiotto case. In this section we will see, however, that the analogy is at least not a direct one, and several aspects of it fail.
To begin, first recall that in [10] the authors demonstrate how the problem of finding Argyles-Douglas singularities in the Coulomb branch U of an N = 2 theory with U (N ) gauge group can be mapped to the problem of finding when an abstractly defined quadratic differential on a Riemann surface becomes Strebel. Moreover, at these special Argyres-Douglas points, the Belyi map associated to the ribbon graph (interpreted as a dessin) for that Strebel differential can be used to construct the Seiberg-Witten curve of the theory. This is a purely formal correspondence, but the work above suggests that these quadratic differentials and dessins have a nice interpretation for SU (2) Gaiotto theories: the quadratic differentials are precisely the quadratic differentials on the Gaiotto curves which appear in the Seiberg-Witten curves, while the dessins d'enfants are precisely the ribbon graphs drawn on the Gaiotto curves.
Is this conjecture correct? To evaluate it, we must recall some further details from [10]. In that paper, the authors consider the ribbon graph associated to the abstractly defined quadratic differentials. If we take such a ribbon graph and interpret as a dessin, we can find the associated Belyi map, which can generically be expressed as where A (z) and B (z) are polynomials of some degree. In turn, this Belyi map can be used to construct the Seiberg-Witten curve for the U (N ) gauge theory in question via the identification where Given this identification of the polynomials of the Belyi map with the right hand side of the Seiberg-Witten curve in hyperelliptic form, it is clear that if the quadratic differential discussed in [10] can indeed be interpreted as the quadric differential on the Gaiotto curve in the case of SU (2) Gaiotto theories, it must be the case that at the points in the moduli space of the theory where this becomes Strebel, the associated Belyi map yields a Seiberg-Witten curve in hyperelliptic form of the correct degree for the theory in question. This is a proposition which can be easily tested in a concrete example; we will choose for simplicity the SU (2), N f = 4 theory.
The Belyi map for the tetrahedral ribbon graph for this theory is given in (3.10).
From this, we can see that the numerator is a degree 9 polynomial in z. Hence, on the above prescription, the Seiberg-Witten curve for this theory has the form y 2 = A 9 (z).
However, the Seiberg-Witten curve for this theory is in fact of degree four. We can reason to this answer in the following way. First, this theory can be seen as the dimensional reduction of the five dimensional theory living on the braneweb shown in Figure 8. The Seiberg-Witten curve corresponding to the 5D theory living on the sphere is [30] L 2 +ỹM 2 +ỹ 2Ũ 2 = 0, (3.21) whereL 2 ,M 2 andŨ 2 are degree two polynomials inx whose coefficients are associated to the dots in the grid diagram. In this curve, the holomorphic two-form is dλ = d log x ∧ d log y. The standard reduction to 4D amounts to takingỹ = y andx = e 2 x .
In the appropriate → 0 limit [31,32], the curve becomes L 2 + yM 2 + y 2 U 2 = 0, (3.22) with the expected holomorphic two-form dx ∧ d log y. Note that the polynomials L 2 , M 2 and U 2 are not the same asL 2 ,M 2 andŨ 2 . Indeed, the first terms in the expansion of the coefficients of the latter reshuffle in some way to construct the former. Now, upon we find: Clearly, the hyperelliptic curve for this theory is degree four in the right hand side, not degree nine. The upshot of this is that we cannot use the Belyi map associated to a given Strebel differential on C to construct the appropriate Seiberg-Witten curve, as for the abstractly defined quadratic differentials in [10,11]. Of course, it is still possible that the points in the Coulomb branch at which the quadratic differential on C becomes Strebel give interesting factorisations of the Seiberg-Witten curves as in [10,11], but more work needs to be done to establish this point. At the very least, the connections to the work of the cited papers is not as straightforward as one might hope.

Taking Stock
Let us briefly recap the results gathered up to this point. Take a Gaiotto curve C of genus g with n punctures. The Seiberg-Witten curve for this theory has the form y 2 = φ (x), where q = φ (x) dx 2 is a meromorphic quadratic differential on C. The precise number of zeroes and second-order poles which this quadratic differential possesses was computed in §3. 5.4. From the quadratic differential one can construct an ideal triangulation, and in turn the mutation class of BPS quivers for the theory in question, as detailed in §3. 2-3.4.
The parameters of the quadratic differential vary as one varies the point in the Coulomb branch U under consideration. At certain very special points, q will satisfy the definition of a Strebel differential; at these points we can draw a ribbon graph on C.
This ribbon graph can be interpreted as a trivalent dessin d'enfant, with an associated Belyi map. The Belyi map relates q to a meromorphic quadratic differential on P 1 by pullback, as detailed in §3.5.1-3.5.2. In this way, as detailed in §3.5.3, we can reconstruct Strebel differentials just given possible ribbon graph topologies on C.
In §3.5.5, we identified the Gaiotto theories to which the dessins in [13] correspond, insofar as they are possible ribbon graphs for those theories; in §3.5.6 we identified the location of the Strebel points in the Coulomb branch of these theories. In §3.5.7 we investigated the possibility of the form (3.8) of the quadratic differential arising at non-Strebel points. Finally, in §3.5.8, we demonstrated that one cannot straightforwardly identify the quadratic differential on C with the abstractly defined quadratic differentials in [10,11], as doing so yields inconsistent results.

Skeleton Diagrams to Seiberg-Witten Curves: An
Alternative Route?
In [2], it is stated that the skeleton diagrams should be interpreted directly as dessins d'enfants; from there it is claimed that we can construct the corresponding Seiberg-Witten curve by manipulating the Belyi map associated to this dessin. In this section we show that this deployment of dessins cannot work in general, as the method cannot guarantee that the Seiberg-Witten curve will have the correct form. To do this, we follow the methodology of [2], where the authors consider the specific class of dessins corresponding to the 33 genus zero, torsion-free congruence subgroups of the modular group Γ (introduced in §2.6), all of which have g > 0 and n = 0, interpreting these as skeleton diagrams.
The general setup is as follows: we suppose that we have a skeleton diagram with g loops and n external legs, topologically identical to one of dessins in [2]. We interpret this as a dessin: exactly the corresponding dessin in [2]. We then attempt to follow the prescription in [2] to construct the Seiberg-Witten curve corresponding to the original skeleton diagram from the Belyi map for the associated dessin. We do this for a wide class of skeletons (all of which are topologically identical to dessins in [2]), showing that the proposed method fails for some of these skeleton diagrams. Therefore, the proposed route from skeleton diagrams to Seiberg-Witten curves needs to be modified, in the manner presented below.
With the above in mind, let us begin our investigations. First recall from [9] that the genus of the Seiberg-Witten curve g (Σ) is related to the genus of the Gaiotto curve g (C) by the following formula, where p i denotes a puncture on C, and we consider separately punctures of odd and even order: The genus of the Gaiotto curve g (C) is determined by the number of loops of the skeleton diagram, so we find, by considering the number of loops of each of these dessins in [13], that for a skeleton diagram (interpreted as a dessin) corresponding to a genus zero, torsion-free, congruence subgroup of index I, the genus of the Gaiotto curve is given by  Table 2.
For a dessin corresponding to an index I subgroup, the corresponding Belyi map β (x) is a quotient of two polynomials A (x) and B (x), the difference of which is equal )  6  11  12  12  19  20  24  35  36  36  51  52  48  67  68  60 83 84 to the square of a polynomial of degree I/2 [2,11]: It is at this point that the conjecture in this approach begins. We need some procedure taking us from P I/2 (x) on the dessin side to Q 4(I/3+1) (x) on the Seiberg-Witten side (focussing on the case of real hyperelliptic curves -the situation for imaginary hyperelliptic curves is analogous). As a matter of simply matching degrees, we have: Solving for a, we find: For the indices of interest in [2] (I ∈ {6, 12, 24, 36, 48, 60}), we have the results shown in Table 3.
The thought at this point is that we can then simply identify P a I/2 (x) from the Belyi  Table 3: The power a to which a polynomial of degree I/2 must be raised to produce a function (possibly polynomial) of degree 4 (I/3 + 1). This procedure allows us to match the degree of P I/2 (x) from the Belyi map corresponding to the skeleton diagram interpreted as a dessin d'enfant to the expected degree of the Seiberg-Witten curve for the Gaiotto theory in question.
map associated to the skeleton diagram interpreted as a dessin with Q 4(I/3+1) (x): the Seiberg-Witten curve for that gauge theory in hyperelliptic form. Clearly, there is something special about index 6 and index 24, if this procedure for going from P I/2 (x) to Q 4(I/3+1) (x) is correct. This is because only index 6 and index 24 give integer a, and therefore guarantee polynomial Q, as required when constructing a Seiberg-Witten curve.
But for every SU (2) gauge theory of Gaiotto type, there is a Seiberg-Witten curve which can be associated with the skeleton diagram. Therefore, we see that, when dessins for which I / ∈ {6, 24} are considered, the fact that this method cannot guarantee that Q (x) is a polynomial demonstrates that it is in general not correct. Thus, in such cases, and hence in general, interpreting the skeleton diagram as a dessin d'enfant and attempting to construct the corresponding Seiberg-Witten curve from the Belyi map in this way will not work.
Indeed, there is no reason to suspect any direct connection between skeleton diagrams and Seiberg-Witten curves via the theory of dessins d'enfants (although, as, we have seen, dessins do arise in the context of the ribbon graphs). Moreover, this method clearly only works when we consider skeleton diagrams without external legs, since it is unclear what external legs of a dessin would mean. To conclude then: the correct method for matching the skeleton diagrams to the corresponding quadratic differentials and Seiberg-Witten curves is outlined in §2 and §3 of this paper; the work there supersedes the work presented in this section.

Conclusions and Outlook
In this paper, we have first recapitulated several significant results from [2,3,[7][8][9] in order to present an explicit web of connections relating important mathematical structures in the study of SU (2) Gaiotto theories. This is the backbone of connections in Figure 2.
Undertaking this task has allowed us to pinpoint the precise manner in which dessins d'enfants arise in the context of these theories. Our conclusions are as follows: • At a certain point in the Coulomb branch, the quadratic differential on C for the Gaiotto theory in question is Strebel. At such a point, the horizontal trajectories join to form a graph on C known as a ribbon graph [12]. This ribbon graph can be interpreted as a clean dessin.
• The ribbon graph, interpreted as a dessin, has a unique corresponding Belyi map β : C → P 1 . This Belyi map relates the Strebel differential on C and a meromorphic quadratic differential on P 1 by pullback.
• By Belyi's theorem, the fact that this is possible for almost all Gaiotto theories means that almost all Gaiotto curves have the structure of algebraic curves defined over Q.
• Consideration as to the topology of the ribbon graphs yields a means of computing the essential features of the quadratic differential in question: it must have n second order poles and 2n − 4 + 4g zeroes. Possible ribbon graph topologies for a Gaiotto theory with C having n punctures and genus g therefore have n faces and 2n−4+4g vertices.
• This yields an efficient method of computing the explicit Strebel differentials, and hence Seiberg-Witten curves, at these points in the Coulomb branch U: for the g, n Gaiotto theory, we compute all possible trivalent graphs with n faces and 2n − 4 + 4g vertices, interpret as dessins, compute the associated Belyi maps, and substitute into (3.8).
• The dessins in [13] correspond to possible ribbon graphs of specific SU (2) Gaiotto theories, which have been identified.
• Ribbon graphs appear at points in the moduli space where the triangulation (and hence BPS quiver) jumps.
• In [10,11], it was found that the problem of finding Argyres-Douglas singularities for U (N ) N = 2 gauge theories can be mapped to the problem of finding points in the Coulomb branch of the theory where an abstractly defined quadratic differential becomes Strebel; and therefore mapped to the problem of constructing dessins. We have found that there are difficulties in straightforwardly extending this story to the SU (2) Gaiotto theories under consideration.
These conclusions establish the "lower loop" of connections in Figure 2, as well as fleshing out many more details. The means of immediately writing down the functional form of the quadratic differential q given topology g, n of the skeleton diagram is the "upper arc" of Figure 2. Moreover, we have shown in §4 that the method proposed in [2] for writing down the Seiberg-Witten curve for such a theory by interpreting the skeleton diagram as a dessin must be modified in general.
There are many possible extensions of this work. It would be interesting to investigate whether the Seiberg-Witten curves for these theories have any interesting factorisation properties at the points in the Coulomb branch at which the quadratic differential becomes Strebel. Doing so would salvage some connections and parallels with the work of [10,11]. More generally, it would be an interesting and worthwhile task to carry out these investigations into Gaiotto theories of higher rank; this is likely to be a fertile and fascinating field for future research.