Classifying ACM sets of points in \({\mathbb{P}^{1} \times \mathbb{P}^{1}}\) via separators (Q444114)

Let \(X \subset {\mathbb{P}^{1} \times \mathbb{P}^{1}}\) be a finite set of distinct points (over an algebraically closed field \(k\)). If \(I_X\) is the multihomogeneous ideal of \(X\) in the multigraded coordinate ring \(R = k[{\mathbb{P}^{1} \times \mathbb{P}^{1}}]\), then \(X\) is arithmetically Cohen-Macaulay (ACM) if \(\mathrm{depth}(\frac{R}{I_X}) = 2\). A separator \(F\) for a point \(P \in X\) is a multihomogeneous form in \(R\) such that \(F(P) \neq 0, F(Q) = 0, \forall Q \in X, Q \neq P\). If \(S\) is a set of pairs \((a_1,a_2) \in \mathbb{N}^2\), the relation \((a_1,a_2) \geq(b_1,b_2)\) if \(a_i\geq b_1, i = 1,2,\) is a partial order and \(\min (S)\) is the set of all minimal elements. So, for every point \(P \in X\) it is defined the set \(\deg_X(P) = \min\{\deg F | F\text{ is a separator for }P \in X\}\). \textit{L. Marino} [Matematiche 64, No. 2, 41--56 (2009; Zbl 1197.13023)] proved the following result: Let \(X \subset {\mathbb{P}^{1} \times \mathbb{P}^{1}}\) be a set of distinct points. Then \(X\) is ACM if and only if \(|\deg_X(P)| = 1\) for all \(P \in X\). The present paper makes use of a few results by the same authors on separators and \(\deg_X(P)\) [Man. Math. 126, 215--245 (2008)] and [Collect. Math. 59, No. 2, 191--213 (2008; Zbl 1146.13012)] in order to give a new short proof of Marino's Theorem.