arxiv: v2 [math.ag] 2 Sep 2015

Transcription

1 THE χ y -GENERA OF RELATIVE HILBERT SCHEMES FOR LINEAR SYSTEMS ON ABELIAN AND K3 SURFACES LOTHAR GÖTTSCHE AND VIVEK SHENDE arxiv: v2 mathag] 2 Sep 2015 Abstract For an ample line bundle on an Abelian or K3 surface, minimal with respect to the polarization, the relative Hilbert scheme of points on the complete linear system is known to be smooth We give an explicit expression in quasi-jacobi forms for the χ y genus of the restriction of the Hilbert scheme to a general linear subsystem This generalizes a result of Yoshioka and Kawai for the complete linear system on the K3 surface, a result of Maulik, Pandharipande, and Thomas on the Euler characteristics of linear subsystems on the K3 surface, and a conjecture of the authors 1 Introduction Let S be a smooth complex algebraic surface, and L a line bundle over S Consider a linear system P δ L Let C P δ the universal family of curves over the linear system, and C n] the relative Hilbert schemes of points on the fibres Under suitable hypotheses the Euler numbers ofthe C n] control thenumber δ-nodalcurves inp δ KST, KS] Inthese cases, the relative Hilbert schemes can be identified with the surface variant of the stable pairs spaces ofpandharipande and Thomas PT1, PT2, KT1, KT2] When thespaces C n] are smooth, their Euler numbers may be computed by integrating Chern classes Writing these as tautological integrals over S n] allows the fact EGL] that all such integrals are determined by the Chern classes of S and L to be imported into enumerative geometry; one concludes that the number of δ-nodal curves in a δ-dimensional slice of a δ-very-ample linear system is given by a universal formula This result had been previously conjectured by the first author Göt2] and previously proven by other methods Tze] When S is a K3 surface, explicit formulas for the χc n] ) are known The derivation of these is however rather indirect: one shows MPT] an equivalence between the stable pairs and Gromov-Witten theories, 1 and calculates BL] the latter Similar methods may be expected to work for the Abelian surface; alternatively, the formula for the K3 surface determines the formula for the Abelian surface by universality InGS], wereplacethetopologicaleuler characteristicχwiththehirzebruchχ y genus χ = χ 1 ) Imitating the formulas of KST] leads to putative refined curve counts which conjecturally are given by a universal formula in the Chern numbers The refinement recovers at y = 1 the counts of complex curves, and conjecturally for a toric surface 1 According to MPT], this is in the spirit of but does not directly follow from the conjectural 3-fold equivalence of MNOP] 1

2 2 LOTHAR GÖTTSCHE AND VIVEK SHENDE computes tropical refined Severi degrees BG, IM] The tropical refined Severi degrees are defined combinatorially, but carry two meaningful enumerative specializations: at y = 1 they count complex curves, and at y = 1 they count real curves BG, M] We moreover conjectured in GS] an explicit formula for the refined invariants in the case of K3 or Abelian surfaces Our goal here is to give a derivation of this formula, which in turn determines two of the four series involved in the still conjectural) formula for a general surface The quantity X y x) := x1 yexy1/2 y 1/2) ) y 1/2 1 e xy1/2 y 1/2 ) ) is the normalized power series that defines the genus χ y M) = y dimm)/2 χ y M) That is, for a vector bundle E with Chern roots e 1,,e n we define X y E) = n i=1 X ye i ) For a smooth projective variety M, we write X y M) := X y T M ), and by the Riemann- Roch formula Hi] we have χ y M) := X y M) = y dimm/2 1) p+q y q h p,q M) M p,q We collect the χ y genera of relative Hilbert schemes over complete linear systems on the Abelian and K3 surfaces into generating series Definition 1 Throughout we write L g to indicate a line bundle with no higher cohomology whose sections have arithmetic genus g Note for all g 2 there is an Abelian surface A g carrying a line bundle L g such that the relative Hilbert schemes C g n] L g are smooth We define A := g 2 χ y C n] g )t n+1 g q g 1 Similarly let L g be a linear system of genus g curves on a K3 surface K g such that the relative Hilbert schemes C g n] L g are smooth We define K := χ y C g n] )t n+1 g q g 1 g 0 We require two more generating series which contain the same information as A Writing D = q d, we define dq H := D 1 A = g 2 χ y C g n] qg 1 )tn+1 g g 1, X := H X y = y1/2 1 e y1/2 y 1/2)H ) H) 1 ye y1/2 y 1/2 )H As we recall in Section 2, when the surface S, line bundle L, and linear system P δ L are such that L has no higher cohomology and the relative Hilbert scheme C n] P δ has

3 χ y-genera OF RELATIVE HILBERT SCHEMES 3 nonsingular total space, the Hirzebruch genus χ y C n] ) is given by some universal expression depending on n,δ) in the Chern classes of S,L Thus we may write χ y C n] S,L],δ ) for the evaluation of this expression for any S,L, or indeed any specification of the Chern numbers c 1 S) 2,c 1 S)L,L 2,c 2 S) We write χ y C n] S,L] ) := χ yc n] S,L],χL) 1 ) corresponding to the complete linear system In speaking of χl),χo S ),gl), etc, we mean the evaluation on the specified Chern numbers of the formulas which usually give these quantities More generally in the same way we may integrate tautological classes over C n] S,L],δ Arguments similar to those of Göt2, EGL, KST, GS] establish: Theorem 2 There exist two more series B 1,B 2 Qy ±1/2,t 1 ]t,q]] such that the following hold: X k B K2 S 1 B LK S 2 K χos)/2 A 1 χo S)/2 = t n g+1 q g 1 χ y C n] S,L],χL) 1 k ), g H k B K2 S 1 B LK S 2 K χos)/2 A 1 χo S)/2 = ) t n g+1 q g 1 X y C n] g C n] S,L] ) Hk S,L] The meaning of the sum is that we fix c 1 S) 2,c 2 S),c 1 S)L, and vary only L 2, which we track by g = gl) In both formulas, the summand on the RHS vanishes unless g k+2+lk S χo S ) Indeed, this may be checked when L is an actual line bundle with no higher cohomology on an actual surface S, where it amounts to dim L k The Hodge polynomials of the relative Hilbert schemes on K3 surfaces were computed by Kawai and Yoshioka; specializing these gives an explicit formula for K In the present note we will compute A We introduce some notation in order to state the answer Let z be a complex variable and τ a variable from the complex upper half plane We denote y = e z, q := e 2πiτ We denote one of the standard theta functions by θz) = θz,τ) := n Z 1) n q 1 2 n+1 2 )2 y n+1 2 = q 1/8 y 1/2 y 1/2 ) n>01 q n )1 q n y)1 q n /y), and the Eisenstein series of weight 2 by G 2 τ) := n>0 d n d q n By abuse of notation we also write θy) := θz), G 2 q) := G 2 τ) Let denote = y z and D = 1 = q d 2πi τ dq Definition 3 We write Ay,q) := nd>0sgnd)n 2 y d q nd y,

4 4 LOTHAR GÖTTSCHE AND VIVEK SHENDE Here, as also a number of times below nd>0 denotes the sum over pairs n,d of integers with nd > 0 Thus Ay,q) can be viewed as a theta function for an indefinite lattice, as considered eg in Z], GZ] Remark 4 Ay,q) can be rewritten as follows Ay,q) = 1 θ y) 3 = 1 θy) θy) 2G 2q) θ y) θy) 1 6 Dθ y) 2G 2 q)θ y) Proof The equality in the second line holds by the heat equation θ y) = 1 Dθy) Now 2 we prove the first equality: Denote y 1 = e z 1, y = e z for complex variables z 1,z In Z, page 456, compare iii) and vii)] it is proved that 1) θ 0)θy 1 y) θy 1 )θy) = y 1 y 1 y 1 1)y 1) nd>0 ) sgnd)y n 1 yd q nd We take the coefficient of z1 2 of both sides of 1) By the identity Z, eq 7)] we have z 1 θ 0) θy 1 ) = exp 2 ) G k τ) zk 1 k! k 2 This gives Coeff z 2 1 θ 0)θy 1 y) θy 1 )θy) ] = Coeff z 3 1 ] θy1 y) +G 2 τ)coeff θy) z 1 ] θy1 y) = 1 θ y) θy) 6 θy) +G 2τ) θ y) θy) On the other hand y 1 y 1 Coeff z1 2 y 1 1)y 1) ] sgnd)y1 n yd q nd = 1 sgnd)n 2 y d q nd = Ay,d) nd>0 nd>0 This proves the claim We abbreviate n] y := yn/2 y n/2 y 1/2 y 1/2 = yn 1)/2 +y n 3)/2 ++y n 1)/2 Theorem 5 Let L g be a linear system of genus g curves on an Abelian surface A g such that the relative Hilbert schemes C g n] L g are smooth Then, A := χ y C g n] )t n+1 g q g 1 g 2 = t+t 1 y 1/2 y 1/2 ) n 2 d] y d] ty 1/2d] ty 1/2q nd = = n>0,d>0 n>0,d>0 n 2yd/2 y d/2 y 1/2 y 1/2td +t d y d/2 y d/2 )q nd 1 y 1/2 y 1/2 A y 1/2 t,q ) +A y 1/2 /t,q ) Ay,q) )

5 χ y-genera OF RELATIVE HILBERT SCHEMES 5 The following is a specialization and slight reformulation) of a result of Kawai and Yoshioka KY] Theorem 6 KY] Let L g be a linear system of genus g curves on a K3 surface K g such that the relative Hilbert schemes C n] g L g are smooth K := g 0 χ y C g n] )tn+1 g q g 1 = y 1/2 y 1/2 θ 0) 3 q) θy 1/2 /t)θty 1/2 )θy) Finally, we write explicitly the specialization y = 1) to Euler numbers We denote B 1 q,t) := B 1 q,1,t), B 2 q,t) := B 2 q,1,t) In GS] we have introduced the function DG 2 y,q) := n,d>0 nd] 2 y qnd = Dlog θ 0) θy) y 2+y 1, the second identity is elementary) From the third line in Theorem 5, we have Aq,1,t) = t 2+t 1 )D DG 2 t,q) = DDlog θ 0) θt), Hq,1,t) = t 2+t 1 ) DG 2 t,q) = Dlog θ 0) θt) From Theorem 6 it is easy to see that Kq,1,t) = θ 0) 2 q)θt) 2 = 1 t 2+t 1 )q n>0 1 qn ) 20 1 q n t) 2 1 y n /t) 2 = 1 φ 10,1 t,q), where φ 10,1 t,q) is up to normalization the unique Jacobi cusp form on Sl2,Z) of weight 10 and index 1 It is easy to see that X 1 x) = 1+x), thus Xq,1,t) = Putting this together we get the following Dlog θ 0) θt) 1+Dlog θ 0) θt) Corollary 7 The generating series of integrals against the hyperplane class is: ) cc n] g k+2+lk S χo S ) C n] S,L] ) Hk t n g+1 q g 1 S,L] ) θ 0) 2 χos )/2 = Dlog θ 0) θt) ) k B K2 S 1 B LK S 2 q)θt) 2 The generating series of Euler characteristics is: χc n] S,L],χL) 1 k )tn g+1 q g 1 g k+2+lk S χo S ) = Dlog θ 0) θt) 1+Dlog θ 0) θt) DDlog θ 0) θt) ) 1 χos )/2 ) k ) B K2 S 1 B LK S θ 0) 2 χos )/2 ) 1 χos 2 DDlog θ )/2 0) q)θt) 2 θt)

6 6 LOTHAR GÖTTSCHE AND VIVEK SHENDE As Dlog θ 0) θt) qqt±1 ]q]], we can develop Dlog θ 0) )k θt) = ) ) m+k m+k 1 1) m Dlog θ 0), 1+Dlog θ 0) k 1 θt) θt) m 0 thus for K3 surfaces the result specializes to formula 7) and Thm 6 of MPT] We return to the setting of GS], where polynomials NS,L],δ i y) called Ni S,L],δy) there) were defined by the following formula, in which g = gl) 2) χ y C n] S,L],δ )tn+1 g = i=0 N i S,L],δy)t+t 1 y 1/2 y 1/2 ) g i 1 This formula refines the change of variable used to pass from Euler numbers of Hilbert schemes to enumerative information of the sort sometimes called Gopakumar-Vafa or BPS invariants) In the good situation where S,L] comes from a line bundle on a surface with no higher cohomology and the appropriate relative Hilbert schemes are nonsingular, N δ y=1 counts the number of δ nodal curves in a general P δ L by KST] According to GS, Conj 40], we expect the vanishing NS,L],δ i = 0 for i > δ This was proven in case K S is numerically trivial Moreover, in this case, or assuming the vanishing conjecture and in terms of two undetermined power series, GS, Conj 67] gives a conjectural generating function for the highest order term NS,L],δ δ To establish this formula, and to better understand the N i, it remains to develop the series introduced here in the variable x = t+t 1 y 1/2 y 1/2 ) From Theorem 2 and Equation 2) we obtain the generating series: Corollary 8 Let S, L be arbitrary, g the arithmetic genus of L, then i We define NS,L],χL) 1 k i y)xg i 1 = Coeff X k B K2 S q g 1 1 B LK S 2 K χo S)/2 A 1 χo S)/2 ] y,q) := q)θy) 2 y 2+y 1 )θ 0) 2 = q n>0 1 q n ) 20 1 q n y) 2 1 q n /y) 2 Corollary 9 GS, Conj 68] If K S is numerically trivial, then N χl) 1 k DG2 y,q) k D DG2 y,q) ) 1 χo S )/2 S,L],χL) 1 ky) = Coeff q g 1 y,q) χo S)/2 More generally, we want expressions for all the N i, or in other words, we want to expand A and K in x rather than t

7 χ y-genera OF RELATIVE HILBERT SCHEMES 7 We define polynomials s n y) and their generating function Sy,x) by n ) 2 n s n y) := y k n/2 = Coeff y 1/2 1+t)1+ty) ) n, k t n Then we have Theorem 10 k=0 Sy,x) := 1) n s n y) x n+1 y 1/2 y 1/2 ) 2n+1 n+1 K = A = H = 1 1 y, q) x + 1 y 1/2 y 1/2 1 y 1/2 y 1/2 1 y 1/2 y 1/2 nd>0 sgnd)e Sy,x)d n) y d q nd ) ) sgnd)e Sy,x)d 1)n 2 y d 1)q nd, nd>0 ) sgnd)e Sy,x)d 1) n d yd 1)q nd nd>0 To see explicitly the development of A,K in x, we expand 3) e Sy,x)z =: n y,z) P y 1/2 y 1/2 ) n 1 with P n y,x) Q,y,z], eg y 1 P 0 = 1, P 1 = z, P 2 = z2 2 z y +1 2y 1, P 3 = z3 6 z2 y +1 2 y 1 + z y 2 +4y +1, 3 y 1) 2 P 4 = z4 24 z3 y +1 4 y 1 + z2 11y 2 +38y +11 z y 3 +9y 2 +9y y 1) 2 4 y 1) 3 Remark 11 It is remarkable that the generating functions for Abelian and K3 surfaces are determined by the same polynomials P i : Using Corollary 8 we have on a K3 surface g Ng S,L g] y)qg 1 = 1, and for h 1: y,q) 4) g N g h S,L g] y)qg 1 = 1 y, q) nd>0 x n sgnd) P h 1y,d n) y 1/2 y 1/2 ) hyd q nd On an Abelian surface we have for h 2, 5) N g h A,L g] y)qg 1 = nd>0sgnd) P h 1 y,d) y d 1)q nd y 1/2 y 1/2 ) hn2 g In fact, we first arrived at the formula asserted in Theorem 5 in the following manner The first author conjectured, on the basis of numerical evidence, that Equations 4), 5) held for some undetermined coefficients P i This suffices in principle to conjecturally) determine A from K Don Zagier made this determination explicit, providing a formula for the P i and for A Finally we have reversed the procedure, proving the formula for A geometrically and deriving Equations 4), 5) as consequences,

8 8 LOTHAR GÖTTSCHE AND VIVEK SHENDE Acknowledgements We thank Don Zagier for the contributions mentioned immediately above, and Kōta Yoshioka for helpful correspondence about sheaves on Abelian surfaces Part of this work was carried out while the first-named author was at the Max-Planck-Institut für Mathematik, Bonn 2 Universality arguments In this section we give the proof of Theorem 2 Definition 12 Let S be a surface, L a line bundle on S, and L n] the corresponding tautological vector bundle on S n] Let e x denote a trivial line bundle with nontrivial C action with equivariant first Chern class x Then we define 2 D S,L x,y,t) := t n X y TS n] ) c nl n] e x ) S X n] y L n] e x ) As explained in GS, Prop 47], for a linear subsystem P δ L such that the relative Hilbert schemes C n] S,L],δ Pδ are all smooth eg, a general δ-dimensional linear subsystem when L is δ-very-ample KST] we may extract the χ y genera by taking a residue: 6) χ y C n] S,L],δ )tn = res x=0 ) ] δ+1 D S,L X y x) x,y,t) dx x Since D S,L is defined by a tautological integral, by EGL] it depends only on the Chern numbers c 2 S),c 1 S) 2,c 1 S)c 1 L),c 1 L) 2 Thus we may make sense of it for arbitrary values ofthese quantities Thus we view Equation 6asdefiningthequantities χ y C n] S,L],δ ) in terms of δ, n, and the Chern numbers of S,L, without any assumptions on even the existence of such a surface and line bundle The change of variable is inverse to qx) = x X y x) = y1/2 1 e xy1/2 y 1/2) ) 1 ye xy1/2 y 1/2 ) 7) xq) = log1 y1/2 q) log1 y 1/2 q) = q n n] y 1/2 y 1/2 y n n>0 We find dx = 1 Plugging into the residue formula 6), and writing for dq 1 y 1/2 q)1 y 1/2 q) convenience D S,L q,y,t) := D S,L xq),y,t), 2 Note this differs from GS] by the normalization by y dim/2

9 we find χ y-genera OF RELATIVE HILBERT SCHEMES 9 χ y C n] S,L],δ )tn = res D S,L q,y,t)q δ+1) 1 q=0 1 y 1/2 q)1 y 1/2 q) ] = Coeff D S,L 1 q,y,t) q δ 1 y 1/2 q)1 y 1/2 q) As the term in square brackets is a power series, we may re-sum to obtain 8) δ 0 χ y C n] S,L],δ )tn q δ = D S,L q,y,t) 1 y 1/2 q)1 y 1/2 q) Since X y is a genus, by EGL] there exist power series a 0,a 1,a 2,a 3 Qy ±1/2 ]t,x]] such that D S,L x,y,t) = a χl) 0 a K2 S 1 a LK S 2 a χo S) 3 for a detailed argument, see GS, Sec 32]) Setting we get A i q,y,t) := a i xq),y,t) Qy ±1/2 ]t,q]], ] 9) δ 0 χ y C n] S,L], δ )t n q δ = A χl) 0 A K2 S 1 A LK S 2 A χo S) y 1/2 q)1 y 1/2 q) Note that by 8), the coefficient of q 0 in D S,L x,y,t) is 1 y 1/2 t)1 y 1/2 t) ) g 1 for g the arithmetic genus of a curve in L Thus A i q,y,t) 1 y 1/2 t)1 y 1/2 t) ) l i + qqy ±1/2 ]t,q]] with l 0 = 1,l 1 = 0,l 2 = 1,l 3 = 1 If R is a commutative ring, and f Rq]] is an invertible power series, we denote by f 1 its compositional inverse Let ) 1 qt Xq,y,t) := Qy ±1/2,t 1 ]t,q]] This is set up so that A 0 Xq,y,t) A 0 X,y,t) = q/t, and hence A 0 X,y,t) = q 1 txq,y,t) DenotingB 1 q,y,t) := A 1 X,y,t),B 2 q,y,t) := A 2 X,y,t)q/t,B 3 q,y,t) := A 3 X,y,t)t/q, the substitution q X gives: 10) χ y C n] S,L],δ )tn+1 g X δ = X/q)χL) B K2 S 1 B 2 /q) LK S B 3 q) χo S) 1 y 1/2 X)1 y 1/2 X) δ 0 As in Göt2] we use the residue formula Let R be a commutative ring, and f Rq]], g aq +q 2 Rq]], with a invertible in R, then ] fq)dgq) f = gq) k gq) k+1 k=0 q=0

10 10 LOTHAR GÖTTSCHE AND VIVEK SHENDE We apply this to Equation 10) with gq) = X On the one hand, χ yc n] S,L],δ )tn+1 g is the coefficient of X δ of the RHS On the other, taking the coefficient by the residue formula above gives, with g again the arithmetic genus of a curve in L, χ y C n] S,L],δ )tn+1 g = DX X δ 1 X/q) χl) B K2 S 1 B 2 /q) LK S B 3 q) χo S) 1 y 1/2 X)1 y 1/2 X) = Coeff q g 1 DX X) χl) δ 1 B K2 S 1 B LK S 3 1 y 1/2 X)1 y 1/2 X) 2 B χo S) We collect terms with fixed k = χl) 1 δ, ie if we assume that L has now higher cohomology) k is the number of point conditions we impose to cut down to P δ We now explicitly note the genus of the line bundle appearing in its subscript Note that we always have δ 0, which by definition of k and χl) = g LK S 1+χO S ) translates into g k +2+LK S χo S ) Corollary 13 Fix k 0, then g k+2+lk S χo S ) q=0 χ y C n] S,L g],χl g) 1 k )tn g+1 q g 1 = Xk B K2 S 1 B LgK S 2 B χo S) 3 DX 1 y 1/2 X)1 y 1/2 X) In particular, when S = A is an Abelian surface, DX 1 y 1/2 X)1 y 1/2 X) = χ y C n] A,L g],χl g) 1 )tn g+1 q g 1 =: A g 2 Note that DX 1 y 1/2 X)1 y 1/2 X) = D Thus, by H = D 1 A, we see log1 y 1/2 X) log1 y 1/2 X) y 1/2 y 1/2 11) H = log1 y1/2 X) log1 y 1/2 X) y 1/2 y 1/2 We have already seen how to invert this function: 12) X = qh) = = xx) H X y H) = y1/2 1 e Hy1/2 y 1/2) ) 1 ye Hy1/2 y 1/2 ) Similarly, when S = K is a K3 surface, AB 2 3 = χ y C n] K,L g],χl g) 1 )tn g+1 q g 1 =: K, g 0 and so B 3 = K/A) 1/2 Putting everything together, this proves the first formula of Theorem 2 We now prove the second formula The argument takes place for fixed S,L] Write H for the pullback of the hyperplane class from L Denote Z S,L] x,y,t) := t 1 g D S,L x,y,t)qx) χl) )

11 χ y-genera OF RELATIVE HILBERT SCHEMES 11 Equation 6) asserts that when the relevant spaces are smooth, we have χ y C n] S,L],χL) 1 k )tn+1 g = res t 1 g D S,L x,y,t)qx) δ 1] dx x=0 = res ZS,L] x,y,t)qx) k] dx x=0 By the same proof, if the C n] S,L] X y C n] C n] S,L] ) Hk S,L] Write fq,y,t) := B K2 S 1 B LK S res x=0 are smooth, we have ) t n+1 g = res ZS,L] x,y,t)x k] dx x=0 2 K χos)/2 A 1 χos)/2 We have shown ZS,L] x,y,t)qx) k] dx = Coeff X k fq,y,t) ] q g 1 Let again xq) from 7) be the compositional inverse of qx) Write xq) k := l k a ly)q l, such that l k a ly)qx) l = x k Thus we get res ZS,L] x,y,t)x k] dx = res a l y)z S,L] x,y,t)qx) ]dx l x=0 x=0 l k ] = Coeff a l y)x l fq,y,t) = Coeff xx) k fq,y,t) ] = Coeff H k fq,y,t) ] q g 1 q g 1 q g 1 l k The last equality is by 11) 3 Calculations for the Abelian surface Kawai and Yoshioka determined K by comparing various moduli spaces of stable sheaves and stable pairs on a K3 surface KY] A modification of their argument suffices to determine A except for the coefficient of t 0, and a vanishing result in GS] allows us to determine this coefficient from the rest 31 Yoshioka s lemma Lemma 14 Y1, Lem 21] Let X be a smooth projective surface with polarization H, and let C be a curve class minimizing CH For a sheaf F with c 1 F) = dc, we write degf) = d = c 1 F)H)/CH) Let r,d) and r 1,d 1 ) be pairs of integers such that r 1 d d 1 r = 1, with r 0 and r 1 > 0 Let r 2,d 2 ) := r,d) r 1,d 1 ) Below let E i be of rank r i and degree d i, and let E 1 always be a vector bundle If E 1, E 2 are µ-stable, then every nontrivial extension is µ-stable 0 E 1 E E 2 0

12 12 LOTHAR GÖTTSCHE AND VIVEK SHENDE If E 1,E are µ-stable, then for any vector subspace V HomE 1,E), if the evaluation map V E 1 E is not injective, then it is surjective in codimension 1 Moreover If V E 1 E is injective, then the cokernel is µ-stable if V E 1 E is surjective in codimension 1, the kernel is µ-stable Remark 15 In Y1], this lemma is proven under the assumption that NSX) = Z, but in KY] it is pointed out that the proof only requires the assumption stated above Note that if d = 1, ie we are looking at sheaves with c 1 = C, then the condition r 1 d d 1 r = 1 is always satisfied by r 1,d 1 ) = 1,0), hence we may always take E 1 = O X We now extract explicitly the special cases we will be concerned with Corollary 16 Let X be a smooth projective surface with polarization H, and let C be a curve class minimizing CH Assume F is µ-stable and c 1 F) = C Then every nontrivial extension 0 O X E F 0 is µ-stable Assume E is µ-stable of positive rank and c 1 E) = C Then any non-zero section induces an exact sequence 0 O X E F 0 and F is µ-stable Proof Theonlythingwhich isnotimmediate fromthelemma istocheck isthepossibility inthesecond casethato X E issurjective incodimension 1ratherthanbeing injective But then in any case E must either be torsion which it is not by assumption) or the map from O X must be an isomorphism in codimension 1, in which case the kernel must be a torsion subsheaf of O X, hence zero Let Mr,d,e) denote the moduli space of semistable sheaves of rank r, degree d, and Euler number e 3 We will below always assume that Mr,d,e) only consists of µ-stable sheaves Let P 1 r,d,e) be the space of coherent systems LeP], ie it parameterizes a stable sheaf of rank r, degree d, and Euler number e) plus a section, up to isomorphism This corresponds to a special choice of the stability condition for pairs, which ensures that a pair of sheaf and section is stable, if and only if the sheaf is stable There is a forgetful map P 1 r,d,e) Mr,d,e) with fibre PH 0 E) over a sheaf E The above corollary implies the existence of another map: Corollary 17 For r 0, there exists a morphism P 1 r+1,d,e+χo X )) Mr,d,e) which takes O X E to its cokernel The fibre over a sheaf F is PExt 1 F,O X ) Let us consider the space P 1 0,1,e) This by definition consists of a stable, rank zero sheaf E together with a section O X E By stability, E is a pure sheaf supported on a curve ie torsion free with rank one on its support) As explained in PT2, Appendix B], dualizing gives an isomorphism between P 1 0,1,e) and the relative Hilbert scheme of 3 Note we are not indexing by the Mukai vector

13 χ y-genera OF RELATIVE HILBERT SCHEMES 13 degree e+g 1, where g is the arithmetic genus of the support of E, over the moduli space M of curves of degree dc on S 32 A relation between moduli spaces We now specialize to K X = O X Note in this case that if E is any stable sheaf with zero rank or positive first Chern class, then H 2 E) = HomE,K X ) = HomE,O X ) = 0 Inthezerorankcasethelastequalityisobvious; forpositiverankitisensuredbystability Additionally we have Ext 1 F,O X ) = H 1 F) by Serre duality Thus the dimensions of the fibres of the two maps to Mr,d,e) are related: P 1 r,d,e) PH0 F) Mr,d,e) PH1 F) P 1 r +1,d,e+χO X )) We indicate throughout the first map by P M and the second by M P We denote the Hodge polynomial of V by V] We write L for the Hodge polynomial of the affine line, and n] = P n 1 ] for n Z >0 We also write 0] = 0 and n] = L n n] Let Mr,d,e) s denote the locus with h 0 = s Since the map P M is given on the above strata as the projectivization of a vector bundle, we have: P 1 r,d,e)] = i e+i]mr,d,e) e+i ] Considering instead the map M P and using the vanishing of h 2 F) to write χf) = h 0 F) h 1 F), we have: P 1 r+1,d,e+χo X ))] = i i]mr,d,e) e+i ] As observed in KY], this establishes a recursion: P 1 r,d,e)] = i e+i]mr,d,e) e+i ] = e]mr,d,e)]+l e i]mr,d,e) e+i ] = e]mr,d,e)]+l e P 1 r +1,d,e+χO X ))] Because the dimension of P contains a term re, iterating this leads to empty moduli spaces P when either 1) we are working on the a K3 surface where e is increased at each step by χo X ) = 2, or 2) when e > 0 and we are on the Abelian surface 4 In these cases we may sum the recursion which is to say, the following sum is really a finite sum): 13) P 1 r,d,e)] = e+bχo X )]L b 1 j=0 e+jχox) Mr+b,d,e+bχO X ))] b=0 To evaluate this sum, It remains to 1) use the deformation equivalence of moduli of sheaves on K3 or Abelian surfaces and Hilbert schemes of points on these surfaces and then 2) plug in the formula for the Hodge polynomial of the Hilbert scheme Göt1] For 4 When e = 0 on the Abelian surface, we learn that P 1 r,d,0)] is independent of r 0, but we have not found any use for this fact

14 14 LOTHAR GÖTTSCHE AND VIVEK SHENDE the K3 surfaces, this is done in KY] We proceed now to the case of the Abelian surface, where one must moreover deal with the e 0 case in some other way 33 Abelian surfaces Let A be an Abelian surface We change notation slightly from the previous section, and write M num r,d,e) for what was written there Mr,d,e): the moduli space of sheaves where c 1 = d is fixed only in cohomology We now denote Mr,C,e) the moduli space where c 1 = C is fixed in Pic, and similarly for the spaces P Note the discussion there for M num,p num is equally valid for what is here called) M,P and thus Equation 13 holds for these spaces as well Twisting by line bundles gives an isomorphism A /A r] Mr,C,e) = M num r,d,e) The space M num r,d,e) has dimension dimext 1 F,F) = 2 χf,f) = 2 chf) chf) = 2+C 2 2re = 2gC) 2re If this is greater than 2, then according to Y2, Thm 01], M num r,d,e) is deformation equivalent to A A n] for the appropriate n Forg 1) > rewehavem num r,d,e)] = A A g 1 re] ]andmr,c,e)] = A g 1 re] ] In particular, in this case χ y Mr,C,e)) = 0 On the other hand, according to Y2, Lem 419], when r g 1), then Mr,C, g 1 ) is a finite set of r r2 points Thus for e > 0, equation 13) gives: P 1 0,C,e)] = e] L be Mb,C,e)] = e] b=0 b<g 1)/e b=0 L be A g 1 be] ]+L g 1 Now we treat the case of negative Euler characteristic There are morphisms π + : P 1 0,C,e) M0,C,e),s,E) E, b=g 1)/e π : P 1 0,C, e) M0,C,e),s,F) Ext 1 O S F,ω S ) = HomF,ω D ), where in the second line D is the support curve of F By Serre duality on the support curve we get π+ 1 E)] L e π 1 E)] = e] for all E M0,C,e) Furthermore M0,C,e) is stratified into locally closed subsets over which π + and π are projectivizations of vector bundles This gives P 1 0,C,e)] L e P 1 0,C, e)] = e]m0,c,e)] = 0 b 2 We now pass from ] to χ y ; note that in addition to specializing parameters we must multiply by y dim/2 ; by the isomorphism with Hilbert schemes, we have dimp 1 0,C,e) = 2g 1)+e 1 All terms containing A 1] ] vanish, leaving:

15 χ y-genera OF RELATIVE HILBERT SCHEMES 15 t e χ y P 1 0,C,e)) = y 1/2 e 0 = e gc) 1) e gc) 1) y e 1 y 1 y e/2 t e +y e/2 y e t e ) y e/2 y e/2 y 1/2 y 1/2te +t e ) ) 2 g 1 e g 1 It remains to determine the contribution of sheaves with e = 0 Let g = gc), and f g y,t) := e Z χ y P 1 0,C,e))t e = e Z χ y C e+g 1] A,C],g 2 )te Thus by 2) the N i are defined by expanding f g y,t) = ) 1 y NA,C],g 2 i 1/2 y) t)1 y 1/2 g 1 i t) t i 0 We have shown in GS] that, for surfaces with trivial canonical bundle, NS,L],δ i y) = 0 for i > δ Applying this here, we see that f g y,t) is a Laurent polynomial in t,y 1/2, divisible by 1 y 1/2 t)1 y 1/2 t) In particular f t g y,y 1/2 ) = 0, in other words Coefff g y,t)) = ) y e/2 y e/2 2 g 1 +y e/2 ), t 0 y 1/2 y 1/2ye/2 e e gc) 1) and f g y,t) = e gc) 1) y e/2 y e/2 y 1/2 y 1/2te +t e y e/2 y e/2 ) ) 2 g 1 e Putting d := e, n := g 1)/e, we see that A = g 2 f gy,t)q g 1 is given by the second line of Theorem 5 Remark 18 For the Hodge polynomial hx) = xy) dimx)/2 p,q hp,q X) x) p y) q, the above argument gives t e hp 1 0,C,e)) = e 0 e>0 xy) e/2 xy) e/2 xy) 1/2 xy) 1/2 ha g 1] )t e +t e +t e ) 0<b<g 1)/e ha g 1 be] )+ e b=g 1)/e ) 2 b 2 )) 4 The refined invariants for surfaces with K S numerically trivial In this section we prove Corollary 9 and Theorem 10 Let x := t+t 1 y 1/2 y 1/2 = 1 t 1 ty1/2 )1 ty 1/2 ) = y 1/2 1 y 1/2 t)1 y 1/2 /t) By Theorem 2 it is enough to prove Corollary 9 for K3 surfaces and Abelian surfaces Let S be a K3 surface or an Abelian surface with PicS) = Z generated by a line bundle L g with gl g ) = g These exist for any g 2: for Abelian surfaces we can take a principally

16 16 LOTHAR GÖTTSCHE AND VIVEK SHENDE polarized abelian surface with a polarization of type 1,g 1) For K3 surfaces this result can for instance be found in Ch, Prop12], where the surfaces are defined as deformations of embeddings in P g of hypersurfaces in P 1 P 2 and in P 2 -bundles over P 1 We know NS,L i g],χl g) 1 k y)xg i 1 = Coeff X k K χos)/2 A ] 1 χo S)/2 q g 1 i We know that N i S,L g],χl g) 1 k = 0 for i > χl g) 1 k = g k +2 χo S )) This means and g X k K χo S)/2 A 1 χo S)/2 x k+1 χo S) Qx]q 1 ]q]] S,L g],χl g) 1 k y)qg 1 = Xk K χo S)/2 A 1 χo S)/2 t=y 1/2 N χlg) 1 k x k+1 χo S) By Theorem 5 and the fact that d] y y=1 = d, we get A x = n 2 dd] 2 t=y yq nd = D DG 2 y,q) 1/2 n>0,d>0 As H = D 1 A, we also see that H x t=y 1/2 = DG 2 y,q) By Theorem 6 we get xk) t=y 1/2 = y,q) As X H 1+Qy]H]]), we find that X x t=y 1/2 = H x t=y 1/2 = DG 2 y,q) Substituting, we have proven Corollary 9: g N χlg) 1 k S,L g],χl g) 1 k y)qg 1 = DG 2 y,q) k D DG 2 y,q)) 1 χo S)/2 y,q) χo S)/2 Now we prove Theorem 10 This proof except the easy 15)) is due to Don Zagier As before let e z := y, e z 1 := y 1 := ty 1/2, e z 2 := y 2 = y 1/2 /t Note that y 1 y 2 = y We can rewrite the formula of Theorem 6 as follows: K = y 1/2 y 1/2 q) θ 0) 3 θy 1 )θy 2 )θy) = 1 θ 0)θy 1 y 2 ) y 1/2 y 1/2 ) y,q) θy 1 )θy 2 ) Let ε := y 1 1)y 2 1) y 1 = x y 1/2 y 1/2 Then by 1) we have 14) x y,q)k = 1 ε nd>0 sgnd)y n d 2 y d q nd = 1 ε nd>0sgnd)e d n)z 2 y d q nd Note that ε = εz 2 ) = 1 y 1 ye z 2 1)e z 2 1 1) is a power series in Q ]z y 1 2]], starting with z 2 Let z 2 ε) be the inverse series Then the formula for K of the Theorem follows from 14) together with the claim that 15) z 2 ε) = s n y) y 1/2 y 1/2 ) n ε n+1 n+1 = Sy,x)

17 χ y-genera OF RELATIVE HILBERT SCHEMES 17 By the Lagrange inversion formula Coeff ε nz 2 = 1 n Res z 2 =0ε n, we need to see that We put Y := y 1), T = e z 2 1, then y 1) n Res z 2 =0 ε n 1 = Coeff x n 1+x)1+xy) ) n y 1) n Y 2n+1 1+T) n 1+TY) n n Res z 2 =0 ε n 1 = Coeff = Coeff T n Y T) n+1 T n 1 T) = n+1 l=0 On the other hand Coeff x n Y l 1+x)1+x1+Y)) ) n = n k=0 n k ) 2 k l ) = n k=0 ) ) ) n n l n k n k l n l ) 2n l n 2n l = n ) Y l ) n l This establishes 15) and thus the formula for K To prove the formula for A, note that by the definition Ay,q) = nd>0 sgnd)n2 y d 1)q nd Thus we have by Theorem 5 that y 1/2 y 1/2 )A = Ay 1,q)+Ay 2,q) Ay,q) = nd>0 = nd>0 sgnd)n 2 y d 1 +y d 2 y d 1) ) q nd sgnd)n 2 y d 1 y d 2 y d 1) ) q nd = nd>0sgnd)n 2 e z 2d 1)y d 1)q nd, and use again 15) This finishes the proof of the formula for A The formula for H now follows directly from the definition H = D 1 A References BG] F Block, L Göttsche, Refined curve counting with tropical geometry, arxiv: BL] J Bryan, C Leung, The enumerative geometry of K3 surfaces and modular forms, JAMS ) alg-geom/ Ch] X Chen, Rational curves on K3 surfaces, EGL] G Ellingsrud, L Göttsche and M Lehn, On the cobordism class of the Hilbert scheme of a surface, Jour Alg Geom ), math/ Göt1] L Göttsche, The Betti numbers of the Hilbert schemes of points on a smooth surface, Math Ann ), Göt2] L Göttsche, A conjectural generating function for numbers of curves on surfaces, Comm Math Phys ), math/ GS] L Göttsche and V Shende, Refined curve counting on complex surfaces, Geom Topol ), no 4, , arxiv: GZ] L Göttsche, D Zagier, Jacobi forms and the structure of Donaldson invariants for 4-manifolds with b + = 1, Selecta Math NS) ), , alg-geom/ Hi] F Hirzebruch, Topological methods in algebraic geometry, Springer-Verlag, Berlin, 1995) IM] I Itenberg, G Mikhalkin, On Block-Goettsche multiplicities for planar tropical curves, Int Math Res Not IMRN 2013, no 23, , arxiv: KY] T Kawai, K Yoshioka, String partition functions and infinite products, Adv Theor Math Phys ), hep-th/ KST] M Kool, V Shende and R P Thomas, A short proof of the Göttsche conjecture, Geom Topol ), no 1, , arxiv: )

18 18 LOTHAR GÖTTSCHE AND VIVEK SHENDE KT1] M Kool and R P Thomas, Reduced classes and curve counting on surfaces I, Algebr Geom ), , arxiv: KT2] M Kool and R P Thomas, Reduced classes and curve counting on surfaces II, Algebr Geom ), , arxiv: KS] S L Kleiman and V Shende, On the Göttsche threshold With an appendix by Ilya Tyomkin Clay Math Proc, 18, A celebration of algebraic geometry, , Amer Math Soc, Providence, RI, 2013, arxiv: LeP] J Le Potier, Faisceaux semi-stables et systèmes cohérents, LMS Lecture Notes ), MNOP] D Maulik, N Nekrasov, A Okounkov, R Pandharipande, Gromov-Witten theory and Donaldson-Thomas theory I, Compos Math ), math/ MPT] D Maulik, R Pandharipande and R P Thomas, Curves on K3 surfaces and modular forms, J Top ), arxiv: M] G Mikhalkin, Enumerative tropical algebraic geometry in R 2, J Amer Math Soc ), math/ Muk] S Mukai, Symplectic structure of the moduli space of sheaves on an abelian or K3 surface, Invent math ), PT1] R Pandharipande and R P Thomas, Curve counting via stable pairs in the derived category, Invent Math 178, 2009), arxiv: PT2] R Pandharipande and R P Thomas, Stable pairs and BPS-invariants, Jour AMS 23, 2010), arxiv: Tze] Y-j Tzeng, Proof of the Göttsche-Yau-Zaslow Formula, J Diff Geom ), arxiv: Y1] K Yoshioka, Some examples of Mukai s reflections on K3 surfaces, J reine angew Math ), Y2] K Yoshioka, Moduli spaces of stable sheaves on abelian surfaces, Math Ann ), math/ Z] D Zagier, Periods of modular forms and Jacobi theta functions, Invent Math ),