Birch’s theorem and the variable-bound problem for the smooth Hasse principle
For each integer , determine the least integer such that the following holds: for every homogeneous form of degree , let be the hypersurface and let . If and has a nonsingular point over every completion of , then has a nonsingular point over .
References
Primary source
Additional references
Progress summary
A September 2026 preprint claims a better variable threshold for Birch’s theorem, but its exact bound and correctness have not been independently verified.
The problem concerns lowering the number of variables needed for the smooth Hasse principle for degree- forms, particularly when . The retrieved sources record substantial earlier improvements but do not identify a final optimal threshold.
Known results
- An earlier theorem establishes the smooth Hasse principle when .
- For , a stronger condition is .
- These bounds include nonsingular cubic forms in at least variables and save variables over Birch’s bound for quintic forms.
September 2026 claimed improvement
A September 2026 preprint, Improved bounds in Birch's theorem for forms in many variables, reports an improvement to the best known variable bound for degrees . The numerical bound is not given in the retrieved abstract, and the claim is unrefereed and therefore unverified.
Current status (as of September 2026): Earlier explicit bounds are established, while a newer improvement for is claimed but unverified; the optimal variable-bound problem remains open.
Sources
- ar5iv.labs.arxiv.org
- arxiv.org
- oskarhenriksson.io
- en.wikipedia.org
- math.stackexchange.com
- article.sapub.org
- scientificamerican.com
- quantamagazine.org
- mathoverflow.net
- www-cdn.anthropic.com
- export.arxiv.org
- arxiv.org
- arxiv.org
- arxiv.org
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- mathstodon.xyz
- scientificamerican.com
- www-cdn.anthropic.com
- www-cdn.anthropic.com
Solutions 0
No solutions have been posted yet.