On a conjecture of Tsfasman and an inequality of Serre for the number of points on hypersurfaces over finite fields

We give a short proof of an inequality, conjectured by Tsfasman and proved by Serre, for the maximum number of points on hypersurfaces over finite fields. Further, we consider a conjectural extension, due to Tsfasman and Boguslavsky, of this inequality to an explicit formula for the maximum number of common solutions of a system of linearly independent multivariate homogeneous polynomials of the same degree with coefficients in a finite field. This conjecture is shown to be false, in general, but is also shown to hold in the affirmative in a special case. Applications to generalized Hamming weights of projective Reed-Muller codes are outlined and a comparison with an older conjecture of Lachaud and a recent result of Couvreur is given.

[1]  Alain Couvreur An upper bound on the number of rational points of arbitrary projective varieties over finite fields , 2014, 1409.7544.

[3]  S. Ghorpade,et al.  Number of Solutions of Systems of Homogeneous Polynomial Equations over Finite Fields , 2015, 1507.03029.

[4]  J. H. Lint,et al.  Algebraic-geometric codes , 1992 .

[5]  David Schwein,et al.  Étale Cohomology , 2018, Translations of Mathematical Monographs.

[6]  Anders Bjært Sørensen Projective Reed-Muller codes , 1991, IEEE Trans. Inf. Theory.

[7]  K. Conrad,et al.  Finite Fields , 2018, Series and Products in the Development of Mathematics.

[8]  Jean-Marie Goethals,et al.  On Generalized Reed-Muller Codes and Their Relatives , 1970, Inf. Control..

[9]  A bound on the number of points of a curve in projective space over a finite field , 2011, 1108.4975.

[10]  Ruud Pellikaan,et al.  Generalized Hamming Weights of q-ary Reed-Muller Codes , 1998, IEEE Trans. Inf. Theory.

[11]  Corrado Zanella Linear Sections of the Finite Veronese Varieties and Authentication Systems Defined Using Geometry , 1998, Des. Codes Cryptogr..

[12]  M. Tsfasman,et al.  Algebraic Geometric Codes: Basic Notions , 2007 .

[13]  Peter Beelen,et al.  Duals of Affine Grassmann Codes and Their Relatives , 2012, IEEE Transactions on Information Theory.

[14]  Sudhir R. Ghorpade,et al.  \'Etale cohomology, Lefschetz Theorems and Number of Points of Singular Varieties over Finite Fields , 2008, 0808.2169.

[15]  Cem Güneri Algebraic geometric codes: basic notions , 2008 .

[16]  G. Lachaud,et al.  An Overwiev of the Number of Points of Algebraic Sets over Finite Fields , 2014 .

[17]  Gilles Lachaud,et al.  The parameters of projective Reed-Müller codes , 1990, Discret. Math..

[18]  I. G. Núñez,et al.  Generalized Hamming Weights for Linear Codes , 2001 .

[19]  M. Boguslavsky On the Number of Solutions of Polynomial Systems , 1997 .