Homogeneous polynomials vanishing on the projective space \(\mathbb{P}^m(\mathbb{F}_q)\) (Q1380015)

It is known that the ideal of the ring of polynomials \(\mathbb{F}_q [X_0, \dots, X_m]\) (with coefficients in the finite field \(\mathbb{F}_q\) of \(q\) elements) consisting of all polynomials that vanish on \(\mathbb{F}_q^{m+1}\) is generated by elements \(X^q_i- X_i\), \(i=0,1, \dots,m\). In the paper it is proved that the ideal \(J= \bigoplus J_d\) generated by homogeneous polynomials that vanish on \(\mathbb{F}_q^{m+1}\) is generated by all \(2\times 2\) minors of the \(2\times (m+1)\) matrix with rows \((X_0, \dots, X_m)\) and \((X_0^q, \dots, X_m^q)\) and its height and depth is \(m\). Using results of Eagon-Northcott an explicit free resolution of \(J\) is described and dimensions of \(J_d\) are computed.