Kobayashi length bounds on bordered surfaces and generalized integral points on abelian varieties

Titel

Kobayashi-Längenabschätzungen auf berandeten Flächen und verallgemeinerte ganzzahlige Punkte auf abelschen Varietäten

1. Problemstellung und Kontext

Das Papier adressiert zwei miteinander verknüpfte Probleme in der arithmetischen Geometrie und der komplexen Analysis:

1. Verallgemeinerte ganzzahlige Punkte: Es geht um die Abschätzung der Anzahl von $(s, B_0)$-verallgemeinerten ganzzahligen Punkten auf einer abelschen Varietät $A$ der Dimension $n$ über einem komplexen Funktionenkörper $K = \mathbb{C}(B)$. Im Gegensatz zu klassischen integralen Punkten, die nur eine endliche Menge von Ausnahmestellen $S$ vermeiden dürfen, erlauben verallgemeinerte Punkte, dass die Schnittmenge mit einem Divisor $D$ außerhalb einer endlichen Anzahl disjunkter geschlossener Scheiben $B_0 = B \setminus \bigcup \Delta_i$ liegt, wobei die Anzahl der "Lücken" (Punkte in $S$) durch $s$ beschränkt ist.
2. Kobayashi-Längen auf punktierten Flächen: Ein zentrales technisches Hindernis bei der Zählung dieser Punkte ist das Wachstum der minimalen Kobayashi-Länge von Schleifen auf einer hyperbolischen Riemannschen Fläche $B_0$, wenn man $s$ zusätzliche Punkte (Punkte) entfernt.

Der Ausgangspunkt: Phung [7] bewies eine obere Schranke für die Anzahl dieser Punkte von der Form $O(s^{2nk})$, wobei $k = \text{rk}(\pi_1(B_0))$ ist. Diese Schranke basierte auf einer linearen Abschätzung ($O(s)$) für das Wachstum der Kobayashi-Länge von Schleifen bei $s$ Punktionen. Das Papier stellt die Frage, ob diese lineare Schranke scharf ist oder ob das Wachstum langsamer erfolgt, was zu einer Verbesserung des Exponenten in der Zählabschätzung führen würde.

2. Methodik

Die Arbeit kombiniert Techniken aus der hyperbolischen Geometrie, der Theorie der Kobayashi-Metrik und der arithmetischen Geometrie (insbesondere der Parshin-Cocycle-Methode).

A. Abschätzung der Kobayashi-Länge (Theorem 1.5)

Das Kernstück der Arbeit ist eine neue, wesentlich schärfere obere Schranke für die Funktion $L(\alpha, s)$, definiert als das Supremum der minimalen Kobayashi-Länge einer Schleife $\alpha$ auf $B_0 \setminus S$ über alle Mengen $S$ mit $|S| \le s$.

• Phungs Ansatz: Phung schätzte die Länge einer einzelnen Schleife direkt ab, was zu einer linearen Schranke $O(s)$ führte.
• Dolces Verbesserung: Dolce verwendet einen Integral-Mittelwert-Ansatz statt einer punktweisen Abschätzung.
  1. Fermi-Streifen: Um eine glatte Repräsentante $\gamma$ der Klasse $\alpha$ wird ein dünner Streifen $T_\delta(\gamma)$ (Fermi-Streifen) definiert.
  2. Verzerrungsfunktion: Die Kobayashi-Metrik $\kappa_S$ wird im Verhältnis zu einer Hintergrund-Riemannschen Metrik $\rho$ betrachtet. Die Verzerrungsfunktion $\lambda_S = \kappa_S / \sqrt{\rho}$ verhält sich in der Nähe der Punktionen wie $1/d$, was eine Singularität darstellt.
  3. Voronoi-Zerlegung: Der Streifen wird in Voronoi-Zellen um die Punktionen $S$ zerlegt.
  4. $L^p$-Norm-Abschätzung: Statt die $L^\infty$-Norm (Maximum) zu betrachten, wird die $L^p$-Norm der Verzerrungsfunktion für $1 < p < 2$ berechnet. Die Singularität $1/d$ ist für $p < 2$ integrierbar, aber nicht für $p=2$.
  5. Hölder-Ungleichung: Durch Anwendung der Hölder-Ungleichung wird die $L^p$-Schranke auf die Länge einer typischen parallelen Kurve $\gamma_u$ im Streifen übertragen.
  6. Optimierung: Der Exponent $p$ wird als Funktion von $s$ gewählt ($p = 2 - 1/\log(s+2)$), um das Divergenzverhalten der $L^p$-Norm gegen $p \to 2$ gegen die Schärfe der Hölder-Abschätzung abzuwägen.

B. Anwendung auf verallgemeinerte Punkte (Theorem 1.4)

Die verbesserte Längenabschätzung wird in Phungs Beweisschema für die Zählung ganzzahliger Punkte integriert.

• Parshin-Cocycle: Die Methode nutzt die Parshin-Cocycle-Abbildung, die rationale Punkte auf Kohomologiegruppen $H^1(\pi_1(B_0), \Gamma)$ abbildet, wobei $\Gamma \cong \mathbb{Z}^{2n}$ das Gitter der Fundamentalgruppe der Faser ist.
• Anpassung der Schleifen: Im Gegensatz zu Phungs ursprünglichem Argument müssen die neuen Schleifen (basierend auf Theorem 1.5) keinen gemeinsamen Basispunkt teilen. Da die Faser abelsch ist, führen konjugierte Aufspaltungen der exakten Homotopiefolge zu kohomologischen Cocycles.
• Gitterzählung: Die Anzahl der möglichen Kohomologieklassen wird durch das Volumen von Kugeln im universellen Überlagerungsraum abgeschätzt. Da die Länge der Schleifen nun sublinear wächst ($O(\sqrt{s \log s})$ statt $O(s)$), reduziert sich das Volumen und damit die Anzahl der Gitterpunkte.

3. Wichtige Ergebnisse

Theorem 1.5 (Wachstum der Kobayashi-Länge)

Für eine nicht-triviale Schleife $\alpha$ in einer berandeten hyperbolischen Fläche $B_0$ gilt für die maximale minimale Kobayashi-Länge bei $s$ Punktionen:
$$L(\alpha, s) \le C \sqrt{(s+1) \log(s+2)}$$
Dies verbessert Phungs lineare obere Schranke $O(s)$ signifikant. Zusammen mit Phungs unterer Schranke ($\Omega(\sqrt{s}/\log s)$) bestimmt dies das asymptotische Verhalten:
$$\lim_{s \to \infty} \frac{\log L(\alpha, s)}{\log s} = \frac{1}{2}$$
Dies beantwortet eine offene Frage aus [7, Frage 1.4].

Theorem 1.4 (Verbesserte Zählabschätzung)

Für eine abelsche Varietät $A$ der Dimension $n$ über $\mathbb{C}(B)$ und eine Menge verallgemeinerter $(s, B_0)$-integraler Punkte gilt für jedes $\varepsilon > 0$:
$$\# \left( I(s, B_0) \big/ \text{Tr}_{K/\mathbb{C}}(A)(\mathbb{C}) \right) \le m (s+1)^{nk + \varepsilon}$$
wobei $k = \text{rk}(\pi_1(B_0))$ und $m$ eine Konstante ist.

Vergleich: Phungs ursprüngliche Schranke war $O(s^{2nk})$. Die neue Schranke halbiert den Exponenten von $2nk$ auf $nk$ (bis auf einen beliebigen $\varepsilon$-Term).

4. Bedeutung und Beitrag

1. Lösung eines offenen Problems: Das Papier beantwortet die Frage nach dem asymptotischen Verhalten der Kobayashi-Länge auf punktierten Flächen und zeigt, dass das Wachstum sublinear ist (genauer: von der Ordnung $\sqrt{s}$).
2. Halbierung des Exponenten: In der arithmetischen Geometrie ist die Reduktion des Exponenten in Zählabschätzungen für integrale Punkte ein bedeutender Fortschritt. Die Halbierung von $2nk$ auf $nk$ stellt eine wesentliche Annäherung an die erwartete Schärfe dar (insbesondere im Vergleich zu bekannten Ergebnissen für Kurven, wo der Exponent bereits $k$ ist).
3. Methodischer Fortschritt: Die Einführung des Integral-Mittelwert-Ansatzes über Voronoi-Zellen und die Nutzung von $L^p$-Normen für $p < 2$ zur Kontrolle von Singularitäten in der Kobayashi-Metrik bietet ein neues Werkzeug für geometrische Abschätzungen auf hyperbolischen Flächen.
4. Verallgemeinerung der Lang-Vojta-Vermutung: Die Ergebnisse liefern eine stärkere quantitative Version der geometrischen Lang-Vojta-Vermutung für verallgemeinerte integrale Punkte auf abelschen Varietäten, insbesondere im Fall nicht-konstanter Varietäten über komplexen Funktionenkörpern, wo die Vermutung bisher offen war.

Zusammenfassend verbindet das Paper tiefgehende analytische Techniken (Kobayashi-Metrik, Voronoi-Zerlegung) mit arithmetischen Methoden (Parshin-Cocycles, Gitterzählung), um ein fundamentales Problem der Wachstumsgeschwindigkeit von Integralpunkten zu lösen.