In mathematics, the Faltings height of an abelian variety defined over a number field is a measure of its arithmetic complexity. It was introduced by Faltings (1983) in his proof of the Mordell conjecture.