Birch's theorem

{{short description|Statement about the representability of zero by odd degree forms}}

In mathematics, Birch's theorem,{{cite journal

| first=B. J. | last=Birch | authorlink=Bryan John Birch

| title=Homogeneous forms of odd degree in a large number of variables

| volume=4

| pages=102–105

| date=1957

| issue=2 | doi=10.1112/S0025579300001145}} named for Bryan John Birch, is a statement about the representability of zero by odd degree forms.

Statement of Birch's theorem

Let K be an algebraic number field, k, l and n be natural numbers, r₁, ..., r_k be odd natural numbers, and f₁, ..., f_k be homogeneous polynomials with coefficients in K of degrees r₁, ..., r_k respectively in n variables. Then there exists a number ψ(r₁, ..., r_k, l, K) such that if

: $n \ge \psi(r_1,\ldots,r_k,l,K)$

then there exists an l-dimensional vector subspace V of Kⁿ such that

: $f_1(x) = \cdots = f_k(x) = 0 \text{ for all } x \in V.$

Remarks

The proof of the theorem is by induction over the maximal degree of the forms f₁, ..., f_k. Essential to the proof is a special case, which can be proved by an application of the Hardy–Littlewood circle method, of the theorem which states that if n is sufficiently large and r is odd, then the equation

: $c_1x_1^r+\cdots+c_nx_n^r=0,\quad c_i \in \mathbb{Z},\ i=1,\ldots,n$

has a solution in integers x₁, ..., x_n, not all of which are 0.

The restriction to odd r is necessary, since even degree forms, such as positive definite quadratic forms, may take the value 0 only at the origin.

References

Category:Diophantine equations

Category:Analytic number theory

Category:Theorems in number theory