  This paper is the sequel of our paper "Arithmetic height functions over
finitely generated fields" (cf. math.NT/9809016). In this paper, we define the
canonical height of subvarieties of an abelian variety over a finitely
generated field over Q. We also prove that the canonical height of a subvariety
is zero if and only if it is a translation of an abelian subvariety by a
torsion point.
