Postulation of generic lines and one double line in \(\mathbb {P}^n\) in view of generic lines and one multiple linear space (Q1725994)

Let \(X\subset \mathbb {P}^n\) be a closed subscheme. Following [\textit{E. Carlini} et al., J. Algebra 324, No. 4, 758--781 (2010; Zbl 1197.13016)] \(X\) is said to have bipolynomial Hilbert function (also known as to have maximal rank) if \(X\) has the expected postulation, i.e. the expected Hilbert function, i.e. \(h^0(\mathcal {I}_X(t)) =\max \{0,\binom{n+t}{n}-h^0(\mathcal {O}_X(t))\}\) for all \(t\in \mathbb {N}\). \(X\) is known to have maximal rank, except in a few completely described exceptional cases, if it is a general union of lines [\textit{R. Hartshorne} and \textit{A. Hirschowitz}, Lect. Notes Math. 961, 169--188 (1982; Zbl 0555.14011)] or a general union of lines and one multiple point or a linear subspace and several general lines (many authors, all quoted in the paper under review). In the paper under review, this is proved when \(n\geq 4\) and \(X\) is a general union of \(s\) lines and one double line, with a unique exception (\(n=4\), \(s=t=2\)). The author conjectures that \(X\) has bipolynomial Hilbert function if it is a general union of \(s\geq 1\) lines and one \(m\)-ple \(c\)-dimensional linear space when \(n\geq c+2\geq 3\), with the only exception \(n=c+3\), \(t=m\) and \(2\leq s \leq t\).