Smooth Hypersurfaces Beyond the Chevalley-Warning Range over Prime Fields

For every prime p, integer n >= 2, and degree d >= n+1, we construct a geometrically smooth hypersurface X in projective n-space over F_p of degree d such that #X(F_p) is not congruent to 1 modulo 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. This is an unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported literature search, computation, proof auditing and manuscript preparation. The author remains responsible for the claims and final text. No absolute priority claim is made. Corpus identifier: AIM-ALGEBRAIC_GEOMETRY-0125. EulerSolve page: https://eulersolve.org/papers/aim-algebraic-geometry-0125/

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-09-06
DOI
https://doi.org/10.5281/zenodo.22514086
Primary Topic
Algebraic Geometry and Number Theory
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Smooth Hypersurfaces Beyond the Chevalley-Warning Range over Prime Fields

Alper Ferudun
Zenodo (CERN European Organization for Nuclear Research)
Algebraic Geometry and Number Theory
preprint

Smooth Hypersurfaces Beyond the Chevalley-Warning Range over Prime Fields

Alper Ferudun
preprint en

Abstract

For every prime p, integer n >= 2, and degree d >= n+1, we construct a geometrically smooth hypersurface X in projective n-space over F_p of degree d such that #X(F_p) is not congruent to 1 modulo 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. This is an unrefereed preprint released for independent mathematical scrutiny. Publication on Zenodo does not constitute peer review. AI-assisted tools supported literature search, computation, proof auditing and manuscript preparation. The author remains responsible for the claims and final text. No absolute priority claim is made. Corpus identifier: AIM-ALGEBRAIC_GEOMETRY-0125. EulerSolve page: https://eulersolve.org/papers/aim-algebraic-geometry-0125/

Zenodo (CERN European Organization for Nuclear Research)
Mercer (Czechia) (CZ)
Algebraic Geometry and Number Theory
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.