REVIEW
Mirror Symmetry in Three Dimensional Gauge Theories
High Energy Physics - Theory · Submitted 28 Jul 1996 · 16 references
Pith's verdict: 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.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
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
The reading
What carries the argument
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.
Extended reading notes
Core claim
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.
Load-bearing premise
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.
Editorial extensions
If this is right
- 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.
Reading between the lines
- 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.
Original abstract
We discuss non-trivial fixed points of the renormalization group with dual descriptions in $N=4$ gauge theories in three dimensions. This new duality acts as mirror symmetry, exchanging the Higgs and Coulomb branches of the theories. Quantum effects on the Coulomb branch arise classically on the Higgs branch of the dual theory. We present examples of dual theories whose Higgs/Coulomb branch are the ALE spaces and whose Coulomb/Higgs branches are the moduli space of instantons of the corresponding $ADE$ gauge group. In particular, we show that in three dimensions small $E_8$ instantons in string theory are described by a local quantum field theory.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
We discuss non-trivial fixed points of the renormalization group with dual descriptions in $N=4$ gauge theories in three dimensions. This new duality acts as mirror symmetry, exchanging the Higgs and Coulomb branches of the theories. Quantum effects on the Coulomb branch arise classically on the Higgs branch of the dual theory. We present examples of dual theories whose Higgs/Coulomb branch are the ALE spaces and whose Coulomb/Higgs branches are the moduli space of instantons of the corresponding $ADE$ gauge group. In particular, we show that in three dimensions small $E_8$ instantons in string theory are described by a local quantum field theory.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We discuss non-trivial fixed points of the renormalization group with dual descriptions in $N=4$ gauge theories in three dimensions. | contribution 0.87 | 0.69 | 0.17 | asserted 0.78 |
| s1 | This new duality acts as mirror symmetry, exchanging the Higgs and Coulomb branches of the theories. | interpretation 0.55 | 0.64 | 0.51 | asserted 1.00 |
| s2 | Quantum effects on the Coulomb branch arise classically on the Higgs branch of the dual theory. | interpretation 0.61 | 0.46 | 0.18 | asserted 1.00 |
| s3 | We present examples of dual theories whose Higgs/Coulomb branch are the ALE spaces and whose Coulomb/Higgs branches are the moduli space of instantons of the corresponding $ADE$ gauge group. | contribution 0.60 | 0.79 | 0.22 | asserted 1.00 |
| s4 | In particular, we show that in three dimensions small $E_8$ instantons in string theory are described by a local quantum field theory. | result 0.86 | 0.88 | 0.24 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
290 later papers cite it
3 later papers by other authors are listed below: 1 built on it and 2 used its method or tool.
Builds on it 1 of 4 papers with this label
-
Generalized this paper's mirror duality for U(N_c) with adjoint and 2 flavors, proposing a mirror dual for U(N_c) with adjoint and a generic number N_f flavors.
A tale of exceptional 3d dualities (2018) · 0.96 · paraphrased: the licence does not allow quoting
Uses its method or tool 2 of 9 papers with this label
-
Found the desired theory by applying 3d mirror symmetry from this paper, since it already knew how to realize X as a Higgs branch.
Rozansky-Witten geometry of Coulomb branches and logarithmic knot invariants (2020) · 0.85 · paraphrased: the licence does not allow quoting
-
Obtained the magnetic quiver by applying mirror symmetry from this paper to the reduction of the original theory to three dimensions.
Probing 7-branes on Orbifolds (2022) · 0.81 · paraphrased: the licence does not allow quoting
How the literature uses it
275 arXiv papers cite this in 436 sentences
Papers citing it · 232 sentences without a confident label
Builds on it 2 papers
-
We extend the correspondence between the Coulomb branch of ADE quivers [ref] and the moduli space of ADE instantons, first pointed out for one instanton in [ref] and then generalized to higher instanton number in [ref] .
Coulomb Branch and The Moduli Space of Instantons · Introduction · 0.93
-
GIT being a recipe for realising 3D mirror symmetry, [ref] , we show how it can be suitably extended for cases where mirror duals are not necessarily in a 1-to-1 correspondence.
Factorisation Homology for Class $\cal S$ Theories · Introduction · 0.84
Uses its method or tool 9 papers
-
Following [ref] , we realise this UV completion by constructing the sigma model as the Coulomb branch of a gauge theory.
The Partonic Nature of Instantons · Partons in the $CP^1$ Sigma Model · 0.89
-
These monopole deformations can be systematically analyzed (see [ref] ) using local 3d mirror symmetry [ref] , allowing us to trade monopole operators for polynomial interactions in elementary fields.
D2-brane probes of non-toric cDV threefolds via monopole superpotentials · Introduction · 0.98
-
We then provide two checks of the validity of our results: * Using a letter counting argument, combined with an analysis of the gauge-invariance conditions, we can reproduce to arbitrary order the series expansion of the Hilbert series; * Combining three-dimensional mirror symmetry [ref] applied to the ADHM quiver and the monopole formula [ref] , our results can be cross-checked through the computation of the Coulomb branch Hilbert series of the mirror theory.
Non-Connected Gauge Groups and the Plethystic Program · Introduction · 0.92
Compares with it 3 papers
-
(For $n=2$, $T(SU(n))$ coincides with one of the main examples in [ref] .)
S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory · Introduction · 0.89
-
The dualities we propose bear a strong resemblance to the recently established $𝒩=2$ mirror dualities[We actually expect that our dualities arise from supersymmetry breaking mass deformations of the $𝒩=2$ dualities of [ref] , but an in-depth study of the RG flow from the $𝒩=2$ to the non-supersymmetric dualities goes beyond the scope of this paper.] of [ref] , which themselves arise from suitably chosen mass deformations of $𝒩=4$ mirror pairs [ref] .
Planar Abelian Duals of Chern-Simons QCD · Introduction and Summary · 0.83
-
The pattern of dualities that emerges looks very similar to the dual theories one finds in supersymmetric gauge theories, where these dualties are known as “mirror symmetry" [ref] .
More Abelian Dualities in 2+1 Dimensions · Introduction · 0.81
Cites it as support 2 papers
-
This hyperKähler structure is required by supersymmetry and is sufficient to ensure that there are no further corrections to the action: the one-loop result is exact [ref] .
The Partonic Nature of Instantons · A UV Completion of the Sigma Model · 0.99
-
A recent results that corroborates this expectation appeared recently in [ref] , where it is shown that $4d$ mirror symmetry dualities [ref] (and hence $3d$ mirror symmetry dualities [ref] ) can be proven using only Intriligator-Pouliot (IP) duality, relating theories with $Usp$ gauge group and fundamental matter.
S-confinements from deconfinements · Introduction and summary · 1.00
Cites it as background 161 papers
-
It turns out that different phases appear in different regimes of the theory: * For $2k≥N_f$, the two phases of the theory are $SU(N)_k±N_f/2$, with a single phase transition between them [ref] . * For $2k < N_f < N_⋆(N,k)$, where the theory is strongly coupled, the following phase diagram was proposed in [ref] : When the fermion masses are large, the phases are still $SU(N)_k±N_f/2$.
$QCD_3$ Dualities and the F-Theorem · Phases of $QCD_3$ · 0.89
-
In particular abelian mirror symmetry [ref] by definition maps a topological symmetry $U(1)_J$ in one theory to a flavor symmetry in the dual theory.
Exact results for vortex loop operators in 3d supersymmetric theories · Abelian mirror symmetry · 0.92
-
These tools include the SUSY dualities between certain 2+1D theories known as mirror symmetry [ref] .[More recent developments may be found in [ref] .] We focus on one example of this duality (which we refer to as mirror symmetry for convenience).
Bosonization and Mirror Symmetry · Mirror symmetry and its deformations · 0.83
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.