Abstract
Let S be a smooth algebraic surface in \({\mathbb {P}}^3({\mathbb {C}})\). Movasati and Sertöz (Rend. Circ. Mat. Palermo 2:1–17, 2020) associate an ideal \(I_{\alpha (C)}\) to the primitive cohomology class \(\alpha (C)\) of C in S. We show that the equations of C can be determined by \(I_{\alpha (C)}\) under numerical conditions. We apply this result to reconstruct rational curves and arithmetically Cohen-Macaulay curves from their cohomology classes. On the other hand, we show that the class \(\alpha (C)\) of a rational quartic curve C on a smooth quartic surface S is not even perfect, that is, that \(I_{\alpha (C)}\) is bigger than the sum of the Jacobian ideal of S and of the homogeneous ideals of curves D in S for which \(I_{\alpha (D)}=I_{\alpha (C)}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Hodge conjecture, one of the most challenging and interesting open questions in algebraic geometry, can be regarded as a weaker version of a reconstruction problem. Even when the Hodge conjecture is known, as for curves on surfaces, there are a series of somewhat related problems that might shed a new light on some aspects of the cycle map.
A good example is given by [1, Theorem 4.b.26] where it is proven that, given a smooth surface \(S \subset {\mathbb {P}}^3\) and an integral class \(\gamma \) in \(H^1 \left( \Omega ^1_S \right) \) with the same numerical properties as the fundamental class of a curve \(C \subset S\), then \(\gamma \) is itself the fundamental class of an effective divisor \(D \subset S\) provided \(\deg (S)\) is large relative to the self-intersection of \(\gamma \) and to \(\deg (C)\).
In a similar vein, very interesting recent work by Movasati and Sertöz [2] concerns the reconstruction of subvarieties in hypersurfaces of \({\mathbb {P}}^N\) from their periods. Our purpose is to give an answer, in the special case of curves lying on a smooth algebraic surface S in complex projective space, to two questions raised in [2] that we now illustrate. A curve C in S has a fundamental cohomology class \(\eta _C \in H^1\left( \Omega ^1_S \right) \). We denote by \(\alpha (C)\) the equivalence class of \(\eta _C\) in the quotient of \(H^1\left( \Omega ^1_S \right) \) modulo the subspace generated by the class \(\eta _H\) of a plane section of S: the class \(\alpha (C)\) depends on the embedding of S in \({\mathbb {P}}^3\), and can be seen as a linear form on the primitive cohomology \(H^1\left( \Omega ^1_S \right) ^{\perp _H}\). Following [2] we focus our analysis on the annihilator \(I_{\alpha (C)}\) of \(\alpha (C)\) in the polynomial ring \(R=H^0_*({\mathcal {O}}_{{\mathbb {P}}^3})\). Note—see Proposition 2.3 - that \(I_{\alpha (C)}=I_{\alpha (D)}\) for two curves C and D in S if and only if \(mC+nD+pH\) is linearly equivalent to zero for some choice of integers m, n and p with m and n non zero and relatively prime. Thus the annihilator \(I_{\alpha (C)}\), which contains the homogeneous ideal \(I_C\) of C and the Jacobian ideal \(J_S\) of S, in general it is much larger than \(I_C+J_S\), as it contains the ideal \(I_D\) for any curve D for which there is a relation \(mC+nD+pH \sim 0\) as above. Still, one can ask whether C can be reconstructed from \(I_{\alpha (C)}\) when \(\deg (S)\) is large with respect to the degree or other invariants of C, and Movasati and Sertöz in [2] investigate, in a more general context than ours, the following questions:
-
(1)
Under which conditions \(I_{\alpha (C)}\) reconstructs C, in the sense that forms of low degree in \(I_{\alpha (C)}\) cut out the curve C scheme-theoretically? To be precise, we will say that C is reconstructed at level m by \(I_{\alpha (C)}\) if its homogeneous ideal \(I_C\) is generated over R by \(I_{\alpha (C),\le m}\) - that is, by forms of degree \(\le m\) in \(I_{\alpha (C)}\).
-
(2)
As the example of complete intersection suggests, they define a class \(\alpha \in H^1\left( \Omega ^1_S \right) /{{\mathbb {C}} \,\eta _H}\) to be perfect at level m if there exist effective divisors \(D_1,\ldots ,D_q\) in S such that \(I_{\alpha (D_i)}=I_{\alpha }\) for every \(i=1,\ldots q\) and
$$\begin{aligned} I_{\alpha ,j} = \sum _{i=1}^q I_{{D_i},j}+J_{S,j} \quad \text{ for } \text{ every } j \le m \end{aligned}$$where \(J_{S}\) denotes the Jacobian ideal of S. The question is under which conditions the class \(\alpha (C)\) is perfect at level m, and whether all classes \(\alpha (C)\) are perfect at every level m.
In this paper we prove two theorems that give partial answers to these questions. Our first theorem extends known results on complete intersections [2, 3] to arithmetically Cohen-Macaulay curves (ACM curves for short). The tools we need for this are provided by a very nice paper by Ellingsrud and Peskine [4] which unfortunately seems to be little known. In [4] the authors were interested in the study of the Noether-Lefschetz locus, and the invariant \(\alpha (C)\) plays a prominent role in their work because it vanishes if and only if the curve is a complete intersection of S and another surface. Their paper connects the class \(\alpha (C)\) to the normal sequence arising from the inclusions \(C \subset S \subset {\mathbb {P}}^3\) and gives an effective tool for computing its annihilator \(I_{\alpha (C)}\)—see Lemma 2.5. To state our first theorem, given a curve C in \({\mathbb {P}}^3\), we let s(C) be the minimum degree of a surface containing C, and e(C) the index of speciality of C, that is, the maximum n such that \({\mathcal {O}}_C(n)\) is special, that is, \(h^1({\mathcal {O}}_C(n)))>0\).
Theorem 1.1
Suppose C is an ACM curve on the smooth surface \(S \subseteq {\mathbb {P}}^3 ({\mathbb {C}})\). Let s denote the degree of S. Then
-
(1)
if \(s\ge 2e(C)+8-s(C)\), the curve C is reconstructed at level \(e(C)+3\) by \(I_{\alpha (C)}\);
-
(2)
The class \(\alpha (C)\) is perfect at level m for every m.
For example, let C be a twisted cubic curve: C is then ACM with invariants \(s(C)=2\) and \(e(C)=-1\). By Theorem 1.1, if S is a quartic surface containing C, then C is cut out scheme-theoretically by the quadrics whose equations lie in \(I_{\alpha (C,S)}\). This was suggested and verified for thousands of randomly chosen quartic surfaces containing C in [2, Sects. 2.3 and 3.2].
Our second theorem provides a first example of a non-perfect algebraic class \(\alpha (C)\), giving a negative answer to Question 2.12 in [2].
Theorem 1.2
Let \(C \subset {\mathbb {P}}^3\) be a smooth rational curve of degree 4 contained in a smooth surface S of degree \(s=4\). The class \(\alpha (C)\) in S is not perfect at level 3.
It would be very interesting to determine conditions for a class \(\alpha (C)\) to be perfect, and we don’t know whether ACM curves form the largest set of curves C whose classes \(\alpha (C)\), in any smooth surface S containing C, are perfect.
Finally, we note that Movasati and Sertöz pose their questions of reconstruction and perfectness in a more general context, namely for classes in \(H^n(\Omega _X^n)\) of varieties of dimension n in smooth hypersurfaces X in \({\mathbb {P}}^{2n+1}\). An interesting and challenging problem is trying to answer those question for every n, generalizing as far as it is possible the results of this paper to higher dimension.
The paper is structured as follows. In Sect. 2 we collect some well known facts we need, and, for the benefit of the reader, we recall in some detail the constructions from [4] we will need in the sequel of the paper. In Sect. 3 we prove Proposition 3.1—a numerical criterion that guarantees, when the degree of S is large to respect to that of C, that the curve C is reconstructed at a certain level m by \(I_{\alpha (C)}\). As an example we prove in Corollary 3.2 a reconstruction result for a general rational curve of degree d. In Sect. 4 we prove Theorem 1.1, which is split in Theorems 4.1 and 4.8. In Sect. 5 we prove Theorem 1.2.
2 Preliminaries
We work in the projective space \({\mathbb {P}}^3\) over the field \({\mathbb {C}}\) of complex numbers. Given a coherent sheaf \({\mathscr {F}}\) on \({\mathbb {P}}^3\) and \(i \in {\mathbb {N}}\), we define
These are graded module over the polynomial ring
Given a subscheme X of \({\mathbb {P}}^3\), we will denote by \({\mathscr {I}}_X\) its sheaf of ideals, and by \(I_X = H^0_* ({\mathscr {I}}_X)\) its saturated homogeneous ideal in R. We will write \(I_{X,n}\) to denote its \(n^{th}\) graded piece \(H^0({\mathbb {P}}^3,{\mathscr {I}}_X(n))\).
If \(M=\bigoplus _{n\in {\mathbb {Z}}} M_n\) a graded R-module, the graded \({\mathbb {C}}\)-dual module \(M^*\) of M is defined by setting \((M^*)_m ={\text {Hom}}_{{\mathbb {C}}}(M_{-m}, {\mathbb {C}})\) with multiplication \(R_n \times (M^*)_m \rightarrow (M^*)_{m+n}\) defined by
By Serre’s duality, if \(X \subseteq {\mathbb {P}}^N\) is an equidimensional Cohen-Macaulay subscheme of dimension d, then for any locally free sheaf \({\mathcal {F}}\) on X there is an isomorphism of graded R-modules
Let S be a smooth algebraic surface of degree s in \({\mathbb {P}}^3\), and \(C \subset S\) a curve, that is, an effective Cartier divisor in S. The curve C has a cohomology class \(\eta _C \in H^1\left( S, \Omega ^1_S \right) \). It can be defined as follows: the curve C defines a linear form \(\lambda _C\) on the set of (1, 1) forms by integration; abstractly one can define this linear form as the image of the trace map \( H^1\left( C, \Omega ^1_C \right) \rightarrow {\mathbb {C}}\) under the transpose of the morphism \(H^1\left( S, \Omega ^1_S \right) \rightarrow H^1\left( C, \Omega ^1_C \right) \) obtained by restricting differentials on S to C [5, Chapter III Ex. 7.4]. The cohomology class \(\eta _C\) is the image of \(\lambda _C\) under the Serre’s duality isomorphism \( H^1\left( \Omega ^1_S \right) ^* \cong H^1\left( (\Omega ^1_S)^\vee \otimes \omega _S \right) = H^1\left( \Omega ^1_S \right) \): note that \(\Omega ^1_S\) is a rank two vector bundle with determinant \(\omega _S\), hence we can identify \((\Omega ^1_S)^\vee \otimes \omega _S\) with \(\Omega ^1_S\).
If \({\mathcal {O}}_S(C)\) denotes the invertible sheaf on S corresponding to C, then \(\eta _C=c({\mathcal {O}}_S(C))\) where c denotes the first Chern class homomorphism
The perfect pairing \(\langle \quad , \quad \rangle \) of Serre’s duality is compatible with the intersection product of divisor classes [5, Chapter V Ex. 1.8] in the sense that for every pair of Cartier divisors D and E on S
Since S is a surface in \({\mathbb {P}}^3\), numerically equivalent divisors on S are linearly equivalent, and the first Chern class map \(\text{ Pic } (S) \rightarrow H^1\left( S,\Omega ^1_S \right) \) is injective.
The cotangent bundles of S and \({\mathbb {P}}^3\) are related by the exact sequence
It is well known (see e.g. [6]) that \(H^1(\Omega ^1_{{\mathbb {P}}^3} \otimes {\mathcal {O}}_S) \cong {\mathbb {C}}\) and that its image in \( H^1(\Omega ^1_S)\) is the class \(\eta _H\) of a plane section H of S. We look at a portion of the long cohomology sequence arising from (2)
Dualizing and using Serre’s duality we get an exact sequence
We denote by \(J_S\) the Jacobian ideal of S, that is, the ideal of R generated by the partial derivatives of an equation of S. Then the above discussion is summarized by Griffith’s theorem: the primitive first cohomology group of S is isomorphic to the \((2s-4)\)-graded piece of the Jacobian ring of S:
Definition 2.1
Given a curve C in S, we will denote by \(\alpha (C)=\alpha (C,S,{\mathbb {P}}^3)\) the image of its cohomology class \(\eta _C\) under the map
Thus \(\alpha (C)\) is a linear form on \(H^0\left( {\mathcal {O}}_S(2s-4) \right) \) that vanishes on \(J_{S,2s-4}\).
Given \(\alpha \in H^0 ({\mathcal {O}}_S(2s-4))^*\), we denote by \(I_{\alpha }\) the annihilator of \(\alpha \) in the polynomial ring R: it is the homogeneous ideal in R whose \(n^{th}\) graded piece is
Remark 2.2
When writing the paper, we decided to take all ideals in the polynomial ring \(R= H^0_* ({\mathcal {O}}_{{\mathbb {P}}^3})\): thus \(J_S\) and \(I_\alpha \) are for us ideals of R, and \(J_S \subset I_{\alpha (C)}\). Our motivation is that we would like to compare \(I_\alpha \) with the ideal of C as a curve in \({\mathbb {P}}^3\). In [2] the author’s denote by \(I_\alpha \) the annihilator of \(\alpha \) in the Jacobian ring and by \(\tilde{I_{\alpha }}\) its preimage in R.
Let \(T=R/I_S=H^0_* ({\mathcal {O}}_S)\). Then \(\alpha \in (T_{2s-4})^*\), and the ideal \(I_{\alpha }\) is determined by \(\text{ Ker } (\alpha ) \subseteq T_{2s-4}\); conversely, one can recover \(\text{ Ker } (\alpha )\) as the image of \(I_{\alpha ,2s-4}\) via the quotient map \(R_{2s-4} \rightarrow T_{2s-4}\). The perfect pairing
shows \(A:= R/I_{\alpha } = \bigoplus _{n=0}^{2s-4} A_n\) is an artinian Gorenstein ring of socle \(2s-4\) [4, Prop 1.3].
In [4] the authors were interested in the study of the Noether-Lefschetz locus, and the invariant \(\alpha (C)\) plays a prominent role in their work because it vanishes if and only if the curve is a complete intersection of S and another surface. More generally, a Lefschetz type theorem about the Picard group of S (see [7,8,9] ) implies the following fact:
Proposition 2.3
Let C and D be effective divisors on a smooth surface \(S \in {\mathbb {P}}^3\), and let H denote a plane section of S. Then \(I_{\alpha (C)} = I_{\alpha (D)}\) if and only if there exist \(m,n,p \in {\mathbb {Z}}\), \(m,n \ne 0\) and relatively prime, such that \(mC+nD+pH\) is linearly equivalent to zero.
Proof
Suppose \(mC+nD+pH\) is linearly equivalent to zero and m and n are nonzero. The cotangent complex (2) gives rise to an exact sequence in cohomology
and one knows that \(\gamma (1)=\eta _H\), so that the kernel of \(\delta \) is the \({\mathbb {C}}\)-line spanned by \(\eta _H\). From \(mC+nD+pH \sim 0\) we then deduce \(m \alpha (C)=-n \alpha (D)\). Since m and n are nonzero, the linear forms \(\alpha (C)\) and \(\alpha (D)\) have the same kernel, hence \(I_{\alpha (C)} = I_{\alpha (D)} \).
In the other direction, suppose \(I_{\alpha (C)} = I_{\alpha (D)} \), that is, \(\alpha (C)\) and \(\alpha (D)\) have the same kernel. Then \(\alpha (C)= c \, \alpha (D)\) for a nonzero complex number c. Using (5) and the intersection pairing we deduce that there are integers m, n, p, with m and n nonzero, such that \(mC+nD+pH\) is linearly equivalent to zero. Finally, m and n can be taken relatively prime because \({\text {Pic}}(S)/{\mathbb {Z}}H\) has no torsion (see for example [8, Theorem B]). In particular, when \(D=0\), one can take \(m=1\). \(\square \)
As noted in [4] and [2, Lemma 2.3], the ideal \(I_{\alpha (C)}\) contains the ideal of C in S. This follows from the remark of [4] that \(\alpha (C) \in H^0\left( {\mathcal {O}}_S(2s-4)\right) ^*\) is the pull-back of a linear form \(\beta (C) \in H^0\left( {\mathcal {O}}_C(2s-4)\right) ^*\). For the benefit of the reader and for later use, we give a proof of this fact. The linear form \(\beta (C)\) arises from the normal bundles exact sequence:
Tensoring (6) with \({\mathcal {O}}_C(-s)\) and taking cohomology we obtain a map \(H^0({\mathcal {O}}_C) \rightarrow H^1(\omega _C(4-2s))\) and we let
denote the image of \(1 \in H^0({\mathcal {O}}_C)\).
Proposition 2.4
[4, Construction 1.8] The linear form \(\alpha (C)\) is the pull-back of \(\beta (C)\) to S, that is, \(\alpha (C)= \rho ^*(\beta (C))\) where \(\rho ^*\) is the transpose of the natural map \(\rho : H^0\left( {\mathcal {O}}_S(2s-4)\right) \rightarrow H^0\left( {\mathcal {O}}_C(2s-4)\right) \).
Proof
Observe that \(\Omega ^1_S\) is a rank two vector bundle with determinant \(\omega _S\), hence the tangent bundle \({\mathcal {T}}_S=(\Omega ^1_S)^\vee \) is isomorphic to \(\Omega ^1_S \otimes \omega _S^{-1}= \Omega ^1_S(4-s)\). The tangent complex of \(S \subseteq {\mathbb {P}}^3\) and the normal bundle sequence (6) give rise to a commutative diagram
![](http://media.springernature.com/lw558/springer-static/image/art%3A10.1007%2Fs12215-021-00704-9/MediaObjects/12215_2021_704_Equ44_HTML.png)
Taking cohomology and dualizing one sees that \(\alpha (C)\) is the pull back of \(\beta (C)\) to S. \(\square \)
The following Lemma in [4] gives an effective method to compute \(I_{\alpha }\) in many cases.
Lemma 2.5
[4, Lemma 1.10] Let N(C) denote the image of the map \( H^0_* {\mathcal {N}}_{C/{\mathbb {P}}^3} (-s) \rightarrow H^0_* ({\mathcal {O}}_C)\) arising from the normal bundle sequence (6). Let \(\pi :R=H^0_* ({\mathcal {O}}_{{\mathbb {P}}^3}) \rightarrow H^0_* ({\mathcal {O}}_C)\) be the natural map. Then, for every integer n,
with equality if \(\pi _{2s-4-n}\) is surjective.
Proof
The exact sequence
![](http://media.springernature.com/lw428/springer-static/image/art%3A10.1007%2Fs12215-021-00704-9/MediaObjects/12215_2021_704_Equ45_HTML.png)
shows \(N(C)={\text {Ann}}_{H^0_* ({\mathcal {O}}_C)}(\beta )\).
The map \(\pi :R \rightarrow H^0_* ({\mathcal {O}}_C)\) factors through \(\rho : H^0_* ({\mathcal {O}}_S)\rightarrow H^0_* ({\mathcal {O}}_C)\). To simplify notation, write \(T=H^0_* ({\mathcal {O}}_S)\) and \(e=2s-4\). As \(\alpha \) is an element of the T-module \(T^*\), the ideal \(I_\alpha \), which by definition is the annihilator of \(\alpha \) in R, is the inverse image of \({\text {Ann}}_{T}(\alpha )\) under the surjective map \(R \rightarrow T\). Hence what we have to prove is that \(\rho ^{-1}\left( N(C)_n\right) \subseteq {\text {Ann}}_{T}(\alpha )_n\) for every integer n, with equality holding when \(\rho _{e-n}\) is surjective. Now
while the inverse image \(\rho ^{-1}\left( N(C)_n\right) \) of the \(n\)th graded piece of the annihilator of \(\beta (C)\) in \(H^0_* ({\mathcal {O}}_C)\) is equal to
The thesis is now evident. \(\square \)
Corollary 2.6
The annihilator \(I_{\alpha (C)}\) of \(\alpha (C)\) contains both the homogeneous ideal of C and the Jacobian ideal of the surface S.
To exemplify the scope of this construction, we remark that it immediately yields the following well known corollary (originally due to Griffiths and Harris, see [6] for more details).
Corollary 2.7
Suppose S is a smooth surface in \({\mathbb {P}}^3\) and C is an effective divisor on S. Then C is a complete intersection of S and another surface if and only if the sequence (6) of normal bundles splits.
Proof
If C is a complete intersection of S and another surface, it is clear that the sequence splits. Conversely,if the sequence splits, then \(\beta (C)=0\). Therefore \(\alpha (C)=0\), and the thesis follows from Proposition 2.3. \(\square \)
3 Reconstruction of the ideal
Motivated by [2], we want to compare \(I_C\) and \(I_{\alpha (C)}\). The following proposition gives sufficient conditions for the curve C to be reconstructed at level p by \(I_{\alpha (C)}\). We will see that these conditions are rather sharp and useful when we consider the examples of rational curves (Corollary 3.2 and Theorem 5.1 below) and of arithmetically Cohen-Macaulay curves (Theorem 4.1)—for a specific example, if C is a smooth rational quartic curve in a smooth quartic surface S, then \(I_{\alpha (C),2}= I_{C,2}\) by Proposition 3.1, while the class \(\alpha (C)\) in S is not even perfect at level 3 by Theorem 5.1. Recall that we denote by \({\mathscr {I}}_C\) the ideal sheaf of C in \({\mathbb {P}}^3.\)
Proposition 3.1
Let S be a smooth surface of degree s in \({\mathbb {P}}^3\), and let C be an effective Cartier divisor on S. Assume that the homogeneous ideal \(I_C\) is generated by its forms of degree \(\le p\) and that the following vanishing conditions are satisfied
-
(1)
\(h^1( {\mathscr {I}}_C(2s-4-p))=0\)
-
(2)
\(h^0({\mathcal {N}}_{C/{\mathbb {P}}^3}(p-s))=0\)
then \(I_{\alpha (C),p}= I_{C,p}\), therefore C is reconstructed at level p by \(I_{\alpha (C)}\).
Proof
Since \(h^0\left( {\mathcal {N}}_{C/{\mathbb {P}}^3}(p-s)\right) =0\), the annihilator of \(\beta (C)\) in degree p vanishes. Since \(\pi _{2s-4-p}: R_{2s-4-p} \rightarrow H^0 {\mathcal {O}}_C(2s-4-p))\) is surjective, by Lemma 2.5
\(\square \)
We can now answer a question raised in [2, Section 2.3.1] about twisted cubics contained in quartic surfaces: if C is a twisted cubic contained in a smooth quartic surface \(S \subset {\mathbb {P}}^3\), then C is cut out by quadrics in \(I_{\alpha (C)}\). More generally:
Corollary 3.2
Suppose \(C \subset {\mathbb {P}}^3\) is a general rational curve of degree \(d \ge 3\) and let \(n_0\) be the round up of \(\sqrt{6d-2}-3\), that is, the smallest positive integer n such that \(\left( {\begin{array}{c}n+3\\ 3\end{array}}\right) -nd -1 \ge 0\). If C s contained in a smooth surface S of degree \( s \ge n_0+3\), then C is reconstructed at level \(n_0\!+\!1\) by \(I_{\alpha (C,S)}\).
Proof
By [10] a general rational curve is a curve of maximal rank, that is, \(h^0 ({\mathscr {I}}_{C}(n))=0\) for \(n \le n_0-1\) and \(h^1 ({\mathscr {I}}_{C}(n))=0\) for \(n \ge n_0\). Hence C is \(n_0+1\) regular in the sense of Castelnuovo-Mumford, and \(I_C\) is generated by its forms of degree \(\le n_0+1\). Furthermore, by [11] the normal bundle of the immersion \({\mathbb {P}}^1 \rightarrow C \subset {\mathbb {P}}^3\) is isomorphic to \({\mathcal {O}}_{{\mathbb {P}}^1}(2d\!-\!1) \oplus {\mathcal {O}}_{{\mathbb {P}}^1}(2d\!-\!1)\). Hence \(h^0({\mathcal {N}}_{C/{\mathbb {P}}^3}(-m))=0\) for every \(m \ge 2\). Thus we can apply Proposition 3.1 with \(p=n_0\!+\!1\). \(\square \)
Remark 3.3
If C is a smooth irreducible curve of degree d, then \(h^1\left( {\mathscr {I}}_C(n)\right) =0\) for every \(n \ge d\!-\!3-e\) (see [12] and [13]), where \(e:=e(C)=\max \{n\ |\ h^1\left( {\mathcal {O}}(n)\right) >0\}\) is the index of speciality of C.
Corollary 3.4
Let S be a smooth surface of degree s in \({\mathbb {P}}^3\), and let C be an effective Cartier divisor on S. Suppose \({\mathscr {I}}_C\) is r-regular in the sense of Castelnuovo-Mumford. If \(s \ge 2r+1\), then C is reconstructed at level r by \(I_{\alpha (C)}\).
Proof
Since \({\mathscr {I}}_C\) is r-regular, the ideal \(I_C\) is generated by its forms of degree \(\le r\) and \(H^1 ({\mathscr {I}}_C(n))=0\) for every \(n \ge r-1\). As \(s \ge 2r+1\) and \(r \ge 1\), the first condition \(h^1{\mathscr {I}}_C(2s-4-r)=0\) in Proposition 3.1 is satisfied for \(p=r\).
We are left to check that \(h^0{\mathcal {N}}_{C/{\mathbb {P}}^3}(r-s)=0\).
By [14, Prop 4.1], there are two surfaces \(S_1\) and \(S_2\) of degree r meeting properly in a complete intersection
so that C and D have no common component. Consider the exact sequence
Applying \({\text {Hom}}(-,{\mathcal {O}}_C)\) we get
and \({\text {Hom}}({\mathscr {I}}_{X},{\mathcal {O}}_C)=0\) since C and D have no common component. Therefore, there is an inclusion
hence \(h^0{\mathcal {N}}_C(m)=0\) for \(m \le -r-1\). In particular \(h^0{\mathcal {N}}_C(r-s)=0\) because \(s \ge 2r+1\). \(\square \)
4 Arithmetically Cohen-Macaulay curves
In this section we explain how Example 1.15.3 in [4] extends the result about the perfection of complete intersections to the much larger class of arithmetically Cohen-Macaulay curves (from now on, ACM curves). Recall that a curve \(C \subset {\mathbb {P}}^3\) is called ACM if its homogeneous ring \(R_C=R/I_C\) is Cohen-Macaulay, or, equivalently, if C is locally Cohen-Macaulay of pure dimension 1 and \(H^1_* ({\mathscr {I}}_C)=0\). A smooth ACM curve is what classically was referred to as a projectively normal curve. We refer the reader to [15] for a detailed study of ACM curves on a surface in \({\mathbb {P}}^3\).
If \(C \subset {\mathbb {P}}^3\) is an ACM curve, then \(I_C\) has a free graded resolution of the form
and \(I_C\) coincides with the ideal generated by the \(r \times r\) minors of \(\phi \) by the Hilbert-Burch theorem—cf. [16, Proposition II.1.1 p. 37].
Applying the functor \({\text {Hom}}_R( \bullet , R/I_C)\) to (7) as in [17, p. 428] one obtains a long exact sequence
The importance of this sequence for our purposes is that it allows to compute the Hilbert function \(n \mapsto h^0 ({\mathcal {N}}_{C,{\mathbb {P}}^3}(n))\) of \({\mathcal {N}}_{C,{\mathbb {P}}^3}\) as a function of the Hilbert function \(n \mapsto h^0 ({\mathcal {O}}_C(n))\) of C; we can then compute the dimension of \({\text {Ann}}(\beta (C))_n\) and of \(I_{\alpha (C),n}\) in terms solely of the Hilbert function of C and of the degree s of S. To justify our assertion, one needs to observe that to compute \(h^0 ({\mathcal {N}}_{C,{\mathbb {P}}^3}(n))\) out of (8) one does not need to know the numbers \(a_i\)’s and \(b_j\)’s, but only for each n the difference
which depends only on the Hilbert function of C.
As an application of this argument, we can give for ACM curves a sharp bound for the smallest integer n such that \(I_{\alpha (C),n}=I_{C,n}\). For this we will not need the full Hilbert function of C, but just its index of speciality \( e:=e(C)=\max \{n\ |\ h^1\left( {\mathcal {O}}(n)\right) =h^2 \left( {\mathscr {I}}_C (n)\right) \ >0\} \) and the minimum degree s(C) of a surface containing C: \( s(C)={\text {min}}\{n\ |\ h^0\left( {\mathscr {I}}_C (n)\right) \ >0\} \). For an ACM curve C, the ideal \({\mathscr {I}}_C\) is \(e+3\)-regular because \(H^1_* ({\mathscr {I}}_C)=0\). In particular, the ideal \(I_C\) is generated in degrees \(\le e+3\), and \(s(C) \le e+3\).
Theorem 4.1
Let S be a smooth surface of degree s in \({\mathbb {P}}^3\). Let \(C \subset S\) be an ACM curve, let s(C) be the minimum degree of a surface containing C and let e(C) be the index of speciality of C.
If \(s\ge 2e(C)+8-s(C)\) hen \(I_{\alpha (C),(e+3)}=I_{C,(e+3)}\). Therefore C is reconstructed at level \(e+3\) by \(I_{\alpha (C)}\).
Proof
The statement follows from Proposition 3.1 with \(p=e+3\) provided we can show that \(h^0\left( {\mathcal {N}}_{C/{\mathbb {P}}^3}(e+3-s)\right) =0\). For this we use the exact sequence (8), which shows that the maximum n for which \(h^0{\mathcal {N}}_{C,{\mathbb {P}}^3}(n)=0\) is \(n= s(C)-e(C)-5\). \(\square \)
Remark 4.2
A twisted cubic curve C is ACM with invariants \(s(C)=2\) and \(e(C)=-1\). Hence from Theorem 4.1 it follows once more that, if C is contained in a smooth quartic surface S, then C is cut out by quadrics in \(I_{\alpha (C,S)}\).
Remark 4.3
Theorem 4.1 improves for ACM curves the bound of Corollary 3.4 because, since \(r=e+3\), then \(2e+8-s(C)=2r+2-s(C)\).
In [2, Sect. 2.3] [18, Ch 11], motivated by the case of complete intersections, formulate the notion of a perfect class:
Definition 4.4
Let S be a smooth surface of degree s in \({\mathbb {P}}^3\). A class \(\alpha \in H^1(\Omega _S)/{\mathbb {C}}\eta _H \subseteq H^{0} ({\mathcal {O}}_S(2s-4))^*\) is perfect at level m if there exist effective divisors \(D_1,\ldots ,D_q\) in S such that \(I_{\alpha (D_i)}=I_\alpha \) for every \(i=1,\ldots , q\) and
We say the class is perfect if \( I_{\alpha } = \sum\nolimits_{{i = 1}}^{q} {I_{{D_{i} }} + J_{S} } \). We make the convention that the zero class is perfect—geometrically, this amounts to consider the empty set as a (empty) curve, and is consistent with regarding the zero divisor as an effective divisor.
Example 4.5
If \(C \subset S\) is the complete intersection of two surfaces meeting properly, then \(\alpha (C)\) is perfect (see [2, Ex 2.11], [4, Ex 1.15.2], [3, Prop. 2.14] ). If one does not agree that the zero class is perfect, then one needs to add the condition that C is cut out by two surfaces of degrees \(<s= \deg (S)\).
We now wish to generalize the previous example to the class of ACM curves showing that, if C is ACM, then the class \(\alpha (C)\) is perfect. For this we need to recall more facts from [4]. Suppose the ACM curve C is contained in a smooth surface S of degree s and equation \(f=0\). Then the polynomial f can be written in the form
where the \(h_i\)’s are the images of the generators of the free module F in the resolution (7) of \(I_C\), Since the \(h_i\)’s are the signed \(r \times r\) minors of \(\phi \), then polynomial f is the determinant of the morphism \(\psi : E \oplus R(-s) \rightarrow F\) obtained adding the column \([g_1, \ldots , g_{r+1}]^T\) to the matrix of \(\phi \): in other words, \(\psi \) coincides with \(\phi \) on E, and sends \(1 \in R(-s)\) to \( \sum\nolimits_{{i = 1}}^{{p + 1}} {g_{i} e_{i} } \), where the \(e_i\)’s are the generators of F. We thus obtain a resolution of \(I_C/I_S\):
Since S is smooth, the curve C is Cartier on S so that \(I_C/I_S\) can locally be generated by one element. It follows that the ideal \(I_r (\psi )\) generated by the \( r \times r\) minors of \(\psi \) is irrelevant, that is, its radical is the irrelevant maximal ideal (x, y, z, w) of the polynomial ring R.
Proposition 4.6
[4, Prop. 1.16] Let \(C\subset {\mathbb {P}}^3\) be an ACM curve contained in the smooth surface S. Suppose \(I_C\) has the resolution (7). Then
-
(1)
If \(\psi \) is as in exact sequence (9) the presentation of \(I_{C,S}\), then
$$\begin{aligned} I_{\alpha (C)}= I_r (\psi ) \end{aligned}$$is the ideal generated by the \(r \times r\) minors of \(\psi \);
-
(2)
The n th-graded piece \({\text {Ann}}(\alpha (C))_n\) of the annihilator of \(\alpha (C)\) in \(H^0_* ({\mathcal {O}}_S)\) is the image of the natural map
$$\begin{aligned} \bigoplus _{m \in {\mathbb {Z}}} H^0{\mathcal {O}}_S(C+(n+m)H) \otimes H^0 {\mathcal {O}}_S(-C-mH) \longrightarrow H^0 ({\mathcal {O}}_S(n)) \end{aligned}$$
Remark 4.7
Note that \({\text {Ann}}(\alpha (C))= I_{\alpha (C)}/I_S\). The equality \(I_{\alpha (C)}= I_r (\psi )\) is a non trivial fact that is not given a full proof in [4]; a complete proof can be found in [19, Proposition 4.3 and p. 382].
We can now prove that the class \(\alpha (C)\) of an ACM curve in a smooth surface S is perfect:
Theorem 4.8
Let \(C \subset S\) be an ACM curve and let S be a smooth surface. Then the class \(\alpha (C)\) of C in S is perfect.
Proof
Fix an integer n. By Proposition 4.6\({\text {Ann}}(\alpha (C))_n\) is the image of the natural map
Note the sum on the left hand side is finite, and consists of those m for which the linear systems \(|C+(m+n)H|\) and \(|-C-mH|\) are both non-empty. For such an m we pick a basis \(g_1, \ldots , g_{r_m}\) of \( H^0 {\mathcal {O}}_S(-C-mH)\) and corresponding effective divisors \(D_k=(g_k)_0 \in |-C-mH|\). The image of
in \(H^0 ({\mathcal {O}}_S(n))\) is \(H^0{\mathscr {I}}_{D_k/S}(n)\). (if \(C \sim tH\) is a complete intersection of S and another surface, taking \(m_k=-t\) and \(n=0\) we get \(D_k\) the empty curve, and in this case \(\alpha (C)=0\) is perfect by our definition). Note that \({\mathbb {Q}}\alpha (D_k)={\mathbb {Q}}\alpha (C)\) by Proposition 2.3. Now letting k and m vary we see that \(\alpha (C)\) is perfect at level n, for every n. Since \({\text {Ann}}(\alpha (C))\) is finitely generated, we can let n vary up to the maximum degree of a generator of \({\text {Ann}}(\alpha (C))\), and recover the whole \({\text {Ann}}(\alpha (C))\) as the sum of finitely many \(I_{D_{k}/S}\) with \(D_{k} \sim C+(n+m)H\) for some m and n. Therefore \(\alpha _C\) in S is perfect. \(\square \)
5 Example of a non perfect class
Theorem 5.1
Let \(C \subset {\mathbb {P}}^3\) be a smooth rational curve of degree 4 contained in a smooth surface S of degree \(s=4\). The class \(\alpha (C)\) in S is not perfect at level 3.
Proof
A smooth rational quartic curve \(C \subset {\mathbb {P}}^3\) is contained in a unique quadric surface Q, and Q is necessarily smooth (all curves on the quadric cone are arithmetically Cohen-Macaulay by [5, Chapter V Ex. 2.9 ]). We may assume C is a divisor of type (3, 1) on Q. The ideal sheaf of C is 3-regular, hence \(I_C\) generated by quadrics and cubics.
Suppose C is contained in a smooth quartic surface S. Then \(Q \cap S\) is the union of C and an effective divisor \(D_0\) of type (1, 3) on Q. Note that \(D_0\) is a curve of degree 4 and arithmetic genus 0; as the divisor class of \(D_0\) is different from that of C and C is irreducible, we conclude that C and \(D_0\) have no common component.
The curves C and \(D_0\) don’t move in their linear system on the quartic surface S: for C this follows from \(C^2=-2\), and in any case for both \(D_0\) and C one might argue that
Having established the geometric set-up, we proceed to show that \(I_{\alpha (C)}\) contains too many cubics for \(\alpha (C)\) to be perfect at level 3. To compute the dimension of \(I_{\alpha (C),3}\), we use the fact that \(R/I_{\alpha (C)}\) is a Gorenstein ring with socle in degree \(2s-4=4\), hence
This estimate is good enough for us to prove the theorem, but let us show anyway that \({\text {dim}}I_{\alpha (C),3}=16\): as C is a divisor of type (3, 1) on Q, \(h^1\left( {\mathscr {I}}_C(3)\right) =0\) hence by Lemma 2.5\(I_{\alpha (C),1}\) is the pull back to \(R_1\) of \(N(C)_1\), the image of \(H^0\left( {\mathcal {N}}_{C/{\mathbb {P}}^3} (-3)\right) \) in \(H^0 \left( {\mathcal {O}}_{C}(1)\right) \); as the normal bundle of C pulls-back on \({\mathbb {P}}^1\) to \( {\mathcal {O}}_{{\mathbb {P}}^1}(7) \oplus {\mathcal {O}}_{{\mathbb {P}}^1}(7)\) by [11, Proposition 6]), we conclude that \(I_{\alpha (C),1}=0\), hence \( {\text {dim}}I_{\alpha (C),3} =16. \) The same argument shows that \(I_{\alpha (C),2}=I_{C,2}\) as well.
To check whether \(I_{\alpha ,3}\) is perfect, we need to determine curves D in S with \(I_{\alpha (D)}= I_{\alpha (C)}\) and \(h^0 \left( {\mathscr {I}}_D(3)\right) \ge 1\) so that D can contribute to \(I_{\alpha ,3}\). Thus suppose D is such a curve. By Proposition 2.3, there exist \(m,n,p \in {\mathbb {Z}}\), \(m,n \ne 0\) and relatively prime, such that \(pH+mC+nD\) is linearly equivalent to zero. By assumption \(3H-D\) is effective; as C is not linearly equivalent to tH for any t, neither is D, hence \(1 \le \deg (D)=D \cdot H \le 11\). Replacing D with \(D'=3H-D\) we can even assume \(D\cdot H \le 6\).
Now consider the matrix
As \(pH+mC+nD\) is linearly equivalent to zero, the vector \(v=[p,m,n]^T\) is in the kernel of M. Set \(x=H\cdot D\), \(y=C\cdot D\) and \(z=D^2\). Note that \(z=D^2=2(p_a(D)-1)=2q\) is even.
The determinant of M must vanish, so
From this we deduce first that x and y must be even, and then that 4 divides x. As \(1 \le x \le 6\), we must have \(x=4\). Thus D is a curve of degree 4, and either \(D=C\) or C is not a component of D, hence \(y=C \cdot D \ge 0\). Assume that \(D \ne C\). Writing \(y=2t\) with \(t\ge 0\), we obtain the equation
Looking at the discriminant of this quadratic equation in t we deduce \(6-3q\) is a perfect square, so that \(q=2-3a^2\) for an integer \(a \ge 0\). Then solving for t and imposing \(t \ge 0\) we obtain \(t=2+3a\). So \(H\cdot D=x=4\), \(C \cdot D=y=4+6a\) and \(D^2=4-6a^2\). Then solving the linear system \(Mv=0\) for \(v=[p,m,n]^T\) we find \(m=an\) and \(p=-(a+1)n\). Since m and n are relatively prime and non zero and \(a \ge 0\), the only possibility is that \(a=1\). Then we can take \(m=n=1\) and conclude \(C+D \sim 2H\), so that \(C+D\) is the complete intersection of the unique quadric Q containing C with S, and \(D=D_0\) is the residual to C in the complete intersection \(Q \cap S\).
We conclude that the only curves D in S that are contained in a cubic surface and satisfy \(I_{\alpha (D)}= I_{\alpha (C)}\) are C, the residual \(D_0\) to C in the complete intersection \(Q \cap S\), and the effective divisors linearly equivalent to either \(3H-C\) or \(3H-D_0\). But observe that, if \(D' \sim 3H-D_0 \sim C+H\) is effective, then
Therefore there is a unique cubic containing \(D'\), whose equation is contained in the ideal of \(D_0\). Similarly, if \(D^{''} \sim 3H-C\) is effective, there is a unique cubic containing \(D^{''}\), whose equation is contained in the ideal of C. Hence any cubic form that belongs to the ideal of a curve D on S satisfying \(I_{\alpha (D)}= I_{\alpha (C)}\) is in the vector space spanned by \(I_{C,3}\) and \(I_{D_0,3}\).
To show \(\alpha (C)\) is not perfect at level 3 it is now enough to show that cubics containing either C or \(D_0\) plus the cubics in the Jacobian ideal \(J_S\) do not span \(I_{\alpha (C),3}\).
To this end, note that cubic surfaces that contain both C and \(D_0\) are in the ideal of the complete intersection of S and Q, and so form a vector space of dimension 4. By Grassmann’s formula
There are four independent cubics in the Jacobian ideal, so
and this shows that \(\alpha (C)\) in S is not perfect at level 3. \(\square \)
Remark 5.2
The class \(\alpha (C)\) of the quartic C in S is perfect at level 2 by Proposition 3.1 since \(h^1({\mathscr {I}}_C(2))=h^0({\mathcal {N}}_{C/{\mathbb {P}}^3}(-2))=0\).
References
Griffiths, P., Harris, J.: Infinitesimal variations of Hodge structure. II. An infinitesimal invariant of Hodge classes. Compos. Math. 50(2–3), 207–265 (1983)
Movasati, H., Sertöz, E.C.: On reconstructing subvarieties from their periods. Rend. Circ. Mat. Palermo 2, 1–17 (2020)
Dan, A.: Analytic and Algebraic Geometry. In: Noether-Lefschetz locus and a special case of the variational Hodge conjecture: using elementary techniques, pp. 107–115. Hindustan Book Agency, New Delhi (2017)
Ellingsrud, G., Peskine, C.: Anneau de Gorenstein associé à un fibré inversible sur une surface de l’espace et lieu de Noether–Lefschetz. In Proceedings of the Indo–French Conference on Geometry (Bombay, 1989). Hindustan Book Agency, Delhi, pp. 29–42 (1993)
Hartshorne, R.: Algebraic Geometry. Springer, New York, Heidelberg (1977). (Graduate Texts in Mathematics, No. 52)
Ellingsrud, G., Gruson, L., Peskine, C., Strømme, S.A.: On the normal bundle of curves on smooth projective surfaces. Invent. Math. 80(1), 181–184 (1985)
Deligne,P., Katz, N.: Groupes de monodromie en géométrie algébrique. II: Lect. Notes Math. 340 (1973). Séminaire de Géométrie Algébrique du Bois–Marie 1967–1969 (SGA 7 II)
Bădescu, L.: A remark on the Grothendieck-Lefschetz theorem about the Picard group. Nagoya Math. J. 71, 169–179 (1978)
Voisin, C.: Hodge Theory and Complex Algebraic Geometry I, Volume 76 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, Translated from the French original by Leila Schneps (2002)
Hartshorne, R., Hirschowitz, A.: Courbes rationnelles et droites en position générale. Ann. Inst. Fourier (Grenoble) 35(4), 39–58 (1985)
Eisenbud, D., Van de Ven, A.: On the normal bundles of smooth rational space curves. Math. Ann. 256(4), 453–463 (1981)
Gruson, L., Peskine, C.: Space curves: complete series and speciality. In: Space Curves (Rocca di Papa, 1985), Volume 1266 of Lecture Notes in Math. Springer, Berlin, pp. 108–123 (1987)
Han, F.: Geometrically reducible line complexes. Math. Ann. 316(4), 819–824 (2000)
Peskine, C., Szpiro, L.: Liaison des variétés algébriques. I. Invent. Math. 26, 271–302 (1974)
Hartshorne, R., Schlesinger, E.: Gonality of a general ACM curve in \(\mathbb{P}^3\). Pacific J. Math. 251(2), 269–313 (2011)
Martin-Deschamps, M., Perrin, D.: Sur la classification des courbes gauches. Astérisque 184, 185 (1990). (Société Mathématique de France)
Ellingsrud, G.: Sur le schéma de hilbert des variétés de codimension \(2\) dans \({ P}^{e}\) à cône de Cohen-Macaulay. Ann. Sci. École Norm. Sup. (4) 8(4), 423–431 (1975)
Movasati, H., Loyola, R. Villaflor: A course in Hodge theory: periods of algebraic cycles
Kleppe, J.O., Miró-Roig, R.M.: Ideals generated by submaximal minors. Algebra Number Theory 3(4), 367–392 (2009)
Acknowledgements
The authors are grateful to the referee for several valuable comments. The authors are members of GNSAGA of INdAM, and were partially supported by national MIUR funds, PRIN 2017 Moduli and Lie theory, and by MIUR: Dipartimenti di Eccellenza Program (2018–2022)—Dept. of Math. Univ. of Pavia.
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
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
Cifani, M.G., Pirola, G.P. & Schlesinger, E. Reconstructing curves from their Hodge classes. Rend. Circ. Mat. Palermo, II. Ser 72, 945–958 (2023). https://doi.org/10.1007/s12215-021-00704-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12215-021-00704-9