[Paper Review] Improvements in Birch's theorem on forms in many variables

T. D. Browning, Sean Prendiville|arXiv (Cornell University)|Feb 18, 2014

Algebraic Geometry and Number Theory13 references3 citations

TL;DR

This paper improves Birch's classical theorem on the solubility of homogeneous forms in many variables by reducing the required number of variables for the smooth Hasse principle to hold. Using refined exponential sum estimates and the Hardy–Littlewood circle method, the authors show that a non-singular integral form of degree $d$ is soluble over $\mathbb{Z}$ if and only if it is soluble over $\mathbb{R}$ and $\mathbb{Q}_p$ for all $p$, provided $n - \sigma \geq \left(d - \frac{1}{2}\sqrt{d}\right)2^d$, significantly improving previous bounds for all $d \geq 3$. The result sharpens known bounds for cubic, quartic, and quintic forms, with notable savings in required variables.

ABSTRACT

We show that a non-singular integral form of degree d is soluble non-trivially over the integers if and only if it is soluble non-trivially over the reals and the p-adic numbers, provided that the form has at least (d-\sqrt{d}/2)2^d variables. This improves on a longstanding result of Birch.

Motivation & Objective

• To reduce the number of variables required for the smooth Hasse principle to hold for integral forms of degree $d \geq 3$.
• To refine Birch's classical result, which required $n - \sigma > (d-1)2^d$, by introducing a tighter bound.
• To extend the applicability of the Hardy–Littlewood circle method to forms with singular loci of dimension $\sigma$.
• To provide a quantitative improvement over prior results, especially for $d = 3, 4, 5$, by reducing the number of variables needed for solubility.
• To establish conditions under which local solubility implies global solubility for forms with controlled singular loci.

Proposed method

• Applies the Hardy–Littlewood circle method to analyze the number of integer solutions to $F(x_1, \dots, x_n) = 0$, focusing on major and minor arcs.
• Uses exponential sum estimates to bound the minor arc contribution, relying on the singular locus dimension $\sigma$ to refine the analysis.
• Establishes a major arc asymptotic via the singular series $\mathfrak{S}$ and singular integral $\mathfrak{I}$, with convergence conditions tied to $n - \sigma$.
• Derives the key estimate $I(\gamma) \ll \min\{1, |\gamma|^{-\frac{n-\sigma}{(d-1)2^{d-1}} + \varepsilon}\}$ for the singular integral.
• Applies multiplicative properties of the singular series $A(q)$ and bounds $A(p^k)$ via Deligne’s estimates and induction on $\sigma$, refining the convergence of $\mathfrak{S}$.
• Uses dyadic decomposition and $q = uv$ factorization to bound the tail $|\mathfrak{S} - \mathfrak{S}(R)|$, establishing $O(R^{-\eta})$ decay for $n - \sigma > \frac{3}{4}(d-1)2^d$.

Experimental results

Research questions

• RQ1 What is the minimal number of variables $n$ required for a non-singular integral form of degree $d$ to satisfy the smooth Hasse principle?
• RQ2 Can the bound $n - \sigma > (d-1)2^d$ in Birch's theorem be improved for forms with singular locus of dimension $\sigma$?
• RQ3 How does the presence of a singular locus affect the convergence of the singular series and integral in the circle method?
• RQ4 To what extent can exponential sum estimates be refined to reduce the number of variables needed for solubility?
• RQ5 Can the circle method be adapted to yield sharper bounds for $d = 3, 4, 5$ than previously known?

Key findings

• The paper establishes that the smooth Hasse principle holds for forms of degree $d \geq 3$ provided $n - \sigma \geq \left(d - \frac{1}{2}\sqrt{d}\right)2^d$, improving Birch’s original bound of $n - \sigma > (d-1)2^d$.
• For $d = 3$, the result implies the smooth Hasse principle holds in at least 13 variables, matching the best-known bound for cubic forms.
• For $d = 4$, the bound recovers the result of Browning and Heath-Brown, confirming the smooth Hasse principle for $n - \sigma \geq 41$, and later improved to $n - \sigma \geq 40$ by Hanselmann.
• For $d = 5$, the bound saves 18 variables over Birch’s original result, reducing the required $n - \sigma$ from $16 \cdot 32 = 512$ to $\left(5 - \frac{1}{2}\sqrt{5}\right) \cdot 32 \approx 494$, a significant improvement.
• The method yields a convergence condition for the singular integral $\mathfrak{I}$ when $n - \sigma > \frac{1}{2}(d-1)2^d$, and for the singular series $\mathfrak{S}$ when $n - \sigma > \frac{3}{4}(d-1)2^d$, ensuring the asymptotic formula is valid.
• The authors show that for $d = 5$, checking local solubility over $\mathbb{Q}_p$ is sufficient for $p \leq 13$, due to known bounds on $\nu_5(p)$, reducing the number of primes to verify.