Schemata

Schemata sind Grothendiecks weitreichende Verallgemeinerung von Varietäten, die durch das Zusammenkleben von Spektren beliebiger kommutativer Ringe konstruiert werden, was es der algebraischen Geometrie ermöglicht, über jedem Ring zu arbeiten und infinitesimale sowie arithmetische Informationen zu verfolgen.

Definition

Ein Schema ist ein lokal geringter Raum, der lokal isomorph zum Spektrum eines kommutativen Rings (ein affines Schema) ist, wobei Punkte Primideale sind und der Strukturgarb den Ring der Funktionen auf jeder offenen Menge aufzeichnet.

Scope

Dieses Thema konstruiert das Spektrum eines kommutativen Rings als einen lokal geringten Raum, definiert affine Schemata und allgemeine Schemata durch Verkleben und entwickelt Morphismen von Schemata sowie die relative Perspektive. Es behandelt Schlüsseleigenschaften – reduzierte, integrale, separierte und glatte Schemata – Faserprodukte und Basiswechsel sowie die Funktor-der-Punkte-Perspektive. Die Rolle von Nilpotenten bei der Erfassung nicht-reduzierter Strukturen und die Verwendung von Schemata über den ganzen Zahlen für die arithmetische Geometrie werden hervorgehoben.

Core questions

• Wie verwandelt das Primzahlspektrum eines Rings beliebige kommutative Algebra in Geometrie?
• Was können nilpotente Elemente und generische Punkte in Schemata ausdrücken, was Varietäten nicht können?
• Wie unterstützen relative Schemata und Basiswechsel eine einheitliche Theorie über jeder Basis?
• Wie charakterisiert der Funktor-der-Punkte-Standpunkt ein Schema durch die Abbildungen in dieses hinein?

Key concepts

• Spektrum eines Rings und die Zariski-Topologie auf Primzahlen
• Strukturgarb und lokal geringte Räume
• Affine Schemata und Verkleben zu allgemeinen Schemata
• Morphismen, Faserprodukte und Basiswechsel
• Funktor der Punkte und nicht-reduzierte (nilpotente) Struktur

Clinical relevance

Die Schematheorie ist die grundlegende Sprache der modernen algebraischen Geometrie und arithmetischen Geometrie; sie ermöglichte die kohomologischen Beweise der Weil-Vermutungen und die Modularitätsergebnisse, die hinter Fermats letztem Satz stehen, und sie rahmt Modulprobleme und Deformationstheorie ein.

History

Aufbauend auf Serres Garben-theoretischer algebraischer Geometrie führte Grothendieck in den Éléments de géométrie algébrique (1960er Jahre) Schemata ein, die Varietäten zu Spektren beliebiger Ringe verallgemeinerten und das gesamte Feld auf kohomologischen und kategorialen Grundlagen neu aufbauten.

Key figures

• Alexander Grothendieck
• Jean-Pierre Serre
• David Mumford

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

Wie unterscheidet sich ein Schema von einer Varietät?

Eine Varietät ist im Wesentlichen ein integrales, reduziertes Schema endlichen Typs über einem Körper; ein allgemeines Schema kann nilpotente Funktionen, unendlich viele oder generische Punkte haben und kann über jedem kommutativen Ring, einschließlich der ganzen Zahlen, definiert sein.

Warum umfassen die Punkte eines Schemas Primideale und nicht nur maximale?

Primideale, die nicht maximal sind, ergeben generische Punkte, die im Abschluss von Untervarietäten liegen, wodurch die Inklusionsstruktur irreduzibler Unterschemata erfasst und die Geometrie unter Ringabbildungen funktoriell gemacht wird.