Postulation of disjoint unions of lines and double lines in \({\mathbb{P}^3}\) (Q1758635): Difference between revisions

In this interesting paper, the author gives the definition of a double line in \(\mathbb P^3\) as a non reduced divisor of type \((2,0)\) or \((0,2)\) on a smooth quadric \(Q\subset \mathbb P^3\). In the main result it is proved that, over an algebraically closed field of characteristic \(0\), a general union \(X\subset \mathbb P^3\) of \(a\) lines and \(c\) double lines has maximal rank, i.e. for each \(t\in \mathbb Z\) either \(h^1\mathcal I_X(t)=0\) or \(h^0\mathcal I_X(t)=0\). To prove this result, the author introduces other non-reduced schemes in order to use the Horace method as in [\textit{R. Hartshorne} and \textit{A. Hirschowitz}, Lect. Notes Math. 961, 169--188 (1982; Zbl 0555.14011)].