Martin's Blog

Siegel's theorem for curves of genus 0

Posted by Martin Orr on Friday, 28 October 2011 at 12:35

Last time we proved Siegel's theorem on the finiteness of integer points on affine curves of genus at least 1. The theorem applies also to curves of genus 0 with at least 3 points at infinity. I shall give a simple proof that deduces this from the higher genus case, then another proof using Baker's theorem from transcendental number theory which gives an effective bound on the heights of the points.

Theorem. Let be a number field and a finite set of places of . Let be an affine -curve of genus 0 such that there are at least 3 -points in the projective closure of which are not in . Then has finitely many -integer points.

The condition that there should be at least 3 points at infinity is necessary: the affine line is a genus 0 curve with 1 point at infinity and infinitely many integer points, and the curve for a non-square positive integer has 2 points at infinity and infinitely many integer points.

The unit equation

The unit equation is a special case of Siegel's theorem for genus 0. We give a simple proof that it has finitely many solutions, using Siegel's theorem for higher genus. Then we show that the general Siegel's theorem for any curve of genus 0 can be reduced to the unit equation.

Theorem. Let be a number field and a finite set of places of . Let .
Then the equation has finitely many solutions in -units .

Proof 1. The group is finite (by Dirichlet's unit theorem) so any -units has for and from a fixed finite set. Hence there are finitely many equations of the form which give all the solutions to the unit equation.

But each equation defines an affine curve of genus 1, so by Siegel's theorem it has finitely many integer solutions.

To see that this is a special case of Siegel's theorem for genus 0, observe that solutions to the unit equation are the same as -integer points on the affine curve Projection onto the -coordinate gives an isomorphism with so this is a genus 0 curve with three points at infinity.

Any genus 0 curve is isomorphic to minus a finite set of points, so if it has at least 3 points at infinity then it has an injective morphism into for some . This morphism is given by polynomials with coefficients in ; by multiplying them by a constant we may suppose that the coefficients are in and so the morphism takes -integral points to -integral points. Then the finiteness of the solutions to the unit equation implies the finiteness of -integer points on the original curve.

Baker's method

Baker's theorem gives an effective bound on how closely it is possible to approximate zero by a linear combination of logarithms. We can use this to prove the finiteness of solutions to the unit equation, and get an effective bound on their height.

Baker's Theorem. Let be a number field and . Then there is an effective constant , depending only on and on the completion , such that for any integers with , either

(This statement of the theorem contains no logarithms, but it is equivalent to a statement that is either zero or bounded away from zero.)

To apply this to the unit equation, we start with Dirichlet's unit theorem: is isomorphic to the direct product of a finite group and a free abelian group; let be a basis for the latter.

Given , define . This defines a discrete norm on . We can define another such norm by To see that the latter is a norm, we need to prove that it is positive for all . This follows from the fact that for . (We need to enlarge here to contain all the archimedean places. Then for an -unit, we have for and the product formula gives that the sum of the logs of the absolute values is 0.)

Any two discrete norms on a finitely generated free abelian group are equivalent, so there exists a constant such that Or in other words, for any , there is a valuation for which .

Since is finite, it will suffice to prove that for each , has finitely many solutions in -units satisfying and .

So given such a solution, write and , and .

Then for some constants , depending only on .

But by Baker's theorem, the LHS of this inequality is greater than . So we have and is bounded. The constants are effectively computable, and hence we can get an effective bound for .

Tags maths, number-theory

1. Barinder Banwait said on Sunday, 06 November 2011 at 19:17 :
1. Small typo: In the paragraph before "The Unit Equation", I think you want your curve to be .

2. Why is a norm, that is, why is it non-negative? So far as I can see, all of the could be negative. Don't we need to bound from below as well?

2. Martin Orr said on Monday, 07 November 2011 at 12:36 :

You area right on both counts. Both in the definition of and in in Baker's theorem, the s need to be replaced by .