  In this paper, we establish a theory of adelic line bundles over
quasi-projective varieties over finitely generated fields. Besides definitions
of adelic line bundles, we consider their intersection theory, volume theory,
and height theory, and apply these to study heights of algebraic points of
quasi-projective varieties.
