Zhang’s inequality [01K4]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Zhang’s inequality
The essential minimum of the height is defined as
where the supremum runs over non-empty open subsets of . If is big, then is a real number. Another way to state its definition is the following : for any real number , then the set
is Zariski dense if , and is not Zariski dense if .
Assume that is an ample line bundle on , equipped with a semi-positive adelic metric. The (geometric/arithmetic) Hilbert-Samuel theorem implies the following inequality
(See Zhang [59], as well as [38, 28] for more details in the geometric case). When is a curve and is a number field, Autissier [3] proved that the inequality holds for any ample line bundle with an admissible adelic metric (see [18]) ; this extends to the geometric case.