Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020)/Vorlesung 9



Affine Schemata

Es sei

das mit der Zariski-Topologie versehene Spektrum eines kommutativen Ringes . Wenn ein Körper ist, so besteht das Spektrum allein aus einem einzigen Punkt, nämlich dem Nullideal, das zugleich das maximale Ideal ist, und beinhaltet so gesehen sehr wenig Information. Der kontravariante Funktor

verliert also Information. Wir wollen dass Spektrum mit einer zusätztlichen Struktur anreichern, damit man daraus den Ring rekonstruieren kann. Dazu definieren wir eine (Struktur-)Garbe auf dem Spektrum. Zu einem Ring ist dann das Spektrum zusammen mit dieser Strukturgarbe eine sinnvolle Geometrisierung, nämlich ein beringter Raum.


Es sei das Spektrum eines kommutativen Ringes . Darauf definiert man eine Prägarbe von kommutativen Ringen, indem man zu einer offenen Menge die Festlegung

macht, mit den natürlichen Ringhomomorphismen zu . Dies ist mit den natürlichen Ringhomomorphismen eine Prägarbe. Dabei ist und insbesondere , da das gerichtete System das finale Objekt enthält. Der Halm dieser Prägarbe in einem Punkt ist


Dies ist keine Garbe. Ihre Vergarbung ist die Strukturgarbe auf dem Spektrum.


Es sei das Spektrum eines kommutativen Ringes . Unter der Strukturgarbe auf versteht man die Zuordnung, die jeder offenen Menge den kommutativen Ring

und jeder Inklusion die natürliche Projektion zuordnet.



Die Strukturgarbe auf dem Spektrum eines kommutativen Ringes

ist eine Garbe von kommutativen Ringen.

Die angegebene Definition ist einfach die Vergarbung der in Beispiel 9.1 beschriebenen Prägarbe, wobei wir lediglich die Verträglichkeitsbedingung statt mit beliebigen offenen Umgebungen mit den Basisumgebungen formuliert haben.



Das Spektrum eines kommutativen Ringes zusammen mit der Strukturgarbe nennt man das affine Schema zu .

Ein Element nennt man eine auf definierte algebraische (oder rationale oder reguläre) Funktion.

Zu einem Integritätsbereich lässt sich die Strukturgarbe besonders einfach beschreiben, zu einer offenen Teilmenge ist einfach

wobei der Durchschnitt im Quotientenkörper genommen wird, in dem sämtliche Lokalisierungen Unterringe sind. Die Funktionen auf sind also einfach diejenigen rationalen Elemente aus , die in allen Punkten aus definiert sind. Dabei gilt

nach Lemma 16.4 (Kommutative Algebra). Entsprechend gilt . Wenn eine offene Überdeckung vorliegt, so ist



Wir betrachten über einem Körper . Auf der offenen Menge

ist diejenige Funktion, die auf der (punktierten) Geraden den Wert und auf der (punktierten) Geraden den Wert besitzt, eine algebraische Funktion. Durch diese Festlegung ist für jedes Primideal ein gegeben. Bei

ist eine Beschreibung als Bruch und bei

ist eine Beschreibung als Bruch.


Zu einem Integritätsbereich mit Quotientenkörper und einer rationalen Funktion gibt es eine größte offene Menge , auf der definiert ist. Es ist nämlich mit dem sogenannten Nennerideal

Wenn gilt, so ist mit , gehört zum Nennerideal und somit ist . Dieses Argument rückwärts gelesen ergibt die andere Implikation. Die Menge ist der maximale Definitionsort für .




Es sei ein faktorieller Integritätsbereich.

Dann ist für offene Mengen die Zuordnung

gleich der Strukturgarbe auf .

Die angegebene Zuordnung ist eine Prägarbe von kommutativen Ringen, deren Vergarbung gleich der Strukturgarbe ist. Wir müssen also zeigen, dass diese Prägarbe im faktoriellen Fall bereits eine Garbe ist. Es sei

von verschieden. Wegen der Faktorialität gibt es eine gekürzte Darstellung

Wir behaupten , sei also . Da auf definiert ist, gibt es nach Bemerkung 8.5 eine Darstellung mit . Dies bedeutet in . Jeder Primfaktor von teilt aber nicht , also muss er teilen. Daher umfasst das Radikal von das Radikal von und somit ist .


Diese Aussage gilt insbesondere für den Polynomring bzw. den affinen Raum.


Wir betrachten den Integritätsbereich über einem Körper und die offene Teilemenge . Nach Bemerkung 8.5 ist

eine auf definierte algebraische Funktion, also ein Element aus . Es gibt aber außer den Einheiten kein Element mit , da und irreduzibel sind. Deshalb ist kein Schnitt der Prägarbe aus Beispiel 9.1 über , aber ein Schnitt ihrer Vergarbung.




Es sei das affine Schema zu einem kommutativen Ring und es sei ein Punkt, der dem Primideal entspreche.

Dann ist der Halm der Strukturgarbe gleich

Dies ergibt sich aus Beispiel 9.1 und Lemma 5.2  (2).



Dies folgt unmittelbar aus Lemma 9.10 und Satz 16.3 (Kommutative Algebra).



Es sei das affine Schema zu einem kommutativen Ring und es sei .

Dann ist

Insbesondere ist der globale Schnittring gleich .

Wir beweisen den angeführten Spezialfall. Es gibt einen natürlichen Ringhomomorphismus . Dieser ist injektiv, da man das Nullsein eines Elementes lokal testen kann, vergleiche Lemma Anhang 1.1. Zum Nachweis der Surjektivität sei ein globales Element. Dies bedeutet, dass es eine offene Überdeckung

und Elemente

die als Schnitte über

also als Elemente in übereinstimmen. Nach Korollar 8.6 können wir annehmen, dass endlich ist. Ferner können wir die durch ihr Maximum ersetzen (was natürlich die lokalen Zähler auch ändert). Die Verträglichkeit bedeutet die Existenz von Gleichungen

in , wobei wir als ein Maximum gewählt haben. Nach Proposition 8.4  ((2), (4)) erzeugen die , , das Einheitsideal. Dies gilt dann auch für die , , d.h. es gibt mit

Wir setzen

Es ist dann

Dies bedeutet wiederum in , d.h. der Schnitt wird von einem Ringelement repräsentiert.

Wir betrachten nun die Situation auf . Diese entspricht aber der behandelten Situation, wenn man als neuen Ring ansetzt.



Es sei das affine Schema zu einem kommutativen Ring und es sei .

Dann ist .

Nach Proposition 8.11  (3) induziert der kanonische Ringhomomorphismus eine offene Einbettung

Nach Satz 9.12 ist links und rechts der Schnittring gleich . Entsprechendes gilt für jede offene Teilmenge , und dadurch ist die Strukturgarbe links und rechts festgelegt, sodass ein Isomorphismus von beringten Räumen vorliegt.


<< | Kurs:Bündel, Garben und Kohomologie (Osnabrück 2019-2020) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)