Formales Schema

In der algebraischen Geometrie ist ein formales Schema eine Verallgemeinerung eines Schemas. Grob gesagt beschreibt ein formales Schema eine infinitesimale Umgebung eines Schemas. Formale Schemata finden Anwendung in der Deformationstheorie und rigid-analytischen Geometrie. Es gibt verschiedene Definitionen in der Literatur, häufig werden aus technischen Gründen lediglich lokal noethersche formale Schemata definiert.

Definition

Die Definition eines formalen Schemas funktioniert analog zur Definition eines Schemas. Zunächst wird für sogenannte zulässige topologische Ringe das formale Spektrum definiert. Ein formales Schema ist dann ein Raum, der lokal isomorph zum formalen Spektrum eines zulässigen Ringes ist.

Zulässige Ringe

Ein zulässiger Ring ist ein vollständiger Hausdorffscher kommutativer topologischer Ring $A$, der ein offenes Ideal $I$ besitzt, sodass für jede offene Umgebung $V$ von $0$, $I^{n}\subset V$ für ein $n\geq 1$ ist. Ein solches Ideal wird Definitionsideal von $A$ genannt.

Die Menge der Definitionsideale von $A$ bildet eine Umgebungsbasis der $0$.

Formales Spektrum

Sei $A$ ein zulässiger Ring und $\{I_{\lambda }\}_{\lambda }$ die Familie aller Definitionsideale von $A$. Wir bezeichnen mit $\mathrm {Spf} (A)\subset \mathrm {Spec} (A)$ den topologischen Teilraum offener Primideale von $A$. Ein Primideal von $A$ ist genau dann offen, wenn es ein Definitionsideal enthält. Für ein beliebiges Definitionsideal $I_{\lambda }$ gibt es also einen kanonischen Homöomorphismus $\mathrm {Spf} (A)\to \mathrm {Spec} (A/I_{\lambda })$. Für zwei Definitionsideale $I_{\lambda }\subset I_{\mu }$ induziert die kanonische Projektion $A/I_{\lambda }\to A/I_{\mu }$ einen Homöomorphismus $\mathrm {Spec} (A/I_{\mu })\to \mathrm {Spec} (A/I_{\lambda })$. Wir können also jede Strukturgarbe ${\mathcal {O}}_{\mathrm {Spec} (A/I_{\lambda })}$ als Garbe auf $\mathrm {Spf} (A)$ auffassen. Wir machen nun jede Garbe ${\mathcal {O}}_{\mathrm {Spec} (A/I_{\lambda })}$ zu einer Garbe topologischer Ringe: Für jede kompakte offene Teilmenge $U\subset \mathrm {Spf} (A)$ trage ${\mathcal {O}}_{\mathrm {Spec} (A/I_{\lambda })}(U)$ die diskrete Topologie. Für eine beliebige offene Teilmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V \subset \mathrm{Spf}(A)} gilt aufgrund der Garbeneigenschaft Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O_{\mathrm{Spec}(A/I_{\lambda})}(V) = \lim_{U \subset V} \mathcal O_{\mathrm{Spec}(A/I_{\lambda})}(U)} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} alle kompakten offenen Teilmengen von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle V} durchläuft. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O_{\mathrm{Spec}(A/I_{\lambda})}(V)} werde mit der Limes-Topologie ausgestattet. Diese Topologie wird in diesem Zusammenhang auch die pseudodiskrete Topologie genannt. Die Strukturgarbe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O_{\mathrm{Spf}(A)}} ist nun der projektive Limes Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lim_{\lambda} \mathcal O_{\mathrm{Spec}(A/I_{\lambda})}} in der Kategorie der Garben topologischer Ringe auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Spf}(A)} . Das formale Spektrum von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} ist der topologisch geringte Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathrm{Spf}(A), \mathcal O_{\mathrm{Spf}(A)})} .

Formale Schemata

Ein formales Schema ist ein topologisch geringter Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\mathfrak X, \mathcal O_{\mathfrak X})} , sodass jeder Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \in \mathfrak X} eine offene Umgebung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U \subseteq \mathfrak X} besitzt, sodass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (U,\mathcal O_{\mathfrak X}|_U)} als topologisch geringter Raum isomorph zum formalen Spektrum eines zulässigen Ringes ist. Ein Morphismus formaler Schemata ist ein Morphismus lokal geringter Räume, dessen Ringhomomorphismen stetig sind. Das definiert die Kategorie der formalen Schemata.

Lokal noethersche formale Schemata

Ein formales Schema Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak X} heißt lokal noethersch, wenn jeder Punkt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \in \mathfrak X} eine offene Umgebung besitzt, die isomorph zum formalen Spektrum eines noetherschen adischen Ringes ist. Ein lokal noethersches und quasi-kompaktes formales Schema heißt noethersch.

Schemata als formale Schemata

Ein Schema Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (X,\mathcal O_X)} kann als formales Schema aufgefasst werden, indem die Strukturgarbe mit der pseudodiskreten Topologie ausgestattet wird. Das definiert einen volltreuen Funktor von der Kategorie der Schemata in die Kategorie der formalen Schemata.

Formale Vervollständigung

Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} ein noethersches Schema und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y \subset X} ein abgeschlossenes Unterschema, das durch die Idealgarbe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal J} definiert ist. Wir definieren durch Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O_{\hat X} := \lim_n \mathcal O_X/\mathcal J^n} eine Garbe von topologischen Ringen auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} , wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal O_X/\mathcal J^n} die pseudodiskrete Topologie trage. Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat X := Y} . Der topologisch geringte Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\hat X, \mathcal O_{\hat X})} ist ein noethersches formales Schema. Formale Schemata, die auf diese Weise definiert werden können heißen algebraisierbar.

Diese Konstruktion hängt nicht von der Wahl von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal J} ab. Für jede weitere Idealgarbe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal J'} mit Verschwindungsmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} ergibt sich ein kanonisch isomorphes formales Schema.

Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R} ein noetherscher Ring und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle J \subset R} ein Ideal, so ist die Vervollständigung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \hat R := \lim_n R/J^n} ein noetherscher adischer Ring. Die formale Vervollständigung von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Spec}(R/J)} in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Spec}(R)} ist isomorph zu Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathrm{Spf}(\hat R)} .

Literatur

• Grothendieck: EGA I, Kapitel 0.7 und 10.
• Hartshorne: Algebraic geometry, Kapitel II.9.
• Fujiwara-Kato: Foundations of rigid geometry I, Kapitel I