Formales Schema
# 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 $V\subset \mathrm {Spf} (A)$ gilt aufgrund der Garbeneigenschaft ${\mathcal {O}}_{\mathrm {Spec} (A/I_{\lambda })}(V)=\lim _{U\subset V}{\mathcal {O}}_{\mathrm {Spec} (A/I_{\lambda })}(U)$, wobei $U$ alle kompakten offenen Teilmengen von $V$ durchläuft. ${\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 ${\mathcal {O}}_{\mathrm {Spf} (A)}$ ist nun der projektive Limes $\lim _{\lambda }{\mathcal {O}}_{\mathrm {Spec} (A/I_{\lambda })}$ in der Kategorie der Garben topologischer Ringe auf $\mathrm {Spf} (A)$. Das formale Spektrum von $A$ ist der topologisch geringte Raum $(\mathrm {Spf} (A),{\mathcal {O}}_{\mathrm {Spf} (A)})$.

### Formale Schemata

Ein formales Schema ist ein topologisch geringter Raum $({\mathfrak {X}},{\mathcal {O}}_{\mathfrak {X}})$, sodass jeder Punkt $x\in {\mathfrak {X}}$ eine offene Umgebung $U\subseteq {\mathfrak {X}}$ besitzt, sodass $(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 ${\mathfrak {X}}$ heißt lokal noethersch, wenn jeder Punkt $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 $(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 $X$ ein noethersches Schema und $Y\subset X$ ein abgeschlossenes Unterschema, das durch die Idealgarbe ${\mathcal {J}}$ definiert ist. Wir definieren durch ${\mathcal {O}}_{\hat {X}}:=\lim _{n}{\mathcal {O}}_{X}/{\mathcal {J}}^{n}$ eine Garbe von topologischen Ringen auf $Y$, wobei ${\mathcal {O}}_{X}/{\mathcal {J}}^{n}$ die pseudodiskrete Topologie trage. Sei ${\hat {X}}:=Y$. Der topologisch geringte Raum $({\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 ${\mathcal {J}}$ ab. Für jede weitere Idealgarbe ${\mathcal {J}}'$ mit Verschwindungsmenge $Y$ ergibt sich ein kanonisch isomorphes formales Schema.
Ist $R$ ein noetherscher Ring und $J\subset R$ ein Ideal, so ist die Vervollständigung ${\hat {R}}:=\lim _{n}R/J^{n}$ ein noetherscher adischer Ring. Die formale Vervollständigung von $\mathrm {Spec} (R/J)$ in $\mathrm {Spec} (R)$ ist isomorph zu $\mathrm {Spf} ({\hat {R}})$.