On the ideal of an arithmetically Buchsbaum curve (Q1121339)

Let C be an arithmetically Buchsbaum curve in \({\mathbb{P}}^ n\) with ideal \(I=I_ C\) and let \(\nu_ 1\leq...\leq \nu_ r\) be the degrees of the generators in a minimal homogeneous generating set for I. The main thrust of the paper is towards finding bounds for \(\nu_ 1\) and \(\nu_ r\). Let M be the Hartshorne-Rao module of C, i.e. \(M=\oplus_{i\in {\mathbb{Z}}}M_ i \) with \(M_ i=H^ 1({\mathbb{P}}^ n,I(i))\), and let \(N=\dim (M)\). Taking off from the inequality \(2N\leq \nu_ 1\) proved by \textit{M. Amasaki} [Publ. Res. Inst. Math. Sci. 20, 793-837 (1984; Zbl 0574.14030)] for the case \(C\subseteq {\mathbb{P}}^ 3\), the authors prove the following results, among others, providing bounds for \(\nu_ 1\) and \(\nu_ r:\) (1) \(M_ i=0\) for all \(i\leq \nu_ 1-3;\) (2) if \(C\subseteq {\mathbb{P}}^ 3\) then \(\nu_ r\leq \deg (C)-\left( \begin{matrix} \nu_ 1\\ 2\end{matrix} \right)+\dim (M_{\nu_ 1-2});\) (3) if \(C\subseteq {\mathbb{P}}^ 3\) is reduced and irreducible and \(M_{\nu_ 1-2}\neq 0\) then \(\nu_ 1\leq 2(\nu_ 1-N)\) and \(\left( \begin{matrix} \nu_ 1\\ 2\end{matrix} \right)+\nu_ 1-m\leq \deg (C)\leq \nu^ 2_ 1-2N^ 2-m(\nu_ 1-2N)-N+n_ r\), where \(m=\dim (M_{\nu_ 1- 2})\) and \(n_ r\) is the dimension of the last nonzero component of M. Examples are given to show that the bound in (2) is sharp. The tools used by the authors, apart from the above theorem of Amasaki, include: liaison; lifting to I elements of \(I_{C'}\), where \(C'=C\cap H\) is a general hyperplane section of C; and an analysis of the relationship between the numerical invariants of C, such as its Hilbert function and the integers \(\nu_ i\), and the corresponding invariants of \(C'.\) An illustration of the role played by \(C'\) is provided by the following two results proved in the paper: (1) \(\nu_ 1-1\leq \nu_ 1(C')\leq \nu_ 1\); (2) if t is the least integer such that \(h^ 1(I_{C'}(t))=0\) then \(\nu_ r\leq t+1\).