Hauteur de Néron–Tate

Une fonction hauteur canonique quadratique (ou un accouplement de hauteurs) sur les points rationnels d'une variété abélienne sur un corps global, construite pour être quadratique sous multiplications-by-n et pour éliminer les termes d'erreur bornés des hauteurs naïves, fournissant un accouplement régulateur bilinéaire sur les groupes de Mordell–Weil.