AIM-ALGEBRAIC_GEOMETRY-0125 · Complete proof

Smooth Hypersurfaces Beyond the Chevalley-Warning Range over Prime Fields

Manuscript 6 September 2026 · Online 6 September 2026

math.AGmath.NTUnrefereed preprint

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
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}
}