Geometry of arithmetically Gorenstein curves in \(\mathbb{P}^4\) (Q1428940)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Geometry of arithmetically Gorenstein curves in \(\mathbb{P}^4\)
scientific article

    Statements

    Geometry of arithmetically Gorenstein curves in \(\mathbb{P}^4\) (English)
    0 references
    0 references
    18 May 2004
    0 references
    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.
    0 references
    arithmetically Gorenstein curves
    0 references
    postulation character
    0 references
    biliaison
    0 references
    geometry of linear systems
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references