Bipolynomial Hilbert functions (Q994282): Difference between revisions

Let \(X\subset{\mathbb P}^n\) be a closed subscheme and let \(HF(X, \cdot)\) and \((hp(X, \cdot)\) denote, respectively, the Hilbert function and the Hilbert polynomial of \(X\). \(X\) is said to have bipolynomial Hilbert function if \(HF(X,d) = \min\{hp({\mathbb P}^n,d)=\binom{n+d}{d}, hp(X,d)\}\) for every \(d\geq 0.\) For instance it is not hard to verify that if \(X\) is a generic set of points in \({\mathbb P}^n\), then \(X\) has bipolynomial Hilbert function. The same is true if \(X\) consists of a set of generic lines in \({\mathbb P}^n\) (this result is due to \textit{R. Hartshorne} and \textit{A. Hirschowitz} [in: Algebraic geometry, Proc. int. Conf., La Rabida 1981, Lect. Notes Math. 961, 169--188 (1982; Zbl 0555.14011)]). The authors conjecture that a generic configuration of linear spaces with non-intersecting components, has bipolynomial Hilbert function. The main theorem of the paper states that if \(X\) consists of a plane and generic lines, then \(X\) has bipolynomial Hilbert function. It is proved by induction on \(n+d\).