Graduierter Ring/Projektives Spektrum/Einführung/Textabschnitt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Das projektive Spektrum wird üblicherweise für -graduierte Ringe eingeführt. Da man aber in der Konstruktion Nenneraufnahmen an homogenen Elementen betrachtet, wobei auch negative Grade auftreten, ist es sinnvoller, von Anfang an mit -Graduierungen zu arbeiten.


Definition  

Zu einem -graduierten Ring nennt man das von allen homogenen Elementen von einem Grad erzeugte Ideal das irrelevante Ideal. Es wird mit bezeichnet.

Im positiv-graduierten Fall ist dies einfach das Ideal . Bei negativen Graden kann es auch das Einheitsideal sein.


Definition  

Es sei ein -graduierter kommutativer Ring. Dann nennt man die Menge der homogenen Primideale von , die nicht umfassen, das projektive Spektrum von . Es wird mit bezeichnet.


Definition  

Es sei ein -graduierter kommutativer Ring. Dann nennt man die Menge der homogenen Primideale von , die nicht umfassen, zusammen mit der Topologie, bei der die Teilmengen

als offen erklärt werden, das projektive Spektrum von .

Es handelt sich in der Tat um eine Topologie. Es ist

mit

Diese bilden eine Basis der Topologie.


Definition  

Das projektive Spektrum des Polynomrings nennt man den projektiven Raum der Dimension über .

Zu einem -graduierten Ring bezeichnet man den Ring der nullten Stufe mit . Wenn -graduiert ist, so ist häufig ein einfacher Ring, beispielsweise ein Körper, aber wenn ein homogenes Element mit einem positiven Grad ist, so ist die Nenneraufnahme in natürlicher Weise -graduiert und kann beliebig kompliziert sein.

Zu einem homogenen Primideal ist ein multiplikatives System und entsprechend ist der Durchschnitt von mit der Menge aller homogenen Elemente ein multiplikatives System. Der Ring der nullten Stufe zu dieser Nenneraufnahme spielt eine besondere Rolle, er wird mit

bezeichnet.



Lemma  

Zu einem homogenen Primideal in einem -graduierten Ring

ist ein lokaler Ring.

Beweis  

Seien Nichteinheiten. Dann ist und mit homogenen Elementen und homogenen Elementen , die jeweils den gleichen Grad wie ihre Nenner haben. Dabei ist , da andernfalls eine Einheit vorliegen würde. Daher ist und somit ist

ebenfalls eine Nichteinheit in .



Definition  

Es sei ein -graduierter Ring und das mit der Zariski-Topologie versehene projektive Spektrum von . Unter der Strukturgarbe auf versteht man die Zuordnung, die jeder offenen Menge den kommutativen Ring

und jeder Inklusion die natürliche Projektion zuordnet.

Diese Definition beinhaltet insbesondere, dass in jeder Darstellung die Differenz gleich ist. Man kann dies als Vergarbung der durch

definierten Prägarbe auffassen, wodurch klar wird, dass eine Garbe aus kommutativen Ringen vorliegt.

Definition  

Es sei ein -graduierter Ring. Unter dem projektiven Spektrum versteht man das mit der Zariski-Topologie und der Strukturgarbe versehene projektive Spektrum von .



Lemma  

Es sei ein -graduierter Ring, der zumindest eine homogene Einheit positiven Grades besitze.

Dann ist die Abbildung

eine Bijektion, die bezüglich der Zariski-Topologien eine Homöomorphie und bezüglich der Strukturgarben ein Isomorphismus ist. Ferner ist dabei

Beweis  

Zunächst ist ein Primideal und die Abbildung ist wohldefiniert. Es sei eine Einheit positiven Grades. Wir behaupten, dass sich aus rekonstruieren lässt, und zwar sind die homogenen Elemente von , die ja das Ideal festlegen, gleich

Dabei ist die Inklusion klar, da man und so wählen kann, dass der Grad von gleich wird. Wenn umgekehrt ist, so ist zunächst und wegen der Primeigenschaft dann auch . Damit ist die Abbildung injektiv. Zum Nachweis der Surjektivität sei ein Primideal aus und wir betrachten das von

erzeugte Ideal. Dieses enthält keine Einheit und somit auch nicht ganz , da es nicht enthält, da nicht die enthält. Wenn zu dieser Menge gehört, so ist für gewisse und für eine gewisse Potenz davon können wir dies als

derart schreiben, dass beide Faktoren den Grad haben. Dann muss ein Faktor zu gehören und somit oder zu der angegebenen Menge.

Zum Nachweis der Homöomorphie beachte man, dass die Mengen bzw. zu homogenen Elementen (vom Grad ) jeweils eine Basis der Topologie bilden, dass das Urbild von gleich ist und dass ist.




Lemma  

Zu einem -graduierten Ring und einem homogenen Element von einem Grad ist

als beringte Räume. Insbesondere ist das projektive Spektrum ein Schema.

Beweis  

Dies folgt aus Fakt, angewendet auf , unter Berücksichtigung, dass die homogenen Primideale von den homogenen Primidealen von entsprechen. Die Schemaeigenschaft folgt, da die zu das projektive Spektrum überdecken.



Beispiel  

Das projektive Spektrum zum standard-graduierten Polynomring , also der projektive Raum, wird durch die überdeckt. Man spricht von der affinen Standardüberdeckung des projekiven Raumes. Dabei ist

ein Polynomring in Variablen und daher ist (mit für )

Der projektive -dimensionale Raum wird also durch affine Räume überdeckt.