REVIEW
Disk Instantons, Mirror Symmetry and the Duality Web
High Energy Physics - Theory · Submitted 4 May 2001 · 37 references
Pith's verdict: The disk-instanton computations and integrality tables are solid; the framing/IR-ambiguity correspondence is real but only partly verified, and the abstract states it more strongly than Appendix A delivers.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper claims that the coordinate in which D-brane disk instanton counts come out as integers is the BPS tension of a domain wall, and that the leftover integer freedom $u$ to $u+nv$ is a real ambiguity of the quantum brane, matching the
The reading
What carries the argument
The load-bearing device is the period integral of Eq. (4.1), $hat u = rac{1}{2pi i}int_{C_u} v,du$, taken along the contour on the mirror curve $P(u,v)=0$ that starts at the brane, winds once around the shift $v o v+2pi i$, and returns. Because the endpoints differ by $Delta(uv)=2pi i u$ while $u$ itself does not shift, the integral splits into $u$ plus a small period that depends only on the bulk moduli, which is what makes $hat u$ a flat coordinate and simultaneously shows that it is corrected only by closed-string instantons. The same contour logic, applied with the conjugate shift $u o u+2pi i$, defines $hat v$, so the superpotential satisfies $partial_{hat u}W=hat v$ and can be expanded in the integer form whose coefficients are the disk invariants. An $SL(2,mathbb{Z})$ reparameterization of the pair $(u,v)$ acts on the correction terms as a doublet, which is how the framing integer $n$ enters the amplitudes.
Extended reading notes
Core claim
The central claim is that the flat coordinate on the moduli space of a Lagrangian D-brane is the BPS tension of the mirror domain wall, $hat u = rac{1}{2pi i}int_{C_u} v,du$, and that in this coordinate the disk amplitude has an integer expansion $W=sum rac{1}{n^2}N_{k,vec m}exp(n[khat u-vec mcdothat t])$ whose coefficients count D4-brane domain walls ending on the brane. The authors argue $deltahat u/delta u = 1$ exactly, so $hat u$ differs from the classical disk size only by closed-string instanton effects, and they use $partial_{hat u}W=hat v$ to extract integer invariants for branes in $mathbb{C}^3$, $O(K) o mathbb{P}^1 imesmathbb{P}^1$, $O(-3) o mathbb{P}^2$ and $O(K) o mathbb{F}_1$. They further claim that the residual freedom $u o u+nv$ is not a coordinate artifact but an integer IR ambiguity required to define the quantum theory of a brane on a non-compact Lagrangian, mapped to the UV framing choice of the knot in the large-$N$ Chern-Simons dual, to the choice of type IIB coupling in a $(p,q)$ 5-brane web, and through the M-theory lift to the counting of M2-brane instantons on 3-cycles of $G_2$ holonomy manifolds.
Load-bearing premise
The argument rests on the identification of the flat coordinate with the BPS tension of the mirror domain wall, together with the claim that the shift of $v$ across that wall is exactly $2pi i n$ so that $deltahat u/delta u = 1$ with no further open-string corrections; footnote 4 of Section 6 also discloses that the corrected coordinates were originally found by demanding integrality and only afterwards re-derived from the domain wall tension.
Editorial extensions
If this is right
- Disk instanton numbers, and hence the superpotential of the four-dimensional theory on a D6-brane, become computable by mirror symmetry for a broad class of non-compact toric Calabi-Yau threefolds, with the computed coefficients checking out as integers in every worked example.
- Through the M-theory lift, superpotential terms generated by Euclidean M2-branes wrapping 3-cycles of $G_2$ holonomy manifolds become computable by the same chain of dualities.
- In the type IIB description, type IIA disk instantons map to $(p,q)$ string instantons ending on a web of 5-branes in an ALF-like background, giving a second, geometric way to see the integer jumps as the coupling at infinity is varied.
- The framing dependence of Wilson loop observables in Chern-Simons theory at large $N$ acquires a geometric interpretation as the IR ambiguity of the dual Lagrangian brane.
- The integrality of the bulk mirror map, previously without a physical explanation, follows from the integrality of the domain wall counts via relations such as $N_{k,1}=P_k(a_1,dots,a_{k-1})-a_k$ with integer polynomials $P_k$.
Reading between the lines
- If the framing integer and the brane's IR integer are truly the same quantity, one could read off Chern-Simons framing phases for higher representations directly from the toric data, without any gauge theory computation, and check the duality far beyond the unknot.
- The identification suggests a general rule: an open-string flat coordinate is the tension of whatever object shifts the conjugate field by $2pi i$. That rule could be carried to other brane configurations, for instance branes on cycles with more than one modulus or surface operators in four dimensions.
- The authors raise but do not settle whether the integer labels the normalizability of the Wilson-line mode, i.e. a class of metrics at infinity. If so, the ambiguity should be visible as a discrete family of $G_2$ metrics with fixed asymptotics, which is a concrete question for metric moduli rather than for topological strings.
- The Chern-Simons matching was verified explicitly only for the first few coefficients, with the leading large-$p$ behaviour checked for all orders. Extending the exact match to all orders would be a sharp, self-contained test of the identification.
Original abstract
We apply the methods recently developed for computation of type IIA disk instantons using mirror symmetry to a large class of D-branes wrapped over Lagrangian cycles of non-compact Calabi-Yau 3-folds. Along the way we clarify the notion of ``flat coordinates'' for the boundary theory. We also discover an integer IR ambiguity needed to define the quantum theory of D-branes wrapped over non-compact Lagrangian submanifolds. In the large $N$ dual Chern-Simons theory, this ambiguity is mapped to the UV choice of the framing of the knot. In a type IIB dual description involving $(p,q)$ 5-branes, disk instantons of type IIA get mapped to $(p,q)$ string instantons. The M-theory lift of these results lead to computation of superpotential terms generated by M2 brane instantons wrapped over 3-cycles of certain manifolds of $G_2$ holonomy.
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 apply the methods recently developed for computation of type IIA disk instantons using mirror symmetry to a large class of D-branes wrapped over Lagrangian cycles of non-compact Calabi-Yau 3-folds. Along the way we clarify the notion of ``flat coordinates'' for the boundary theory. We also discover an integer IR ambiguity needed to define the quantum theory of D-branes wrapped over non-compact Lagrangian submanifolds. In the large $N$ dual Chern-Simons theory, this ambiguity is mapped to the UV choice of the framing of the knot. In a type IIB dual description involving $(p,q)$ 5-branes, disk instantons of type IIA get mapped to $(p,q)$ string instantons. The M-theory lift of these results lead to computation of superpotential terms generated by M2 brane instantons wrapped over 3-cycles of certain manifolds of $G_2$ holonomy.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We apply the methods recently developed for computation of type IIA disk instantons using mirror symmetry to a large class of D-branes wrapped over Lagrangian cycles of non-compact Calabi-Yau 3-folds. | contribution 0.93 | 0.92 | 0.21 | asserted 1.00 |
| s1 | Along the way we clarify the notion of ``flat coordinates'' for the boundary theory. | contribution 0.89 | 0.89 | 0.05 | asserted 1.00 |
| s2 | We also discover an integer IR ambiguity needed to define the quantum theory of D-branes wrapped over non-compact Lagrangian submanifolds. | result 0.90 | 0.95 | 0.24 | asserted 1.00 |
| s3 | In the large $N$ dual Chern-Simons theory, this ambiguity is mapped to the UV choice of the framing of the knot. | interpretation 0.53 | 0.67 | 0.12 | asserted 1.00 |
| s4 | In a type IIB dual description involving $(p,q)$ 5-branes, disk instantons of type IIA get mapped to $(p,q)$ string instantons. | result 0.85 | 0.73 | 0.13 | asserted 1.00 |
| s5 | The M-theory lift of these results lead to computation of superpotential terms generated by M2 brane instantons wrapped over 3-cycles of certain manifolds of $G_2$ holonomy. | result 0.86 | 0.85 | 0.25 | 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
Figures
Showing 2 of the paper's 19 figures. See all figures in the PDF ↗ Figures reproduced from arXiv:hep-th/0105045 by the authors.
References
How later papers used it
76 later papers cite it
3 later papers by other authors are listed below: 1 used its method or tool, 2 compared their own results with it and 1 cited it as support. 1 of them appears under more than one label. 1 more paper by the same authors is listed: 1 compared its own results with it.
Uses its method or tool 1 of 3 papers with this label
-
Computed the disk amplitude in a similar manner to this paper.
Localization with a Surface Operator, Irregular Conformal Blocks and Open Topological String (2010) · 0.95 · paraphrased: the licence does not allow quoting
Compares with it 3 of 5 papers with this label · 1 by the same authors
-
Compared its own integers with the disk invariants for framing p = -2 obtained in the formulas of this paper after their Equation 6.4.
The Chromatic Lagrangian: Wavefunctions and Open Gromov-Witten Conjectures (2023) · 0.97 · paraphrased: the licence does not allow quoting
-
Compared with this paper and found that it only had to take into account trivial open mirror maps.
Bethe/Gauge correspondence in odd dimension: modular double, non-perturbative corrections and open topological strings (2016) · 1.00 · paraphrased: the licence does not allow quoting
By the same authors
-
Obtained a perfect match of the disk instantons for both brane phases I/II and III considered in this paper.
Five-Brane Superpotentials, Blow-Up Geometries and SU(3) Structure Manifolds (2010) (same authors) · 0.87 · paraphrased: the licence does not allow quoting
Cites it as support 1 of 3 papers with this label
-
Said that the Harvey-Lawson brane in with its various framings, as studied in this paper, gives further evidence.
The Chromatic Lagrangian: Wavefunctions and Open Gromov-Witten Conjectures (2023) · 1.00 · paraphrased: the licence does not allow quoting
How the literature uses it
72 arXiv papers cite this in 174 sentences
Papers citing it · 125 sentences without a confident label
Builds on it 4 papers
-
This was extended by Aganagic, Klemm and Vafa [ref] to include the effect of framing, and the case of the resolved conifold was treated in [ref] .
Open String Invariants and Mirror Curve of the Resolved Conifold · Introduction · 0.85
-
These results were generalized in [ref] , where the role of framing was clarified.] For knot conormals which have passed through the conifold transition, these functions $H$ have been studied as a quantization of the A-polynomials of the knot [ref] ,[The definition of the A-polynomial of a knot is essentially as follows.
Wavefunctions for a Class of Branes in Three-space · Branes and Wavefunctions · 0.85
-
In this appendix, we understand the co-dimension 2 defect partition function as an open refined topological string partition function Z^top_open=Z^pert(1+∑_k=1^∞q_ϕ^k Z_k^def), and extract the refined Ooguri-Vafa (OV) invariants, as a generalisation of the disk invariants [ref] , from the free energy $F^top_open(t,x)=logZ^top_open(t,x)$.
E-string Quantum Curve · Open topological strings and refined Ooguri-Vafa invariants · 0.86
Uses its method or tool 3 papers
-
The closed and open mirror maps are given by [ref] , [equation] where $X=X(x)$ is the open string moduli on the A model side.
Localization with a Surface Operator, Irregular Conformal Blocks and Open Topological String · Toric brane on local Hirzebruch surface $K_F_0$: pure $SU(2)$ · 0.80
-
The closed string parameters can be fixed in each large radius patch by the methods of [ref] , which are reviewed in the next section.
Remodeling the B-model · Moving in the moduli space · 0.86
-
[ref] — and a moduli-dependent analysis of the matching conditions [ref].[A similar analysis of moduli dependent matching conditions is required for building blocks $(Z,S)$ arising from general weak Fano threefold for which Beauville's theorem [ref] is not applicable.]
Effective action from M-theory on twisted connected sum $G_2$-manifolds · Conclusions · 0.92
Compares with it 5 papers
-
On the other hand, we may compare these integers with the disk invariants for framing $p = 2 - 2·2 = -2$ obtained in the formulas of [ref] after their Equation 6.4, where they find $n^(2)_d = 1, 1, 3, 10$ for these same values of $d$.
The Chromatic Lagrangian: Wavefunctions and Open Gromov-Witten Conjectures · Kac polynomial of a quiver · 0.97
-
The gauge flux induces an effective D5-charge on the D7-brane and we will be able to compare the D5-brane superpotential of [ref] to the D7-brane superpotential with appropriate $F_2$ in the local limit.
Computing Brane and Flux Superpotentials in F-theory Compactifications · Toric branes and their mirrors · 0.84
-
Indeed we obtain a perfect match of the disk instantons for both brane phases $I/II$, $III$ considered in [ref] for the choices of superpotential [equation] where we in addition fix the parameters $a_3=a_7=0$ to switch off the contribution of the closed instantons of $Z_3$ through its double logarithmic periods.
Five-Brane Superpotentials, Blow-Up Geometries and SU(3) Structure Manifolds · Brane Superpotential at Large Volume: Disk Instantons · 0.87
Cites it as support 2 papers
-
The Harvey-Lawson brane in $^3$ with its various framings, as studied in [ref] , gives further evidence.
The Chromatic Lagrangian: Wavefunctions and Open Gromov-Witten Conjectures · Open Gromov-Witten Conjectures · 1.00
-
An evidence in this direction is that in [ref] disk amplitudes are expressed precisely in terms of hypergeometric functions with parameters fixed in terms of the masses and the strong coupling scale.
Vertices, Vortices & Interacting Surface Operators · Discussion and Open Issues · 1.00
Cites it as background 26 papers
-
The function $M(Q)$ originally appeared in the work of Aganagic–Klemm–Vafa [ref] as the open mirror map relating Aganagic–Vafa branes [ref] on the canonical bundle $K_^2$ and its mirror, and was used to determine open Gromov–Witten invariants in [ref] .
The proper Landau-Ginzburg potential is the open mirror map · Introduction and Summary · 0.89
-
We are mainly interested in the mirror Type IIB geometry with Calabi-Yau space $Y$ and D5-branes [ref] . $Y$ is a conic bundle [equation] branched over a Riemann surface $Y$ given by $H(x,y;z)=0$ [ref] .
The D5-brane effective action and superpotential in N=1 compactifications · Non-compact Calabi-Yau spaces · 0.91
-
In particular, we review the proposal of [ref] that the one-leg, framed topological vertex obeys a similar set of recursion relations by using the mirror geometry first found in [ref] .
Hurwitz numbers, matrix models and enumerative geometry · Introduction · 0.96
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.