Zum Inhalt springen

Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 21

Aus Wikiversity



Diskrete Bewertungsringe

Wir setzen nun die lokale Untersuchung von algebraischen Kurven fort und werden im weiteren Verlauf verschiedene Charakterisierungen dafür finden, dass ein Punkt einer Kurve nichtsingulär (oder glatt) ist. Zu dem Punkt auf der Kurve gehört der lokale Ring in , der die Lokalisierung des affinen Koordinatenringes der Kurve am maximalen Ideal ist, das zu gehört. Wenn ist, so lässt sich der lokale Ring in doppelter Weise beschreiben, nämlich als

(dabei ist das maximale Ideal aufgefasst im Restklassenring). Dieser Ring beschreibt die wesentlichen algebraischen Eigenschaften des Punktes auf der Kurve. Wichtig ist zunächst der Begriff des diskreten Bewertungsringes.


Ein diskreter Bewertungsring ist ein Hauptidealbereich mit der Eigenschaft, dass es bis auf Assoziiertheit genau ein Primelement in gibt.

Einen Erzeuger des maximalen Ideals in einem diskreten Bewertungsring nennt man auch eine Ortsuniformisierende.



Ein diskreter Bewertungsring ist

ein lokaler, noetherscher Hauptidealbereich mit genau zwei Primidealen, nämlich und dem maximalen Ideal .

Beweis

Ein diskreter Bewertungsring ist kein Körper. In einem Hauptidealbereich, der kein Körper ist, wird jedes maximale Ideal von einen Primelement erzeugt, und die Primerzeuger zu verschiedenen maximalen Idealen können nicht assoziiert sein. Also gibt es genau ein maximales Ideal. Ebenso wird jedes von null verschiedene Primideal durch ein Primelement erzeugt, sodass es neben dem maximalen Ideal nur noch das Nullideal gibt.



Es sei ein Körper, der Polynomring und die Lokalisierung am maximalen Ideal . Dann ist ein diskreter Bewertungsring. Die beiden einzigen Primideale von sind , und ein Hauptidealbereich liegt vor, da ja ein Hauptidealbereich ist. Da es nur ein maximales Ideal gibt, kann es bis auf Assoziiertheit auch nur ein Primelement geben, nämlich .



Es sei eine Primzahl und sei die Lokalisierung am maximalen Ideal . Dann ist ein diskreter Bewertungsring. Die beiden einzigen Primideale von sind , und ein Hauptidealbereich liegt vor, da ja ein Hauptidealbereich ist. Da es nur ein maximales Ideal gibt, kann es bis auf Assoziiertheit auch nur ein Primelement geben, nämlich .



Zu einem Element , in einem diskreten Bewertungsring mit Primelement heißt die Zahl mit der Eigenschaft , wobei eine Einheit bezeichnet, die Ordnung von . Sie wird mit bezeichnet.

Die Ordnung ist also nichts anderes als der Exponent zum (bis auf Assoziiertheit) einzigen Primelement in der Primfaktorzerlegung. Sie hat folgende Eigenschaften.


Es sei ein diskreter Bewertungsring mit maximalem Ideal .

Dann hat die Ordnung

folgende Eigenschaften.

  1. .
  2. .
  3. Es ist genau dann, wenn ist.
  4. Es ist genau dann, wenn ist.

Beweis

Siehe Aufgabe 21.2.


Wir wollen eine wichtige Charakterisierung für diskrete Bewertungsringe beweisen, die insbesondere beinhaltet, dass ein normaler lokaler Integritätsbereich mit genau zwei Primidealen bereits ein diskreter Bewertungsring ist. Dazu benötigen wir einige Vorbereitungen.



Es sei ein noetherscher lokaler kommutativer Ring. Es sei vorausgesetzt, dass das maximale Ideal das einzige Primideal von ist.

Dann gibt es einen Exponenten mit

Wir behaupten zunächst, dass jedes Element in eine Einheit oder nilpotent ist. Es sei hierzu keine Einheit. Dann ist . Angenommen, ist nicht nilpotent. Dann gibt es nach Aufgabe 10.16 ein Primideal in mit . Damit ergibt sich der Widerspruch .

Es ist also jedes Element im maximalen Ideal nilpotent. Insbesondere gibt es für ein endliches Erzeugendensystem von eine natürliche Zahl mit für alle . Sei . Dann ist ein beliebiges Element aus von der Gestalt

Ausmultiplizieren ergibt eine Linearkombination mit Monomen und , sodass ein mit einem Exponenten vorkommt. Daher ist das Produkt .



Es sei ein noetherscher lokaler Integritätsbereich mit der Eigenschaft, dass es genau zwei Primideale gibt. Dann sind folgende Aussagen äquivalent.

  1. ist ein diskreter Bewertungsring.
  2. ist ein Hauptidealbereich.
  3. ist faktoriell.
  4. ist normal.
  5. ist ein Hauptideal.

folgt direkt aus der Definition 21.1.

folgt aus der allgemeinen Aussage, dass jeder Hauptidealbereich faktoriell ist.

folgt aus Satz 20.2.

. Es sei , . Dann ist ein noetherscher lokaler Ring mit nur einem Primideal (nämlich ). Daher gibt es nach Lemma 21.7 ein mit . Zurückübersetzt nach heißt das, dass gilt. Wir wählen minimal mit den Eigenschaften

Wähle mit und betrachte

(es ist ). Das Inverse, also , gehört nicht zu , sonst wäre . Da nach Voraussetzung normal ist, ist auch nicht ganz über . Nach dem Modulkriterium Lemma 19.9 für die Ganzheit gilt insbesondere für das maximale Ideal die Beziehung

ist. Nach Wahl von ist aber auch

Daher ist ein Ideal in , das nicht im maximalen Ideal enthalten ist. Also ist . Das heißt einerseits und andererseits gilt für ein beliebiges die Beziehung , also , also und somit .

. Sei . Dann ist ein Primelement und zwar bis auf Assoziiertheit das einzige. Es sei , keine Einheit. Dann ist und daher . Dann ist eine Einheit oder . Im zweiten Fall ist wieder und .

Wir behaupten, dass man mit einem und einer Einheit schreiben kann. Andernfalls könnte man mit beliebig großem schreiben. Nach Lemma 21.7 gibt es ein mit . Bei ergibt sich und der Widerspruch .

Es lässt sich also jede Nichteinheit als Produkt einer Potenz des Primelements mit einer Einheit schreiben. Insbesondere ist faktoriell. Für ein beliebiges Ideal ist mit Einheiten . Dann sieht man leicht, dass ist mit .



Das Lemma von Nakayama

Nach dem vorangehenden Überlegungen liegt ein diskreter Bewertungsring genau dann vor, wenn der lokale Integritätsbereich die Eigenschaft hat, dass das maximale Ideal durch ein Element erzeugt wird. Es ist von daher naheliegend, generell die lokalen Ringe zu Punkten auf einer algebraischen Kurve dahingehend zu studieren, wie viele Erzeuger das maximale Ideal benötigt. Dies führt zum Begriff der Einbettungsdimension, den wir schon im Zusammenhang mit monomialen Kurven erwähnt haben. Diese Einbettungsdimension ist auch die Dimension des -Vektorraumes , für diesen Zusammenhang brauchen wir aber einige Vorbereitungen und insbesondere das Lemma von Nakayama.

Im Lemma von Nakayama wird folgende Konstruktion betrachtet: Zu einem -Modul , einem Untermodul und einem Ideal bezeichnet man mit den -Untermodul von , der von allen Elementen der Form , erzeugt wird (dies ist auch ein -Untermodul von ). Ist ebenfalls ein Ideal (also ein -Untermodul von )so fällt dieses Konzept mit dem Produkt von Idealen zusammen. Der Restklassenmodul ist dabei in natürlicher Weise nicht nur ein -Modul, sondern auch ein -Modul. Wenn ein maximales Ideal ist, so bedeutet dies, dass der Restklassenmodul sogar ein Vektorraum über dem Restklassenkörper ist.


Es sei ein lokaler Ring und sei ein endlich erzeugter - Modul. Es sei vorausgesetzt.

Dann ist .

Es sei ein Erzeugendensystem von . Nach Voraussetzung gibt es wegen zu jedem eine Darstellung

mit . Daraus ergibt sich für jedes eine Darstellung

Da ist, ist der Koeffizient eine Einheit. Dies bedeutet aber, dass man nach auflösen kann, sodass also überflüssig ist. So kann man sukzessive auf alle Erzeuger verzichten, was bedeutet, dass der Nullmodul vorliegen muss.



<< | Kurs:Algebraische Kurven (Osnabrück 2017-2018) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)