REVIEW
Higgs branch localization in three dimensions
High Energy Physics - Theory · Submitted 20 Dec 2013 · 67 references
Pith's verdict: A careful, honest 3d extension of Higgs branch localization; the one real overreach is the abstract's unconditional phrasing of a result that only holds for |k| ≤ |Nf−Na|/2.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
By adding a Fayet-Iliopoulos-style deformation to the localizing action, the authors show that the path integral of a three-dimensional supersymmetric Chern-Simons-matter theory can be made to collapse onto vortex strings, so that the exact
The reading
What carries the argument
The load-bearing device is the extra $Q$-exact operator $S_{text{def}H} = int Q,mathrm{Tr}[i(epsilon^dagger lambda - lambda^dagger tilde{epsilon}) H(varphi)/2]$, whose bosonic piece is not positive definite on its own but becomes a sum of squares once the auxiliary field $D$ is integrated out along a shifted contour. That shift is what moves the localization locus from the Coulomb branch to the Higgs branch, and the parameter $zeta$ in $H(varphi)$ acts as a knob interpolating between the two pictures. The one-loop determinants around the non-constant vortex backgrounds are obtained from an equivariant index theorem for transversally elliptic operators, reduced along a Hopf or thermal circle to a calculation on the base $S^2$, and the determinants for the chiral multiplets that acquire a vacuum expectation value are extracted as residues. The resulting vortex and antivortex factors are the three-dimensional vortex partition function on the twisted $mathbb{R}^2_epsilon times S^1$ — a K-theoretic refinement of the two-dimensional $Omega$-background vortex partition function — and the same function governs both geometries, only the map of parameters changing.
Extended reading notes
Core claim
The central claim is that for three-dimensional $mathcal{N}=2$ R-symmetric Chern-Simons-matter theories that can be completely Higgsed by a Fayet-Iliopoulos term, the supersymmetric partition function on $S^3_b$ and the superconformal index on $S^2 times S^1$ can both be computed by a Higgs branch localization that is an alternative to the standard Coulomb branch one. The mechanism is a new $Q$-exact deformation whose bosonic part replaces the auxiliary-field equation by $D + sigma_R/f = iH(varphi)$ with $H(varphi) = zeta - sum_i varphi_i^dagger T_a varphi_i$, so that the localization locus now contains, besides a deformed Coulomb branch, discrete Higgs vacua and towers of vortex strings at the northern and southern circles. For finite $zeta$ the allowed vortex numbers are bounded, and the vortex contributions exactly account for the jumps the deformed Coulomb-branch integral undergoes as the contour is pushed past the poles of the chiral one-loop determinant. Taking $zeta to pminfty$ so that the deformed Coulomb branch is suppressed leaves a pure sum $Z = sum_{text{Higgs vacua}} Z_{text{cl}} Z'_{text{1-loop}} Z_v Z_{av}$, and the authors verify in sections 2.5 and 3.5 that for $U(N)$ with $N_f$ fundamentals and $N_a$ antifundamentals this reproduces the Coulomb-branch matrix integral, provided $|k| le |N_f - N_a|/2$.
Load-bearing premise
That the deformed Coulomb-branch contribution can be made to vanish by sending the deformation parameter $zeta$ to $pminfty$, which the paper shows requires the Chern-Simons level to satisfy $|k| le |N_f - N_a|/2$; outside that bound the authors state that reduction to a sum of residues would require 'some more clever procedure (if possible at all).'
Editorial extensions
If this is right
- The $S^3_b$ partition function and the $S^2 times S^1$ index of the same theory are both expressible through one and the same three-dimensional vortex partition function, with the difference absorbed entirely into how the equivariant and flavour parameters are identified.
- For maximally chiral $U(N)$ theories the Coulomb-branch matrix integral can be rewritten as a finite sum over classical Higgs vacua, giving a residue formula that sidesteps the contour-closing bookkeeping of the original integral.
- The deformation parameter $zeta$ gives a continuous picture of the two localizations: as $zeta$ grows, deformed Coulomb-branch solutions branch into vortex solutions at thresholds proportional to $b n + b^{-1} m$ on $S^3_b$ and to $m+n$ on $S^2$, so the jumps in the matrix integral are literally the appearance of new vortices.
- Taking the equivariant parameter to zero and the Chern-Simons level to zero reduces the three-dimensional vortex partition function to the standard two-dimensional vortex partition function in $Omega$-background, tying the three-dimensional result to the two-dimensional story it was modelled on.
Reading between the lines
- The restriction $|k| le |N_f - N_a|/2$ reads less like a statement about factorization itself than about which theories admit a clean large-$zeta$ limit; one plausible reading is that for larger $|k|$ the correct statement needs an extra contribution from the essential singularity at $z=0$ or $z=infty$, which the paper explicitly declines to compute.
- Because the same vortex partition function appears on two different three-manifolds, the construction supplies a path-integral derivation of the 'holomorphic blocks' structure that was previously established by manipulating Coulomb-branch integrals; the factorization is then a consequence of where the deformation pushes the fields, not of contour gymnastics.
- The authors' remark that the Chern-Simons level bound 'apparently has been overlooked before' implies that previously claimed factorizations of three-dimensional partition functions outside that bound deserve a second look.
- If the method extends to lens spaces and to four-dimensional $mathcal{N}=1$ theories as suggested, the same deformation should produce vortex-membrane sums there, and an analogous restriction on Chern-Simons levels or their four-dimensional counterparts should reappear as the condition for the deformed Coulomb branch to be suppressible.
Original abstract
We show that the supersymmetric partition function of three-dimensional N=2 R-symmetric Chern-Simons-matter theories on the squashed S^3 and on S^2 x S^1 can be computed with the so-called Higgs branch localization method, alternative to the more standard Coulomb branch localization. For theories that could be completely Higgsed by Fayet-Iliopoulos terms, the path integral is dominated by BPS vortex strings sitting at two circles in the geometry. In this way, the partition function directly takes the form of a sum, over a finite number of points on the classical Coulomb branch, of a vortex-string times an antivortex-string partition functions.
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 show that the supersymmetric partition function of three-dimensional N=2 R-symmetric Chern-Simons-matter theories on the squashed S^3 and on S^2 x S^1 can be computed with the so-called Higgs branch localization method, alternative to the more standard Coulomb branch localization. For theories that could be completely Higgsed by Fayet-Iliopoulos terms, the path integral is dominated by BPS vortex strings sitting at two circles in the geometry. In this way, the partition function directly takes the form of a sum, over a finite number of points on the classical Coulomb branch, of a vortex-string times an antivortex-string partition functions.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We show that the supersymmetric partition function of three-dimensional N=2 R-symmetric Chern-Simons-matter theories on the squashed S^3 and on S^2 x S^1 can be computed with the so-called Higgs branch localization method, alternative to the more standard Coulomb branch localization. | contribution 0.92 | 0.93 | 0.84 | asserted 1.00 |
| s1 | For theories that could be completely Higgsed by Fayet-Iliopoulos terms, the path integral is dominated by BPS vortex strings sitting at two circles in the geometry. | result 0.61 | 0.73 | 0.12 | asserted 0.91 |
| s2 | In this way, the partition function directly takes the form of a sum, over a finite number of points on the classical Coulomb branch, of a vortex-string times an antivortex-string partition functions. | result 0.84 | 0.82 | 0.26 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v3
- 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
75 later papers cite it
3 later papers by other authors are listed below: 3 used its method or tool.
Uses its method or tool 3 of 9 papers with this label
-
Regularized this paper's expression using the q-Pochhammer symbol and Hurwitz zeta function regularization, similar to other works.
Partition Functions of $\mathcal{N}=1$ Gauge Theories on $S^2 \times \mathbb{R}^2_\varepsilon$ and Duality (2018) · 0.93 · paraphrased: the licence does not allow quoting
-
Closely followed the presentation of appendix B of this paper.
Black hole microstates and supersymmetric localization (2018) · 0.86 · paraphrased: the licence does not allow quoting
-
Worked in this paper's Higgs branch localization scheme, noting it does not affect the matter BPS equations.
Interfaces and Quantum Algebras, I: Stable Envelopes (2021) · 0.89 · paraphrased: the licence does not allow quoting
How the literature uses it
75 arXiv papers cite this in 141 sentences
Papers citing it · 102 sentences without a confident label
Builds on it 1 paper
-
The equations [ref] and [ref] generalize to arbitrary $A$-type backgrounds those of [ref] [ref] .
$\mathcal{N}=2$ supersymmetric field theories on 3-manifolds with A-type boundaries · Real and gauge multiplets · 0.99
Uses its method or tool 9 papers
-
In order to evaluate its large $N$ limit, though, we find more convenient to recast it in a different form, called Bethe Ansatz formula [ref] (see also [ref] for a 3d analog, and [ref] for similar Higgs branch localization formulas).
Black holes in 4d $\mathcal{N}=4$ Super-Yang-Mills · The dual field theory and its index · 0.96
-
Similar to Refs. [ref] , the expression [ref] can be regularized as [equation] where we used the $q$-Pochhammer symbol $(a; q)_n$ defined as (a; q)_n ≡∏_k = 0^n-1 (1 - a q^k) , and the Hurwitz zeta function regularization: ∑_q ≥0 (q + x) = ζ_H (-1, x) = -1/2 (x^2 - x + 1/6) .
Partition Functions of $\mathcal{N}=1$ Gauge Theories on $S^2 \times \mathbb{R}^2_\varepsilon$ and Duality · 1-Loop Determinants · 0.93
-
In this section we will closely follow the presentation of appendix B of [ref] .
Black hole microstates and supersymmetric localization · Supersymmetric Chern-Simons-matter theories in three dimensions · 0.86
Compares with it 4 papers
-
We thus recover the same picture as was found in [ref] in three dimensions.
Higgs branch localization of $\mathcal{N}=1$ theories on $S^3 \times S^1$ · Deformed Coulomb branch · 0.83
-
By comparing 3d vortex partition functions obtained by localization [ref] , we notice that on Higgs branch 3d brane webs of nonabelian theories are abelianized and some internal lines on toric diagrams (brane webs) need to be assigned with empty Young tableaux.
3d $\mathcal{N}=2$ Brane Webs and Quiver Matrices · Introduction · 0.86
-
We emphasize that although similar to [ref] this particular form of $𝒱_H$ with the insertion of the $Γ_5$-matrix as well as the separation of the supercharges $Σ$ and $Σ$ is carefully chosen and has not appeared in the literature before.
Partition Functions of $\mathcal{N}=1$ Gauge Theories on $S^2 \times \mathbb{R}^2_\varepsilon$ and Duality · $δ$-Exact Action and BPS Equations · 0.93
Cites it as support 1 paper
-
Indeed recent works on SUSY localization [ref] imply that CSS sometimes give important contributions [ref] .
Supersymmetric solutions and Borel singularities for N=2 supersymmetric Chern-Simons theories · Introduction · 1.00
Cites it as background 18 papers
-
It is known that in the (Coulomb branch) localization formula for $Z_S_b^3$, picking up poles of the one-loop determinant in a half complex plane gives rise to Higgs branch representation of the partition function including a product of vortex and anti-vortex partition functions for some theories [ref] .
Supersymmetric solutions and Borel singularities for N=2 supersymmetric Chern-Simons theories · Conclusion and discussions · 0.85
-
The study of Higgs branch localisation for 2d $𝒩=(2,2)$ theories on $S^2$ was initiated by [ref] and later extended to $S^3$ partition functions and superconformal indices on $S^2 ×S^1$ in the works [ref] .
Boundaries & Localisation with a Topological Twist · Introduction · 0.84
-
See [ref] for several theoretical perspectives on the factorization.
Anomalies and Holomorphy in Supersymmetric Chern-Simons-Matter Theories · Introduction · 0.95
What it cites · 106 sentences without a confident label
Builds on 1 paper
-
In this paper we have extended the Higgs branch localization framework of [ref] to three-dimensional $=2$ R-symmetric theories on $S^3_b$ and $S^2 ×S^1$.
Partition functions of N=(2,2) gauge theories on S^2 and vortices · Discussion · 1.00
Uses the method or tool of 8 papers
-
As in [ref] , Higgs branch localization can be achieved by adding another $$-exact term to the deformation action.
Partition functions of N=(2,2) gauge theories on S^2 and vortices · The BPS equations · 0.88
-
Following [ref] we consider the factorized ansatz $ϵ_±= f(τ) ϵ_±^S^2(θ,φ)$, where the 2d spinor satisfies $D_μ̂ ϵ_±^S^2 = ±1/2r γ_μ̂ γ^3 ϵ_±^S^2$ with $μ̂=θ,φ$.
Index for three dimensional superconformal field theories with general R-charge assignments · Killing spinors on $S^2 ×S^1$, supersymmetric index and deformed background · 0.94
-
Identifying the equivariant parameters of the $U(1)_∂_ϕ_H×U(1)_R ×G$ action as $ε= 1/ℓ- 1/ℓ̃$, $ε̌= 1/ℓ + 1/ℓ̃$ and $a = -i( 1/ℓ A_φ+ 1/ℓ̃ A_χ) -$, following [ref] we obtain (see appendix [ref]) the one-loop determinant for a chiral multiplet of R-charge $q$ in gauge representation $$:
Exact results for vortex loop operators in 3d supersymmetric theories · One-loop determinants from an index theorem · 0.92
Compares with 4 papers
-
When this work was under completion, we became aware of [ref] which has substantial overlap with our paper.
Higgs branch localization of 3d N=2 theories · Introduction · 0.89
-
This expression is precisely the standard two-dimensional vortex partition function in $Ω$-background, see [ref] .
Partition functions of N=(2,2) gauge theories on S^2 and vortices · Comparison with the two-dimensional vortex partition function · 0.88
-
Such an expression for $Z_vortex$ can be compared with [ref] .
Vortices and 3 dimensional dualities · Matching with the Coulomb branch integral · 0.98
Cites as background 29 papers
-
Lagrangians invariant under the supersymmetry transformations were studied in [ref] .
Notes on SUSY Gauge Theories on Three-Sphere · Supersymmetric theories on three-manifolds · 0.84
-
Lagrangians invariant under the supersymmetry transformations were studied in [ref] .
SUSY Gauge Theories on Squashed Three-Spheres · Supersymmetric theories on three-manifolds · 0.84
-
After the seminal work of Pestun on $S^4$ [ref] , the techniques have been developed in many different contexts, essentially from two to five dimensions (see [ref] for a non-exhaustive list).
Exact Results for Wilson Loops in Superconformal Chern-Simons Theories with Matter · Introduction · 0.89
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.