The point-count upper bound conjecture for nonsingular hypersurfaces in even-dimensional projective spaces

About 10 years old · traced to

Let m≥4m\geq 4 be an even integer, and let X\mathcal{X} be a nonsingular hypersurface of degree dd in Pm\mathbb{P}^m over Fq\mathbb{F}_q. Write Nq(X)N_q(\mathcal{X}) for the number of Fq\mathbb{F}_q-rational points of X\mathcal{X}, and let θq(r)\theta_q(r) denote the number of points of Pr\mathbb{P}^r over Fq\mathbb{F}_q. The point-count upper bound conjecture. One might have

Nq(X)≤θq(m2−1)((d−1)qm2+1).N_q(\mathcal{X})\leq \theta_q\left(\frac{m}{2}-1\right)\left((d-1)q^{\frac{m}{2}}+1\right).

The preceding argument shows that the general upper bound obtained for even-dimensional projective spaces is not attained, but it does not establish this sharper bound. Thus the displayed inequality is proposed as a conjectural bound for nonsingular hypersurfaces when mm is even.

References

Primary source

Masaaki Homma and Seon Jeong Kim, “Number of points of a nonsingular hypersurface in an odd-dimensional projective space”, arXiv:1611.02371 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.