The border of the Hilbert function of a set of points in \(\mathbb P^{n_1}\times \cdots \times \mathbb P^{n_k}\) (Q1861461)

Given a finite set of points in \(\mathbb{P}^n\), the possible Hilbert functions have been classified 20 years ago [see \textit{A. V. Geramita}, \textit{P. Maroscia} and \textit{L. G. Roberts}, J. Lond. Math. Soc., II. Ser. 28, 443-452 (1983; Zbl 0535.13012)]. For sets of points \(\mathbb{X}\) in a product of projective spaces \(\mathbb{P}^{n_1}\times \cdots\times \mathbb{P}^{n_k}\), one can define the multihomogeneous vanishing ideal \({\mathbf I}(\mathbb{X})\) and the multigraded Hilbert function \(H_\mathbb{X}(i)= \dim_k(k[ {\mathbf x}_1,\dots, {\mathbf x}_k]/{\mathbf I} (\mathbb{X})_i)\) for \(i\in\mathbb{N}^k\). No complete classification of these multigraded Hilbert functions is known. The author makes a first step towards such a classification. He proves \(H_\mathbb{X}(j)=s\) for \((j_1,\dots, j_k)\geq(t_1-1, \dots,t_k-1)\) (componentwise) and \(H_\mathbb{X}(j)= H_\mathbb{X}(j_1,\dots, j_{i-1},t_i-1,j_{i+1}, \dots,j_k)\) for \(j_i\geq t_i-1\) and not \(j_i\geq(t_1-1,\dots, \widehat {t_1-1}, \dots,t_k-1)\), where \(t_i=\# \pi_i(\mathbb{X})\) is the number of distinct \(i\)-th coordinates. In other words, the multigraded Hilbert function has an eventual behaviour which generalizes the usual one, and it suffices to determine finitely many values of the multigraded Hilbert function in order to know all values. Motivated by this result, the author defines the border of a multigraded Hilbert function of points as the set of values which separates the values which need to be computed from those which can be determined using the above result. In the case of points in \(\mathbb{P}^1\times \mathbb{P}^2\), he describes many properties of this border, building on earlier work by \textit{S. Giuffrida}, \textit{R. Maggioni} and \textit{A. Ragusa} [see for instance Pac. J. Math. 155, 251-282 (1992; Zbl 0723.14035)]. By using the Gale-Ryser theorem on \((0,1)\)-matrices he is able to characterize all possible borders in this case. The paper is written clearly and carefully. It can be used as a good basis for further studies of this largely unexplored subject of multigraded Hilbert functions of sets of points in products of projective spaces.