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.

Prinzip

Man normalisiert eine geometrische (Weil-)Höhe mittels Pullback durch Multiplikationsabbildungen, sodass die resultierende kanonische Höhe eine quadratische Form erfüllt mit Ĥ([n]P)=n^2 Ĥ(P); diese Stabilität erzeugt Funktorialität, zerlegt sich in lokale Beiträge und steht in Beziehung zur Schnitttheorie auf Modellen.

Demonstration

Auf einer elliptischen Kurve über einem Zahlkörper lässt sich die Néron–Tate-Höhe eines rationalen Punktes als Limes skalierter naiver Höhen unter Iterationen der Multiplikation berechnen; der Regulator, gebildet aus der Höhenpaarung zu einer Basis der Mordell–Weil-Gruppe, erscheint in der Birch–Swinnerton-Dyer-Vermutung und steuert Rangberechnungen.

Fehlanwendung

Die naive logarithmische Höhe anstelle der kanonischen Höhe zu verwenden, wenn Quadratik notwendig ist (z. B. zur Definition eines Regulators), oder kein symmetrisches amplitudes Geradenbündel zu wählen, sodass die kanonische Normalisierung nicht gilt, führt zu falschen Paarungen und Rangfolgen.

Konsequenz

Die Néron–Tate-Höhe liefert eine positiv semidefinite quadratische Form mit Kern die Torsionsuntergruppe, liefert einen kanonischen Regulator, der die arithmetische Komplexität rationaler Punkte misst, und ermöglicht analytische und Abstiegsargumente, die empfindlich auf Rang und Punktverteilung reagieren.

Umkehrung

Die Verwendung roher lokaler Höhenfunktionen oder naiver Höhen ohne kanonische Normalisierung erzeugt Funktionen, die nur quasi-quadratisch (bis auf einen beschränkten Fehler) sind und nicht die exakte bilineare Regulatorpaarung oder die saubere Beziehung zu Schnittzahlen liefern.

Abgrenzung

Definiert für abelsche Varietäten über globalen Körpern mit der Wahl eines symmetrischen ample Geradenbündels; sie ist nur bis auf beschränkte Funktionen kanonisch relativ zu verschiedenen Modellen und gilt nicht unverändert für beliebige algebraische Punkte über nicht-globalen Basen ohne Anpassung der Konstruktion.

Semantische Spannung

Wird häufig der naiven (Weil-)Höhe und lokalen Höhenzerlegungen gegenübergestellt: naive Höhen sind leichter zu berechnen, fehlen aber die exakte Quadratik, während kanonische Höhen für arithmetische Invarianten geeignet sind, aber Limesbildungen und Bündelwahlen erfordern.

Synthese

Die Néron–Tate-Höhe ist die kanonische quadratische Verfeinerung naiver Höhen auf abelschen Varietäten: durch Forderung der Quadratik unter Multiplikation und Zerlegung in lokale Höhen liefert sie den Regulator, trennt die Torsion und quantifiziert die arithmetische Größe auf fonktoriell und schnitttheoretische Weise.