{"id":"d643420c-0e43-4cac-a275-29f23e4ea808","arxiv_id":"hep-th/9609239","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"Exact N=2 gauge theory results, including Seiberg-Witten curves and instanton expansions, are derived from local Calabi-Yau geometry and mirror symmetry in type IIA string theory.","lead":"This paper shows how exact results in N=2 supersymmetric gauge theories, including the Seiberg-Witten solution, can be derived from type IIA string theory on local Calabi-Yau geometries using mirror symmetry, without invoking any duality conjecture. It founded the geometric engineering program that connects string geometry to exact quantum field theory.","discovery_kind":"new_method","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The load-bearing step is the local mirror prescription (Eq. 4.8): that the periods of Omega on the curve satisfy the Picard-Fuchs operators (Eq. 4.6). It is acknowledged as not fully developed but is checked against Seiberg-Witten for F0, F1, F2, so the concern does not overturn the verdict.","rationale":"The paper's central claim — that exact N=2 results follow from local CY geometry plus local mirror symmetry without duality conjectures — is supported by a chain of nontrivial checks: the local mirror curve of F0, F1, F2 reduces to the Seiberg-Witten curve (Eq. 5.5), the periods reduce to SW periods (§5.1), and the worldsheet instanton growth matches the field-theory coefficients Fn (Table 1, Eq. 5.2). The reader correctly identifies the local mirror prescription (Eq. 4.8) as the load-bearing premise. I agree, with one refinement: the concern is not that the prescription is unvalidated — it is validated for the cases treated — but that the validation is a posteriori (matching known SW answers) rather than an independent derivation, and the abstract's 'arbitrary N=2 gauge theories' claim outruns the demonstrated examples. The authors acknowledge the local prescription 'has not been fully developed' (§4), so this is an acknowledged scope limitation, not an internal inconsistency. The verdict of ACCEPT with MODERATE confidence is appropriate; I would not change it. The concrete test I propose (explicitly checking that the F2 curve periods satisfy the PF operators) would convert the implicit validation into an explicit one and settle whether the residue argument hides an assumption.","tokens_in":20845,"tokens_out":9740,"duration_ms":147460,"concrete_test":"Independently verify, for F2, that the periods of Omega = log P dz/z on the curve P = a1 z + a2/z + b2 + b1 t + b0 t^2 = 0 (Eq. 4.5) satisfy the PF operators L1, L2 of Eq. 4.7 to several orders in zb, zf, without invoking the compact embedding. If the periods satisfy the operators identically, the local prescription is self-consistent for this case; if not, the residue argument (Eq. 4.10) hides an assumption about which 3-cycles descend to 1-cycles.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the claim in §4.2 that the periods of Omega = log P dy1/y1 wedge dy2/y2 on the curve S-hat (Eq. 4.8) solve the Picard-Fuchs operators (Eq. 4.6) derived from the charge vectors. The residue argument (Eq. 4.10) shows Omega reduces to a meromorphic 1-form on S-hat, but it does not by itself prove that the periods of that 1-form satisfy the PF equations; the identification is asserted ('whose periods solve the relevant PF equations') rather than derived. The paper validates the prescription a posteriori: for F0, F1 and F2 the epsilon -> 0 limit of the curve and its periods reproduces the Seiberg-Witten curve (Eq. 5.5) and periods (§5.1-5.2), and the worldsheet instanton numbers d_{n,m} computed from the local mirror grow as m^{4n-3} with coefficients gamma_n matching the field-theory Fn (Table 1, Eq. 5.2). These are nontrivial checks — three distinct geometries collapse to the same SW data — so the concern is mitigated for the cases treated. What remains unresolved is the abstract's claim to handle 'arbitrary N=2 gauge theories': §6.3 is programmatic ('we are optimistic'), and the authors themselves state in §4 that 'the local application we have in mind has not been fully developed.' The concern is therefore an acknowledged scope limitation, not an internal inconsistency.","agreement_with_reader":"agree"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The manuscript proposes 'geometric engineering': realizing four-dimensional N=2 gauge theories as the local geometry of a type IIA compactification on a Calabi-Yau threefold that contains a fibration of an ADE surface over a P1, and then extracting exact quantum field theory data by applying mirror symmetry locally. The authors argue that the M_Planck -> infinity limit corresponds to growing the base P1 while shrinking the fiber (Eq. 2.1), that worldsheet instantons wrapping the base are the gauge-theory instantons (via the K3 field equation, Eq. 3.1), and that the local mirror is a Riemann surface S-hat with a meromorphic one-form Omega = log P dy1/y1 ^ dy2/y2 (Eq. 4.8) whose periods obey the Picard-Fuchs operators read off from the toric charge vectors (Eq. 4.6). The central worked example is pure SU(2): for F0, F1 and F2 the curve P = z + 1/z + b2 + b1 t + b0 t^2 = 0 is shown to reduce, after t = sqrt(2) x - b1/2 and z = y - (x^2 - u), to the Seiberg-Witten curve y^2 = (x^2 - u)^2 - Lambda^4 (Eq. 5.5), and the worldsheet instanton numbers d_{n,m} computed from the local Picard-Fuchs system are shown to grow as m^{4n-3} with coefficients gamma_n that reproduce the field-theory instanton coefficients F_n. Generalizations to SU(n+1) without matter (Eq. 6.3-6.6) and with one fundamental (Eq. 6.10-6.13) are given, and the general program is sketched in §6.3.","tokens_in":21223,"tokens_out":4447,"duration_ms":78011,"significance":"If the construction holds, it converts a class of exact N=2 results — the Seiberg-Witten curve, its periods, and the instanton expansion — into statements about T-duality of type II strings, and it does so without invoking a strong/weak duality conjecture. The paper's concrete strengths are worth naming. First, the same field-theory limit is verified for three distinct local geometries (F0, F1, F2), which is a nontrivial consistency check rather than a single fit. Second, the asymptotic growth law d_{n,m} ~ gamma_n m^{4n-3} (Eq. 5.2) is derived from the requirement of a finite field-theory limit and then confirmed against the tabulated instanton numbers, with the coefficients matched to the independently known Seiberg-Witten values through gamma_n = 2^{3(3n-1)}(4n-3)! F_n; this is a parameter-free comparison up to an overall normalization of a. Third, the embedding of the Seiberg-Witten curve into the local mirror curve (§5.1) is explicit and falsifiable, and the SU(2)-with-matter case (Eq. 6.12) reproduces the known curve with the mass parameter identified in Eq. 6.13. The method has been widely used since; the paper is a foundational methods contribution.","major_comments":[{"comment":"The abstract (abstract:s0, abstract:s1) states that the method 'can be used in principle to construct in a systematic way the vacuum structure for arbitrary N=2 gauge theories with matter representations.' What is actually carried out is pure SU(2) for three resolutions (§5), SU(n+1) without matter (§6.1), and SU(n+1) with at most one fundamental (§6.2); §6.3 is explicitly programmatic ('we are optimistic that the scaling behavior will lead us to realize the periods...'). The word 'in principle' hedges the claim, but the gap between 'arbitrary N=2 gauge theories with matter representations' and the worked set is large enough that a reader could take the abstract as a stronger generality claim than the body supports. I would ask the authors to state in the abstract the class of theories for which the construction is actually executed, and to reserve the general statement for §6.3 where its status as a program is clear.","section":"Abstract; §6.3","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The load-bearing step of the whole construction is the assertion, immediately below Eq. (4.8), that the periods of Omega = log P dy1/y1 ^ dy2/y2 on S-hat 'solve the relevant PF equations.' The residue manipulation in Eq. (4.10) shows that Omega reduces to a meromorphic one-form on S-hat, but it does not by itself establish that the periods of that one-form satisfy the operators (4.6) derived from the charge vectors. The authors are aware of this and say so in the introduction to §4 ('the local application we have in mind has not been fully developed'), and they validate the prescription a posteriori for F0, F1 and F2 in §5.1-5.2. My request is therefore not for a new proof but for a crisp statement of logical status: which step is an ansatz, which is derived, and which is verified case by case. As written, a reader skimming §4.2 could mistake the identification for a theorem, and the paper's own framing ('we will now show this is indeed the case') invites that reading.","section":"§4.2, Eqs. (4.6)-(4.10)","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The charge vectors are introduced as v(1) = (1, 1, -2, 0, 0), v(2) = (0, 0, 1, -2, 1), but the toric discussion later in the same subsection states 'The charge vectors (1, 1, 2, 0, 1) and (0, 0, 1, -2, 1) are identified with the Mori vectors of F2.' The first vector here appears to be a typographical corruption of (1, 1, -2, 0, 0); as printed it does not sum to zero and would violate the triviality of the canonical bundle stated two paragraphs earlier.","section":"§4.1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"In the P1 x P1 discussion the text says 'As in the F1 case, there is another toric divisor in the local model X,' but F1 has not yet been introduced at that point (it is treated two paragraphs later). This should presumably read 'As in the F2 case.'","section":"§4.3","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The table of instanton numbers is referred to in the text as 'table 1' but carries no caption or number in the manuscript. Adding a caption that defines the columns (m, d^F0_{0,m}, d^F0_{1,m}, ..., gamma_n) and states the normalization convention would make the table self-contained.","section":"§5, Table 1","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The variable identifications in Eq. (5.6) are printed as x1 = Lambda2u and x2 = Lambda2 e^{-S-hat/2}u, which is ambiguous between Lambda^2 u and Lambda_2 u. The surrounding text uses Lambda^2 elsewhere; the exponents should be typeset consistently.","section":"§5.2, Eq. (5.6)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"References [2] (Strominger, Nucl. Phys. B452 (1995) 96) and [8] (Kachru-Vafa, Nucl. Phys. B450 (1995) 69) are both listed with the preprint number hep-th/9505105, and references [17] (Katz-Morrison-Plesser) and [21] (Berglund-Katz-Klemm-Mayr) are both listed as hep-th/9601108. At least one entry in each pair appears to carry a duplicated preprint number and should be checked against the published versions.","section":"References","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"There are several typographical errors that should be corrected in the final version: 'Riemnann' (§4.2), 'leeads' (§5.1), 'rigorizing' (§4.2), 'the the' and 'Su(2)' (§5.2), and the spacing in the corresponding author's email address on the title page.","section":"Passim","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"This is a foundational methods paper whose central construction is sound and whose main quantitative checks (three resolutions collapsing to the same Seiberg-Witten data, and the parameter-free match of gamma_n to F_n) are convincing. The requested revisions are confined to the abstract's breadth claim and to a clearer statement of the logical status of the local mirror prescription; neither requires new computation. I regard the paper as clearly suitable for the journal once these are addressed."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"This is the paper that started geometric engineering, and it holds up. The core move is simple to state and genuinely useful: put an ADE singularity over a base curve inside a local Calabi-Yau, take the base large and the fiber small, and read off N=2 gauge theory data from the resulting geometry. The concrete payoff is Section 5, where the local mirror of F0, F1 and F2 all collapse in the double-scaling limit to the Seiberg-Witten curve (Eq. 5.5), and the worldsheet instanton numbers grow as m^{4n-3} with coefficients matching the field-theory Fn. Three different geometries landing on the same SW data is not a trivial check, and the extension to SU(n+1) with and without matter in Section 6 is done with real care — the charge vectors, the curve, and the discriminant limits are all written out explicitly enough to follow with a pencil. The argument in Section 3 that worldsheet instantons wrapping the base are gauge instantons, via the K3 field equation (3.1), is a nice piece of physics and does not lean on any duality conjecture. That part of the framing is fair, not salesmanship: mirror symmetry is a T-duality, and reducing field theory results to it is a real reduction in what you have to believe. Where I would push back: the abstract's claim to handle 'arbitrary N=2 gauge theories' is not what the paper delivers. Section 6.3 is explicitly programmatic — 'we are optimistic' — and the authors say in Section 4 that local mirror symmetry 'has not been fully developed.' That is an honest admission, and it is the right place to put the weight. The prescription that periods of Omega (Eq. 4.8) solve the Picard-Fuchs operators (Eq. 4.6) is asserted, with a residue argument that shows the reduction to a one-form but not that the periods satisfy the PF system. The a posteriori checks are what carry it. Table 1's instanton numbers are quoted without showing the PF expansion, which is a reproducibility gap rather than an error — anyone with the operators can redo it. Minor: the trR∧R term dropped in (3.1) deserves a sentence. Who should read it: anyone working on N=2 geometry, prepotentials, or local mirror symmetry. It deserves referees and it deserves citing.","headline":"The founding paper of geometric engineering: the construction is real and the checks are nontrivial, but the abstract oversells the scope and the local mirror prescription is asserted more than derived.","tokens_in":21830,"tokens_out":973,"would_cite":true,"duration_ms":14216,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":["14J32","14M25","81T30","81T60"],"pacs":["11.25.Mj","11.30.Pb"],"model":"selfhosted/deepseek-v4.1-flash","headline":"Exact gauge-theory instanton results are derived from string geometry alone, without assuming any duality.","keywords":["geometric engineering","local mirror symmetry","N=2 supersymmetric gauge theory","Seiberg-Witten curve","worldsheet instantons","Picard-Fuchs equations","Calabi-Yau threefold","Hirzebruch surface"],"falsifier":"Compute the local-mirror Picard-Fuchs system for a case whose exact field-theory answer is independently known but was not used to build the construction — for instance a higher-rank theory with matter, or a case where the discriminant fails to degenerate to the rigid $SU(n)$ discriminant as in the $SU(3)$ check — and show that the periods disagree beyond leading order in $ǫ$. Equivalently, find a toric local model whose worldsheet instanton numbers violate the predicted growth $d_{n,m} ∼ γ_n m^{4n-3}$ for some $n$.","tokens_in":22188,"feed_emoji":"🌀","tokens_out":3163,"duration_ms":48342,"temperature":0.7,"pith_summary":"The paper asks whether the exact quantum answers known for four-dimensional $N=2$ supersymmetric gauge theories can be obtained directly from string theory, rather than smuggled in through a duality conjecture. The authors' answer is yes: place a shrinking sphere (an $A_1$ singularity) inside a Calabi-Yau threefold, fiber it over a large base sphere, and the resulting type IIA geometry reproduces pure $SU(2)$ Yang-Mills in the limit where the base grows and the fiber shrinks while gravity is switched off. The bridge between the two sides is local mirror symmetry: the mirror of the local geometry is a Riemann surface with a meromorphic one-form, and its periods obey Picard-Fuchs equations whose field-theory limit is exactly the Seiberg-Witten elliptic curve. The check is quantitative, not just qualitative: the worldsheet instanton numbers wrapping the base grow as $m^{4n-3}$ in the fiber wrapping number $m$, and the extracted coefficients match the known gauge-instanton coefficients $F_n$ of Seiberg-Witten theory. If correct, exact non-perturbative field theory results rest on T-duality of type II strings, which is far better established than any strong/weak duality conjecture.","feed_headline":"Gauge theory instantons fall out of string geometry","feed_subtitle":"Shrinking a sphere inside a Calabi-Yau reproduces the Seiberg-Witten curve and its instanton numbers exactly.","key_machinery":"Local mirror symmetry. For a local Calabi-Yau neighborhood $X$ of a surface $S$, the authors write the mirror as a Riemann surface $Ŝ$ obtained by projectivizing the mirror coordinates, together with the meromorphic one-form $Ω = log P (dy_1/y_1)∧(dy_2/y_2)$, whose derivatives $a_i ∂_{a_i} Ω$ give unambiguous forms on $Ŝ$. Periods of $Ω$ satisfy Picard-Fuchs operators read off from the toric charge vectors, $∏_{q^{(k)}_i>0} (∂/∂a_i)^{q^{(k)}_i} = ∏_{q^{(k)}_i<0} (∂/∂a_i)^{-q^{(k)}_i}$, and these operators depend only on the local data, not on which compact Calabi-Yau contains $X$. This is what lets a threefold period problem collapse to a curve period problem, and it is the step that turns the geometry into computable gauge-theory data.","core_discovery":"The central claim is that non-trivial exact results for $N=2$ gauge theories in four dimensions follow from type IIA string theory compactified on a *local* Calabi-Yau geometry, with no duality conjecture as input. Concretely, an $A_1$ singularity fibered over a $P^1$ — realized by a Hirzebruch surface $F_n$ sitting inside a Calabi-Yau threefold — gives $SU(2)$ gauge symmetry, with $1/g^2$ set by the area of the base and the $W^+$ mass by the area of the fiber. Worldsheet instantons wrapping the base are identified with spacetime gauge instantons, via the six-dimensional equation $d*(e^{-2φ})H = tr R∧R - tr F∧F$, and the perturbative running of the coupling is recovered by resumming the multi-covers of the single holomorphic fiber curve. The authors then build a local mirror: a Riemann surface $P = a_1 z + a_2/z + b_2 + b_1 t + b_0 t^2 = 0$ with a meromorphic one-form, whose periods solve Picard-Fuchs equations derived directly from the toric charge vectors. In the double-scaling limit $q_b ∼ ǫ^4$, $q_f → 1$, this curve becomes the Seiberg-Witten curve $y^2 = (x^2-u)^2 - Λ^4$, and the asymptotic growth of the computed worldsheet instanton numbers reproduces the field-theory instanton coefficients, with $γ_n = 2^{3(3n-1)}(4n-3)! F_n$. The construction is then extended to $SU(n+1)$ without matter and to $SU(n+1)$ with fundamental matter, where the local mirror curve becomes the corresponding matter Seiberg-Witten curve with $Λ^3(x+m)$.","pith_inferences":["The framework suggests a practical algorithm: read off charge vectors from the divisor intersections of the singular geometry, solve the resulting Picard-Fuchs system, and identify the discriminant locus; the field-theory limit is then the tangency structure of that discriminant with the large-base divisor. This is a route to Coulomb branches for theories where no curve is known.","Because the local mirror curve depends only on the neighborhood of the singular surface, the results are insensitive to the global Calabi-Yau used to embed it — an assertion of locality that could be tested by comparing two embeddings with different global topology but the same local model.","The asymptotic growth law $d_{n,m} ∼ γ_n m^{4n-3}$ is a falsifiable regularity of Gromov-Witten invariants of these non-compact toric geometries; it could be checked independently by localization or by direct curve counting for $n \\geq 3$ where the paper gives no table.","The absence of any duality input suggests the same strategy could reach $N=1$ theories and theories with non-simply-laced gauge groups via outer automorphisms, where the field-theory answers are far less settled."],"forward_implications":["Any $N=2$ gauge theory that can be realized as a fibered ADE singularity with prescribed matter can in principle have its Coulomb branch computed by finding the local mirror curve and its Picard-Fuchs system, without prior knowledge of the answer.","The identification of worldsheet instantons wrapping the base with spacetime gauge instantons gives a geometric decomposition of the prepotential instanton by instanton, isolating individual gauge-instanton contributions from stringy multi-cover effects.","The same local construction yields the perturbative one-loop prepotential for any ADE gauge group, since the wrapped fiber curves are in one-to-one correspondence with the positive roots.","Different resolutions of the same singularity — $F_0$, $F_1$, $F_2$ for pure $SU(2)$ — must give the same field-theory limit, providing internal consistency checks and, for $F_1$, a discrete theta angle interpretation of the sign alternation in odd instanton numbers.","The method extends to matter: the $SU(2)$ plus one fundamental case produces the massive Seiberg-Witten curve $y^2 = (x^2-u)^2 - Λ^3(x+m)$ from a blown-up local geometry, and the $SU(n+1)$ chains follow the same pattern."],"supporting_citations":[{"why":"Seiberg and Witten's first paper, the exact $SU(2)$ Coulomb branch result the construction must reproduce.","marker":"[26]"},{"why":"Seiberg and Witten's second paper, supplying the elliptic curve $y^2=(x^2-u)^2-Λ^4$ and the matter curve that the local mirror is matched against.","marker":"[27]"},{"why":"Witten's gauged linear sigma model, the framework in which the local A-model charge vectors and Kähler parameters are defined.","marker":"[23]"},{"why":"Batyrev and Borisov's toric mirror construction, the method used to build the local B-model and its Picard-Fuchs equations.","marker":"[35]"},{"why":"Candelas et al., the relation between the third derivative of the prepotential and worldsheet instanton numbers used throughout.","marker":"[33]"},{"why":"Katz and Vafa, the geometric prescription for obtaining matter representations from enhanced singularities, which the matter generalizations follow.","marker":"[22]"},{"why":"Kachru et al., the double-scaling limit $q_b ∼ ǫ^4$, $q_f ∼ 1-ǫa$ that decouples gravity and defines the field-theory regime.","marker":"[13]"},{"why":"Katz, Morrison and Plesser, the genus-of-curve analysis giving adjoint matter and the earlier observation connecting fiber-wrapping curves to running couplings.","marker":"[17]"}],"fun_headline_variants":["N=2 gauge theories read off local Calabi-Yau geometry","Mirror curve of a local CY reproduces Seiberg-Witten exactly","String T-duality yields exact N=2 gauge theory results","Gauge instantons from worldsheet instantons on a local CY","Local mirror symmetry yields Seiberg-Witten curves"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The load-bearing premise is that the periods of the meromorphic one-form on the local mirror curve really do reproduce, in the field-theory limit, the relevant periods of the full compact mirror threefold; the authors derive this by a residue argument and note in Section 4 that the local application of mirror symmetry they need has not been fully developed, so the later match to Seiberg-Witten is a consistency check rather than an independent proof of the prescription.","fun_headline_variants_meta":{"raw":{"variants":["N=2 gauge theories read off local Calabi-Yau geometry","Mirror curve of a local CY reproduces Seiberg-Witten exactly","String T-duality yields exact N=2 gauge theory results","Gauge instantons from worldsheet instantons on a local CY","Local mirror symmetry yields Seiberg-Witten curves"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":1536,"prompt_tokens":1035,"completion_tokens":501,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":425}},"tokens_in":1035,"tokens_out":501,"duration_ms":8367,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":425,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T19:10:39.756825+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"Compute the local-mirror Picard-Fuchs system for a case whose exact field-theory answer is independently known but was not used to build the construction — for instance a higher-rank theory with matter, or a case where the discriminant fails to degenerate to the rigid $SU(n)$ discriminant as in the $SU(3)$ check — and show that the periods disagree beyond leading order in $ǫ$. Equivalently, find a toric local model whose worldsheet instanton numbers violate the predicted growth $d_{n,m} ∼ γ_n m^{4n-3}$ for some $n$.","supporting_citations":[{"cited_title":"Monopole Condensation, And Confinement In N=2 Supersymmetric Yang-Mills Theory","cited_arxiv_id":"hep-th/9407087","evidence_quote":"Seiberg and Witten's first paper, the exact $SU(2)$ Coulomb branch result the construction must reproduce."},{"cited_title":"Monopoles, duality and chiral symmetry breaking in N = 2 supersymmetric QCD","cited_arxiv_id":"hep-th/9408099","evidence_quote":"Seiberg and Witten's second paper, supplying the elliptic curve $y^2=(x^2-u)^2-Λ^4$ and the matter curve that the local mirror is matched against."},{"cited_title":"Witten, Nucl","cited_arxiv_id":null,"evidence_quote":"Witten's gauged linear sigma model, the framework in which the local A-model charge vectors and Kähler parameters are defined."},{"cited_title":"On Calabi-Yau Complete Intersections in Toric Varieties","cited_arxiv_id":"alg-geom/9412017","evidence_quote":"Batyrev and Borisov's toric mirror construction, the method used to build the local B-model and its Picard-Fuchs equations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Candelas et al., the relation between the third derivative of the prepotential and worldsheet instanton numbers used throughout."},{"cited_title":"Matter From Geometry","cited_arxiv_id":"hep-th/9606086","evidence_quote":"Katz and Vafa, the geometric prescription for obtaining matter representations from enhanced singularities, which the matter generalizations follow."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Kachru et al., the double-scaling limit $q_b ∼ ǫ^4$, $q_f ∼ 1-ǫa$ that decouples gravity and defines the field-theory regime."},{"cited_title":"Enhanced Gauge Symmetry in Type II String Theory","cited_arxiv_id":"hep-th/9601108","evidence_quote":"Katz, Morrison and Plesser, the genus-of-curve analysis giving adjoint matter and the earlier observation connecting fiber-wrapping curves to running couplings."}],"review_version":1}