English

A lower bound for the height of a rational function at $S$-unit points

Number Theory 2007-05-23 v2

Abstract

Let Γ\Gamma be a finitely generated subgroup of the multiplicative group \Gm2(Qˉ)\G_m^2(\bar{Q}). Let p(X,Y),q(X,Y)\batQp(X,Y),q(X,Y)\in\bat{Q} be two coprime polynomials not both vanishing at (0,0)(0,0); let ϵ>0\epsilon>0. We prove that, for all (u,v)Γ(u,v)\in\Gamma outside a proper Zariski closed subset of Gm2G_m^2, the height of p(u,v)/q(u,v)p(u,v)/q(u,v) verifies h(p(u,v)/q(u,v))>h(1:p(u,v):q(u,v))ϵmax(h(uu),h(v))h(p(u,v)/q(u,v))>h(1:p(u,v):q(u,v))-\epsilon \max(h(uu),h(v)). As a consequence, we deduce upper bounds for (a generalized notion of) the g.c.d. of u1,v1u-1,v-1 for u,vu,v running over Γ\Gamma.

Keywords

Cite

@article{arxiv.math/0311030,
  title  = {A lower bound for the height of a rational function at $S$-unit points},
  author = {Pietro Corvaja and Umberto Zannier},
  journal= {arXiv preprint arXiv:math/0311030},
  year   = {2007}
}

Comments

Plain TeX 18 pages. Version 2; minor changes. To appear on Monatshefte fuer Mathematik