Maths > Abelian varieties > Finiteness theorems and the Faltings height

## 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 `

`.`

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

`.`

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?`

Martin Orrsaid 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`

`.`