Eine Familie arithmetischer Maße, die algebraischen Zahlen oder rationalen Punkten auf Varietäten eine nichtnegative reelle Zahl zuordnet und deren arithmetische Komplexität und Wachstum quantifiziert. Typische Beispiele sind naive Höhen auf projektiven Koordinaten, die Weil-Höhe und kanonische Höhen wie die Néron–Tate-Höhe auf abelschen Varietäten.

Prinzip

Arithmetische Größe verfolgen und vergleichen, indem Beiträge aller Stellen eines Zahlkörpers aggregiert werden; dabei verwendet man logarithmische Bewertungen oder homogene Normen, sodass Höhenfunktionen bis auf eine beschränkte Abweichung fonktoriell sind.

Demonstration

Für einen rationalen Punkt im projektiven Raum, dargestellt durch teilerfremde ganze Zahlen (x0:...:xn), ist die naive projektive Höhe log max(|x0|,...,|xn|). Auf einer elliptischen Kurve ist die Néron–Tate-Kanonische Höhe eine quadratische Form, die wie das Quadrat der Multiplikation wächst und genau auf Torsionspunkten verschwindet.

Fehlanwendung

Nur eine an den archimedischen Stellen definierte Höhe verwenden, um globale diophantische Lösungen zu beschränken, dabei p-adische Beiträge ignorieren, die in manchen Familien dominieren können, und so falsche Aussagen über Finitheit treffen.

Konsequenz

Richtig angewandt erlauben Höhen explizite Finitheitsergebnisse, Northcott-artige Kompaktheitsaussagen, effektive Abstiegsargumente und quantitative Schranken für Lösungen diophantischer Gleichungen.

Umkehrung

Das Weglassen von Höhen führt zu rein qualitativen oder lokalen Aussagen über Punkte ohne Maß für ihre arithmetische Größe; damit lassen sich weder Verteilungen kontrollieren noch Finität beweisen oder Familien effektiv vergleichen.

Abgrenzung

Höhen messen arithmetische Komplexität, nicht geometrische Komplexität; sie erfordern die Wahl einer Einbettung oder einer Geradenbündels und sind je nach Modell bis auf O(1) bestimmt. Ohne zusätzliche Abschätzungen liefern sie nicht automatisch algorithmische Schranken.

Semantische Spannung

Höhen stehen im Widerstreit mit naiven Größenbegriffen und lokalen Bewertungen: naive Koordinatengröße ist einfacher, aber nicht intrinsisch, während lokale Bewertungen feine Struktur liefern und erst zu einer globalen Höhe zusammengefügt werden müssen.

Synthese

Höhenfunktionen sind globale arithmetische Größenmaße, aus lokalen Bewertungen oder Normen zusammengesetzt; sie machen qualitative arithmetische Eigenschaften quantitativ und sind zentral für Finität, Abstieg und Zählprobleme.