Singular systems of linear forms over global function fields

Titel: Singuläre Systeme linearer Formen über globalen Funktionenkörpern

Autoren: Gukyeong Bang, Taehyeong Kim, Seonhee Lim

1. Problemstellung und Motivation

Das Paper untersucht die Theorie der diophantischen Approximation im Kontext von globalen Funktionenkörpern (Global Function Fields), im Gegensatz zum klassischen Fall der reellen Zahlen.

• Definition der Singularität: Eine $m \times n$-Matrix $A$ über einem lokalen Körper $K_\nu$ (Vervollständigung eines globalen Funktionenkörpers $K$ bezüglich einer diskreten Bewertung $\nu$) heißt singulär, wenn für jedes $\epsilon > 0$ ein $T_0 \ge 1$ existiert, sodass für alle $T \ge T_0$ Vektoren $p \in R_\nu^m$ und $q \in R_\nu^n$ existieren, die die Ungleichungen
  $$\|Aq + p\| \le \epsilon T^{-n/m} \quad \text{und} \quad 0 < \|q\| \le T$$
  erfüllen. Hierbei ist $R_\nu$ der Ring der ganzen Funktionen auf einer affinen Kurve (analog zu $\mathbb{Z}$ in $\mathbb{R}$).
• Ziel: Das Hauptziel ist die Bestimmung der Hausdorff-Dimension der Menge der singulären Matrizen, bezeichnet als $\text{Sing}(m, n)$.
• Kontext: Während für den reellen Fall die Hausdorff-Dimension kürzlich durch Das, Fishman, Simmons und Urbański [DFSU24] exakt bestimmt wurde (als $mn - \frac{mn}{m+n}$), waren die Ergebnisse für Funktionenkörper bisher spärlich. Das Paper schließt diese Lücke, indem es die obere Schranke für Funktionenkörper herleitet.

2. Methodik

Die Autoren verwenden einen Ansatz, der auf der Verbindung zwischen homogener Dynamik und diophantischer Approximation basiert, bekannt als Dani-Korrespondenz.

1. Homogene Dynamik:

   • Der Raum der Gitter wird als homogene Raum $X = G/\Gamma$ identifiziert, wobei $G = \text{SL}_{m+n}(K_\nu)$ und $\Gamma = \text{SL}_{m+n}(R_\nu)$.
   • Die Singularität einer Matrix entspricht dem Verhalten einer Trajektorie unter einem diagonalen Fluss $g_t$, der das Gitter "entartet" (divergiert). Eine Matrix ist genau dann singulär, wenn die Trajektorie $g_t u_s \Gamma$ aus jeder kompakten Teilmenge von $X$ entweicht.

2. Margulis-Funktionen (Height Functions):

   • Um die Dimension zu schätzen, konstruieren die Autoren eine spezielle Funktion (Margulis-Funktion) auf dem Raum der Gitter, die eine Kontraktionseigenschaft unter dem Fluss und der Wirkung der unipotenten Gruppe $U$ aufweist.
   • Diese Funktion basiert auf den Normen von äußeren Produkten (Wedge-Produkten) von Basisvektoren von Untergittern.

3. Lineare Algebra über nicht-archimedischen Körpern:

   • Ein wesentlicher technischer Schritt ist die Herleitung von Kontraktionsabschätzungen für Integrale über die Gruppe $\text{SL}_{m+n}(O_\nu)$.
   • Im Gegensatz zum reellen Fall, wo Gaußsche Maße verwendet werden, nutzen die Autoren das Haar-Maß (beschränkt auf $O_\nu$). Sie beweisen, dass analoge Eigenschaften wie im reellen Fall für das Haar-Maß gelten (Theorem 3.2).
   • Eine Herausforderung ist die Hodge-Dualität. Im reellen Fall ist die Hodge-Dualität unter der orthogonalen Gruppe äquivariant. In nicht-archimedischen Räumen gilt dies nicht für $\text{SL}_d(O_\nu)$. Die Autoren umgehen dies, indem sie die Dualität auf horosphärische Untergruppen anwenden und die Struktur der äußeren Algebra nutzen (Abschnitt 4).

4. Submodularität:

   • Die Konstruktion der Margulis-Funktion und die daraus folgenden Abschätzungen (insbesondere Corollary 5.1) setzen voraus, dass $R_\nu$ ein Hauptidealring (Principal Ideal Domain, PID) ist. Dies erlaubt die Nutzung der Submodularität der Kovolumen-Funktion, wie in früheren Arbeiten der Autoren ([Bang25]) etabliert.

3. Wichtige Beiträge und Ergebnisse

• Hauptsatz (Theorem 1.1): Unter der Annahme, dass $R_\nu$ ein Hauptidealring ist, gilt für die Hausdorff-Dimension der Menge der singulären Matrizen:
  $$\dim_H \text{Sing}(m, n) \le mn - \frac{mn}{m+n}$$
  Dies zeigt, dass die obere Schranke, die für den reellen Fall bekannt ist, auch für globale Funktionenkörper gilt.

• Verallgemeinerung auf "Flucht im Durchschnitt":
  Das Paper beweist eine stärkere Aussage (Proposition 6.5) für die Menge der Punkte, die "im Durchschnitt entweichen" ($\delta$-escapes on average). Für einen Parameter $\delta \in [0, 1]$ gilt:
  $$\dim_H \{ s \in M_{m,n}(K_\nu) : u_s x \text{ entweicht im Durchschnitt mit Rate } \delta \} \le mn - \delta \frac{mn}{m+n}$$
  Für $\delta = 1$ (was der Definition von Singularität entspricht) ergibt sich der Hauptsatz.

• Technische Innovationen:

  • Ersetzung des Gaußschen Maßes durch das Haar-Maß in nicht-archimedischen Kontexten.
  • Entwicklung von Maßabschätzungen für äußere Produkte von Vektoren (Theorem 3.2, Lemma 3.3), die als Funktionenkörper-Analogon zu Ergebnissen aus [KKLM17] dienen.
  • Behandlung der Nicht-Äquivarianz der Hodge-Dualität durch geschickte Nutzung von Zerlegungen der Gruppe und Dualität auf Untergruppen.

4. Signifikanz

• Vervollständigung der Theorie: Das Paper überträgt die modernen Ergebnisse zur Dimension singulärer Systeme (die erst kürzlich im reellen Fall vollständig gelöst wurden) erfolgreich auf den Bereich der Funktionenkörper.
• Methodische Weiterentwicklung: Es demonstriert, wie die Techniken der homogenen Dynamik und der Konstruktion von Margulis-Funktionen an nicht-archimedische Umgebungen angepasst werden können, insbesondere im Umgang mit dem Haar-Maß und der fehlenden Äquivarianz der Hodge-Dualität.
• Offene Fragen: Die Arbeit liefert eine obere Schranke. Die Frage, ob diese Schranke scharf ist (d.h. ob das Gleichheitszeichen gilt), bleibt für Funktionenkörper offen, ist aber durch die Übereinstimmung mit dem reellen Fall und die Schärfe des reellen Ergebnisses [DFSU24] hochwahrscheinlich.

Zusammenfassend stellt dieses Paper einen bedeutenden Fortschritt in der diophantischen Approximation über Funktionenkörper dar und etabliert eine robuste Verbindung zwischen der geometrischen Theorie der Gitter und der Maßtheorie in nicht-archimedischen Räumen.