Height Functions

A family of arithmetic measures that assign a nonnegative real number to algebraic numbers or rational points on varieties, quantifying their arithmetic complexity and growth. Common examples include naive heights on projective coordinates, the Weil height, and canonical heights such as the Néron–Tate height on abelian varieties.