Fat base schemes and unexpected hypersurfaces of type $(d+k,d)$

Abstract

We study hypersurfaces of degree $d+k$ containing a prescribed zero-dimensional fat point scheme $Z\subset\mathbb{P}^n$ and having multiplicity at least $d$ along a general codimension-two linear subspace. We associate with this interpolation problem a vector bundle on $\mathbb{P}^1$ whose splitting type determines the dimensions of all linear systems of type $(d+k,d)$. For a fat point of multiplicity $m$, we determine the exact number of conditions detected by this bundle and introduce the corresponding effective length. This leads to an excess formula separating the contributions of the splitting type, the part of the fat structure invisible to degree-$k$ fibrewise sections, and the Hilbert-function defect of the fixed scheme. We also prove a truncation theorem showing that multiplicities larger than $k$ contribute only a uniform twist of the bundle and, geometrically, fixed hyperplane components. Finally, we exhibit explicit planar and three-dimensional examples showing that genuinely unexpected phenomena persist for nonreduced fixed base schemes, including geometrically irreducible unexpected hypersurfaces.