Rationality of Néron-Tate height over function fields

Chengyuan Yang

We prove that the Néron-Tate height of subvarieties are always rational numbers. We use the induction formula, and characterize the canonical metric by theta functions.