Ein geometrisches Objekt, definiert als Lösungsmenge polynomieller Gleichungen über einem Körper und ausgestattet mit der Zariski‑Topologie; klassisch oft als reduzierte, getrennte Schema von endlichem Typ über einem Körper betrachtet, möglicherweise irreduzibel (ein integrales Gebilde) oder reduzierbar.

Prinzip

Geometrie durch polynomiale Gleichungen erfassen: der Koordinatenring und seine Ideale kodieren geometrische Eigenschaften, Dimension und Morphismen zwischen Varietäten über algebraische Morphismen.

Demonstration

Eine affine Varietät V(I) ⊂ A^n_k, definiert durch ein Ideal I ⊂ k[x_1,...,x_n], hat Koordinatenring k[x_1,...,x_n]/I; projektive Varietäten entstehen durch homogene Gleichungen im projektiven Raum und werden aus affinen Stücken verklebt.

Fehlanwendung

Darauf zu vertrauen, dass jedes Schema vom endlichen Typ über einem Körper eine Varietät ist (Nichtreduzierte oder mangelnde Getrenntheit zu ignorieren), oder Varietäten ausschließlich über algebraisch abgeschlossenen Körpern zu betrachten, wenn arithmetisches Verhalten über allgemeinen Körpern relevant ist.

Konsequenz

Varietäten erlauben den Einsatz algebraischer Werkzeuge (Koordinatenringe, Dimensionstheorie, Morphismen, rationale Abbildungen) und tragen geometrische Begriffe wie Glattheit, Singularitäten und Schnitttheorie über einem Körper.

Umkehrung

Generelles Schema oder analytischer Raum: die Forderung nach Reduziertheit, Endlichkeit oder Basiskörper zu lockern, führt zu Schemata mit Nilpotenten, formalen Schemata oder analytischen Räumen, wo polynomiale Gleichungen durch konvergente Potenzreihen ersetzt werden.

Abgrenzung

Typischerweise beschränkt auf reduzierte Schemata endlichen Typs über einem Körper und oft als getrennt angenommen; schließt Schemata über allgemeinen Ringen, Stacks, formale Schemata und die meisten analytischen oder transzendenten Räume aus.

Semantische Spannung

Varietät versus Schema: Varietäten sind klassisch, oft reduziert und über einem Körper definiert; Schemata sind weiter gefasst und gestatten Nilpotente und arithmetische Basiringe — die Wahl hängt von den zu erfassenden Phänomenen ab.

Synthese

Eine algebraische Varietät ist ein durch Polynome über einem Körper definierter geometrischer Ort, dessen Koordinatenring die algebraische Struktur kodiert; als reduziertes Schema endlichen Typs bietet sie einen flexiblen, klassisch geprägten Rahmen für algebraische Geometrie.