Abstract
In this paper we prove that a nodal hypersurface in \(\mathbf {P}^4\) with positive defect has at least \((d1)^2\) nodes, and if it has at most \(2(d2)(d1)\) nodes and \(d\ge 7\) then it contains either a plane or a quadric surface. Furthermore, we prove that a nodal double cover of \(\mathbf {P}^3\) ramified along a surface of degree 2d with positive defect has at least \(d(2d1)\) nodes. We construct the largest dimensional family of nodal degree d hypersurfaces in \(\mathbf {P}^{2n+2}\) with positive defect for d sufficiently large.
Introduction
Let \(n\ge 3\) be an odd integer and c be a positive integer. Let \(1\le w_0\le \dots \le w_{n+c}\) and \( 2\le d_1\le \dots \le d_c\) be integers. For a nodal complete intersection \(X\subset \mathbf {P}(w_0,\dots ,w_{n+c})=:\mathbf {P}\) of multidegree \(d_1,\dots ,d_c\) we define the defect of X to be \(h^{n+1}(X)h^{n1}(X)\). In this paper we consider the problem of determining the minimal number of nodes to have positive defect. With a node we intend an isolated ordinary double point. In this generality the problem is too hard.
In the sequel we concentrate on the two special cases: hypersurfaces in \(\mathbf {P}^{n+1}\) and double solids, i.e., hypersurfaces of degree 2k in \(\mathbf {P}(k,1,1,1,1)\). In subsequent papers we will discuss the case of threedimensional complete intersections in \(\mathbf {P}^{3+c}\) and of elliptic threefolds over \(\mathbf {P}^2\), i.e., hypersurfaces of degree 6k in \(\mathbf {P}(2k,3k,1,1,1)\).
We start by recalling some previous results on this problem. For hypersurfaces of degree \(d\ge 2\) in \(\mathbf {P}^4\), Cheltsov showed that the minimal number of nodes to have positive defect is \((d1)^2\) [2] and that if X has positive defect and \((d1)^2\) nodes then X contains a plane [3]. This improves a previously known bound by Ciliberto and Di Gennaro [5]. Ciliberto and Di Gennaro showed that if a hypersurface with positive defect has at most \(2(d2)(d1)\) nodes and the defect is caused by a smooth surface, then X contains either a plane or a quadric surface.
To illustrate our methods we start by giving a new proof of Cheltsov’s theorem
Theorem 1.1
(Cheltsov [2, 3]) Let \(X\subset \mathbf {P}^4\) be a nodal hypersurface of degree d, with \(d\ge 3\). Assume that \(h^4(X)\ge 2\). Then X has at least \((d1)^2\) nodes. Moreover, if equality holds then X contains a plane.
We included this proof because it is a good illustration of our techniques and is significantly different from Cheltsov’s original proof.
For fixed integers n and d let \({{\,\mathrm{DEF}\,}}_d\subset \mathbf {C}[x_0,\dots ,x_{2n+2}]_{d}\) be the locus of polynomials f such that V(f) is a nodal hypersurface with positive defect.
Theorem 1.2
Fix \(n\in \mathbf {N}, n\ge 2\). Then there exists a D such that
holds for every \(d>D\) and every irreducible component L of \({{\,\mathrm{DEF}\,}}_d\).
Moreover, if \(n=1\) or Conjecture 1 of [17] holds then we can take \(D=2\) and any hypersurface in \({{\,\mathrm{DEF}\,}}_d\) has at least \((d1)^{n+1}\) nodes.
Otwinowska showed that [17, Conjecture 1] is implied by the Conjecture of Eisenbud, Green and Harris on the Hilbert functions of an ideal containing a complete intersection ideal.
We also consider the case of double covers of \(\mathbf {P}^3\). In this case we recover a result by Cheltsov:
Theorem 1.3
(Cheltsov [1]) Let \(f\in \mathbf {C}[x_0,x_1,x_2,x_3]\) be a homogeneous polynomial of degree 2d such that V(f) is a nodal surface. Let \(X:y^2=f\) be the double cover branched along V(f). Suppose \(h^4(X)>1\). Then X has at least \(d(2d1)\) nodes.
In the case of hypersurfaces of degree d in \(\mathbf {P}^4\) we prove the CilibertoDi Gennaro conjecture for \(d\ge 7\):
Theorem 1.4
Let \(X\subset \mathbf {P}^4\) be a nodal hypersurface of degree d, with d at least 7. Suppose that X is nonfactorial and that X has at most \(2(d2)(d1)\) nodes then either X contains a plane and has \((d1)^2\) nodes or X contains a quadric surface and has exactly \(2(d1)(d2)\) nodes.
This conjecture has been proved for \(d=3\) by [9] and for \(d=4\) by [4, 20]. Hong considers the nonfactoriality in the case of \(d=4\) and 13 nodes, see [14]. The results of Cheltsov mentioned above imply this result for up to \((d1)^2\) nodes.
We will now briefly discuss the strategy of proof. To reprove Cheltsov’s result we use the following strategy: Let I be the ideal of the nodes of X, where X is a nodal hypersurface of degree d with positive defect. Let \(H=V(\ell )\) be a general hyperplane then \(X\cap H\) is smooth. In particular the ideal \(I_H:=(I,\ell )\) defines an empty scheme. Since X has positive defect this implies that the Hilbert polynomial of I and the Hilbert function of I are different in degree \(2d5\). From this it follows that \(h_{I_H}(2d4)\ne 0\) holds. Since the partials of the defining equation for X are contained in \(I_{d1}\), it follows that \(I_{d1}\) has finitely many base points. Therefore \(I_{d1,H}\) is base point free. A combination of results from Macaulay and Gotzmann on which functions occur as Hilbert functions of ideals yields that \(h_{I_H}(k)\ge k+1\) for \(k\le d2\) and that \(h_{I_H}(k)\ge 2d3k\), for \( d1\le k \le 2d3\). The observation \(p_I\ge h_I(2d4)\ge \sum _{k=0}^{2d4} h_{I_H}(k)\) finishes the proof. The ideal \(I_H\) is very similar to the ideal used by Green [12] to determine the largest component of the NoetherLefschetz locus of surfaces in \(\mathbf {P}^3\).
The other proofs are variations of this idea. In the case of an hypersurface in \(\mathbf {P}^{2n+2}\) with \(n\ge 2\), Macaulay’s result is not strong enough to obtain the desired lower bound. In this case we use a result by Otwinowska [17] instead. However this result bounds \(h_{I_H}(k)\) only in a certain interval. This is sufficient to detect the largest dimensional component, but not to establish the minimal number of nodes. If one assumes a conjecture from [17], then one obtains the desired lower bound for the number of nodes. The double solid case is very similar to the case of hypersurfaces in \(\mathbf {P}^4\) and we will not comment on this.
The paper is organized as follows. In Sect. 2 we recall several standard results on the Hilbert functions of ideals. In Sect. 3 we recall some standard results on the cohomology of nodal complete intersections. In particular, we present a formula to calculate the defect of a nodal hypersurface. In Sect. 4 we prove the results for the hypersurfaces and in the double covers, except for the CilibertoDi Gennaro conjecture, which is proven in Sect. 5.
Macaulay’s and green’s result
Let \(S=\mathbf {C}[x_0,\dots ,x_n]\) and let \(I\subset S\) be a homogeneous ideal. Let \(h_I\) be the Hilbert function of I, i.e., \(h_I(k)=\dim (S/I)_k\). Let \(p_I(t)\in \mathbf {Q}[t]\) be the Hilbert polynomial, i.e., the polynomial such that \(h_I(k)=p_I(k)\) for \(k\in \mathbf {Z}\), k sufficiently large.
Let \(d\ge 1\) be an integer. Let \(c:=h_I(d)\). We can write c uniquely as
with \(\epsilon _d\ge \epsilon _{d1}\ge ... \ge \epsilon _1\ge 1\). We call this the (Macaulay) expansion of c in base d. This expansion can be obtained inductively as follows: The number \(\epsilon _d\) is the largest integer such that \(\left( {\begin{array}{c}d+\epsilon _d\\ d\end{array}}\right) \le c\). The numbers \(\epsilon _i\) for \(i<d\) are the coefficients in the expansion of \(c\left( {\begin{array}{c}d+\epsilon _d\\ d\end{array}}\right) \) in base \(d1\).
Using the Macaulay expansion of c we define the following numbers:
Note that \(c\mapsto c_{*d}\), \(c\mapsto c^{\langle d \rangle }\) and \(c\mapsto c_{\langle d \rangle }\) are increasing functions in c.
Recall the following theorem by Macaulay:
Theorem 2.1
(Macaulay [16]) Let \(V\subset S_d\) be a linear system and \(c={{\,\mathrm{codim}\,}}V\). Then the codimension of \(V\otimes _{\mathbf {C}} S_1\) in \(S_{d+1}\) is at most \(c^{\langle d\rangle }\).
We apply this result mostly in the case where V is the degreed part of an ideal I. In this case we can also obtain information on \(h_I(d1)\).
Corollary 2.2
Let \(I\subset S\) be an ideal, \(d\ge 2\) an integer and \(c:=h_I(d)\). Then
Moreover, if \(\epsilon _{1}\) is nonnegative then \(h_I(d1)> c_{* d} \) holds.
For small c we have the following Macaulay expansions in base d:

For \(c\le d\) we have \(\epsilon _d=\dots =\epsilon _{dc+1}=0\) and \(\epsilon _{dc}=\dots =\epsilon _1=1\). Hence \(c^{\langle d\rangle }=c\).

For \(d+1\le c \le 2d\) we have \(\epsilon _d=1, \epsilon _{d1}=\dots =\epsilon _{da}=0, \epsilon _{da1}=\dots =\epsilon _1=1\), where \(a=cd1\). Hence \(c^{\langle d\rangle }=c+1\).

For \(c=2d+1\) we have \(\epsilon _d=\epsilon _{d1}=1\) and all other \(\epsilon _i\) equal \(1\). Hence \(c^{\langle d \rangle }=2d+3=c+2\).
Applying the previous corollary repeatedly yields
Corollary 2.3
Let \(I\subset S\) be an ideal, \(d\ge 2\) an integer and \(c:=h_I(d)\). For \(0\le k \le d\) we have that
The following result will be used to detect the Hilbert polynomial of the ideal generated by \(I_d\):
Theorem 2.4
(Gotzmann [10]) Let \(V\subset S_d\) be a linear system and let \(J\subset S\) be the ideal generated by V. Set \(c=h_J(d)\). If \(h_J(d+1)=c^{\langle d \rangle }\) then for all \(k\ge d\) we have \(h_J(k+1)=h_J(k)^{\langle k \rangle }\). In particular the Hilbert polynomial \(p_J(t)\) of J is given by
and the dimension of V(J) equals \(\epsilon _d\).
We use this result mostly in the case where \(c\le d\):
Corollary 2.5
Let \(I\subset S\) be an ideal such that \(h_I(d)\le d\) and \(I_{d+1}\) is base point free. Then for all \(k\ge d\) we have \(h_I(k+1)<h_I(k)\) or \(h_I(k)=0\).
Proof
If \(h_I(d)=0\) then \(h_I(k)=0\) for all \(k\ge d\) and we are done. Suppose now that \(h_I(d)>0\).
We prove the result by induction. Hence it suffices to show that \(0<h_{I}(d)<d\) implies that \(h_I(d+1)<h_I(d)\).
Let \(I'\) be the ideal generated by \(I_{d}\). From the fact that \(h_{I'}(d)<d\) it follows that in the Macaulay expension of \(h_{I'}(d)\) each \(\epsilon _i\) is either 1 or 0. Hence \(h_{I'}(d)^{\langle d \rangle }=h_{I'}(d)\). From this it follows that \(h_{I'}(d+1)\le h_{I'}(d)\). If the inequality is strict then we are done, since then \(h_{I}(d+1)\le h_{I'}(d+1)<h_I(d)\).
Suppose now that \(h_{I'}(d+1)=h_{I'}(d)\) holds. Then Theorem 2.4 implies that the Hilbert function and Hilbert polynomial of \(I'\) coincide in every degree \(\ge d\), and, moreover, that this polynomial is the constant polynomial \(h_{I'}(d)\). Hence \(I'_{d+1}\) has a base locus. Since \(I'_{d+1}\subset I_{d+1}\) and \(I_{d+1}\) is base point free it follows that
\(\square \)
A final result of this type that we use is
Theorem 2.6
(Green, [11]) Let \(V\subset \mathbf {C}[x_0,\dots ,x_n]_d\) be a linear system of codimension c. Let \(H=\{\ell =0\}\) be a general hyperplane. Then the restriction of V to H has codimension at most \(c_{\langle d\rangle }\) in \((\mathbf {C}[x_0,\dots ,x_{n}]/\ell )_d\).
Nodal complete intersections
Notation 3.1
Let \(n=2k+1\) be a positive odd integer, c be a positive integer, and \((w_0,\dots ,w_{n+c})\) a sequence of positive integers. Let us denote with \(\mathbf {P}:= \mathbf {P}(w_0,\dots , w_{n+c})\) the associated weighted projective space. Let \(S=\mathbf {C}[x_0,\dots ,x_{n+c}]\) be the graded polynomial ring such that \(\deg x_i=w_i\).
Definition 3.2
We say that a codimension c complete intersection \(X\subset \mathbf {P}\) is a nodal complete intersection of codimension c, if

(1)
for all \(p\in \mathbf {P}_{{{\,\mathrm{sing}\,}}}\cap X\) we have that X is quasismooth at p and

(2)
for all \(p\in X_{{{\,\mathrm{sing}\,}}} \setminus (\mathbf {P}_{{{\,\mathrm{sing}\,}}}\cap X)\) we have that (X, p) is a node.
Let \(\Sigma \) denote the set \(X_{{{\,\mathrm{sing}\,}}} \setminus (\mathbf {P}_{{{\,\mathrm{sing}\,}}}\cap X)\).
Proposition 3.3
Let \(X\subset \mathbf {P}\) be a nodal complete intersection of codimension c then for \(i<n\)
Moreover, for \(i<n1\) we have
Proof
The first equality follows from the Lefschetz hyperplane theorem [7, Theorem 4.2.6]. To prove the second equality we consider a partial resolution of singularities of X:
Since X is quasismooth outside \(\Sigma \) we have that for all \(i\ne 2n\) and for all \(p\in X\setminus \Sigma \) the group \(H_p^i(X)\) vanishes. Let \(\tilde{X}\) be the blow up of X along \(\Sigma \). Then \(\tilde{X}\) is smooth along the exceptional divisor. In particular, for all \(p\in \tilde{X}\) we have that \(H^i_p(\tilde{X})=0\) if \(i\ne 2n\). This implies that \(\tilde{X}\) is \(\mathbf {Q}\)homology manifold and satisfies Poincaré duality.
Consider the Mayer–Vietoris sequence associated with the discriminant square [19, Corollary–Definition 5.37]
This is an exact sequence of mixed Hodge structures.
The exceptional divisor E is the disjoint union of \(\#\Sigma \) smooth quadrics in \(\mathbf {P}^n\). Thus its cohomology can be nonzero only in even degree between 0 and \(2n2\). Let \(E_j\) and \(E_k\) be distinct irreducible components of E. For i even between 2 and \(2n2\) consider \(c_1(E_j)^{i/2}\in H^i(\tilde{X})\). Then \(c_1(E_j)^{i/2}\) is mapped to zero in \(H^i(E_k)\) and to a nonzero element of \(H^i(E_j)\). If \(i\ne n1\) then \(H^i(E_j)\) is onedimensional and therefore the map \(H^i(X)\rightarrow H^i(E)\) is surjective for even i, different from 0 and \(n1\). From this it follows that the above long exact sequence splits in the following exact sequences:

\( 0 \rightarrow H^0(X)\rightarrow H^0(\tilde{X}) \oplus H^0(\Sigma )\rightarrow H^0(E)\rightarrow 0\);

\(0=H^i(X)\cong H^i(\tilde{X})\) for i odd, different from n;

\( 0\rightarrow \mathbf {Q}=H^i(X)\rightarrow H^i(\tilde{X})\rightarrow H^i(E)\rightarrow 0\) for even i different from 0 and \( n1\);

\( 0 \rightarrow H^{n1}(X)\rightarrow H^{n1}(\tilde{X}) \rightarrow H^{n1}(E) \rightarrow H^n(X)\rightarrow H^{n}(\tilde{X})\).
Since E is a disjoint union of smooth quadrics it follows that \(h^i(E)=\#\Sigma =h^{2ni}(E)\) for \(i\ne 0, n1,n+1, 2n\). From Poincaré duality it follows that \(h^i(\tilde{X})=h^{2ni}(\tilde{X})\) for all i. Combining this yields that that \(h^i(X)=h^{2ni}(X)\) for \(i\ne 0, n1,n+1,2n\).
To finish the proof, note that we showed that \(h^0(X)=h^0(\tilde{X})=1\) and \(h^{2n}(X)=h^{2n}(\tilde{X})=1\). \(\square \)
The proof of the above result suggests that \(h^{n+1}(X,\mathbf {Q})\) may be strictly larger than \(h^{n1}(X,\mathbf {Q})\).
Definition 3.4
The defect \(\delta \) of X equals \(h^{n+1}(X,\mathbf {Q})h^{n1}(X,\mathbf {Q})\).
Remark 3.5
If \(n=3\) then \(\delta \) equals the rank of the group \(\mathrm {CH}^1(X)/{{\,\mathrm{Pic}\,}}(X)\). Since this group is free, \(\delta \) measures the failure of Weil divisors to be Cartier.
Lemma 3.6
Let X be a nodal complete intersection. Let \(\mathcal {D}\) be the equisingular deformation space of X. Then the locus
is a Zariski open subset of \(\mathcal {D}\).
Proof
Let \((X_t)_{t\in U}\) be an equisingular deformation of X. Possibly after shrinking U, we have that \(X_t\) has the same number of nodes for all \(t\in U\). Blowing up these nodes simultaneously yields a flat family \(\tilde{X_t}\) of smooth projective varieties. Hence \(H^{n+1}(\tilde{X_t})\) is independent of t. Let E be the exceptional divisor of the blowup of a node, and let s the number of nodes of X. As in the proof of Proposition 3.3 we can consider the Mayer–Vietoris sequence associated with the discriminant square. This time we take also into account the Hodge structures. We obtain the following exact sequence
Since \(X_t\) is a nodal hypersurface and n is odd we have that \(H^{n+2}(X_t)=0\). Since all singularities of \(X_t\) are nodes or induced by the ambient space it follows that \(H^{n+1}(X_t)\) has a Hodge structure of pure weight \(n+1\). This yields
Both terms on the right hand side are independent of t, hence so is \(h^{n+1}(X_t)\). By Proposition 3.3 we have \(h^{n1}(X_t)=1\) for all t and hence \(\delta (X_t)=h^{n+1}(X_t)h^{n1}(X_t)=h^{n+1}(X_t)1=h^{n+1}(X)1=\delta (X)\). \(\square \)
One can express \(\delta \) in terms of the Hilbert function of the ideal of the nodes. Suppose now that \(c=1\), i.e., X is a hypersurface. Set \(m:=\frac{n+1}{2}\).
The following result is [6, Proposition 3.2]:
Proposition 3.7
Let \(X\subset \mathbf {P}\) be a nodal hypersurface of degree d. Let \(\Sigma \subset \mathbf {P}\) be the locus of the nodes of X. Then
Hypersurfaces with positive defect
We will use the results from the previous section to reprove the following result by Cheltsov on the minimal number of nodes to have positive defect:
Theorem 4.1
(Cheltsov, [2, 3]) Let \(X\subset \mathbf {P}^4\) be a nodal hypersurface of degree d, with \(d\ge 3\). Assume that \(h^4(X)\ge 2\), i.e., that X has positive defect. Then X has at least \((d1)^2\) nodes. If X has precisely \((d1)^2\) nodes then X contains a plane.
Proof
Without loss of generality we may assume that \(X_H=X\cap V(x_4)\) is smooth. In particular, none of the nodes of X is contained in \(V(x_4)\). Set \(R=\mathbf {C}[x_0,x_1,x_2,x_3,x_4]\) and \(S=\mathbf {C}[x_0,x_1,x_2,x_3]\). Let \(I\subset R\) be the ideal of the nodes of X. Then the Hilbert polynomial \(p_I(t)\) is the constant polynomial \(\#\Sigma \). Since X has positive defect it follows from Proposition 3.7 that \(h_I(2d5)<p_I(2d5)\).
Let \(I_H\subset S\) be the ideal obtained by substituting \(x_4=0\) in I. From the fact that none of the nodes of X is contained in \(V(x_4)\) it follows that the following sequence is exact:
If \(h_{I_H}(2d4)\) vanishes then we have \(h_{I_H}(k)=0\) for \(k\ge 2d4\). In particular, \(h_{I}(k)=h_I(k+1)\) for \(k\ge 2d5\). Since we know that \(h_I(2d5)<p_I(2d5)\) this cannot be the case and hence \(h_{I_H}(2d4)>0\) holds. Fix now a codimension one subspace W of \(S_{2d4}\) containing \((I_H)_{2d4}\). Define \(I'\subset S\) by \(I'_e=\{ g \mid g S_{2d4e} \subset W\}\) if \(e\le 2d4\) and \(I'_e=S_e\) for \(e\ge 2d3\). Then \(I'\) is an ideal, containing \(I_H\). By construction the pairing \((S/I')_e \times (S/I')_{2de} \rightarrow (S/I')_e\) is perfect, hence \(S/I'\) is a Gorenstein ring with socle degree \(2d4\). In particular, \(h_{I'}(k)=h_{I'}(2d4k)\).
Let f be a defining polynomial for X. Since \((I_H)_{d1}\) contains the partial derivative \(\frac{\partial {f}}{\partial {x_i}}(x_0,x_1,x_2,x_3,0)\) for \(i=0,\dots ,3\) and \(X\cap V(x_4)\) is smooth, we have that \(I'_{d1}\) is base point free.
If \(h_{I'}(k)<2d3k\) for some k with \(d2\le k \le 2d4\), then from Corollary 2.5 it would follow that \(h_{I'}(2d4)=0\), contradicting the fact that \(h_{I'}(2d4)=1\). Hence \(h_{I'}(k)\ge 2d3k\) for every integer k such that \(d2\le k \le 2d4\). Combining this information we obtain
If \(p_I=(d1)^2\) then we have that \(h_I\) equals the Hilbert function of a complete intersection of degree \((1,1,d1,d1)\). Since I contains the partials of f it follows that the linear system \(I_{d1}\) has finitely many base points.
Now I has two generators in degree 1 and two further generators in degree \(d1\). In particular these four generators define a codimension four scheme and hence these four generators form a regular sequence. The Hilbert function of the ideal generated by these four forms equals the Hilbert function of I. Hence I is a complete intersection ideal, generated by \(f_1,f_2,f_3,f_4\), with \(\deg (f_1)=\deg (f_2)=1, \deg (f_3)=\deg (f_4)=d1\).
At each node of X the polynomials \(f_1,f_2,f_3,f_4\) induce a local system of coordinates. Since at each singular point of X the polynomial f vanishes up to order two it follows that f is an element of the ideal generated by the \(f_if_j\) with \(i\le j\). These forms have degree at most d if and only if \(i\le 2\). In particular, f is in the ideal generated by \(f_1\) and \(f_2\) and therefore contains the plane \(f_1=f_2=0\). \(\square \)
Remark 4.2
The proof reveals also the following interesting observation. Suppose I is the ideal of the nodes of a threefold of degree d with positive defect. Then
Recall that \(I_d\) is the tangent space to the equisingular deformation space of X [13]. Hence it follows that any family of degree d nodal hypersurfaces with positive defect has codimension at least \(\frac{1}{2}(d^2+3d10)\) in \(S_d\). Moreover, if equality holds then the above proof shows that X contains a plane.
Consider now hypersurfaces containing a fixed plane P. They form a family of codimension \(\frac{1}{2}(d+1)(d+2)\). Since the Grassmannian of planes in \(\mathbf {P}^4\) has codimension 6 it follows that the total family has codimension \(\frac{1}{2}(d^2+3d10)\). A general element of this family is of the form \(\ell _1f_1+\ell _2f_2\) with \(\deg (\ell _i)=1\) and \(\deg (f_i)=d1\). In particular, a general element is a nodal hypersurface. Hence the largestdimensional family of nodal hypersurfaces with positive defect consists of hypersurfaces containing a plane.
The bound we obtained for \(h_{I_H}(k)\) (for \(d1\le k\le 2d4\)) is also used in some of the proofs for the explicit NoetherLefschetz theorem for surfaces in \(\mathbf {P}^3\) (e.g., see [12]). However, if \(n>3\) then Corollary 2.5 is insufficient to deduce the explicit NoetherLefschetz theorem. Similarly, we were not able to deduce a good lower bound for the number of nodes to have positive defect from this Corollary. To obtain an explicit NoetherLefschetz theorem in higher (even) dimension Otwinowska [17] proved a result on the Hilbert function of ideals containing the ideal of a certain complete intersection. This result seems still to be insufficient to obtain a sharp lower bound for the number of nodes to have positive defect. However, Otwinowska’s result is strong enough to determine the largest component of the locus of nodal hypersurfaces with positive defect. Moreover, if the famous conjecture [8, Conjecture \(V_m\)] of Eisenbud, Green and Harris on the Hilbert function of ideals containing a complete intersection holds true, then the result of Otwinowska is strong enough to deduce the minimal number of nodes.
Notation 4.3
Let us define \(p_{n,d}=\left( {\begin{array}{c}d+n+1\\ n+1\end{array}}\right) (n+1)(n+2)\). Then \(p_{n,d}\) equals the Hilbert function of a complete intersection of multidegree \((1^{n+1},(d1)^{n+1})\) evaluated in degree d, if \(d>2\).
Consider a hypersurface \(X \subset \mathbf {P}^{2n+2}\) of the form \(\sum _{i=0}^n x_if_i\), with \(\deg (f_i)=d1\). If the \(f_i\) are chosen sufficiently general then the singular locus is \(x_0=\dots =x_n=f_0=\dots =f_n=0\). This is a complete intersection of multidegree \((1^{n+1},(d1)^{n+1})\). The tangent space to the equisingular deformation space has codimension \(p_{n,d}\) and an easy calculation shows that this space is reduced, i.e., the actual deformation space has the same codimension.
Theorem 4.4
Fix \(n\in \mathbf {N}, n\ge 2\). Let \({{\,\mathrm{DEF}\,}}_d\subset \mathbf {C}[x_0,\dots ,x_{2n+2}]_d\) be the locus of nodal hypersurfaces with positive defect. Then there exists a D such that if \(d>D\) and L is an irreducible component of \({{\,\mathrm{DEF}\,}}_d\) then \({{\,\mathrm{codim}\,}}L\ge p_{n,d}\).
Moreover, if Conjecture 1 of [17] holds then we may take \(D=2\) and any hypersurface in \({{\,\mathrm{DEF}\,}}_d\) has at least \((d1)^{n+1}\) nodes.
Proof
Let \(X\in L\). From Lemma 3.6 it follows that a general equisingular deformation of X also has positive defect, i.e., L is also an irreducible component of the equisingular deformation space of X.
Fix a general hyperplane H. Since X has positive defect there is a class \(\gamma \) in \(H_{2n+2}(X,\mathbf {Q})\) which is not the multiple of the intersection of classes of hyperplanes. The intersection product of \(\gamma \) with H yields a nonzero Hodge class in \(H^{2n}(X_H,\mathbf {Q})_{{{\,\mathrm{prim}\,}}}\). The NoetherLefschetz locus of hypersurfaces of degree d in \(\mathbf {P}^{2n+1}\) parametrizes hypersurfaces having a nonzero Hodge class in \(H^{2n}(X_H,\mathbf {Q})_{{{\,\mathrm{prim}\,}}}\). In particular, we have a morphism from an open subset of L to an irreducible component \({{\,\mathrm{NL}\,}}(\gamma _H)\) of this NoetherLefschetz locus. The differential of this map defines a map \(d_H\) from the tangent space \(T_XL\) to the tangent space of \({{\,\mathrm{NL}\,}}(\gamma _H)\) at \(X_H\).
Let F be a defining polynomial for X. The tangent space \(T_XL\) can be identified with the degree d part of the saturation of the Jacobian ideal of F. Without loss of generality we may assume that \(H=\{x_{2n+2}=0\}\). We have that \(J_d(F)_{x_{2n+2}=0}\) is contained in \(T_{X_H} {{\,\mathrm{NL}\,}}(\gamma _H)\). As explained in [17] there exists an ideal \(I\subset \mathbf {C}[x_0,\dots ,x_{2n+1}]\), such that \( T_X{{\,\mathrm{NL}\,}}(\gamma _H)\) is contained in \(I_d\) and \(\mathbf {C}[x_0,\dots ,x_{2n+1}]/I\) is an Artinian Gorenstein ring with socle degree \((n+1)d2n2\). Since \(X_H\) is smooth we have that I contains a complete intersection of multidegree \((d1)^{2n+2}\). Hence we can apply [17, Théorème 1]. From this it follows that there is a constant D depending on n such that for \(d\ge D\) we have \({{\,\mathrm{codim}\,}}I_d\ge \left( {\begin{array}{c}d+n\\ n\end{array}}\right) (n+1)^2\).
Let J be the ideal of the nodes of X. Then
If \({{\,\mathrm{codim}\,}}I_d=\left( {\begin{array}{c}d+n\\ n\end{array}}\right) (n+1)^2\) holds then we have by [17, Théorème 1] that I up to degree d coincides with a complete intersection ideal of multidegree \((1^{n+1},(d1)^{n+1})\). In this case \(h_J(d)\) is at least
If the codimension of \(I_d\) is larger than \(\left( {\begin{array}{c}d+n\\ n\end{array}}\right) (n+1)^2\) then \({{\,\mathrm{NL}\,}}(\gamma _H)\) is different from the component of \({{\,\mathrm{NL}\,}}\) parametrizing hypersurfaces containing an ndimensional linear space. From [18] it follows that for d sufficiently large, the largest component of this type consists of hypersurfaces containing a quadric of dimension n. This locus has codimension
If \(n\ge 16\) then the Macaulay expansion of \(c_0\) equals
For \(n\le 15\) we have that the the Macaulay expansion of \(c_0\) equals
with \(n1 \ge a_7\ge a_6\ge \dots \ge a_1\ge 1\).
Suppose now that \(n\ge 16\). Since \(c\mapsto c_{<d>}\) increases with c and
(Theorem 2.6) we have that \(h_J(d)\) is at least
In particular, there exists a constant \(C_n\) depending only on n such that the right hand side equals \(\left( {\begin{array}{c}d+n+1\\ d\end{array}}\right) +\left( {\begin{array}{c}d+n\\ d\end{array}}\right) C_n\). Therefore we have that for d sufficiently large \(h_J(d)>p_{n,d}\) holds. If \(n<16\) then a similar argument will yield the proof for large d.
Suppose now that [17, Conjecture 1] holds. Let \(I'\subset S_H\) be the ideal of a complete intersection of multidegree \((1^{n+1},(d1)^{n+1})\). Then [17, Conjecture 1] implies \(h_I(k)\ge h_{I'}(k)\) for all \(k\le (n+1)d2n1\). In particular,
and
\(\square \)
Remark 4.5
Otwinowska shows in [17] that [17, Conjecture 1] is implied by the Eisenbud–Green–Harris conjecture on the Hilbert function of ideals containing a complete intersection.
We switch now to the case of double covers.
Theorem 4.6
Let \(f\in \mathbf {C}[x_0,x_1,x_2,x_3]\) be a squarefree polynomial of degree 2d, such that V(f) is a nodal surface. Let \(X:y^2=f\) be the double cover branched along f. Suppose \(h^4(X)>1\). Then X has at least \(d(2d1)\) nodes. If \(d \ge 2\) holds and X has precisely \(d(2d1)\) nodes then there exist forms \(\ell ,g,h\) of degree 1, d and \(2d1\) respectively such that \(f=\ell g+h^2\).
Proof
Without loss of generality we may assume that \(X_H=X\cap V(x_3)\) is smooth, in particular, none of the nodes of X is contained in \(V(x_3)\). Let \(R=\mathbf {C}[x_0,x_1,x_2,x_3]\) and \(S=\mathbf {C}[x_0,x_1,x_2]\). Let \(I\subset R\) be the ideal of the nodes of V(f). Note that the nodes of X correspond onetoone with the nodes of V(f). Moreover, since y is in the Jacobian ideal of X we have that the Jacobian rings of X and of V(f) are isomorphic.
Since \(h^4(X)\ge 2\) it follows from Proposition 3.7 that we have \(h_I(3d4)<p_I(3d4)\). Let \(I_H\subset S\) be the ideal obtained by substituting \(x_3=0\) in I. Consider the exact sequence
As in the proof of Theorem 4.1 we obtain that \(h_{I_H}(3d3)>0\). Fix a codimension one subspace W of \(S_{3d3}\) containing \((I_H)_{3d3}\). Define \(I'\subset S\) by \(I'_e=\{ f \mid f S_{3d3e} \subset W\}\) if \(e\le 3d3\) and \(I'_e=S_e\) for \(e\ge 3d2\). Then \(I'\) is an ideal, containing \(I_H\). Moreover \(S/I'\) is a Gorenstein ideal with socle degree \(3d3\) and hence \(h_{I'}(k)=h_{I'}(3d3k)\).
The linear system \(I'_{2d1}\) contains the partials of f specialized at \(x_3=0\) and since \(X_H\) is smooth this linear system must be base point free. From Corollary 2.5 we obtain that \(h_{I'}(k)\ge 3d2k\) for \(2d2\le k \le 3d2\). Using Gorenstein duality it follows that \(h_{I'}(k)\ge k+1\) for \(k\le d1\). Theorem 2.1 implies that \(h_{I'}(k)\ge d\) for \(d\le k\le 2d2\). Combining everything we obtain
Suppose now that \(p_I\) is exactly \(d(2d1)\). Then we have \(h_I(1)=3\). In particular there is a linear form \(\ell \) that vanishes at all the nodes. If \(\ell \) is a factor of f then we can write \(f=\ell f_1\). All the nodes of V(f) are contained in \(V(\ell ,f_1)\) which consists of \(2d1\) points. Since we know that X has at least \(d(2d1)\) nodes this cannot happen and therefore \(\ell \) is not a factor of f.
Assume that \(\ell =x_3\) and write \(f=f_0(x_0,x_1,x_2)+x_3g(x_0,x_1,x_2,x_3)\). If p is a node of V(f) then g vanishes at p and p is a double point of \(f_0=0\). If \(f_0\) contains a component with multiplicity at least three then X contains a singularity which is not a node, in particular, we can write \(f_0=f_1^2f_2\), such that \(f_1\) and \(f_2\) are coprime and both are squarefree. Hence the locus of the nodes of V(f) consists of points p such that \(f_1(x_0,x_1,x_2)=g(x_0,x_1,x_2,0)=0\) together with points p such that \(g(x_0,x_1,x_2,0)=0\) and p is a double point of \(f_2\).
Denote with \(e_i\) the degree of \(f_i\). Then there are precisely \(e_1(2d1)\) points of the former type and at most \(\frac{1}{2}(e_21)e_2\) points of the second type. Their sum is strictly less than \(d(2d1)\) if \(e_1\ne 0, 2d\). If \(e_1\) were 2d then the set of nodes of V(f) is also the set of nodes of a (reducible) plane curve of degree 2d. From [15, Proposition 3.6] it follows that then \(h_I(k)=d(2d1)\) holds for \(k\ge 2d2\), contradicting \(h_I(3d3)<d(2d1)\). Hence \(e_1=d\) and \(f_0\) is a square. \(\square \)
Example 4.7
In order to show that the bound \(d(2d1)\) for the number of nodes is sharp, consider \(y^2=h^2+\ell g\) with \(\deg (f)=d\) and \(\deg (g)=2d1\). Then for general \(f,g,\ell \) the singular locus is a complete intersection of multidegree \((1,d,2d1)\), i.e., it consists of \(d(2d1)\) points. Moreover \(\ell =yf=0\) defines a Weil divisor that is not \(\mathbf {Q}\)Cartier and hence the double cover has positive defect.
The CilibertoDi Gennaro conjecture
In this section we prove the following conjecture for \(d\ge 7\). This conjecture is trivially true for \(d=1,2\) and for \(d=3\) this conjecture follows from Theorem 4.1. As mentioned in the Introduction, this conjecture has been proven for \(d=3\) by [9] and for \(d=4\) by [4, 14, 20]. Hence this conjecture remains open for \(d=5,6\). We start by recalling the conjecture.
Conjecture 5.1
Let \(X\subset \mathbf {P}^4\) be a nonfactorial nodal threefold of degree d with at most \(2(d2)(d1)\) nodes then either X contains a plane or a quadric surface and if X contains a quadric surface then X has precisely \(2(d2)(d1)\) nodes.
Note that in [5] CilibertoDi Gennaro proved a weaker form of this conjecture, namely they showed that if X is nonfactorial and has at most \(2(d2)(d1)\) nodes then X contains a plane, a quadric surface or a singular surface.
Lemma 5.2
Let \(I\subset S:=\mathbf {C}[x_0,\dots ,x_n]\) be a homogeneous ideal such that S/I is Artinian Gorenstein of socle degree N. Let \(d_k\) be the smallest integer t such that the dimension of the base locus of \(I_t\) is at most k. Then
Proof
The ideal I contains a complete intersection ideal \(I'\) of multidegree \((d_{n1},\dots ,d_{1})\). In particular, \(I'_k=\mathbf {C}[x_0,\dots ,x_n]_k\) for \(k> \sum _{i=1}^{n1} (d_i1)\). Since \(I'_k\) is contained in \( I_k\) and \(I_N\ne \mathbf {C}[x_0,\dots ,x_n]_N\) we have \(\sum _{i=1}^{n1} (d_i1)\ge N\). \(\square \)
Lemma 5.3
Suppose \(d\ge 6\). Let \(X\subset \mathbf {P}^4\) be a nodal threefold of degree d with at most \(2(d2)(d1)\) nodes. Assume that X has positive defect. Let J be the ideal of \(X_{{{\,\mathrm{sing}\,}}}\), \(H=\{\ell =0\}\) a general hyperplane, \(J_H=(J,\ell )\). Let I be an ideal containing \(J_H\), such that S/I is Artinian Gorenstein of socle degree \(2d4\).
If \(h_I(d4)\le 2d7\) then \(X_{{{\,\mathrm{sing}\,}}}\) contains a subset which is a complete intersection of multidegree \((1,1,d1,d1)\) or of multidegree \((1,2,d2,d1)\).
Proof
Let \(\Sigma \subset X_{{{\,\mathrm{sing}\,}}}\) be a minimal subset such that the linear system of polynomials of degree \(2d5\) vanishing at \(\Sigma \) has defect one. Let \(J=I(\Sigma )\). Without loss of generality we may assume \(X\cap V(x_4)\) is smooth. In particular we have that \(\Sigma \subset V(x_4)=\emptyset .\) Let \(J_H\) be the ideal obtained by substituting \(x_4=0\) in H. Then \(J_H\) is an ideal of \(S:=\mathbf {C}[x_0,\dots ,x_3]\). As in the proof of Theorem 4.1 we obtain that \(h_{J_H}(2d4)=1\) and \(h_{J_H}(2d5)=0\). Let I be the ideal containing \(J_H\), such that S/I is Artinian Gorenstein of socle degree \(2d4\).
Suppose that \(h_I(d4)\le 2d7\). Then from the proof of [21, Proposition 1.1] in Section 1 of loc. cit. it follows that there exists either a line L or a conic C such that \(I_k=I(L)_k\) for \(k\le d4\) or \(I_k=I(C)_k\) for \(k \le d4\).
Suppose first that \(I_{d4}\) is the degree \(d4\)part of the ideal of a line L. Using the notation of Lemma 5.2 we have that \(d_3=d_2=d_1=1\). Since the base locus of \(I_{d1}\) is empty it follows that \(d_0\le d_{1}\le d1\). From Lemma 5.2 it follows that \(\sum _{i=1}^{3} d_i\ge 2d+1\). In particular, \(d_0=d_{1}=d1\) holds and I contains a complete intersection ideal \(I'\) of multidegree \((1,1,1,d1,d1)\). Since both S/I and \(S/I'\) are Artinian Gorenstein rings of socle degree \(2d4\) we have \(I=I'\).
We are now going to show that the base locus B of \(J_{d2}\) contains a plane. We claim that every component of B has dimension at most 2, and that B contains a component of dimension 2:
Suppose that first the base locus of \(J_{d2}\) would have dimension at least 3. Then \(h_{J}(d2)\ge h_{\mathbf {P}^3}(d2)=\frac{1}{6}(d+1)d(d1)\). This would imply that
contradicting the fact that the length of V(J) is at most \(2(d2)(d1)\).
Hence the base locus B of \(J_{d2}\) is of dimension at most two. The base locus of \(I_{d2}\) is a line L and is contained in \(B\cap H\). Hence one of the irreducible components of B is a plane P.
We will now show that \(P\subset X\). For this it suffices to show that \(L\subset X_H\). Recall that \(J_d\) is the tangent space to space of deformations of X where the points in \(\Sigma \) deform to nodes. These equisingular deformations have then also positive defect. Hence I is contained in the tangent space \(T {{\,\mathrm{NL}\,}}(\gamma )\) of the component \({{\,\mathrm{NL}\,}}(\gamma )\) of the NoetherLefschetz locus of smooth surfaces of degree d in H. From standard arguments in NoetherLefschetz theory it follows that \(T {{\,\mathrm{NL}\,}}(\gamma )\otimes S_{d4}\) has codimension at least one in \(S_{2d4}\) (see e.g., [12]). This space contains \(I_d\otimes S_{d4}\) and since I is generated in degree \(<d\), this latter space equals \(I_{2d4}\). Since \(I_{2d4}\) has codimension one, it follows \(T {{\,\mathrm{NL}\,}}(\gamma )\otimes S_{d4}=I_{2d4}\).
As remarked above, \(I_d\subset T{{\,\mathrm{NL}\,}}(\gamma )\). From the results of [12] it follows that \({{\,\mathrm{codim}\,}}T{{\,\mathrm{NL}\,}}(\gamma )\ge d3\). Since \(I\subset \mathbf {C}[x_0,x_1,x_2,x_3,x_4]\) is a complete intersection ideal of multidegree \((1,1,1,d1,d1)\) it follows that \(h_I(d)=d3\), hence \(T {{\,\mathrm{NL}\,}}(\gamma )=I_d\). In particular \(X_H\) and \(T{{\,\mathrm{NL}\,}}(\gamma )\) are as in [12, page 299–301]. From the argument presented there it follows that the line L is contained in \(X_H\).
Suppose we are now in the case that \(I_{d4}\) is the degree \(d4\) part of the ideal of a conic. Without loss of generality we may assume that the conic is defined by \(x_0=x_1=f(x_2,x_3,x_4)=0\). Since \(I_{d1}\) is base point free we can find two further elements \(f_1,f_2\in I\) of degree at most \(d1\), such that \(x_0,x_1,f,f_1,f_2\) form a regular sequence of multidegree \((d_3,d_1,d_1,d_0,d_{1})\). From Lemma 5.2 it follows that \(d_0+d_{1}\ge 2d3\). Since \(d_{1}\le d1\) we have two possibilities, namely \((d_0,d_{1})\) equals \((d2,d1)\) or \((d1,d1)\).
Suppose first that \(d_0=d2\). Then I contains a complete intersection ideal \(I'\) of \((1,1,2,d2,d1)\). From \(I_{2d4}=I'_{2d4}\) it follows that \(I=I'\). From this it follows that J is contained in a complete intersection ideal of multidegree \((1,2,d2,d1)\). Using that \(p_J\le 2(d2)(d1)\) and that \(p_{I'}=2(d2)(d1)\) it follows that \(J=I'\) and that \(X_{{{\,\mathrm{sing}\,}}}\) is a complete intersection of multidegree \((1,2,d2,d1)\).
Suppose now that \(d_0=d1\). Then I contains a complete intersection ideal \(I'\) of multidegree \((1,2,d1,d1)\). From e.g. [17, Sect. 1] it follows that if \(I_1\) and \(I_2\) are homogeneous ideals such that \(I_1\subset I_2\) and both \(S/I_1\) and \(S/I_2\) are Artinian Gorenstein of socle degree \(N+k\) and N then \(I_2=(I_1:F)\) for some form F of degree k. We can apply this to \((I_1,I_2)=(I',I)\) and we find that \(I=(I':h)\) for some linear form h. Note that the base locus of \(I'_{d2}\) consists of a conic. If the base locus of \(I_{d2}\) is also a conic then we have that \(h_{I}(k)=2k+1\) for \(k\le d2\). Using Gorenstein duality we get that
Since \(J_H\subset I\) it follows that \(p_J\ge h_J(2d4)>2(d2)(d1)\), a contradiction. Hence the base locus of \(I_{d2}\) is not a conic. Since the base locus of \(I_{d4}\) is a conic and the base locus of \(I_{d2}\) is one dimensional we have that the conic is a union of two line lines \(h_1h_2=0\) and one of the lines, say \(h_1=0\) is contained in the base locus of \(I_{d2}\) and the linear form \(h=h_2\). Recall that \(I=(I':h_2)\). Since \(h_1h_2\in I'\) it follows that \(h_1\in I\) and therefore that the base locus of \(I_1\) is contained in a line, a contradiction, hence \(d_0=d1\) is impossible. \(\square \)
Lemma 5.4
Suppose \(d\ge 7\). Let \(X\subset \mathbf {P}^4\) be a nodal threefold of degree d with positive defect. Let J be the Jacobian ideal of X, \(H=\{\ell =0\}\) a general hyperplane, \(J_H=(J,\ell )\). Let I be an ideal containing \(J_H\), such that I is Artinian Gorenstein of socle degree \(2d4\).
If \(h_I(d4)> 2d7\) then \(X_{{{\,\mathrm{sing}\,}}}\) consists of at least \(2 (d1)(d2)+1\) points.
Proof
Let \(h(k)=2k+1\) for \(k\le d3\), \(h(d2)=2(d2)\) and \(h(k)=h(2d4k)\) for \(d1\le k \le 2d4\). Then h is the Hilbert function of a complete intersection ideal of multidegree \((1,2,d2,d1)\).
Suppose that for some k we have that \(h_I(k)>2k+1\). Then from Theorem 2.1 it follows that \(h_I(j)>2j+1=h(j)\) for \(2\le j \le k\).
In our case we have that \(h_I(d4)>2d7\). Hence \(h_I(k)>h(k)\) for \(2\le k \le d4\). Using Gorenstein duality we get \(h_I(k)>h(k)\) for \(d\le k \le 2d6\). In particular,
From \(h_I(d)\ge 2d6\) it follows from Theorem 2.1 that \(h_I(d1) \ge 2d7\). However, if \(h_I(d1)\) equals \(2d7\) then \(h_I(d)\) equals \(2d6\) and the Hilbert polynomial of the base locus of \(I_{d1}\) equals \(k+(d6)\) by Theorem 2.4. In particular, the base locus of \(I_{d}\) contains a line, which contradicts the fact that it is empty. Hence \(h_I(d1)\ge 2d6\). Similarly, if \(h_I(d2)= 2d7\) then \(I_{d1}\) has a base component. Since \(I_{d1}\) is base point free this is not possible. This implies that \(\sum _{k=d3}^{d1} h_I(k)h(k)\ge 4\). In particular, if \(2d14>0\) then \(\sum h_I(k)>\sum h(k)=2(d2)(d1)\). This finishes the proof in the case \(d>7\).
If \(d=7\) then the above argument yields \(\sum h_I(k)\ge 2(d2)(d1)\). We have to exclude equality. Suppose now that equality holds. Then all the inequalities in the previous paragraph become equalities. In particular,
Hence \(h_I\) takes the following values 1, 3, 6, 8, 8, 8, 8, 8, 6, 3, 1. This implies that the base locus in degree 1 and 2 is a plane. The base locus of \(I_3\) has dimension at most one. From Lemma 5.2 it follows that the dimension of the base locus is at least one. Since \(h_I(3)=8\) it follows that the base locus of \(I_3\) is the intersection of two plane cubics having either a line or a conic as a common component.
From Lemma 5.2 it follows that I contains a complete intersection ideal \(I'\) of multidegree (1, 3, 4, 6), (1, 3, 5, 5), (1, 3, 5, 6) or (1, 3, 6, 6).
In the first two cases we would have that the socle degree of \(S/I'\) is 10. Since S/I has also socle degree 10 this implies that \(I=I'\). However I and \(I'\) have different Hilbert functions, hence this is not the case.
If \(I'\) is of multidegree (1, 3, 5, 6) then there exists a linear form h such that \(I=(I':h)\). From this it follows that the base locus of \(I'_k\) is contained in the base locus of \(I'_{k1}\) union with V(h). Note that the base locus of \(I'_4\) is a cubic curve C and the base locus of \(I_3\) is the intersection of two cubics. Hence the base locus of \(I_3\) is a conic \(Q=0\) together with a point and V(h) is a component of C. Moreover we have that \(Qh\in I'_3\). This implies that \(Q\in (I':h)=I\), contradicting that \(h_I(2)=6\), hence we can exclude this case.
If \(I'\) is of multidegree (1, 3, 6, 6) then there exists a quadratic form h such that \(I=(I':h)\). From this it follows that the base locus of \(I'_k\) is contained in the base locus of \(I'_{k2}\) union with V(h). Note that the base locus of \(I'_5\) is a cubic curve C and the base locus of \(I_3\) is the intersection of two cubics. Hence the base locus of \(I_3\) is contains either a line \(L=0\) or a conic \(Q=0\), and this curve is a component of C. In the first case we have \(Lh\in I'_3\) and by construction that \(L\in I_1\), a contradiction. In the second case we have that \(h=h_1h_2\) and \(Qh_1\in I'_3\). This implies that \(Qh_1h_2\in I'_4\) and that \(Q\in (I':h)=I\). A contradiction. \(\square \)
Theorem 5.5
(CilibertoDi Gennaro conjecture) Suppose \(d\ge 7\). Let X be a nodal hypersurface of degree d, with at most \(2(d1)(d2)\) nodes. Then one of the following holds

(1)
X is factorial.

(2)
X contains a plane and X has at least \((d1)^2\) nodes.

(3)
X contains a quadric surface and X has at least \(2(d1)(d2)\) nodes.
Proof
Suppose X is not factorial. It follows directly from Lemma 5.3 and 5.4 that \(X_{{{\,\mathrm{sing}\,}}}\) contains a complete intersection \(\Sigma \) either of multidegree \((1,1,d1,d1)\) or of multidegree \((1,2,d2,d1)\). In the first case \(\Sigma \) consists of \((d1)^2\) points in the second case of \(2(d2)(d1)\) points.
Let \(f_1,f_2,f_3,f_4\) be the generators of \(I(\Sigma )\), ordered by degree. Since the points of \(\Sigma \) are on X it follows that \(f\in (f_1,f_2,f_3,f_4)\). Write \(f=\sum h_if_i\). Since the points of \(\Sigma \) are in \(X_{{{\,\mathrm{sing}\,}}}\) and the \(f_i\) form a system of local coordinates at each point of \(\Sigma \) it follows that \(h_i\in I(\Sigma )\). In particular f is in the ideal generated by \(f_if_j\). Such a product is of degree at most d only if one of i, j is at most 2. Hence \(f\in (f_1,f_2)\) and therefore X contains either a plane or a quadric surface, depending on the multidegree of the complete intersection. \(\square \)
Remark 5.6
This result also implies Theorem 4.1. However, in the above proof we used results from [21], which we can avoid in the proof of Theorem 4.1.
References
 1.
Cheltsov, I.: Points in projective spaces and applications. J. Differ. Geom. 81, 575–599 (2009)
 2.
Cheltsov, I.: Factorial threefold hypersurfaces. J. Algebraic Geom. 19, 781–791 (2010)
 3.
Cheltsov, I.A.: On a conjecture of Ciliberto. Sb. Math. 201, 1069–1090 (2010)
 4.
Cheltsov, Ivan: Nonrational nodal quartic threefolds. Pac. J. Math. 226(1), 65–81 (2006)
 5.
Ciliberto, C., Di Gennaro, V.: Factoriality of certain hypersurfaces of \(\mathbb{P}^4\) with ordinary double points. In Algebraic transformation groups and algebraic varieties, volume 132 of Encyclopaedia Math. Sci., pages 1–7. Springer, Berlin, (2004)
 6.
Dimca, A.: Betti numbers of hypersurfaces and defects of linear systems. Duke Math. J. 60, 285–298 (1990)
 7.
Dimca, A.: Singularities and topology of hypersurfaces. Universitext. SpringerVerlag, New York (1992)
 8.
Eisenbud, D., Green, M., Harris, J.: Higher Castelnuovo theory. Astérisque, 218:187–202, 1993. Journées de Géométrie Algébrique d’Orsay (Orsay, 1992)
 9.
Finkelnberg, H., Werner, J.: Small resolutions of nodal cubic threefolds. Nederl. Akad. Wetensch. Indag. Math. 51(2), 185–198 (1989)
 10.
Gotzmann, G.: Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten Ringes. Math. Z. 158, 61–70 (1978)
 11.
Green, M.: Restrictions of linear series to hyperplanes, and some results of Macaulay and Gotzmann. In Algebraic curves and projective geometry (Trento, 1988), volume 1389 of Lecture Notes in Math., pages 76–86. Springer, Berlin, (1989)
 12.
Green, M.L.: Components of maximal dimension in the NoetherLefschetz locus. J. Differ. Geom. 29, 295–302 (1989)
 13.
Greuel, G.M., Karras, U.: Families of varieties with prescribed singularities. Comp. Math. 69, 83–100 (1989)
 14.
Hong, K.: Nonrationality of nodal quartic threefolds. Pac. J. Math. 266(1), 31–42 (2013)
 15.
Kloosterman, R.: Cuspidal plane curves, syzygies and a bound on the MWrank. J. Algebra 375, 216–234 (2013)
 16.
Macaulay, F.S.: Some properties of enumeration in the theory of modular systems. Proc. Lond. Math. Soc. S2–26, 531 (1927)
 17.
Otwinowska, A.: Sur la fonction de Hilbert des algèbres graduées de dimension 0. J. Reine Angew. Math. 545, 97–119 (2002)
 18.
Otwinowska, A.: Composantes de petite codimension du lieu de NoetherLefschetz: un argument asymptotique en faveur de la conjecture de Hodge pour les hypersurfaces. J. Algebraic Geom. 12, 307–320 (2003)
 19.
Peters, C. A. M., Steenbrink, J. H. M.: Mixed Hodge structures, volume 52 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. SpringerVerlag, Berlin, (2008)
 20.
Shramov, K.A.: \(\mathbb{Q}\)factorial quartic threefolds. Mat. Sb. 198(8), 103–114 (2007)
 21.
Voisin, C.: Composantes de petite codimension du lieu de NoetherLefschetz. Comment. Math. Helv. 64, 515–526 (1989)
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funding
Open access funding provided by Universitá degli Studi di Padova within the CRUICARE Agreement.Open access funding provided by Universitá degli Studi di Padova within the CRUICARE Agreement.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author thanks Ivan Cheltsov, Slawomir Cynk, Vincenzo Di Gennaro, Brendan Hassett and Orsola Tommasi for several comments on a previous version of this paper. The author would like to thank the referees for several suggestions to improve the presentation. The author is partially supported by DFGgrant KL 2244/21.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Kloosterman, R. Maximal families of nodal varieties with defect. Math. Z. (2021). https://doi.org/10.1007/s00209021028147
Received:
Accepted:
Published:
Keywords
 Nodal varieties with positive defect
 NoetherLefschetz theory
Mathematics Subject Classification
 32S20
 14J30
 14J70
 14M10