Purity in the tame cohomology

Technische Zusammenfassung: Reinheit in der Tamen Kohomologie

Problemstellung
Die Arbeit befasst sich mit dem Scheitern des absoluten kohomologischen Reinheitssatzes für $p$-Torsions-Scharen in der Étale-Topologie über Schemen der Charakteristik $p$. Während die Reinheit für Koeffizienten prim zu $p$ gilt (Gabber-Fujiwara-Theorem), versagt sie für logarithmische de Rham-Witt-Scharen $\nu_{m}(n)$ in der Étale-Topologie. Speziell für ein reguläres Paar $(X, Z)$ der Codimension $r$ verschwindet das höhere direkte Bild $R^{r+1}i_!\nu_{X,m}(n)$ nicht notwendigerweise, was die Existenz eines Reinheits-Isomorphismus $Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$ verhindert. Die Obstruction ergibt sich daraus, dass der inverse Cartier-Operator (oder die Artin-Schreier-Abbildung) in der Étale-Topologie nicht surjektiv ist, bedingt durch das Vorhandensein wild ramifizierter Überlagerungen.

Methodik
Der Autor, Amine Koubaa, löst diese Obstruction durch den Wechsel des Rahmens von der Étale-Topologie zur tamen Topologie, die von Hübner und Stalder eingeführt wurde. Die Methodik stützt sich auf die folgenden strukturellen Komponenten:

1. Adische Räume und diskret ringförmige Räume: Die Arbeit nutzt diskret ringförmige adische Räume, bezeichnet als $X = \text{Spa}(X, S)$, um einen geometrischen Rahmen zu schaffen, in dem tamen Ramifizierung wohldefiniert ist. Der Beweis nutzt die Äquivalenz zwischen der tamen Kohomologie eines Schemas und der Kohomologie seines assoziierten adischen Raums.
2. Logarithmische Geometrie und Differentiale: Das zentrale technische Werkzeug ist die Schare der logarithmischen Differentiale. Der Autor führt die Schare $\Omega^+_{X/k}$ ein und analysiert sie, definiert über Kähler-Seminormen und „Rangers“ (ein Konzept von Hübner und Temkin), welche Differentiale mit beschränkter Valuierung erfasst.
3. Auflösung der Singularitäten: Die Beweise setzen die Existenz von Auflösungen der Singularitäten und eingebetteten Auflösungen der Singularitäten voraus (speziell für log-glatte Schemen). Dies ermöglicht die Reduktion allgemeiner Fälle auf log-glatte Paare $(X, \bar{X})$, bei denen die Randkomponente ein einfacher normaler Kreuzungsdivisor ist.
4. Der Cartier-Operator: Ein entscheidender Schritt ist die Etablierung der Exaktheit der Sequenz unter Beteiligung des Cartier-Operators $C$ auf den Scharen geschlossener Differentiale $Z\Omega^+$. In der tamen Topologie wird der inverse Cartier-Operator surjektiv, im Gegensatz zum Versagen in der Étale-Topologie aufgrund wilder Ramifizierung.
5. Popescu's Theorem: Um die Ergebnisse von glatten Schemen über perfekten Körpern auf reguläre Paare über beliebigen Basen der Charakteristik $p$ zu erweitern, verwendet die Arbeit Popescu's Theorem, welches reguläre Algebren als gefilterte Kolimite glatter Algebren darstellt.

Wesentliche Beiträge und Ergebnisse

• Reinheitssatz für tamen Kohomologie (Theorem 1.3 & 5.9): Das Hauptergebnis etabliert, dass es für ein glattes Paar $(X, Z)$ der reinen Codimension $r$ über einem perfekten Körper $k$ der Charakteristik $p$ einen natürlichen Isomorphismus in der derivierten Kategorie tamer Scharen gibt:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  Dies gilt unter der Voraussetzung der Auflösung der Singularitäten. Der Isomorphismus wird über eine Gysin-Morphismus konstruiert.

• Exaktheit der Cartier-Sequenz (Theorem 4.27): Die Arbeit beweist, dass auf diskret ringförmigen adischen Räumen die Sequenz
  $$0 \to \nu(n) \to Z\Omega^+_{X/k} \xrightarrow{C^{-1}} \Omega^+_{X/k} \to 0$$
  in der tamen Topologie exakt ist. Diese Exaktheit ist der Mechanismus, der die Reinheit wiederherstellt, da sie das Verschwinden des Obstruction-Terms $R^{r+1}i_!$ sicherstellt.

• Konstruktion des Gysin-Morphismus (Abschnitt 5.1): Der Autor konstruiert einen Gysin-Morphismus für die Scharen $\Omega^+_{n}$ und erweitert ihn auf die logarithmischen de Rham-Witt-Scharen $\nu_{m}(n)$. Dies beinhaltet den Nachweis, dass die höheren direkten Bilder $R^ji_!\Omega^+_{n}$ für $j \neq r$ verschwinden und dass $R^ri_!\Omega^+_{n} \cong \Omega^+_{n-r}[-r]$ gilt.

• Verallgemeinerung auf reguläre Paare (Theorem 5.15): Unter Verwendung von Popescu's Theorem wird das Reinheitsresultat von glatten Paaren über perfekten Körpern auf reguläre Paare $(X, Z)$ über einem Basisschema $S$ der Charakteristik $p$ verallgemeinert. Das Resultat lautet:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  in der derivierten Kategorie $D((Z/S)_t)$.

• Vergleich mit Étale-Kohomologie (Proposition 5.10): Die Arbeit klärt die Beziehung zwischen den tamen und Étale-Resultaten. Sie zeigt, dass der tame Reinheits-Isomorphismus die „korrekte“ Version ist und das Scheitern der Étale-Reinheit auf die Nicht-Surjektivität des Cartier-Operators in Gegenwart wilder Ramifizierung zurückzuführen ist. Die tame Scharifizierung des Étale-direkten Bildes stellt das tame Resultat wieder her.

Bedeutung und Behauptungen
Die Arbeit behauptet, eine vollständige Lösung des Reinheitsproblems für logarithmische de Rham-Witt-Scharen in positiver Charakteristik durch Nutzung der tamen Topologie zu liefern.

• Wiederherstellung der Reinheit: Sie demonstriert, dass die Obstruction zur Reinheit in der Étale-Topologie (das Nicht-Verschwinden von $R^{r+1}i_!$) ein Artefakt wilder Ramifizierung ist, welche in der tamen Topologie ausgeschlossen wird.
• Methodischer Fortschritt: Durch die Integration der Theorie adischer Räume (speziell diskret ringförmiger Räume) mit logarithmischer Geometrie und dem Cartier-Operator bietet die Arbeit einen robusten Rahmen für die Handhabung von $p$-Torsions-Koeffizienten, bei denen klassische Étale-Methoden versagen.
• Konsistenz mit bekannten Ergebnissen: Die Ergebnisse verallgemeinern die Semi-Reinheits-Sätze von Milne und Gros und stimmen mit dem absoluten Reinheitssatz für Koeffizienten prim zu $p$ überein.
• Bescheidenheit bezüglich der Annahmen: Der Autor weist explizit darauf hin, dass die Ergebnisse auf der Annahme der Auflösung der Singularitäten beruhen. Die Arbeit erwähnt, dass zukünftige Arbeiten darauf abzielen, diese Annahme zu entfernen, insbesondere hinsichtlich der Existenz des Cartier-Operators auf $\Omega^+$ ohne Rückgriff auf die Auflösung der Singularitäten.

Zusammenfassend lässt sich sagen, dass die Arbeit etabliert, dass „Reinheit in der tamen Topologie gilt“, indem sie einen natürlichen Isomorphismus für das direkte Bild mit kompakter Unterstützung der logarithmischen de Rham-Witt-Scharen bietet und damit ein langjähriges Problem in der Kohomologie von Schemen in Charakteristik $p$ löst.