REVIEW
Holomorphic Anomalies in Topological Field Theories
High Energy Physics - Theory · Submitted 22 Feb 1993 · 29 references
Pith's verdict: The holomorphic anomaly equation is the real contribution and it holds up; the elliptic-curve counts in Table 1 sit downstream of a conjectural multiple-cover coefficient the authors themselves flag.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The genus-one partition function of an N=2 superconformal theory is fixed up to one holomorphic function by a holomorphic anomaly equation, and in the limit where the anti-holomorphic moduli go to infinity that function counts holomorphic t
The reading
What carries the argument
The load-bearing object is the holomorphic anomaly equation for $F_1$, a mixed second-derivative relation whose right-hand side is expressed purely in terms of the chiral ring trace and the Zamolodchikov metric. Its practical role is to convert an apparently uncomputable path integral into a problem of solving a differential equation up to a holomorphic ambiguity, with boundary data supplied by the constant-map computation at large K�
Extended reading notes
Core claim
The central claim is that the stringy genus-one partition function of an $N=2$ superconformal theory obeys $�bar�partial_j�partial_i F_1 = �mathrm{Tr}(-1)^F C_i �bar{C}_j - �frac{1}{12} G_{i�bar{j}} �mathrm{Tr}(-1)^F$, where $C_i$ is multiplication by the chiral field on the Ramond ground states and $G_{i�bar{j}}$ is the Zamolodchikov metric; the second term is a contact term the authors say was missing in their earlier treatment. This equation is strong enough to determine $F_1$ up to a holomorphic function of the chiral moduli, which is then fixed by regularity in the interior of moduli space together with the large-volume asymptotics obtained from the constant-map sector, giving $(-1)^{n-1}�frac{1}{12}�int_M k �wedge c_{n-1}$ as the leading term. The authors then argue that sending the anti-holomorphic moduli to infinity projects onto holomorphic maps, so that $F_1$ becomes the genus-one topological partition function, and that BRST-trivial anti-chiral deformations fail to decouple once topological gravity is coupled. Applied to the quintic, the resulting one-point function yields the elliptic curve counts of Table 1, starting at degree three with $d_3 = 609250$, with $d_1 = d_2 = 0$ matching the geometric expectation that low-degree curves in projective space are rational.
Load-bearing premise
The extraction of the elliptic curve numbers depends on the rational-curve contribution formula, which the paper presents as an expectation by natural extrapolation; the appended algebraic-geometry analysis verifies the coefficient only for degree-one covers and explicitly leaves the higher covering degrees unchecked.
Editorial extensions
If this is right
- For the quintic threefold the procedure gives explicit integers $d_r$ counting elliptic curves of each degree, with $d_3 = 609250$, $d_4 = 3721431625$ and further values up to degree ten listed in the paper.
- The same computation is carried out for three one-modulus weighted hypersurfaces, producing elliptic curve counts that are integral after subtracting the genus-zero contribution.
- The genus-one topological partition function is shown to be a section of a line bundle on moduli space, with the holomorphic ambiguity fixed by regularity plus the large-volume asymptotics, giving a general formula for the topological one-point function at genus one.
- The paper reports a companion generalization to higher genus $F_g$, obeying an anomaly equation that relates $F_g$ to lower-genus partition functions, suggesting the whole genus expansion is governed by one master equation.
Reading between the lines
- The anomaly equation is doing the work of a hidden integrability statement: it says the genus-one free energy is essentially a holomorphic plus anti-holomorphic piece glued by a single computable obstruction, which is the same structural pattern that makes the Seiberg-Witten and special-geometry stories solvable.
- If the rational-curve coefficient really is $2$ for every covering degree, the genus-one answer separates cleanly into an eta-function piece for tori and a logarithm piece for spheres; a failure at degree two or higher would contaminate the extracted $d_r$ at all higher degrees, not just at the degree where it first appears.
- The counts are predictions about a specific algebraic variety and can in principle be checked by classical enumerative geometry in low degree, which makes this a rare case where a string-loop-level statement is falsifiable by finite computation.
- The observation that anti-chiral deformations fail to decouple once gravity is coupled suggests the topological partition function is not a genuine topological invariant but a section of a bundle, so its normalization depends on a choice the topological axioms do not fix.
Original abstract
We study the stringy genus one partition function of $N=2$ SCFT's. It is shown how to compute this using an anomaly in decoupling of BRST trivial states from the partition function. A particular limit of this partition function yields the partition function of topological theory coupled to topological gravity. As an application we compute the number of holomorphic elliptic curves over certain Calabi-Yau manifolds including the quintic threefold. This may be viewed as the first application of mirror symmetry at the string quantum level.
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 study the stringy genus one partition function of $N=2$ SCFT's. It is shown how to compute this using an anomaly in decoupling of BRST trivial states from the partition function. A particular limit of this partition function yields the partition function of topological theory coupled to topological gravity. As an application we compute the number of holomorphic elliptic curves over certain Calabi-Yau manifolds including the quintic threefold. This may be viewed as the first application of mirror symmetry at the string quantum level.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | We study the stringy genus one partition function of $N=2$ SCFT's. | contribution 0.92 | 0.86 | 0.04 | asserted 0.82 |
| s1 | It is shown how to compute this using an anomaly in decoupling of BRST trivial states from the partition function. | method 0.97 | 0.87 | 0.25 | asserted 1.00 |
| s2 | A particular limit of this partition function yields the partition function of topological theory coupled to topological gravity. | result 0.74 | 0.76 | 0.16 | asserted 1.00 |
| s3 | As an application we compute the number of holomorphic elliptic curves over certain Calabi-Yau manifolds including the quintic threefold. | result 0.90 | 0.93 | 0.30 | asserted 1.00 |
| s4 | This may be viewed as the first application of mirror symmetry at the string quantum level. | interpretation 1.00 | 0.46 | 0.15 | hedged possibility 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
157 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 23 papers with this label
-
Constructed the genus-1 prepotential using the expressions in this paper to compute genus-1 instanton numbers.
Mirror Symmetry for Five-Parameter Hulek-Verrill Manifolds (2021) · 1.00 · paraphrased: the licence does not allow quoting
-
Proceeded like this paper and turned the index into a path integral over permitted field configurations.
Study of the OSV Conjecture for 4D N=2 Extremal Black Holes in Type IIB String Theory (2011) · 1.00 · paraphrased: the licence does not allow quoting
-
Wrote this paper's F_1 expression after taking into account the formula for R_i.
Non-perturbative topological string theory on compact Calabi-Yau 3-folds (2023) · 0.92 · paraphrased: the licence does not allow quoting
How the literature uses it
151 arXiv papers cite this in 287 sentences
Papers citing it · 194 sentences without a confident label
Builds on it 1 paper
-
This essentially boils down to the question of how to generalize the celebrated work of BCOV [ref] on threefolds to fourfolds with fluxes.
Holomorphic Anomalies, Fourfolds and Fluxes · Overview and Summary · 0.85
Uses its method or tool 24 papers
-
Our analysis is based on the construction in [ref] , where the standard topological amplitude [ref] (BCOV) was recast into a purely holomorphic wave function satisfying a generalized heat equation, as first suggested in [ref] (see [ref] for a closely related construction).
Topological wave functions and the 4D-5D lift · Introduction · 0.80
-
As explained in [ref] , the effect of the backreaction of the $N$ original branes wrapping the holomorphic cycle $C$(described by $x = y= 0$ in our case) can be obtained by solving the Kodaira-Spencer (BCOV) [ref] equation with a delta function source (see also [ref] ): + [, ] + N_C=0, whose solution is given in terms of the Bochner-Martinelli kernel = _̱BM_z = N/4π^2d- d/(|x|^2 + |y|^2)^2_z.
Open-Closed-Open Triality Beyond Matrix Models · Field Theory in the Backreacted Geometry · 0.81
-
A main result is the derivation of their modular and elliptic anomaly equations, ([ref]) and ([ref]), starting from the $tt^∗$ formalism introduced by BCOV [ref] .
Holomorphic Anomalies, Fourfolds and Fluxes · Physics Discussion · 0.96
Uses its data or values 3 papers
-
The genus one boundary conditions at the MUM point were determined in [ref] to be F_1^top.()=- t^ic_2 ·D_i/24+ O(q) .
Topological Strings on Non-Commutative Resolutions · Boundary conditions for the holomorphic ambiguity · 0.82
-
For this setting the genus one free energy of the topological string has been derived in [ref] [equation] where $τ=τ_1+i τ_2$ is the complex structure parameter, and $η(τ)$ is the Dedekind eta function.
Moduli-dependent Species Scale · T2 · 0.93
-
In that case the topological free energy is given by [ref] [equation] which we normalized such that $F_1(e^2πi /3)=0$.
Bounds on Field Range for Slowly Varying Positive Potentials · Example 1: K3 x T2 · 0.88
Compares with it 7 papers
-
In this paper we have carried out a comparison between the non perturbative results obtained for a $N=2$ SCFT of the AD type with the recursion relations coming from a conformal anomaly [ref] and those obtained from the AGT duality for irregular states [ref] , finding an agreement also keeping into account gravitational corrections.
On irregular states and Argyres-Douglas theories · Conclusions · 0.91
-
This prescription differs from that of [ref] , which was used in [ref] , which instead counts primitive elliptic curves.].
Mirror Symmetry for Five-Parameter Hulek-Verrill Manifolds · Genus-1 instanton numbers · 0.89
-
One may observe that all the terms with even powers of $N$ in formula eq.[ref] have already appeared in another context, in topological string theory [ref] , and more precisely the so called "holomorphic anomaly equations" [ref] .
Large N expansion of convergent matrix integrals, holomorphic anomalies, and background independence · Holomorphic anomaly equations · 0.81
Cites it as support 1 paper
-
The naive justification for this is that, even if basically different in construction, BCOV type amplitudes substantially satisfy, in the holomorphic limit, all the important requirement of coupling of two dimensional gravity to topological theories of matter that were used by Witten in the derivation of the recursion relations ( look for example at the discussion in [ref] ).
On recursion relations in topological string theory · General background · 0.99
Cites it as background 45 papers
-
The simplest example of Twisted Holography [ref] is the conjectured equivalence of * The large $N$ 't Hooft expansion for a 2d gauged $βγ$ system valued in the adjoint representation of $𝔲(N)$, aka the $A_N$ chiral algebra. * The B-model topological string theory (aka BCOV theory) [ref] on an $SL(2,ℂ)$ background with appropriate holographic boundary conditions and coupling $N^-1$.
Giant gravitons in twisted holography · Introduction and Conclusions · 0.96
-
Recall that the holomorphic anomaly equations of [ref] can be interpreted [ref] as the statement that the full, non-holomorphic topological string partition function $Ψ_BCOV(t^a,t̅^a,λ,x^a)$ can be viewed as the overlap of a background-independent wave function $| Ψ_top ⟩$, living in a finite-dimensional Hilbert space $∼L^2(^b_2(X)+1)$ associated to the quantization of the even cohomology of $X$ (or middle cohomology of the mirror $X$, depending whether one is interested in the $A$ or $B$-model) against a family of coherent states $_t,t̅⟨λ, x^a |$ parametrized by the background moduli $t^a$ specifying the complexified Kähler or complex structure, respectively.
Revisiting the Quantum Geometry of Torus-fibered Calabi-Yau Threefolds · Introduction · 0.91
-
Rather than being a nuisance, the holomorphic anomaly, as the anti-holomorphic dependence of the partition function was christened in [ref] , gives rise to a recursion relation between the topological string amplitudes at different genera, ∂̅_i̅ F^g= 1/2C̅_^jk(D_jD_kF^g-1 +∑_h=1^g-1 D_jF^hD_kF^g-h) , g>1 , where $C̅^ij_=e^2K G^j G^kk̅ C_k̅$ contains the Kähler potential $K$, the metric $G^j$, and the complex conjugate of the-three point function $C_ijk$.
The Omega deformed B-model for rigid N=2 theories · The BCOV holomorphic anomaly equations · 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.