BIRCH'S THEOREM

In mathematics, 'Birch's theorem',^[1] named for Bryan John Birch, is a statement about the representability of zero by odd degree forms.

Contents

Statement of Birch's theorem

Remarks

References

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
:$ngepsi(r\_1,ldots,r\_k,l,K)$
implies that there exists an ''l''-dimensional vector subspace ''V'' of ''K''^''n'' such that
:

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+ldots+c\_nx\_n^r=0,quad\; c\_iinmathbb\{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

1. B. J. Birch, ''Homogeneous forms of odd degree in a large number of variables'', Mathematika, '4', pages 102-105 (1957)