On the defining equations of points in general position in \({\mathbb{P}}^ n\) (Q789467)

Let \(V\subset {\mathbb{P}}^ n\!_ K\) (with \(n>2\), K an algebraically closed field) be a reduced irreducible nondegenerate variety of dimension \(d>0\) and of degree s, which is arithmetically Cohen Macaulay (CM for short). It is well known that in order to get bounds for the degrees of the defining equations of V, one is led to study the ideal of \(V\cap L\), where L is a generic linear subspace of codimension d of \({\mathbb{P}}^ n\), which consists of s points in general position in L. Our main result is the following: ''Let Z be a finite set of s points in general position of \({\mathbb{P}}^ n\!_ K (s>n>1)\) and let \(I_ Z\) denote the ideal sheaf of Z in \({\mathbb{P}}^ n\!_ K\). Let t denote the least integer \(>1\) such that : \((i)\quad H^ 1({\mathbb{P}}^ n,I_ Z(t))=0\) and \((ii)\quad H^ 1({\mathbb{P}}^ n,I_ U(t-1))=0\) for every subset U of Z consisting of s- (n-1) points. Then the ideal of Z in the polynomial ring \(K[X_ 1,...,X_{n+1}]\) is generated by forms of degree \(\leq t''\). It extends and improves a theorem of \textit{R. Treger} [Duke Math. J. 48, 35-47 (1981; Zbl 0474.14030)]. Moreover we deduce from the above statement some new results about the defining equations of certain classes of CM varieties, with a special regard to CM varieties of codimension 2.