p-Primary Torsion of the Brauer Group in Characteristic p

Technisches Resümee: $p$-primäre Torsion der Brauer-Gruppe in Charakteristik $p$

Problemstellung
Die Dissertation untersucht die Struktur der $p$-primären Komponente der Brauer-Gruppe, bezeichnet als $\text{Br}(X)[p^\infty]$, für eine glatte, projektive Varietät $X$ über einem algebraisch abgeschlossenen Körper $k$ der Charakteristik $p > 0$. Während die $\ell$-primäre Torsion für $\ell \neq p$ über die étale Kohomologie und die Kummer-Sequenz gut verstanden ist, ist der $p$-primäre Teil wesentlich subtiler. Die Gruppe $\text{Br}(X)[p^\infty]$ zerfällt in einen divisiblen Teil $(\mathbb{Q}_p/\mathbb{Z}_p)^{r-\rho}$ (wobei $r$ die Multiplizität der Steigung 1 in der kristallinen Kohomologie und $\rho$ die Picard-Zahl ist) und einen Torsionsteil $H^3(X, \mathbb{Z}_p(1))[p^\infty]$. Die zentrale Herausforderung, die hier adressiert wird, ist die präzise Beschreibung letzterer, welche in eine exakte Sequenz passt:
$$0 \to U(k) \to H^3(X, \mathbb{Z}_p(1))[p^\infty] \to J \to 0$$
wobei $U$ eine zusammenhängende kommutative unipotente algebraische Gruppe ist und $J$ eine endliche Gruppe darstellt. Das Ziel der Arbeit ist es, die Dimension, die Isogenieklasse und die explizite Struktur von $U$ und $J$ zu bestimmen, insbesondere für abelsche Varietäten.

Methodik
Die Forschung nutzt eine Synthese mehrerer fortgeschrittener Werkzeuge der arithmetischen Geometrie:

1. Illusies Theorie der logarithmischen de Rham-Witt-Schafre: Die Arbeit verwendet den de Rham-Witt-Komplex $W\Omega^\bullet_{X/k}$ und seine logarithmischen Unterschafre $W\Omega^i_{X/k, \log}$, um die flache Kohomologie $H^i_{fppf}(X, \mu_{p^n})$ mit der kristallinen Kohomologie in Beziehung zu setzen.
2. Steigungs-Spektralsequenzen und Domino-Zahlen: Die Analyse stützt sich auf die Steigungs-Spektralsequenz $E_1^{pq} = H^q(X, W\Omega^p_{X/k}) \Rightarrow H^{p+q}_{\text{cris}}(X/W)$. Die Nicht-Degeneration dieser Sequenz auf der $E_1$-Seite (aufgrund von $p$-Torsion) wird durch „Domino-Zahlen“ $T^{ij}$ gemessen, die von Crew und Ekedahl eingeführt wurden. Die Dimension der unipotenten Gruppe $U$ wird mit der Domino-Zahl $T^{0,2}$ identifiziert.
3. Dieudonné-Modul-Theorie: Für abelsche Varietäten übersetzt die Arbeit das geometrische Problem in Lineare Algebra über dem Cartier-Dieudonné-Ring $W\sigma[F, V]$. Sie verwendet die Klassifikation endlicher kommutativer Gruppenschemata nach Kraft und die Stratifizierung von Modulräumen durch Ekedahl-Oort-Typen.
4. Skorobogatovs Formel: Ein zentrales methodisches Werkzeug ist eine Formel von Skorobogatov (für $p \neq 2$), die $\text{Br}(A)[p^n]$ in Abhängigkeit von den symmetrischen Homomorphismen $\text{Hom}(A[p^n], A^\vee[p^n])_{\text{sym}}$ ausdrückt. Dies ermöglicht die explizite Berechnung der $p$-Torsionsuntergruppe $U[p]$ mittels der Relationen der Dieudonné-Module.
5. Flache Dualität und Formale Gruppen: Die Arbeit wendet Milnes Theorem der flachen Dualität für Flächen an und untersucht die Glattheit flacher Artin-Mazur-Formaler Gruppen, ohne dabei auf Ekedahls diagonale $t$-Struktur zurückzugreifen.

Zentrale Beiträge und Ergebnisse

Teil I: Allgemeine Theorie und erste Anwendungen

• Struktursatz: Die Arbeit bestätigt die gesplittete exakte Sequenz $0 \to (\mathbb{Q}_p/\mathbb{Z}_p)^{r-\rho} \to \text{Br}(X)[p^\infty] \to H^3(X, \mathbb{Z}_p(1))[p^\infty] \to 0$.
• Unipotente Dimension: Es wird etabliert, dass die Dimension der unipotenten Gruppe $U$ durch die Domino-Zahl $T^{0,2}$ gegeben ist. Für Flächen reproduziert dies Crew's Formel: $\dim U = (h_{0,2} - h_{0,1}) - (m_{0,2} - m_{0,1})$.
• Ordentliche Varietäten: Es wird gezeigt, dass falls $X$ eine ordentliche Varietät ist, dann $U = 0$ und $J$ der Pontryagin-Dual von $\text{NS}(X)[p^\infty]$ ist.
• Flächen: Für Flächen mit $q = -p_a$ (einschließlich Enriques-, Godeaux- und hyperelliptischer Flächen) gilt $U=0$. Die endliche Gruppe $J$ wird als Dual der $p$-Torsion der Néron-Severi-Gruppe identifiziert.
• Produkte: Unter Verwendung von Ekedahls Künneth-Formel wird bewiesen, dass falls $X$ eine ordentliche Varietät ist, der unipotente Teil von $\text{Br}(X \times Y)$ isomorph zu dem von $\text{Br}(Y)$ ist.

Teil II: Ablelsche Varietäten

• Anwendung von Skorobogatovs Formel: Die Arbeit berechnet explizit $\text{Br}(A)[p^n]$ für primär polarisierte abelsche Varietäten unter Verwendung der Gruppe der symmetrischen Homomorphismen.
• Dimension von $U[p]$: Für eine primär polarisierte abelsche Varietät der Dimension $g$ mit Ekedahl-Oort-Typ $\phi$ wird die Dimension der $p$-Torsionsuntergruppe $U[p]$ kombinatorisch basierend auf dem Typ berechnet.
• Klassifikation für Dreifach-Varietäten: Eine vollständige Klassifikation der Isogenieklasse von $U$ für alle abelschen Dreifach-Varietäten wird bereitgestellt. Die Ergebnisse sind nach Newton-Polygon und $a$-Zahl tabelliert. Ein wesentliches Ergebnis ist, dass $U$ nicht dann ein Produkt additiver Gruppen $\mathbb{G}_a$ ist, wenn $A$ eine supersinguläre Varietät mit $a$-Zahl 1 ist (bezeichnet als „supergeneral“). In diesem speziellen Fall ist $U$ isogen zu $\mathbb{G}_a \times W_2$ (wobei $W_2$ die Witt-Gruppe der Länge 2 ist).
• Explizite Hom-Gruppen: Für supergenerale primär polarisierte abelsche Dreifach-Varietäten wird die zusammenhängende Komponente von $\text{Hom}(A[p^2], A^\vee[p^2])_{\text{sym}}$ explizit berechnet. Es wird gezeigt, dass diese eine unipotente Gruppe $W(b,c)_2 \oplus \mathbb{G}_a$ ist, die sich über den Modulraum hinweg wohldefiniert verhält.
• Vermutung: Es wird die Vermutung aufgestellt, dass für eine beliebige supergenerale abelsche Varietät der Dimension $g$, $U$ isogen zu $\prod_{i=1}^{g-1} W_i$ ist.

Teil III: Weitere Themen und Anwendungen

• Injektivitätskriterium: Die Arbeit generalisiert ein Resultat von Ogus, indem sie ein Injektivitätskriterium für die Abbildung $d\log: H^2_{fppf}(X, \mu_{p^n}) \to H^2_{\text{cris}}(X/W_n)$ unter der Annahme beweist, dass die Frölicher-Spektralsequenz in $E_1$ degeneriert und $H^1_{\text{cris}}$ torsionsfrei ist. Dies findet Anwendung auf abelsche Varietäten und K3-Flächen.
• Glattheit formaler Gruppen: Ohne die Verwendung von Ekedahls tiefer diagonaler $t$-Struktur etabliert die Arbeit die Glattheit flacher Artin-Mazur-Formaler Gruppen $\Phi^i_{fl}(A, \mathbb{G}_m)$ für alle abelschen Dreifach-Varietäten und eine große Klasse von abelschen Vierfach-Varietäten.
• Tate-Vermutung-Analogie: Der abschließende Abschnitt diskutt die Tate-Vermutung für Divisoren als Analogon zur Hodge-Vermutung, wobei die Artin-Hasse-Exponentialabbildung und die Struktur der Witt-Vektoren genutzt werden, um das Problem im Sinne von „gleichmäßig endlichen“ Elementen in der kristallinen Kohomologie zu rahmen.

Signifikanz und Behauptungen
Die Arbeit beansprucht, eine umfassende strukturelle Beschreibung der $p$-primären Torsion der Brauer-Gruppe zu liefern, die über reine Dimensionsformeln hinausgeht und die spezifischen Isogenieklassen der unipotenten Komponenten bestimmt.

• Sie löst die Struktur von $\text{Br}(A)[p^\infty]$ für alle abelschen Dreifach-Varietäten auf und identifiziert den eindeutigen Fall (supergeneral), in dem die unipotente Gruppe nicht-trivial und nicht ein Produkt von $\mathbb{G}_a$ ist.
• Sie liefert explizite kombinatorische Formeln für die Dimension von $U[p]$ basierend auf Ekedahl-Oort-Typen.
• Sie bietet einen neuen, elementaren Beweis für die Glattheit bestimmter formaler Gruppen, der die diagonale $t$-Struktur umgeht.
• Die Arbeit schlägt eine konjekturelle Beschreibung der Isogenieklasse von $U$ im allgemeinen supergeneralen Fall vor, gestützt durch explizite Berechnungen in Dimension 3 und Teilergebnisse in höheren Dimensionen.

Die Dissertation betont, dass während die Dimension von $U$ über Crew und Ekedahl bekannt war, das komplexe Verhalten unipotenter Gruppen in Charakteristik $p$ (speziell ihre Isogenieklassen) die hier vorgestellten expliziten Dieudonné-Modul-Berechnungen und die Anwendung der Skorobogatov-Formel erforderte.