Birationale Äquivalenz

Teilgebiet der Algebraischen Geometrie
(Weitergeleitet von Rationale Varietät)

Ein Ziel der algebraischen Geometrie ist es, Varietäten bis auf Isomorphie zu klassifizieren. Das ist im Allgemeinen ein zu schwieriges Problem. Mit dem schwächeren Begriff der birationalen Äquivalenz ergeben sich hingegen bessere Klassifikationsmöglichkeiten. Zwei Varietäten und werden birational äquivalent genannt, wenn sie isomorphe dichte offene Teilmengen enthalten.

Definitionen

Bearbeiten

Sind   und   Varietäten, so werden sie birational äquivalent genannt, wenn es rationale Abbildungen

 
 

gibt mit

 

und

 

Die Varietäten können affine, quasiaffine, projektive, quasiprojektive oder abstrakte Varietäten sein.

  und   werden in diesem Fall birationale Abbildungen genannt.

Es ist für Varietäten   und   äquivalent:

  •   und   sind birational äquivalent.
  •   und   besitzen isomorphe dichte offene Mengen.
  • Es gibt in   und   Punkte mit isomorphen lokalen Ringen.
  •   und   haben isomorphe Funktionenkörper.

Ein birationaler Morphismus ist ein Morphismus algebraischer Varietäten, der gleichzeitig eine birationale Abbildung ist.

Rationale Varietäten

Bearbeiten

Eine Varietät, die birational äquivalent zu einem projektiven Raum ist, wird rational genannt. Eine irreduzible kubische Kurve ist zum Beispiel genau dann rational, wenn sie singulär ist. Beispiele dafür sind die Neilsche Parabel oder der Newtonsche Knoten.

Beispiele

Bearbeiten
  • Die Aufblasung eines Punktes oder allgemeiner, einer abgeschlossenen Untervarietät, ist birational äquivalent zur Ausgangsvarietät.
  • Jede Varietät ist birational äquivalent zu einer Hyperfläche.
  • Jede Kurve ist birational äquivalent zu einer ebenen Kurve, die nur sehr einfache Singularitäten (Doppelpunkte) besitzt.
  • Zu jeder Varietät   über einem Körper der Charakteristik 0 gibt es eine nicht singuläre Varietät   mit einem eigentlichen birationalen Morphismus  . (Das nennt man eine Auflösung der Singularitäten.) Dies ist ein tiefer Satz von Heisuke Hironaka.
  • Einfacher zu zeigen ist: Zu jeder Kurve   gibt es eine eindeutig bestimmte nicht singuläre Kurve   mit einem eigentlichen birationalen Morphismus  
  • Eine birationale Abbildung vom   zum   wird Cremona Transformation genannt. Ein Beispiel ist die quadratische Transformation
 
 

Diese Abbildung ist außer auf den Punkten (1:0:0), (0:1:0) und (0:0:1) überall definiert. Das Bild der Verbindungsgeraden dieser Punkte ist jeweils ein Punkt, außerhalb der Verbindungsgeraden ist die Abbildung ein Isomorphismus. Diese Abbildung ist selbstinvers, also  

Klassifikation

Bearbeiten

Das Klassifikationsprogramm, die Klassifizierung von Varietäten, ist ein Leitprogramm der algebraischen Geometrie. Es kann in mehrere Aufgaben unterteilt werden. Der erste Teil ist die Klassifizierung bis auf birationale Äquivalenz. Das bedeutet, die endlich erzeugten Erweiterungskörper des Grundkörpers bis auf Isomorphie zu klassifizieren. Der nächste Schritt ist dann, innerhalb einer birationalen Äquivalenzklasse eine gute Untermenge wie die der nichtsingulären Varietäten zu finden und diese dann bis auf Isomorphie zu klassifizieren. Der dritte Teil ist dann zu bestimmen, wie weit eine allgemeine Varietät von den guten entfernt ist.

Bei den algebraischen Kurven ist das Programm gut umgesetzt. Es gibt eine birationale Invariante, das Geschlecht. Das Geschlecht ist eine natürliche Zahl, und jede natürliche Zahl wird als Geschlecht von einer Kurve angenommen. Für g=0 gibt es genau eine birationale Äquivalenzklasse, die der rationalen Kurven. Für jedes g > 0 gibt es eine kontinuierliche Familie von birationalen Äquivalenzklassen, die von einer irreduziblen algebraischen Varietät parametrisiert wird. Diese Varietät hat die Dimension 1, wenn g gleich 1 ist (das sind elliptische Kurven) und die Dimension 3g-3 für g>1. Für Kurven ist der Teil eins also gelöst: Eine Äquivalenzklasse einer algebraischen Kurve wird bestimmt durch eine natürliche Zahl, das Geschlecht (einer diskreten Invariante), und dann einen Punkt auf einer Varietät (einer kontinuierlichen Invariante). Der zweite Teil hat eine einfache Lösung: In jeder birationalen Äquivalenzklasse gibt es genau eine nicht singuläre Kurve. Und zum dritten Teil ist zu ergänzen, dass zu jeder Kurve endlich viele Punkte adjungiert werden müssen, um zu einer nicht singulären Kurve zu gelangen.

Birationale Invarianten

Bearbeiten

Eine birationale Invariante ist eine Invariante, die sich unter birationalen Abbildungen nicht verändert. Die einfachste birationale Invariante ist natürlich die Dimension.

Das arithmetische Geschlecht ist eine birationale Invariante von Kurven, Flächen und von nicht singulären Varietäten über algebraisch abgeschlossenen Körpern. Das geometrische Geschlecht ist eine birationale Invariante von nicht singulären projektiven Varietäten. Insbesondere lassen sich dadurch leicht nicht rationale Varietäten beliebiger Dimension finden.

Literatur

Bearbeiten