Since is bounded, a bound on bounds the projective height of . The Northcott theorem gives only finitely many possible rational -coordinates, and each has at most two points above it. Hence
By the Mordell-Weil theorem, . The canonical height is a positive-definite quadratic form on the lattice , so canonical-height lattice-point growth givesIf , this count is bounded; if , it is . Consequently
Articles by others on the same topic
There are currently no matching articles.