Verdichtete Menge

Eine verdichtete Menge ist in der verdichteten Mathematik (englisch condensed mathematics, deutsch auch ‚kondensierte Mathematik‘ genannt) eine Garbe auf einer Kategorie von Stone-Räumen. Die Grundidee ist, anstelle eine algebraische Struktur mit einer Topologie zu versehen, sie als verdichtete Menge aufzufassen. So lassen sich "verdichtete" algebraische Strukturen definieren, die bessere kategorielle Eigenschaften besitzen als herkömmliche topologische algebraische Strukturen. Die Theorie wird seit 2018 von Dustin Clausen und Peter Scholze entwickelt. Unabhängig und zeitgleich entwickelten Clark Barwick und Peter Haine pyknotische Mengen.

Definition

Vereinfachte Definition

Der proétale Situs eines Punktes $*_{\mathrm {proet} }$ ist die Kategorie der Stone-Räume mit stetigen Abbildungen und der Grothendieck-(Prä)Topologie, die durch endliche und gemeinsam surjektive Familien stetiger Abbildungen gegeben ist. Eine verdichtete Menge ist eine Garbe von Mengen auf $*_{\mathrm {proet} }$.

Da $*_{\mathrm {proet} }$ keine kleine Kategorie ist, birgt diese Definition mengentheoretische Probleme. Wir geben die richtige Definition im nächsten Abschnitt.

Vollständige Definition

Für jede überabzählbare starke Limes-Kardinalzahl $\kappa$ sei $*_{\kappa {\text{-}}\mathrm {proet} }$ die Kategorie von Stone-Räumen von Mächtigkeit $<\kappa$. Die Grothendieck-Topologie ist wieder durch endliche und gemeinsam surjektive Familien stetiger Abbildungen gegeben. Eine $\kappa$-verdichtete Menge ist eine Garbe von Mengen auf $*_{\kappa {\text{-}}\mathrm {proet} }$. Wir bezeichnen die Kategorie der $\kappa$-verdichteten Mengen mit ${\mathsf {Cond}}_{\kappa }(\mathrm {Set} )$.

Ist $\kappa '>\kappa$ eine weitere starke Limes-Kardinalzahl, so ist durch Einschränken von Garben ein Funktor ${\mathsf {Cond}}_{\kappa '}(\mathrm {Set} )\to {\mathsf {Cond}}_{\kappa }(\mathrm {Set} )$ definiert. Dieser besitzt einen volltreuen linksadjungierten $i_{\kappa ,\kappa '}:{\mathsf {Cond}}_{\kappa }(\mathrm {Set} )\to {\mathsf {Cond}}_{\kappa '}(\mathrm {Set} )$.

Die Kategorie verdichteter Mengen ist nun als Kolimes ${\mathsf {Cond}}(\mathrm {Set} ):=\mathrm {colim} _{\kappa }{\mathsf {Cond}}_{\kappa }(\mathrm {Set} )$ entlang $i_{\kappa ,\kappa '}$ definiert, wobei $\kappa$ alle überabzählbaren starken Limes-Kardinalzahlen durchläuft. Bei diesem Kolimes handelt es sich effektiv um eine Vereinigung, die durch eine echte Klasse indiziert ist. Das ist unproblematisch, weil die Übergangsfunktoren volltreu sind und die Klasse der starken Limes-Kardinalzahlen total geordnet ist.

Als Funktor auf extremal unzusammenhängenden Stone-Räumen

Einschränkung auf die Kategorie $\mathrm {Ex} _{\kappa }$ extremal unzusammenhängender Stone-Räume von Mächtigkeit $<\kappa$ definiert eine Kategorienäquivalenz zwischen ${\mathsf {Cond}}_{\kappa }(\mathrm {Set} )$ und der Kategorie der Funktoren $F:\mathrm {Ex} _{\kappa }^{\mathrm {op} }\to \mathrm {Set}$ mit folgenden Eigenschaften:

• $F(\emptyset )$ ist eine einelementige Menge.
• Für zwei Stone-Räume $S_{1}$ und $S_{2}$ ist die natürliche Abbildung $F(S_{1}\sqcup S_{2})\to F(S_{1})\times F(S_{2})$ bijektiv.

Topologische Räume als verdichtete Mengen

Eine verdichtete Menge sollte als alternative Definition von topologischem Raum betrachtet werden. Ist $X$ ein beliebiger topologischer Raum, so ist 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 \underline X(S) := \mathcal C(S,X)} eine verdichtete Menge definiert. Das definiert einen Funktor 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{Top} \to \mathsf{Cond}_{\kappa}(\mathrm{Set})} , der beispielsweise auf der Kategorie sequentieller Räume volltreu ist.

Kategorielle Eigenschaften

Die Kategorie verdichteter Mengen erfüllt die Axiome von Giraud mit einer einzigen Ausnahme: Sie hat keine kleine erzeugende Menge. Sie ist in diesem Sinne "fast" ein Grothendieck-Topos.

Wie in jedem Grothendieck-Topos sind quasikompakte und quasiseparierte Objekte definiert. Sie können wie folgt charakterisiert werden:

• Eine verdichtete Menge 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} ist genau dann quasikompakt, wenn es einen Stone-Raum und einen surjektiven Morphismus 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 S \to X} gibt.
• 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} ist genau dann quasisepariert, wenn für je zwei Stone-Räume 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 S_1,S_2} und Morphismen 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 S_1,S_2 \to X} das Faserprodukt 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 S_1 \times_X S_2} quasikompakt ist.

Literatur

• Dustin Clausen, Peter Scholze: Lectures on Condensed Mathematics, Uni Bonn, Mai 2019
• Dustin Clausen, Peter Scholze: Lectures on Analytic Geometry, Uni Bonn
• Clark Barwick, Peter Haine: Pyknotic objects, I
• nLab: Condensed set