Grothendieck-Topologie

Eine Grothendieck-Topologie ist ein mathematisches Konzept, das es erlaubt, in einem abstrakten kategoriellen Rahmen eine Garbentheorie und eine Kohomologietheorie zu entwickeln. Eine Kategorie, auf der eine Grothendieck-Topologie erklärt ist, nennt man einen Situs. Auf einem Situs kann eine Garbe erklärt werden. Das Konzept der Grothendieck-Topologie wurde um 1960 von Alexander Grothendieck entwickelt, um in der algebraischen Geometrie in positiver Charakteristik einen Ersatz für die topologischen Kohomologietheorien wie bspw. die singuläre Kohomologie zu haben. Die Motivation hierfür kam von den Vermutungen von André Weil, die einen engen Zusammenhang zwischen der topologischen Gestalt (etwa den Bettizahlen) einer Varietät und der Anzahl der Punkte auf ihr über einem endlichen Körper voraussagte (Weil-Vermutungen). Die in diesem Kontext eingeführte étale Topologie zusammen mit der étalen Kohomologie und der l-adischen Kohomologie ermöglichte schließlich den Beweis der Weil-Vermutungen durch Pierre Deligne.

Einführung

Der für die algebraische Geometrie wichtige, klassische Begriff der Prägarbe auf einem topologischen Raum $X$ ordnet jeder offenen Menge $U\subset X$ eine Menge $P(U)$ zu, so dass folgende Verträglichkeitsbedingungen erfüllt sind:

Für eine Inklusion $V\subset U$ offener Mengen von $X$ gibt es eine als Restriktion bezeichnete Funktion $r_{V,U}\colon P(U)\rightarrow P(V)$ .
$r_{U,U}=\mathrm {id} _{P(U)}$ für alle offenen $U\subset X$ .
$r_{W,U}=r_{W,V}\circ r_{V,U}$ für alle offenen $W\subset V\subset U\subset X$ .

(Typisches Beispiel: $P(U)$ = Menge der stetigen Funktionen $U\rightarrow \mathbb {R}$ und $r_{V,U}$ = Einschränkung einer Funktion $U\rightarrow \mathbb {R}$ auf $V$ .)

Betrachtet man das System der offenen Mengen von $X$ als Objekte einer Kategorie ${\mathcal {O}}(X)$ , deren einzige Morphismen die Inklusionen $i_{V,U}\colon V\rightarrow U$ sind, so besagen obige Bedingungen gerade, dass durch die Daten $U\mapsto P(U)$ und $i_{V,U}\mapsto P(i_{V,U})=r_{V,U}$ ein kontravarianter Funktor von ${\mathcal {O}}(X)$ in die Kategorie der Mengen. Ziel ist es, dies auf Situationen, in denen man statt ${\mathcal {O}}(X)$ eine beliebige Kategorie hat, zu verallgemeinern.

Viele Konstruktionen verwenden offene Überdeckungen des Raumes $X$ und von diesen folgende Eigenschaften:

Die nur aus $X$ bestehende Familie ist eine offene Überdeckung von $X$ .
Ist $f\colon Y\rightarrow X$ stetig und $(U_{i})_{i\in I}$ eine offene Überdeckung von $X$ , so ist $(f^{-1}(U_{i}))_{i\in I}$ eine offene Überdeckung von $Y$ .
Ist $(U_{i})_{i\in I}$ eine offene Überdeckung von $X$ und ist jede Familie $(V_{i,j})_{j\in I_{i}}$ eine offene Überdeckung von $U_{i}$ , so ist die Familie $(V_{i,j})_{i\in I,j\in I_{i}}$ eine offene Überdeckung von $X$ .

Die richtige (weil erfolgreiche) Verallgemeinerung der offenen Überdeckung einer Menge auf beliebige Kategorien ist der Begriff des Siebs auf einem Objekt, d. h. einer Menge von Morphismen mit diesem Objekt als festem Ziel, so dass mit jedem Morphismus $f$ und jedem von rechts damit komponierbaren Morphismus $g$ auch $f\circ g$ darin enthalten ist. (Im Falle topologischer Räume muss man sich dann auf solche Überdeckungen beschränken, die mit jeder offenen Menge auch alle darin enthaltenen offenen Teilmengen enthalten.) Die Idee der angedeuteten Verallgemeinerung besteht nun darin, festzulegen, welche Siebe auf einem Objekt als „Überdeckung“ gelten und welche Beziehungen zwischen ihnen bestehen sollen. Die nachfolgende Definition, die im Wesentlichen eine Übertragung der oben genannten Überdeckungseigenschaften ist, hat sich als sehr weitreichend erwiesen.

Definition

Eine Grothendieck-Topologie auf einer kleinen Kategorie ${\mathcal {C}}$ ist eine Zuordnung $J$ , die jedem Objekt $U$ aus ${\mathcal {C}}$ eine Menge $J(U)$ von Sieben auf $U$ zuordnet, so dass Folgendes gilt:^[1]

Maximale Siebe: Für jedes Objekt $U$ ist das maximale Sieb aller Morphismen mit Ziel $U$ in $J(U)$ enthalten.
Stabilitätsaxiom: Ist $f\colon V\rightarrow U$ ein Morphismus und $S\in J(U)$ , so ist $f^{*}(S):=\{g\mid f\circ g\in S\}\in J(V)$ .
Transitivitätsaxiom: Ist $S\in J(U)$ und ist $R$ ein Sieb auf $U$ , so dass $f^{*}(R)\in J(V)$ für alle $(f\colon V\rightarrow U)\in S$ , so ist $R\in J(U)$ .

Ein Paar $({\mathcal {C}},J)$ , bestehend aus einer kleinen Kategorie und einer darauf definierten Grothendieck-Topologie $J$ heißt ein Situs.

Beispiele

Ist $X$ ein topologischer Raum und ist $J(U)$ für jede offene Menge $U\subset X$ die Menge aller offenen Überdeckungen, die mit jedem Familienmitglied auch alle seine offenen Teilmengen enthalten, so ist $J$ eine Grothendieck-Topologie auf ${\mathcal {O}}(X)$ . In diesem Sinne wird aus jedem topologische Raum ein Situs.
Ist ${\mathcal {C}}$ eine kleine Kategorie und besteht $J(U)$ nur aus dem maximalen Sieb auf $U$ , so ist $J$ eine Grothendieck-Topologie auf ${\mathcal {C}}$ , die sogenannte triviale Grothendieck-Topologie.
Ist ${\mathcal {C}}$ eine kleine Kategorie und besteht $J(U)$ aus allen nicht-leeren Sieben auf $U$ , so liegt genau dann eine Grothendieck-Topologie vor, wenn man je zwei Pfeile $V\rightarrow U$ und $W\rightarrow U$ mit demselben Ziel zu einem kommutativen Quadrat

{\begin{array}{ccc}X&\rightarrow &V\\\downarrow &&\downarrow \\W&\rightarrow &U\end{array}}

ergänzen kann. (Das ist zum Beispiel bei der häufig gestellten Forderung, dass die Kategorie Pullbacks enthält, erfüllt.) Diese Grothendieck-Topologie nennt man die atomare Grothendieck-Topologie.^[2]

Basis einer Grothendieck-Topologie

Eine Basis einer Grothendieck-Topologie in einer Kategorie ${\mathcal {C}}$ mit Pullbacks ist gegeben, indem man für jedes Objekt $U$ aus ${\mathcal {C}}$ Familien von Morphismen $(\phi _{i}\colon V_{i}\to U)_{i\in I}$ als überdeckende Familien von $U$ auszeichnet. Diese Familien müssen folgende Axiome erfüllen:^[3]

Ein Isomorphismus $\phi _{1}\colon V_{1}\to U$ ist eine überdeckende Familie von $U$ .

Wenn $(\phi _{i}\colon V_{i}\to U)_{i\in I}$ eine überdeckende Familie von $U$ ist und $f\colon V\to U$ ein Morphismus, dann existiert der Pullback $P_{i}=V\times _{U}V_{i}$ für jedes $i\in I$ und die induzierte Familie $(\pi _{i}\colon P_{i}\to V)_{i\in I}$ ist eine überdeckende Familie für $V$ .

Wenn $(\phi _{i}\colon V_{i}\to U)_{i\in I}$ eine überdeckende Familie von $U$ ist und wenn für jedes $i\in I$ $(\phi _{j}^{i}\colon V_{j}^{i}\to V_{i})_{j\in J_{i}}$ eine überdeckende Familie von $V_{i}$ ist, so ist $(\phi _{i}\phi _{j}^{i}\colon V_{j}^{i}\to U)_{i\in \ I,j\in J_{i}}$ eine überdeckende Familie von $U$ .

Setzt man für ein Objekt $U$ und ein Sieb $S$ auf $U$ :

S\in J(U)

genau dann, wenn es eine in der Basis zugeordnete Familie von Morphismen gibt, die in

S

enthalten ist, so ist das so definierte

J

eine Grothendieck-Topologie. Das ist mit dem Begriff Basis einer Grothendieck-Topologie gemeint.

Garben auf einer Grothendieck-Topologie

Eine Prägarbe auf einer Kategorie ${\mathcal {C}}$ ist ein kontravarianter Funktor ${\mathcal {F}}\colon {\mathcal {C}}^{\mathrm {op} }\to {\mathcal {A}}$ in eine Kategorie ${\mathcal {A}}$ , etwa die Kategorie der Mengen oder die Kategorie der abelschen Gruppen. Wenn auf ${\mathcal {C}}$ eine Grothendieck-Topologie erklärt ist und ${\mathcal {A}}$ Produkte besitzt, so nennt man eine Prägarbe eine Garbe, wenn für jede überdeckende Familie $\{\phi _{i}\colon V_{i}\to U\}_{i\in I}$ im Diagramm

{\mathcal {F}}(U)\to \prod _{i\in I}{\mathcal {F}}(V_{i})\,{\begin{matrix}\to \\[-.7em]\to \end{matrix}}\,\prod _{i,j\in I}{\mathcal {F}}(V_{i}\times _{U}V_{j})

${\mathcal {F}}(U)$ der Differenzkern der beiden rechten Pfeile ist. Hierbei ist der obere Pfeil von den Projektionen $V_{i}\times _{U}V_{j}\to V_{i}$ und der untere Pfeil von den Projektionen $V_{i}\times _{U}V_{j}\to V_{j}$ induziert. Hat ${\mathcal {A}}$ nicht genügend Produkte, so fordert man, dass für alle Objekte $A$ von ${\mathcal {A}}$ die durch ${\mathcal {F}}_{A}(U):=\mathrm {Hom} _{\mathcal {A}}(A,{\mathcal {F}}(U))$ definierte Prägarbe ${\mathcal {F}}_{A}$ eine Garbe ist.^[4]

Wie im Fall eines topologischen Raumes kann man Prägarben vergarben, das heißt man erhält einen zum Vergissfunktor $\mathbf {i} \colon \mathrm {(Garben)} \to \mathrm {(Pr{\ddot {a}}garben)}$ linksadjungierten Funktor $\mathbf {a} \colon \mathrm {(Pr{\ddot {a}}garben)} \to \mathrm {(Garben)}$ .^[5]^[6] Das heißt, man hat eine in Garben ${\mathcal {G}}$ und Prägarben ${\mathcal {F}}$ natürliche Isomorphie

\mathrm {Hom} _{\mathrm {(Garben)} }(\mathbf {a} {\mathcal {F}},{\mathcal {G}})=\mathrm {Hom} _{\mathrm {(Pr{\ddot {a}}garben)} }({\mathcal {F}},\mathbf {i} {\mathcal {G}})

Ebenso kann man verschiedene Kohomologietheorien entwickeln, etwa die Čech-Kohomologie.

Die Kategorie aller Garben auf einem Situs bildet einen Grothendieck-Topos^[7].

Siehe auch

Lawvere-Tierney-Topologie, eine Verallgemeinerung der Grothendieck-Topologie.

Einzelnachweise

↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.2: Grothendieck-Topologies, Definition 1
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.2: Grothendieck-Topologies
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.2: Grothendieck-Topologies, Definition 2
↑ Stacks project: Tag 00VR
↑ Stacks project: Tag 00WG
↑ Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.5: The Assiciated Sheaf Functor,
↑ Nlab: Grothendieck topos

[1] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.2: Grothendieck-Topologies, Definition 1

[2] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.2: Grothendieck-Topologies

[3] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.2: Grothendieck-Topologies, Definition 2

[4] Stacks project: Tag 00VR

[5] Stacks project: Tag 00WG

[6] Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.5: The Assiciated Sheaf Functor,

[7] Nlab: Grothendieck topos

[1]

[2]

[3]

[4]

[5]

[6]

[7]