2017/08/25 by Tahereh Aladpoosh, Aladpoosh, Tahereh, Maria Virginia Catalisano +1
Mathematics · #13D40 #14C20 #14D06 #14N20 #Algebraic Geometry (math.AG) #FOS: Mathematics #math.AG #msc:13D40 #msc:14C20 #msc:14D06 #msc:14N20
paper · pdf · doi:10.48550/arxiv.1708.07610
34 pages, 1 figure. In this version typo corrected in page 26
arxiv created 2017/09/05 · arxiv updated 2017/09/06
The Hartshorne--Hirschowitz theorem says that a generic union of lines in ℙn, (n≥ 3), has good postulation. The proof of Hartshorne and Hirschowitz in the initial case ℙ3 is difficult and so long, which is handled by a method of specialization via a smooth quadric surface with the property of having two rulings of skew lines. We provide a proof in the case ℙ3 based on a new degeneration of disjoint lines via a plane H≅ℙ2, which we call (2,s)-cone configuration, that is a schematic union of s intersecting lines passing through a single point P together with the trace of an s-multiple point supported at P on the double plane 2H. In the first part of this paper, we discuss our degeneration inductive approach. We prove that a (2,s)-cone configuration is a degeneration of s disjoint lines in ℙ3, or more generally in ℙn. In the second part of the paper, we use this degeneration in an effective method to show that a generic union of lines in ℙ3 imposes independent conditions on the linear system |\mathbbOℙ3(d)| of surfaces of given degree d. The basic motivation behind our degeneration approach is that it looks more systematic that gives some hope of extensions to the analogous problem in higher dimensional spaces, that is the postulation problem for m-dimensional planes in ℙ2m+1.