Normal form for space curves in a double plane (Q1878446): Difference between revisions

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.