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

From papers

Let m4m\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(m21)((d1)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.

Progress summary

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

Sources & referencesView supporting material

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).

Solutions 0

No solutions have been posted yet.