Multi-height analysis of rational points of toric varieties

1. Problemstellung und Motivation

Der Artikel adressiert das asymptotische Verhalten der Anzahl rationaler Punkte auf glatten, projektiven und zerfallenden torischen Varietäten $X$ über $\mathbb{Q}$. Während die klassische Manin-Vermutung die Verteilung rationaler Punkte bezüglich einer einzelnen Höhe (meist bezogen auf das antikanonische Bündel $\omega_X^{-1}$) untersucht, erweitert dieses Werk den Rahmen auf eine Multi-Höhen-Analyse.

Das Ziel ist es, die Verteilung rationaler Punkte zu verstehen, wenn diese durch ein System von Höhen beschränkt werden, das durch einen Vektor $u$ im Inneren des dualen effektiven Kegels $(C_{\text{eff}}(X)^\vee)^\circ$ parametrisiert wird. Dies entspricht einer Verallgemeinerung der Vermutung von Peyre [19], die besagt, dass die Anzahl der Punkte mit multiplen Höhen in einem bestimmten Bereich $D_B$ asymptotisch durch geometrische Invarianten der Varietät beschrieben werden sollte.

Ein zentrales Problem in früheren Arbeiten (wie [11]) bestand darin, dass notwendige Bedingungen für die Konvergenz oder die Form des asymptotischen Terms (insbesondere die Bedingung $\beta = \pi^\vee(u)$) nicht immer korrekt formuliert oder bewiesen wurden. Der Autor möchte diese Lücke schließen und einen rigorosen Beweis für torische Varietäten liefern.

2. Methodik

Die Methodik stützt sich auf eine Kombination aus der Theorie der universellen Torsoren, der Geometrie der Zahlen und der Möbius-Inversion. Der Ansatz folgt im Wesentlichen der Strategie von Salberger [20], wird aber für das Multi-Höhen-Szenario adaptiert.

Schlüsselschritte der Methode:

1. Lift auf den universellen Torsor:
   Anstatt die rationalen Punkte direkt auf der Varietät $X$ zu zählen, werden diese auf den universellen Torsor $T \to X$ „gehoben". Für zerfallende torische Varietäten ist dieser Torsor $T_\Sigma$ als eine offene Teilmenge des affinen Raums $\mathbb{A}^{\Sigma(1)}$ (wobei $\Sigma(1)$ die Menge der Strahlen des Fächers ist) nach Entfernen einer bestimmten abgeschlossenen Menge $Z(\Sigma)$ beschreibbar.

   • $T_\Sigma = \mathbb{A}^{\Sigma(1)} \setminus Z(\Sigma)$.
   • Die rationalen Punkte auf $X$ entsprechen (bis auf eine endliche Überlagerung) den ganzzahligen Punkten auf $T_\Sigma$, die bestimmte Teilbarkeitsbedingungen erfüllen.

2. Lift der Höhenfunktionen:
   Das System der Arakelov-Höhen auf $X$ wird auf den Torsor $T$ übertragen. Es wird gezeigt, dass die Multi-Höhe eines Punktes $P \in X(\mathbb{Q})$ durch die lokale logarithmische Höhe $h_{T, \infty}$ auf dem Torsor berechnet werden kann. Dies ermöglicht es, das Zählproblem auf die Untersuchung von Gitterpunkten in einem durch die Höhenfunktion definierten Bereich im $\mathbb{R}^{\Sigma(1)}$ zu reduzieren.

3. Geometrie der Zahlen (Davenports Methode):
   Um die Anzahl der Gitterpunkte in einem beschränkten Bereich $D_B \subset T(\mathbb{R})$ zu schätzen, wird ein Satz von Davenport [9] verwendet. Dieser liefert eine Abschätzung der Differenz zwischen der Anzahl der Gitterpunkte und dem Volumen des Bereichs, wobei der Fehlerterm durch die Volumina der Projektionen des Bereichs auf Koordinatenunterräume kontrolliert wird.

   • Der Bereich $D_B$ wird durch $D_B = D_1 + \log(B) \cdot u$ definiert.
   • Die Koordinaten der Punkte in $D_B$ werden durch $B^{\langle [D_\rho], u \rangle}$ beschränkt.

4. Möbius-Inversion:
   Da die Punkte auf dem Torsor nur dann rationalen Punkten auf $X$ entsprechen, wenn sie bestimmte „Primitivitäts"-Bedingungen erfüllen (d.h. keine gemeinsamen Teiler in den Koordinaten haben, die den abgeschlossenen Teil $Z(\Sigma)$ schneiden), wird die Möbius-Inversionsformel angewendet.

   • Die Indikatorfunktion für die Punkte auf $T(\mathbb{Z})$ wird als Summe über einen Möbius-Funktion $\mu(d)$ und charakteristische Funktionen für Gitter $\Lambda_d$ dargestellt.
   • Dies erlaubt es, das Problem auf die Summation über Gitterpunkte in skalierten Bereichen zurückzuführen.

5. Analyse des Fehlerterms:
   Der Artikel führt eine sorgfältige Analyse der Konvergenz der Euler-Produkte durch, die aus der Möbius-Summe entstehen. Dabei wird eine wichtige Konstante $l$ eingeführt (die kleinste Anzahl von Strahlen, die nicht in einem Kegel des Fächers liegen). Die Konvergenz der relevanten Reihen hängt von $\text{Re}(s) > 1/l$ ab.

3. Wichtige Beiträge und Ergebnisse

Der Hauptbeitrag des Papers ist der Beweis der erwarteten asymptotischen Formel für die Multi-Höhen-Verteilung auf torischen Varietäten.

Hauptsatz (Theorem 2.15 & 4.16):
Sei $X$ eine glatte, projektive und zerfallende torische Varietät über $\mathbb{Q}$. Sei $D_1$ eine endliche Vereinigung kompakter Polyeder im dualen Raum des Picard-Raums und $u \in (C_{\text{eff}}(X)^\vee)^\circ$. Für $B > 1$ sei $D_B = D_1 + \log(B)u$.
Dann gilt für die Anzahl der rationalen Punkte mit Multi-Höhe in $D_B$:

$$\# \{ P \in X(\mathbb{Q}) \mid h(P) \in D_B \} \sim_{B \to \infty} \nu(D_1) \cdot \tau(X) \cdot B^{\langle \omega_X^{-1}, u \rangle}$$

wobei:

• $\nu(D_1)$ das Maß auf dem dualen Picard-Raum ist (definiert durch das Integral über $e^{\langle \omega_X^{-1}, y \rangle}$).
• $\tau(X)$ die Tamagawa-Zahl der Varietät ist.
• Der Fehlerterm von der Ordnung $O\left( B^{\langle \omega_X^{-1}, u \rangle - (1 - 1/l - \varepsilon) \min_{\rho} \langle [D_\rho], u \rangle} \right)$ ist.

Spezifische Ergebnisse:

• Keine akkumulierenden Teilmengen: Im Gegensatz zu manchen anderen Fällen zeigt der Beweis, dass es im torischen Fall keine „akkumulierenden Teilmengen" (exceptional subsets) gibt, die die Hauptterm-Asymptotik stören, solange man sich im Inneren des dualen effektiven Kegels befindet.
• Korrektur früherer Arbeiten: Der Autor weist auf einen Fehler in einer früheren Arbeit [11] hin, wo eine notwendige Bedingung für den Exponenten fehlte, und liefert mit der hier verwendeten Descent-Methode einen korrekten Beweis.
• Verbindung zur Tamagawa-Zahl: Der Beweis stellt explizit her, wie der Hauptkoeffizient durch das Produkt lokaler Dichten auf dem universellen Torsor (die Tamagawa-Zahl) gegeben ist.

4. Signifikanz

Die Arbeit ist von erheblicher Bedeutung für die Zahlentheorie und die arithmetische Geometrie aus folgenden Gründen:

1. Verallgemeinerung der Manin-Vermutung: Sie bestätigt die Vermutung von Peyre für den Fall der Multi-Höhen auf torischen Varietäten, was ein wichtiger Schritt zur allgemeinen Manin-Vermutung für quasi-Fano-Varietäten ist.
2. Robustheit der universellen Torsoren-Methode: Der Artikel demonstriert die Kraft der Methode der universellen Torsoren, selbst in komplexen Szenarien mit mehreren Höhenparametern. Sie erlaubt eine präzise Kontrolle über die Fehlerterme, die durch die Geometrie des Fächers (insbesondere die Konstante $l$) bestimmt werden.
3. Technische Präzision: Durch die explizite Berechnung des Fehlerterms und die Behandlung der Konvergenzbedingungen liefert das Paper ein rigoroses Fundament für zukünftige Arbeiten, die die Manin-Vermutung für allgemeinere Klassen von Varietäten untersuchen.
4. Klarheit der Struktur: Die Arbeit klärt die Beziehung zwischen der Multi-Höhen-Funktion, dem effektiven Kegel und der asymptotischen Dichte, was für das Verständnis der Verteilung rationaler Punkte auf algebraischen Varietäten essenziell ist.

Zusammenfassend liefert Nicolas Bongiorno einen vollständigen und rigorosen Beweis für das asymptotische Verhalten rationaler Punkte auf torischen Varietäten unter Multi-Höhen-Beschränkungen, wobei er die Methode der universellen Torsoren mit moderner analytischer Zahlentheorie kombiniert.