Algebraische Varietät

Algebraische Varietät

In der klassischen algebraischen Geometrie, einem Teilgebiet der Mathematik, ist eine algebraische Varietät ein geometrisches Objekt, das durch Polynomgleichungen beschrieben werden kann.

Inhaltsverzeichnis

Definitionen

Affine Varietäten

Es sei K ein fester, algebraisch abgeschlossener Körper.

Eine affine algebraische Menge ist eine Teilmenge eines affinen Raums Kn, die die Form

\{x\in K^n\mid f_1(x)=\ldots=f_k(x)=0\}

für eine (endliche) Menge \{f_1,\ldots,f_k\} von Polynomen in K[X_1,\ldots,X_n] hat. (Hilberts Basissatz sagt aus, dass man jedes unendliche System von Polynomgleichungen durch ein dazu äquivalentes mit endlich vielen Gleichungen ersetzen kann.)

Eine affine Varietät ist eine irreduzible affine algebraische Menge, d. h. eine nichtleere algebraische Menge, die nicht die Vereinigung zweier echter algebraischer Teilmengen ist.[1]

Die algebraischen Teilmengen einer affinen Varietät können als abgeschlossene Mengen einer Topologie aufgefasst werden, der Zariski-Topologie. Eine quasi-affine Varietät ist eine offene Teilmenge einer affinen Varietät.

Für eine algebraische Menge Z\subseteq K^n sei I(Z) das Ideal aller Polynome, die auf ganz Z verschwinden:

I(Z)=\{f\in K[X_1,\ldots,X_n]\mid f(x)=0\ \mathrm{f\ddot ur\ alle}\ x\in Z\}

Der Koordinatenring einer affinen Varietät V ist der Quotientenring K[X_1,\ldots,X_n]/I(V). Es werden also solche Polynome miteinander identifiziert, die als Funktion auf V übereinstimmen.

Projektive Varietäten

In manchen Zusammenhängen zeigen affine Varietäten kein gutes Verhalten, da "Punkte im Unendlichen" fehlen. Projektive Varietäten sind hingegen vollständig. Diese Tatsache spiegelt sich zum Beispiel im Satz von Bézout wider, der für die Anzahl der Schnittpunkte projektiver ebener Kurven eine exakte Formel liefert, für affine ebene Kurven hingegen nur eine Abschätzung.

Es sei Pn der n-dimensionale projektive Raum über dem Körper K. Für ein homogenes Polynom f\in K[X_0,\ldots,X_n] und einen Punkt x=[x_0:\ldots:x_n] ist die Bedingung f(x_0,\ldots,x_n)=0 unabhängig von den gewählten homogenen Koordinaten von x.

Eine projektive algebraische Menge ist eine Teilmenge des projektiven Raumes, die die Form

\{x\in P^n\mid f_1(x)=\ldots=f_k(x)=0\}

für homogene Polynome f_1,\ldots,f_k in K[X_0,\ldots,X_n] hat.

Eine projektive Varietät ist eine irreduzible projektive algebraische Menge.

Auch auf projektiven Varietäten wird die Zariski-Topologie so definiert, dass die abgeschlossenen Mengen genau die algebraischen Teilmengen sind. Eine quasi-projektive Varietät ist eine offene Teilmenge einer projektiven Varietät.

Für eine projektive algebraische Menge Z\subseteq P^n sei I(Z) das Ideal, das durch die homogenen Polynome, die auf ganz Z verschwinden, erzeugt wird. Der homogene Koordinatenring einer projektiven Varietät V ist der Quotientenring K[X_0,\ldots,X_n]/I(V).

Dimension

Die Krulldimension einer algebraischen Varietät V ist die größte Zahl n, so dass eine Kette Z_0\subsetneq Z_1\ldots\subsetneq Z_n irreduzibler abgeschlossener Teilmengen von V existiert.

Die Dimension einer affinen Varietät ist gleich der Dimension ihres Koordinatenringes. Die Dimension einer projektiven Varietät ist um Eins kleiner als die Dimension ihres homogenen Koordinatenringes.

Singularitäten

Ein Punkt x einer algebraischen Varietät oder allgemeiner eines Schemas heißt singulär oder eine Singularität, wenn der zugehörige lokale Ring nicht regulär ist. Für abgeschlossene Punkte algebraischer Varietäten ist dies äquivalent dazu, dass die Dimension des Zariski-Tangentialraumes größer als die Dimension der Varietät ist.

Siehe auch

Literatur

Verweise

  1. Definition z.B. bei Hartshorne Algebraic Geometry. Von manchen Autoren wird aber auch auf das irreduzibel in der Definition verzichtet, z.B. in Hazewinkel Encyclopedia of Mathematics, Springer Online Reference. Vergleiche auch Eisenbud Commutative Algebra with applications to algebraic geometry, Springer, S.32

Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Varietät — bezeichnet eine bestimmte Variante einer Sache in der Linguistik, siehe Varietät (Linguistik) in der Biologie, siehe Varietät (Biologie) in der Zucht, synonym zu Schlag in der Mineralogie, siehe Varietät (Mineralogie) in der Mathematik, siehe… …   Deutsch Wikipedia

  • Algebraische Geometrie — Die algebraische Geometrie ist ein Teilgebiet der Mathematik, das, wie der Name bereits andeutet, die abstrakte Algebra, insbesondere das Studium von kommutativen Ringen, mit der Geometrie verknüpft. Sie lässt sich kurz als das Studium der… …   Deutsch Wikipedia

  • Algebraische Kurve — Eine algebraische Kurve ist eine eindimensionale algebraische Varietät, kann also durch eine Polynomgleichung beschrieben werden. Ein wichtiger Spezialfall sind die ebenen algebraischen Kurven, also algebraische Kurven, die in der affinen oder… …   Deutsch Wikipedia

  • Algebraische Fläche — In der algebraischen Geometrie wird eine Fläche in anderer Hinsicht als in der Differentialgeometrie und der Topologie untersucht. Eine algebraische Fläche wird mittels Polynomen definiert, die mathematisch gut erfasst sind. Mit den Werkzeugen… …   Deutsch Wikipedia

  • Algebraische Gruppe — Der mathematische Begriff der algebraischen Gruppe stellt die Synthese aus Gruppentheorie und algebraischer Geometrie dar. Ein zentrales Beispiel ist die Gruppe der invertierbaren n×n Matrizen. Definition Eine algebraische Gruppe ist ein… …   Deutsch Wikipedia

  • Abelsche Varietät — In der Mathematik werden Abelsche Varietäten im Rahmen der algebraischen Geometrie und der Zahlentheorie untersucht. Abelsche Varietäten besitzen gleichzeitig zwei mathematische Strukturen: die Struktur einer algebraischen Varietät (d.h. die… …   Deutsch Wikipedia

  • Kurve (algebraische Geometrie) — Eine algebraische Kurve ist eine eindimensionale algebraische Varietät, kann also durch eine Polynomgleichung beschrieben werden. Ein wichtiger Spezialfall sind die ebenen algebraischen Kurven, also algebraische Kurven, die in der affinen oder… …   Deutsch Wikipedia

  • Schema (algebraische Geometrie) — Die klassische algebraische Geometrie beschäftigt sich mit Teilmengen des affinen oder projektiven Raumes, die als Nullstellenmengen von endlich vielen Polynomen entstehen. Die geometrischen Objekte sind also Lösungsmengen von algebraischen… …   Deutsch Wikipedia

  • Schnittzahl (Algebraische Geometrie) — In der Algebraischen Geometrie bezeichnet die Schnittzahl eine positive ganze Zahl, welche die Schnittmultiplizität von Schnittpunkten algebraischer Kurven bezeichnet. Inhaltsverzeichnis 1 Definition 2 Eigenschaften 3 Beispiel 4 …   Deutsch Wikipedia

  • Subsystem — Varietät bezeichnet eine bestimmte Variante einer Sache in der Linguistik, siehe Varietät (Linguistik) in der Biologie, siehe Varietät (Biologie) in der Mineralogie, siehe Varietät (Mineralogie) in der Mathematik, siehe algebraische Varietät in… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”