Abstract
A classical problem in the theory of projective curves is the classification of all their possible genera in terms of the degree and the dimension of the space where they are embedded. Fixed integers r, d, s, CastelnuovoHalphen’s theory states a sharp upper bound for the genus of a nondegenerate, reduced and irreducible curve of degree d in \({\mathbb {P}}^r\), under the condition of being not contained in a surface of degree \(<s\). This theory can be generalized in several ways. For instance, fixed integers r, d, k, one may ask for the maximal genus of a curve of degree d in \({\mathbb {P}}^r\), not contained in a hypersurface of degree \(<k\). In the present paper we examine the genus of curves C of degree d in \({\mathbb {P}}^r\) not contained in quadrics (i.e. \(h^0({\mathbb {P}}^r, {\mathcal {I}}_C(2))=0\)). When \(r=4\) and \(r=5\), and \(d\gg 0\), we exhibit a sharp upper bound for the genus. For certain values of \(r\ge 7\), we are able to determine a sharp bound except for a constant term, and the argument applies also to curves not contained in cubics.
Introduction
A classical problem in the theory of projective curves is the classification of all their possible genera in terms of the degree and the dimension of the space where they are embedded [3, 9, 11]. Fixed integers r, d, s, CastelnuovoHalphen’s theory states a sharp upper bound for the genus of a nondegenerate, reduced and irreducible curve of degree d in \({\mathbb {P}}^r\), under the condition of being not contained in a surface of degree \(<s\) [3, 9, 10]. This theory can be generalized imposing flag conditions [4]. For instance, fixed integers r, d, k, one may ask for the maximal genus of a curve of degree d in \({\mathbb {P}}^r\), not contained in a hypersurface of degree \(<k\). As far as we know, in this case there are only rough estimates [13, 4, p. 726, (2.10)]. In the present paper we examine the case of curves in \({\mathbb {P}}^4\) and \({\mathbb {P}}^5\) not contained in quadrics. Our main results are the following Theorems 1.1 and 1.2.
Theorem 1.1
Let \(C\subset {\mathbb {P}}^4\) be a reduced and irreducible complex curve, of degree d and arithmetic genus \(p_a(C)\), not contained in quadrics (i.e. \(h^0(\mathbb P^4,{\mathcal {I}}_C(2))=0\))

If \(d> 16\), then
$$\begin{aligned} p_a(C)\le \frac{1}{8}d(d6)+1. \end{aligned}$$(1)The bound is sharp, and \(p_a(C)=\frac{1}{8}d(d6)+1\) if and only if d is even, and C is contained in the isomorphic projection in \({\mathbb {P}}^4\) of the Veronese surface.

If \(d> 143\), and either d is odd or C is arithmetically CohenMacaulay (a.C.M. for short), then
$$\begin{aligned} p_a(C)\le \frac{d^2}{10}\frac{d}{2}\frac{1}{10}(\epsilon 4)(\epsilon +1)+\left( {\begin{array}{c}\epsilon \\ 4\end{array}}\right) +1, \end{aligned}$$(2)
where \(\epsilon\) is defined by dividing \(d1=5m+\epsilon\), \(0\le \epsilon \le 4\). The bound is sharp. Every extremal curve C is a.C.M., and it is contained in a flag \(S\subset T\subset \mathbb P^4\), where S is a surface uniquely determined by C, of degree 5, and T is a cubic threefold. Moreover, the surface S has sectional genus \(\pi =1\).
When d is even, in contrast with the classical case, the extremal curves are never a.C.M. (at least for \(d>16\)). Moreover, the asymptotic behaviour of the bound is different, depending on whether d is even or odd. As for the proof of Theorem 1.1, the first part, when \(d\gg 0\), easily follows combining the geometry of the Veronese surface (see Lemma 3.1 below), with [9, p. 117, Theorem (3.22)]. In order to establish the bound under the hypothesis \(d> 16\), we need to refine the analysis of the Hilbert function of a general hyperplane section of C, similarly as in [8, p. 74–75]. It is a rather long numerical argument, relying on [3]. We relegate it to an appendix at the end of the paper (Section 7). We will not insist on this analysis in the other cases (i.e. in second part of Theorem 1.1, and in next Theorem 1.2, Propositions 1.3, and 1.4). We will be content with coarser hypotheses on d, which can be obtained without too much effort, simply using [9, loc. cit.], [7, Corollary 3.11], and [3, Main Theorem]. However, we think our assumptions on d, in the second part of Theorems 1.1 and 1.2, can be significantly improved. We hope to return on this question in a forthcoming paper. When d is odd, or C is a.C.M., the proof of Theorem 1.1 is more involved, and we need [14, Theorem 1] in order to extend certain results of [7] in the range \(r=4\) and \(s=5\). We point out that, in this case, the extremal curves we are able to produce are singular. We do not know whether there are nonsingular extremal curves.
Theorem 1.2
Let \(C\subset {\mathbb {P}}^5\) be a reduced and irreducible complex curve, of degree d and arithmetic genus \(p_a(C)\), not contained in quadrics. Assume \(d>215\), and divide \(d1=6m+\epsilon\), \(0\le \epsilon \le 5\). Then:
The bound is sharp ^{Footnote 1}. Every extremal curve C is not a.C.M., and it is contained in a flag \(S\subset T\subset {\mathbb {P}}^5\), where S is a surface uniquely determined by C, of degree 6, and T is a cubic hypersurface of \({\mathbb {P}}^5\). Moreover, S has sectional genus \(\pi =0\), and arithmetic genus \(p_a(S)=0\).
The analysis of the arithmetic genus of a surface of degree 6 in \({\mathbb {P}}^5\) appearing in [7, Corollary 3.6], combined with [9, loc. cit.], enables us to state the bound in Theorem 1.2. As for the sharpness, we simply project a general Castelnuovo’s curve in \({\mathbb {P}}^7\), which is not contained in quadrics because so is a general projection of a smooth rational normal scroll surface [1, Theorem 2, Lemma 3.1].
In the case of curves contained in \({\mathbb {P}}^r\), for certain values of \(r\ge 7\), we are able to compute the sharp bound for \(p_a(C)\), except for a constant term. We obtain similar results also in the case of cubics. In fact, we prove the following Propositions 1.3 and 1.4.
Proposition 1.3
Fix an integer \(r\ge 7\), not divisible by 3, and denote by s the integer such that^{Footnote 2}
Let \(C\subset {\mathbb {P}}^r\) be a reduced and irreducible complex curve, of degree d and maximal arithmetic genus \(p_a(C)\) with respect to the conditions of being of degree d and not contained in a quadric hypersurface. Assume \(d>d_1(r,s)\) (where \(d_1(r,s)\) is defined in (14) and (16) below), and divide \(d1=ms+\epsilon\), \(0\le \epsilon \le s1\). Then:
Moreover, C is not a.C.M., and it is contained in a flag \(S\subset T\subset {\mathbb {P}}^r\), where S is a surface uniquely determined by C, of degree s, and T is a cubic hypersurface of \(\mathbb P^r\). The surface S has sectional genus \(\pi =0\).
Proposition 1.4
Fix an integer \(r\ge 9\), and assume that the number
is an integer.^{Footnote 3} Let \(C\subset {\mathbb {P}}^r\) be a reduced and irreducible complex curve, of degree d and maximal arithmetic genus \(p_a(C)\) with respect to the conditions of being of degree d and not contained in a cubic hypersurface. Assume \(d>d_1(r,s)\) (where \(d_1(r,s)\) is defined in (14) and (16) below), and divide \(d1=ms+\epsilon\), \(0\le \epsilon \le s1\). Then:
Moreover, C is not a.C.M., and it is contained in a flag \(S\subset T\subset {\mathbb {P}}^r\), where S is a surface uniquely determined by C, of degree s, and T is a quartic hypersurface of \(\mathbb P^r\). The surface S has sectional genus \(\pi =0\).
The proof follows the same line of Theorem 1.2. However, this analysis, when \(r\ge 7\), leads to examine surfaces whose degree is out of the range considered in [7, Theorem 2.2]. We partly overcome this difficulty, using an estimate appearing in [5, p. 792, Lemma]. This explains why we are not able to determine the sharp bound (i.e. the constant O(1)).
We observe that the bounds appearing in [4, 5, 7] do not apply to our setting, except the estimate
for an integral nondegenerate curve \(C\subset {\mathbb {P}}^r\) of degree d not contained in a hypersurface of degree \(<t\) [4, p. 726, (2.10)]. In the cases \(t=2\) and \(t=3\), this bound is coarse compared with the bounds of the present paper. Moreover, observe that the number \(\frac{1}{8}d(d6)+1\), which appears in (1), is the genus of a plane curve of degree d/2. In [6, 8] there are sharp lower bounds \(K^2_S\ge d(d6)\) and \(\chi ({\mathcal {O}}_S)\ge \frac{1}{8}d(d6)\) for a smooth projective surface S of degree \(d\gg 0\). Extremal surfaces are contained in \({\mathbb {P}}^5\), and have sectional genus given by the same number \(\frac{1}{8}d(d6)+1\). However, unlike what happens in the setting of Theorem 1.1, general hyperplane sections of such S come from curves in the Veronese surface \(V\subset {\mathbb {P}}^5\) via projection from a point \(x\in V\) [6, p. 226, Corollary 1.2] (it would remain to interpret the last case, i.e. projections of curves of V from a point \(x\in {\text {Sec}}(V)\backslash V\)).
Notations and preliminary remarks

(i) For a projective subscheme \(V\subseteq {\mathbb {P}}^N\) we will denote by \({\mathcal {I}}_V={\mathcal {I}}_{V,{\mathbb {P}}^N}\) its ideal sheaf in \({\mathbb {P}}^N\), and by \(M(V):=\oplus _{i\in \mathbb Z}H^1(V,{\mathcal {I}}_V(i))\) the HartshorneRao module of V. We will denote by \(h_V\) the Hilbert function of V, and by \(\Delta h_V\) the first difference of \(h_V\), i.e. \(\Delta h_V(i)=h_V(i)h_V(i1)\). Observe that
$$\begin{aligned} h_V(i)=h^0({\mathbb {P}}^N,{\mathcal {O}}_{{\mathbb {P}}^N}(i))h^0(\mathbb P^N,{\mathcal {I}}_V(i))\le h^0(V,{\mathcal {O}}_V(i)). \end{aligned}$$(5)We denote by \(p_a(V)\) the arithmetic genus of V. We say that V is arithmetically CohenMacaulay (shortly a.C.M.) if all the restriction maps \(H^0({\mathbb {P}}^N, {\mathcal {O}}_{{\mathbb {P}}^N}(i))\rightarrow H^0(V,{\mathcal {O}}_V(i))\) (\(i\in {\mathbb {Z}}\)) are surjective, and \(H^j(V,{\mathcal {O}}_V(i))=0\) for all \(i\in {\mathbb {Z}}\) and \(1\le j\le \dim V1\). If V is onedimensional of degree d, and \(V'\) denotes a general hyperplane section of V, then [9, p. 83–84]:
$$\begin{aligned} \Delta h_V(i)\ge h_{V'}(i) \,\, \text {for every}\,\, i, \end{aligned}$$(6)and
$$\begin{aligned} p_a(V)\le \sum _{i=1}^{+\infty } dh_{V'}(i). \end{aligned}$$(7)Moreover, the equality occurs in (6) (resp. in (7)) if and only if V is a.C.M.. If V is integral (i.e. reduced and irreducible) and onedimensional, we also have [9, p. 86–87, Corollary (3.5) and (3.6)]:
$$\begin{aligned} h_{V'}(i+j)\ge \min \{d,\, h_{V'}(i)+h_{V'}(j)1\} \,\,{\text {for every }i,j}, \end{aligned}$$(8)and
$$\begin{aligned} h_{V'}(i)\ge \min \{d,\, i(r1)+1\} \,\,{\text {for every }i}. \end{aligned}$$(9)If V is integral, and \(\dim V\ge 2\), then V is a.C.M. if and only if a general hyperplane section of V is.

(ii) Let \(\Sigma \subset {\mathbb {P}}^{r1}\) be an integral curve of degree s in \({\mathbb {P}}^{r1}\), \(r\ge 4\), and \(\Sigma '\subset {\mathbb {P}}^{r2}\) a general hyperplane section of \(\Sigma\). For every i we have: \(h^0(\Sigma , \mathcal O_{\Sigma }(i))=1\pi +is+ h^1(\Sigma , {\mathcal {O}}_{\Sigma }(i)),\) where \(\pi\) denotes the arithmetic genus of \(\Sigma\). From the exact sequence \(0\rightarrow {\mathcal {O}}_{\Sigma }(i1)\rightarrow {\mathcal {O}}_{\Sigma }(i)\rightarrow {\mathcal {O}}_{\Sigma '}(i)\rightarrow 0\) we get the exact sequence \(0\rightarrow H^{0}(\Sigma ,{\mathcal {O}}_{\Sigma }(i1))\rightarrow H^{0}(\Sigma ,\mathcal O_{\Sigma }(i))\rightarrow H^{0}(\Sigma ',{\mathcal {O}}_{\Sigma '}(i)) \rightarrow H^{1}(\Sigma ,{\mathcal {O}}_{\Sigma }(i1))\rightarrow H^{1}(\Sigma ,\mathcal O_{\Sigma }(i))\rightarrow 0.\) We deduce that \(h^{1}(\Sigma ,\mathcal O_{\Sigma }(i))\le h^{1}(\Sigma ,{\mathcal {O}}_{\Sigma }(i1)).\) In particular, when \(i\ge 1\), we have \(h^{1}(\Sigma ,\mathcal O_{\Sigma }(i))\le \pi =h^{1}(\Sigma ,{\mathcal {O}}_{\Sigma }).\) Observe that if, for some \(i\ge 1\), one has \(h^{1}(\Sigma ,\mathcal O_{\Sigma }(i))=\pi\), then \(\pi =0\). In fact, in this case, we have \(h^{1}(\Sigma ,{\mathcal {O}}_{\Sigma }(1))= \pi\), hence \(h^0(\Sigma , {\mathcal {O}}_{\Sigma }(1))=1+s\). This means that \(\Sigma\) is contained in \({\mathbb {P}}^{s}\) as a nondegenerate curve of degree s, so \(\pi =0\). Similarly, if for some \(i\ge 1\), one has \(h^{1}(\Sigma ,{\mathcal {O}}_{\Sigma }(i))=\pi 1\), then \(\pi =1\). In fact, in this case, we have \(h^{1}(\Sigma ,{\mathcal {O}}_{\Sigma }(1))= \pi 1\) (it cannot be \(h^{1}(\Sigma ,{\mathcal {O}}_{\Sigma }(1))=\pi\), otherwise, arguing as above, we obtain \(\pi =0\), in contrast with the assumption \(h^{1}(\Sigma ,{\mathcal {O}}_{\Sigma }(i))=\pi 1\)), hence \(h^0(\Sigma , {\mathcal {O}}_{\Sigma }(1))=s\). This means that \(\Sigma\) is contained in \({\mathbb {P}}^{s1}\) as a nondegenerate curve of degree s. By Castelnuovo’s bound, it follows that \(\pi =1\). In conclusion, since \(h^0(\Sigma , {\mathcal {O}}_{\Sigma }(i))= 1\pi +is+h^1(\Sigma , \mathcal O_{\Sigma }(i))\), for every \(i\ge 1\) we have:
$$\begin{aligned} h^0(\Sigma , \mathcal O_{\Sigma }(i))\le {\left\{ \begin{array}{ll} 1+is \quad {\text {if}\,\,\pi \ge 0,}\\ is \quad {\text {if}\,\,\pi \ge 1,}\\ 1+is \quad {\text {if}\,\,\pi \ge 2}. \end{array}\right. } \end{aligned}$$(10) 
(iii) Let \(S\subset {\mathbb {P}}^r\) (\(r\ge 4\)) be an integral surface of degree s, and \(\Sigma\) a general hyperplane section of S. From the exact sequence \(0\rightarrow {\mathcal {O}}_{S}(i1)\rightarrow {\mathcal {O}}_{S}(i)\rightarrow {\mathcal {O}}_{\Sigma }(i)\rightarrow 0\) we get, for every \(i\ge 1\), \(h^{0}(S,{\mathcal {O}}_{S}(i))\le \sum _{j=0}^{i}h^{0}(\Sigma ,{\mathcal {O}}_{\Sigma }(j)).\) Hence, for every \(i\ge 1\), we have (compare with (5)) \(h^0(\mathbb P^r,{\mathcal {I}}_S(i))\ge \left( {\begin{array}{c}r+i\\ i\end{array}}\right) \sum _{j=0}^{i}h^{0}(\Sigma ,{\mathcal {O}}_{\Sigma }(j)).\) Combining with (10), it follows that:
$$\begin{aligned} h^0(\mathbb P^r,\mathcal I_S(i))\ge {\left\{ \begin{array}{ll} \left( {\begin{array}{c}r+i\\ i\end{array}}\right) \left[ i+1+\left( {\begin{array}{c}i+1\\ 2\end{array}}\right) s\right] \quad {\text {if}\,\,\pi \ge 0,}\\ \left( {\begin{array}{c}r+i\\ i\end{array}}\right) \left[ 1+\left( {\begin{array}{c}i+1\\ 2\end{array}}\right) s\right] \quad {\text {if}\,\,\pi \ge 1,}\\ \left( {\begin{array}{c}r+i\\ i\end{array}}\right) \left[ 1i+\left( {\begin{array}{c}i+1\\ 2\end{array}}\right) s\right] \quad {\text {if}\,\,\pi \ge 2}. \end{array}\right. } \end{aligned}$$(11) 
(iv) Let \(S\subset {\mathbb {P}}^{s+1}\) be a nondegenerate smooth rational normal scroll surface, of minimal degree s. Fix an integer \(k\ge 1\). Since S is a.C.M., we have \(h^1(S,\mathcal O_S(k))=0\). Moreover, one has \(K_{S}=2\Sigma +(s2)W\), where \(\Sigma\) is a general hyperplane section, and W the ruling. Therefore, one has \(h^2(S,{\mathcal {O}}_S(k))=h^0(S, K_Sk\Sigma )=0\). By RiemannRoch Theorem it follows that: \(h^0(S,\mathcal O_S(k))=1+\frac{1}{2}k\Sigma \cdot (k\Sigma K_S)=k+1+\left( {\begin{array}{c}k+1\\ 2\end{array}}\right) s.\) In particular:
$$\begin{aligned} h^0(S,{\mathcal {O}}_S(2))=3(1+s),\quad {\text {and}}\quad h^0(S,\mathcal O_S(3))=4+6s. \end{aligned}$$(12) 
(v) Fix integers \(s\ge 2\) and \(d\ge s+1\), and divide \(d1=ms+\epsilon\), \(0\le \epsilon \le s1\). The number
$$\begin{aligned} G(s+1;d):=\left( {\begin{array}{c}m\\ 2\end{array}}\right) s+m\epsilon \end{aligned}$$is the celebrated Castelnuovo’s bound for the genus of a nondegenerate integral curve of degree d in \({\mathbb {P}}^{s+1}\) [9, p. 87, Theorem (3.7)]. Observe that
$$\begin{aligned} G(s+1;d)=\frac{d^2}{2s}+\frac{d}{2s}(s2)+\frac{1+\epsilon }{2s}(s+1\epsilon )\le \frac{d^2}{2s}. \end{aligned}$$(13) 
(vi) Fix integers r, d and s, with \(s\ge r1\ge 2\). Denote by G(r; d, s) the maximal arithmetic genus for an integral nondegenerate projective curve \(C\subset {\mathbb {P}}^r\) of degree d, not contained in any surface of degree \(< s\) [3]. Put
$$\begin{aligned} d_0(r,s):=\frac{2s}{r2}\prod _{i=1}^{r2}[(r1)!s]^{\frac{1}{r1i}}. \end{aligned}$$(14)By [3, Main Theorem] and [5, p. 792, Lemma], one knows that, for \(d>d_0(r,s)\), the number G(r; d, s) has the following form:
$$\begin{aligned} G(r;d,s)=\frac{d^2}{2s}+\frac{d}{2s}[2G(r1;s)2s]+R,\quad {\text {with}}\quad R\le \frac{s^3}{r2}. \end{aligned}$$(15)When \(r=4\) and \(s=6\), this holds true also for \(d>143\), instead than simply for \(d>d_0(4,6)\) [9, Theorem (3.22), p. 117]. And, when \(r=5\) and \(s=7\), this holds true also for \(d>179\), instead than simply for \(d>d_0(5,7)\) [9, loc. cit.]. Moreover, taking into account (15), and that \(G(r1;s+1)\le \frac{(s+1)^2}{2(r2)}\) (compare with (13)), an elementary computation, which we omit, shows that, for (compare with (14))
$$\begin{aligned} d>d_1(r,s):=\max \left\{ d_0(r,s),\, \frac{4s}{r2}(s+1)^3\right\} , \end{aligned}$$(16)one has
$$\begin{aligned} G(r;d,s+1)<G(s+1;d). \end{aligned}$$(17) 
(vii) Let \(S\subset {\mathbb {P}}^r\) be an integral nondegenerate projective surface of degree \(s\ge r1\ge 2\). Denote by \(\sigma\) the integer part of the number
$$\begin{aligned} (sr+2)\left( \frac{s^2}{2(r2)}+1\right) +1. \end{aligned}$$By [7, Lemma 3.8] we know that
$$\begin{aligned} h^1({\mathbb {P}}^r,{\mathcal {I}}_S(i))=0 \quad {\text {for every}\,\, i\ge \sigma .} \end{aligned}$$(18)Now, suppose there exists an a.C.M. curve C on S of degree d, with \(d1=ms+\epsilon\), \(0\le \epsilon \le s1\), and \(m\ge \sigma\). Let \(\Sigma\) and \(\Gamma\) be general hyperplane sections of S and C. By Bezout’s theorem we have \(h_S(i)=h_C(i)\) and \(h_{\Sigma }(i)=h_{\Gamma }(i)\) for every \(i\le m\). Since C is a.C.M., we have \(\Delta h_C(i)=h_{\Gamma }(i)\) for every i (compare with (6) and three lines below). It follows that \(\Delta h_S(i)=h_{\Sigma }(i)\) for every \(i\le m\). Therefore, since
$$\begin{aligned} \mu _i:=\Delta h_S(i)h_{\Sigma }(i)=\dim _{\mathbb C}\left[ \ker \left( H^1({\mathbb {P}}^r,{\mathcal {I}}_S(i1))\rightarrow H^1(\mathbb P^r,{\mathcal {I}}_S(i))\right) \right] \end{aligned}$$(19)(see [7, Lemma 3.4 and Remark 3.5]), we deduce that \(H^1({\mathbb {P}}^r,{\mathcal {I}}_S(i1))\) maps injectively to \(H^1({\mathbb {P}}^r,{\mathcal {I}}_S(i))\) for every \(i\le m\). Combining with (18), it follows that the HartshorneRao module M(S) vanishes. Summing up: if a surface S contains an a.C.M. curve of degree d with \(m\ge \sigma\),then \(H^1({\mathbb {P}}^r,\mathcal I_S(i))=0\) for every \(i\in {\mathbb {Z}}\) (compare with [7, Remark 3.10, (i)]). Notice that the condition \(m\ge \sigma\) is satisfied when \(r=5\) and \(s=6\) and \(d>179\), or when \(d>d_1(r,s)\).

(viii) Let \(S\subset {\mathbb {P}}^5\) be an integral nondegenerate projective surface of degree 6 and sectional genus \(\pi =0\). Denote by \(p_a(S)\) its arithmetic genus. By [7, Corollary 3.6 and Remark 3.7] (here one has to put \(\pi _0=2\)) we know that
$$\begin{aligned} 3\le p_a(S)\le 0, \end{aligned}$$and that if \(p_a(S)=3\), then \(M(S)=0\). By [7, Lemma 3.4] we have
$$\begin{aligned} p_a(S)=\dim _{{\mathbb {C}}}M(\Sigma )+\sum _{i=1}^{+\infty }\mu _i, \end{aligned}$$where \(\Sigma \subset {\mathbb {P}}^4\) denotes a general hyperplane section of S, and the numbers \(\mu _i\) are defined as in (19). Moreover, by [7, Proposition 3.1], we also know that
$$\begin{aligned} h^1(\mathbb P^4,\mathcal I_{\Sigma }(1))=2 \quad {\text {and}}\quad h^1(\mathbb P^4,\mathcal I_{\Sigma }(i))\le \max (0,3i) \quad {\text {for every}\,\, i\ge 1}. \end{aligned}$$
The proof of theorem 1.1.
We start with the proof of the first part of Theorem 1.1. We need the following Lemma 3.1, which is certainly well known. We prove it for lack of a suitable reference.
Lemma 3.1
Let \(V\subset {\mathbb {P}}^5\) be the Veronese surface. Let \({\text {Sec}}(V)\) be the secant variety of V, \(x\in \mathbb P^5\backslash {\text {Sec}}(V)\) be a point. Then the projection in \({\mathbb {P}}^4\) of V from x is a surface of degree 4, not contained in quadrics. Conversely, every integral surface of degree 4 in \({\mathbb {P}}^4\) not contained in quadrics is the projection of V from a point \(x\in {\mathbb {P}}^5\backslash {\text {Sec}}(V)\).
Proof
Let \(V'\) be the projection in \({\mathbb {P}}^4\) of V from a point \(x\in {\mathbb {P}}^5\backslash {\text {Sec}}(V)\). Suppose there exists a quadric Q in \(\mathbb P^4\) containing \(V'\). If Q were smooth, then, by Severi’s theorem, V would be a complete intersection of two quadrics. This implies that the sectional genus of V is 1, in contrast with the fact that it is 0. If Q were singular, then Q would be a cone. Let \(H\subset {\mathbb {P}}^4\) be a general hyperplane, passing from the vertex of the cone (if it is a point). Then \(H\cap V\) is an integral curve of degree 4 of a quadric cone in \({\mathbb {P}}^3\). Therefore, the genus of \(H\cap V\) would be 1, a contradiction, because it is 0.
Conversely, let S be a surface of degree 4 in \({\mathbb {P}}^4\) not contained in quadrics. Let \(\pi\) be the sectional genus of S. By Castelnuovo’s bound, we have either \(\pi =0\) or \(\pi =1\). If \(\pi =1\), then a general hyperplane section \(H\cap S\) of S is a Castelnuovo’s curve in \({\mathbb {P}}^3\). This curve is contained in a quadric, which lifts to a quadric containing S because \(H\cap S\) is a.C.M., hence also S is. Therefore, \(\pi =0\). In this case, by [15, Lemma 7, p. 411], we know that S is the projection of the Veronese surface V from some point \(x\in {\mathbb {P}}^5\backslash V\). Now we observe that \(x\notin {\text {Sec}}(V)\backslash V\), otherwise S is contained in a quadric [12, Remark 2.1, p. 60–61]. Hence, S is the projection of the Veronese surface V from a point \(x\in {\mathbb {P}}^5\backslash {\text {Sec}}(V)\). \(\square\)
We are in position to prove Theorem 1.1, first part.
Let \(C\subset {\mathbb {P}}^4\) be a curve of degree d not contained in quadrics. Since every surface of degree 3 in \({\mathbb {P}}^4\) is contained in a quadric (Section 2, (11)), in view of Lemma 3.1, it suffices to prove that if C is not contained in a surface of degree \(<5\),then \(p_a(C)<\frac{1}{8}d(d6)+1\). To this purpose, set
where v is defined by dividing \(d1=5n+v\), \(0\le v\le 4\), and \(w:=\max \{0, [\frac{v}{2}]\}\). By [9, Theorem (3.22), p. 117] (with the notation of [9] one has \(G=\pi _{2}(d,4)\)), we know that, if C is not contained in a surface of degree \(<5\), and \(d>143\), then \(p_a(C)\le G\). An elementary computation shows that \(G<\frac{1}{8}d(d6)+1\) for \(d>18\). This concludes the proof of the first part of Theorem 1.1, when \(d>143\). We may examine the remaining cases \(16<d\le 143\) in a similar manner as in [8, p. 74–75]. For details, we refer to the Appendix (see Section 7 below).
Now we are going to prove Theorem 1.1, second part.
First, we notice that if d is odd, or C is a.C.M., and C is not contained in quadrics, then C is not contained in surfaces of degree \(<5\). In fact, by (11), every surface in \(\mathbb P^4\) of degree 3 is contained in a quadric. This is true also for surfaces of degree 4, except for an isomorphic projection S of the Veronese surface (Lemma 3.1). But on the Veronese surface every curve has even degree. And every curve on S cannot be a.C.M. (otherwise, from the natural sequence: \(0\rightarrow \mathcal I_S\rightarrow {\mathcal {I}}_C\rightarrow {\mathcal {O}}_S(C)\rightarrow 0,\) we would get the exact sequence: \(H^0(S, {\mathcal {O}}_S(H_SC))\rightarrow H^1({\mathbb {P}}^4, {\mathcal {I}}_S(1))\rightarrow H^1({\mathbb {P}}^4, {\mathcal {I}}_C(1));\) this is impossible, because \(H^0(S, {\mathcal {O}}_S(H_SC))=0\), \(H^1({\mathbb {P}}^4, {\mathcal {I}}_C(1))=0\), and \(H^1({\mathbb {P}}^4, {\mathcal {I}}_S(1))\ne 0\)).
On the other hand, if C is not contained in a surface of degree \(<6\), and \(d>143\), then (compare with Section 2, (vi), and (15))
By elementary arithmetics, it follows that, for \(d>143\), \(p_a(C)\) is strictly less than the bound (2) appearing in our claim. Therefore, in order to prove the second part of Theorem 1.1, we may assume that C is contained in an integral surface \(S\subset {\mathbb {P}}^4\) of degree 5, not contained in quadrics. Observe that, by Bezout’s theorem, such a surface S is unique, and is contained in a cubic hypersurface of degree 3 by (11).
Let \(\Sigma \subset {\mathbb {P}}^3\) be a general hyperplane section of S. Since \(\deg \Sigma =5\), by Castelnuovo’s bound, the arithmetic genus \(\pi\) of \(\Sigma\) satisfies the condition \(0\le \pi \le 2\). The sectional genus \(\pi\) cannot be 2, otherwise \(\Sigma\) should be a Castelnuovo’s curve, hence a.C.M., and contained in a quadric. This would imply that also S is a.C.M., and contained in a quadric (since \(h^1(\mathbb P^4,{\mathcal {I}}_{S}(1))=0\), the restriction map \(H^0(\mathbb P^4,{\mathcal {I}}_{S}(2))\rightarrow H^0({\mathbb {P}}^3,{\mathcal {I}}_{\Sigma ,\mathbb P^3}(2))\), induced by the exact sequence \(0\rightarrow {\mathcal {I}}_S(1)\rightarrow {\mathcal {I}}_S(2)\rightarrow {\mathcal {I}}_{\Sigma ,{\mathbb {P}}^3}(2)\rightarrow 0\), is onto). Therefore, we have \(0\le \pi \le 1\). Since \(\Sigma\) is nondegenerate, from the exact sequence \(0\rightarrow {\mathcal {I}}_{\Sigma ,{\mathbb {P}}^3}(1)\rightarrow {\mathcal {O}}_{\mathbb P^3}(1)\rightarrow {\mathcal {O}}_{\Sigma }(1)\rightarrow 0\) it follows that \(h^1({\mathbb {P}}^3,{\mathcal {I}}_{\Sigma ,\mathbb P^3}(1))=2\pi >0\) (observe that \(h^1(\Sigma ,\mathcal O_{\Sigma }(i))=0\) for every \(i\ge 1\), because \(0\le \pi \le 1\)). Moreover, by [14, Theorem 1], we have
Let \(\Sigma '\subset {\mathbb {P}}^2\) be a general plane section of \(\Sigma\). By (9) we have \(h_{\Sigma '}(i)=5\) for every \(i\ge 2\). Hence, \(h^1({\mathbb {P}}^2,{\mathcal {I}}_{\Sigma ',\mathbb P^2}(i))=0\) for every \(i\ge 2\), and from the exact sequence \(0\rightarrow {\mathcal {I}}_{\Sigma ,{\mathbb {P}}^3}(i1)\rightarrow {\mathcal {I}}_{\Sigma ,\mathbb P^3}(i)\rightarrow {\mathcal {I}}_{\Sigma ',{\mathbb {P}}^2}(i)\rightarrow 0\) it follows that \(h^1({\mathbb {P}}^3,{\mathcal {I}}_{\Sigma ,{\mathbb {P}}^3}(2))\le h^1(\mathbb P^3,{\mathcal {I}}_{\Sigma ,{\mathbb {P}}^3}(1))\). Summing up, for every \(i\ge 1\), we have:
with \(\mu (i)=1\) if \(\pi =0\) and \(i=2\), and \(\mu (i)=0\) otherwise. Now, divide \(d1=5m+\epsilon\), \(0\le \epsilon \le 4\), and set (recall that \(0\le \pi \le 1\)):
for \(1\le i\le m\), and, for \(i\ge m+1\), \(h_{d,\pi }(i)=d\), except for the case \(\pi =1\), \(\epsilon =4\), \(i=m+1\), in which we set \(h_{d,\pi }(m+1)=d1.\) If we denote by \(\Gamma\) a general hyperplane section of C, the same analysis appearing in the proof of [7, Lemma 3.3], shows that \(h_{\Gamma }(i)\ge h_{d,\pi }(i)\) for every \(i\ge 1\). By (7) it follows that
Now, observe that
Therefore, since \(G_{d,0}<G_{d,1}\), and taking into account that \(G_{d,1}\) is exactly the bound appearing in (2), in order to complete the proof we only have to exhibit examples with \(p_a(C)=G_{d,1}\) (in this case, by (21) and Section 2, (i), we know that C is a.C.M.).
To this purpose, fix an elliptic curve \(\Sigma \subset {\mathbb {P}}^3\) of degree 5 (compare with [7, p. 101–103]). By (20) we know that \(h^1({\mathbb {P}}^3,{\mathcal {I}}_{\Sigma }(2))=0\). It follows that \(\Sigma\) is not contained in quadrics, because \(H^0(\mathbb P^3,{\mathcal {O}}_{{\mathbb {P}}^3}(2))\) and \(H^0(\Sigma ,\mathcal O_{\Sigma }(2))\) have the same dimension, 10. Let \(S=C(\Sigma )\subset {\mathbb {P}}^4\) be the cone over \(\Sigma\). Let \(D\subset \Sigma\) be a subset formed by \(4\epsilon\) points. Let \(C(D)\subset C(\Sigma )\) be the cone over D. Let \(\mu \ge 3\) be an integer. Let \(F\subset \mathbb {P}^4\) be a hypersurface of degree \(\mu +1\) containing C(D), consisting of \(\mu +1\) sufficiently general hyperplanes passing through the vertex. Let R be the residual curve to C(D) in the complete intersection of F with S. Equipped with the reduced structure, R is a cone over k distinct points of \(\Sigma\), with \(k1=5\mu +\epsilon\). In particular, R is a (reducible) a.C.M. curve of degree k on S, and, if we denote by \(R'\) the hyperplane section of R with the hyperplane \({\mathbb {P}}^3\subset {\mathbb {P}}^4\) containing \(\Sigma\), we have \(p_a(R)=\sum _{i=1}^{+\infty } kh_{R'}(i)\) (compare with (7) and the first line below). On the other hand, since \(R'\subset \Sigma\), it is clear that \(h_{R'}(i)=h_{k,1}(i)\) for every \(i\ge 1\). Hence, we have:
Now, let \(m\gg 0\), and let \(G\subset \mathbb {P}^4\) be a hypersurface of degree \(m+1\) containing C(D) such that the residual curve C in the complete intersection of G with S, equipped with the reduced structure, is an integral curve of degree \(d=5m+\epsilon +1\), with a singular point of multiplicity k at the vertex p of S, and tangent cone at p equal to R. We are going to prove that C is the curve we are looking for, i.e.
To this aim, let \({\widetilde{S}}\) be the blowingup of S at the vertex. By [11, p. 374], we know that \({\widetilde{S}}\) is the ruled surface \(\mathbb {P}({\mathcal {O}}_{\Sigma }\oplus \mathcal O_{\Sigma }(1))\rightarrow \Sigma\). Denote by E the exceptional divisor, by f the line of the ruling, and by L the pullback of the hyperplane section. We have \(L^2=5\), \(L\cdot f=1\), \(f^2=0\), \(L\equiv E+5f\) and \(K_{{\widetilde{S}}}\equiv 2\,L+5f\). Let \({\widetilde{C}}\subset {\widetilde{S}}\) be the blowingup of C at p, which is nothing but the normalization of C. Since C has degree d, \({\widetilde{C}}\) belongs to the numerical class of \((m+1+a)L+(1+\epsilon 5(a+1))f\) for some integer a. Moreover \(E\cdot {\widetilde{C}}=1+\epsilon 5(a+1)=k\), so
By the adjunction formula we get
On the other hand, we have \(p_a(C)=p_a({\widetilde{C}})+\delta _p\), where \(\delta _p\) is the delta invariant of the singularity (C, p) [11, p. 298, Exercise 1.8]. Since the tangent cone of C at p is R, the delta invariant is equal to the difference between the arithmetic genus of R and the arithmetic genus of k disjoint lines in the projective space, i.e.
It follows that
Taking into account that \(a=\mu 1\), a direct computation proves that this number is exactly \(G_{d,1}\). This concludes the proof of Theorem 1.1.
The proof of theorem 1.2
By (11), every surface of degree \(\le 5\) in \({\mathbb {P}}^5\) is contained in a quadric. Moreover, if C is not contained in a surface of degree \(<7\), and \(d>179\), then (see Section 2, (vi), and (15)):
An elementary comparison, relying on (13), shows that this number is strictly less than \(G(7;d)=6\left( {\begin{array}{c}m\\ 2\end{array}}\right) +m\epsilon\) for \(d>179\). Therefore, in order to prove Theorem 1.2, we may assume that C is contained in a surface S of degree 6. Such a surface is unique by Bezout’s theorem, and is contained in a hypersurface of degree 3 by (11). If \(\pi\) denotes the sectional genus of S, by Castelnuovo’s bound we have \(0\le \pi \le 2\), and \(\pi\) cannot be equal to 1 or 2, otherwise, by (11), S is contained in a quadric. It follows that \(\pi =0\).
Let \(S\subset {\mathbb {P}}^5\) be a surface of degree 6 and sectional genus \(\pi =0\). By [7, Corollary 3.6] we know that \(3\le p_a(S)\le 0.\) Now we are going to prove that if \(3\le p_a(S)\le 1\), then S is contained in a quadric. The proof relies on certain results appearing in [7], that we have collected in Section 2, (viii).

If \(p_a(S)=3\), by [7, Remark 3.7] we get \(h^1({\mathbb {P}}^5,{\mathcal {I}}_S(1))=0\). Therefore, the map \(H^0({\mathbb {P}}^5,{\mathcal {I}}_S(2))\rightarrow H^0({\mathbb {P}}^4,\mathcal I_{\Sigma }(2))\) is onto. This implies that S is contained in a quadric, because it is so for every curve of degree 6 in \(\mathbb P^4\) by (5) and (10).

Assume \(p_a(S)=2\). Since \(\Sigma\) has degree 6 and arithmetic genus 0, by [7, Proposition 3.1] we know that \(h^1({\mathbb {P}}^4,{\mathcal {I}}_{\Sigma }(1))=2\), \(h^1(\mathbb P^4,{\mathcal {I}}_{\Sigma }(2))\le 1\), and \(h^1({\mathbb {P}}^4,\mathcal I_{\Sigma }(i))=0\) for \(i\ge 3\).
In the case \(h^1({\mathbb {P}}^4,{\mathcal {I}}_{\Sigma }(2))=0\), by [7, Lemma 3.4] we get (compare with (19), and recall (viii), Section 2): \(2=p_a(S)=\dim _{{\mathbb {C}}} M(\Sigma ) +\sum _{i=1}^{+\infty }\mu _i=2+\sum _{i=1}^{+\infty }\mu _i.\) Therefore, \(\sum _{i=1}^{+\infty }\mu _i=0\), and so \(h^1({\mathbb {P}}^5,\mathcal I_S(1))=0\). As before, we deduce that S lies on a quadric.
In the case \(h^1({\mathbb {P}}^4,{\mathcal {I}}_{\Sigma }(2))=1\), we have \(h^0({\mathbb {P}}^4,{\mathcal {I}}_{\Sigma }(2))=3\). In view of the exact sequence \(H^0({\mathbb {P}}^5,{\mathcal {I}}_{S}(2))\rightarrow H^0(\mathbb P^4,{\mathcal {I}}_{\Sigma }(2))\rightarrow H^1({\mathbb {P}}^5,{\mathcal {I}}_{S}(1)),\) in order to prove that S lies on a quadric, it suffices to prove that
This follows from the exact sequence \(0\rightarrow {\mathcal {I}}_S\rightarrow \mathcal O_{{\mathbb {P}}^5}\rightarrow {\mathcal {O}}_S\rightarrow 0\), taking into account that \(h^0({\mathcal {O}}_S(1))\le 8,\) in view of the exact sequence \(0\rightarrow {\mathcal {O}}_S\rightarrow {\mathcal {O}}_{S}(1)\rightarrow {\mathcal {O}}_{\Sigma }(1)\rightarrow 0.\)

Assume \(p_a(S)=1\). As before, we have two cases, \(h^1({\mathbb {P}}^4,{\mathcal {I}}_{\Sigma }(2))=0\), or \(h^1(\mathbb P^4,{\mathcal {I}}_{\Sigma }(2))=1\). If \(h^1({\mathbb {P}}^4,{\mathcal {I}}_{\Sigma }(2))=0\), then (recall (viii), Section 2) \(1=p_a(S)=\dim _{{\mathbb {C}}} M(\Sigma ) +\sum _{i=1}^{+\infty }\mu _i=2+\sum _{i=1}^{+\infty }\mu _i.\) Hence \(\sum _{i=1}^{+\infty }\mu _i=1\). Combining with the exact sequence \(H^0({\mathbb {P}}^5,{\mathcal {I}}_{S}(2))\rightarrow H^0({\mathbb {P}}^4,\mathcal I_{\Sigma }(2))\rightarrow H^1({\mathbb {P}}^5,{\mathcal {I}}_{S}(1))\rightarrow H^1(\mathbb P^5,{\mathcal {I}}_{S}(2)),\) we get \(H^0({\mathbb {P}}^5,\mathcal I_{S}(2))\ne 0\), otherwise the map on the right should have a kernel of dimension \(\ge 2=h^0({\mathbb {P}}^4,\mathcal I_{\Sigma }(2))\), in contrast with the fact that \(\mu _2\le 1\). If \(h^1({\mathbb {P}}^4,{\mathcal {I}}_{\Sigma }(2))=1\), then \(h^0(\mathbb P^4,{\mathcal {I}}_{\Sigma }(2))=3\). Hence, the map \(H^0(\mathbb P^4,{\mathcal {I}}_{\Sigma }(2))\rightarrow H^1({\mathbb {P}}^5,{\mathcal {I}}_{S}(1))\) has non trivial kernel, because \(h^1({\mathbb {P}}^5,\mathcal I_{S}(1))\le 2\) (see (22)). This implies \(H^0(\mathbb P^5,{\mathcal {I}}_{S}(2))\ne 0\). Summing up, in order to prove Theorem 1.2, we may assume that C is contained in a surface S of degree 6, sectional genus \(\pi =0\), and arithmetic genus \(p_a(S)=0\). On such a surface, the genus of C satisfies the bound in view of [7, Corollary 3.11] (here we need \(d>215\)). Moreover, C cannot be a.C.M.. Otherwise, \(M(S)=0\) (see Section 2, (vii)). In particular, \(H^1({\mathbb {P}}^5,{\mathcal {I}}_S(1))=0\), and so the restriction map \(H^0({\mathbb {P}}^5,{\mathcal {I}}_S(2))\rightarrow H^0({\mathbb {P}}^{4},\mathcal I_{{\mathbb {P}}^{4},\Sigma }(2))\) is onto. This is impossible, because \(\Sigma\) is contained in a quadric, and S is not. It remains to prove that the bound is sharp. To this purpose, let \(S'\subset {\mathbb {P}}^7\) be a smooth rational normal scroll surface, of degree 6. Let \(C'\) be a Castelnuovo’s curve on \(S'\) of degree d. Let S be a general projection of \(S'\) in \({\mathbb {P}}^5\) (observe that the degree of S is 6, the sectional genus is \(\pi =0\), and that \(p_a(S)=0\) because S is isomorphic to \(S'\) via projection). We claim that the image C of \(C'\) is an extremal curve. To prove this, first we notice that S is not contained in quadrics. In fact, S is of maximal rank [1, Theorem 2, Lemma 3.1]. In particular, the map \(H^0({\mathbb {P}}^5,\mathcal O_{{\mathbb {P}}^5}(2))\rightarrow H^0(S,{\mathcal {O}}_{S}(2))\) is injective or surjective. Since both spaces have the same dimension (see (12)), it follows that \(h^0({\mathbb {P}}^5,\mathcal I_S(2))=0\). Since S is not contained in quadrics, and \(d>12\), by Bezout’s theorem it follows that also C is not contained in quadrics. Furthermore, since C is isomorphic to \(C'\), and \(C'\) is a Castelnuovo’s curve, we get
$$\begin{aligned} p_a(C)=p_a(C')=6\left( {\begin{array}{c}m\\ 2\end{array}}\right) +m\epsilon . \end{aligned}$$This concludes the proof of Theorem 1.2.
The proof of proposition 1.3
By the definition of s, we have \(\left( {\begin{array}{c}r+2\\ 2\end{array}}\right) (3+3(s1))>0.\) Hence, by (11), every surface of degree \(<s\) is contained in a quadric. In particular, the extremal curve C cannot be contained in a surface of degree \(<s\). Moreover, if C is not contained in a surface of degree \(<s+1\), then (compare with (16), (17), and (13))
On the other hand, let \(S'\subset {\mathbb {P}}^{s+1}\) be a smooth rational normal scroll surface, of degree s. Let \(D'\) be a Castelnuovo’s curve on \(S'\) of degree d. Let \(S\,(\cong S')\) be a general projection of \(S'\) in \({\mathbb {P}}^r\). By [1, loc. cit.], S is of maximal rank. Since
(compare with the definition of s and (12)), it follows that the restriction map \(H^0({\mathbb {P}}^r, {\mathcal {O}}_{\mathbb P^r}(2))\rightarrow H^0(S, {\mathcal {O}}_{S}(2))\) is injective. Hence, S, and so the image D of \(D'\), are not contained in quadrics. Moreover, since D is a Castelnuovo’s curve, we have (compare with (13))
In view of (23) and (24), in order to prove (3), we may assume that C is contained in a surface S of degree s. By (11), the sectional genus of S should be \(\pi =0\), otherwise S is contained in a quadric (here we have to assume that r is not divisible by 3). Now, if C is contained in a surface S of degree s and sectional genus \(\pi =0\), then by [5, p. 792, Lemma] we know that
Taking into account (24), we deduce (3).
Since \(d>d_1(r,s)\), by Bezout’s theorem the surface S containing C is unique. By (11) and the definition of s, it follows that S is contained in a cubic hypersurface. Moreover, C cannot be a.C.M.. Otherwise, \(M(S)=0\) (see Section 2, (vii)). In particular, \(H^1({\mathbb {P}}^r,{\mathcal {I}}_S(1))=0\), and so the restriction map \(H^0({\mathbb {P}}^r,{\mathcal {I}}_S(2))\rightarrow H^0(\mathbb P^{r1},{\mathcal {I}}_{{\mathbb {P}}^{r1},\Sigma }(2))\) is onto (\(\Sigma \,=\) a general hyperplane section of S). This is impossible, because, in view of (5) and (10), \(\Sigma\) is contained in a quadric, and S is not. This concludes the proof of Proposition 1.3.
Remark 5.1
When 3 divides r, previous argument does not work. In fact, in order to preserve the inequality in the first line of this section, one is lead to define s as the minimal integer \(\sigma\) such that \(\left( {\begin{array}{c}r+2\\ 2\end{array}}\right) 3(\sigma +1)\) is \(\le 0\). It turns out, when 3 divides r, that \(3s+1=\left( {\begin{array}{c}r+2\\ 2\end{array}}\right)\). But, unlike what happens when r is not divisible by 3, in this case (at least when \(r=6\)) there are surfaces of degree s with \(\pi >0\) and not contained in quadrics (this can happen only if \(\pi = 1\), by (11)). For instance, consider a general projection S in \({\mathbb {P}}^6\) of a 3ple Veronese embedding of \({\mathbb {P}}^2\) in \({\mathbb {P}}^9\) [1, Theorem 3]. In this case, repeating the same argument as before (compare with [1, loc. cit.] and [5, loc. cit.]), one may prove that the sharp bound (for curves in \({\mathbb {P}}^6\) not contained in quadrics, and of degree \(d=0\) mod. 3, \(d>d_1(r,s)\), \(r=6\)) is
with \(s=9\), and \(0<O(1)\le 182\). The formula (25) remains true (with \(0<O(1)\le \frac{s^3}{r2}\)) if there exists a surface of degree s in \({\mathbb {P}}^r\), with sectional genus \(\pi =1\), and not contained in quadrics (at least when \(\epsilon =s1\), i.e. when d is a multiple of s).
The proof of proposition 1.4.
The proof is quite similar to the proof of previous Proposition 1.3. Hence, we omit some details.
By the definition of s and by (11), every surface of degree \(<s\) is contained in a cubic (here we need that \(6s+4\le \left( {\begin{array}{c}r+3\\ 3\end{array}}\right)\)). In particular, the extremal curve C cannot be contained in a surface of degree \(<s\). Moreover, if C is not contained in a surface of degree \(<s+1\), then (compare with (16), (17), and (13))
On the other hand, let \(S'\subset {\mathbb {P}}^{s+1}\) be a smooth rational normal scroll surface, of degree s. Let \(D'\) be a Castelnuovo’s curve on \(S'\) of degree d. Let \(S\,(\cong S')\) be a general projection of \(S'\) in \({\mathbb {P}}^r\). By [1, loc. cit.], S is of maximal rank. Since
(compare with the definition of s and (12)), it follows that the restriction map \(H^0({\mathbb {P}}^r, {\mathcal {O}}_{\mathbb P^r}(3))\rightarrow H^0(S, {\mathcal {O}}_{S}(3))\) is injective (actually, here we only need that \(6s+4\ge \left( {\begin{array}{c}r+3\\ 3\end{array}}\right)\)). Hence, S, and so the image D of \(D'\), are not contained in quadrics. Moreover, since D is a Castelnuovo’s curve, we have (compare with (13))
In view of (26) and (27), in order to prove (4), we may assume that C is contained in a surface S of degree s. By (11), the sectional genus of S should be \(\pi =0\), otherwise S is contained in a cubic (again, here we need that \(6s+4\le \left( {\begin{array}{c}r+3\\ 3\end{array}}\right)\)). Now, if C is contained in a surface S of degree s and sectional genus \(\pi =0\), then by [5, p. 792, Lemma] we know that
Taking into account (27), we deduce (4). One may prove the remaining properties in a similar way as in Proposition 1.3. This concludes the proof of Proposition 1.4.
Notes
This is the Castelnuovo’s bound for curves of degree d in \({\mathbb {P}}^7\) (see Section 2, (v), below).
If r is not divisible by 3, then \(\left( {\begin{array}{c}r+2\\ 2\end{array}}\right)\) is divisible by 3. For instance, we have \((r,s)=(7,11),\, (8,14),\, (10, 21)\).
This is equivalent to say that the class [r] of r modulo 36 is one of the following classes: [1], [2], [9], [10], [11], [18], [19], [27], [29] (e.g. \((r,s)=(9,36), (10,47), (11,60), (18,221), (19, 256)\)).
References
Ballico, E., Ellia, P.: On projections of ruled and veronese surfaces. J. Algebra 121, 477–487 (1989)
Chiantini, L., Ciliberto, C.: A few remarks on the lifting problem. Astérisque 218, 95–109 (1993)
Chiantini, L., Ciliberto, C., Di Gennaro, V.: The genus of projective curves. Duke Math. J. 70(2), 229–245 (1993)
Chiantini, L., Ciliberto, C., Di Gennaro, V.: On the genus of projective curves verifying certain flag conditions. Bollettino U.M.I. 7, 701–732 (1996)
Di Gennaro, V.: Hierarchical structure of the family of curves with maximal genus verifying flag conidtions. Proc Am Math Soc 136(3), 791–799 (2008)
Di Gennaro, V.: A lower bound for \(\chi ({\cal{O} }_S)\). Rendiconti del Circolo Matematico di Palermo, Series 71(1), 225–231 (2022)
Di Gennaro, V.  Franco, D.: Refining CastelnuovoHalphen bounds, Rendiconti del Circolo Matematico di Palermo, 61(1), 91106 (2012)
Di Gennaro, V., Franco, D.: A lower bound for \(K^2_S\), Rendiconti del Circolo Matematico di Palermo. II. Ser 66, 69–81 (2017)
Eisenbud, D., Harris, J.: Curves in Projective Space Sém. Math. Sup. \(85\) Les Presses de l’Université de Montréal, (1982)
Gruson, L., Peskine, C.: Genre des courbes dans l’espace projectif, Algebraic Geometry: Proceedings, Norway, 1977, Lecture Notes in Math., SpringerVerlag, New York, \({\mathbf{687}}\) ,3159 (1978)
Hartshorne, R.: Algebraic Geometry, GTM, 52. SpringerVerlag, Berlin (1983)
El Mazouni, A., Laytimi, F., Nagaraj, D.S.: Projections of veronese surface and morphisms from projective plane to grassmannian. Proc. Indian Acad. Sci.(Math.Sci.) 127, 59–67 (2017)
Nagel, U. Vogel, W.: Bounds for Castelnuovo’s Regularity and the Genus of Projective Varieties, Topics in Algebra. Banach Center Publications, Vol. 26, Part 2: 163183, PWN Polish Scientific Publishers, Warsaw (1990)
Noma, A.: A bound on the CastelnuovoMumford regularity for curves. Math. Ann. 322, 69–74 (2002)
SwinnertonDyer, H.P.F.: An enumeration of all varieties of degree 4. Am. J. Math. 95(2), 403–418 (1973)
Funding
Open access funding provided by Università degli Studi di Roma Tor Vergata within the CRUICARE Agreement.
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.
Appendix.
Appendix.
In order to conclude the proof of Theorem 1.1, first part, it remains to prove that if C is not contained in a surface of degree \(<5\), then \(p_a(C)<\frac{1}{8}d(d6)+1\), when \(16 < d \le 143\). We are going to do an analysis similar to the one that appears in [8, pp. 74–75]. The same calculation in [8, loc. cit.] proves that \(p_a(C)<\frac{1}{8}d(d6)+1\) for \(d> 30\). We need to refine the argument to deal with the case \(16 <d \le 30\). Let \(\Gamma \subset {\mathbb {P}}^3\) be a general hyperplane section of C. In the sequel, we will apply (6), (7), (8), and (9) (see Section 2, (i)).

Case I: \(h^0({\mathbb {P}}^3,\mathcal I_{\Gamma }(2))\ge 2\). This case can’t happen. Otherwise, since \(d> 4\), by monodromy [3, Proposition 2.1], \(\Gamma\) would be contained in an integral curve of \({\mathbb {P}}^3\) of degree \(\le 4\). Since \(d>16\), from [2, Theorem (0.2)] we would deduce that C is contained in a surface of degree \(\le 4\), against our hypothesis.

Case II: \(h^0({\mathbb {P}}^3,\mathcal I_{\Gamma }(2))=1\) and \(h^0({\mathbb {P}}^3,{\mathcal {I}}_{\Gamma }(3))>4\). This is the most complicated case. Since \(d> 6\), by monodromy [3, Proposition 2.1], in this case \(\Gamma\) is contained in an integral curve X of \({\mathbb {P}}^3\) of degree \(\le 6\). Based on what was said in the previous case, we may suppose the degree of X is either 5 or 6.
First assume \(\deg X=5\).
If \(d\ge 21\), by Bezout’s theorem we have \(h_{\Gamma }(i)=h_X(i)\) for all \(i\le 4\). Let \(X'\) be a general hyperplane section of X. By (6) we get \(h_X(i)\ge \sum _{j=0}^{i}h_{X'}(j)\). By (9) it follows that \(h_X(3)\ge 14\) and \(h_X(4)\ge 19\). Therefore, if \(d\ge 21\), taking into account (8), we get:
If \(28\le d\le 30\), using (7) we deduce:
which is \(<\frac{1}{8}d(d6)+1\).
If \(24\le d\le 27\), we have:
which is \(<\frac{1}{8}d(d6)+1\), except for \(d=24\) for which we have \(4d41=\frac{1}{8}d(d6)+1\). However, \(p_a(C)\) should be strictly less than such number, otherwise \(p_a(C)= \sum _{i=1}^{+\infty }dh_{\Gamma }(i)\) and C would be a.C.M. (Section 2, (i)). This is impossible, because C is not contained in quadrics, while \(h^0({\mathbb {P}}^3,{\mathcal {I}}_{\Gamma }(2))=1\) (we will use this argument later as well).
If \(21\le d\le 23\), we have:
which is \(<\frac{1}{8}d(d6)+1\).
Now assume \(17\le d\le 20\). By Bezout’s theorem we have \(h_{\Gamma }(3)=h_X(3)\). Hence we get:
And we may conclude with a calculation similar to the previous one (when \(18 \le d \le 20\), we use again the fact that C cannot be a.C.M.).
Assume \(\deg X=6\).
By [3, Proposition 2.1], X is a single component of the intersection of the quadric containing \(\Gamma\), with a general cubic containing \(\Gamma\). Since \(\deg X=6\), it follows that X is a complete intersection of bidegree (2, 3).
If \(d\ge 25\), by Bezout’s theorem we have \(h_{\Gamma }(i)=h_X(i)\) for every \(i\le 4\). Let \(X'\) be a general plane section of X. Similarly as before, since \(\deg X=6\), we have \(h_X(3)\ge 15\) e \(h_X(4)\ge 21\). Therefore, if \(d\ge 25\), we have:
It follows that:
which is \(<\frac{1}{8}d(d6)+1\).
If \(19\le d\le 24\) we have \(h_{\Gamma }(3)=h_X(3)\), and so:
Hence:
which is \(<\frac{1}{8}d(d6)+1\). It remains to examine the cases \(d=18\) e \(d=19\).
If \(d=18\) and \(h_{\Gamma }(3)=h_X(3)\), then \(h_{\Gamma }(3)\ge 15\). Otherwise, \(\Gamma\) is a complete intersection of type (2, 3, 3), and from Koszul’s complex we get \(h_{\Gamma }(3)\ge 14\). Therefore, in every case, we have:
Hence \(p_a(C)< \sum _{i=1}^{+\infty }18h_{\Gamma }(i)\le 28=\frac{1}{8}18(186)+1\).
When \(d=17\), previous argument does not work. We may argue as follows. If \(h_{\Gamma }(3)=h_{X}(3)\) we may repeat previous computation (in this case \(h_X(3)\ge 15\)). Otherwise, \(h^0(\mathbb P^3,{\mathcal {I}}_{\Gamma }(3))>h^0({\mathbb {P}}^3,{\mathcal {I}}_{X}(3))\). On the other hand, since X is a complete intersection of bidegree (2, 3), we have \(h^1({\mathbb {P}}^3,{\mathcal {I}}_{X}(2+i))=h^2(\mathbb P^3,{\mathcal {I}}_{X}(2+i))=0\) for all \(i\ge 0\). It follows from [3, Corollary 1.2] that
If \(\Delta h_{\Gamma }(4)\le 0\) then \(h_{\Gamma }(3)=17\). Otherwise, \(\Delta h_{\Gamma }(4)\le \Delta h_{\Gamma }(3)2\), hence \(h_{\Gamma }(3)\ge 14\), and we may conclude as in previous computation.

Case III: \(h^0({\mathbb {P}}^3,\mathcal I_{\Gamma }(2))=1\) e \(h^0({\mathbb {P}}^3,{\mathcal {I}}_{\Gamma }(3))=4\). We have:
$$\begin{aligned} h_{\Gamma }(1)=4,\, h_{\Gamma }(2)=9,\, h_{\Gamma }(3)=16, \, h_{\Gamma }(4)\ge \min \{d,\, 19\},\\ h_{\Gamma }(5)\ge \min \{d,\, 24\}, \, h_{\Gamma }(6)=d. \end{aligned}$$If \(26\le d\le 30\), we have:
$$\begin{aligned} p_a(C)< \sum _{i=1}^{+\infty }dh_{\Gamma }(i)\le (d4)+(d9)+(d16)+11+6=3d12, \end{aligned}$$which is \(\le \frac{1}{8}d(d6)+1\). If \(21\le d\le 25\), we have:
$$\begin{aligned} p_a(C)< \sum _{i=1}^{+\infty }dh_{\Gamma }(i)\le (d4)+(d9)+(d16)+6+1=3d22, \end{aligned}$$which is \(\le \frac{1}{8}d(d6)+1\), except the case \(d=21\). In this case \(3d22=41\), hence \(p_a(C)\le 40< \frac{1}{8}21(216)+1=40+\frac{3}{8}\). If \(17\le d\le 20\), we have:
$$\begin{aligned} p_a(C)< \sum _{i=1}^{+\infty }dh_{\Gamma }(i)\le (d4)+(d9)+(d16)+1=3d28, \end{aligned}$$which is \(\le \frac{1}{8}d(d6)+1\).

Case IV: \(h^0({\mathbb {P}}^3,\mathcal I_{\Gamma }(2))=0\). We have:
$$\begin{aligned} h_{\Gamma }(1)=4,\, h_{\Gamma }(2)=10,\, h_{\Gamma }(3)\ge 13, \, h_{\Gamma }(4)\ge \min \{d,\, 19\},\\ h_{\Gamma }(5)\ge \min \{d,\, 22\},\, h_{\Gamma }(6)\ge \min \{d,\, 28\}, \, h_{\Gamma }(6)=d. \end{aligned}$$So, we may conclude with a similar computation as in the previous case.
Remark 7.1
From previous analysis it follows that if \(C\subset {\mathbb {P}}^4\) is not contained in quadrics, and \(d>16\), then \(h^0(\mathbb P^3,{\mathcal {I}}_{\Gamma }(2))\le 1\). In fact, otherwise C should be contained in an isomorphic projection of the Veronese surface. Therefore, \(\Gamma\) should be contained in an irreducible rational quartic X in \({\mathbb {P}}^3\). On the other hand, if \(\Gamma\) lies in two independent quadrics, by monodromy it lies in an irreducible elliptic quartic Y. Since \(\Gamma \subseteq X\cap Y\), by Bezout’s theorem we get \(d\le 16\), in contrast with the assumption \(d>16\).
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
Di Gennaro, V. The genus of curves in \({\mathbb {P}}^4\) and \({\mathbb {P}}^5\) not contained in quadrics. Rend. Circ. Mat. Palermo, II. Ser (2022). https://doi.org/10.1007/s1221502200788x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s1221502200788x
Keywords
 Projective curve
 CastelnuovoHalphen theory
 Quadric and cubic hypersurfaces
 Veronese surface
 Projection of a rational normal scroll surface
 Maximal rank.
Mathematics Subject Classification
 Primary 14N15
 Secondary 14N25
 14M05
 14M06
 14M10
 14J26
 14J70