A sharp Castelnuovo bound for the normalization of certain projective surfaces (Q2736609)

Let \(X \subset \mathbb{P}^r (r \geq 3)\) a reduced, irreducible, complete non-degenerate surface of degree \(d\), such that its normalization \(\overline X\) is smooth. Let \(\Sigma^{(n)}\) be the linear system of curves cut out on \(\overline X\) by the hypersurfaces of degree \(n\), so \(\Sigma^{(n)}\) corresponds to the image of the canonical map \(\rho_n : H^0 (\mathbb{P}^r, \mathcal{O}_{\mathbb{P}^r}(n)) \to H^0 (\overline X, \mathcal{O}_{\overline X}(n D))\) (where \(D\) is the pull-back, via the normalization morphism \(\nu : \overline X \to X\) of a generic hyperplane section of \(X\)).NEWLINENEWLINENEWLINEIf \(\delta^{(n)} := \dim \text{coker} \rho_n\), then it is known that \(X = \overline X \Rightarrow \delta^{(n)} = 0\) for all \(n \geq d - r + 2 \) [\textit{R. Lazarsfeld}, Duke Math. J. 55, 423-429 (1987; Zbl 0646.14005)]. NEWLINENEWLINENEWLINEThe paper under review deals with the case when \(X \neq \overline X\). It is proved that, in this case, \(\delta^{(n)}\) is a linear polynomial \(p(n)\) in \(n\) for \( n \gg 0\), written down explicitly (theorem 1). Moreover, a sharp Castelnuovo bound \(N\) (i.e. \(\delta^{(n)} = p(n) \Leftrightarrow n \geq N\)) is found in the particular case of arithmetically Cohen-Macaulay subcanonical (i.e. \(\omega_{\overline X} = \mathcal{O}_{\overline X}(a)\)) surfaces for which \(\Gamma\) (= the subscheme of \(X\) corresponding to the conductor of \(\mathcal{O}_X\) in \(\nu_* \mathcal{O}_{\overline X}\)) is a reduced (automatically locally Cohen-Macaulay) curve; precisely \(N = a + 1\). This certainly applies to complete intersections of type \((e_1, \ldots, e_{r - 1})\) having a reduced \(\Gamma\), when \(N = \sum e_i - r\). NEWLINENEWLINENEWLINEThe author works over an arbitrary algebraically closed field \(k\). The proofs use intensively standard sequences of sheaves and theorems from the cohomology of coherent sheaves.NEWLINENEWLINENEWLINE[Editor's comment: This paper is a word by word copy of the paper with the same title of {N. Chiarli} in Bajaj, Chandrajit L. (ed.), Algebraic geometry and its applications. Collections of papers from Shreeram S. Abhyankar's 60th birthday conference held at Purdue University, West Lafayette, IN, USA, June 1-4, 1990. New York: Springer-Verlag. 145-151 (1994; Zbl 0831.14014)]