Normal form for space curves in a double plane
Let \(H\subset \mathbb P^3\) be a plane defined by the linear form \(l.\) The subscheme \(2H\) of \(\mathbb P^3,\) whose homogeneous ideal is generated by \(l^2\) is called double plane. A curve \(C\subset 2H\) determines uniquely a triple of subschemes \(Z\subset C'\subset P,\) where \(P\) is the pure one-dimensional part of \(C\cap H,\) \(Z\) is the residual scheme to \(P\) in \(C\cap H,\) and \(C'\) is the residual scheme to the intersection of \(C\) with \(H\) [this fact was shown by \textit{R. Hartshorne} and \textit{E. Schlesinger}, Commun. Algebra 28, 5655--5676 (2000; Zbl 0976.14020)]. In this paper the authors prove that there exists a matrix \(B\) which allows to describe explicitly the homogeneous ideal of the curve \(C,\) the schemes \(Z,\) \(C'\) and the Hartshorne-Rao module of \(C.\) This matrix permits also to compute a graded minimal free resolution of \(C\) (including the maps). Moreover the paper contain a characterization when a minimal curve in the even liaison class must lie in some double plane.
- Curves in the double plane
- Determinantal schemes and Buchsbaum-Rim sheaves
- Generalized divisors on Gorenstein schemes
- Gorenstein liaison, complete intersection liaison invariants and unobstructedness
- scientific article; zbMATH DE number 704831 (Why is no real title available?)
- Le schéma de Hilbert des courbes gauches localement Cohen-Macaulay n'est (presque) jamais réduit
- On the rao module of a curve lying on a smooth cubic surface In P3
- The Eisenbud-Evans Generalized Principal Ideal Theorem and Determinantal Ideals
- What annihilates a module?
This page was built for publication: Normal form for space curves in a double plane
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878446)