Abstract
A theorem of Göttsche establishes a connection between cohomological invariants of a complex projective surface S and corresponding invariants of the Hilbert scheme of n points on S. This relationship is encoded in certain infinite product q-series which are essentially modular forms. Here we make use of the circle method to arrive at exact formulas for certain specializations of these q-series, yielding convergent series for the signature and Euler characteristic of these Hilbert schemes. We also analyze the asymptotic and distributional properties of the q-series’ coefficients.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of results
K3 surfaces are complex surfaces characterized by their particularly simple Hodge structures and trivial holomorphic tangent bundles. These manifolds are of particular interest to physicists and mathematicians. For physicists, they serve as useful examples of Calabi-Yau manifolds, which are a class of spaces central in string theory, and for mathematicians, they serve as an interesting yet sufficiently simple example in 4-manifold theory and complex differential geometry. These two roles came together in an unexpected way when in [20] Yau and Zaslow conjectured (and later Beauville proved in [4]) that the count of n-nodal curves on a K3 surface is equal to the Euler characteristic \(\chi (\text {Hilb}^n(S))\) of Hilbert schemes of n points on a K3 surface S.
Yau and Zaslow’s conjecture made use of a previous theorem of Göttsche (see [8, p. 37]) that provides an infinite product encoding the Euler characteristics \(\chi (\mathrm {Hilb}^n(S))\) for Hilbert schemes of a K3 surface S. These Euler characteristics can be assembled in the form of the generating function
where \(\Delta (\tau )\) is the modular discriminant and \(q:=e^{2\pi i\tau }.\)
Göttsche stated a more refined infinite product formula concerning Hodge numbers, which are cohomological invariants that can be assembled into Betti numbers and the Euler characteristic. Recently, Manschot and Zapata Rolon [14] studied the asymptotic distribution of linear combinations of these Hodge numbers, which are realized as coefficients of Laurent polynomials called the \(\chi _y\) genera for K3 surfaces (see (2.4) for a definition of \(\chi _y\)). The \(\chi _y\) genera can also be assembled using the generating function
Akin to (1.1), Göttsche also provides an infinite product for \(Y_S(y;\tau )\) (see Lemma 2.2).
Manschot and Zapata Rolon [14] found for K3 surfaces S that if m is fixed, then as \(n\rightarrow \infty \) we have
Moreover, since the asymptotics for \(b_S(m;n)\) do not depend on m, if we define
it follows that \(b^*_S(0;n)\sim b^*_S(1;n)\) as \(n \rightarrow \infty .\) From a geometric perspective, n corresponds to the length of the Hilbert scheme, and m corresponds to a particular monomial in the \(\chi _y\)-genus of \(\text {Hilb}^n(S)\). Grouping the contributions by the coefficients of these monomials in residue classes mod 2, we obtain an equidistribution in the limit as n goes to infinity.
Göttsche’s formula for Hodge numbers \(h^{s,t}(\text {Hilb}^n(S))\) of Hilbert schemes of n points for K3 surfaces is a special case of his more general formula, which states that for any smooth projective complex surface S, we have
For later use, we define \(c_S(s,t;n)\) to be the coefficient of \(x^sy^tq^n\) in the power series expansion of \(Z_S(x,y;\tau ) \).
Remark
The Hodge polynomial \(\chi _{\mathrm {Hodge}}(\mathrm {Hilb}^n(S))\) is a Laurent polynomial in \(\mathbb {Z}[x,y,x^{-1}, y^{-1}],\) and we will sometimes write it as \(\chi _{\mathrm {Hodge}}(\mathrm {Hilb}^n(S))(x,y)\) to make explicit the Hodge polynomial’s dependence on x and y. If we specialize x and y to \(\pm 1\), then \(\chi _{\mathrm {Hodge}}(\mathrm {Hilb}^n(S))(x,y)\) evaluates to different linear combinations of important topological invariants. See Sect. 2 for a more detailed discussion of \(\chi _{\mathrm {Hodge}}(\mathrm {Hilb}^n(S))(x,y)\).
We seek exact formulas for sequences assembled from the coefficients of (1.3) for a more general class of smooth projective complex surfaces. We consider the distribution of the coefficients \(c_S(s,t;n)\) over residue classes mod 2; namely, if we let
we seek to determine the asymptotic properties of the sequences \(b^*_S(r;n)\) and \(c^*_{S}(r_1, r_2;n)\). To this end, we consider the asymptotics of the q-series
Our main result is the following. See Sect. 2 for a more detailed discussion of the cohomological invariants for which we state exact formulas and asymptotics below.
Theorem 1.1
Let S be a smooth projective surface. Then we have the following exact formulas:
-
(1)
If \(0 \le \chi (S) < 24n\), then we have
$$\begin{aligned} \chi (\mathrm {Hilb}^n(S))=&2\pi \sum _{j<{\frac{\chi (S)}{24}}} \sum _{{k=1}}^\infty k^{\chi (S)/2}A_{k}(-\chi (S),0,j;n) \chi (\mathrm {Hilb}^j(S)) L^*(0,j,k;n). \end{aligned}$$ -
(2)
If \(\sigma (S) \le \chi (S)< 24n\), then we have
$$\begin{aligned} \sigma (\mathrm {Hilb}^n(S))=& 2\pi \sum _{j<{\frac{\chi (S)}{24}}} \sum _{\begin{array}{c} k=2\\ k\mathrm {\ even} \end{array}}^\infty \frac{A_{k}(\sigma (S),\Lambda (S),j;n) \sigma (\mathrm {Hilb}^j(S)) }{k^{\Lambda '(S)/2}}L^*(0,j,k;n)\\ \nonumber&+ 2\pi \sum _{j<\frac{3\sigma (S) -\chi (S)}{48}} \sum _{\begin{array}{c} k=1\\ k \ \mathrm { odd} \end{array}}^\infty \frac{(-1)^nB_{k}(\sigma (S),\Lambda (S),j;n)a(\Lambda (S),\sigma (S);j)}{ 2^{\Lambda (S)/2}k^{\Lambda '(S)/2}}L^*(1,j,k;n). \end{aligned}$$where \(\Lambda (S):=-(\sigma (S) + \chi (S))/2\) and \(\Lambda '(S):=(\sigma (S) - \chi (S))/2\).
Here \(a(\alpha ,\beta ,j)\), \(A_{k}(\alpha ,\beta ,j;n)\), \(B_{k}(\alpha ,\beta ,j;n)\), \(L^*(0,j,k;n)\), and \(L^*(1,j,k;n)\) are defined in Sects. 3, (2.19), (2.21), (4.4), and (5.4), respectively.
Remark
In Theorem 1.1, \(A_k(\alpha ,\beta ,j;n)\) and \(B_{k}(\alpha ,\beta ,j;n)\) are known as Kloosterman sums, and \(L^*(0,j,k;n)\) and \(L^*(1,j,k;n)\) are, up to simple multiplicative factors, modified Bessel functions of the first kind.
Theorem 1.1 offers exact formulas as convergent infinite series. These formulas imply the following asymptotics.
Corollary 1.2
Let S be a smooth projective surface. Then the following are true:
-
(1)
Suppose \(\chi (S) \ge \sigma (S)\).
-
(a)
If \(\sigma (S) < 0,\) then as \(n \rightarrow \infty ,\) we have
$$\begin{aligned} \begin{aligned}&\sigma (\mathrm {Hilb^n}(S)) \sim (-1)^n 2^{\frac{7\sigma (S)-3\chi (S)-14}{8}}3^{\frac{\sigma (S)-\chi (S)-2}{8}}\\&\quad (\chi (S)-3\sigma (S))^{\frac{\chi (S)-\sigma (S)+2}{8}} n^{\frac{\sigma (S)-\chi (S)-6}{8}} \\&\quad \cdot \exp \left( \pi \sqrt{\frac{\chi (S)-3\sigma (S)}{6}n}\right) . \end{aligned} \end{aligned}$$ -
(b)
If \(\sigma (S) >0\), then as \(n \rightarrow \infty ,\) we have
$$\begin{aligned}&\sigma (\mathrm {Hilb^n}(S)) \sim 2^{\frac{3\sigma (S) -3\chi (S)-14}{8}} 3^{\frac{\sigma (S)-\chi (S)-2}{8}} \\&\quad \chi (S)^{\frac{ \chi (S) -\sigma (S)+2}{8}} n^{\frac{\sigma (S)-\chi (S)-6}{8}} \exp \left( \pi \sqrt{\frac{\chi (S)}{6}n}\right) . \end{aligned}$$ -
(c)
If \(\sigma (S)=0\) and \(\chi (S) \ne 0\), then as \(n\rightarrow \infty \), we have
$$\begin{aligned}&\sigma (\mathrm {Hilb^{2n}}(S)) \sim 2^{\frac{-\chi (S) -3}{2}} 3^{\frac{-\chi (S)-2}{8}} \\&\quad \chi (S)^{\frac{2+\chi (S)}{8}} n^{\frac{-\chi (S)-6}{8}} \exp \left( \pi \sqrt{\frac{\chi (S)}{3}n}\right) . \end{aligned}$$Moreover, for all n we have
$$\begin{aligned} \sigma (\mathrm {Hilb^{2n+1}}(S)) = 0. \end{aligned}$$ -
(d)
If \(\sigma (S) =\chi (S) =0\), we have for all n,
$$\begin{aligned} \sigma (\mathrm {Hilb^{n}}(S)) = 0. \end{aligned}$$
-
(a)
-
(2)
-
(a)
If \(\chi (S) > 0,\) then, as \(n \rightarrow \infty ,\) we have
$$\begin{aligned} \chi (\mathrm {Hilb}^n(S)) \sim 2^{\frac{-3\chi (S)-5}{4}}3^{\frac{-\chi (S)-1}{4}}\chi (S)^{\frac{\chi (S)+1}{4}}n^{\frac{- \chi (S)-3}{4}}\exp \left( \pi \sqrt{\frac{2\chi (S)}{3}n}\right) . \end{aligned}$$ -
(b)
If \(\chi (S) =0\), then for all n we have
$$\begin{aligned} \chi (\mathrm {Hilb}^n(S)) =0. \end{aligned}$$
-
(a)
The asymptotics in Corollary 1.2 imply the following asymptotic properties of \(b^*_S(r;n)\) and \(c_S^*(r_1,r_2;n)\).
Corollary 1.3
Let S be a smooth projective surface. Then the following are true:
-
(1)
Suppose that \(\chi (S) \ge \sigma (S)\). If \(\chi (S)+\sigma (S)>0\), then as \(n \rightarrow \infty \) we have
$$\begin{aligned} b^*_S(0;n) \sim b^*_S(1;n). \end{aligned}$$If \(\chi (S)+\sigma (S) =0\), then as \(n \rightarrow \infty \) we have
$$\begin{aligned} b^*_S(1;n) =0. \end{aligned}$$If \(\chi (S)+\sigma (S) <0\), then as \(n \rightarrow \infty \) we have
$$\begin{aligned} b^*_S(0;n) \sim - b^*_S(1;n). \end{aligned}$$ -
(2)
Suppose that \(\chi (S) \ge \sigma (S)\). If \(h^{1,0}=0\), then as \(n \rightarrow \infty \) we have
$$\begin{aligned} c_S^*(0,0;n) \sim c_S^*(1,1;n) \ \ \text {and} \ \ c_S^*(0,1;n)=c_S^*(0,1;n) =0. \end{aligned}$$If \(h^{1,0}>0\), then as \(n \rightarrow \infty \) we have
$$\begin{aligned} c^*_{S}(0,0;n) \sim c^*_{S}(1,1;n) \sim -c^*_{S}(0,1;n) = -c^*_{S}(1,0;n). \end{aligned}$$
Note that when S is a K3 surface, Corollary 1.3 (1) recovers the equidistribution of the \(b_S^*(r; n)\) that follows from the work of Manschot and Zapata Rolon in [14].
Remark
The Enriques-Kodaira Classification Theorem [3, p. 244] mostly describes the possible Hodge structures of smooth complex surfaces. This theorem lists minimal models for many birational equivalence classes of surfaces, which determine \(h^{0,0}\), \(h^{1,0}\), \(h^{2,0}\), and \(\min \{h^{1,1}\}\) for that class. By the blowup construction, every smooth complex projective surface S is birationally equivalent to a smooth complex projective surface \(S'\) with \(h^{1,1}(S')=h^{1,1}(S)+1\) and \(h^{s,t}(S') = h^{s,t}(S)\) for \((s,t) \ne (1,1)\). A minimal model of a birational equivalence class is a surface that is not a blowup of any other smooth surface. Since \(\chi (S)\) and \(\chi (S)-\sigma (S)\) increase linearly with \(h^{1,1}(S)\), Theorem 1.1, Corollary 1.2, and Corollary 1.3 apply to all surfaces in each birational equivalence class except those whose Hodge structures fall in a certain finite set. In particular, if the minimal model satisfies the hypotheses of these statements, then all surfaces in that class satisfy them. Excluding surfaces of general type, the only classes of projective surfaces whose minimal models do not satisfy these hypotheses are ruled surfaces of genus \(g \ge 2\) (see [3] and [18]).
In Sect. 2, we will define all of the terms above and describe their topological and geometric significance. We will also state important properties of the generating functions of these sequences, which will be crucial in our deduction of the above formulas. In Sect. 3 we will outline our use of the circle method to prove Theorem 6.1, a general result from which Theorem 1.1 and Corollaries 1.2 and 1.3 are derived. Sections 4 and 5 include arguments necessary for this proof. In Sect. 6, these arguments are assembled, and Theorem 6.1, Theorem 1.1, and Corollaries 1.2 and 1.3 are proven. In Sect. 7 we illustrate our results with numerics.
2 Preliminaries
In this section, we present Göttsche’s result and specialize it in terms of weakly holomorphic modular forms. We then provide bounds on certain exponential sums known as Kloosterman sums and bounds on I-Bessel functions. Both Kloosterman sums and Bessel functions will appear in our application of the circle method in Sects. 4 and 5.
A compact complex manifold M has cohomological invariants called the Hodge numbers \(h^{s,t}:=h^{s,t}(M),\) which are defined as the complex dimensions of the (s, t)-Dolbeault cohomology space \(H^{s,t}(M)\) (see [19]). When the context is clear, we will not explicitly indicate dependence of the Hodge numbers \(h^{s,t}\) on the manifold M. If M is a Kähler manifold, the Hodge numbers are related to the Betti numbers \(b_n(M)\) by the formula
(see [19, p. 198]). Moreover, for any manifold M one can construct a manifold \(\text {Hilb}^n(M)\) which can be thought of as a smoothed version of the \(n^{th}\) symmetric product of M (see [12]). For any smooth projective complex surface S, Göttsche’s formula allows one to compute the Hodge numbers of \(\text {Hilb}^n(S)\) for all n from the Hodge numbers of S.
In order to state Göttsche’s result, we first define the Hodge polynomial, which serves as a generating function for the Hodge numbers of M:
where d is the complex dimension of M. We will generally supress the (x, y) for notational convenience.
On page 37 of [8], Göttsche proved the remarkable fact that one can assemble the Hodge polynomial for \(\mathrm {Hilb}^n(S)\) using the Hodge numbers \(h^{s,t}(S)\).
Theorem 2.1
(Göttsche) If S is a smooth projective complex surface, then we have that
Remark
Note that for each n, \(|s|,|t|\le n\) in the definition of \(\chi _{\mathrm {Hodge}}(\mathrm {Hilb}^n(S))\).
By [2, p. 43], every such smooth projective complex surface S is Kähler, so by Serre duality and Hodge symmetry, the Hodge numbers satisfy the following relations:
By the additivity of the Hodge numbers, we need only consider the case where M is connected, i.e. \(h^{0,0}=1\). In this case, we obtain:
This polynomial gives rise to other topological invariants upon substituting \(\pm 1\) for x and y. For example, the Hirzebruch \(\chi _y\)-genus of M is the polynomial
We can express this in terms of the Hodge polynomial:
In terms of the Betti numbers, the Euler characteristic \(\chi (M)\) is defined as
Setting \(x = 1\) and \(y = 1\) in the Hodge polynomial, we see in reference to (2.1) and (2.5) that
On the other hand, setting \(x = -1\) and \(y = 1\) in the Hodge polynomial gives
where the signature \(\sigma (M)\) of a d-dimensional complex manifold M is the signature of the intersection pairing on \(H^d(M)\) (see [15]). In terms of Hodge numbers of Kähler surfaces S, the signature is given by
The discussion above indicates the importance of Göttsche’s infinite product formulas (Theorem 2.1) as a vehicle for studying invariants of complex projective surfaces. This is further illuminated by the following specializations of Theorem 2.1 in terms of these invariants.
Lemma 2.2
If S is a smooth projective complex surface, then the following are true:
Remark
We note that (2.9) and (2.10) are alternate expressions for \(Z(1,1;\tau )\) and \(Z(1,-1;\tau )=Z(-1,1;\tau )\), respectively. We can apply the same process to \(Z(-1,-1;\tau )\) to obtain
We now show that these functions can be assembled in linear combinations to give alternate formulas for \(B_S(r;\tau )\) and \(C_S(r_1,r_2;\tau )\).
Lemma 2.3
Let S be a smooth projective complex surface. We have
and
where \(C_S(r_1, r_2;\tau )\) is defined by (1.5).
Proof
We prove only (2.13), since (2.12) follows from even simpler manipulations. We have
\(\square \)
2.1 Modularity properties of specializations of Göttsche’s identity
The infinite products (2.9), (2.10), and (2.11) can be written in terms of the Dedekind eta function, the weight 1/2 modular form on \(SL_2(\mathbb {Z})\) (with multiplier) that is defined by
This is done explicitly in the following lemma.
Lemma 2.4
Let S be a smooth projective complex surface. We have that
Having expressed \(Z_S( \pm 1, \pm 1; \tau )\) as an eta quotient (up to a fractional power of q), we define
where \(x,y = \pm 1\) and \(\alpha \) and \(\beta \) are determined by x, y, and the Hodge numbers of S. Thus, (up to a fractional power of q), \(H_{\alpha , \beta }\) is a modular form on \(\Gamma _0(2)\). In our application of the circle method to prove our main results, we use the modularity of \(H_{\alpha ,\beta }\) to determine the behavior of this function when \(\tau \) is near the rational number h / k. The modular transformation equations for \(H_{\alpha , \beta }\) are given in the following lemma. The q-expansion of \(H_{\alpha ,\beta }\) gives the behavior of \(H_{\alpha ,\beta }\) for \(\tau \) near \(i \infty \), and this lemma relates the behavior of \(H_{\alpha ,\beta }\) near \(i\infty \) to its behavior near h / k. We present two transformation equations, corresponding to the two different cusps of \(\Gamma _0(2)\). These cusps partition the rationals h / k into two parts, based on the parity of k. The two cusps will make distinct contributions to our final formula.
Lemma 2.5
Let k be a positive integer, let h satisfy the condition \((h,k) =1\), and let \(h'\) satisfy \(hh' \equiv -1 \mod k\). Further suppose \(\mathrm {Re}(z) >0\). Define
where s(h, k) is the Dedekind sum
and ((x)) is the sawtooth function
-
(1)
If \(2 \mid k\), we have
$$\begin{aligned}&H_{\alpha ,\beta } \left( \exp \left( \dfrac{2 \pi i h}{k} - \dfrac{2 \pi z}{k} \right) \right) \\&\quad = z^{-\frac{\alpha + \beta }{2}}\omega _{\alpha , \beta }(h,k) \cdot \exp \left( (\alpha + 2 \beta )\dfrac{\pi }{12 k} \left( z -\dfrac{1}{z} \right) \right) \\&\qquad \times H_{\alpha , \beta } \left( \exp \left( \dfrac{2 \pi i h'}{k} - \dfrac{2 \pi }{z k} \right) \right) . \end{aligned}$$ -
(2)
If \(2 \not \mid k\), we have
$$\begin{aligned}&H_{\alpha , \beta } \left( \exp \left( \dfrac{2 \pi i h}{k} - \dfrac{2 \pi z}{k} \right) \right) \\&\quad = \frac{z^{-\frac{\alpha + \beta }{2}}\omega _{\alpha , \beta }(h,k)}{2^{\beta /2}} \cdot \exp \left( \frac{\pi }{24k}\left( {2(\alpha + 2 \beta )}z -\frac{2\alpha + \beta }{z}\right) \right) \\&\qquad \times H_{\beta ,\alpha }\left( \exp \left( \frac{\pi ih'}{k} - \frac{\pi }{zk} \right) \right) . \end{aligned}$$
Proof
From [1, p. 96], we know
where \((h,k) =1\), \({\tau = (iz + h)/k}\), \(hh' \equiv -1 \mod k\), and s(h, k) is the Dedekind sum defined above. Similarly, [9] shows that if \(2 \mid k\), then
where \(\sigma (h,k) := s(h,k)-s(2h,k)\), and if \(2 \not \mid k\)
To prove the lemma, we note that \(H_{\alpha , \beta }({ q}) = H_{-1,0}({ q}) ^ {-(\alpha + \beta )} \cdot H_{-1,1}({ q}) ^ \beta \) and \(H_{\alpha ,0} ({ q^2}) = H_{0,\alpha }({ q})\). \(\square \)
Remark
When we apply the circle method to find the coefficients of the q-expansion of \(H_{\alpha , \beta }\) in Sects. 3, 4, and 5, we consider \(\tau \in {\mathbb {H}}\) on the horizontal line segment
As \(N \rightarrow \infty \), L approaches the positive real axis directly from above. As discussed in Sect. 3, for the purpose of estimates we partition L into line segments that have midpoints at \(h/k + i N^{-2}\) for cusp representatives \(0 \le h / k \le 1\) and \(k \le N.\) When we reparameterize these line segments in terms of the variable z introduced in the statement of Lemma 2.5, they become small vertical line segments just to the right of the origin in the z-plane. Lemma 2.5 allows us to estimate the value of \(H_{\alpha , \beta }\) for z on these small vertical line segments.
2.2 Bounds on certain Kloosterman sums
In order to bound the error terms that will result from estimating the contour integral (3.1), we need bounds on Kloosterman sums of the form
and
These sums admit the trivial estimate O(k). However, in the case \(\alpha + \beta = 0\), we will need a sharper estimate. In addition, we will occasionally restrict the values of \(k_i\) to an interval \(N-k< k_i \le \sigma < N\), which will in turn restrict \(h'\) to one or two intervals modulo k. For bounding purposes, it suffices to consider sums of the form
where the \('\) indicates that \(h'\) is restricted to an interval \(0 \le \sigma _1 \le h' < \sigma _2 \le k\). Thus we will need the following lemma.
Lemma 2.6
For \(\alpha \) and \(\beta \) fixed, \(\alpha + \beta =0\), the sums
are subject to the estimate
uniformly in \(\sigma _1\), \(\sigma _2\), and j.
Proof
The proof is a simple adaptation of those of Theorems 2 and 3 of [9], which follow the proof of Theorem 2 in [13]. Equations (3.5) and (4.11) in [9] together state that if \(2 \mid k\), we have
where r(h, k) is a rational number that depends on k and h mod 4, \(\phi \), G, and v are integers that depend only on k, and u is a polynomial in k. (5.7) states that if \(2 \not \mid k\), then
with r, v and u as before, and \(\Phi \) and g integers dependent on k. The proof of Lemma 2.6 proceeds as in [9], with u, v, and r replaced with \(\beta u\), \(\beta v\) and \(\beta r\), respectively. \(\square \)
2.3 Bounds on I-Bessel functions
As noted in the introduction, an important ingredient in our exact formulas is the modified Bessel function of the first kind, which is also known as the I-Bessel function. Here we recall a number of facts from [7] about I-Bessel functions that will be useful throughout our arguments. We define the I-Bessel function of order v as
From this definition it follows that for \(0< x < 1,\) we have
We also recall an integral representation of the I-Bessel function which we will use in Sects. 4 and 5: for \(v \ge 0,\) we have
where R is any simple closed contour surrounding the origin.
3 Outline of the circle method
In this section, we outline our use of the circle method to find exact formulas for coefficients \(a(\alpha , \beta ;n)\) of \(H_{\alpha , \beta }\) where \(\alpha +\beta \le 0\). This corresponds to those cases where \(H_{\alpha ,\beta }\) is essentially a modular form of non-positive weight. These cases are special because non-constant holomorphic modular forms do not exist in non-positive weight. We make use of the method of Rademacher, introduced in [17], which improved upon the earlier work of G. H. Hardy and Srinivasa Ramanujan on the partition function. We adapt the implementation of this method along the lines of earlier works by Hagis (see [9, 10], and [11]).
The basic ingredient of the circle method is Cauchy’s integral formula, which we use to obtain
We let C be the circle of radius \(e^{-2\pi N^{-2}}\) centered at the origin, where N is an upper bound on the denominator of the cusp representatives under consideration. We emphasize that we choose C to be a circle with this particular radius; there are many paths that could be chosen in applying Cauchy’s integral formula, but the one we choose here is a particular choice following the implementation of the circle method in [9, 10], and [11]. The exponent n will be fixed, and N will later be allowed to approach infinity. As \(N \rightarrow \infty \), the main contribution to this integral comes from a dense set of poles on the boundary of the unit circle, where each pole is located at a root of unity \(e^{2 \pi i h/k}\). The locations of these poles follow from the definition of \(H_{\alpha , \beta }\) in (2.18) and the locations of the zeros of \(\eta (\tau )\) afforded by the product representation (2.14).
The generating function \(H_{\alpha , \beta }\) is, up to a fractional power of q, a modular form with non-positive weight on \(\Gamma _0(2)\) in the cases we consider. As shown in Lemma 2.5, we have that \(H_{\alpha , \beta }\) has a pole of order \(-(\alpha + 2\beta )/24\) at the cusp of \(\Gamma _0(2)\) whose representatives have all even denominators and a pole of order \(-(2\alpha + \beta )/48\) at the cusp whose representatives have all odd denominators.
Since we have descriptions of \(H_{\alpha ,\beta }\) near all roots of unity, we divide C into Farey arcs \(\xi _{h,k}\) for \((h,k)=1\), which decrease in length and approach the point \(e^{2 \pi i h/k}\) as N increases. Figure 1 shows the Farey arc \(\xi _{1,3}\) for \(N=10\), 20, and 30. By estimating \(H_{\alpha ,\beta }\) along these Farey arcs, we obtain a convergent series for the coefficients \(a(\alpha ; \beta , n)\) as \(N \rightarrow \infty .\) These series are exact formulas which yield Theorem 6.1.
We will need explicit descriptions of these Farey arcs. First, we can rewrite
In the Farey series of order N, we consider the fraction h / k and its two neighbors,
discussed in [16]. Each of \(h_i\) and \(k_i\) depend on h, k and N as described in [16]. Note that \(N-k < k_i \le N\). On the arc \(\xi _{h,k}\), we can introduce the variable \(\theta \) via the transformation
where
Setting \(z=k(N^{-2}-i\theta )\) on each arc \(\xi _{h,k}\), we obtain
Guided by Lemma 2.5, we break up the sum into even and odd k, writing
where
We henceforth omit dependence on \(\alpha \) and \(\beta \) from the names of most variables. Section 2.2 gives estimates on sums of roots of unity known as Kloosterman sums that are needed to bound the error terms. Section 4 extracts behavior from S(0, N; n) that will contribute to the exact formula and bounds the error terms. Throughout the following three sections, n, \(\alpha \), and \(\beta \) are fixed.
4 The even case
4.1 Decomposing S(0, N; n)
Here we will extract main term and error term behavior from
Towards this goal, we apply the transformation law (1) in Lemma 2.5 for \(H_{\alpha ,\beta }\) and even k. In the process, we replace the resulting term
with its series expansion and re-express \(z=kw\), yielding
The coefficient of 1 / w inside the above exponential is positive if and only if \(j<-(\alpha +2\beta )/24\). Accordingly, we let
where Q(0, N; n) is the sum over those \(j<-(\alpha +2\beta )/24\), and R(0, N; n) consists of the remaining terms in S(0, N; n). We will show later that Q(0, N; n) yields mostly main term behavior, whereas R(0, N; n) yields error term behavior. On this note, we observe that if \(\alpha +2\beta \ge 0\), then Q(0, N; n) is in fact an empty sum, which corresponds to the weak growth near \(e^{2 \pi i h/k}\) for k even discussed at the end of Sect. 2.1. Thus in our analysis of Q(0, N; n) we may assume \(\alpha +2\beta <0\). Additionally, we will assume \(n>-(\alpha +2\beta )/24\), which guarantees that the coefficient on w inside the exponential is positive.
4.2 Decomposing Q(0, N; n)
We now break up Q(0, N; n) into three parts: one which will be extended to a Bessel function in the following subsection, as well as two error terms. Towards this goal, we divide the intervals of integration into three parts according to
Omitting the integrands, the split becomes
4.3 Extending \(Q_0(0,N;n)\)
Here we will extend the path of integration of \(Q_0(0,N;n)\) to obtain a modified Bessel function. Implementing the variable transformation \(w=N^{-2}-i\theta ,\) we have
We will now extend the path of integration to the rectangle R with vertices
Omitting the integrands, we write
We name \(L^*(0,j,k;n):=1/2\pi i\int _R\), and we name the three remaining integrals \(J_1(0,j,k,N;n),\) \(J_2(0,j,k,N;n),\) and \(J_3(0,j,k,N;n),\) respectively. We will give an exact description of \(L^*(0,j,k;n)\) as a Bessel function, and bound each \(J_i(0,j,k,N;n)\).
4.4 Expressing \(L^*(0,j,k;n)\) as a Bessel function
In this subsection, we express \(L^*(0,j,k;n)\) in terms of a modified Bessel function of the first kind.
In the remaining subsections, we will bound each of the error terms that we have encountered, demonstrating that the only significant contribution from S(0, N; n) comes from \(L^*(0,j,k;n)\). To \(L^*(0,j,k;n)\) we apply the variable transformation
which gives
It follows from the integral representation of the I-Bessel function (2.24) that
where
4.5 Bounding R(0, N; n)
In this section we will bound R(0, N; n), which we recall is given by
We will show that \( R(0,N;n)= O(N^{-\delta }) \) for some \(\delta >0.\) Setting
and splitting the integral into three parts as in (4.2), we obtain
Our goal is to bound the expressions (4.5), (4.6), and (4.7). We begin by bounding |E|. As a reminder, we have \(w= N^{-2} - i \theta \) and \(|\theta | \le 1/Nk\), so that \(\mathrm {Re}(1/w) \ge k^2/2\) and \( \mathrm {Re}(w) = N^{-2}.\) Therefore for \(j \ge -(\alpha + 2\beta )/24\),
Thus for \(N>0\), we have
Noting that the series \(\sum _{j=0}^\infty a(\alpha , \beta ;j)e^{-\pi j}\) defining \(H_{\alpha , \beta }(i/2)\) converges absolutely, we have that for fixed n, (4.5) admits the estimate
If \(\alpha + \beta < 0\), we can use the trivial Kloosterman sum bound O(k) to show that
If \(\alpha +\beta = 0\), we can make use of Lemma 2.6 to show that for fixed n,
The summands (4.6) and (4.7) are handled in a similar way. The only important difference is that we must first switch the order of summation as in [16, p. 507] to obtain
The desired bound is now obtained via the same methods used to bound (4.5). As described in Sect. 2.2, Lemma 2.6 is equipped to handle the incomplete Kloosterman sum in (4.11). By (4.9), (4.10), and corresponding statements for (4.6) and (4.7), we obtain in all cases
for some \(\delta >0\).
4.6 Bounding \(Q_1(0,N;n)\) and \(Q_2(0,N;n)\)
In this subsection, we will bound those segments of the Farey arcs that do not contribute to the Bessel integral. We will explicitly bound just \(Q_2(0,N;n)\) because similar arithmetic yields the same bound for \(Q_1(0,N;n)\). First, as in (4.6) and (4.7) we split our path of integration into many smaller intervals, obtaining
Now, as in 4.11, we switch the order of summation, which yields
We have, similarly to (4.8), that \(E=O(1)\).
Since \( |w| \le ({2}/{(N^2k^2)})^{1/2}\), we have
Here and throughout, the constant implied by the big Oh notation depends at most on \(\alpha ,\beta ,n\). The following steps are analogous to the final steps of Sect. 4.5, where the cases \(\alpha + \beta <0\) and \(\alpha + \beta =0\) are considered separately. We conclude that
for some \(\delta >0\).
4.7 Bounding \(J_1(0,j,k,N;n),J_2(0,j,k,N;n),J_3(0,j,k,N;n)\)
As a reminder, we have
and
We first consider \(J_1\) and \(J_3\). Here one easily finds \(\mathrm {Re}(w) \le N^{-2}\) and \( \mathrm {Re}(1/w) \le 4k^2\), and from this obtains \(E= O(1)\). Since the interval length is \(2N^{-2}\) and \(|w| \le {\sqrt{2}}/{kN}\), we have that \(J_1\) and \(J_3\) are \(O\left( (kN)^{(\alpha + \beta )/2-1})\right) .\)
For \(J_2\), we need only note that \(\mathrm {Re}(w)\) and \( \mathrm {Re}(1/w) \) are negative to show that \(E= O(1)\). Since the length of the interval is \(2/N(k+N)\), we see that \(J_2\) is \(O\left( (kN)^{(\alpha + \beta )/2-1})\right) .\) We proceed as in Sects. 4.5 and 4.6 to show that
for some \(\delta >0\), as desired.
Recalling our decomposition of \(Q_0(0,N;n)\) in (4.3) and the bound given by (4.14) above, we can now estimate
5 The odd case
The odd case follows a manner very similar to the even case, and the discrepancies are all consequences of the differences between the transformation formulas (1) and (2) in Lemma 2.5 for even and odd k.
5.1 Decomposing S(1, N; n)
Here we will extract main term and error term behavior from
We apply the transformation law (2) in Lemma 2.5 for \(H_{\alpha ,\beta }\) and odd k, obtaining
as in Sect. 4.1.
In this case the coefficient on 1 / w inside the above exponential is positive if and only if \(j<-(2\alpha +\beta )/24.\) Thus we stratify S(1, N; n) via
where Q(1, N; n) is the sum over those \(j<-(2\alpha +\beta )/24\). As in the even case, Q(0, N; n) will yield mostly main term behavior, whereas R(0, N; n) will yield error term behavior. We continue to assume that \(n>-(\alpha +2\beta )/24\).
5.2 Decomposing Q(1, N; n)
We will now break up Q(1, N; n) into three parts, which play the same roles as in Sect. 4.2. Omitting the integrands, we have
5.3 Extending \(Q_0(1,N;n)\)
In this subsection, we will extend the path of integration of \(Q_0(1,N;n)\) to obtain a modified Bessel function. Via the variable transformation \(w=N^{-2}-i\theta \), we can write
Considering the rectangle R described in Section 4.3, we write
Omitting the integrands, we write \(L^*(1,j,k;n):=1/2\pi i\int _R\), and we name the three remaining integrals \(J_1(1,j,k,N;n),\) \(J_2(1,j,k,N;n),\) and \(J_3(1,j,k,N;n),\) respectively.
5.4 Expressing \(L^*(1,j,k;n)\) as a Bessel function
Now, we will express \(L^*(1,j,k;n)\) exactly as a modified Bessel function of the first kind. To \(L^*(1,j,k;n)\) we apply the same variable transformation as in Sect. 4.4, which gives
where
and v is the same as in Sect. 4.4.
5.5 Bounding the odd case error terms
R(1, N; n), \(Q_\mu (1,N;n)\), and \(J_\nu (1,j,k,N;n)\) for \(\mu =1,2\) and \(\nu =1,2,3\) are bounded in a manner which is nearly identical to the corresponding arguments in the even case. The main differences between these expressions and their even case counterparts are the coefficient \(a(\beta ,\alpha ;j)\) from the expansion of \(H_{\beta ,\alpha }\) and the coefficient
of 1 / w in the exponential. Note that in Sects. 4.5, 4.6, and 4.7, the terms \(-(\alpha + 2\beta )/12\) in the coefficient of 1 / w, which correspond to \(-(2\alpha +\beta )/24\) in the odd case, may as well have been arbitrary negative real numbers that are fixed in this discussion. The same holds for \(-2 \pi \) as the coefficient of j, except when we used the absolute convergence of the series defining \(H_{\alpha ,\beta }(i/2)\) in Sect. 4.5. In the odd case, we need to use the absolute convergence of the series defining \(H_{\beta ,\alpha }(i/4)\) to obtain the same result. Running the same arguments with these minor adjustments, we obtain
and
for some \(\delta >0\), where \( \mu =1,2\) and \(\nu =1,2,3\).
Recalling our decomposition of \(Q_0(1,N;n)\) in (5.3) and the bounds given by (5.7) above, we conclude that
6 Proof of Theorem 1.1 and Corollaries 1.2 and 1.3
We now apply our work from Sects. 3, 2.2, and 4 to obtain exact formulas for \(a(\alpha ,\beta ;n)\), and afterwards we will extract asymptotic behavior from those formulas. Finally, we will express these exact and asymptotic formulas in terms of our topological invariants to prove Theorem 1.1 and Corollary 1.2.
Theorem 6.1
Let \(\alpha +\beta \le 0\), and assume \(n>-(\alpha +2\beta )/24\). Then
Proof
Making use of the decompositions (4.1) and (4.2), as well as the estimates (4.12), (4.13), and (4.15), we have
Similarly, by the decompositions (5.1) and (5.2), as well as the estimates (5.5), (5.6), and (5.8), we have
But by the parity split in (3.3), these estimates imply that
for some \(\delta >0\). Keeping n fixed and letting \(N\rightarrow \infty \), we obtain (6.1). \(\square \)
Remark
In [5], Bringmann and Ono obtained exact formulas for the coefficients of harmonic Maass forms of non-positive weight using the theory of Maass-Poincaré series. Our results can therefore also be obtained using their work.
In the following corollary, we make use of Theorem 6.1 to obtain approximations for \(a(\alpha ,\beta ;n)\) for large n. We will see that the main contribution for large n comes from one of the first two summands in k.
Corollary 6.2
Suppose that \(\alpha + \beta \le 0\).
-
(1)
If \(\alpha = 0\) and \(\beta \ne 0\), then as \(n \rightarrow \infty \) we have
$$\begin{aligned} a(0, \beta ;2n) \sim 2^{\frac{3\beta -5}{4}}3^{\frac{\beta -1}{4}}(-\beta )^{\frac{1-\beta }{4}}n^{\frac{\beta -3}{4}}\exp \left( \pi \sqrt{\frac{-2\beta }{3}n}\right) . \end{aligned}$$ -
(2)
If \(\alpha <0\), then as \(n \rightarrow \infty \) we have
$$\begin{aligned} a(\alpha ,\beta ;n) \sim 2^{\frac{2\alpha +\beta -3}{2}}3^{\frac{\alpha +\beta -1}{4}}(-(2\alpha +\beta ))^{\frac{-\alpha -\beta +1}{4}}n^{\frac{\alpha +\beta -3}{4}}\exp \left( \pi \sqrt{\frac{-(2\alpha +\beta )}{3}n}\right) . \end{aligned}$$ -
(3)
If \(\alpha >0\), then as \(n \rightarrow \infty \) we have
$$\begin{aligned} a(\alpha , \beta ;n) \sim (-1)^{n} 2^{\frac{3\alpha +3\beta -7}{4}}3^{\frac{\alpha +\beta -1}{4}}(-(\alpha +2\beta ))^{\frac{1-\alpha -\beta }{4}}n^{\frac{\alpha +\beta -3}{4}}\exp \left( \pi \sqrt{\frac{-(\alpha +2\beta )}{6}n}\right) . \end{aligned}$$
Proof
Consider the case \(\alpha < 0.\) Let
where we let
and
where
and
To prove Corollary 6.2 for \(\alpha < 0,\) it suffices to show that \(E^-(\alpha , \beta ; n) = o(L^*(1,0,1;n))\) and then to carry out the necessary simplification of \(2 \pi M^-(\alpha , \beta ; n).\)
Using the bound (2.23), the monotonicity of the I-Bessel functions, and the trivial bound on the Kloosterman sums, it follows from (6.3) that
where
and
If \(\alpha + \beta <0\), we use the trivial bound on the Kloosterman sums to obtain
and
and if \(\alpha + \beta = 0,\) we use Lemma 2.6 to obtain
and
Therefore, since \(E^-(\alpha , \beta ; n)\) is bounded by a finite sum of rational functions and I-Bessel functions, it follows from
that \(E^-(\alpha , \beta ; n) = o(L^*(1,0,1;n)),\) and that the statement of Corollary 6.2 follows from a simplification of \(2 \pi M(\alpha , \beta ; n).\)
If \(\alpha > 0,\) the proof of Corollary 6.2 follows mutatis mutandis if we let
where we let
and
Finally, we observe that \(a(0, \beta ; 2 n) = a(\beta , 0, n),\) and so making the necessary substitutions for the case \(\alpha < 0\) yields the case \(\alpha = 0.\) \(\square \)
We are now in a position to prove Theorem 1.1, our exact formulas for \(\chi (\mathrm {Hilb}^n(S))\) and \(\sigma (\mathrm {Hilb}^n(S))\), and Corollary 1.2, our asymptotic formulas for \(\chi (\mathrm {Hilb}^n(S))\), \(\sigma (\mathrm {Hilb}^n(S))\), \(b^*(r,2;n)\) and \(c^*(r_1,r_2;n)\). At this point, the work is a simple application of Theorem 6.1 and Corollary 6.2.
Proof of Theorem 1.1
The proof follows from Lemma 2.2 and Theorem 6.1. We note only that in the derivation of (1.1) the sum over odd k is actually a sum over even j, since \(a(0,-\chi (S);j) =0\) for odd j. Noting this and replacing j with 2j, we obtain (1.1). \(\square \)
Proof of Corollary 1.2
This follows from Corollary 6.2 and (2.9) and (2.10) in Lemma 2.2. \(\square \)
Proof of Corollary 1.3
The coefficients of our functions \(Z_S(x, y;\tau )\), where \(x,y = \pm 1\), are of the form \(a(\alpha ,\beta ;n)\) for some \(\alpha \) and \(\beta \) determined by (2.11) and Lemma 2.2. For convenience we define
By Corollary 6.2, each of these coefficient sequences is asymptotic to a function of the form \(c_1n^{c_2}\exp (\sqrt{Gn})\), where \(c_1\), \(c_2\), and G only depend x, y, and S. We will let \(G_S(x ,y)\) denote this value G. Note that \(G_S(x,y)\) essentially determines the growth of the sequence \(a_S(x,y;n)\) in the sense that if \(G_S(x_1,y_1)<G_S(x_2,y_2)\), then \(a_S(x_1, y_1;n) = o(a_S(x_2,y_2;n))\).
The proof of (1) now follows easily from Corollary 6.2, (2.9), (2.10), and (2.11). As a reminder, (2.12) tells us
One makes use of Corollary 6.2 to check that \(G_S,(1,1)>G_S(1,-1)\) if and only if \(\sigma (S) + \chi (S)>0\) and \(G_S,(1,1)<G_S(1,-1)\) if and only if \(\sigma (S) + \chi (S)<0\). Note that \(G_S(1,1)=G_S(1,-1)\) whenever \(\chi (S) = - \sigma (S)\), and in this case \(Z_S(1,1;\tau )=Z_S(1,-1;\tau )\), so that \(b^*_S(1;n)=0\) for all n. Also, if \(\chi (S) \le 0\), \((\chi (S) ,\sigma (S)) \ne (0,0)\), we have from Theorem 15.1 in [6] that \(a_S(1,1;n) = o(a_S(1,-1;n))\). Since this requires \(\sigma (S) + \chi (S)\le 0\), we can remove the hypothesis that \(\chi (S)> 0\).
To prove (2), we first recall that (2.13) gives
We note that by (2.11), the hypotheses of Corollary 6.2 are always satisfied for \(Z(-1,-1;\tau )\), since
for all S. Note also that for \(\chi (S) \ge 0\), we have
If \(h^{1,0}=0\), we have \(Z_S(1,1;\tau )=Z_S(-1,-1;\tau )\). If \(\chi (S) \le 0\), we have \(a_S(1,1;n) = o(a_S(-1,-1;n))\) by Theorem 15.1 in [6]. Since \(\chi (S)\le 0\) requires \(h^{1,0}>0\), we have
where
We now see that if \(G_S(-1,-1)> G_S(1,-1) \), then \(c^*_S(r_1,r_2;n) \sim (K/4)a_S(-1,-1;n)\), which gives the desired result. To conclude the proof, one simply checks that this inequality holds for both \(\sigma (S) \ge 0\) and \(\sigma (S)<0\). \(\square \)
7 Examples
Here we illustrate Theorem 1.1 and Corollaries 1.2 and 1.3 with examples of numerical computations.
Example 7.1
To demonstrate Theorem 1.1, we focus on S, a 2-dimensional torus blown up at one point, a Hirzebruch surface \(\Sigma _0 \cong \mathbb {P}^1 \times \mathbb {P}^1\), \(\mathbb {P}^2\). We have \(\chi (S) =1,\) \(\chi (\mathbb {P}^2) = 3,\) \(\sigma (\mathbb {P}^2)=1, \) \(\chi (\Sigma _0)= 4,\) and \(\sigma (\Sigma _0) =0,\) so that we can consider the functions
Table 1 lists \(a_2(-1, 0;n) \), \(a_2(0,-2;n) \), and \(a_2(1,-2;n) \) for small values of n, where \(a_N(\alpha ,\beta ;n)\) is the approximation obtained from Theorem 1.1 by summing over \(1 \le k \le N\). The rows correspond to the series above in order.
As Corollary 1.2 indicates, the quality of these approximations improves as \(n\rightarrow \infty \). Moreover, choosing larger values of N gives better approximations. Table 2 gives approximations when \(N=75\).
Example 7.2
For an illustration of Corollary 1.3, let \(S'\) be \(C_2 \times \mathbb {P}^1\) blown up at two points, where \(C_2\) is a curve of genus 2. In Tables 3, and 4 we take
Corollary 1.3 (1) states that \(\Theta ^0_{S'}(n) \rightarrow 1/2\) and \(\Theta ^0_{S'}(n) \rightarrow 1/2\) as \(n \rightarrow \infty \), which is illustrated by Table 3. Corollary 1.3 (2) states that \(\Theta ^{0,0}_{S'}(n),\Theta ^{1,1}_{S'}(n) \rightarrow 1/4\) and \(\Theta ^{0,1}_{S'}(n),\Theta ^{1,0}_{S'}(n) \rightarrow -1/4\), which is illustrated by Table 4.
References
Apostol, T.M.: Modular Functions and Dirichlet Series in Number Theory. Graduate Texts in Mathematics, vol. 41. Springer, New York (1990)
Ballmann, W.: Lectures on Kähler Manifolds. ESI Lectures in Mathematics and Physics. European Mathematical Society (EMS), Zürich (2006)
Barth, W.P., Hulek, K., Peters, C.A.M., Van de Ven, A.: Compact Complex Surfaces. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol. 4, 2nd edn. Springer, Berlin (2004)
Beauville, A.: Counting rational curves on \(K3\) surfaces. Duke Math. J. 97(1), 99–108 (1999)
Bringmann, K., Ono, K.: Coefficients of harmonic Maass forms. In: Alladi, K. (ed.) Partitions, \(q\)-Series, and Modular Forms. Developmental Mathematics, vol. 23, pp. 23–38. Springer, New York (2012)
Bringmann, K., Folsom, A., Ono, K., Rolen, L.: Harmonic Maass Forms and Mock Modular Forms: Theory and Applications. American Mathematical Society Colloquium Publications, vol. 64. American Mathematical Society, Providence, RI (2017)
Olver, F.W.J.., Olde Daalhuis, A.B.., Lozier, D.W.., Schneider, B.I.., Boisvert, R.F.., Clark, C.W.., Miller, B.R.., Saunders, B.V., (eds.).: NIST Digital Library of Mathematical Functions. http://dlmf.nist.gov/. Release 1.0.19 of 2018-06-22
Göttsche, L.: Hilbert Schemes of Zero-Dimensional Subschemes of Smooth Varieties. Lecture Notes in Mathematics, vol. 1572. Springer, Berlin (1994)
Hagis Jr., P.: Partitions into odd summands. Am. J. Math. 85, 213–222 (1963)
Hagis Jr., P.: Partitions into odd and unequal parts. Am. J. Math. 86, 317–324 (1964)
Hagis Jr., P.: Partitions with a restriction on the multiplicity of the summands. Trans. Am. Math. Soc. 155, 375–384 (1971)
Hartshorne, R.: Algebraic Geometry. Graduate Texts in Mathematics, vol. 52. Springer, New York (1977)
Lehner, J.: A partition function connected with the modulus five. Duke Math. J. 8, 631–655 (1941)
Manschot, J., Zapata Rolon, J.M.: The asymptotic profile of \(\chi _y\)-genera of Hilbert schemes of points on K3 surfaces. Commun. Number Theory Phys. 9 2, 413–436 (2015)
May, J.P.: A Concise Course in Algebraic Topology. Chicago Lectures in Mathematics. University of Chicago Press, Chicago, IL (1999)
Rademacher, H.: The fourier coefficients of the modular invariant \(j(\tau )\). Am. J. Math. 60(2), 501–512 (1938)
Rademacher, H.: On the expansion of the partition function in a series. Ann. Math. (2) 44, 416–422 (1943)
Schütt, M., Shioda, T.: Elliptic, surfaces. In: Keum, J. (ed.) Algebraic Geometry in East Asia-Seoul, vol. 60, pp. 51–160. Mathematical Society of Japan, Tokyo (2008)
Wells Jr., R.O.: Differential Analysis on Complex Manifolds. Graduate Texts in Mathematics, vol. 65, 3rd edn. Springer, New York (2008). With a new appendix by Oscar Garcia-Prada
Yau, S.-T., Zaslow, E.: BPS states, string duality, and nodal curves on \(K3\). Nuclear Phys. B 471(3), 503–512 (1996)
Author's contributions
Acknowledgements
The authors wish to thank Ken Ono, John Duncan, and Larry Rolen for their magnificent support and guidance. They would also like to thank Gabor Szekelyhidi for helpful communication on the topic of complex surfaces. They also thank Emory University, Wesleyan University’s Marc N. Casper fund, the University of Notre Dame, the Asa Griggs Candler Fund, and NSF Grant DMS-1557960.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gillman, N., Gonzalez, X. & Schoenbauer, M. Exact formulas for invariants of Hilbert schemes. Res. number theory 4, 39 (2018). https://doi.org/10.1007/s40993-018-0132-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40993-018-0132-z