## [Höhenfunktionen](/de/node/62065) Definition 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 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 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 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 Konsequenz Richtig angewandt erlauben Höhen explizite Finitheitsergebnisse, Northcott-artige Kompaktheitsaussagen, effektive Abstiegsargumente und quantitative Schranken für Lösungen diophantischer Gleichungen. ## Umkehrung 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 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 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 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.