Technische Zusammenfassung: Nullzyklen auf quasi-projektiven Flächen über p-adischen Körpern

1. Problemstellung und Kontext

Die Arbeit behandelt die Struktur der Chow-Gruppe der 0-Zyklen, $CH_0(X)$, für glatte projektive Varietäten $X$, die über einer endlichen Erweiterung $k$ des $p$-adischen Körpers $\mathbb{Q}_p$ definiert sind. Ein zentrales Untersuchungsobjekt ist die Filtrierung von $CH_0(X)$:
$$0 \subseteq F^2(X) \subseteq F^1(X) \subseteq CH_0(X)$$
wobei $F^1(X)$ der Kern der Gradabbildung ist und $F^2(X)$ der Kern der Albanese-Abbildung $alb_X: F^1(X) \to Alb_X(k)$.

Die Autoren konzentrieren sich auf die Vermutung von Colliot-Thélène (Vermutung 1.1), die vorhersagt, dass für solche Varietäten die Gruppe $F^2(X)$ als direkte Summe einer endlichen Gruppe und einer divisiblen Gruppe zerfällt:
$$F^2(X) \cong F \oplus D$$
Während diese Vermutung für Kurven bekannt ist (wo die Albanese-Abbildung ein Isomorphismus ist) und für spezifische Fälle von Produkten von Kurven oder Kummer-Flächen gilt, bleibt sie für allgemeine Flächen offen. Frühere Ergebnisse von Raskind und Spiess ([RS00]) sowie von Saito und Sato ([SS10]) lieferten Teilresultate, insbesondere bezüglich der Torsionseigenschaften von $F^1(X)$ und $F^2(X)$ für Produkte von Kurven mit bestimmten Reduktionstypen.

Die Arbeit untersucht zudem das quasi-projektive Analogon dieses Problems. Für eine offene Teilvarietät $U \subset X$ ersetzen die Autoren $CH_0(X)$ durch die singuläre Homologie von Suslin $H^{sus}_0(U)$ und betrachten den Kern $F^2(U)$ der verallgemeinerten Albanese-Abbildung $alb_U: F^1(U) \to Alb_U(k)$, wobei $Alb_U$ eine semi-abelsche Varietät ist.

2. Methodik

Die Autoren verfolgen einen mehrfacettenreichen Ansatz, der motivische Kohomologie, Klassenkörpertheorie und die Theorie algebraischer Gruppen kombiniert:

• Motivische Kohomologie und Suslin-Homologie: Die Autoren nutzen die Identifikation der Suslin-Homologie $H^{sus}_0(U)$ mit motivischen Kohomologiegruppen $H^{2d}_{M,c}(U, \mathbb{Z}(d))$ (Satz 2.8). Dies ermöglicht ihnen den Einsatz der Mechanik motivischer Komplexe und des Formalismus der sechs Funktoren.
• Klassenkörpertheorie für Kurven: Ein entscheidender Bestandteil ist die Anwendung der Klassenkörpertheorie für Kurven über $p$-adischen Körpern, die von Bloch ([Blo81]) und Saito ([Sai85]) entwickelt wurde. Insbesondere analysieren sie die Struktur der Gruppe $SK_1(C)$ (identifiziert mit $CH_2(C,1)$) und deren Beziehung zur abelschen étalen Fundamentalgruppe sowie zur Tate-Modul der Jacobischen.
• Verallgemeinerte Albanese-Varietäten: Die Arbeit konstruiert und analysiert die verallgemeinerte Albanese-Varietät $Alb_U$ für offene Teilvarietäten $U = X - D$, wobei $D$ ein Divisor ist. Diese Varietät ist eine Erweiterung der Standard-Albanese-Varietät $Alb_X$ durch einen Torus $T$. Die Autoren untersuchen die Beziehung zwischen dem torischen Teil von $Alb_U$ und der Struktur von $SK_1(D)$ für den Divisor $D$.
• Zerlegbare Zyklen: Um das „torische Stück" der verallgemeinerten Albanese-Abbildung zu behandeln, nutzen die Autoren zerlegbare $(2,1)$-Zyklen. Sie zeigen, dass das Bild der Abbildung von der Neron-Severi-Gruppe, tensoriert mit $k^\times$, nach $SK_1(D)$ ausreicht, um die problematischen torischen Komponenten im Kern der Abbildung zu vernichten.

3. Hauptbeiträge und Ergebnisse

A. Äquivalenz der projektiven und quasi-projektiven Vermutungen

Das zentrale technische Ergebnis ist Satz 4.5, der eine Äquivalenz zwischen der Endlichkeit des nicht-divisiblen Teils von $F^2$ für eine projektive Fläche und ihrer offenen Teilvarietät herstellt.

• Satz 4.5: Sei $X$ eine glatte projektive Fläche und $U$ eine dichte offene Teilvarietät mit Komplement $D$ (entweder 0-dimensional oder ein Divisor mit einfachen Normalenkreuzungen). Dann ist $F^2(X_L)/F^2(X_L)_{div}$ für alle endlichen Erweiterungen $L/k$ genau dann endlich, wenn $F^2(U_L)/F^2(U_L)_{div}$ für alle $L/k$ endlich ist.
• Korollar 4.9: Folglich gilt die Vermutung von Colliot-Thélène (1.1) für alle glatten projektiven Flächen genau dann, wenn ihr quasi-projektives Analogon (Vermutung 4.8) für alle glatten quasi-projektiven Flächen gilt.

B. Übertragung von Vermutungen via rationaler Abbildungen

Aufbauend auf der oben genannten Äquivalenz beweisen die Autoren Satz 1.2 (wiedergegeben als Satz 5.2):

• Wenn eine generisch endliche rationale Abbildung $\pi: X \dashrightarrow Y$ zwischen glatten projektiven Flächen existiert und die Vermutung für $X$ (und ihre endlichen Erweiterungen) gilt, dann gilt sie auch für $Y$.
• Dieses Ergebnis verallgemeinert frühere Push-Forward-Argumente, die für Kummer-Flächen verwendet wurden, auf eine breitere Klasse von Flächen, sofern man mit offenen Teilvarietäten arbeiten kann, um Singularitäten in der Auflösung der Abbildung zu vermeiden.

C. Verifikation für neue Klassen von Flächen

Unter Verwendung des Übertragungssatzes und der bekannten Ergebnisse für Produkte von Kurven (Raskind-Spiess) verifizieren die Autoren die Vermutung 1.1 für mehrere neue Klassen von Flächen (Korollar 1.3 und Abschnitt 5.2):

1. Geometrisch dominierte Flächen: Jede glatte projektive Fläche $X$, die geometrisch von einem Produkt von Kurven $C_1 \times C_2$ dominiert wird, sofern die Jacobischen von $C_1$ und $C_2$ eine Mischung aus guter gewöhnlicher und spaltender multiplikativer Reduktion aufweisen.
2. Isotriviale Fibrationen: Dies umfasst isotrivial elliptische Flächen und eine breite Klasse von K3-Flächen, die nicht-symplektische Automorphismen zulassen (die oft Auflösungen von Quotienten von Produkten von Kurven sind).
3. Symmetrische Quadrate: Das symmetrische Quadrat $Sym^2(C)$ einer Kurve $C$ vom Geschlecht 2 (und die zugehörige abelsche Fläche $J_C$) unter den Reduktionsannahmen.
4. Fermat-Flächen: Diagonale Hyperflächen $X_m \subset \mathbb{P}^3$ vom Grad $m \ge 4$, speziell wenn $p \equiv 1 \pmod m$.
5. Produkt-Quotienten-Flächen: Flächen, die als Auflösungen von $(C_1 \times C_2)/G$ für endliche Gruppen $G$ entstehen, was über den zuvor bekannten spezifischen Kummer-Fall hinausgeht.

D. Struktur der Suslin-Homologie für offene Varietäten

Die Arbeit liefert eine detaillierte strukturelle Analyse von $F^2(U)$ für offene Teilvarietäten:

• Vergleich mit $F^2(X)$: Wenn $X-U$ 0-dimensional ist, gilt $F^2(U) \cong F^2(X)$. Wenn jedoch $X-U$ ein Divisor ist, kann $F^2(U)$ erheblich größer sein.
• Torische Beiträge: Die Autoren zeigen, dass der Unterschied zwischen $F^2(U)$ und $F^2(X)$ durch den torischen Teil der verallgemeinerten Albanese-Varietät bestimmt wird.
• Beispiele:
  • Für $U = \mathbb{G}_m \times \mathbb{G}_m$ gilt $F^2(U) \cong K_2^M(k)$, was eine überabzählbare divisiblen Gruppe enthält.
  • Für $U = C \times \mathbb{G}_m$ gilt $F^2(U) \cong V(C)$, was unendliche Torsion aufweisen kann, wenn $C$ eine Mumford-Kurve ist.
  • Proposition 5.17: In spezifischen geometrischen Settings (z. B. $U = X - s(C)$, wobei $s$ eine Sektion einer Fibration ist) kann die Gleichheit $F^2(U) = F^2(X)$ wiederhergestellt werden, was auch für offene Varietäten Endlichkeit impliziert.

4. Bedeutung und Behauptungen

Die Autoren behaupten, dass ihre Arbeit „neue Evidenz" für die Vermutung von Colliot-Thélène liefert, indem sie die bekannten Klassen von Flächen, für die die Vermutung gilt, erheblich erweitert.

• Methodischer Wandel: Die Arbeit hebt einen Wandel hervor, weg von der ausschließlichen Abhängigkeit von „einfachen Push-Forward"-Argumenten (die für Kummer-Flächen aufgrund einfacher Auflösungen funktionieren), hin zu einer robusteren Methode, die offene Teilvarietäten und Suslin-Homologie einbezieht. Dies ermöglicht den Autoren den Umgang mit komplexeren Singularitäten und Quotienten (z. B. allgemeine Produkt-Quotienten-Flächen).
• Vereinheitlichung: Durch den Beweis der Äquivalenz zwischen den projektiven und quasi-projektiven Fällen (Satz 4.5) vereinheitlichen die Autoren die Untersuchung von 0-Zyklen auf diesen verschiedenen Typen von Varietäten und legen nahe, dass die Gültigkeit der Vermutung eine geometrische Eigenschaft ist, die unter offenen Einbettungen und dominanten rationalen Abbildungen erhalten bleibt.
• Einschränkungen: Die Autoren vermerken bescheiden, dass ihre Ergebnisse immer noch Annahmen bezüglich des Reduktionstyps der Jacobischen voraussetzen (insbesondere eine Mischung aus guter gewöhnlicher und spaltender multiplikativer Reduktion). Sie erkennen an, dass die Beseitigung dieser Annahme (z. B. um supersinguläre Reduktion einzuschließen) ein subtiles und schwieriges offenes Problem bleibt, wobei sie auf die Schwierigkeit bereits im Fall von Produkten supersingulärer elliptischer Kurven verweisen.

Zusammenfassend stellt die Arbeit eine Brücke zwischen der Arithmetik der 0-Zyklen auf projektiven Flächen und ihren offenen Gegenstücken her und nutzt diese Verbindung, um die Vermutung von Colliot-Thélène für eine breite und vielfältige Sammlung von Flächen zu beweisen, die von Produkten von Kurven dominiert werden.