Smooth Hypersurfaces Beyond the Chevalley-Warning Range over Prime Fields
Manuscript 6 September 2026 · Online 6 September 2026
Abstract
For every prime \(p\) , integer \(n\geq2\) , and degree \(d\geq n+1\) , we construct a geometrically smooth hypersurface \(X\subset\PP^n_{\Fp}\) of degree \(d\) such that \(\#X(\Fp)\not\equiv1\pmod p\) . The construction stays over the specified prime field in every characteristic and degree. A finite-field moment polynomial supplies nonzero coefficients with the required point count. In odd characteristic not dividing the degree, a sharper individual-degree bound permits simultaneous avoidance of the singular parameter. When the characteristic divides the degree, positive exponent compositions make a triangular family smooth for all nonzero coefficients, apart from one explicitly handled boundary case. A separate uniform formula treats characteristic two in odd degree. The coefficient selection is a finite deterministic procedure; no efficient complexity bound is asserted.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete proof
- Categories
- math.AG · math.NT
- Manuscript
- 6 September 2026
- Online release
- 6 September 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Smooth Hypersurfaces Beyond the Chevalley-Warning Range over Prime Fields,” EulerSolve Research Papers, AIM-ALGEBRAIC_GEOMETRY-0125, 2026. https://doi.org/10.5281/zenodo.22514087.
BibTeX
@misc{Ferudun2026AimAlgebraicGeometry0125,
author = {Ferudun, Alper},
title = {Smooth Hypersurfaces Beyond the Chevalley-Warning Range over Prime Fields},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/aim-algebraic-geometry-0125/},
doi = {10.5281/zenodo.22514087},
note = {AIM-ALGEBRAIC_GEOMETRY-0125; unrefereed preprint}
}