Abstract
Recently, Skjelnes and Smith classified which Hilbert schemes on projective space are smooth in terms of integer partitions \(\lambda = (\lambda _1,\ldots ,\lambda _{r})\) with \(r=0\), \(\lambda =(n+1)\), or \(n\geqslant \lambda _1\geqslant \cdots \geqslant \lambda _r \geqslant 1\). In particular, they found there to be seven families of smooth Hilbert schemes: one with \(r=0\) or \(\lambda =(n+1)\), one with Hilbert schemes on the projective line or plane, 4 families with \(\lambda _r=1\), and one with \(\lambda _r\geqslant 2\). In this paper, we compute the sum of the Betti numbers for all of these families of smooth Hilbert schemes over projective space except the case \(\lambda _r\geqslant 2\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Hilbert schemes are one of the classic families of varieties. In particular, Hilbert schemes of points on surfaces have been extensively studied; so extensively studied that any reasonable list of example literature would take several pages, see [6, 14, 15] for introductions to the area. This study was at least in part due to these being one of the only sets of Hilbert schemes which were known to be smooth. Recent work [17] has characterized exactly which Hilbert schemes on projective spaces are smooth by giving seven “families” of smooth Hilbert schemes in terms of integer partitions \(\lambda = (\lambda _1,\ldots ,\lambda _r)\) satisfying \(\lambda = (n+1)\), \(r=0\), or \(n \ge \lambda _1\ge \cdots \ge \lambda _r \ge 1\). Note, a Hilbert scheme on projective space is nonempty if and only if the corresponding Hilbert polynomial can be written as \(p(t) = \sum _{i=1}^r \left( {\begin{array}{c}t+\lambda _i -i\\ \lambda _i-1\end{array}}\right) \) for some integer partition \(\lambda \).
One of the most fundamental topological properties of an algebraic variety is its homology. The homology of Hilbert schemes of points has been extensively studied, e.g., [2, 3, 7, 8, 11, 12]. It is an immediate consequence of [1] that the smooth Hilbert schemes over \({\mathbb {C}}\) have freely generated even homology groups and zero odd homology groups. This was used to compute the Betti numbers of Hilbert schemes of points on the plane in [2]. A natural follow-up question then is what are the ranks of the homology groups for all of the smooth Hilbert schemes? In this paper, we compute the sum of the Betti numbers for six of the seven families of smooth Hilbert schemes. Since these Hilbert schemes are smooth, this is equivalent to computing the dimension of the cohomology ring as a vector space over \({\mathbb {C}}\). Note, in this case, the cohomology and the Chow rings are isomorphic.
In order to state the theorem, recall that Macaulay proved that the Hilbert scheme of subschemes of \({\mathbb {P}}^n\) with Hilbert polynomial p, denoted \({\mathbb {P}}^{n[p]}\), is nonempty if and only if p can be written in the form \(p(t) = \sum _{i=1}^r \left( {\begin{array}{c}t+\lambda _i -i\\ \lambda _i-1\end{array}}\right) \) for some integer partition \(\lambda = (\lambda _1,\ldots ,\lambda _r)\) of integers satisfying \(\lambda = (n+1)\), \(r=0\), or \(n \ge \lambda _1\ge \cdots \ge \lambda _r \ge 1\). Recently Skjelnes and Smith extended this work by classifying which of these Hilbert schemes were smooth
Theorem 1.1
[17] Let p be a polynomial in a single variable with some sequence \(\lambda = (\lambda _1,..., \lambda _r)\) with \(n \geqslant \lambda _1 \geqslant ... \geqslant \lambda _r \geqslant 1\) or with \(\lambda = (n+1)\). Then, the Hilbert scheme \({\mathbb {P}}^{n[p]}\) on projective space is smooth if and only if:
-
1.
\(n \leqslant 2\),
-
2.
\(\lambda _r \geqslant 2\),
-
3.
\(\lambda = (1)\) or \(\lambda = (n^{r-2}, \lambda ^{1}_{r-1},1^{1})\) for all \(r \geqslant 2\),
-
4.
\(\lambda = (n^{r - s - 3}, \lambda ^{s + 2}_{r - s - 2}, 2^0, 1^1) \) for all \(r \geqslant 2\),
-
5.
\(\lambda = (n^{r - s - 5}, 2^{s + 4}, 1^1)\) for all \(0 \leqslant s \leqslant r - 5\) and all \(r \geqslant 5\),
-
6.
\(\lambda = (n^{r - 3}, 1^3)\) for all \(r \geqslant 3\), or
-
7.
\(r = 0 \text { or }(n+1)\)
Our main theorem computes the sum of the Betti numbers for six of those seven families.
Theorem 1.2
Let \(H_{n,\lambda }\) be the sum of the Betti numbers for \({\mathbb {P}}^{n[p_\lambda ]}\) where \(p_\lambda \) corresponds to the integer partition \(\lambda = (\lambda _1,\dots ,\lambda _r)\). Explicit formulas for \(H_{n,\lambda }\) in terms of only n and \(\lambda \) for families 1, 3, 4, 5, 6, and 7 are given in Propositions (3.2& 4.4), 5.5, 5.7, 5.8, 5.9, and 5.1, respectively.
The proofs of these results work by translating the computation of the ranks of the homology groups into counting saturated monomial ideals and then translating that into counting choices of orthants in an \((n+1)\)-dimensional lattice.
There are countless future directions for work on the now classified smooth Hilbert schemes. In particular, building on this work, ongoing work aims to complete the count in the remaining case and to refine the computation to compute the Betti numbers for the smooth Hilbert schemes. Going further, one would hope to understand the geometry of the cycles such as the stable base locus decomposition on smooth Hilbert schemes in terms of the integer partition and the geometry of the parametrized varieties.
The organization of the paper is as follows. In Sect. 2, the necessary background is given. In Sect. 3, the case of Hilbert schemes over the projective line is worked out as an example case. In Sect. 4, the case of Hilbert schemes over the projective plane is worked out, which proves finishes the first part of Theorem 1.2. Finally, in Sect. 5, we prove cases 3–7 of Theorem 1.2.
The authors would like to thank Harry Bray, who directed the Laboratory of Geometry at Michigan when this work was carried out there, and Zhan Jiang, for many enlightening conversations. The authors would also like to thank the referees; in particular, one of whom pointed out that Theorem 2.4 could be used to streamline many of the proofs of later theorems.
2 Background
In this section, we review the necessary background material.
Let \(I \subset {\mathbb {C}}[x_0,\dots ,x_n]\) be a homogeneous ideal. As the quotient ring R/I is a graded ring, it comes equipped with a Hilbert function, \(h_I: {\mathbb {Z}}_{\ge 0} \rightarrow {\mathbb {Z}}_{\ge 0}\), which sends d to the dimension of the degree d graded piece. By Hilbert [10], this function agrees with a polynomial \(H_I\) for \(d>>0\). This is the Hilbert polynomial of I; note, this is more properly the Hilbert polynomial of R/I, but no confusion will arise by this usage.
The degree of this polynomial is the dimension of V(I), and the other coefficients include other geometric information such as the degree. As the polynomial captures a lot of the geometry of the subvariety cut out by I, a natural definition of equivalence on algebraic subvarieties of \({\mathbb {P}}^n\) is those with the same Hilbert polynomial. By Grothendieck [9], the set of subvarieties of \({\mathbb {P}}^n\) with the same Hilbert polynomial p forms an algebraic scheme called the Hilbert scheme, denoted \(\mathrm {Hilb}^p({\mathbb {P}}^n)\) or \({\mathbb {P}}^{n[p]}\). The first question one can ask about these Hilbert schemes is when are they nonempty. This was answered by Macaulay.
Theorem 2.1
[13] Given \(R = {\mathbb {C}}[x_0, \ldots , x_n]\) and nonzero polynomial \(p(d)\) in one variable, there exists ideals in R with Hilbert polynomial p(d) if and only if \(p(d)\) can be written in the form \(\Sigma ^{m}_{i = 1} \left( {\begin{array}{c}d + \lambda _i - i\\ \lambda _i - 1\end{array}}\right) \) for some integer partition \(n \geqslant \lambda _1 \geqslant \cdots \geqslant \lambda _m \geqslant 1\). Further, the zero polynomial corresponds to the integer partition \((n+1)\).
This theorem means any \(\lambda \)-sequence defines a Hilbert polynomial, and we can also get a \(\lambda \)-sequence from any Hilbert polynomial written in the form shown in Theorem 3.2. For example, if \(\lambda = (3, 2)\), then the corresponding Hilbert polynomial is \(\left( {\begin{array}{c}d + 3 - 1\\ 3 - 1\end{array}}\right) + \left( {\begin{array}{c}d + 2 - 2\\ 2 - 1\end{array}}\right) = \left( {\begin{array}{c}d + 2\\ 2\end{array}}\right) + \left( {\begin{array}{c}d\\ 1\end{array}}\right) = \frac{(d + 2)(d + 1)}{2!} + d = \frac{1}{2}d^2 + \frac{5}{2}d + 1\). We will abuse notation and refer interchangeably to \(\lambda \) and \(p_\lambda \).
It is a natural question to ask about the homology of a Hilbert scheme, but this question is most interesting for the smooth Hilbert schemes where Poincare duality holds, which makes the homology dual to the cohomology. That naturally leads one to ask which Hilbert schemes are smooth. This was recently answered by Skjelnes and Smith [17]. Note, the \(\lambda 's\) in the following theorem are exactly the same as the \(\lambda 's\) mentioned in the previous theorem.
Theorem 2.2
[17] Let \(p=p_\lambda \) be a polynomial in a single variable corresponding to the integer partition \(\lambda = (\lambda _1,..., \lambda _r)\) with \(n \geqslant \lambda _1 \geqslant ... \geqslant \lambda _r \geqslant 1\) or \(\lambda = (n+1)\). Then, the Hilbert scheme \({\mathbb {P}}^{n[p]}\) on projective space is smooth if and only if:
-
1.
\(n \leqslant 2\),
-
2.
\(\lambda _r \geqslant 2\),
-
3.
\(\lambda = (1)\) or \(\lambda = (n^{r-2}, \lambda ^{1}_{r-1},1^{1})\) for all \(r \geqslant 2\),
-
4.
\(\lambda = (n^{r - s - 3}, \lambda ^{s + 2}_{r - s - 2}, 2^0, 1^1) \) for all \(r \geqslant 2\),
-
5.
\(\lambda = (n^{r - s - 5}, 2^{s + 4}, 1^1)\) for all \(0 \leqslant s \leqslant r - 5\) and all \(r \geqslant 5\),
-
6.
\(\lambda = (n^{r - 3}, 1^3)\) for all \(r \geqslant 3\), or
-
7.
\(r = 0 \text { or }(n+1)\).
Using this classification is simplified by a special case of Theorem 1.4 of [4], which we restate in our notation, that allows one to treat the \(n^k\) part of the partition separately.
Theorem 2.3
[4] Let \(p=p_\lambda \) with \(\lambda = (n^k,\lambda ') = (n^k,\lambda _{k+1},..., \lambda _{k+r}) \) with \(n-1\geqslant \lambda _{k+1} \geqslant \cdots \geqslant \lambda _{k+r} \geqslant 1\). Then, the Hilbert scheme \({\mathbb {P}}^{n[p]}\) splits into the product
where q and r correspond to the partitions \(n^k\) and \(\lambda '\), respectively.
The Hilbert schemes over \({\mathbb {P}}^n\) inherit the \(\mathrm {PGL}(n+1)\) action from projective space itself. In particular, this restricts to a \({\mathbb {C}}^*\)-action; actually it restricts to many \({\mathbb {C}}^*\)-actions, any of which suffices for what follows. The fixed points of this action are points corresponding to the finitely many saturated monomial ideals with that Hilbert polynomial. That lets us apply the following theorem of Bialynicki-Birula to smooth Hilbert schemes.
Theorem 2.4
[1] Let X be a smooth projective variety with an action of \({\mathbb {C}}^*\). Suppose that the fixpoint set \(\{p_1,\ldots ,p_m\}\) is finite, and let \(X_i = \{x\in X : \lim _{t\rightarrow 0} tx = p_i\}\). Then, X has a cellular decomposition with cells \(X_i\).
Pairing this theorem with the following result of Fulton shows that a smooth Hilbert scheme has freely generated even cohomology groups and no odd cohomology groups.
Theorem 2.5
[5] Let X be a scheme with a cellular decomposition. Then for \(0\le i \le \dim (X)\),
-
(1)
\(H_{2i+1}(X) = 0\),
-
(2)
\(H_{2i}(X)\) is a \({\mathbb {Z}}\)-module freely generated by the classes of the closures of the i-dimensional cells, and
-
(3)
The cycle map \(\mathrm {cl}: A_*(X) \rightarrow H_*(X)\) is an isomorphism.
Thus, in order to count the sum of the Betti numbers of a smooth Hilbert scheme it suffices to count the number of saturated monomial ideals with that Hilbert polynomial.
3 The projective line
We first consider the case where \(n=1\); equivalently, this is the case where the polynomial ring is \(R = {\mathbb {C}}[x_0,x_1]\). In this case, the only possible partitions are \(\lambda = (1^m)\) or (2) which are equivalent to the constant Hilbert polynomial m or \(t+1\). It is well known that \({\mathbb {P}}^{1[m]} ={\mathbb {P}}^m\) and \({\mathbb {P}}^{1[t+1]}\) is a reduced point so Theorem 1.2 is immediate in these cases. However, for completeness and clarity, we will give a basic argument in the case of \({\mathbb {P}}^{1[m]} ={\mathbb {P}}^m\) which will illuminate the argument which is somewhat obscured by indexing in the later sections.
3.1 Translation for the two variable case
Monomials in the variables \(x_0\) and \(x_1\) are of the form \(x_0^a x_1^b\) where a, \(b \in {\mathbb {Z}}_{\ge 0}\). Monomials in two variables are equivalent to points in the lattice \({\mathbb {Z}}_{\ge 0}^2\) by pairing the point (a, b) with the monomial \(x_0^ax_1^b\). By a ray or 1-orthant in this lattice, we will mean the points corresponding to the monomials in a set of the form (Fig. 1)
We want to see how a set of rays/1-orthants corresponds to (the complement of) a monomial ideal. Since all saturated ideals in two variables are principal, consider the monomial ideal \(I=(x_{0}^{a}x_{1}^{b})\). Every monomial \({\overline{x}} = x_0^cx_1^d \not \in I\) either has that \(c<a\) or that \(d<b\). That can be rephrased as
This shows that the Hilbert polynomial of \(I = (x_0^ax_1^b)\) is \(a+b\), which gives the following lemma.
Lemma 3.1
The number of saturated monomial ideals in two variables with Hilbert polynomial d, which corresponds to the partition \((1^d)\), is the same as the number of ways to choose d rays/1-orthants in the lattice \({\mathbb {Z}}_{\ge 0}^2\) in stacks along the two axes.
The next proposition uses this lemma to count the number of saturated monomial ideals.
Proposition 3.2
Given the ring \(R = {\mathbb {C}}[x_0,x_1]\) and the partition \(\lambda = (1^m)\), there are exactly \(m+1\) saturated monomial ideals of R with Hilbert polynomial \(p_\lambda = m\).
Proof
By the previous lemma, the problem of finding the number of saturated monomial ideals boils down to finding the number of ways of choosing m rays/1-orthants along either the \(x_0\)-axis or \(x_1\)-axis, which is clearly equal to \(m+1\). \(\square \)
4 The projective plane
In this section, we prove the remainder of the first case of Theorem 1.2, which is the case of Hilbert schemes on the projective plane. We note that this is known, at least implicitly by [2]. We include this case at least in part to exemplify some of the more difficult counting arguments which did not appear in the case of Hilbert schemes on the projective line. To prove this case, we first show the correspondence of saturated monomial ideals in 3 variables and the choice of rays and quadrants in \({\mathbb {Z}}_{\ge 0}^{3}\) similarly to the correspondence in Sect. 3.
The three-variable case In the three-dimensional lattice, we have rays of the form
On the other hand, we have quadrants of the form
We want to see how the complement of a monomial ideal in this case is the union of quadrants and rays; that is the content of the following lemma.
Lemma 4.1
Given the ring \(R = {\mathbb {C}}[x_0,x_1,x_2]\) and a saturated monomial ideal \(I=(x_{0}^{\alpha _{0}^{1}}x_{1}^{\alpha _{1}^{1}}x_{2}^{\alpha _{2}^{1}},..., x_{0}^{\alpha _{0}^{m}}x_{1}^{\alpha _{1}^{m}}x_{2}^{\alpha _{2}^{m}})\), then the set of monomials not in I is of the form \(\big (\bigcup _{i=0}^k P_{p_{1}^{i},p_{2}^{i}}^{c_{1}^{i},c_{2}^{i}}\big )\bigcup \big (\bigcup _{j=0}^{\ell } P_{p_{1}^{j}}^{c_{1}^{j}}\big )\) where
These are equivalent to quadrants/2-orthants and rays/1-orthants, respectively, in the \({\mathbb {Z}}_{\ge 0}^{3}\) lattice where each point in our lattice \((y_{0},y_{1},y_{2})\) corresponds to the monomial \(x_{0}^{y_{0}}x_{1}^{y_1}x_{2}^{y_{2}}\).
Proof
First consider the monomial ideal generated by a single monomial \(I=(x_{0}^{\alpha }x_{1}^{\beta }x_{2}^{\gamma })\). A monomial \({\overline{x}}= x_0^a x_1^b x_2^c\) is not in I if and only if \(a<\alpha \), \(b<\beta \), or \(c<\gamma \). In other words,
Now let us consider a general monomial ideal, which we denote \(I=(x_{0}^{\alpha _{1}}x_{1}^{\beta _{1}}x_{2}^{\gamma _{1}},..., x_{0}^{\alpha _{m}}x_{1}^{\beta _{m}}x_{2}^{\gamma _{m}})\) where \(\alpha _{\ell },\beta _{\ell },\gamma _{\ell }\in {\mathbb {Z}}_{\ge 0}\;,\;\forall \ell \in \{1,...,m\}\). Defining \(I_{\ell }=(x_{0}^{\alpha _{\ell }}x_{1}^{\beta _{\ell }}x_{2}^{\gamma _{\ell }})\) for \(\ell \in \{1,..,m\}\), we notice that \(I=\bigcup _{\ell =1}^{m}I_{\ell }\). By De Morgan’s Law, we see that
To make set manipulation simpler, we define
Using this, we can rewrite the compliment of I as
Recall that this intersection is equivalent to a union of \(3^m\) intersections of size m by the distributive property of set intersections over unions.
In order to formally write this, we need some notation. Recall the symmetric group on m letters, denoted \(S_m\), is the set of permutations of the set \(\{1,\ldots ,m\}\). Define the subset \(G_{2,m}\) of \(S_m\) as the set of permutations \(\sigma \) of \(\{1,\ldots ,m\}\) such that \(\sigma _1<\cdots <\sigma _k\), \(\sigma _{k+1}<\cdots <\sigma _\ell \), and \(\sigma _{\ell +1}<\cdots <\sigma _m\) for some \(1\le k \le \ell \le m\), i.e., permutations which decrease at most twice. With this notation, we can write the complement of I as
We must consider 3 possible cases for our m sized intersections depending on the values of k and \(\ell \).
Case I: Consider the case where \(0<k<\ell <m\). An intersection of such a form will contain finitely many monomials. Since we are interested only in saturated ideals, we can ignore this case since the Hilbert polynomial \(H_{I}(d)\) does not consider the elements in this intersection.
Case II: Next, consider any m-intersection of the form \(0=k<\ell <m\), \(0<k=\ell <m\), or \(0<k<\ell =m\). If \(0<k<\ell =m\), the intersection is of the following form:
Let \(\theta _{g,0}=\min \{\alpha _{i_1},...,\alpha _{i_k}\}\) and \(\theta _{g,1}=\min \{\beta _{i_{k+1}},...,\beta _{i_m}\}\). The above intersection is now equivalent to
Similarly, if \(0<k=\ell <m\) and \(\theta _{g,0}=\min \{\alpha _{i_1},...,\alpha _{i_k}\}\) and \(\theta _{g,2}=\min \{\gamma _{i_{k+1}},...,\gamma _{i_m}\}\), then the intersection above is now equivalent to
Finally, if \(0=k<\ell <m\) and \(\theta _{g,1}=\min \{\beta _{i_1},...,\beta _{i_k}\}\) and \(\theta _{g,2}=\min \{\gamma _{i_{k+1}},...,\gamma _{i_m}\}\), then the intersection above is now equivalent to
Case III: Lastly, consider any m-intersection with \(0<k=\ell =m\), \(0=k<\ell =m\), or \(0=k=\ell <m\). If \(0<k=\ell =m\), we have the intersection
Now, let \(\theta _0=\min \{\alpha _{1},\ldots ,\alpha _{n}\}\), and note that
Similarly, if \(0=k<\ell =m\) and \(\theta _1=\min \{\beta _{1},\ldots ,\beta _{n}\}\), then
Finally, if \(0=k=\ell <m\) and \(\theta _2=\min \{\gamma _{1},\ldots ,\gamma _{n}\}\), then
Since every intersection is one of those three cases, the result follows. \(\square \)
This lemma means that counting saturated monomial ideals on the plane with fixed Hilbert polynomial is equivalent to counting quadrants and rays whose complement is the monomials of an ideal with that Hilbert polynomial. We want to bound the exact number of quadrants and rays that will give the correct Hilbert polynomial, but first we need to know some more information about Hilbert polynomials when \(n=2\).
Proposition 4.2
Suppose p(d) is a polynomial in d such that \(p(d)=Md-r\) for some \(M,r \in {\mathbb {R}}\), then p(d) is a Hilbert polynomial if and only if \(M\in {\mathbb {Z}}_{\ge 0}\), \(r\in {\mathbb {Z}}\), and
Proof
We first prove the forward direction. Assume p(d) is a Hilbert polynomial. By Macaulay [13], this implies that there exists a lambda sequence, say \(\lambda =(2^{A},1^{B})\), where \(A,B\in {\mathbb {Z}}_{\ge 0}\) such that
Simplifying the expression for p(d), we get
Thus, we see here that \(M=A\) and \(r=\frac{A^2-3A}{2}-B\). Since \(A,B\in {\mathbb {Z}}_{\ge 0}\) and p(d) is a Hilbert polynomial, we have that \(M \in {\mathbb {Z}}_{\ge 0}\) and \(r=B-\frac{A(A-3)}{2} \in {\mathbb {Z}}\). Since \(B\ge 0\), we get that \(\frac{M^2-3M}{2}\ge r\).
Now, we proceed with the reverse direction. Let \(p(d)=Md-r\), \(M\in {\mathbb {Z}}_{\ge 0}\), \(r\in {\mathbb {Z}}\), and \(r\le \frac{M^2-3M}{2}\). Then, p(d) is a Hilbert polynomial because we can choose \(\lambda =(2^{M},1^{\frac{M^2-3M}{2}-r})\). With that choice, we get that
\(\square \)
Next, we know from Lemma 4.1 that the number of saturated monomial ideals in three variables for a given Hilbert polynomial p(d) is equivalent to the number of ways of choosing some number of quadrants and rays in the \({\mathbb {Z}}_{\ge 0}^3\) lattice. So, now we establish the connection between a given Hilbert polynomial and the exact number of quadrants and rays that will be chosen in the \({\mathbb {Z}}_{\ge 0}^{3}\) lattice.
Lemma 4.3
In \(R={\mathbb {C}}[x_0,x_1,x_2]\), given a Hilbert polynomial \(p_\lambda \) with associated lambda partition \(\lambda =(2^{A},1^{B})\), the number of saturated monomial ideals in R with associated Hilbert polynomial \(p_\lambda \) is equivalent to the number of ways of choosing A quadrants and B rays in \({\mathbb {Z}}_{\ge 0}^{3}\) (none of which are contained in another).
Proof
Consider a Hilbert polynomial \(p_\lambda \). By Theorem 4.2, we note that this Hilbert polynomial must take the form \(p_\lambda (d)=Md-r\) where \(A= M\in {\mathbb {Z}}_{\ge 0}\), \(r\in {\mathbb {Z}}\), and \(B = \frac{M^2-3M}{2} - r \ge 0\).
Any quadrant in \({\mathbb {Z}}_{\ge 0}^3\), say \(P_{a}^{i_0}\), represents all monomials of the form \(x_{i_0}^{a}x_{i_1}^{\rho }x_{i_2}^{\eta }\) where a is fixed and \(\rho ,\eta \in {\mathbb {Z}}_{\ge 0}\) are variable. We choose the quadrants in order, subject to listing \(P_{a}^{i_j}\) before \(P_{a+1}^{i_j}\) for all a and j. Thus, the number of monomials of degree d in which \(x_{i_0}\) has degree a is \(\left( {\begin{array}{c}d-a+1\\ 1\end{array}}\right) =d-a+1\). However, if \(P_{a}^{i_j}\) is the i-th quadrant we list, then it has \(i-a\) monomials of degree d in common with previously listed quadrants (one for each quadrant which is not parallel to it). Putting this together, the i-th listed quadrant contributes \(d-a-(i-1-a)+1 = d+2-i\) to the Hilbert polynomial; by the contribution of a (k-)orthant we mean the number of monomials of degree d for \(d>>0\) in that (k-)orthant not in a previously listed (k-)-orthant. This implies that in order for the linear term of the Hilbert polynomial \(p_\lambda (x)\) to have a coefficient of M, there must be M distinct quadrants in the complement of the ideal as the rays do not contribute to the linear term. Thus, the contribution of all of the quadrants to the Hilbert polynomial is \(\sum _{i=1}^M \left( {\begin{array}{c}t+2-i\\ 2-1\end{array}}\right) \).
Then, the rays must contribute the remaining part of the constant term which is easily seen to be B. Since rays in \({\mathbb {Z}}_{\ge 0}^3\) contain only one point in the \({\mathbb {Z}}_{\ge 0}^{3}\) lattice for each \(d>0\), they each contribute 1 to the Hilbert polynomial. Thus, the monomials not in the ideal consist of exactly A quadrants and B rays. \(\square \)
Thus, given a Hilbert polynomial \(p_{\lambda }\) with associated lambda partition \(\lambda =(2^{A},1^{B})\), \(A,B\in {\mathbb {Z}}_{\ge 0}\) we note that the number of saturated monomial ideals for this Hilbert polynomial in \(R={\mathbb {C}}[x_0,x_1,x_2]\) is equivalent to number of ways of choosing A quadrants and B rays in \({\mathbb {Z}}^3_{\ge 0}\). Finally, we can establish the following proposition, which is part of Theorem 1.2.
Proposition 4.4
Given the ring \(R = {\mathbb {C}}[x_0,x_1,x_2]\) and the partition \(\lambda = (2^{m},1^{r})\), the number of saturated monomial ideals of R with Hilbert polynomial \(p_\lambda \) is exactly
where \(c_1,c_2,c_3 \in {\mathbb {Z}}_{\ge 0}\) and \(f_1: {\mathbb {Z}}_{\ge 0}\rightarrow {\mathbb {Z}}_{>0}\) is the function which maps an integer c to the number of integer partitions of c.
Proof
First, consider the case where \(r=0\). In that case, the lambda partition of \(p_\lambda \) is of the form \(\lambda =(2^{m})\). By the previous lemma, we know that the number of saturated ideals \(I\in R={\mathbb {C}}[x_0,x_1,x_2]\) is equivalent to the number of ways to choose m quadrants in \({\mathbb {Z}}^{3}_{\ge 0}\), or in other words, the number of unique sets
where \(\alpha +\beta +\gamma =m\).
Clearly, the uniqueness of each set is determined by the assignment of \(\alpha ,\beta \) and \(\gamma \). Thus, for the case where \(r=0\), we get that the number of saturated monomial ideals for \(p_{\lambda }\) for \(n=2\) is \(\left( {\begin{array}{c}m+2\\ 2\end{array}}\right) \).
Next, consider when \(m=0\), i.e., when \(\lambda =(1^{r})\). By the previous lemma, the number of saturated monomial ideals with Hilbert polynomial \(p_{\lambda }\) for \(n=2\) is equivalent to the number of ways to choose r rays in \({\mathbb {Z}}^3_{\ge 0}\). Much like for the case where \(r=0\), we note that there are only 3 forms of which these rays can be; for a fixed \(a,b \in {\mathbb {Z}}_{\ge 0}\) these are
Visually, these r rays can only extend in one of 3 directions in the \({\mathbb {Z}}_{\ge 0}^3\) lattice: the \(x_{i_0}\), the \(x_{i_1}\), or the \(x_{i_2}\) direction. In order to count the number of ways to pick r rays, we first count the ways to divide the rays into one of the 3 directions, and then count the number of ways to orient the rays in each direction. These two counts are independent of each other. It is easy to see that there are \(\left( {\begin{array}{c}r+2\\ 2\end{array}}\right) \) unique distributions of these r rays into the \(x_{i_0},x_{i_1}\) and \(x_{i_2}\) directions.
If \(P_{a,b}^{i_j,i_k}\) is in the complement of a saturated ideal then so are \(P_{a-1,b}^{i_j,i_k}\) or \(P_{a-1}^{i_j}\) unless \(a=0\). Similarly, if \(P_{a,b}^{i_j,i_k}\) is in the complement of a saturated ideal then so are \(P_{a,b-1}^{i_j,i_k}\) or \(P_{b-1}^{i_k}\) unless \(b=0\). Given the previous facts and that we have already picked which quadrants are included, any valid choice of a set of rays in one direction is such that the lattice points of fixed degree in the rays form (the centers of the squares of) a Young diagram. In other words, the number of valid arrangement of k rays in one direction is the number of integer partitions of k.
If we do this for each distinct distribution of rays then the number of ways to choose r rays in \({\mathbb {Z}}_{\ge 0}^3\) is given by
Lastly, when m and r are both nonzero, we find that the choice of the m quadrants will not affect the number of choices possible for the r rays. To see this, recall that a given choice of the m quadrants in \({\mathbb {Z}}_{\ge 0}^3\) is of the form
where \(\alpha +\beta +\gamma =m\).
This choice “shifts” the region in which the remaining r rays can be chosen. We can think about choosing the remaining r rays in the \({\mathbb {Z}}_{\ge 0}^3\) lattice in which the coordinate axes are defined by \(x_0-\alpha , x_1-\beta \) and \(x_2-\gamma \). Thus, the number of ways to choose the r rays in this region is exactly the same as choosing r rays when \(m=0\) so the choice of the m quadrants is independent of the choice of the r rays. Thus, combining the earlier two cases, we have that there are
many ways to choose m quadrants and r rays in \({\mathbb {Z}}_{\ge 0}^3\) where \(c_1,c_2,c_3 \in {\mathbb {Z}}_{\ge 0}\). Along with Lemma 4.3, this concludes the proof. \(\square \)
5 General case
In this section, we prove the remaining cases of Theorem 1.2.
We first note that one case of Theorem 1.2 is immediate as the relevant Hilbert schemes are each a single reduced point.
Proposition 5.1
If \(r =0\) or \(\lambda =(n+1)\), then \(H_{n,\lambda } = 1\).
For the rest of the cases, we must first show that a saturated monomial ideal corresponds to a union of 1-orthants, 2-orthants, 3-orthants, etc., in the lattice \({\mathbb {Z}}_{\ge 0}^{n+1}\).
Proposition 5.2
Given the ring \(R = {\mathbb {C}}[x_0,x_1,\dots ,x_n]\) and a saturated monomial ideal
\(I=(x_{0}^{\alpha _{0}^{1}}\dots x_{n}^{\alpha _{n}^{1}},\dots ,x_{0}^{\alpha _{0}^{m}}\dots x_{n}^{\alpha _{n}^{m}})\), then the set of monomials not in I is of the form \(\bigcup _{i=1}^M P_{p_{1}^{i},\dots ,p_{r_i}^{i}}^{c_{1}^{i},\dots ,c_{r_i}^{i}}\) for some positive integer M and for some fixed \(p_{1},\dots ,p_{n+1-k}\in {\mathbb {Z}}_{\ge 0}\) where
is a k-orthant in a \(n+1\)-dimensional lattice where each point in our lattice \((p_{0},\dots ,p_{n})\) corresponds to the monomial \(x_{0}^{p_{0}}\dots x_{n}^{p_{n}}\).
Proof
Utilizing the same approach as before gives us that a k-orthant in the \(n+1\)-dimensional lattice would be of the form
As with the previous approach, let us begin by considering a monomial ideal generated by a single element \((x_{0}^{\alpha _{0}}\dots x_{n}^{\alpha _{n}})\). Then, the set of monomials in the compliment of I is
Now, let us consider a monomial ideal with m generators \(I=(x_{0}^{\alpha _{0}^{1}}\dots x_{n}^{\alpha _{n}^{1}},\dots ,x_{0}^{\alpha _{0}^{m}}\dots x_{n}^{\alpha _{n}^{m}})\) and let \(I_{\ell }=(x_{0}^{\alpha _{0}^{\ell }}\dots x_{n}^{\alpha _{n}^{\ell }})\) which then gives us that \(I=\bigcup _{\ell =1}^{m}I_{\ell }\). By De Morgan’s laws, we have that
From here, let us simplify our notation by setting
Using this, we can rewrite the compliment of I as
The intersection above then simplifies into a \((n+1)^{m}\) sized union of m sized intersections.
In order to formally write this, we need some notation. Recall the symmetric group on m letters, denoted \(S_m\), is the set of permutations of the set \(\{1,\dots ,m\}\). Define the subset \(G_{n,m}\) of \(S_m\) as the set of permutations \(\sigma \) of \(\{1,\dots ,m\}\) such that \(\sigma _1<\dots <\sigma _{k_1}\), \(\dots \), and \(\sigma _{k_{n-1}+1}<\dots <\sigma _n\) for some \(1\le k_1 \le \dots \le k_{n-1} \le n\), i.e., permutations which decrease at most n times. With this notation, we can write the complement of I as
Now as before, we observe that if a single one of these intersections has all possible \(A^{i}\), then it contains finitely many monomials. Hence, we can ignore this case since for \(d>>0\) the Hilbert polynomial \(H_{I}(d)\) would not count these. Next, consider an intersection of the form
with \(h<n\). If we let \(\theta _{0}=\min \{\alpha _{0}^{1},\dots ,\alpha _{0}^{j_{1}}\},\theta _{1}= \min \{\alpha _{1}^{j_{1}+1},\dots ,\alpha _{1}^{j_{2}}\},\dots ,\theta _{h}= \min \{\alpha _{h}^{j_{h}+1},\dots ,\alpha _{h}^{j_{h+1}}\}\) then our intersection above is equivalent to
Thus, the intersections of this form correspond to an \(n-h\)-orthant. Since any intersection in the union has this form for some \(1\le h \le n-1\) (or is irrelevant to the saturation), the result follows. \(\square \)
Based on the case of the line, one may naively expect that any arrangement of (k-)orthants giving the Hilbert polynomial \(p_\lambda \) where \(\lambda = (n^{k_n},\dots ,1^{k_1})\) consists of \(k_i\) many i-orthants, but this is incorrect.
Example 5.1
Consider the Hilbert polynomial \(p(d)=2d+1\) with lambda sequence \(\lambda =(2^{2})\) and \(n\ge 3\). If the naive correspondence holds true for all \(n\ge 3\), then we should expect that every choice of two quadrants in \({\mathbb {Z}}_{\ge 0}^{n+1}\) will result in a Hilbert function h(d) such that \(h(d)=p(d)\) for some \(d>>0\). However, consider the following two quadrants in \({\mathbb {Z}}_{\ge 0}^{n+1}\)
Note that \(P_1\) and \(P_2\) do not intersect other than at the origin since recall that the elements of \(P_1\) and \(P_2\) are
Thus, \(P_1\) and \(P_2\) each contribute \(d+1\) to the Hilbert polynomial for this specific monomial ideal h(d). Thus, the Hilbert polynomial of the corresponding ideal must be \(h(d)=(d+1)+(d+1)=2d+2\). Thus, the naive correspondence fails.
In order to study the case where the naive correspondence does hold, or where we can salvage an adapted version of it, we first need a general remark
Remark 5.3
Consider a k-orthant K in the complement of a saturated monomial ideal I such that every \((k+1)\)-orthant containing it intersects the ideal. The number of degree d monomials in K is \(\left( {\begin{array}{c}d+k-1\\ k-1\end{array}}\right) \) so K’s contribution to the Hilbert polynomial only effects the coefficients of the terms with degree at most \(k-1\) and adds nonnegatively to the degree \(k-1\) coefficient.
Using this remark, we can show that the naive correspondence does hold for the n-orthants in the arrangement and the \(n^k\) in the partition, which splits off as a product by 2.3.
Lemma 5.4
Let \(p_\lambda \) be the Hilbert polynomial corresponding to the partition \(\lambda = (n^k)\). Then, the complement of any saturated monomial ideal in \(n+1\) variables with Hilbert polynomial \(p_\lambda \) is exactly k many n-orthants and
Proof
We first show that the complement of any monomial with Hilbert polynomial \(p_\lambda \) contains exactly k many n-orthants. Given \(\lambda \), the corresponding Hilbert polynomial \(\sum _{i=1}^m \left( {\begin{array}{c}t+\lambda _i-i\\ \lambda _i-1\end{array}}\right) \) has degree \(n-1\). Since there are no terms of degree greater than \(n-1\), the complement of the ideal cannot contain the entire \(n+1\)-dimensional lattice so only the n-orthants contained in the complement of I contribute to the leading coefficient. Since the n-orthants overlap with other (k-)orthants in lower-dimensional spaces, each n-orthant contributes \(\frac{1}{(n-1)!}\) to the leading coefficient. Since the leading coefficient of \(p_\lambda \) is \(\frac{k}{(n-1)!}\), the complement of I contains exactly k many n-orthants.
We now exclude the possibility of any other k-orthants being in the complement of the ideal. If we think of choosing those n-orthants in order by the amount which they are shifted away from the axes, consider the i-th chosen n-orthant, K. It is parallel to j previously chosen n-orthants for some \(0\le j \le i-1\). Then, there are \(\left( {\begin{array}{c}d+n-j\\ n-1\end{array}}\right) \) monomials of degree d in K. Similarly, it overlaps each of the k-th previously chosen nonparallel n-orthants (of the \(i-1-j\) previously n-orthants) in \(\left( {\begin{array}{c}d+n-1-k\\ n-2\end{array}}\right) \) many monomials of degree d. Thus, the contribution of the i-th chosen n-orthant is \(\left( {\begin{array}{c}d+n-j\\ n-1\end{array}}\right) - \sum _{k=1}^{i-j}\left( {\begin{array}{c}d+n-k-j\\ n-2\end{array}}\right) = \left( {\begin{array}{c}d+n-i\\ n-1\end{array}}\right) \). Thus, the contribution of all of the n-orthants to the Hilbert polynomial is \(\sum _{i=1}^k \left( {\begin{array}{c}d+n-i\\ n-1\end{array}}\right) \) so there are no other k-orthants in the complement of the ideal.
Finally, we count \(H_{n,\lambda }\). By the proof so far, a saturated monomial with this Hilbert polynomial is equivalent to the choice of k many n-orthants so there are \(\left( {\begin{array}{c}n+k\\ k\end{array}}\right) \) ways to choose k of them. \(\square \)
These lemmas form the basis for proving the remaining cases of Theorem 1.2, in the following there propositions.
Proposition 5.5
If \(\lambda = (n^k,1)\), then \(H_{n,\lambda } = \left( {\begin{array}{c}n+k\\ k\end{array}}\right) (n+1)\).
If \(\lambda = (n^k,1^2)\), then \(H_{n,\lambda } = 3\left( {\begin{array}{c}n+k\\ k\end{array}}\right) \left( {\begin{array}{c}n+1\\ 2\end{array}}\right) \).
If \(\lambda = (n^{r-2},\lambda _{r-1},1)\) where \(r \ge 2\) and \(n-1\ge \lambda _{r-1} \ge 2\), then \(H_{n,\lambda } = \left( {\begin{array}{c}n+r-2\\ r-2\end{array}}\right) \left( {\begin{array}{c}n+1\\ \lambda _{r-1}\end{array}}\right) (n+1-\lambda _{r-1})(\lambda _{r-1}+1)\), respectively.
Proof
In the case \(\lambda = (1)\), the Hilbert polynomial is \(p_\lambda = 1\). Then, the Hilbert scheme is \({\mathbb {P}}^n\) so the result is immediate. Similarly, the case of \(\lambda = (n^k,1^2)\) is immediate by Lemma 5.4, Theorem 2.3, and Lemma 2.1 of [16].
In the last case, it suffices to show that \(H_{n,\lambda } = \left( {\begin{array}{c}n+1\\ \lambda _{r-1}\end{array}}\right) (n+1)\) where \(\lambda \) corresponds to the partition \((\lambda _1,1)\) with \(n-1\ge \lambda _1 \ge 2\) by Lemma 5.4 and Theorem 2.3. The Hilbert polynomial in this case is \(p_\lambda = \left( {\begin{array}{c}d+\lambda _1\\ \lambda _1-1\end{array}}\right) +1\) which has degree \(\lambda _1-1\), the complement of the ideal must contain at least 1 \(\lambda _1\)-orthant. The first \(\lambda _1\)-orthant chosen contributes \(\left( {\begin{array}{c}d+\lambda _1\\ \lambda _1-1\end{array}}\right) \) to the Hilbert polynomial. After having chosen this, there is only a remaining 1 to be contributed to the Hilbert polynomial, which again must be contributed by a ray. Thus, a saturated monomial ideal with Hilbert polynomial \(p_\lambda \) is equivalent to picking a \(\lambda _1\)-orthant and a ray.
There is \(\left( {\begin{array}{c}n+1\\ \lambda _1\end{array}}\right) \) ways to choose the \(\lambda _1\)-orthant, and there are then \(n+1-\lambda _1\) ways to choose the ray not parallel to the \(\lambda _1\) orthant and \(\lambda _1(n+1-\lambda _1)\) ways to choose the ray parallel to it given the previous choice. Putting these together gives
\(\square \)
Lemma 5.6
If \(\lambda = (n^{r},\lambda _{r+1}^{s},1)\) where \(r, s \ge 0\) and \(n-1 \ge \lambda _{r+1} \ge 1\) and \({\mathbb {P}}^{n[p_\lambda ]}\) is smooth, then
Proof
By Lemma 5.4 and Theorem 2.3, it suffices to show that
where \(\lambda \) corresponds to the partition \((\lambda _1^{s},1)\). Arguing analogously to the previous cases using the coefficients of the Hilbert polynomials, we see the complement must also contain exactly s many \(\lambda _1\)-orthants. However, not all choices of s many \(\lambda _1\)-orthants live in the complement some ideal with the correct Hilbert polynomial. In particular, a generalization of Example 5.1 to 6 variables (choosing two 3-orthants such that they all only intersect at the origin) shows that not all choices of s quadrants live in the complement some ideal with the correct Hilbert polynomial. We now characterize those that do.
If the \(\lambda _1\)-orthants are not all contained in any \((\lambda _1+1)\)-orthant, then we claim that they do not give the correct Hilbert polynomial. In particular, choose the first two of them to not lie in the same \((\lambda _1+1)\)-orthant, then they contribute at least
and all of the subsequently chosen ones contribute at least the expected amount. In either case, this would force a negative number of \((\lambda _1-1)\)-orthants in order to have the correct Hilbert polynomial, which is obviously impossible.
On the other hand, if all of them are chosen within a \((\lambda _1+1)\)-orthant, then the k-th chosen one contributes \(\left( {\begin{array}{c}d+\lambda _1-k\\ \lambda _1-1\end{array}}\right) \) to the Hilbert polynomial as expected.
Finally, given a choice of s many \(\lambda _1\)-orthants in some \((\lambda _1+1)\)-orthant, there is a remaining one in the Hilbert polynomial which must be contributed by a single additional ray. Thus, a saturated monomial ideal with Hilbert polynomial \(p_\lambda \) is equivalent to the choice of s many \(\lambda _1\)-orthants in some \((\lambda _1+1)\)-orthant and a single ray.
There at \(\left( {\begin{array}{c}n+1\\ \lambda _1+1\end{array}}\right) \) ways to choose the \((\lambda _1+1)\)-orthant containing the \(\lambda _1\)-orthants. We count the case where all of the \(\lambda _1\)-orthants are parallel separately as the number of choices of ray depends on that difference. Given a chosen \((\lambda _1+1)\)-orthant, there are \(\left( {\begin{array}{c}\lambda _1+1+s\\ s\end{array}}\right) -(\lambda _1+1)\) ways to choose the \(\lambda _1\)-orthants such that they are not all parallel and \((\lambda _1+1)\) ways to choose them all parallel. If the \(\lambda _1\)-orthants are not all parallel, then there are \((n+1-(\lambda _1+1))(\lambda _1+2) = (n-\lambda _1)(\lambda _1+2)\) ways to choose a ray. If the \(\lambda _1\)-orthants are all parallel, then there are \((n+1-\lambda _1)(\lambda _1+1)\) ways to choose a ray.
Putting this together gives
\(\square \)
When \(\lambda _{r+1}\ge 3\), replacing r and s with \(r-s-3\) and \(s+2\), respectively, immediately gives the following corollary.
Proposition 5.7
If \(\lambda = (n^{r-s-3},\lambda _{r-s-2}^{s+2},1)\) where \(r-3 \ge s \ge 0\) and \(n-1 \ge \lambda _{r-s-2} \ge 3\), then
Similarly, when \(\lambda _{r+1}=2\), replacing r and s with \(r-s-5\) and \(s+4\), respectively, immediately gives the following corollary.
Proposition 5.8
If \(\lambda = (n^{r-s-5},2^{s+4},1)\) where \(r-5 \ge s \ge 0\), then
Proposition 5.9
If \(\lambda =(n^k,1^3)\), then \(H_{n,\lambda } = \left( {\begin{array}{c}k+n\\ n\end{array}}\right) \frac{n(n+1)(5n+1)}{3}\).
Proof
By Lemma 5.4 and Theorem 2.3, it suffices to show that \(H_{n,\lambda } = \frac{n(n+1)(5n+1)}{3}\) where \(\lambda \) corresponds to the partition \((1^3)\). Since rays contribute 1 each and any k-orthant for \(k\ge 2\) would change higher order terms, this means that there are 3 rays to be chosen. Thus, a saturated monomial with this Hilbert polynomial is equivalent to the choice of 3 rays.
There are \(\left( {\begin{array}{c}n+1\\ 3\end{array}}\right) \) ways to choose the rays in distinct directions. There are \(2n\left( {\begin{array}{c}n+1\\ 2\end{array}}\right) \) ways to choose the rays in only two directions. Finally, there are \((n+1)\left( n +\left( {\begin{array}{c}n\\ 2\end{array}}\right) \right) \) ways to choose the three rays in the same direction. In total, there are
saturated monomial ideals in \(n+1\) variables with Hilbert polynomial \(p_\lambda \). This count simplifies to
\(\square \)
References
Białynicki-Birula, A.: Some theorems on actions of algebraic groups. Ann. of Math. 2(98), 480–497 (1973)
Ellingsrud, G., Strømme, S.A.: On the homology of the Hilbert scheme of points in the plane. Invent. Math. 87(2), 343–352 (1987)
Evain, L.: The Chow ring of punctual Hilbert schemes on toric surfaces. Transform. Groups 12(2), 227–249 (2007)
Fogarty, J.: Algebraic families on an algebraic surface. Amer. J. Math. 90, 511–521 (1968)
Fulton, W.: Intersection theory, volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas, 2nd edn. 3rd Series. A Series of Modern Surveys in Mathematics]. Springer, Berlin (1998)
Göttsche, L.: Hilbert schemes of points on surfaces. In: Proceedings of the International Congress of Mathematicians, vol. II (Beijing, 2002), pp. 483–494. Higher Ed. Press, Beijing (2002)
Göttsche, L.: The Betti numbers of the Hilbert scheme of points on a smooth projective surface. Math. Ann. 286(1–3), 193–207 (1990)
Grojnowski, I.: Instantons and affine algebras. I. The Hilbert scheme and vertex operators. Math. Res. Lett. 3(2), 275–291 (1996)
Grothendieck, A.: Techniques de construction et théorémes d’existence en géométrie algébrique. IV. Les schémas de Hilbert. In Séminaire Bourbaki, vol. 6, Exp. No. 221, pp. 249–276. Soc. Math. France, Paris (1995)
Hilbert, D.: Gesammelte Abhandlungen. Band II: Algebra, Invariantentheorie, Geometrie. Springer, Berlin (1970)
Li, W., Qin, Z., Wang, W.: Vertex algebras and the cohomology ring structure of Hilbert schemes of points on surfaces. Math. Ann. 324(1), 105–133 (2002)
Lehn, M., Sorger, C.: Symmetric groups and the cup product on the cohomology of Hilbert schemes. Duke Math. J. 110(2), 345–357 (2001)
Macaulay, F.S.: Some properties of enumeration in the theory of modular systems. Proc. Lond. Math. Soc. 2(26), 531–555 (1927)
Nakajima, H.: Lectures on Hilbert Schemes of Points on Surfaces. University Lecture Series, vol. 18. American Mathematical Society, Providence (1999)
Nakajima, H.: More lectures on Hilbert schemes of points on surfaces. In: Fujino, O., Kondō, S., Moriwaki, A., Saito, M.-H., Yoshioka, K. (eds.) Development of Moduli Theory-Kyoto 2013, volume 69 of Advanced Studies in Pure Mathematics, pp. 173–205. Mathematical Society of Japan, Tokyo (2016)
Ryan, T.: The geometry of Hilbert schemes of two points on projective space (2021). arXiv:2103.12674
Skjelnes, R., Smith, G.G.: Smooth Hilbert schemes: their classification and geometry (2020). arXiv:2008.08938
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Donato, J., Lewis, M., Ryan, T. et al. The sum of the Betti numbers of smooth Hilbert schemes. J Algebr Comb 55, 393–411 (2022). https://doi.org/10.1007/s10801-021-01055-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10801-021-01055-5