Néron–Tate-Höhe
Definition
Eine kanonische quadratische Höhenfunktion (oder Höhenpaarung) auf rationalen Punkten einer abelschen Varietät über einem globalen Körper, konstruiert so, dass sie unter der Multiplikation mit n quadratisch ist und beschränkte Fehlerterme der naiven Höhen entfernt, wodurch eine bilineare Regulatorpaarung auf Mordell–Weil-Gruppen entsteht.