{"id":"dd90372f-ea51-42bc-81cd-7a921e63c6c0","arxiv_id":"hep-th/9607207","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":9.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"N=4 gauge theories in three dimensions have dual descriptions that exchange Higgs and Coulomb branches, and the E-series quiver theories provide a local quantum field theory for small E8 instantons.","lead":"Three-dimensional N=4 gauge theories can come in dual pairs where one theory's Higgs branch is the other's Coulomb branch, a three-dimensional analogue of mirror symmetry. The paper identifies such pairs for the A and D series and argues that the E-series quiver theories give a local field theory description of small E8 instantons.","discovery_kind":"unification","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The Coulomb-branch-equals-instanton-moduli identification is explicitly verified only for G = SU(n); for SO(2n) and E6,7,8 it rests on dimension counting and assumed symmetry breaking, so the abstract's 'we show' for E8 outruns the body's conditional argument.","rationale":"The paper's core contribution is the A_{n-1} duality, and it is supported by a genuine two-sided metric match: the classical Higgs branch of K_SU(n) (3.5)-(3.6) against the one-loop Coulomb branch of U(1) with n electrons (3.9)-(3.10), and the one-loop Coulomb branch of K_SU(n) (3.7)-(3.8) against the classical Higgs branch of U(1) with n electrons. The n=2 case is matched to Eguchi-Hanson vs Taub-NUT in (3.1)-(3.4). The deformation counts and global symmetry breaking patterns in the section 2 tables are checked consistently. The D_n case is weaker: only the one-dimensional branches are matched (both are the D_n ALE space), and the (2n-3)-dimensional Coulomb branch is 'expected' to coincide with the Higgs branch of SU(2) with n quarks. The E_n case is weaker still: no dual is exhibited, and the identification rests on the dimension count C_2(G) - 1 and the assumed symmetry-breaking patterns. The paper is honest about this, using 'we argue', 'it is expected', and 'it is not known what the dual theories are.' The abstract's 'we show' for E8 is a mild overclaim relative to the body. The reader's weakest_assumption is close but slightly mislocated: one-loop exactness of the Coulomb branch metric is a known result cited to [3,4], not the weak premise. The real gap is the uncomputed identification for D_n and E_n. This does not undermine the paper's core, which is carried by A_{n-1}, so the verdict should remain ACCEPT.","tokens_in":11635,"tokens_out":14090,"duration_ms":300975,"concrete_test":"Compute the one-loop Coulomb branch metric of K_SO(2n) (or K_E8) directly from the quiver data — the same kind of sum over hypermultiplet masses as in (3.8) — and compare it to the known hyper-Kahler metric on the SO(2n) (or E8) one-instanton moduli space, constructed as a hyper-Kahler quotient. If the two metrics agree in the g_cl to infinity limit, the D_n and E_n identifications are established on the same footing as A_{n-1}; if they disagree, the E-series fixed-point and small-E8-instanton claims fail. A cheaper warm-up is the D_n case, where the target metric is the SO(2n) instanton moduli space and the quiver has only U(1) and U(2) factors.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central identification — that the quantum Coulomb branch of K_G is the moduli space of a G-instanton — is explicitly checked only for G = SU(n). There, the one-loop metric (3.8) is matched to the multi-monopole metrics of [16], and the two-sided comparison with U(1) with n electrons (Higgs (3.5)-(3.6) vs Coulomb (3.9)-(3.10), and Coulomb (3.7)-(3.8) vs Higgs) is a genuine derivation. For G = SO(2n), section 4 matches only the one-dimensional branches (both are the D_n ALE space) and states the (2n-3)-dimensional Coulomb branch is 'expected to coincide' with the Higgs branch of SU(2) with n quarks; neither (2n-3)-dimensional metric is computed. For E6,7,8, section 5 has no dual theory and no metric computation: the identification rests on dim = C_2(G) - 1 and the assumed symmetry-breaking patterns E6 to SU(6), E7 to SO(12), E8 to E7. The abstract's 'we show that in three dimensions small E8 instantons ... are described by a local quantum field theory' is therefore stronger than the body's 'we argue' / 'it is expected' / 'it is not known what the dual theories are.' The concern is whether K_E8 actually flows to an interacting fixed point whose Coulomb branch is the E8 instanton moduli space, or whether the dimension count and symmetry pattern are coincidental. Note that one-loop exactness of the Coulomb branch metric is a known result (cited to [3,4]), so the reader's framing of that as the weak premise is slightly off; the real gap is the uncomputed identification for D_n and E_n.","agreement_with_reader":"partial"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The manuscript proposes an infrared duality in three-dimensional N=4 gauge theories that acts as mirror symmetry: it exchanges the Higgs and Coulomb branches, the SU(2)_L and SU(2)_R R-symmetries, and mass and Fayet-Iliopoulos parameters. The theories considered are the Kronheimer quivers K_G built on the extended Dynkin diagram of a simply laced group G, whose Higgs branch is the ALE space C^2/Gamma_G. The authors argue that the quantum Coulomb branch of K_G is the moduli space of a G-instanton and that at the origin the theory flows to an interacting fixed point. The concrete dual pairs are K_SU(n) = U(1)^{n-1} against U(1) with n electrons, and K_SO(2n) against SU(2) with n quarks; the E6, E7 and E8 quivers are claimed to give new fixed points, with K_E8 providing a local field theory description of small E8 instantons. The evidence assembled is a set of non-renormalization arguments for the two branches, exact classical Higgs-branch metrics compared against one-loop Coulomb-branch metrics, and a matching of the latter to the multi-monopole metrics of ref. [16].","tokens_in":11940,"tokens_out":9624,"duration_ms":194309,"significance":"If the duality holds, this is a foundational result. It gives the first field-theoretic realization of mirror symmetry in three dimensions, identifies the Coulomb branch of a quiver with an instanton moduli space, and supplies a local quantum field theory for small E6,7,8 instantons, which is not known to exist in four, five or six dimensions. The geometric reading in the introduction, in which the duality becomes mirror symmetry of a Calabi-Yau compactified on a circle, is a clean and influential observation. The paper deserves credit for not resting on dimension counting alone in the A-series: the classical Higgs metric (3.5)-(3.6) and the one-loop Coulomb metric (3.7)-(3.8) are written explicitly and compared two-sidedly with the U(1)-with-n-electrons metrics (3.9)-(3.10), and the n=2 case is worked out completely as Eguchi-Hanson versus Taub-NUT in (3.1)-(3.4). That is a genuine derivation rather than a restatement, and it is the strongest part of the paper.","major_comments":[{"comment":"The abstract states (abstract:s4) that 'we show that in three dimensions small E8 instantons in string theory are described by a local quantum field theory', but §5 supports this only with the dimension count dim = C_2(E8) - 1 = 29 and with the symmetry-breaking pattern E8 -> E7 with massless moduli in 1/2(56) + 1, phrased as what 'we want the Coulomb branch to reflect' rather than as a computed property of K_E8. No Coulomb-branch metric is computed for any E-series quiver, no dual theory is exhibited, and the section itself says 'it is not known what the dual theories are'. The body is appropriately hedged ('we argue', 'it is expected'), so the mismatch is one of claim strength rather than of hidden error, but the E8 statement is a headline claim and the abstract's 'we show' outruns the argument given. Either supply one independent check, for instance the one-loop Coulomb-branch metric of K_E6 compared against the known E6 one-instanton metric, or 't Hooft anomaly matching for the hidden E8 global symmetry, or recalibrate the abstract to 'we argue' and label the E-series identification in §5 explicitly as a conjecture supported by dimension and zero-mode counting.","section":"Abstract and §5","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The (2n-3)-dimensional Coulomb branch of K_SO(2n) is stated to be 'expected to coincide' with the Higgs branch of SU(2) with n quarks, and neither metric is computed; the check actually performed is the one-dimensional D_n ALE matching together with the symmetry-breaking pattern SO(2n) -> SO(2n-4) x SU(2) with 1/2(2n-4,2) + (1,1). That is a good but partial substitute, and the status of the SO(2n) duality should be stated at the same level of confidence as the E-series, not left to a single 'expected'.","section":"§4","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The text identifies (3.8) with the multi-monopole metrics of ref. [16] and separately with the moduli space of an SU(n) instanton, without relating the two. A sentence explaining that the g_cl^{-2} = 0 limit of (3.8) removes the constant term from the harmonic function and yields the A_{n-1} ALE space, which is the SU(n) one-instanton moduli space modulo R^4 translations, would close the logic for the reader.","section":"§3.2, Eqs. (3.7)-(3.8)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The hypersurface equations, in particular the SO(2r) case X_1^2 + X_2^2 X_3 + X_3^{r-1} = B_G, should be checked against ref. [13], and the scaling weights of X_1, X_2, X_3 under the degree-one scaling of the zeta parameters should be stated explicitly so that the reader can verify the degrees c_a(G) quoted in the following sentence.","section":"§2, Eq. (2.1)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The table does not state that d_H and d_C are in quaternionic units; footnote 5 says so, but the table is read on its own and should carry the same statement in its caption.","section":"§2, table of d_H, d_C, #m, #zeta","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The citation of [15] for the Higgs branch of U(1) with n electrons being the SU(n) instanton moduli space should specify that this is instanton number one and modulo R^4 translations, so that the dimension n-1 matches the d_C entry in the table.","section":"§3.2 and ref. [15]","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The supplied text has broken ligatures and inter-word spacing throughout (for example 'g roup', 'Q uantum', 'd ual', 'th e', 'fixed'); the final version should be checked for these before typesetting.","section":"Whole manuscript","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"This is a letter-length announcement whose A-series analysis is solid and whose E-series claims are stated more strongly in the abstract than the body supports. The required changes are confined to claim calibration and a few clarifications; the physics is sound and likely to be influential, and I would not hold the paper for the E-series computation if the abstract is softened."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"This is the paper that started 3d N=4 mirror symmetry, and it earns that place. The core observation is clean and, in hindsight, obvious in the way good ideas are: the Coulomb branch of a Kronheimer quiver is quantum-corrected while the Higgs branch is not, so a dual description that swaps the two branches turns a one-loop computation in one theory into a classical statement in the other. The FI parameters of one side become the mass parameters of the other, and the U(1) gauge factors carry a hidden global symmetry that is only visible at the fixed point. That last point — that visible and hidden global symmetries get exchanged — is the part I find most useful and it is argued properly in the introduction, not just asserted. The A_n case is worked through honestly: the classical Higgs metric of the U(1)^{n-1} quiver in (3.5)-(3.6) is matched against the one-loop Coulomb metric of U(1) with n electrons in (3.9)-(3.10), and the n=2 case against Eguchi-Hanson versus Taub-NUT. That is a genuine two-sided comparison of distinct Lagrangians, not a restatement, and the tables in section 2 are consistent throughout. The D_n case gets the one-dimensional branches matched and the rest is flagged as expected. The E_6,7,8 section is a proposal: no dual is exhibited, and the identification of the Coulomb branch with the exceptional instanton moduli space rests on the dimension count C_2(G)-1 plus the assumed breaking patterns. The authors say so — section 5 states plainly that the dual theories are unknown — so the record's 'no limitations found' is wrong; the gap is acknowledged in the text. What I would flag is the abstract's 'we show' for small E_8 instantons against the body's 'we argue' and 'it is expected'. That is a mild overclaim, not a fatal one, and it is the only place the paper's framing outruns its argument. One correction to the reader's report: one-loop exactness of the Coulomb metric is not the weak premise, it is cited to [3,4] and is a known result. The real gap is the uncomputed D_n and E_n identifications, exactly as the stress-test says. Read it for the framework and the A_n derivation; treat the E-series as a well-motivated conjecture. It deserves referees.","headline":"The paper that invented three-dimensional N=4 mirror symmetry; the A_n and D_n dual pairs are real derivations, the E-series is a clearly-labelled proposal dressed up slightly too strongly in the abstract.","tokens_in":12722,"tokens_out":1040,"would_cite":true,"duration_ms":23743,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":["81T13","81T60"],"pacs":["11.10.Kk","11.30.Pb"],"model":"selfhosted/deepseek-v4.1-flash","headline":"A pair of three-dimensional gauge theories can describe the same long-distance physics, with one theory's Higgs branch playing the role of the other's Coulomb branch, and one theory's quantum corrections reappearing as classical data in its","keywords":["mirror symmetry","three-dimensional N=4 gauge theory","Higgs branch","Coulomb branch","ALE spaces","instanton moduli space","Kronheimer quiver","small E8 instantons"],"falsifier":"Compute the Coulomb-branch metric of the $K_{SO(2n)}$ or $K_{E_6}$ quiver beyond one loop, or otherwise determine its exact hyper-Kahler geometry, and check whether it coincides with the corresponding instanton moduli space metric; a mismatch in the global symmetry breaking pattern or in the massless spectrum at the origin would refute the identification of the Coulomb branch and with it the claimed exceptional fixed points.","tokens_in":12862,"feed_emoji":"🪞","tokens_out":3362,"duration_ms":68262,"temperature":0.7,"pith_summary":"The paper argues that certain three-dimensional gauge theories with eight supercharges come in dual pairs that meet at the same interacting fixed point, and that the duality acts like a mirror: the Higgs branch of one theory is the Coulomb branch of the other, mass terms trade places with Fayet-Iliopoulos parameters, and two global rotation symmetries swap. The concrete carriers are the quiver gauge theories Kronheimer built to construct the ALE spaces $C^2/Γ_G$ as hyper-Kahler quotients: the Higgs branch is the ALE space, and the authors claim the quantum-corrected Coulomb branch is the moduli space of a single $G$-instanton. This matters because it turns a gravitational statement (ALE instantons) and a gauge statement (instantons of the corresponding $ADE$ group) into two descriptions of one fixed point, and because the Coulomb branch is where quantum effects live in one description and where they vanish in the other, so the duality explains why the two computations agree. The checkable cases are $K_{SU(n)} = U(1)^{n-1}$ dual to $U(1)$ with $n$ electrons, and $K_{SO(2n)}$ dual to $SU(2)$ with $n$ quarks. The $E_6$, $E_7$ and $E_8$ quivers are then claimed to give new fixed points, with the $E_8$ case supplying a local field theory whose long-distance limit is the small $E_8$ instanton.","feed_headline":"Mirror duality swaps Higgs and Coulomb branches in 3D","feed_subtitle":"Two 3D gauge theories describe the same fixed point, each one's quantum corrections turning classical in the other.","key_machinery":"Kronheimer's hyper-Kahler quotient: the quiver group $K_G$ and its adjacently charged hypermultiplets, whose Higgs branch is the ALE space $C^2/Γ_G$ and whose $r$ Fayet-Iliopoulos parameters are exactly the blow-up modes resolving the orbifold to $C^2/Γ_H$ for $H$ obtained from $G$ by adjoint Higgsing. The load-bearing calculational step is the one-loop correction to the Coulomb branch metric, eq. (3.8), which produces the multi-centre Taub-NUT geometry with centres at the mass parameters; this is what lets the authors identify the Coulomb branch with an instanton moduli space rather than merely count its dimension. The dimension count $C_2(G)-1$ (the dual Coxeter number minus one, matching the instanton moduli space after removing $R^4$ translations) and the assumed symmetry-breaking patterns $E_6 → SU(6)$, $E_7 → SO(12)$, $E_8 → E_7$ with the stated massless spectra carry the $E$-series cases.","core_discovery":"For each simply laced group $G$, take the quiver gauge theory $K_G = (∏_i U(n_i))/U(1)$ read off the extended Dynkin diagram, with hypermultiplets on the links. Its Higgs branch is exactly $C^2/Γ_G$, the ALE space, and is protected from quantum corrections because the gauge coupling sits in a background superfield of type $(1+3,1)$ under $SU(2)_L × SU(2)_R$ and so can only enter the Coulomb branch. The paper's claim is that the Coulomb branch, classically $(R^3 × S^1)^{C_2(G)-1}$, is corrected by quantum effects into the moduli space of one $G$-instanton, with the origin the zero-size instanton, and that at the origin the two branches meet at an interacting renormalization-group fixed point carrying an accidental global $G$ symmetry visible only at long distance. The duality then says the fixed point has a second description in which the two branches are exchanged, so the quantum-corrected Coulomb branch of one theory is the classical Higgs branch of the other, and the $r$ Fayet-Iliopoulos parameters of one are the $r$ independent mass parameters of the dual. The authors verify the metric matching explicitly for $G = SU(n)$: the multi-Taub-NUT metric computed at one loop in (3.8) coincides with the multi-monopole metric of the literature and, after sending the classical coupling to infinity and relabelling $ζ_i → m'_i$, with the Higgs-branch metric of $U(1)$ with $n$ electrons.","pith_inferences":["If the Coulomb branch really is the one-instanton moduli space for every simply laced $G$, the statement should be extendable to $k$ instantons by taking $k$ units of the relevant magnetic charge, which would predict a family of fixed points whose Coulomb branches are multi-instanton moduli spaces and whose dimensions grow with $k$.","The metric matching is a statement about hyper-Kahler geometry that can be tested independently of the gauge theory: the Coulomb-branch metric for $K_{SO(2n)}$ should equal the $D_n$ ALE metric in the limit where the classical coupling is taken to infinity, and for the exceptional groups it should equal the known one-instanton metrics on the corresponding moduli spaces.","Because the duality is claimed only as a long-distance statement, with both sides free at short distance, the natural place to look for a sharp test is a protected quantity that survives the limit, such as the spectrum of BPS states or the anomaly coefficients of the accidental global symmetry.","The exchange of Fayet-Iliopoulos parameters with mass parameters suggests the hidden symmetry's rank equals the number of $U(1)$ factors, so the $E_8$ quiver should exhibit a hidden rank-8 symmetry whose Cartan subgroup is directly measurable as the eight conserved currents."],"forward_implications":["The $E_6$, $E_7$ and $E_8$ quivers flow to interacting fixed points in three dimensions whose Coulomb branches are the moduli spaces of the corresponding exceptional instantons, giving new strongly coupled theories with no known Lagrangian dual.","Small $E_8$ instantons in string theory acquire a local quantum field theory description in three dimensions, something not known in four, five or six dimensions.","The duality exchanges visible and hidden global symmetries: the manifest flavour symmetry of one description appears as an accidental symmetry generated at long distance in the other, with the Cartan part visible as the conserved current $*F$ of each gauge $U(1)$ factor.","Compactifying a mirror pair of Calabi-Yau spaces on circles of inverse radii gives two three-dimensional theories that become indistinguishable, so the gauge-theory duality reproduces mirror symmetry of the Calabi-Yau pair.","Turning on Fayet-Iliopoulos parameters breaks $K_G$ to $K_H$ for $H$ adjointly embedded in $G$, and the duality survives in the low-energy theory, giving a nested family of dual pairs."],"supporting_citations":[{"why":"Supplies the hyper-Kahler quotient construction of the ALE spaces that defines the quiver gauge groups $K_G$ and identifies their Higgs branches with $C^2/Γ_G$.","marker":"[12]"},{"why":"Establishes the three-dimensional fixed points of $U(1)$ with $n$ electrons and $SU(2)$ with $n$ quarks, which are the proposed duals of the $A$ and $D$ quivers.","marker":"[3]"},{"why":"Provides the field-theoretic analysis of the Coulomb branches, including the one-loop corrections and the mass and Fayet-Iliopoulos deformations used throughout.","marker":"[4]"},{"why":"Supplies the multi-monopole metrics that the one-loop Coulomb-branch metric of eq. (3.8) is matched against.","marker":"[16]"},{"why":"Interprets the Higgs branch of $U(1)$ with $n$ electrons as the moduli space of $SU(n)$ instantons, supporting the instanton identification of the dual Coulomb branch.","marker":"[15]"},{"why":"Gives the hypersurface equations (2.1) for the blown-up ALE spaces used to describe the deformed Higgs branches.","marker":"[13]"},{"why":"Supplies the symmetry-breaking patterns and massless spectra on the instanton moduli spaces, which the $D$ and $E$ Coulomb branches are required to reproduce.","marker":"[6]"},{"why":"Provides the two-dimensional precedent in which mirror symmetry appears as duality of abelian gauge theories and superpotential mass terms are exchanged with Fayet-Iliopoulos terms.","marker":"[10]"},{"why":"Notes that instantons violate the conservation of the non-Abelian currents, which is why only the $U(1)$ factors yield the hidden conserved currents $*F$.","marker":"[11]"}],"fun_headline_variants":["Mirror symmetry trades Higgs for Coulomb branches in 3D","Quantum corrections turn the Coulomb branch into instanton moduli","Dual 3D gauge theories share one interacting fixed point","Explicit metric match covers SU(n); general ADE is only asserted","Small E8 instantons are described by a local quantum field theory"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The load-bearing premise is that a single one-loop computation gives the exact Coulomb-branch metric, so that the Coulomb branch can be identified with the $G$-instanton moduli space; this is shown explicitly only for $G = SU(n)$, is stated as an expectation for $SO(2n)$, and for $E_6$, $E_7$, $E_8$ rests on the dimension count $C_2(G)-1$ together with the assumed symmetry-breaking patterns.","fun_headline_variants_meta":{"raw":{"variants":["Mirror symmetry trades Higgs for Coulomb branches in 3D","Quantum corrections turn the Coulomb branch into instanton moduli","Dual 3D gauge theories share one interacting fixed point","Explicit metric match covers SU(n); general ADE is only asserted","Small E8 instantons are described by a local quantum field theory"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":2788,"prompt_tokens":983,"completion_tokens":1805,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":1730}},"tokens_in":983,"tokens_out":1805,"duration_ms":27662,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":1730,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T19:12:46.477900+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"Compute the Coulomb-branch metric of the $K_{SO(2n)}$ or $K_{E_6}$ quiver beyond one loop, or otherwise determine its exact hyper-Kahler geometry, and check whether it coincides with the corresponding instanton moduli space metric; a mismatch in the global symmetry breaking pattern or in the massless spectrum at the origin would refute the identification of the Coulomb branch and with it the claimed exceptional fixed points.","supporting_citations":[{"cited_title":"Kronheimer, Jour","cited_arxiv_id":null,"evidence_quote":"Supplies the hyper-Kahler quotient construction of the ALE spaces that defines the quiver gauge groups $K_G$ and identifies their Higgs branches with $C^2/Γ_G$."},{"cited_title":"IR Dynamics on Branes and Space-Time Geometry","cited_arxiv_id":"hep-th/9606017","evidence_quote":"Establishes the three-dimensional fixed points of $U(1)$ with $n$ electrons and $SU(2)$ with $n$ quarks, which are the proposed duals of the $A$ and $D$ quivers."},{"cited_title":"Gauge Dynamics And Compactification To Three Dimensions","cited_arxiv_id":"hep-th/9607163","evidence_quote":"Provides the field-theoretic analysis of the Coulomb branches, including the one-loop corrections and the mass and Fayet-Iliopoulos deformations used throughout."},{"cited_title":"The Moduli Space of Many BPS Monopoles for Arbitrary Gauge Groups","cited_arxiv_id":"hep-th/9602167","evidence_quote":"Supplies the multi-monopole metrics that the one-loop Coulomb-branch metric of eq. (3.8) is matched against."},{"cited_title":"Branes within Branes","cited_arxiv_id":"hep-th/9512077","evidence_quote":"Interprets the Higgs branch of $U(1)$ with $n$ electrons as the moduli space of $SU(n)$ instantons, supporting the instanton identification of the dual Coulomb branch."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the hypersurface equations (2.1) for the blown-up ALE spaces used to describe the deformed Higgs branches."},{"cited_title":"Monopoles, duality and chiral symmetry breaking in N = 2 supersymmetric QCD","cited_arxiv_id":"hep-th/9408099","evidence_quote":"Supplies the symmetry-breaking patterns and massless spectra on the instanton moduli spaces, which the $D$ and $E$ Coulomb branches are required to reproduce."},{"cited_title":"Towards Mirror Symmetry as Duality for Two-Dimensional Abelian Gauge Theories","cited_arxiv_id":"hep-th/9508107","evidence_quote":"Provides the two-dimensional precedent in which mirror symmetry appears as duality of abelian gauge theories and superpotential mass terms are exchanged with Fayet-Iliopoulos terms."},{"cited_title":"Quark Confinement And The Topology of Ga uge Groups,","cited_arxiv_id":null,"evidence_quote":"Notes that instantons violate the conservation of the non-Abelian currents, which is why only the $U(1)$ factors yield the hidden conserved currents $*F$."}],"review_version":1}