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 <math>X</math> ordnet jeder offenen Menge <math>U\subset X</math> eine Menge <math>P(U)</math> zu, so dass folgende Verträglichkeitsbedingungen erfüllt sind:

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

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

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

Viele Konstruktionen verwenden offene Überdeckungen des Raumes <math>X</math> und von diesen folgende Eigenschaften:

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

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 <math>f</math> und jedem von rechts damit komponierbaren Morphismus <math>g</math> auch <math>f\circ g</math> 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 <math>\mathcal{C}</math> ist eine Zuordnung <math>J</math>, die jedem Objekt <math>U</math> aus <math>\mathcal{C}</math> eine Menge <math>J(U)</math> von Sieben auf <math>U</math> zuordnet, so dass Folgendes gilt:<ref>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</ref>

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

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

Beispiele

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

<math>

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

</math>

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.<ref>Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.2: Grothendieck-Topologies</ref>

Basis einer Grothendieck-Topologie

Eine Basis einer Grothendieck-Topologie in einer Kategorie <math>\mathcal{C}</math> mit Pullbacks ist gegeben, indem man für jedes Objekt <math>U</math> aus <math>\mathcal{C}</math> Familien von Morphismen <math>(\phi_i\colon V_i\to U)_{i\in I}</math> als überdeckende Familien von <math>U</math> auszeichnet. Diese Familien müssen folgende Axiome erfüllen:<ref>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</ref>

Ein Isomorphismus <math>\phi_1\colon V_1\to U</math> ist eine überdeckende Familie von <math>U</math>.

Wenn <math>(\phi_i\colon V_i\to U)_{i\in I}</math> eine überdeckende Familie von <math>U</math> ist und <math>f\colon V\to U</math> ein Morphismus, dann existiert der Pullback <math>P_i = V \times_U V_i</math> für jedes <math>i\in I</math> und die induzierte Familie <math>(\pi_i\colon P_i \to V)_{i\in I}</math> ist eine überdeckende Familie für <math>V</math>.

Wenn <math>(\phi_i\colon V_i\to U)_{i\in I}</math> eine überdeckende Familie von <math>U</math> ist und wenn für jedes <math>i\in I</math> <math>(\phi_j^i\colon V_j^i\to V_i)_{j\in J_i}</math> eine überdeckende Familie von <math>V_i</math> ist, so ist <math>(\phi_i\phi_j^i\colon V_j^i\to U)_{i\in\ I, j\in J_i}</math> eine überdeckende Familie von <math>U</math>.

Setzt man für ein Objekt <math>U</math> und ein Sieb <math>S</math> auf <math>U</math>:

<math>S\in J(U)</math> genau dann, wenn es eine in der Basis zugeordnete Familie von Morphismen gibt, die in <math>S</math> enthalten ist, so ist das so definierte <math>J</math> eine Grothendieck-Topologie. Das ist mit dem Begriff Basis einer Grothendieck-Topologie gemeint.

Garben auf einer Grothendieck-Topologie

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

<math>\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)</math>

<math>\mathcal F(U)</math> der Differenzkern der beiden rechten Pfeile ist. Hierbei ist der obere Pfeil von den Projektionen <math>V_i \times_U V_j \to V_i</math> und der untere Pfeil von den Projektionen <math>V_i \times_U V_j \to V_j</math> induziert. Hat <math>\mathcal A</math> nicht genügend Produkte, so fordert man, dass für alle Objekte <math>A</math> von <math>\mathcal A</math> die durch <math>\mathcal F_{A}(U) := \mathrm{Hom}_{\mathcal A}(A,\mathcal F(U))</math> definierte Prägarbe <math>\mathcal F_A</math> eine Garbe ist.<ref>Stacks project: Tag 00VR</ref>

Wie im Fall eines topologischen Raumes kann man Prägarben vergarben, das heißt man erhält einen zum Vergissfunktor <math>\mathbf{i}\colon \mathrm{(Garben)}\to\mathrm{(Pr\ddot agarben)}</math> linksadjungierten Funktor <math>\mathbf{a} \colon \mathrm{(Pr\ddot agarben)} \to \mathrm{(Garben)}</math>.<ref>Stacks project: Tag 00WG</ref><ref>Saunders Mac Lane, Ieke Moerdijk: Sheaves in Geometry and Logic, Springer-Verlag (1992), ISBN 978-0-387-97710-2, Kapitel III.5: The Associated Sheaf Functor.</ref> Das heißt, man hat eine in Garben <math>\mathcal{G}</math> und Prägarben <math>\mathcal{F}</math> natürliche Isomorphie

<math>\mathrm{Hom}_{\mathrm{(Garben)}}(\mathbf{a}\mathcal{F},\mathcal{G})=\mathrm{Hom}_{\mathrm{(Pr\ddot agarben)}}(\mathcal{F},\mathbf{i}\mathcal{G})</math>

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

Die Kategorie aller Garben auf einem Situs bildet einen Grothendieck-Topos<ref>Nlab: Grothendieck topos</ref>.

Siehe auch

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

Einzelnachweise