Elementary anabelian varieties are anabelian

1. Problemstellung und Kontext

Der Artikel behandelt das Programm der Anabelschen Geometrie, das von Alexander Grothendieck initiiert wurde. Die zentrale Vermutung besagt, dass bestimmte algebraische Varietäten (anabelsche Varietäten) vollständig durch ihre étalen Fundamentalgruppen bestimmt sind. Konkret vermutete Grothendieck, dass für hyperbolische Kurven über Körpern, die endlich erzeugt über $\mathbb{Q}$ sind, die natürliche Abbildung von der Menge der Morphismen zwischen Varietäten zur Menge der Homomorphismen zwischen ihren Fundamentalgruppen (modulo Konjugation) eine Bijektion ist.

Während diese „Hom-Vermutung" und „Isom-Vermutung" für hyperbolische Kurven von Shinichi Mochizuki (aufbauend auf Arbeiten von Nakamura und Tamagawa) bewiesen wurden, blieb der Status für höherdimensionale Varietäten offen. Grothendieck schlug speziell vor, dass elementare anabelsche Varietäten (Varietäten, die durch iterierte Fibrationen hyperbolischer Kurven konstruiert werden, auch bekannt als hyperbolische Polykurven) anabelsch sein sollten.

Das Kernproblem:

1. Isom-Vermutung: Entspricht die Menge der Isomorphismen zwischen zwei hyperbolischen Polykurven $X$ und $Y$ bijektiv der Menge der Isomorphismen zwischen ihren Fundamentalgruppen $\pi_1(X)$ und $\pi_1(Y)$?
2. Dominante Hom-Vermutung: Können dominante Morphismen $X \to Y$ gruppentheoretisch charakterisiert werden? Grothendieck vermutete ursprünglich, dass jeder offene Homomorphismus von Fundamentalgruppen einer dominanten Abbildung entspricht. Der Autor zeigt jedoch, dass dies für $\dim(Y) \ge 2$ nicht gilt. Der Artikel sucht nach der korrekten gruppentheoretischen Verfeinerung (eine spezifische Unterklasse offener Abbildungen), die die dominanten Abbildungen wiederherstellt.

2. Methodik

Der Autor wendet eine Synthese aus algebraischer Geometrie, $p$-adischer Hodge-Theorie und étaler Homotopietheorie an. Die Methodik verläuft in mehreren Schlüsselphasen:

• Geometrische Eingabe (Log-kanonische Formen):
  Der Autor stellt zunächst eine geometrische Eigenschaft hyperbolischer Polykurven fest. Unter Verwendung von Semi-Positivitätsresultaten für kanonische Bündel und eines Arguments nach Riemann–Roch wird bewiesen, dass jede hyperbolische Polykurve $X$ eine endliche étale Überlagerung $X' \to X$ zulässt, sodass $X'$ eine nicht-verschwindende log-kanonische Form besitzt (ein globaler Schnitt des log-kanonischen Bündels). Dies ist entscheidend, um Dimensionen via Kohomologie zu unterscheiden.

• Nicht-Entartung via Hodge-Tate-Theorie:
  Der Artikel führt das Konzept der nicht-entarteten Homomorphismen ein (definiert von Hoshi). Eine Abbildung ist entartet, wenn sie durch eine niedrigdimensionale Varietät faktorisiert.

  • Der Autor verwendet die $p$-adische Hodge-Theorie (insbesondere die Hodge-Tate-Zerlegung), um zu beweisen, dass stabil kohomologisch injektive Abbildungen nicht-entartet sind.
  • Logik: Wenn eine Abbildung $\phi: \pi_1(X) \to \pi_1(Y)$ entartet wäre (faktorisierend durch $Z$ mit $\dim Z < \dim Y$), würde die induzierte Abbildung auf der Kohomologie auf dem Unterraum des Hodge-Tate-Gewichts höchster Stufe (entsprechend der log-kanonischen Form) verschwinden. Die Bedingung „stabil kohomologisch injektiv" zwingt diese Abbildung jedoch zur Injektivität, was zu einem Widerspruch führt.

• Ausbreitung und Spezialisierung:
  Um Ergebnisse von $p$-adischen lokalen Körpern auf allgemeine sub-$p$-adische Körper zu erweitern, verwendet der Autor eine „Ausbreitungs"-Technik (spreading out). Sie konstruieren glatte Modelle über einer Basisvarietät und spezialisieren auf einen abgeschlossenen Punkt (einen $p$-adischen Körper), wobei die relevanten kohomologischen Eigenschaften und Fundamentalgruppenstrukturen erhalten bleiben.

• Étale Homotopietypen:
  Für die allgemeinsten Ergebnisse nutzt der Artikel den étalen Homotopietyp $\Pi(X)$ (im Sinne von Artin-Mazur und moderner $\infty$-Kategorientheorie). Dies ermöglicht die Formulierung der Vermutung in Bezug auf Homotopieklassen von Abbildungen zwischen Pro-Räumen und umgeht einige Einschränkungen der alleinigen Arbeit mit Fundamentalgruppen.

3. Wichtige Definitionen

• Hyperbolische Polykurve: Eine Varietät $X$ über einem Körper $K$, die eine Folge glatter Fibrationen $X = X_n \to X_{n-1} \to \dots \to X_0 = \text{Spec}(K)$ zulässt, wobei jede Faser eine hyperbolische Kurve ist.
• Stabil kohomologisch injektiv: Eine stetige Abbildung $\phi: \pi_1(X) \to \pi_1(Y)$ über $G_K$ ist stabil kohomologisch injektiv, wenn sie offen ist und für jede offene Untergruppe $N \subset \pi_1(Y)$ die induzierte Abbildung auf den Kohomologieringen $H^*(N, \mathbb{Q}_\ell) \to H^*(\phi^{-1}(N), \mathbb{Q}_\ell)$ für alle Primzahlen $\ell$ injektiv ist.
• Nicht-entartet: Eine Abbildung ist nicht-entartet, wenn sie nicht durch die Fundamentalgruppe einer niedrigdimensionalen Varietät über eine glatte surjektive Abbildung faktorisiert.

4. Hauptergebnisse

Satz A (Die Isom-Vermutung für Polykurven)

Seien $X$ und $Y$ elementare anabelsche Varietäten (hyperbolische Polykurven) über einem sub-$p$-adischen Körper $K$. Die natürliche Abbildung:
$$\text{Isom}_K(X, Y) \longrightarrow \text{Isom}_{G_K}(\pi_1(X), \pi_1(Y))$$
ist eine Bijektion.

• Bedeutung: Dies bestätigt Grothendiecks Vermutung für diese breite Klasse höherdimensionaler Varietäten und erweitert Mochizukis Ergebnisse über Kurven.

Satz C (Charakterisierung dominanter Abbildungen)

Sei $K$ ein sub-$p$-adischer Körper, $X$ eine glatte eigentliche $K(\pi, 1)$-Varietät und $Y$ eine eigentliche hyperbolische Polykurve. Die natürliche Abbildung:
$$\text{Hom}^{\text{dom}}_K(X, Y) \longrightarrow \text{Hom}^{\text{sci}}_{G_K}(\pi_1(X), \pi_1(Y))$$
ist eine Bijektion, wobei die rechte Seite aus Konjugationsklassen von stabil kohomologisch injektiven Homomorphismen besteht.

• Verfeinerung: Falls $\dim(Y) \le 2$, ist die Annahme, dass $X$ eine $K(\pi, 1)$-Varietät ist, nicht erforderlich.
• Gegenbeispiel: Der Artikel beweist (Beispiel 3.13), dass falls $\dim(Y) \ge 3$, keine gruppentheoretische Charakterisierung dominanter Abbildungen innerhalb der Klasse aller offenen Homomorphismen (oder sogar innerhalb der Klasse von Abbildungen aus glatten eigentlichen Varietäten) existiert. Die Bedingung „stabil kohomologisch injektiv" ist die notwendige Verfeinerung.

Satz D (Étale homotopische Verallgemeinerung)

Für beliebige glatte eigentliche $X$ und eigentliche hyperbolische Polykurven $Y$ ist die Abbildung von dominanten Morphismen zu Homotopieklassen von stabil kohomologisch injektiven Abbildungen étaler Homotopietypen eine Bijektion:
$$\text{Hom}^{\text{dom}}_K(X, Y) \longrightarrow \pi_0(\text{Map}^{\text{sci}}_{BG_K}(\Pi(X), \Pi(Y)))$$
Dies liefert eine bejahende Antwort auf Grothendiecks stärkere Vermutung, wenn diese in der Sprache étaler Homotopietypen formuliert wird.

5. Bedeutung und Auswirkung

1. Lösung von Grothendiecks Brief an Faltings: Der Artikel verifiziert die spezifischen Vermutungen bezüglich elementarer anabelscher Varietäten, die in Grothendiecks Korrespondenz gemacht wurden, und bestätigt, dass diese höherdimensionalen Varietäten tatsächlich anabelsch sind.
2. Präzise gruppentheoretische Charakterisierung: Er klärt die Grenzen der anabelschen Geometrie auf. Während Grothendieck auf eine einfache Korrespondenz zwischen offenen Abbildungen und dominanten Morphismen hoffte, beweist dieser Artikel, dass für Dimensionen $\ge 3$ eine solche einfache Korrespondenz unmöglich ist. Die Einführung stabil kohomologisch injektiver Abbildungen liefert die exakte gruppentheoretische Bedingung, die erforderlich ist, um die Geometrie wiederherzustellen.
3. Methodischer Fortschritt: Der Artikel integriert erfolgreich Log-Geometrie (Existenz von log-kanonischen Formen auf Überlagerungen) mit $p$-adischer Hodge-Theorie, um das Verhalten von Homomorphismen von Fundamentalgruppen zu steuern. Diese Technik, kohomologische Injektivität zu nutzen, um entartete Faktorisierungen auszuschließen, ist ein neues, mächtiges Werkzeug in diesem Feld.
4. Erweiterung von Mochizukis Werk: Er verallgemeinert die tiefgründigen Ergebnisse über hyperbolische Kurven auf die Klasse der hyperbolischen Polykurven und erweitert damit den Umfang der bekannten anabelschen Varietäten erheblich.

Zusammenfassend beweist Magnus Carlson, dass hyperbolische Polykurven anabelsch sind, aber nur dann, wenn man die gruppentheoretischen Morphismen auf diejenigen einschränkt, die „stabil kohomologisch injektiv" sind, eine Bedingung, die geometrisch sicherstellt, dass die Abbildung die Dimension der Zielvarietät nicht kollabieren lässt.