Eine Garbenkohomologietheorie auf dem étalen Site eines Schemas, die kohomologische Invarianten an Schemata und Varietäten zuweist und algebraische Geometrie, Arithmetik und Analoga der topologischen Kohomologie (z. B. l-adische Kohomologie und Vergleichssätze) verbindet.

Prinzip

Ersetze das klassische topologische Site durch die étale Grothendieck-Topologie, sodass lokal konstante und Torsionsphänomene algebraisch erfasst werden; Funktorialität, Basiswechsel und abgeleitete Funktoren liefern lange exakte Folgen, Spektralsequenzen und Vergleichsisomorphismen.

Demonstration

Für eine glatte projektive Varietät X über einem endlichen Körper tragen ihre l-adischen étalen Kohomologiegruppen Frobenius-Aktionen, deren Spuren Punktzahlen bestimmen und die Weil-Vermutungen erfüllen; H^2_et(X,G_m) enthält die kohomologische Brauer-Gruppe, die bei Obstruktionen von rationalen Punkten eine Rolle spielt.

Fehlanwendung

Singuläre Kohomologieintuitionen blind anwenden (etwa Poincaré-Dualität ohne Voraussetzungen erwarten) oder l-adische Limesbildung ohne Kontrolle, dass l invertierbar auf der Basis ist, führt zu Fehlern; nicht-konstruktive Garben wie lokale Systeme zu behandeln, ist irreführend.

Konsequenz

Étale-Kohomologie liefert den geeigneten kohomologischen Rahmen für arithmetische Invarianten, den Vergleich mit Betti-Kohomologie über C, l-adische Galoisdarstellungen und Werkzeuge wie Zykluskarten und Dualitätssätze, die in der modernen arithmetischen Geometrie unerlässlich sind.

Umkehrung

Zum klassischen topologischen (Betti-)Kohomologiesatz zurückzukehren für nichtkomplexe Basen verliert arithmetische Struktur; umgekehrt verschleiert die ausschließliche Arbeit mit étaler Kohomologie in analytischen Situationen transzendente Eigenschaften, die die komplexe Topologie erfasst.

Abgrenzung

Am besten geeignet für Schemata und Koeffizienten, die Torsion oder l-adisch mit l invertierbar auf der Basis sind, und für konstruktive Garben; sie ersetzt nicht die kristalline Kohomologie in Charakteristik p für p-adische Koeffizienten und behandelt wilde Verzweigung nicht automatisch ohne Verfeinerungen.

Semantische Spannung

Wird oft kontrastiert mit singulärer/Betti-Kohomologie, kristalliner Kohomologie und de-Rham-Kohomologie; jede Theorie erfasst überlappende, aber unterschiedliche Informationen (topologisch, p-adisch, algebraisch), daher hängt die Wahl der étalen Kohomologie von Koeffizienten, Grundkörper und gewünschten Invarianten ab.

Synthese

Étale-Kohomologie ist die fasertheoretische Kohomologie, die an die algebraische Geometrie angepasst ist: Durch die Arbeit auf dem étalen Site und mit passenden Koeffizienten stellt sie topologische Intuition wieder her, codiert arithmetische Aktionen und liefert die zentralen Invarianten der modernen Zahlentheorie.