9
$\begingroup$

I'll begin by saying that I'm not sure what I want to ask specifically, but pretty sure what in general, so please don't hold my misunderstandings against me, but do comment on them.

I know that the unit group of a number field is finitely generated, and so is $SL_2(\mathbb{Z})$. I understand that so are $SL_n(\mathbb{Z})$ (or was it $GL$?).

1) What is a known positive generalisation?

I also know that the subgroup of an abelian variety of points over a number field is finitely generated. I noticed that this is relevant after reading Franz Lemmermeyer's "Higher Descent on Pell Conics III. The First 2-Descent" (arxiv). The paper contains a proof that the unit group of a quadratic number field is finitely generated - using heights.

The way I think about it is this: the norm equation isn't a projective variety, so we make up for that by considering it over the integers. So we have heights and parallelogram laws and a proof of finitely generated.

2) Is there a single proof for Mordell-Weil, Dirichlet's Unit Theorem, and any to answer to (1), at the same time, that uses some kind of underlying concept to projective-ness and integral-ness?

I think (2) is more far fetched than (1), so feel free to ignore it :)

$\endgroup$
3
  • 7
    $\begingroup$ On a projective variety, integral points and rational points are the same. A general result for commutative algebraic groups is that the group of $S$-integral points on a semi-abelian variety defined over a number field is finitely generated. A semi-abelian variety is an extension of an abelian variety by a torus, so includes both the case of the multiplicative group (group of $S$-units) and the Mordell-Weil theorem (for abelian varieties). Is this the sort of generalization you were seeking? $\endgroup$ Feb 1, 2011 at 22:39
  • $\begingroup$ It is! Unless there is an even greater generalisation that includes non-commutative algebraic groups. Is there? $\endgroup$ Feb 1, 2011 at 22:55
  • 4
    $\begingroup$ You should look at this: mathoverflow.net/questions/22798/… $\endgroup$
    – fherzig
    Feb 2, 2011 at 0:27

1 Answer 1

9
$\begingroup$

It seems to me that if you are thinking of affine groups, then the appropriate result is that $S$-arithmetic subgroups of reductive linear algebraic groups over number fields are finitely generated. Over function fields there are exceptions (which I think are known explicitly).

This includes examples such as $SL_2(\mathbb{Z})$, as well as $S$-units in number fields.

For number fields the proof depends on the existence of compact (equivariant) retracts of fundamental domains for the action of the group on suitable spaces -- reduction theory, combined with the finite generation of the group of units.

However the Mordell-Weil theorem (finite generation of rational (or equivalently integral) points on an abelian variety, is a rather deeper result.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.