Fonctions de Hauteur

Famille de mesures arithmétiques donnant un nombre réel non négatif à des nombres algébriques ou à des points rationnels sur des variétés, quantifiant leur complexité arithmétique et leur croissance. Exemples courants : la hauteur naïve sur des coordonnées projectives, la hauteur de Weil et les hauteurs canoniques comme la hauteur de Néron–Tate sur les variétés abéliennes.