Number of Solutions of Systems of Homogeneous Polynomial Equations over Finite Fields

Mrinmoy Datta,Sudhir R. Ghorpade

DOI: https://doi.org/10.1090/proc/13239

2016-09-07

Abstract:We consider the problem of determining the maximum number of common zeros in a projective space over a finite field for a system of linearly independent multivariate homogeneous polynomials defined over that field. There is an elaborate conjecture of Tsfasman and Boguslavsky that predicts the maximum value when the homogeneous polynomials have the same degree that is not too large in comparison to the size of the finite field. We show that this conjecture holds in the affirmative if the number of polynomials does not exceed the total number of variables. This extends the results of Serre (1991) and Boguslavsky (1997) for the case of one and two polynomials, respectively. Moreover, it complements our recent result that the conjecture is false, in general, if the number of polynomials exceeds the total number of variables.

Algebraic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is in the projective space over a finite field, given a system of linearly independent homogeneous polynomials, what is the maximum number of common zeros of these polynomials in this space. Specifically, the authors focus on how to determine the maximum number of their common zeros when the degrees of these homogeneous polynomials are the same and not greater than the size of the finite field.

### Background and Problem Definition

- **Research Object**: Given a positive integer \(r\), a degree \(d\) and a dimension \(m\), and a finite field \(\mathbb{F}_q\) containing \(q\) elements. Let \(S = \mathbb{F}_q[x_0, x_1, \ldots, x_m]\) be the polynomial ring of \(m + 1\) variables.
- **Problem**: Consider \(r\) linearly independent homogeneous polynomials \(F_1, F_2, \ldots, F_r\) in \(S\), each with degree \(d\). What is the maximum number of common zeros of these polynomials on the \(m\)-dimensional projective space \(\mathbb{P}^m(\mathbb{F}_q)\)?

### Main Contributions

- **Tsfasman - Boguslavsky Conjecture (TBC)**: Suppose \(r\leq\binom{m + d}{d}\) and \(d < q- 1\), then the maximum number of common zeros of \(r\) linearly independent homogeneous polynomials \(F_1, F_2, \ldots, F_r\) on \(\mathbb{P}^m(\mathbb{F}_q)\) is:
\[
T_r(d, m):=p_{m - 2}+\sum_{i = j}^{m}\nu_i(p_{m - i}-p_{m - i - j})
\]
where \((\nu_1, \ldots, \nu_{m + 1})\) is the \(r\)-th non - negative integer \((m + 1)\)-tuple satisfying \(\alpha_1+\cdots+\alpha_{m+1}=d\) in descending lexicographic order, and \(j:=\min\{i:\nu_i\neq0\}\).

- **Main Result**: The authors prove that when \(r\leq m + 1\), the Tsfasman - Boguslavsky Conjecture is correct. This result extends the results of Serre (1991) and Boguslavsky (1997) for the cases \(r = 1\) and \(r = 2\) respectively.

### Methods and Techniques

- **Elementary Case**: For \(d = 1\) or \(m = 1\), TBC obviously holds.
- **Low - Correlation Case**: When the degree of the greatest common divisor between some polynomials is low, estimate the number of common zeros through complete intersections and Lachaud's basic bound.
- **High - Correlation Case**: When the degree of the greatest common divisor between all polynomials is high, analyze by using the properties of the dual projective space and hyperplane intersections.

### Conclusions

- The authors prove that the Tsfasman - Boguslavsky Conjecture holds when \(r\leq m + 1\), which provides an important theoretical basis for understanding the number of common zeros of homogeneous polynomial systems in projective spaces over finite fields.
- This result not only extends previous work but also provides new directions for future research, especially proposing new conjectures in the case of \(r>m + 1\).