MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am Pierre MATSUMI. Could you please teach me what is effective Mordell.

Assume that f(X,Y) = 0 which defines smooth affine curve with genus > 1, and that there will be the solution X=n/m, Y=n'/m' in rational number Q. Then,

Theorem(?)(Effective Mordell): max(|n|,|m|,|n'|,|m'|) < const_f for some constant const_f with some constant in positive real number.

Is this statement right?

I found some article where, if C denotes the proper smooth curve defined by f(X,Y) after compactification, effective Mordell is equivalent to the fact that there is some non-trivial function F:C ---> P^1 and the height of F(n/m,n'/m') is bounded.

I am NOT sure whether this definition is equivalent to the above Theorem(?).... Please just teach me.

Sincerely yours, Pierre MATSUMI

share|cite|improve this question
I think effective simply means that we know an algorithm to determine const_f from the coefficients of f. At the moment we don't know such an algorithm, we only know that const_f exists. – GH from MO Mar 1 '13 at 18:10
So your "Theorem(?)" is a theorem (of Faltings), but it is not the effective version. An effective version is not known at the moment. For certain families of curves there is an effective version, but that is another issue. – GH from MO Mar 1 '13 at 18:15

If one had an effective version of the abc conjecture, then Elkies showed how to use it to obtain an effective version of the Mordell conjecture (using Belyi maps).

In your formulation, the theorem would be effective if there was an algorithm to compute the constant const_f for any given f.

For example, assume that $f$ has coefficients in $\mathbb Z$, and let $H(f)$ be the maximum of the absolute values of its coefficients. Then the following would be an effective version of the Mordell conjecture: $$ \max(|n|,|m|,|n'|,|m'|) \le 10^{10^{10^{H(f)+\deg(f)+1000}}}. $$ NOTE: I'm not saying that this statement is known; it's not. (Although I'd be surprised if it isn't true.) But it illustrates what is meant by an "effective bound".

share|cite|improve this answer
Thanks a lot! I finally got the meaning of ``effective"!! Pierre – Pierre MATSUMI Mar 2 '13 at 8:42

Your Answer


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.