Birch's theorem over function fields with quadratically many variables
Abstract
For smooth hypersurfaces over rational function fields of characteristic greater than the degree and with sufficiently large constant field, we improve the number of variables required in Birch's theorem from an exponential function of the degree to a quadratic one. This agrees, up to constants, with the sharp quadratic threshold for the unconditional existence of rational points on smooth hypersurfaces. A circle method argument reduces the required cancellation to lower bounds for the codimensions of certain singular loci associated with complete exponential sums over finite fields. Our main innovation is a new method for proving these bounds: we introduce the notion of multiplication rank for the linear functionals indexing these exponential sums and combine the resulting rank stratification with a weighted degeneration of the Jacobian equations to obtain a codimension estimate that grows linearly with multiplication rank.
Related
- Improved bounds in Birch's theorem for forms in many variables
- On Algebraic Integrability of Vector Fields with Rational Function Coefficients that Separate Variables
- Frey-Mazur theorem for semistable elliptic curves over function fields
- A Generalization of Sárközy's theorem in function fields
- Spaces of triangularizable matrices (III): Perfect non-quadratically closed fields with characteristic 2
BibTeX
@misc{haseliu2026birchs,
title = {{Birch's theorem over function fields with quadratically many variables}},
author = {Matthew Hase-Liu},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2608.27285},
eprint = {2608.27285},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.27285},
}
RIS
TY - UNPB
TI - Birch's theorem over function fields with quadratically many variables
AU - Matthew Hase-Liu
PY - 2026
DA - 2026/09/10
PB - arXiv
DO - 10.48550/arxiv.2608.27285
UR - https://arxiv.org/abs/2608.27285
AB - For smooth hypersurfaces over rational function fields of characteristic greater than the degree and with sufficiently large constant field, we improve the number of variables required in Birch's theorem from an exponential function of the degree to a quadratic one. This agrees, up to constants, with the sharp quadratic threshold for the unconditional existence of rational points on smooth hypersurfaces. A circle method argument reduces the required cancellation to lower bounds for the codimensions of certain singular loci associated with complete exponential sums over finite fields. Our main innovation is a new method for proving these bounds: we introduce the notion of multiplication rank for the linear functionals indexing these exponential sums and combine the resulting rank stratification with a weighted degeneration of the Jacobian equations to obtain a codimension estimate that grows linearly with multiplication rank.
ER -