Normal form for space curves in a double plane

From MaRDI portal



Abstract: This note is an attempt to relate explicitly the geometric and algebraic properties of a space curve that is contained in some double plane. We show in particular that the minimal generators of the homogeneous ideal of such a curve can be written in a very specific form. As applications we characterize the possible Hartshorne-Rao modules of curves in a double plane and the minimal curves in their even Liaison classes.


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.











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)