MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

Consider the following conjecture, going back to Lang and restated (and proved) in the elliptic case in a 2009 Crelle paper by David and Hirata-Kohno (see Conjecture 1.2 in their paper).

Conjecture (Lang): Let $A$ be an abelian variety defined over a number field $K$ and $\varphi$ a non-constant rational function on $A$ defined over $K$. Let $h$ be a logarithmic height on $A$ with respect to some projective embedding of $A$. Then there exist positive constants $C, N$ such that $$|\varphi(P)| \ge h(P)^{−C}$$ for every $P \in A(K)$ satisfying $\varphi(P) \ne 0$ and $h(P) \ge N$.

Lang explains (for instance in his book Number theory III) that if $A$ is one-dimensional, then this conjecture can be reduced to a statement about linear forms in elliptic logarithms. Indeed, in this case the conjecture can be proved by deducing it from a lower bound on linear forms in elliptic logarithms proved in the above-mentioned paper of David-Hirata-Kohno.

I'm interested in the higher-dimensional case.

Question 1: If $A$ has dimension $>1$, can the conjecture also be reduced to a statement about linear forms in abelian logarithms?

Gaudron has proved lower bounds on linear forms in abelian logarithms which (for our purposes) generalize the bounds of David-Hirata-Kohno.

Question 2: Does the conjecture follow from Gaudron's results? If not, are any partial results known in the higher-dimensional case?

share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.