Eine projektive Varietät ist eine Teilmenge X des projektiven Raums P^n über einem Körper (typischerweise algebraisch abgeschlossen), definiert als gemeinsame Nullstelle einer Sammlung homogener Polynome; sie ist mit der Zariski-Topologie versehen und ihre algebraische Struktur wird durch Koordinatenringe oder Schemata verfeinert.

Prinzip

Das organisierende Prinzip ist das Verschwinden homogener Polynome: projektive Varietäten sind geometrische Objekte, die unter skalarer Multiplikation homogener Koordinaten invariant sind und die Nullen homogener Ideale darstellen.

Demonstration

Beispiel: eine projektive Kurve in der Ebene gegeben durch ein einziges homogenes Polynom F(x:y:z)=0, etwa eine nicht-singuläre kubische in P^2, zeigt projektive Invarianz und globale Eigenschaften wie Grad und Geschlecht.

Fehlanwendung

Es ist eine Fehlanwendung, die affine Nullstelle nicht-homogener Polynome im affinen Raum ohne Homogenisierung oder Hinzufügung von Punkten im Unendlichen als projektive Varietät zu behandeln.

Konsequenz

Korrekte Anwendung liefert globale Invarianten (Grad, Dimension, Hilbert-Polynom), wohldefinierte Begriffe von Schnittmultiplikitäten und Kompaktheit in der Zariski-Topologie, die algebro-geometrische Methoden erleichtern.

Umkehrung

Die Umkehrung steht zur affinen Varietät: affine Mengen werden im affinen Raum durch beliebige Polynome definiert und erzwingen keine Homogenität oder projektive Skalensymmetrie; ihnen fehlen kanonische Punkte im Unendlichen.

Abgrenzung

Geltungsbereich: typischerweise über algebraisch abgeschlossenen Körpern für die klassische Theorie; ausgeschlossen sind beliebige analytische Mengen, nicht-homogene Orte in projektiven Koordinaten und Räume ohne zugrundeliegenden homogenen Koordinatenring.

Semantische Spannung

Spannung besteht zwischen 'projektiver Varietät' und 'projektivem Schema' oder 'projektiver algebraischer Menge': Varietät impliziert oft Irreduzibilität und Reduziertheit, während Schemata Nilpotente und allgemeinere Verklebevorgänge erlauben.

Synthese

Eine projektive Varietät ist die Nullstelle eines homogenen Ideals im projektiven Raum; bis auf projektive Skalierung definiert, trägt sie algebraische Invarianten wie Grad und Dimension und dient als kompaktes Objekt für Schnitttheorie und Moduli-Probleme.