Koszul configurations of points in projective spaces (Q2491847)

The property to be Koszul for the coordinate ring of a projective scheme (a refinement of being generated in degree one and with quadric relations), has been studied by many authors. Since a projectively normal variety is Koszul iff its hyperplane sections are, it is quite of interest to have Koszulness criteria for finite sets of points in \(\mathbb{P}^n\). A result by Kempf gives that any set of \(\leq 2n\) points in linear general position in \(\mathbb{P}^n\) is Koszul; in this paper criteria for Koszulness of non-generic sets of points are given which depend only on linear spans of subsets and their incidences. Namely, main results are: 1) if a finite set \(S \subset\mathbb{P}^n\) is such that \(S = S_1\sqcup S_2\), \(S_1, S_2\) linearly independent and such that span\((S_1)\cap S_2 = S_1\cap \text{span}(S_2) = \emptyset\), then \(S\) is Koszul. 2) Let \(S \subset\mathbb{P}^n\) be a Koszul set of points. Let \(S'\subset S\) be such that \(S-S'\) imposes independent conditions to quadrics containing \(S'\). Then \(S'\) is Koszul. As a consequence of 2) we get that if \(S \subset \mathbb{P}^n\) is a Koszul set of points which imposes independent conditions to quadrics, then every subset of \(S\) is also Koszul. The proofs use results about conditions under which homomorphism of graded rings preserve Koszulness and Koszul families of ideals in graded algebras.