Exponential Networks and Representations of Quivers

We study the geometric description of BPS states in supersymmetric theories with eight supercharges in terms of geodesic networks on suitable spectral curves. We lift and extend several constructions of Gaiotto-Moore-Neitzke from gauge theory to local Calabi-Yau threefolds and related models. The differential is multi-valued on the covering curve and features a new type of logarithmic singularity in order to account for D0-branes and non-compact D4-branes, respectively. We describe local rules for the three-way junctions of BPS trajectories relative to a particular framing of the curve. We reproduce BPS quivers of local geometries and illustrate the wall-crossing of finite-mass bound states in several new examples. We describe first steps toward understanding the spectrum of framed BPS states in terms of such"exponential networks."

It is a capital mistake to theorize before you have all the evidence. It biases the judgment. (Sherlock Holmes)

Introduction
The spectrum of BPS states plays a prominent role in the study of quantum mechanical theories with extended supersymmetry and in the interest of such theories for mathematics. Of particular significance are theories with eight real supercharges, such as four-dimensional gauge theories with N = 2 supersymmetry, or compactifications of M-theory or type II string theory on Calabi-Yau threefolds.
In such models, the intrinsic representation data of the supersymmetry algebra (BPS charges and masses, their monodromy and singularities, the chiral metric) fit together in such a tightly constrained way over the moduli space of vacua that its geometric structure can be recovered from a clever combination of local flatness and global consistency conditions. Typically, this data can be solved for by studying the classical variation of an auxiliary spectral geometry. For string/M-theory, this is the Calabi-Yau manifold itself (or rather, its mirror), and for gauge theory, Seiberg-Witten geometry.
These connections are extremely well understood, admit generalizations to gravitational and higher-derivative corrections of the effective theory, and include relations to classical and quantum integrable systems and a variety of interesting mathematics.
On the other hand, determining the representation content, i.e., describing the actual BPS subspace of the Hilbert space, is much more subtle, and it is not in general clear to what extent this data is determined by the properties of the vacuum manifold alone. This has to do with the fact that while the graded dimensions of the space of BPS states (the BPS degeneracies) are locally constant over the moduli space, they can jump discontinuously at the crossing of certain real co-dimension-one walls. There is by now a lot of circumstantial evidence that wall-crossing is not incompatible with the idea that the BPS spectrum is in fact determined by the effective low-energy dynamics. First of all, the location of the walls of course follows from the properties of the charge lattice (the central charge), which is determined by special geometry. Secondly, the change of the BPS spectrum across the walls can be studied from the dynamics of bound states in the effective theory [1] and is subject to the fully general formula of Kontsevich-Soibelman [2]. The first physics derivation of this Kontsevich-Soibelman wall-crossing formula [3] exploits precisely the tension between the discontinuous changes in the BPS degeneracies and the smoothness of the hyperkähler metric to which they contribute.
In special cases, these constraints allow for a full calculation of the BPS spectrum [4,5]. Moreover, at least for strings on Calabi-Yau, the OSV conjecture [6] offers an even more general relation between the BPS degeneracy and the topological (string) partition function whose asymptotic expansion captures the perturbative corrections to the low-energy theory.
With or without assuming that these intricate consistency conditions can ultimately be completely solved, it is fruitful to also investigate the BPS spectrum more directly from the point of view of the spectral geometry. In string compactifications, for instance, BPS states arise by wrapping D-branes on supersymmetric cycles in the Calabi-Yau, and their degeneracies are encoded in the cohomology of the associated moduli spaces. It is then not only satisfying to identify precisely the problem to which the wall-crossing formulas provide an answer, but the explicit solution to some subclass also provides valuable complementary information to check the various conjectures.
The present paper grew out of attempts to generalize the geometric description of BPS states in four-dimensional N = 2 supersymmetric gauge theories that was given by Klemm-Lerche-Mayr-Vafa-Warner [7] 1 and that has received renewed interest in recent years following the work of Gaiotto-Moore-Neitzke on spectral networks [5].
This approach, which we will review below, can be seen to arise in a suitable limit from the geometric realization of the gauge theories, either by 2-branes ending on 5-branes in M-theory, or by dimensional reduction of 3-branes wrapping supersymmetric cycles in type IIB string theory.
The main idea and motivation for the generalization we are seeking can be explained from that second point view: The type IIB local geometries are the mirror manifolds of the toric Calabi-Yau manifolds that geometrically engineer the gauge theory in type IIA. In this context, it is known that the 3-fold geometry reduces to an effective one-dimensional description even before taking the gauge theory limit to the Seiberg-Witten curve, and that this holds also for local toric geometries that do not admit a gauge theory interpretation. Among the evidence for this statement we mention the coincidence of the period calculation [8,9], the evaluation of D-brane probes [10], the so-called remodeling conjecture [11], as well as modularity in its various forms. Our work will provide additional corroboration.
In the A-model, BPS states arise from B-branes. Their counting is, in many in-1 See citations of [7] for other work done in the 1990's. stances, rather well understood mathematically in terms of the cohomology of moduli of coherent sheaves, and many of the conjectures that we alluded to above have been checked and verified. It is known in principle that the problem whose solution reproduces the BPS state counting in the B-model is related to the moduli of special Lagrangian submanifolds (stable A-branes). Making this explicit is, however, complicated by the need to complexify the moduli space to resolve certain uncontrolled singularities, and by the obstructions by holomorphic disks whose effects on the problem are still not completely understood.
We will not be able to fully fill this important gap in this paper. However, we will give, in some simple examples, a proof of principle that BPS degeneracies in local Calabi-Yau manifolds can be understood from the B-model perspective in terms of a calibrated geometry that is the reduction of special Lagrangian geometry to the mirror curve, suitably corrected by holomorphic disks.
To this end, we will study the analogue of spectral networks in the simplest possible examples of local Calabi-Yau manifolds. We will attempt to reproduce as much as possible of the BPS spectrum that is known from the A-model for these geometries. A useful tool that is shared by the A-and B-model is the description of D-brane bound states in terms of the representation theory of so-called BPS quivers [12,13,14]. This theory also plays an important role in our story.
An interesting payoff of our work is a kind of "reversed" perspective on mirror symmetryà la Strominger-Yau-Zaslow for local Calabi-Yau manifolds. Recall that in the SYZ picture, the mirror manifold is interpreted as the moduli space of a particular special Lagrangian 3-torus. This picture is in principle completely symmetric between A-and B-model for any given mirror pair. In the local case, however, one usually starts from A-branes on the toric side, and reconstructs the mirror as a Landau-Ginzburg model from the obstruction theory of the toric fibers. In our examples, we will start from a particular calibrated submanifold in the B-model (as we will see, a suitable spectral network), whose moduli space is related (after complexification) to the original toric manifold.
The paper is organized as follows. We begin in section 2 with a brief review of the work that we will generalize, and a summary of the new features that derive from the exponential nature of the differential on the local mirror curves. We give further mathematical details in section 3, and an overview of the current state of our theory in section 4. In our first example, section 5, we reproduce the finite BPS spectrum of the conifold by exploiting a new junction rule for BPS trajectories. The main feature appears in section 6, in which we produce exponential networks for a large class of BPS states on local P 2 . We concentrate on states with a reasonable quiver representation, and study their wall-crossing under variation of the stability condition. In section 7, we return to what should be regarded as the simplest example of a Calabi-Yau, C 3 , and describe our best attempts at framed BPS states in this model. Along the way, we study the moduli space of a distinguished state that is mirror to a single pure D0brane (a calibrated version of what is known in symplectic geometry as the "Seidel Lagrangian" [15,16]), and show that this moduli space retracts to the toric diagram of the A-model Calabi-Yau.

BPS Trajectories, Quivers, and Mirror Symmetry
The main goal of this paper is to provide a new, B-model, perspective on BPS states of local Calabi-Yau manifolds by combining and generalizing the following lines of research: (i) The description of BPS states in four-dimensional N = 2 supersymmetric gauge theories (of "class S") in terms of spectral networks on Riemann surfaces given by Gaiotto-Moore-Neitzke [5], and follow-up work.
(ii) Local mirror symmetry as consolidated by Hori-Vafa [9], which identifies the mirror of local toric Calabi-Yau manifolds with conic bundles over (C × ) 2 degenerating over a Riemann surface called the mirror curve.
(iii) The wealth of knowledge about BPS states in these models that has accumulated over the past fifteen years. We will rely in particular on the relation to the representation theory of suitable BPS quivers, which in the case of ("complete") N = 2 gauge theories has been related to the spectral curve perspective by Alim et al. [14]. We begin with brief reviews of each of these topics.

Spectral networks
The solution of N = 2 supersymmetric gauge theories in four dimensions in terms of a suitable "spectral" (Seiberg-Witten) curve includes a fruitful representation of their spectrum of massive BPS states. The basic idea is to embed the gauge theory in a higher-dimensional setup where the spectral geometry becomes part of the space-time, and BPS particles in four dimensions are realized geometrically as extended objects calibrated by the Seiberg-Witten differential. This approach was pioneered in [7] and championed by [5]. For more on the early development of the subject see the review [17] and references therein.

Theories of class S
The large class of such theories studied in [5] are defined as the result of dimensional reduction (with a partial topological twist) of the six-dimensional (2, 0) theories associated to an ADE Lie algebra g on a punctured Riemann surface C with certain defect data at the punctures. In the embedding in M-theory, the theories arise on the world-volume of k = rank(g) M5-branes wrapped on R 3,1 × C ⊂ R 3,1 × T * C × R 3 . At a generic point on the Coulomb branch, the IR description involves a single M5-brane and φ is a g-valued 1-form on C that parametrizes the moduli space of vacua. For convenience, we will take g = su(k) in what follows.
The six-dimensional theory contains string-like excitations that arise as boundaries of M2-branes ending on the stack of M5-branes. When extended along paths of C, these strings give rise to particles upon dimensional reduction to four dimensions. For states of finite mass, the M2-brane should have finite spatial volume. This means that with respect to a local trivialization of the spectral cover, the paths are labelled locally by a pair of integers i, j ∈ {1, . . . , k}. Such a string is locally BPS if it saturates the where λ (ij) ≡ λ i − λ j and λ i is the restriction of the Liouville 1-form on T * C to the ith sheet. This condition is satisfied if and only if λ (ij) = e iϑ |λ (ij) | for some phase ϑ and some orientation of the path. (Equivalently, the condition is that Im(e −iϑ λ (ij) ) = 0, and we use Re(e −iϑ λ (ij) ) as volume form.) Following [5], we call such a locally minimizing path an (ij) trajectory of phase ϑ.
The spectral network is simply the "life story" of such BPS trajectories drawn on the Riemann surface C. To describe it, we assume for simplicity that all branch points of the covering (2.1) are simple. Then, from an ij branch point z 0 ∈ C of the spectral cover emanate three trajectories for any phase ϑ. This can be seen by writing has three independent solutions z(t) = z 0 + e iϑt 1/3 . Also note that depending on the placement of the branch cut, two of these trajectories are of type (ij), and one is of type (ji). As the trajectories emanating from the various branch points evolve around C, it is possible that they meet. The pronouncement is that when an (ij)and (jk)-trajectory meet, an (ik)-trajectory is born, as illustrated in Figure 2. The collection of all trajectories emerging from the branch points and born in collisions is called the spectral network of phase ϑ. Generically, the trajectories will eventually be attracted to one of the punctures of C and crash. At special values of ϑ, however, it may happen that some of the BPS trajectories terminate at a branch point or collide head-on. This gives rise to a closed subset of the plane with the geometry of a trivalent graph of finite total length that we call a "finite web" following [5] (see Figure 4 for relevant examples). A finite web corresponds to a state of a finite mass BPS particle in four dimensions. Under the identification of the lattice of electric-magnetic charges of the 4d theory with H 1 (Σ, Z), the charge of a finite web is the homology class of its canonical lift to Σ determined by the labelling on the strands. The Dirac-Schwinger-Zwanziger pairing between electric and magnetic charges is identified with the intersection pairing on homology. In the M-theory picture, the BPS particles arise from M2-branes ending on the M5 branes, connecting the two lifts pointwise along the finite web. The BPS nature of the junction (ij) + (jk) → (ik) can be verified in this setup, see e.g. [18].
To determine BPS degeneracies from the counting of finite webs with fixed charge, one has to take into account that finite webs might exist in continuous families, of which the spectral network only produces some "critical members" (as is the case for example in Figure 4d), whereas the generic member does not pass through the branch points, but is still locally calibrated and satisfies the junction rules. These deformations of the finite webs realize geometrically the zero modes of BPS particles in 4d. In such a situation, the BPS degeneracies should be determined by quantizing those zero modes. It appears, however, that the information about the degeneracies can in fact be read off purely from the critical pictures that arise from the spectral network without deformations. The prescription of [5] for calculating these degeneracies results from considering not only BPS particles but also line and surface defects, and thoroughly analyzing the consistency of the wall-crossing behavior of particles bound to them. Indeed, the curve C is identified as the parameter space of UV couplings of a canonical surface defect and finite webs with an open end at the point z are identified as a particle bound to the surface defect S z . Line defects, which can be thought of as infinitely heavy particles arising from M2 branes stretching infinitely in one cotangent direction, are represented by the (uncalibrated) homotopy class of a path on C.
In this paper we supply evidence that a similar story holds for BPS degeneracies of D-branes in toric Calabi-Yau 3-folds. In these models, it is natural to propose that the finite webs arising from the network should be viewed as the fixed points of the given torus action on the associated D-brane moduli spaces. We have not yet fully fleshed out this correspondence, but we expect that a generalization of the analysis of [5] including line and surface defects will lead directly to a complete and systematic algorithm for determining BPS degeneracies in these models as well [19].

A useful heuristics: D-branes on the torus
One of the premises of our analysis is the relation between the combinatorics of spectral networks and their geometric deformations on the one hand, and the dynamics of the Figure 3: T-duality picture of bound state formation. associated BPS states on the other. For an example of this, consider a D2-brane wrapping a torus, with a D0-brane sitting somewhere on it. Condensation of the open string tachyon in this system corresponds to dissolving the D0-brane into flux. This can be seen more graphically in the T-dual picture, in which the D2 and D0-branes become a pair of perpendicular D1-branes. The tachyonic D1-D1'-string is localized at their intersection and its condensation corresponds to resolving the intersection, resulting in a D1-brane at an angle (if we must, call it a simple "network" of D1 branes). Upon T-duality in the same direction as the first, the result is mapped back to a D2 brane with magnetic flux on it.
This would essentially be the story of "spectral networks and mirror symmetry for Calabi-Yau 1-folds". We will also find useful the heuristic interpretation of resolving intersections as condensing tachyonic fields, especially in relation to the quiver description.
The pure SU (2) theory The geometric realization is as follows. The spectral curve Σ → C is a genus 1 double cover with two punctures and two simple ramification points: With two branches, there is only one type of strand on C, so junctions do not occur. There are also bound states of one copy of each of the two basic states that are realized by closed loops. The closed loops actually exist in a family interpolating between the two loops attached at either branch point. The Hilbert space of 1-particle states associated to this family of loops is in principle the cohomology of its moduli space. The algorithm of Gaiotto-Moore-Neitzke [5] gives the invariant trace over this Hilbert space as −2, reflecting the contribution of a BPS vector multiplet.
Note that the existence of the bound states depends geometrically on the ability to locally shorten the web by detaching the strands from the branch point, because the angle between the two elementary webs is less that 2π/3. In the strong coupling regime, this is no longer possible, and all bound states cease to exist.

Mirror curves for toric Calabi-Yau manifolds
It is well known that the embedding of N = 2 gauge theories of class S into Mtheory by wrapping M5-branes on punctured Riemann surfaces is related, by a sequence of dualities, to geometric engineering of gauge theories in type II string theory. In this approach, the gauge dynamics arises from D-branes wrapping vanishing cycles in local singularities of Calabi-Yau manifolds. One typically starts in type IIA (where computations are done in the "A-model") with a toric Calabi-Yau threefold, X, which is equivalent by mirror symmetry to type IIB (the "B-model") on a Calabi-Yau of the Here, H(x, y) is a certain Laurent polynomial determined by the toric data. For a suitable design, the curve (2.1) arises in a scaling limit from the mirror curve H(x, y) = 0 which is the locus where the conic fibration Y → (C × ) 2 degenerates. It is in fact in this context that the description of BPS states in terms of "geodesics on the Seiberg-Witten curve" was originally derived in [7]. We review the setup here in order to emphasize the points in which the full result departs from the gauge theory limit. We start in the A-model with the gauged linear sigma model (GLSM) description of the toric threefold.

Local mirror symmetry
We let r be the "rank" of the Abelian gauge group U (1) r , and Q α i the charges of the r + 3 chiral fields. We assume that these charges satisfy the Calabi-Yau condition and denote the Fayet-Iliopoulos couplings by r α for each α = 1, . . . , r. The toric manifold then arises as the solution of the D-term constraints on the lowest components z i of the chiral fields, taken modulo U (1) r gauge equivalence.
The space can be described more mathematically as the symplectic reduction or GIT quotient X = C r+3 //U (1) r with stability specified by the r α , which become (the real part of) the Kähler parameters of X. In the process, the z i become homogeneous coordinates on X.
In [9], Hori and Vafa derived the theory mirror to X by applying T-duality to the argument of all the chiral fields in the GLSM. They showed that in terms of the variables y i = exp(−|z i | 2 + i · · · ) , (2.8) the mirror of the GLSM is the Landau-Ginzburg theory with superpotential on the solution of a complexification of (2.7), where q α = exp(−t α ) are the exponentiated and complexified Kähler parameters.
By now, mirror symmetry between X and this Landau-Ginzburg model has been checked in great detail, and the equivalence of the topological models has the status of a mathematical theorem. Ultimately, the duality of course also holds at the level of the full physical theory, including the BPS spectrum in space-time. The resulting mathematical statements are however more difficult to check directly, mostly because stability of D-branes in Landau-Ginzburg models still is only partially understood [21].
In this paper, we will use the relationship between the Landau-Ginzburg model (2.9) and the Calabi-Yau hypersurface (2.5) in the form in which local mirror symmetry was initially discovered. While this reduction is slightly less than fully rigorous at this point (although its validity at the topological level is beyond doubt), it puts us in a position to perform some explicit checks of the BPS spectrum. The easiest way to see the relation is to consider the evaluation of the periods: The statement that the fundamental variables are log y i means that the holomorphic volume form is the residue on the solutions of (2.10). Solving these equations in terms of three of the variables, y 1 , y 2 , y 3 , and factoring out one of them by homogeneity, we define H by the equation W (y 1 , y 2 , y 3 , q α ) = y 1 H(x, y, q α ) (2.12) For a contour along which the integral converges, we can insert a Gaussian to rewrite the periods of (2.11) as H=uv dx x dy y du u (2.13) where the last step is the Griffiths-Poincaré residue that gives us the standard form of the holomorphic three-form on the hypersurface (2.5).
Granting (2.5), the study of supersymmetric A-branes in Y can be further reduced to the "mirror curve" (2.14) endowed with the differential by "integrating over the fibers" of the map Y → (C × ) 2 sending (x, y, u, v) to (x, y) [7].
Over each point in the (x, y)-plane the equation H(x, y) = uv, viewed as an equation on (u, v) ∈ C 2 , describes an affine conic that is reducible precisely when H(x, y) = 0.
The generic conic has the topology of a cylinder S 1 × R, and a "minimal" S 1 given by the intersection of uv = H with v =ūH/|H|, in other words |u| 2 = |H|. This S 1 shrinks to a point precisely on the curve Σ, so that tracing the S 1 along any path in (x, y)-space that intersects Σ precisely at the beginning and end of the path gives rise to a two-sphere S 2 . Assuming that the path begins and ends at the same value of x, but at possibly different values of y 1 and y 2 , we can evaluate the integral which gives the differential (2.15) up to factors of 2πi. We'll work in the normalization (2.15) in the following.

Initial observations
Note that in (2.16) we have to allow log y 1 and log y 2 to stand for different branches of the logarithm if the path winds around the origin in the y-plane. More formally, the mirror curve description of toric Calabi-Yau threefolds is an instance of a branched with a holomorphic symplectic form that in a local coordinate (z, y = ∂ z ) on T * C takes the form ω = dz ∧ dy y . In contrast to the ordinary spectral cover (2.1), this form is not exact, although the exponential of the local "Liouville form" λ = log y dz is still single-valued. We emphasize that it would be a mistake to replace Σ by an infinite covering on which λ is well-defined -only the winding number in the fiber direction is detected by (2.16), and not the absolute choice of branch itself.
As far as we know, the geometry associated with such "exponential differentials" has not been studied in the literature so far, although the problems arising from the winding in the fiber direction were mentioned back in [22]. We note however, that these multivalued differentials play a central role in what is known as the "remodeling" description of the topological string on local Calabi-Yau manifolds [23]. In this approach, the formalism of topological recursions developed by Eynard-Orantin [24] is lifted to curves in (C × ) 2 , with appropriate modifications of the local residue calculus at the branch points. Given the striking similarities with the gauge theory setup, it is very natural to expect that "exponential" versions of spectral networks will capture the BPS spectrum in the same fashion.
Another way to understand the close analogy between mirror curves (2.5) and the spectral curves for gauge theories (2.1) is through the interpretation of these curves as "IR moduli spaces" of defects of the respective 4d N = 2 theories. This interpretation gives an alternative derivation of the differential (2.15) by reduction along the noncompact cycles instead of the compact cycles in the fibers of (2.5). Following the original approach of Aganagic and Vafa [10], consider a probe brane given by one of the two components, say v = 0 of the singular fiber over some given point (x * , y * ) of the mirror curve. Even though such a brane is holomorphic for any point on the curve, a non-trivial superpotential arises on account of the non-compactness of the cycle on which the brane is wrapped. We fix one of C × coordinates, say y, at infinity on the brane world-volume, which is identified with the u-plane. The other coordinate, say x, is treated as a holomorphic modulus. Then, the superpotential is calculated as a chain integral over the three-chain Γ of the form with u ∈ C, t ∈ [0, 1] and functions x, y subject to the conditions With these conditions, and assuming a radially symmetric profile for y(u,ū, t) = y(r, t) for simplicity, one easily finds [10] Γ dx x dy y where the last integral is a contour integral on Σ, as claimed.

Framing
An important aspect of this derivation is the dependence of the differential on the mirror curve on the brane that is used as a probe, a degree of freedom known as "framing" [25]. In the A-model, the toric brane (of topology S 1 × R 2 ) that is mirror to the v = 0 fibers is specified by a point on the toric diagram (the projection of a one-dimensional linear subspace of the base of the toric fibration). The vertex of the toric diagram closest to that point is surrounded by three faces, corresponding to toric divisors say z 1 , z 2 , z 3 as in Fig. 5. Then, modulo the D-term equations (2.7), the brane is specified by 20) and the modulus is ∼ |z 3 | 2 − |z 1 | 2 . The semi-classical regime is when the brane is far from the vertex (which requires in particular, if the brane sits on an internal leg, that leg to be long). In the quantum regime, captured by the mirror, (2.20) ceases to vanish, and the modulus is subject to the framing ambiguity (Note that f disappears under (2.20)!) In other words, the good variables to use in (2.12) are x and y which are defined by and in these variables the differential on Σ is given by (2.15). Alternatively, we may also use y = y 1 /y 2 , with necessary changes.
The idea of the spectral network approach to BPS states is that open webs capture the degeneracy of solitons bound to defects represented by their endpoints, whereas closed finite webs correspond to the "vanilla", or purely 4d, BPS particles. As a result, the degeneracy of the finite webs that we construct from our exponential networks should be independent of the framing, even though the respective differentials might differ by exact terms. This framing independence provides an important check on our formalism.

BPS Quivers
The third starting point of our investigation is the description of BPS spectra in terms of quivers, which also has a long history going back to [26] in the physics literature and builds on earlier mathematical work by Nakajima, Kronheimer, and ultimately Gabriel and Kac [27,28,29,30]. to stable representations of the quiver algebra [31].

Mathematical recapitulation
To explain this identification and establish some notation, we state that our quiver Q is specified by a tuple (Q 0 , Q 1 , h : , where the finite sets Q 0 and Q 1 collect the nodes and arrows, respectively, and the maps h and t specify the head and tail of an arrow. Given this, a representation M of Q is specified by [32] • Given two representations (M v , ϕ α ) and (M v , ϕ β ) of a quiver Q, a morphism of to be commutative. However there are sub-representations with dimension vector (0, 1) which we will consider shortly.
A representation is called indecomposable if it cannot be expressed as the direct sum of two non-zero representations. For example, for any λ = 0, the representation of the Kronecker-2 quiver is indecomposable [33]. It is however not irreducible in the familiar sense of representation theory, since it admits (2.24) with a 1 = a 2 = 1 as a non-trivial sub-representation in an obvious way.
The complex algebraic group G C = v GL(n v , C) acts on the space of quiver representations of fixed dimension vector. It appears physically as the complexification of the gauge group G of the effective world-volume theory. In this theory, (classical) supersymmetric vacua correspond to solutions of the D-term constraints 2 modulo the action of G. Equivalently, one may consider the space of those G C orbits that contain a solution of the D-terms. In other words, on each G C orbit the solution of the D-terms (if one exists) is unique up to the action of G. Mathematically, this is the correspondence between the symplectic and algebraic quotient constructions of moduli spaces, which was established for quiver representations by King [34]. In this context, the "good" G C orbits are those that are "stable", in the sense of Mumford's numerical criterion, with respect to a character of G C that is related physically to the FI-parameters entering the D-term constraints.
More concretely, a King stability condition for quiver representations is specified by a map θ : and for every sub-representation M of M , The representation M is θ-stable if additionally the only sub-representations M with θ(M ) = 0 are M and 0. As an example, we again consider the representations of the Kronecker-2 quiver with dimension vector (1, 1). As we have seen, the generic such representation is indecomposable. To see that it is stable if and only if θ 1 = −θ 2 > 0, it suffices to consider which is the only potentially destabilizing subrepresentation. On the other hand, the indecomposable representation (2.26) is θ-semi-stable, but not θ-stable, since for any as well.

D-brane Bound States
The precise relation between (semi-)stable quiver representations and D-brane bound states was obtained in [31]. The punchline is that solutions of the D-flatness conditions of the world-volume theory correspond to direct sums of representations, each of which is θ-stable in the above sense with respect to the same θ. For a one-particle bound state, only the center of mass U (1) should remain unbroken. This means that the space of endomorphisms of the associated representation should be one-dimensional (i.e., the representation should be "Schur"). Semi-stable representations correspond to marginally bound states.
An important entry in this dictionary is the identification between the FIparameters ζ v for GL(n v ) on the vertex v ∈ Q 0 and the stability parameters θ v . The seeming subtlety arises from the (trivial) fact that to determine the supersymmetric ground states, it is in general neither sufficient nor necessary that the D-term potential vanishes. On the one hand, setting the gaugino variation for the unbroken gauge group to zero requires a combination of the FI parameters to vanish. On the other hand, the minimum energy configuration may preserve a non-linearly realized supersymmetry with a constant shift of the FI parameters.
For illustration, consider the toy model [35] of D-brane bound state formation from two (stable) constituents interacting via a single massless chiral multiplet φ of where ζ = ζ 1 − ζ 2 is the difference of the FI parameters in the original basis. Then, for ζ < 0, the minimum of the potential at φ = 0 has positive energy and the "space-time" N = 1 supersymmetry is broken as in the Fayet model. No bound state forms in this case. In the marginal case, ζ = 0, both U (1) 1 and U (1) 2 are unbroken. Finally, for ζ > 0, the vacuum φ = 0 is an unstable maximum with a tachyonic mode. The bound state corresponds to the stable minimum at |φ| 2 = ζ (modulo U (1) − gauge transformations) of zero energy. Naively, supersymmetry is still broken since the gaugino variation is non-vanishing in the vacuum. However, under a suitable linear combination of the original supersymmetry with a constant one of the form the gaugino variation does in fact vanish. This modification has the effect of a constant shift of the D-terms.
For a bound state made up of a finite number of constituents with a single unbroken U (1), the criterion is that all D-terms should be equal [31]. In the quiver notation, the D-term potential is Following [31], we add zero to this expression in the form 0 = −θ v + θ v and then choose (2.35) The θ v minimizing this expression subject to the constraint arising from the trace of D-flatness are (2.37) In the end, all the D-terms have been shifted by the constant The shifted θ v are identified as the King-stability parameters -clearly, θ v n v = 0 (see (2.27)), and it only remains to check the condition (2.28) on all subrepresentations.

Spectrum of pure SU (2) theory from stable representations
To illustrate this procedure, let us rederive in the quiver formalism [36] the BPS spectrum of pure glue N = 2 Seiberg-Witten theory that we obtained at the end of subsection 2.1 using spectral networks. The relevant BPS quiver follows from using the monopole and dyon as the basic states. These states, which are stable over the entire moduli space, are represented by the elementary webs of Figs. 4a and 4b and correspond to the nodes of the BPS quiver. Upon superimposing the two pictures, the webs intersect once at each branch point. The corresponding intersections occur in the same relative orientation on Σ, so we draw two arrows in the same direction between the nodes. Since there are no closed loops in the quiver the superpotential must be zero.
The resulting quiver is the Kronecker-2 quiver from Fig. 6. For a more systematic derivation of BPS quivers for a large class of N = 2 gauge theories, see [37,14].
The starting point for the full representation theory of the Kronecker-2 quiver are the theorems of Gabriel and Kač, which guarantee that the indecomposable representations of the 2-Kronecker quiver are precisely the generic representations of dimension vector (n 1 , n 2 ) with Of those, (n 1 , n 2 ) = (k, k ± 1) correspond to the positive real roots of the quiver viewed as Dynkin diagram, and n 1 = n 2 = 1 to the imaginary root.
Depending on u, the phases of the central charges determining the stability parameters (without the shift (2.37)) are θ 1 = arg Z u (−m) = arg(−a D (u)) and Then, in the strong coupling regime, θ 1 < θ 2 , and the only stable representations are the simple modules of dimension vectors (1, 0) and (0, 1). The simple representation of dimension vector (1, 0) is given by The simple representation of dimension vector (0, 1) is given by and corresponds to the dyon.
In the weak coupling regime, θ 1 > θ 2 , the dimension vectors with stable represen- Together with their negatives (which give the anti-particles), these are all the roots listed above. The representations for the first two dimension vectors are unique up to gauge transformations, so their moduli space is a point. A representative representation with dimension vector (1, 2) is The generic indecomposable representation with dimension vector (k + 1, k) can be brought to the form labelling, this is illustrated in Fig. 7.

String Modules
This correspondence between the connectivity of the network and the non-zero entries in the representation matrices will provide important clues later on, so we elaborate a bit further on the special nature of the representations (2.44), known as "string modules" [38].
In order to define string modules we start with a few relevant definitions. A walk in a quiver is an unoriented path, or more formally, a sequence of vertices in the quiver connected by arrows in either direction, A string in the path algebra of a quiver CQ, is a walk which avoids traversing sequences of arrows of the form 46) or their duals, where β 1 , . . . , β s ∈ ∂W is a zero-relation coming from the F-term relations. The first forbidden sequence is that the inverse of an arrow can not be immediately succeeded by the arrow, or conversely that an arrow can not be immediately succeeded by its inverse. A string module is obtained from a string by replacing each vertex with a copy of C and representing each arrow by the identity morphism. Each vertex has vector space C nv where n v is the number of times the vertex v appears in the string and the morphisms are determined by their actions on arrows. Conversely, decomposing C nv in n v copies of C with a separate node for each copy amounts to thinking about this particular class of representations in terms of an "abelianized" quiver.
In the Kronecker-2 example, the representation in (2.44) with k = 2 can be identified with the string module In general, there are k arrows pointing to the right from A 1 and k arrows pointing to the left from A 2 .

More on Quivers and D-branes
In the introduction we recalled that BPS states arise in string compactifications by wrapping D-branes on supersymmetric cycles in the Calabi-Yau, and their degeneracies are encoded in the cohomology of the associated moduli spaces. We here give a bit of further background on the types of supersymmetric cycles, their effective world-volume theory, and the cohomology of their moduli spaces. We then elaborate on the special class of quiver representations that we will find realized in terms of our exponential networks.

Supersymmetric cycles redux
Supersymmetric cycles are, by definition, cycles such that the world-volume theory of a brane wrapping the cycle is supersymmetric. Two conditions to be a supersymmetric cycle in Calabi-Yau 3-folds were found from a space-time perspective in [39] and from supersymmetric string world-sheet boundary conditions preserving A or B-type supersymmetry in [40]. The first possibility is that the cycle is an even-dimensional holomorphic submanifold, carrying a stable holomorphic vector bundle. The second is that the cycle is a middle-dimensional (in this case three-dimensional) cycle, such that Re e −iϑ Ω| L is its volume form, where Ω is the holomorphic volume form on the

A-branes in the B-model
In the Fukaya category of a Calabi-Yau manifold Y , the objects are special Lagrangians L i . The space of morphisms between two transversely intersecting special Lagrangians L i and L j is where the sum is over all intersection points 3 For special Lagrangians with flat bundles, the Hom-spaces are where and φ i,j ∈ Hom(L i , L j ) are the massless fields in the quiver quantum mechanics. In the subsequent sections, we will simplify our discussion and say that the superpotential is obtained by summing contributions by holomorphic disks.

Quiver representations
The geometric origin of the BPS quivers that we consider in this paper is reflected in special properties of their representation theory. Already in our discussion of the Kronecker-2 quiver, we saw that the representations with dimension vector (k ± 1, k) are "string modules" in the terminology of [38], while the (in general, semi-stable) representations with dimension vector (n, n) are so-called "band modules". As pointed out in [42], this relation extends to all theories of class S with g = su(2): According to [13], the BPS spectra of these theories can be studied in terms of triangulated surfaces, and it is a general result [43] that for quivers from triangulated surfaces [44], all representations are either string or band modules. From the spacetime perspective, these are hyper-and vector-multiplets, respectively [42].
In more general situations, such as those involving mirror curves of the form (2.14), string and band modules will not be enough. We here develop a graphical representation of certain special classes of quiver representations for the specific cases of the ADHM and Kronecker-3 quivers. For Kronecker-3 quiver, these representations cover the class of "tree modules" which were discussed in [45], and can be seen to account Figure 9: The ADHM quiver.
These results will be used later in sections 5, 6 and 7, where we will (re)produce such quiver representations from exponential networks.

Representations of the ADHM quiver
The ADHM quiver is shown in Figure 9 and has the relations [B 1 , B 2 ] + ij = 0.
Representations of the ADHM quiver correspond to points of the Hilbert scheme of points in C 2 , see for example Theorem 1.9 of [49]. We briefly explain how to construct a , and covering quiver and representation matrices given by (3.12) The remaining two partitions (1, 1, 1, 1) and (2, 1, 1) are the transposes of (4) and (3,1) respectively. Transposing partitions acts by vertical reflection on the covering quiver, interchanging the B 1 and B 2 arrows. The final example of the partition (2, 2) contains two distinct paths from C to C. The representation must satisfy B 1 B 2 = B 2 B 1 and it does by construction.

Representations of the Kronecker-3 quiver
The Kronecker-3 quiver is shown in Fig. 10. It arises in a variety of context as the arguably simplest example of a quiver of "wild" representation type. As before, however, we can usefully abelianize the representations of the Kronecker-3 quiver in terms of a "covering quiver" [50,51].
A much-studied family of representations are the "Fibonacci representations".
Their dimension vector (F n , F n+2 ) is given by the n-th Fibonacci number F n , which are defined recursively by F 0 = 0, F 1 = 1 and F n = F n−1 + F n−2 [52]. When n is even, these dimension vectors are the Schur roots of the quiver and there exists a unique irreducible representation. For n odd, the moduli space of representations is isomorphic to CP 2 . For n = 2, i.e., dimension vector (1, 3), the representation is represented graphically by with representation matrices given by (3.14) For n = 4 the dimension vector is (3,8) and the covering quiver is shown in Figure 11.
From the covering quiver, we can read off the representation matrices Figure 11: The covering quiver for the (3,8) representation.
The entries in the representation matrices are zero unless there is an arrow from C i to C j . In this case, there is a 1 in the (i, j) position of the corresponding representation matrix. The central node labeled C 2 2,6 is two-dimensional and we write the corresponding matrices. The representations of the Kronecker-3 quiver shown in (3.13) and Figure   11 belong to the class of tree modules studied in [45].

Quantizing the moduli space of quiver representations
In the examples we consider, most quivers have a moduli space of representations.
The BPS particles are obtained by quantizing the moduli space. In [53] it is argued that L 2 cohomology is the appropriate cohomology for quantizing the moduli space.
One approach to computing the cohomology of quiver moduli spaces is to count the number of points in the representation variety over finite fields and using the Weil conjectures [54,55] to extract the relevant cohomology groups. A second approach is to use supersymmetric localization in quiver quantum mechanics [56,57,58,59]. In applications to the Kronecker quivers the localization calculations [60,61] reduce to a weighted sum over trees [55,46,47,48]. The relationship between tree modules and the appearance of trees in localization are related manifestations of abelianization. The combinatorics of trees contributes to the exponential growth of BPS states.

Exponential Networks
With the work reviewed in section 2 in mind, we set out to investigate networks of BPS trajectories on mirror curves π : Σ → C of the form (2.14). The main purpose for now is to describe the features that are new compared to the gauge theory situation of (2.1), but we also offer tentative geometric interpretations that will be corroborated in the subsequent examples.

New rules . . .
The first novelty is that the calibrating differential is only defined modulo (2πi )d log x on Σ. As a consequence, BPS trajectories on C are labelled locally by both a pair (i, j) ∈ π −1 (x) of branches of the covering, and a winding number n ∈ Z. Since this winding number is only defined in relative terms (see (2.16)), we must indicate it as a subscript. 4 Thus, a label (i, j) n for a trajectory on C means that it is calibrated by λ (ij)n := log y j − log y i + 2πi n d log x  Perhaps the most interesting novelty compared to gauge theory is the presence of "double logarithmic" singularities in the differential, of the type when y ∼ x → 0 on one of the branches at the puncture. The corresponding trajectories look like which also spiral into/out of the puncture, but a slower rate than the D2-brane. Cutting off the divergence at |x 0 | = e u , u can be interpreted as the (now finite) area of a holomorphic disk ending on the Harvey-Lawson brane indicated by the dashed line in Fig. 5. In terms of this parameter, the length of the trajectory (4.5) up to |x 0 | displays a t ∼ u 2 /2 divergence naturally associated to a D4-brane.
Around the branch points, the analysis is basically analogous to the gauge theory case, with three BPS trajectories emanating from each ordinary double point, leading to the local structure in Fig. 13. A slight inconvenience in following these trajectories around C is the presence of the logarithmic branch cut running between x = 0 and ∞: The (+−) 0 strand begins/ends at the branch point, but not its image after a non-trivial monodromy around C. As a potential remedy, we have included some partial notes on our numerical implementation in Appendix A.
The most consequential novelty, which we will observe in our first example in section 5, is the need to allow for "stacked" BPS trajectories, in other words, trajectories carrying multiplicity k > 1, with peculiar interaction rules. These interactions of higher multiplicity are necessary to account for "tachyon condensation" that occurs at the intersection of (elementary) BPS trajectories away from the branch points but that does not separate the stacked trajectories. To be more specific, we adopt the notation k(ij) n to indicate multiplicity k. Taking into account that the charges coming into a vertex must add up to zero in the latticeoid of charges, we find that we need to allow for the following interactions of BPS trajectories for every k ≥ 1: Pictorially, one might think of these multiple junctions as a sequence of elementary junctions of the type (+−) 0 + (−+) 1 → (++) 1 followed by (++) 1 + (+−) 0 → (+−) 1 , in the limit in which the interaction vertices sit on top of each other. We have depicted the interaction (4.7) for k = 2 in Fig. 14.

. . . for old Geometries
In the rest of the paper we investigate the three simplest toric Calabi-Yau manifolds: C 3 , the resolved conifold ("local CP 1 "), and local CP 2 . The toric diagrams are shown in Figure 15. In Table 2  Geometry (mirror to the) D-term equations framed curve W = y i   Figure 16: Quiver corresponding to the conifold geometry.

Resolved Conifold
The conifold is the singular geometry It has two small resolutionsX ± obtained by blowing up the ideals (x 1 , x 3 ) and (x 2 , x 4 ), respectively.
The resolutions contain the curves C ± ∼ = CP 1 .
The moduli space is given by the complexified volume of the compact CP 1 , denoted by log Q below. The two large volume regions |Q| >> 1 and |Q| << 1 correspond to the two resolutionsX ± of the conifold and are connected by a birational transformation known as a "flop". The two resolutions are in fact isomorphic. We will see below that the flop transformation acts in an interesting way on spectral networks, providing the first motivation for the junction rules.

Webs and quiver representations
In large volume terminology, the compact branes are classified by their charges Q 2 and Q 0 , where Q 2 is the D2-brane charge wrapping the compact CP 1 and Q 0 the D2-charge.
The central charge is and the stable branes have charge ±Q 2 + nQ 0 , n ∈ Z.
The D0 brane is a bound state of the basic states ("fractional branes") D2 and D2 + D0 respectively. These two basic states are represented in the quiver quantum mechanics by the two nodes of the quiver in Figure 16 and have dimension vectors  Figure   18.   Two intersections correspond to the fields a 1 and a 2 at the two branch points. The third intersection point, away from the two branch points corresponds to two fields b 1 , b 2 , since π : Σ → C is a double covering away from the branch points. The four intersection points on Σ are shown in Figure 19. Taking orientations into account, a 1 and a 2 transform in the dual representation to b 1 and b 2 . Moreover, the two holomorphic disks from the top and bottom of the "pillowcase" in Figure 19 contribute the two terms in the Klebanov-Witten superpotential The resulting quiver for the conifold is shown in Figure 16.

A tale of two phases
Bound states of the two basic branes are realized differently in the two phases. Recall the heuristic picture developed in section 2.3 where bound states are formed by resolving intersections. In the quiver quantum mechanics, the bound states arise from tachyonic fields condensing and the matter fields acquiring a non-zero vacuum expectation value (VEV). In terms of quiver representations, this corresponds to arrows associated to resolved intersections taking non-zero values.
For |Q| > 1, the bound states are made of concatenated copies of the basic finite webs that have detached from the branch point anchors. This precisely mimics the situation in SU (2) gauge theory shown in Figure 4. Indeed, in terms of the quiver in Figure 16, this corresponds to only the b-arrows taking on non-zero values, effectively reducing to the Kronecker-2 quiver of the SU (2) gauge theory. This is in agreement with the representation theory of the conifold quiver as explained in Appendix C. An example bound state corresponding to the representation with dimension vector (2,1) in this phase is shown in Figure 20.

Down the rabbit hole
In the other phase |Q| < 1, naturally, the situation is the opposite. As can be expected, the bound states form by resolving intersections associated to the a-arrows, namely the collision points of the BPS trajectories. This makes use of the junction rules introduced in section 4. A representative bound state in the (k, k + 1) or (k + 1, k) family is shown in Figure 21. The a-intersection points have been resolved by a (+−) k strand. This observation will be useful later to visualize these representations as string modules.
Namely, by symmetry of the two phases, we learn that we should also associate the (k, k + 1) or (k + 1, k) representation of the Kronecker-2 quiver to the resolution of a multiple intersection of (k + 1)(+−) 0 with k(−+) 1 by insertion of a (single) (+−) k stub.

A SLAG's point of view of stringy geometry
A special D0-brane corresponding to dimension vector (1, 1) is shown in Figure 22. A generic D0-brane with both a and b bifundamentals turned on has a (++) or (−−) and is detached from the branch points, as shown in Figure 23.
Unlike the (k, k + 1) and (k + 1, k) bound states, the representation theory of the D0-brane does not reduce to that of the Kronecker-2 quiver. Indeed, all four fields can gain expectation values. For dimension vector (1, 1) the F-term constraints are vacuous, and the resolved conifold geometry is recovered from the quiver quantum mechanics as the GIT theory quotient of four fields with charges (1, 1, −1, −1) by a

A Local Calabi-Yau
Local P 2 is the total space of the bundle O(−3) → P 2 , which can be obtained by resolving the orbifold C 3 /Z 3 . The smooth geometry and the orbifold correspond to the large volume and orbifold points in the complexified Kähler moduli space [62]. The quiver is shown in Figure 27 and has superpotential The spectrum of BPS branes is much richer than in the previous example and displays an intricate wall-crossing structure that was studied in [12]. At large volume, the stable branes are sheaves on CP 2 while near the orbifold point they are in correspondence with quiver representations [63]. In this section we explore the relation between quiver representations and spectral networks near the orbifold point, show an example of Dbrane decay, and identify massless branes at the conifold point. The central charge in various bases, as well as the conversion between them, are given in appendix B.

Orbifold point
The fractional branes near the orbifold point are represented by the orange, green and blue finite webs respectively in Figure 28.   Figure 27.

Kronecker-3 Quiver
We first consider bound states of two of the two fractional branes F 1 and F 2 . The quiver quantum mechanics reduces to the Kronecker-3 subquiver consisting of three arrows b 1 , b 2 , b 3 between the nodes v 1 and v 2 . We label the intersection at the bottom branch point by B and label the two intersection points near the top center by '+' and '−'. This is the same labelling scheme for the Kronecker-3 quiver used in Figure 10.
As explained in section 2.3, resolving intersections corresponds to giving a VEV to the corresponding fields in the quiver quantum mechanics. The notation in the figures to come is explained in the next subsection.
We start by considering bound states corresponding to representations with dimension vector (1, 1). The moduli space of representations is  (++) strand is shown in Figure 33. Less obvious than in the previous case, there is also a family of finite webs interpolating the two pictures, obtained by resolving the 4-way junction in figure 31b.

From tree modules to networks
We now explain how to obtain representations of the Kronecker-3 quiver from exponential networks. In section 3.3 we described a special family of quiver representations for dimension vector (F n , F n+2 ) of the Kronecker-3 quiver in terms of tree modules, where F n is the n-th Fibonacci number. We now wish to exhibit exponential networks corresponding to these representations.
To simplify the translation, and reduce the clutter, we will use an alternative notation that first appeared in Figure 7. In the new notation, there is one label for each copy of the original basic states that make up the bound state. Every label follows a strand that starts and ends where the corresponding basic state did, possibly traveling through resolutions and possibly ending detached from the branch point. Note that the number of labels on a strand is not necessarily equal to its multiplicity. Rather, it can be recovered from the conversions shown in Figures 34a and 34b. We will from now on refer to strands born according to reactions 4.6 and 4.7 as k : k and k + 1 : k strands respectively. The conversion rules might be best illustrated on a sample network of  Figure 34: Converting between (ij) n and tree module notation sufficient complexity. To this end, we show the fully labelled (2,5) representation of the Kronecker-3 quiver realized on local CP 2 , in the "old" (ij) n -notation in Fig. 40, and in the new notation in Fig. 41. Figure 35: Conventions for the the covering quiver. Also, the tree module for dimension vector (1,3). Tree modules can be described in terms of a covering quiver of the original quiver representation. They bear a striking resemblance to quantum Hall halos [54]. In the covering quiver of the Kronecker-3 quiver we will always orient the arrows such that B is in the vertical direction and '+'/'−' are at 120 degrees to B. These conventions are easily illustrated in Figure 35. Giving a covering quiver representation, we slice it horizontally into string modules by forgetting the vertical 'B' arrows. The resulting collection of quivers will correspond to representations of the Kronecker-2 quiver with the two arrows corresponding to '+' and '−'. Each time there is a (k + 1, k) representation of the Kronecker-2 quiver with k copies of C meeting k + 1 copies of C we will associate a k + 1 : k strand to the resolution of the corresponding intersection. This translation agrees with the representation that we gave in Figure 32 for the finite web shown in quiver representation appears in equation (3.14) and Figure 35 illustrates the rules for converting between a finite web and its associated tree module.

More exotic Fibonacci representations
We now turn to the (2,5) and (3,8) Fibonacci representations. There are three families of tree modules corresponding to the three torus fixed points for the representation vector (2,5). The representation shown in Figure 37 corresponds to a finite web with a resolution by a 3:2 strand and two strands detaching from the bottom branch point.
There indeed is such a finite web and it is shown in Figure 38.
There is a second type of representation shown in Figure 39. The corresponding finite web is show in Figure 41 (as well as in Fig. 40 in the "old" notation). An interesting feature is the (++) or (−−) strand that determines if the arrow between the nodes 'e' and 'g' is a '+' or a '-'.
Finally we consider the (3,8) representation shown in Figure 42. The moduli space is again a single point and there is one finite web. The network is shown in Figure 43.  Figure 38: A finite web for dimension (2,5) representation.  Finally we consider a D2-brane brane near the large volume point. In the orbifold basis it has charge (1, 0, −1). From Figure 45a, we see that it becomes massless at the orbifold point. However the CFT is non-singular there so we expect that the D2-brane decays somewhere on the way from large volume. Figure 45 also provides a natural suggestion for the location and mechanism of the decay, namely that the D2-brane decays to objects with charges (1, 0, 0) and (0, 0, −1) on the locus where the periods F 2 and F 0 anti-align [12]. We get a very nice visual corroboration of this fact by plotting the networks, as shown in Figure 46.   Figure 50. The superpotential W = Tr (xyz − xzy) arises from the two holomorphic disks with opposite orientation shown in Figure 49.

Higher framing
As a brief consistency check we verify that the D0 brane exists at higher framing and that its mass is independent of the framing. Figure 51 shows the D0 brane at a framing such that the mirror curve is cubic in y. The additional self-intersection points on C are absent on Σ because the strands lift to different sheets.

Moduli of the D0-brane
The finite web corresponding to the fixed point D0 brane has the following moduli available for deformation. The first modulus is detaching the finite web from its branch point anchor, i.e. moving it towards the waist in the pair of pants shown in Figure 49.
The second modulus is to resolve the left intersection point by opening a (++) 1 /(−−) 1 strand according to the junction rule. The resulting moduli space is drawn in Figure   52. A generic web with both moduli turned on is shown as a member of the fat strip in Figure 52. The size of that strand is arbitrary and can be grown until it eats up the entire finite web. If the finite web is attached to the branch point, the bubble can detach on the other side as shown along both edges in Figure 52, which corresponds  to moving towards on one of the legs. Note that the vertical reflection symmetry implements the interchange of(++) 1 and (−−) 1 in both figures.
Alice: How long is forever?
White Rabbit: Sometimes, just one second.

Non-compact branes
In this section, we describe non-compact D2-and D4-branes. The D4-brane is represented by the strand starting from the branch point running into the puncture x = 0 at ϑ = 0. We regularize its central charge by cutting the strand at some large finite mass.
Non-compact D4-branes can be used to geometrically engineer framed BPS states [65].
Evidence for this identification includes the divergence of the central charge as log(x) 2 (see (4.5)), two oppositely oriented intersections with the D0-brane giving rise to the ADHM quiver in Figure 9 6 , and a compact model in the large volume region of local P 2 , see Figure 44. In a similar way, we identify the strand starting at the branch point and going into the puncture x = ∞ as a non-compact D2-brane: the central charge diverges as log x and we can also recognize it as a decompactified limit of the D2 brane on the resolved conifold (see also (4.3)).
In addition to complexified Kähler moduli, on local Calabi-Yau one should also keep track of the B-field in non-compact directions. If B-fields B 12 , B 34 are turned on in the directions parallel to the D4 brane, then to leading order in the B-field the phase its central charge will be given by i(B 12 + B 34 ). We use this to identify the B-field with the phase ϑ D4 at which the D4 brane exists, see Figure 53.

D0-D4 bound states
Now we consider bound states of the non-compact D4-brane with D0-branes. The central charge of the D0 brane is independent of the B-field, so at nonzero B-field the bound states of the D0 and the D4 have distinct phases and are nicely separated. The bound state of the D4 brane with a D0 brane is shown in Figure 54. The regularization is enforced by imposing that the diverging strand ends at precisely the same point as the 6 The two extra intersections give rise to the fields i and j in the ADHM quiver. The extra holomorphic disk modifies the potential to W = xyz − xzy + zij. The F-term relations for the z field reduce to the ADHM relations after replacing x and y by B 1 and B 2 .  pure D4 (in practice, we simply "shoot" backwards from that point). The regularized central charge obeys the usual additivity 7 .
The moduli space of k D0-branes sitting inside N coincident D4 branes is isomorphic to the moduli space of k-instantons in U (N ) Yang-Mills [66,67]. However this holds at zero B-field, so the bound states all occur at the same phase hence are not readily studied. For N = 1 there are no instantons in pure Yang-Mills, but as explained in [68] the inclusion of a B-field into the problem maps to a non-commutative deformation of the gauge theory, which does admit instantons precisely for N = 1. This problem is also related to the representations of the Nakajima quiver described in section 3.3, and we now make the connection with spectral networks.
According to Nakajima's theorem, and following our identification of finite webs with toric fixed points in moduli space, we should be able to associate a finite web corresponding to a bound state of the D4 and k D0 branes to each partition of k. The bound state of the D4 with two D0's is shown in Figure 55. There is a single (++) or (−−) strand that resolves the intersection corresponding to B 1 or B 2 .
The choice determines whether the corresponding partition is (2)  transposes of each other.
The finite web for the (2,1) partition of 3 is shown in Figure 56. The covering quiver is left-right symmetric and accordingly there is no (++) or (−−) strand, only a (+−) 1 strand.
Recall that the B 1 and B 2 matrices obtained from the covering quiver satisfy the F -term relation [B 1 , B 2 ] + ij = 0 by construction. Mnemonically the F -term relation is equivalent to stability of the covering quiver if it is lying on a wedge and gravity points down the page. We use this condition to eliminate many finite webs, including the one in Figure 57 with a mixed labeling of (++) and (−−).
The partitions of k of type row or column generalize easily to a family of finite webs with k strands of type (++) or (−−). The finite web for those partition of 4 is shown in Figure 58.
The finite web for the square partition, (2,2), of 4 is shown in Figure 59. There is a (+−) 1 strand corresponding to a|bc followed by a (−+) 1 strand bc|d, consistent with the decomposition of the covering quiver. There are no (++) or (−−) strands since the (2,2) partition is its own transpose.
The partition (3,1) of 4 is the first one to which we do not know how to associate a finite web. There is a reasonable looking candidate shown in Figure 60, but the associated covering quiver does not satisfy the F -term relation.

Conclusions
In this paper, we have studied the geometric B-model description of BPS states in N = 2 theories admitting a spectral curve parametrization. One of our main results is a direct and systematic relationship between geodesic networks and quiver representations arising from tachyon condensation. Although our main focus has been on "exponential networks" capturing BPS spectra of local Calabi-Yau manifolds, our method also produces new results for the ordinary spectral networks of Gaiotto-Moore-Neitzke.
(A related way of associating representations to homotopy classes of WKB geodesics in triangulated surfaces appears in [43,69,42].) We hope that a complete understanding of the translation between quiver representations and WKB geodesics will eventually resolve the matching between partitions and networks in Section 7.2.
Although we have seen that many of the constructions from [3,5] can be extended to the mirrors of local Calabi-Yau manifolds, there are many other aspects of spectral networks that should have interesting generalizations to exponential networks. In Section 7.2, we have identified the mirror of non-compact D2-and D4-branes with noncompact cycles on the Riemann surface. These branes can be used to study coupled 3d-5d wall-crossing in a way similar to [70]. Another generalization is to extract spin content from an exponential network, revealing information about the Hodge polynomial of the moduli space of the corresponding quiver quantum mechanics [71]. Finally, exponential networks can be used to lift 4d gauge theory BPS state counting problems to 5d gauge theory BPS state counting problems. An example of this type of lift is the generalization from non-relativistic integrable systems to relativistic integrable systems. Spectral networks corresponding to the periodic nonrelativistic Toda system were used to compute traces of holonomies on the associated cluster variety [72]. Applying the construction of [73] to the local Calabi-Yau manifolds Y p,q results in a family of generalized periodic relativistic Toda systems [74]. It would be interesting to give a string-theoretic derivation of the Goncharov-Kenyon integrable systems [73] using exponential networks.
One of the most promising avenues is giving concrete B-model descriptions of phenomena mirror to well-known A-model constructions. For instance, it should be possible to give a mirror description of the Betti numbers of the moduli space of sheaves on P 2 [75,76] using exponential networks. A more intriguing challenge is to see if there is a B-model explanation for the appearance of mock-modularity in these moduli problems. Perhaps the most pressing challenge is to find a description of the D6-brane on the spectral curve side and its effect on the stability of exponential networks. One of the characteristic properties of the D6-brane is that it does not arise as the boundary of any A-brane. Therefore, it seems unlikely that the mirror of a D6-brane would be a one-dimensional submanifold of the spectral curve since any such trajectory could always be terminated at a point on the curve and therefore would in fact bound a B-brane. We suspect that for a concrete mirror version of Donaldson-Thomas theory in the local case, one will have to reckon with a description of the framing that is non-geometric on the spectral curve.
Finally, there should be a direct proof of the Kontsevich-Soibelman wall-crossing formula [2] for the mirrors of local Calabi-Yau manifolds directly in terms of exponential networks similar to the one in [5].
Locally, away from a branch point, the system of equationṡ determine the local evolution of the network. However, at a branch point, the lifts v i,j (t) coincide, and v i (t) = v j (t). Therefore a more careful analysis is necessary. Consider To solve for y with a consistent choice of branches, we use the following trick: We substitute this into (y − y * ) = ± (x − x * ) 1/2 √ κ , y = y * ± 3 4 y * x * e iϑ (∆t) (x − x * ) . (A.14) The analysis for coverings of higher degree is similar.

B Central Charges of Local Calabi-Yau Manifolds
The Picard-Fuchs equations for local P 2 are [62,77]  and are plotted in Figure 45a.

C Representations of Quivers with Superpotential
In section 5 we used the folklore result that the representation theory of the conifold quiver effectively reduces to the representation theory of the Kronecker-2 quiver. This means that either only the "A" or only the "B" arrows can be non-zero in an indecomposable representation of the conifold quiver, except for when the dimension vector is a multiple of (1, 1). We justify this statement in the simple case of dimension vector (2,1). For other representations, the analysis is similar but more involved. For local P 2 a similar analysis was performed in [12]. In general, it is natural to conjecture that only the representations corresponding to the D0-brane involve all of the fields in the quiver. For local Calabi-Yau manifolds that arise as cones over surfaces, the representations are expected to restrict to representations of an acyclic quiver corresponding to the surface. In the example of local P 2 either the a i , b j , or c k fields will be zero in a representation not corresponding to the D0-brane, reducing the representation theory to that of the Beilinson quiver for P 2 .
Recall that the conifold quiver has superpotential W = a 1 b 1 a 2 b 2 − a 1 b 2 a 2 b 1 and F-term (Jacobian) equations We consider a representation with dimension vector (2, 1). Then a representation will take the form representation. This follows from the fact that ∆(B) = 0 implies that the common image of the maps B 1 , B 2 from C to C 2 is only one dimensional.