Perfektoider Raum

Perfektoide Räume sind in der Algebra und Zahlentheorie spezielle Strukturen, die sich bei der Lösung von Problemen in der arithmetischen algebraischen Geometrie als sehr mächtig erwiesen haben.

Beschreibung

Perfektoide Räume sind eine bestimmte Art adischer Räume (eingeführt von Roland Huber), die bei der Untersuchung von Problemen „gemischter Charakteristik“ auftreten, wie zum Beispiel lokaler Körper der Charakteristik Null, die Restklassenkörper mit primer Charakteristik haben.

Eine zentrale Eigenschaft des perfektoiden Raumes ist es, dass er den Zahlenraum der p-adischen Zahlen mit dem der Laurent-Reihen zusammenbringt. Dabei werden, um die Äquivalenz sicherzustellen, an den p-adischen Körper bestimmte Anforderungen gestellt. Die Definition des perfektoiden Raumes baut auf den Begriffen der perfektoiden Körper und perfektoiden Algebren auf.

Perfektoide Körper

Ein perfektoider Körper ist ein vollständiger topologischer Körper $K$, dessen Topologie durch eine nicht diskrete Bewertung von Rang 1 induziert wird und dessen Restklassencharakteristik gleich $p>0$ ist, sodass der Frobenius-Endomorphismus $\Phi$ auf $K^{\circ }/p$ surjektiv ist, wobei $K^{\circ }$ den Ring der Elemente mit Norm $\leq 1$ (potenz-beschränkte Elemente) bezeichnet. Beispiele sind verschiedene algebraische Abschlüsse des Körpers $\mathbb {Q} _{p}$ der p-adischen Zahlen.

Perfektoide Algebren

Es sei $K$ ein perfektoider Körper mit Restklassencharakteristik $p$. Eine perfektoide $K$-Algebra ist eine vollständige Banach K-Algebra $R$, in der die Menge der potenz-beschränkten Elemente $R^{\circ }\subset R$ beschränkt ist und deren Frobenius-Endomorphismus $\Phi \colon R^{\circ }/p\to R^{\circ }/p$ surjektiv ist.

Perfektoide Räume

Sei $R$ eine perfektoide Algebra, $R^{\circ }\subset R$ der Unterring der potenz-beschränkten Elemente. Hierzu betrachtet man den topologischen Raum $X=\operatorname {Spa} (R,R^{\circ })$ der stetigen Bewertungen auf $R$, die auf $R^{\circ }$ Werte $\leq 1$ annehmen. Diesen nennt man einen affinoiden perfektoiden Raum. Allgemeine perfektoide Räume sehen lokal aus wie affinoide perfektoide Räume oder – anders gesagt – sie entstehen durch „Zusammenkleben“ affinoider perfektoider Räume.

Anwendungen

Perfektoide Räume dienen dem Zweck, Situationen „gemischter Charakteristik“ mit solchen rein endlicher Charakteristik zu vergleichen. Technische Hilfsmittel für diese Präzisierung sind das tilting von Jean-Marc Fontaine und das Almost purity theorem von Gerd Faltings.

Geschichte

Die Theorie baut wesentlich auf der grundlegenden Formulierung der arithmetisch-algebraischen Geometrie in der Schule von Alexander Grothendieck auf (Schema-Konzept, verschiedene Kohomologietheorien etc.), auf den Arbeiten von Jean-Marc Fontaine zur p-adischen Geometrie (Fontaine-Ringe), auf Gerd Faltings (almost mathematics, almost purity theorem) und den ersten Versuchen, p-adische Geometrie zu konstruieren (John T. Tate, starre analytische Räume, rigid analytic spaces).

Die Theorie wurde 2012 von Peter Scholze entwickelt und fand unmittelbar große Aufmerksamkeit bei Zahlentheoretikern. Scholze erhielt für seine Arbeiten zu diesem Themenbereich 2018 die Fields-Medaille.

Siehe auch

• Perfektoider Körper
• Perfektoider Ring

Literatur

• Peter Scholze: Perfectoid spaces. In: Publications mathématiques de l’IHÉS. Band 116, Nr. 1. Springer, November 2012, S. 245–313, doi:10.1007/s10240-012-0042-x, arxiv:1111.4914 (englisch). 
• Peter Scholze: Perfectoid spaces and their applications. In: Sun Young Jang (Hrsg.): Proceedings of the International Congress of Mathematicians. Seoul 2014. Band 2: Invited Lectures. Kyung Moon SA, Seoul 2014, ISBN 978-89-6105-805-6, S. 461–486 (englisch, uni-bonn.de [PDF]). 

Weblinks

• Matthew Morrow: Foundations of perfectoid spaces.
• Michael Harris: The Perfectoid Concept: Test Case for an Absent Theory.