Complete intersection vanishing ideals on sets of clutter type over finite fields (Q1695592): Difference between revisions

Let \(R=F_q [\mathbf{y}]=F_q [y_1,\dots,y_n]\) be a polynomial ring over a finite field \(F_q\) and let \(y^{v_1},\dots,y^{v_s} \) be a finite set of monomials in \(F_q [\mathbf{y}]\). The affine and projective spaces over the field \(F_q\) of dimensions \(s\) and \(s - 1\) by \(A^s\) and \(P^{s-1}\), respectively. Let \(X\) be the set consisting of all points \([(y^{v_1},\dots,y^{v_s})] \) in \(P^{s-1}\) that are well defined, i.e., \(x\in F_q^n\) and \(x^{v_i} \neq 0 \) for some \(i\). \(X\) is called of \textit{clutter type} if \(\mathrm{supp}(y^{v_i})\not\subseteq\mathrm{supp}(y^{v_j})\) for \(i\neq j\), where \(\mathrm{supp}(y^{v_i})\) is the support of the monomial \(y^{v_i}\) consisting of the variables that occur in \(y^{v_i}\). Let \(S = F_q[t_1,\dots,t_s] = \oplus_{d=0}^{\infty} S_d\) be a polynomial ring over the field \(F_q\) with the standard grading. The graded ideal \(I(X)\) generated by the homogeneous polynomials of \(S\) that vanish at all points of \(X\) is called the vanishing ideal of \(X\). The vanishing ideal \(I(X)\) is a complete intersection if \(I(X)\) is generated by \(s-1\) homogeneous polynomials. In this paper, the authors give a classification of complete intersection vanishing ideals on parameterized sets of clutter type over finite fields.