Star configurations are set-theoretic complete intersections (Q500857)

The paper contributes with another large family of ideals that are set-theoretic complete intersections. Let \(K\) denote a field and let \(\mathcal{A} \subset \mathbb{P}^{k-1}_K\) be a rank \(k\) hyperplane arrangement with \(\ell_i \in K[x_1,\ldots,x_k], i = 1,\ldots,n\), the defining linear forms. \(\mathcal{A}\) is called \(s\)-generic (\(2 \leq s \leq k\)) if any \(s\) of the defining linear form are linearly independent. As the main result the author proves that for \(j = 0,\ldots,k-2,\) the defining ideal by the \((n-j)\)-fold products of the defining linear forms of a \(k\)-generic \(\mathcal{A}\) is a set-theoretic complete intersection. This is equivalent to say that star configurations have this property.