Postulation of general quartuple fat point schemes in \(\mathbb{P}^3\) (Q1008748)

The theme of polynomial interpolation has a long history in Mathematics, and its ``ubiquity'' has been remarked by many authors, especially when it regards studying vector spaced of forms of a given degree \(d\) passing through given fixed points \(P_q,\dots,P_s \in {\mathbb P}^n\) with assigned multiplicities \(m_1,\dots,m_s\) (i.e. considering the degree \(d\) part of the ideal of the scheme of ``fat points'' \(m_1P_1+\dots+m_sP_s\)). In this paper the case of generic \(P_1,\dots,P_s \in {\mathbb P}^3\) is studied for \(m_1\leq m_2\leq \dots \leq m_s\leq 4\) is treated; the main result is that for \(d\geq 41\), such vector space have the expected dimension. The main tool for the proof is the ``differential Horace'' method, which allows an induction procedure on the multiplicities of the points.