Geometry of arithmetically Gorenstein curves in P^4
From an algebraic point of view, arithmetically Gorenstein subschemes of projective space of codimension three are described by the well-known structure theorem of \textit{D. A. Buchsbaum} and \textit{D. Eisenbud} [Am. J. Math. 99, 447--485 (1977; Zbl 0373.13006)]. This result is central to many of the myriad subsequent works that have been written on this subject. It also plays an important role in the geometric side of the subject, for instance in the work of \textit{J. Herzog, N. V. Trung} and \textit{G. Valla} [J. Math. Kyoto Univ. 34, No. 1, 47--72 (1994; Zbl 0836.14031)]. On the other hand, other constructions (independent of codimension three) exist which do not rely on this structure theorem; see the reviewer's book ``Introduction to liaison theory and deficiency modules [Progress in Mathematics, 165. Birkhäuser Boston, Inc. (1998; Zbl 0921.14033)] for a treatment of several of these. The paper under review lies in the overlap of these approaches. It considers codimension three subschemes of \({\mathbb P}^4\), but mostly from the point of view of a geometric construction introduced by \textit{J. O. Kleppe}, the reviewer, \textit{R. Miró-Roig, U. Nagel} and \textit{C. Peterson} [Mem. Am. Math. Soc. 732, (2001; Zbl 1006.14018)], namely linear systems of type \(mH-K\) on an arithmetically Cohen-Macaulay surface \(X\) (\(H\) is the hyperplane section divisor and \(K\) is the canonical divisor). The author applies his theory of generalized divisors [K-Theory 8, No.3, 287-339 (1994; Zbl 0826.14005)] to give several results describing the geometry of linear systems of the form \(| mH-K| \) and the postulation character of the elements of these linear systems, as well as the connections to the postulation character of \(X\). One main result is to describe numerical situations where there is an open subset of the Hilbert scheme whose corresponding curves in \({\mathbb P}^4\) are of this form; the author also discusses the sharpness of this result. Furthermore, he applies his results to prove that a \textit{general} arithmetically Gorenstein curve in \({\mathbb P}^4\) with arbitrary postulation character can be obtained by strictly ascending complete intersection biliaisons from a line. This complements a result of \textit{J. Watanabe} [Nagoya Math. J. 50, 227-232 (1973; Zbl 0242.13019)], who had shown that \textit{every} codimension three Gorenstein ideal (even Artinian) is in the linkage class of a complete intersection, but did not perform the links in such a strongly controlled way.
- Gorenstein liaison of curves in \(\mathbb{P}^4\)
- Gorenstein schemes on general hypersurfaces of \(\mathbb{P}^r\)
- Some examples of Gorenstein liaison in codimension three.
- Codimension 3 arithmetically Gorenstein subschemes of projective \(N\)-space
- A construction of codimension three arithmetically Gorenstein subschemes of projective space
- Arithmetically Cohen-Macaulay curves in \(\mathbb{P}^4\) of degree 4 and genus 0
- Arithmetically Gorenstein curves on arithmetically Cohen-Macaulay surfaces
- The equations defining blowup algebras of height three Gorenstein ideals
- Gorenstein schemes on general hypersurfaces of \(\mathbb{P}^r\)
- A construction of codimension three arithmetically Gorenstein subschemes of projective space
- Codimension 3 arithmetically Gorenstein subschemes of projective \(N\)-space
This page was built for publication: Geometry of arithmetically Gorenstein curves in \(\mathbb{P}^4\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1428940)
