Heights on toric varieties for singular metrics: Global theory

Diese Arbeit entwickelt eine torische Analogie zur Theorie der adelischen Divisoren auf quasi-projektiven arithmetischen Varietäten und zeigt, dass die arithmetische Selbstschnittzahl einer semipositiven torischen adelischen Divisoren durch das Integral einer konkaven Funktion über einer kompakten konvexen Menge gegeben ist, was die Berechnung von Höhen torischer arithmetischer Varietäten bezüglich Linienbündeln mit singulären torischen Metriken ermöglicht.

Das Wesentliche

Hier ist eine einfache Erklärung der wissenschaftlichen Arbeit von Gari Y. Peralta Alvarez, übersetzt in eine bildhafte, alltägliche Sprache.

Der große Überblick: Eine Landkarte für unsichtbare Berge

Stellen Sie sich vor, Mathematiker versuchen, die „Komplexität" von geometrischen Formen zu messen, die nicht nur im Raum existieren, sondern auch in der Welt der Zahlen (der Arithmetik). Diese Formen nennt man arithmetische Varietäten.

In der klassischen Mathematik (wie bei Gillet und Soulé) war man sehr streng: Um die „Höhe" (eine Art Maß für Komplexität) einer solchen Form zu berechnen, musste man sie mit einem perfekten, glatten Stoff überziehen (eine glatte Metrik). Das ist wie das Messen der Oberfläche eines glatten Eissteins.

Aber in der echten Welt gibt es keine perfekten Eissteine. Es gibt Ecken, Kanten, Risse und scharfe Spitzen. In der Mathematik nennt man diese singuläre Metriken. Wenn man versucht, die Höhe einer Form mit solchen Rissen zu messen, bricht die alte Mathematik zusammen. Die Formel funktioniert nicht mehr.

Das Problem: Wie misst man die Höhe einer Form, die an den Rändern kaputt oder unendlich steil ist?

Die Lösung dieses Papers: Der Autor entwickelt eine neue Art von „Landkarte" für diese kaputten Formen, indem er sich auf eine spezielle Gruppe von Formen konzentriert: Tori (in der Mathematik sind das wie Ringe oder Donuts, die sich in viele Richtungen ausdehnen).

---

Die drei Hauptakteure der Geschichte

1. Die alten Karten (Yuan und Zhang)

Stellen Sie sich Yuan und Zhang als Kartographen vor, die eine neue Methode entwickelt haben, um Länder zu vermessen, die nicht vollständig sind (quasi-projektiv). Sie sagen: „Wir nehmen alle möglichen perfekten Modelle eines Landes, schneiden sie auf und kleben sie zusammen, um eine unendliche Landkarte zu erhalten."

• Das Problem: Diese Landkarte ist riesig, unübersichtlich und schwer zu lesen. Um eine Zahl daraus zu berechnen, muss man unendlich viele kleine Teile addieren.

2. Die Torus-Spezialisten (Burgos, Philippon, Sombra)

Diese Forscher haben eine spezielle Technik für „Donut-Länder" (Tori) entwickelt. Sie sagten: „Wenn das Land ein Torus ist, brauchen wir gar keine komplizierte Landkarte. Wir können alles auf eine einfache, flache Landkarte aus Konvexen (wie ein flaches Stück Papier mit geraden Linien) reduzieren."

• Der Trick: Statt die Form im Raum zu betrachten, schauen sie auf eine konkave Funktion (eine Art „Dach" oder „Hügel"). Die Höhe des Hügels an einem bestimmten Punkt gibt ihnen die Information, die sie brauchen.
• Das Ergebnis: Die Höhe des ganzen Landes ist einfach das Volumen unter diesem Dach.

3. Der neue Held (Gari Peralta Alvarez)

Der Autor dieses Papers sagt: „Warum können wir die einfache Dach-Methode der Torus-Spezialisten nicht auf die riesige, unübersichtliche Landkarte von Yuan und Zhang anwenden?"

Er verbindet die beiden Welten. Er zeigt, dass man auch für die riesigen, unendlichen Landkarten (die Yuan und Zhang erfunden haben) eine einfache Dach-Karte erstellen kann, solange man sich auf Tori beschränkt.

---

Die kreativen Analogien

Analogie 1: Das Dach über dem Markt

Stellen Sie sich einen riesigen, offenen Markt vor (das ist der Torus).

• Die alte Methode: Um zu wissen, wie viel Ware (die „Höhe") auf dem Markt liegt, müsste man jeden einzelnen Händler einzeln zählen und dann alle Summen addieren. Bei einem unendlichen Markt ist das unmöglich.
• Die neue Methode (dieses Paper): Der Autor sagt: „Schauen Sie nicht auf die Händler. Schauen Sie auf das Dach, das über dem Markt gespannt ist."
  • Wenn das Dach glatt ist, ist alles einfach.
  • Wenn das Dach Risse hat, Ecken hat oder an manchen Stellen ins Unendliche abfällt (die „singulären Metriken"), ist das okay.
  • Der Autor beweist: Selbst wenn das Dach kaputt ist, können wir immer noch das Volumen unter dem Dach berechnen. Und dieses Volumen ist genau die Antwort, die wir suchen (die arithmetische Schnittzahl).

Analogie 2: Der Koch und die Zutaten

Stellen Sie sich vor, Sie wollen ein Rezept für einen Kuchen (die arithmetische Schnittzahl) schreiben.

• Die alten Regeln: Sie durften nur perfekte, glatte Zutaten verwenden. Wenn ein Ei einen Riss hatte, war das Rezept ungültig.
• Die neue Regel: Der Autor sagt: „Wir können auch Eier mit Rissen verwenden!"
  • Er entwickelt eine neue Art, die Zutaten zu wiegen. Er zeigt, dass man die „Risse" (die Singularitäten) in eine mathematische Funktion (das Dach) umwandeln kann.
  • Das Besondere: Er zeigt, dass man selbst dann noch ein endliches Ergebnis (einen fertigen Kuchen) bekommt, auch wenn einige Zutaten unendlich stark gewürzt sind, solange man die Zutaten richtig kombiniert.

Analogie 3: Der unendliche Stapel von Karten

Yuan und Zhang haben einen Stapel von Karten, der unendlich hoch ist. Um die Höhe zu messen, muss man den ganzen Stapel durchmessen.
Der Autor sagt: „Wir müssen den ganzen Stapel nicht durchmessen. Wir können eine einzige, zusammengefasste Karte zeichnen."

• Diese Karte ist das „globale Dach" (Global Roof Function).
• Er beweist, dass diese eine Karte alle Informationen aus dem unendlichen Stapel enthält.
• Und das Beste: Selbst wenn die Karte an den Rändern zerrissen ist (Singularitäten), können wir immer noch das Volumen berechnen.

---

Was ist das eigentliche Ergebnis?

Der Autor hat einen Rezeptbuch-Eintrag (eine Formel) gefunden.
Wenn Sie eine solche „kaputte" Form (ein Torus mit singulärer Metrik) haben, müssen Sie nicht mehr raten oder komplizierte Grenzwerte berechnen.

Sie tun Folgendes:

1. Zeichnen Sie das „Dach" (die konkave Funktion) über der Form.
2. Berechnen Sie das Volumen unter diesem Dach.
3. Das Ergebnis ist die arithmetische Schnittzahl.

Warum ist das wichtig?
Früher konnten Mathematiker viele wichtige Fragen nicht beantworten, weil die Metriken (die „Stoffe") zu kaputt waren. Mit dieser neuen Formel können sie jetzt:

• Die „Höhe" von sehr komplexen mathematischen Objekten berechnen.
• Neue Vermutungen testen (wie die der Bogomolov-Vermutung).
• Beispiele konstruieren, bei denen die alten Methoden versagt hätten (z. B. wenn die Singularitäten so schlimm sind, dass sie „schlimmer als logarithmisch" sind).

Zusammenfassung in einem Satz

Der Autor hat gezeigt, dass man auch bei den kompliziertesten, „zerklüfteten" mathematischen Formen (Tori) die Höhe einfach berechnen kann, indem man sich nicht auf die einzelnen Risse konzentriert, sondern auf die Form des „Daches", das über allem liegt – und dieses Dach kann man sogar dann noch messen, wenn es Löcher hat.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Artikels „Heights on Toric Varieties for Singular Metrics: Global Theory" von Gari Y. Peralta Alvarez auf Deutsch.

1. Problemstellung und Motivation

Das zentrale Problem dieses Artikels liegt in der Erweiterung der Arakelov-Geometrie auf quasi-projektive torische arithmetische Varietäten unter Berücksichtigung von singulären Metriken.

• Hintergrund: Die klassische Arakelov-Theorie (Gillet-Soulé) definiert Höhen und Schnittzahlen für hermitesche Linienbündel auf glatten projektiven Modellen mit glatten Metriken. Viele natürliche Beispiele, wie der Hodge-Bündel auf Modulräumen abelscher Varietäten oder Linienbündel von Siegel-Jacobi-Formen, weisen jedoch singuläre Metriken auf (z. B. logarithmische oder stärkere Singularitäten am Rand).
• Vorarbeiten: Yuan und Zhang entwickelten eine Theorie der adelischen Divisoren für quasi-projektive Varietäten, die als arithmetisches Analogon zu $b$-Divisoren fungiert. Burgos, Philippon und Sombra lieferten für projektive torische Varietäten eine explizite konvex-analytische Beschreibung der Arakelov-Geometrie mittels „Roof-Funktionen" (Dachfunktionen) auf konvexen Polyedern. Burgos und Kramer erweiterten dies kürzlich auf singuläre Metriken mittels relativer Energie.
• Lücke: Es fehlte eine konsistente globale Theorie, die die adelic-Divisor-Theorie von Yuan-Zhang mit der expliziten konvex-analytischen Beschreibung torischer Varietäten verbindet, insbesondere für den Fall, dass die Metriken singulär sind und die zugrundeliegende Varietät quasi-projektiv ist (z. B. ein Torus $U$ statt einer kompakten Varietät $X$).

2. Methodik

Der Autor entwickelt eine torische Analogie zur Theorie von Yuan und Zhang. Die Methodik basiert auf folgenden Säulen:

1. Kombinatorische Beschreibung:

   • Einführung von arithmetischen Fächern (arithmetic fans) $\Sigma = (\tilde{\Sigma}_p)_p$, die aus einem glatten projektiven Fan $\Sigma$ über dem Funktionenkörper und lokalen Erweiterungen $\tilde{\Sigma}_p$ über den lokalen Ringen $\mathcal{O}_{K,p}$ bestehen.
   • Charakterisierung projektiver torischer arithmetischer Modelle durch diese Fächer.
   • Nutzung der Tropifizierung (Tropicalization), um torische Divisoren und ihre Green-Funktionen auf Funktionen auf dem Raum der Koelemente $N_{\mathbb{R}}$ zu übertragen.

2. Adelische Divisoren im torischen Kontext:

   • Definition der Gruppe der torischen adelischen Divisoren $\text{Div}_T(U/\mathcal{O}_K)$ als Vervollständigung der Gruppe der torischen Modell-Divisoren bezüglich einer Rand-Norm (boundary norm).
   • Diese Vervollständigung erlaubt die Behandlung von Divisoren, die durch Cauchy-Folgen von Modell-Divisoren repräsentiert werden, was notwendig ist, um singuläre Metriken zu erfassen.

3. Konvex-Analytische Charakterisierung:

   • Übersetzung der geometrischen Objekte (Divisoren, Green-Funktionen) in konkave Funktionen (Roof-Funktionen $\vartheta_v$) auf einem kompakten konvexen Polytop $\Delta$.
   • Nutzung der Legendre-Fenchel-Transformation, um die Beziehung zwischen tropischen Green-Funktionen und Roof-Funktionen herzustellen.
   • Beweis, dass die globale Roof-Funktion $\vartheta_D$ als Summe der lokalen Roof-Funktionen $\vartheta_{D,v}$ (gewichtet mit $\delta_v$) definiert werden kann, wobei die Summe für Punkte im Inneren des Polytops endlich ist.

3. Wichtige Beiträge und Ergebnisse

Die Arbeit liefert mehrere fundamentale Sätze, die die Theorie der adelic-Divisoren auf torische Varietäten mit singulären Metriken vollständig beschreiben:

A. Bijektion zwischen Divisoren und Funktionen (Theorem 1)

Es besteht eine Bijektion zwischen dem Kegel der semipositiven torischen adelischen Divisoren und dem Kegel von $v$-Tupeln $(\vartheta_v)$ von abgeschlossenen konkaven Funktionen, die bestimmte Bedingungen erfüllen:

• Die Supremums der Funktionen sind rational (für endliche Stellen).
• Der Abschluss des effektiven Definitionsbereichs ist ein gemeinsames kompaktes konvexes Set $\Delta$.
• Eine Approximationsbedingung bezüglich der Supremums-Convolution ($\boxplus$) und Indikatorfunktionen, die sicherstellt, dass die Funktionen fast überall „kanonisch" sind.

B. Charakterisierung der Nef-Eigenschaft (Theorem 2)

Ein semipositiver torischer adelischer Divisor $D$ ist genau dann nef (numerisch effektiv), wenn seine globale Roof-Funktion $\vartheta_D$ nicht-negativ ist ($\vartheta_D(y) \ge 0$ für alle $y \in \Delta_D$). Dies verallgemeinert bekannte Ergebnisse von Burgos-Philippon-Sombra auf den singulären, quasi-projektiven Fall.

C. Integralformel für arithmetische Schnittzahlen (Theorem 3 - Hauptresultat)

Das Kernstück der Arbeit ist die Formel für die arithmetische Selbstschnittzahl eines semipositiven torischen adelischen Divisors $D$:
$$\widehat{\text{deg}}(D^{d+1}) = (d+1)! \int_{\Delta_D} \vartheta_D \, d\text{Vol}_M = (d+1)! \sum_{v \in M(K)} \delta_v \int_{\Delta_D} \vartheta_{D,v} \, d\text{Vol}_M$$

• Endlichkeit: Die Schnittzahl ist genau dann endlich, wenn $\vartheta_D$ in $L^1(\Delta_D)$ liegt.
• Verallgemeinerung: Diese Formel gilt auch für Divisoren, deren lokale Roof-Funktionen unbeschränkt sind (starke Singularitäten), solange die globale Funktion integrierbar ist.

D. Vergleich mit anderen Theorien

• Yuan-Zhang: Die Definition der Schnittzahlen stimmt im nef-Fall mit der von Yuan-Zhang überein. Der Vorteil der torischen Theorie ist jedoch, dass sie auch für Divisoren mit unbeschränkten lokalen Roof-Funktionen (stärkere Singularitäten als von Yuan-Zhang ursprünglich abgedeckt) anwendbar ist.
• Burgos-Kramer: Die Arbeit zeigt, dass die hier definierten Schnittzahlen mit den von Burgos und Kramer (2024) eingeführten verallgemeinerten Schnittzahlen übereinstimmen. Ein entscheidender Unterschied ist, dass die torische Theorie es erlaubt, alle lokalen Green-Funktionen gleichzeitig zu modifizieren, während die Burgos-Kramer-Theorie oft nur die archimedische Komponente betrachtet.

4. Signifikanz und Beispiele

Die Arbeit demonstriert die Überlegenheit und Flexibilität der entwickelten Theorie durch konstruierte Beispiele:

1. Nicht-Modell-Divisoren: Es werden Divisoren konstruiert, die keine Modell-Divisoren sind (d.h., sie lassen sich nicht durch ein einzelnes kompaktes Modell beschreiben), aber dennoch wohldefinierte, endliche Schnittzahlen besitzen.
2. Starke Singularitäten: Ein Beispiel (Ex. 6.2.7) zeigt einen Divisor auf $\mathbb{G}_m^2$, bei dem alle lokalen Roof-Funktionen unbeschränkt sind und der zugehörige geometrische Divisor kein Polytop ist (keine Modell-Divisor-Eigenschaft). Dennoch ist die Schnittzahl endlich.
   • Dies zeigt, dass die Schnittzahl mit Methoden von Yuan-Zhang (die Nefheit benötigen) oder Burgos-Kramer-Kühn (die Chern-Weil-Theorie für glatte Metriken oder beschränkte Singularitäten nutzen) nicht berechnet werden kann.
   • Die hier vorgestellte konvex-analytische Methode ist in der Lage, diese Fälle zu behandeln.
3. Fehlschlag der Additivität: Ein Beispiel zeigt, dass für semipositive Divisoren mit unendlicher Schnittzahl die Ungleichung für die Höhe nicht immer eine Gleichheit ist, was die Komplexität der Theorie unterstreicht.

Fazit

Gari Y. Peralta Alvarez liefert eine vollständige globale Theorie der Höhen auf torischen Varietäten für singuläre Metriken. Durch die Kombination der adelic-Divisor-Theorie von Yuan-Zhang mit der konvex-analytischen Struktur torischer Geometrie gelingt es, Schnittzahlen für eine sehr breite Klasse von Divisoren (einschließlich solcher mit starken Singularitäten und ohne Modell-Eigenschaft) explizit durch Integrale über konvexe Mengen zu berechnen. Dies erweitert die Anwendbarkeit der Arakelov-Geometrie erheblich und bietet ein mächtiges Werkzeug für die Untersuchung arithmetischer Komplexität in Situationen, die bisher außerhalb des Rahmens klassischer oder früherer verallgemeinerter Theorien lagen.