Ideals of degree one contribute most of the height

Abstract

Let $k$ be a number field, $f(x)\in k[x]$ a polynomial over $k$ with $f(0)\ne 0$, and ${Ø}_{k,S}^{\ast }$ the group of $S$-units of $k$, where $S$ is an appropriate finite set of places of $k$. In this note, we prove that outside of some natural exceptional set $T\subset {Ø}_{k,S}^{\ast }$, the prime ideals of ${Ø}_k$ dividing $f(u)$, $u\in {Ø}_{k,S}^{\ast }\setminus T$, mostly have degree one over $\Q$; that is, the corresponding residue fields have degree one over the prime field. We also formulate a conjectural analogue of this result for rational points on an elliptic curve over a number field, and deduce our conjecture from Vojta's Conjecture. We prove this conjectural analogue in certain cases when the elliptic curve has complex multiplication.

16 pages