Linear topologisierter Ring

Ein linear topologisierter Ring ist ein topologischer Ring, dessen Topologie von einer Umgebungsbasis von Idealen induziert wird. Diese Ringe finden Anwendung in der formalen und analytischen Geometrie.

Definition

Ein topologischer Ring heißt linear topologisiert, wenn seine Topologie von einer Umgebungsbasis von Idealen induziert wird.

In der Theorie formaler Schemata, rigid analytischer Räume und adischer Räume sind viele verschiedene linear topologisierte Ringe im Gebrauch. Wir geben einen Überblick über die wichtigsten Definitionen.

• Ein Ideal $I$ eines linear topologisierten Ringes $R$ heißt Definitionsideal, falls $I$ offen ist und jede Umgebung von $0$ das Ideal $I^{n}$ für ein $n\in \mathbb {N}$ enthält.
• Besitzt ein linear topologisierter Ring ein Definitionsideal, so heißt er prä-zulässig.
• Ein vollständiger und separierter prä-zulässiger Ring heißt zulässig.
• Ein prä-zulässiger Ring heißt prä-adisch, falls es ein Definitionsideal $I$ gibt, sodass $\{I^{n}\}_{n\geq 0}$ eine Umgebungsbasis von $0$ ist.
• Ein vollständiger und separierter prä-adischer Ring heißt adisch.

Hier sind verschiedene Konventionen im Gebrauch: Beispielsweise nennt Morel einen prä-adischen Ring bereits "adisch".

Huber-Ringe

Diese Begriffe werden weiter zu sogenannten Huber-Ringen verallgemeinert. Sie bilden die Grundlage für die Definition von Huber-Paaren, welche die Grundbausteine adischer Räume sind.

• Ein topologischer Ring $A$ heißt Huber-Ring (oder f-adisch), falls es einen offenen Teilring $A_{0}\subset A$ gibt, der prä-adisch für ein endlich erzeugtes Definitionsideal $I\subset A_{0}$ ist. Wir nennen $A_{0}$ einen Definitionsring von $A$ und $(A_{0},I)$ ein Definitionspaar für $A$.
• Ein Tate-Ring (oder Tatescher Huber-Ring) ist ein Huber-Ring, der eine topologisch nilpotente Einheit enthält. Das ist ein invertierbares Element $a\in A$ mit $a^{n}\to 0$ für $n\to \infty$.
• Ein Huber-Ring $A$ heißt garbig (engl. sheafy), falls für jeden Ring ganzer Elemente $A^{+}$ der Vervollständigung ${\hat {A}}$, die Strukturprägarbe ${\mathcal {O}}_{\mathrm {Spa} ({\hat {A}},A^{+})}$ des adischen Spektrums $\mathrm {Spa} ({\hat {A}},A^{+})$ eine Garbe topologischer Ringe ist.

Beispiele

• Ist $A$ ein diskreter Ring, so ist $A$ ein adischer Huber-Ring mit Definitionsideal $0$. Jeder Teilring von $A$ ist ein Definitionsring. Ein Element von $A$ ist genau dann topologisch nilpotent, wenn es nilpotent ist, denn jede gegen $0$ konvergente Folge ist stationär. Insbesondere ist $A$ nicht Tatesch, es sei denn $A$ ist der Nullring.
• Ist $A$ ein indiskreter Ring, so ist $A$ ein prä-adischer Huber-Ring mit Definitionsideal $A$. $A$ selbst ist der einzige Definitionsring und das einzige Definitionsideal für $A$. $A$ ist nicht separiert, es sei denn $A$ ist der Nullring. Jedes Element ist topologisch nilpotent, insbesondere ist $1$ eine topologisch nilpotente Einheit und $A$ ist Tatesch. Man beachte, dass dieses Beispiel insofern pathologisch ist, als dass bei adischen Räumen grundsätzlich mit vollständigen Ringen gearbeitet werden kann. Beim Übergang zur Vervollständigung erhalten wir den Nullring.
• $\mathbb {Z} _{p}$ mit der $p$-adischen Topologie ist ein adischer Huber-Ring mit Definitionsring $\mathbb {Z} _{p}$ und Definitionsideal $p\mathbb {Z} _{p}$. Er ist kein Tate-Ring, denn jedes topologisch nilpotente Element in $\mathbb {Z} _{p}$ ist ein Vielfaches von $p$ und somit nicht invertierbar.
• $\mathbb {Q} _{p}$ mit der $p$-adischen Topologie ist ein adischer Tate-Ring mit Definitionsring $\mathbb {Z} _{p}$ und Definitionsideal $p\mathbb {Z} _{p}$. Das Element $p\in \mathbb {Q} _{p}$ ist eine topologisch nilpotente Einheit. $\mathbb {Q} _{p}$ selbst ist aber nicht linear topologisiert, denn $\mathbb {Q} _{p}$ ist weder diskret noch indiskret.
• $\mathbb {R}$ mit der Standard-Topologie ist weder linear topologisiert noch ein Huber-Ring. Jede offene Untergruppe von $\mathbb {R}$ ist bereits ganz $\mathbb {R}$.

Literatur

• Torsten Wedhorn: Adic Spaces, Arxiv
• Sophie Morel: Adic spaces, abgerufen am 30. Dezember 2020.
• Stacks-Projekt Tag 07E8, abgerufen am 30. Dezember 2020.