A Combinatorial Approach to the Number of Solutions of Systems of Homogeneous Polynomial Equations over Finite Fields
We give a complete conjectural formula for the number of maximum possible -rational points on a projective algebraic variety defined by linearly independent homogeneous polynomial equations of degree in variables with coefficients in the finite field with elements, when . It is shown that this formula holds in the affirmative for several values of . In the general case, we give explicit lower and upper bounds for and show that they are sometimes attained. Our approach uses a relatively recent result, called the projective footprint bound, together with results from extremal combinatorics such as the Clements-Lindström Theorem and its variants. Applications to the problem of determining the generalized Hamming weights of projective Reed-Muller codes are also included.