Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am looking for an article or book where the theory of heights over function fields (in any characteristic) is treated. I am especially interested in Northcott-type statements. For instance, over a function field $K$ over $\bf Q$, say, a subvariety $X$ of ${\bf P}^n_{K}$, which has a dense subset of $K$-points with bounded height, should have a model over (possibly a finite extension of) $\bf Q$. Where can I find the proof of such a statement ? When $K$ is a function field over a finite field, then one can use Hilbert schemes to get Northcott-type finiteness statements but in general, it seems that one should combine the theory of Hilbert schemes with some descent arguments. I would be grateful for any suggestions.

share|improve this question
    
I think such questions have been studied by people working in arithmetic dynamics, though I could not find a precise reference. Lucien Szpiro might be a good person to ask. –  ulrich Nov 11 '12 at 11:20
    
@Ulrich: I also thought about that but couldn't find anything. Thank you for the suggestion. It is a good idea to ask Szpiro. –  Damian Rössler Nov 11 '12 at 12:48
1  
I thought this statement (for an arbitrary constant field) could be found in Buium's book "Differential algebra and diophantine geometry" but I just looked and can't find the statement. –  Felipe Voloch Jan 21 '13 at 19:11
1  
Hi Damian. Things are slightly more complicated. What you get via Hilbert schemes is a variety defined over the constant field which dominates (generically finitely to one) your given variety. But in characteristic $p$, Moret-Bailly constructed (in Séminaire sur les pinceaux de courbes de genre au moins 2) an Abelian surface which is isogeneous to a constant one, but not constant... The paper of Chatzidakis and Hrushovski does something in this direction, but at in a birational setting. –  ACL Jan 21 '13 at 22:27
    
@Felipe Voloch. Thank you for pointing the book of Buium. I also think that that is the place to look (but I couldn't find it either...). –  Damian Rössler Jan 23 '13 at 13:49
show 1 more comment

2 Answers

up vote 5 down vote accepted

This is discussed (using somewhat older language) in Lang's Fundamentals of Diphantine Geometry. See in particular Chapter 3, Section 3, which is called "Heights in Function Fields". There is a theorem of Neron (Theorem 3.6 on page 66) which says that bounded height implies that the associated map has bounded degree. Then one should be able to use the theory Hilbert schemes (or as Lang uses in Chapter 6, the theory of Chow coordinates) to complete the argument. See also the discussion in Chapter 6, Section 5, which is entitled "Points of Bounded Height", where he uses Neron's result to analyze points of bounded height on abelian varieties; it seems that at least parts of the argument should apply generally.

share|improve this answer
    
Thank you for providing me with such precise references. I am sure that the result of Néron that you quote will turn out to be useful. I am aware of the Hilbert scheme arguments used to prove the Lang-Néron theorem but they don't seem to suffice to prove the descent results I have in mind, because I cannot make use of the theory of the $K|k$-trace. But maybe I am missing an obvious point ? –  Damian Rössler Jan 23 '13 at 13:48
add comment

Atsushi Moriwaki has written a beautiful paper on exactly this topic. The idea is to take an arithmetic polarization of your function field and use Arakelov intersection theory to incorporate the arithmetic of the constant field.

Arithmetic height functions over finitely generated fields. Invent. Math. 140 (2000), no. 1, 101–142.

Also, he extended his notion of polarization slightly in a follow-up article: arXiv:math/0006025 [math.NT].

share|improve this answer
    
Thank you very much for pointing out this reference. I agree that Moriwaki addresses the problem I mention but he doesn't give any descent arguments, which is what I am looking for (Moriwaki shows that over $\bf Q$, I consider the "wrong" height and he is probably right about that but for the time being I want to use the purely geometric height). –  Damian Rössler Jan 23 '13 at 13:40
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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