Abstract
Motivated by S-duality modularity conjectures in string theory, we define new invariants counting a restricted class of two-dimensional torsion sheaves, enumerating pairs \(Z\subset H\) in a Calabi–Yau threefold \(X\). Here \(H\) is a member of a sufficiently positive linear system and \(Z\) is a one-dimensional subscheme of it. The associated sheaf is the ideal sheaf of \(Z\subset H\), pushed forward to \(X\) and considered as a certain Joyce–Song pair in the derived category of \(X\). We express these invariants in terms of the MNOP invariants of \(X\).
Similar content being viewed by others
1 Introduction
Throughout this paper we fix a Calabi–Yau 3-fold \(X\) with \(H^1(\mathcal {O}_X)=0\).
String theorists conjecture the modularity of certain generating functions of counts of supersymmetric D4–D2–D0 BPS states of \(X\) [4, 5, 12]. Motivated by this we define invariants of \(X\) which count 0- and 1-dimensional subschemes (i.e., D2–D0 branes) of hyperplanes (D4 branes) in \(X\). We briefly discuss the relationship to the physicists’ S-duality conjecture in Sect. 4.
We wish to count pairs of the form
where \(H\) is a suitably ample hypersurface and \(Z\) is a one-dimensional subscheme of \(H\). While we demand that \(H\) be pure of dimension 2 (i.e., a divisor in \(X\)), the subscheme \(Z\) need not be pure, so is in general the union of a curve and a 0-dimensional subscheme.
Since \(H^1(X,\mathcal {O}_X)=0\), all deformations of \(H\) are in the same linear system
This carries a universal hyperplane
The data (1) are naturally parameterized by the relative Hilbert scheme of one-dimensional subschemes of the fibers of the family (2). That is, if we fix \(\beta \in H_2(X,\mathbb {Z})\) and \(n\in \mathbb {Z}\), then the moduli space of pairs (1) is the relative Hilbert scheme
of one-dimensional subschemes \(Z\) of the universal hyperplane whose pushforward to \(X\) has fundamental class \(\beta =[Z]=\mathrm{ch }_2(i_*\mathcal {O}_Z)\) and holomorphic Euler characteristic \(n=\chi (\mathcal {O}_Z)\).
We will produce a symmetric perfect obstruction theory on (3) by considering it as a moduli space of torsion sheaves of the form
Here \(i:H\hookrightarrow X\) is the inclusion, and \(I_Z\) denotes the ideal sheaf of \(Z\) considered as a subscheme of \(H\). So (4) is a torsion sheaf on \(X\) with rank 1 on its two-dimensional support \(H\). When \(Z\subset H\) is a Cartier divisor, it is the pushforward of a line bundle on \(H\).
Theorem 1
Suppose that \(H\) is sufficiently positive with respect to \(\beta \in H_2(X;\mathbb {Z})\) and \(n\in \mathbb {Z}\), in the sense of Definition 2.2. Then
is a locally complete moduli space of torsion sheaves (4) on \(X\). It admits a symmetric perfect obstruction theory and so a virtual cycle of virtual dimension 0.
There are two obvious problems to overcome in proving Theorem 1:
-
The sheaves (4) need not be (Gieseker) semistable when \(H\) is reducible or nonreduced.
-
Deformations of (4) might not, a priori, be sheaves of the same form. They could be arbitrary torsion sheaves of the same topological type, like the pushforward \(i_*L\) of a general line bundle on a hyperplane \(H\) (rather than one which is a subsheaf of \(\mathcal {O}_H\)).
We circumvent these by using certain Joyce–Song pairs [7]. These come with a different notion of stability which gets round the first problem. And for \(H\gg 0\), they allow us to see that deformations of (4) are also push forwards of ideal sheaves, so that \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) is indeed an open and closed subscheme of the stack of all coherent sheaves on \(X\).
Our Joyce–Song pairs are of the form
where \(Z\) and \(H\) are as before, but \(\mathcal {I}_Z\) denotes the ideal sheaf of \(Z\) when considered as a subscheme of \(X\) (rather than \(H\)).Footnote 1 Since the torsion-free rank-1 sheaf \(\mathcal {I}_Z\) is automatically Gieseker stable, the only further stability condition we need is that \(s\) should be nonzero. Therefore we get an injection
whose cokernel \(i_*I_Z\) is the torsion sheaf (4). That is, if we let \(I^\bullet \in D(X)\) denote the two term complex formed by (5), then
More globally we show in Proposition 2.1 that this observation gives an isomorphism between
-
an open and closed subscheme of the moduli space of Joyce–Song pairs (5), and
-
the relative Hilbert scheme (3) parameterizing the sheaves (4).
Finally, for \(H\gg 0\), Joyce and Song show that the deformation theory of the complexes \(I^\bullet \in D(X)\) gives this space a symmetric perfect obstruction theory. Since \(I^\bullet \) is quasi-isomorphic to \(i_*I_Z\in D(X)\), this shows that the deformation theory of the sheaf \(i_*I_Z\) indeed endows \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) with a symmetric perfect obstruction theory.
Using Theorem 1 we can define an invariant
Since the obstruction theory is symmetric, by [1] this can also be written as a weighted Euler characteristic of \(\mathrm{Hilb }_{\beta ,n}(\mathcal H/|H|)\). The invariants \(N^H_{\beta ,n}\) are closely related to the MNOP invariants \(I_{\beta ,n}(X)\) counting the ideal sheaves \(\mathcal {I}_Z\) of \(X\).
Theorem 2
Under the conditions of Theorem 1 we have
where \(\mathsf {c}=\mathsf {c}(\beta ,n,H,X)\) is the topological number
Example 1.1
Most of the examples worked out explicitly in [5, Sections 2.1–2.6] fit into the setting of this section and hence, the corresponding invariants are captured by the invariants \(N^H_{\beta ,n}\). As an illustration, we work out the following two simple cases for linear hyperplane sections \(H\) of the quintic Calabi–Yau threefold \(X\).
-
\(\mathcal {I}_p\) is the ideal sheaf of a point \(p\in X\), so \(\beta =0\), \(n=1\) and
$$\begin{aligned} \mathsf {c}=\mathrm{td }_2(X)\cdot H+H^3/6-1=25/6+5/6-1=4. \end{aligned}$$Also \(I_{0,1}=-\chi (X)=200\), so Theorem 2 gives
$$\begin{aligned} N^{H}_{0,1}=(-1)^3\times 4\times 200=-800. \end{aligned}$$ -
\(\mathcal {I}_C\) is the ideal sheaf of a line \(C\subset X\), so \(\beta \cdot H=1,\ n=1\), and hence
$$\begin{aligned} \mathsf {c}=25/6+5/6-1=3. \end{aligned}$$Also \(I_{\beta ,1}=2875\), the number of rational degree 1 curves in a generic quintic, giving \(N^H_{\beta ,1}=(-1)^2\times 3\times 2875=8625\). \(\oslash \)
2 Proof of Theorem 1
A Joyce–Song stable pair [7] is a pair
such that
-
\(E\) is coherent sheaf on \(X\), Gieseker semistable with respect to \(H\), and
-
\(s\) is a section which does not factor through any destabilizing subsheaf of \(E\).
A family of such pairs over a base scheme \(B\) is a sheaf \(\mathcal {E}\) over \(X\times B\), flat over \(B\), and a section of \(\mathcal {E}\otimes \pi _X^*\mathcal {O}(H)\) such that the restriction of \((\mathcal {E},s)\) to any fiber \(X\times \{b\}\) is a stable pair in the above sense. Fixing a Chern character \(c\in H^{\mathrm {ev}}(X,\mathbb {Q})\), there is a projective scheme
representing the moduli functor which assigns to a scheme \(B\) the set of isomorphism classesFootnote 2 of Joyce–Song stable pairs over \(B\).
Forgetting the section \(s\) and passing to the S-equivalence class of the sheaf \(E\) gives a morphism
to the moduli space of Gieseker semistable sheaves \(E\) of Chern character \(c\).
We take
Then the Hilbert scheme \( I_n(X,\beta )\) of ideal sheaves \(\mathcal {I}_Z\) defines an open and closed subschemeFootnote 3 of \(M_{c}(X)\) (see for instance the proof of Theorem 2.7 in [13] for a careful proof of this fact). Thus its inverse image
is both open and closed in \(J_{c}(X)\). It therefore has the same deformation theory as \(J_{c}(X)\), so we can use the results of Joyce and Song.
Proposition 2.1
\(J_n(X,\beta )\cong \mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\).
Proof
\(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) carries a pair of universal subschemes
Letting \(i\) denote the second inclusion, we get the right hand column and central row of the following commutative diagram of short exact sequences.
Filling in the diagram gives the top row, producing the flat family of stable pairs
over the base \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\). This is classified by a map from the base to the moduli space of stable pairs:
Similarly, \(X\times J_n(X,\beta )\) carries a universal stable pair
flat over \(J_n(X,\beta )\). Since the restriction of \(\mathcal E\) to each \(X\)-fiber is torsion-free of rank 1, its double dual \(\mathcal E^{\vee \vee }\) is locally free by [8, Lemma 6.13]. Therefore it defines a map from \(J_n(X,\beta )\) to \(\mathrm{Pic }(X)\) which takes closed points to the trivial line bundle \(\mathcal {O}_X\). But \(H^1(X,\mathcal {O}_X)=0\) so \(\mathrm{Pic }(X)\) is a union of discrete reduced points and the map is constant. Pulling back a Poincaré line bundle shows that \(\mathcal E^{\vee \vee }\) is the pullback \(\pi _J^*L\) of some line bundle \(L\) on \(J_n(X,\beta )\). Therefore \(\mathcal E\subset \mathcal E^{\vee \vee }\) must take the form
for some subscheme \(\mathcal Z\subset X\times J_n(X,\beta )\). Since \(\mathcal E\) is flat over \(J_n(X,\beta )\), so \(\mathcal Z\) must be too.
Composing the section (10) with \(\mathcal E\rightarrow \mathcal E^{\vee \vee }\) gives a section
nonzero on each \(X\)-fiber by stability. Its zero locus is a divisor
giving a classifying map \(J_n(X,\beta )\rightarrow |H|\) such that the pullback of \(\mathcal {O}_{X\times |H|}(\mathcal {H})\) is \(\mathcal {O}(H)\boxtimes L\). Since the section (12) factors through (11) it follows that
giving us a classifying map from our base \(J_n(X,\beta )\) to \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\). By inspection it is the inverse of the map (9). \(\square \)
Definition 2.2
Assume that \(\beta \in H_2(X;\mathbb {Z})\) and \(n\in \mathbb {Z}\) are given. We say \(H\) is sufficiently positive with respect to \(\beta ,n\) if
for \(i>0\) for any ideal sheaf \(\mathcal {I}_Z\in I_n(X,\beta )\). For fixed \((\beta ,n)\) the ideal sheaves \(\mathcal {I}_Z\in I_n(X,\beta )\) form a bounded family, so (13) is satisfied for all \(H\) sufficiently positive. \(\oslash \)
Corollary 2.3
Suppose that \(H^1(X,\mathcal {O}_X)=0\) and \(\beta ,n,H\) satisfy (13). Then, using the same notation as in (6), the deformation-obstruction theory of the sheaves \(i_*I_Z\) (4) given by [6, Section 4.4],
defines a symmetric perfect obstruction theory on \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\).
In (14), \(\pi _H\) denotes the projection from \(X\times \mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) to its second factor. We recall the definition of the arrow [6, Section 4]. Project the Atiyah class
to
and consider the resulting element as a map
By adjunction this induces
Next we project to the \(\tau ^{\ge 0}\) truncation of the right hand side. In turn this receives a map from the truncation \(\tau ^{[0,1]}\), and in [6, Section 4.4] it is shown that the map from \(\mathbb L_{\mathrm{Hilb }}^\vee \) lifts uniquely to it. Dualizing and using Serre duality down the fibers of \(\pi _H\) gives (14).
Proof of corolloary 2.3 For \(H\gg 0\), Joyce and Song [7, Theorem 12.20] give a symmetric perfect obstruction theory on \(J_c(X)\):
Here \(\pi _J\) is the projection \(X\times J_c(X)\rightarrow J_c(X)\) and \(\mathbb {I}^\bullet \in D(X\times J_c(X))\) is the 2-term complex
defined by the universal stable pair \(\mathcal {O}\rightarrow \mathcal {E}\otimes \pi _X^*\mathcal {O}(H)\). (From now on we suppress the \(\pi _X^*\).) The arrow in (17) is the composition of Serre duality for \(R\pi _{J*}R\mathcal {H}om(\mathbb {I}^\bullet , \mathbb {I}^\bullet )\) and the Atiyah class of \(\mathbb {I}^\bullet \), just as in (16).
We restrict their result to \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) using Proposition 2.1. Their precise \(H\gg 0\) condition is that the sheaves in their stable pairs are \(H\)-regular; this becomes the cohomology vanishing condition (13). The first row of the diagram (7) gives the quasi-isomorphism
Using the line bundle \(\mathcal {O}(1)\) pulled back from the projective space \(|H|\), we have the isomorphism
In particular, \(\mathbb {I}^\bullet \simeq i_*I_{\mathcal Z}(\mathcal {H}-H)\cong i_*I_{\mathcal Z}(1)\), so (17) can be written
Again the arrow is given by the composition of Serre duality and the Atiyah class of \(i_*I_{\mathcal Z}(1)\).
This is almost identical to (14, 16) except for the twist by \(\mathcal {O}(1)\). Now
in \(\mathrm{Ext }^1\big (i_*I_{\mathcal Z}(1),\,i_*I_{\mathcal Z}(1)\otimes \pi _H^*\mathbb L_{\mathrm{Hilb }}\big )\cong \mathrm{Ext }^1\big (i_*I_{\mathcal Z},\,i_*I_{\mathcal Z}\otimes \pi _H^*\mathbb L_{\mathrm{Hilb }}\big )\). That is, tensoring with \(\mathcal {O}(1)\) changes the map (15) by addition of the following composition
Therefore (16) changes by addition of the composition
The truncation procedure gives unique lifts to the \(\tau ^{[0,1]}\) truncation of the central and right hand terms. But our \(H^1(X,\mathcal {O}_X)=0\) condition means that \(\tau ^{[0,1]}\) applied to the central term is zero.
Corollary 2.3 completes the proof of Theorem 1.
3 Proof of Theorem 2
By Corollary 2.3 we define the invariants associated to \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\). These invariants give a virtual count of the pairs (1). Then we will relate them to the MNOP invariants \(I_{\beta ,n}\) counting subschemes \(Z\subset X\).
Definition 3.1
Let \(X\) be a Calabi–Yau 3-fold with \(H^1(X,\mathcal {O}_X)=0\) and suppose that \(H\) is sufficiently positive with respect to \(\beta ,n\) in the sense of Definition 2.2.
The perfect obstruction theories of Corollary 2.3 and [14] respectively endow \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) and \( I_n(X,\beta )\) with virtual cycles of dimension zero. We define
Since these obstruction theories are symmetric, by [1] the invariants can also be written as weighted Euler characteristics
where \(\nu _M\) denotes the Behrend function [1] of a scheme \(M\). \(\oslash \)
By the usual arguments [6, 7, 14] these invariants are unchanged under smooth deformation of \(X\).
There is an obvious forgetful map
The fiber over \(Z\subset X\) is \(\mathbb {P}(H^0(\mathcal {I}_Z(H)))\). More globally we have the following result. We use the notation
for the universal subscheme and the projection to the second factor.
Lemma 3.2
Supposing again that \(\beta ,n,H\) satisfy (13), then the map (19) is the projective bundle
Proof
The cohomology vanishing condition (13) ensures that \(\pi _{I*}\mathcal {I}_{\mathcal Z}(H)\) is a vector bundle. Its pullback to \(\mathbb {P}(\pi _{I*}\mathcal {I}_{\mathcal Z}(H))\) carries a tautological subbundle
where again we have suppressed the pullback map. By adjunction we get
and so a nowhere vanishing section of \(\mathcal {I}_{\mathcal Z}(H)\boxtimes \mathcal {O}(1)=\mathcal {I}_{\mathcal Z}(\mathcal H)\). This is a family of stable pairs over the base \(\mathbb {P}(\pi _{I*}\mathcal {I}_{\mathcal Z}(H))\), classified by a map
Conversely, \(X\times \mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) carries the universal family of stable pairs (8). Twisting by \(\mathcal {O}(-1)\) (pulled back from \(|H|\)) gives
Pushing down to \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) gives
Now \(\pi _{H*}\mathcal {I}_{\mathcal Z}(H)\) on \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) is the pullback of the bundle \(\pi _{I*}\mathcal {I}_{\mathcal Z}(H)\) on \(I_n(X,\beta )\) via the map (19). Therefore the line subbundle (21) is classified by a map \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\rightarrow \mathbb {P}(\pi _{I*}\mathcal {I}_{\mathcal Z}(H))\), the inverse of (20). \(\square \)
Corollary 3.3
For \(H^1(X,\mathcal {O}_X)=0\) and \(\beta ,n,H\) satisfying (13), the invariants of Definition 3.1 satisfy
where \(\mathsf {c}=\mathsf {c}(\beta ,n,H,X)\) is the topological number
Proof
By Lemma 3.2, the map (19)
is smooth of relative dimension \(\chi (\mathcal {I}_Z(H))-1\). Therefore by [1, Proposition 1.5(i)], the Behrend function of \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) is the pullback of that of \( I_n(X,\beta )\), multiplied by \((-1)^{\chi (\mathcal {I}(H))-1}\). Since the fibers of the map (19) have Euler characteristic \(\chi (\mathcal {I}_Z(H))\), the formulas (18) give the result.
Corollary 3.3 finishes the proof of Theorem 2. Note that if \(H^2(X,\mathbb {Z})\) is torsion-free then \(I_n(X,\beta )\cong M_{c}(X)\) for \(c=(1,0,-\beta ,-n)\), and \(J_{c}(X)\cong \mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) by Proposition 2.1. In this case Corollary 3.3 is a special case of the wall-crossing formula [7, Theorem 5.27].
4 S-duality and modularity
Our motivation for defining the invariants \(N^H_{\beta ,n}\) was to try to understand how to define the “supersymmetric BPS invariants associated to supersymmetric D4–D2–D0 systems” studied by string theorists [4, 5, 12]. Based on relation of D4-D2-D0 branes with two-dimensional conformal field theory [9], the generating series of these BPS invariants are argued to be modular forms [2, 4]. This remarkable modularity can also be deduced from the S-duality (electric-magnetic duality) of string theory [3].
Most of the examples of D4-D2-D0 systems studied in [5, Sections 2.1–2.6] are of the form (4) above, which is what led to our definition. However it seems that in general one should count all (semi)stable torsion sheaves with two-dimensional support of the right topological type, not just those of the form (4). Assuming that the physical count is given by Joyce–Song’s generalized DT invariant, the S-duality predictions take the following form.
Assume for simplicity that \(\mathrm{Pic } X\) is generated by an ample divisor \(L\). Fix \(k\in \mathbb {Z}_{>0}\) and let \(H\) be a smooth element of \(|kL|\). Denoting the generator of \(H^4(X,\mathbb {Z})\cong \mathbb {Z}\) by \(\ell \) and fixing \(i,n\in \mathbb {Z}\), we let
Then there is a moduli space \(M_c(X)\) of Gieseker-semistable sheaves on \(X\) with Chern character \(c\), and Joyce–Song’s generalized Donaldson–Thomas invariant \(\overline{DT}(c)\in \mathbb {Q}\) [7]. We define the generating function of these invariants with fixed 1st and 2nd Chern characters by
Tensoring by \(\mathcal {O}(\pm L)\) induces isomorphisms of the moduli spaces \(M_c(X)\), so the generating series \(Z^{H}_i(q)\) and \(Z^{H}_{i\pm kL^3}(q)\) only differ by a shift in the power of \(q\).
According to [4, 5] the vector of generating series
should be a holomorphic vector-valued modular form of weight \(-3/2\), where
When all of the sheaves (4) are stableFootnote 4 one can think of \(N^H_{\beta ,n}\) as the contribution of the component \(\mathrm{Hilb }_{\beta ,n}(\mathcal {H}/|H|)\) of the moduli space of torsion sheaves to the physicists’ numbers. But more generally one would expect to be able to relate our invariants \(N^H_{\beta ,n}\) to the \(\overline{DT}(c)\) via a sequence of wall crossings.Footnote 5 Ideally these would be in the space of Bridgeland stability conditions on \(D(X)\), starting from a stability condition that approximates Joyce–Song stability for the complexes (5), and ending with one approximating Gieseker stability for the quasi-isomorphic sheaves (4).
In combination with Corollary 3.3 this would express the MNOP invariants \(I_{\beta ,n}\) in terms of modular forms via universal formulae arising from the wall crossing. This would constrain the \(I_{\beta ,n}\) enormously, so that calculation of a finite number of these invariants should determine all the rest. We plan to return to this in future work.
Notes
We use straight \(I\)s to denote ideal sheaves on \(H\) and curly \(\mathcal {I}\)s for ideal sheaves on \(X\).
Isomorphism is meant in the strict sense: two families of stable pairs \((\mathcal {E}_i,s_i)\) are isomorphic if there is an isomorphism \(\mathcal {E}_1\rightarrow \mathcal {E}_2\) taking \(s_1\) to \(s_2\). Stable pairs have no automorphisms so there is no need to tensor by line bundles pulled back from the base (as one does to define isomorphism for families of stable sheaves, for example: stable sheaves have Aut \(=\mathbb {C}^*\)).
In fact it is all of \(M_{c}(X)\) when \(H^2(X,\mathbb {Z})\) is torsion-free.
For instance this is the case when all members of the linear system \(|H|\) are reduced and irreducible. The hyperplane sections of the quintic threefold have this property by the Lefschetz hyperplane theorem.
In [15] Toda studies some different but remarkable wall crossings. These relate the counting of torsion sheaves to the counting of both ideal sheaves [11] and stable pairs [13]. There may be some connection: a hint is provided by the fact that Fujita’s conjecture (which would determine which \(H\) are sufficiently positive in the sense of Definition 2.2) enters into his analysis. Manschot [10] also studies another wall crossing involving these invariants.
References
Behrend, K.: Donaldson–Thomas invariants via microlocal geometry. Ann. Math. 170, 1307–1338 (2009)
Cheng, M., DeBoer, J., Dijkgraaf, R., Manschot, J., Verlinde, E.: A farey tail for attractor black holes. J. High Energy Phys. 2006(11), 1–28 (2006)
Denef, F., Moore, G.: Split states, entropy enigmas, holes and halos. J. High Energy Phys. 2011(11), 1–152 (2011)
Gaiotto, D., Strominger, A., Yin, X.: The M5-Brane elliptic genus: modularity and BPS states. J. High Energy Phys. 2007(8), 1–18 (2007)
Gaiotto, D., Yin, X.: Examples of M5-Brane elliptic genera. J. High Energy Phys. 2007(11), 1–12 (2007)
Huybrechts, D., Thomas, R.P.: Deformation-obstruction theory for complexes via Atiyah and Kodaira–Spencer classes. Math. Ann. 346(3), 545–569 (2010)
Joyce, D., Song, Y.: A theory of generalized Donaldson–Thomas invariants. Memoirs AMS 217(1020), iv+199 (2011). ISBN 978-0-8218-5279-8
Kollár, J.: Projectivity of complete moduli. J. Differ. Geom. 32, 235–268 (1990)
Maldacena, J., Strominger, A., Witten, E.: Black hole entropy in M-theory. J. High Energy Phys. 1997(12), 1–16 (1997)
Manschot, J.: Wall-crossing of D4-branes using flow trees. Adv. Theor. Math. Phys. 15(1), 1–42 (2011)
Maulik, D., Nekrasov, N., Okounkov, A., Pandharipande, R.: Gromov–Witten theory and Donaldson–Thomas theory. I. Compos. Math. 11, 1263–1285 (2006)
Ooguri, H., Strominger, A., Vafa, C.: Black hole attractors and the topological string. Phys. Rev. D 70(10), 106–119 (2001)
Pandharipande, R., Thomas, R.P.: Curve counting via stable pairs in the derived category. Invent. Math. 178, 407–447 (2009)
Thomas, R.P.: A holomorphic Casson invariant for Calabi–Yau 3-folds, and bundles on K3 fibrations. J. Differ. Geom. 54, 367–438 (2000)
Toda, Y.: Bogomolov–Gieseker type inequality and counting invariants. J. Topol. 6(1), 217–250 (2013)
Acknowledgments
We thank Kai Behrend, Vincent Bouchard, Jim Bryan, Tudor Dimofte, Dagan Karp, Jan Manschot, Davesh Maulik and Yukinobu Toda for useful discussions. The second author would like to thank the University of British Columbia, the Max Planck Institute, Bonn and the Isaac Newton Institute for Mathematical Sciences, Cambridge for their hospitality. The third author is supported by the EPSRC programme Grant EP/G06170X/1.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gholampour, A., Sheshmani, A. & Thomas, R. Counting curves on surfaces in Calabi–Yau 3-folds. Math. Ann. 360, 67–78 (2014). https://doi.org/10.1007/s00208-014-1035-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-014-1035-5