Pith. Sign in

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

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 9 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0105045 (version 1)
Pith IDY27DFU7B, Pith's permanent record of this paper and its review
CitationAlbrecht Klemm, Cumrun Vafa, Mina Aganagic. "Disk Instantons, Mirror Symmetry and the Duality Web." arXiv:hep-th/0105045 (2001). https://pith.science/paper/Y27DFU7B
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

The paper asks how to count holomorphic disks ending on a D-brane wrapped over a Lagrangian cycle of a non-compact Calabi-Yau threefold, the instantons that generate a superpotential in the four-dimensional theory living on the brane. Direct counting is hard, so the authors push an earlier mirror-symmetry method through a much larger family of toric geometries, where the mirror brane becomes a point on a Riemann surface $P(u,v)=0$ and the disk amplitude becomes the Abel-Jacobi integral $W(u)=int^u v,du$. The obstacle they have to clear is that the classical disk size $u$ is not the coordinate in which the answer is integral: they identify the correct flat coordinate $hat u$ with the BPS tension of the domain wall a wrapped D4-brane makes when it ends on the D6-brane, and show $hat u$ differs from $u$ only by closed-string instanton corrections. With that coordinate the amplitudes expand in integers whose coefficients count domain walls, and the residual freedom $u o u+nv$ turns out to be a genuine ambiguity of the quantum brane, matching the choice of framing needed to define a Wilson loop in the dual Chern-Simons theory.

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

Editorial extensions of the paper, not claims the author makes directly.

  • 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.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 4,998 input tokens, $0.0002 reported.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.20 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.06 · compares with prior results 0.23 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: theoretical result 0.97 · evidence from proof or derivation 0.95.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 12. In the weak coupling limit, we consider an NS (0, 1) 5-brane with an ALF like space ending on it. If this is connected to (1, 0) and (1, 1) 5-branes in a junction, the only instantons allowed involve the worldsheet instanton stretched along the interval shown on the left-hand side of the figure above, times the 5-th circle which shrinks at the attachment point of the ALF space. There is no other instanton allowed in this geometry. However if NS (0, 1) 5-brane is attached to (1, n) and (1, n + 1) 5-branes the geometry of the intersection dramatically changes (as long as n 6= 0, −1)…
Figure 17. Three phases of the A−brane on O(−3) → P 2 . Phases I and II are related by Z3 symmetry of the P 2 . As the branes in phases I and II are related by the Z3 symmetry of P2 , the special Lagrangian D-branes of the A-model for this Calabi-Yau have two inequivalent phases, together with a Z-family of choices of framing in each. The mirror B-model geometry (see e.g. [34][35][36]) can be written as xz = e u + e v + e −t−u−v + 1 (6.14) 42

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

Evidence: substantial. 63 of the citing papers share no author with it, and 8 of those carry a confident label from Pith's citation classifier.

Pith read 24 of the 178 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 1 of 3 papers with this label
Compares with it 3 of 5 papers with this label · 1 by the same authors

By the same authors

Cites it as support 1 of 3 papers with this label
How the literature uses it

72 arXiv papers cite this in 174 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

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
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
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.