Lecture 7. Perfectoid spaces

Keyword(s):  
Author(s):  
Peter Scholze ◽  
Jared Weinstein

This chapter examines perfectoid spaces. A Huber ring R is Tate if it contains a topologically nilpotent unit; such elements are called pseudo-uniformizers. One can more generally define when an analytic Huber ring is perfectoid. There are also notions of integral perfectoid rings which are not analytic. In this course, the perfectoid rings are all Tate. It would have been possible to proceed with the more general definition of perfectoid ring as a kind of analytic Huber ring. However, being analytic is critical for the purposes of the course. The chapter then looks at tilting and sousperfectoid rings. The class of sousperfectoid rings has good stability properties.


Author(s):  
Peter Scholze ◽  
Jared Weinstein

This chapter assesses some interesting examples of diamonds. So far, the only example encountered is the self-product of copies of Spd Qp. The chapter first studies this self-product. It is useful to keep in mind that a diamond can have multiple “incarnations.” Another important class of diamonds, which in fact were one of the primary motivations for their definition, is the category of Banach-Colmez spaces. Recently, le Bras has reworked their theory in terms of perfectoid spaces. The category of Banach-Colmez spaces over C is the thick abelian subcategory of the category of pro-étale sheaves of Qp-modules. This is similar to a category considered by Milne in characteristic p.


Author(s):  
Peter Scholze ◽  
Jared Weinstein

This chapter investigates the notion of a diamond. The idea is that there should be a functor which “forgets the structure morphism to Zp.” The desired quotient in the example provided in the chapter exists in a category of sheaves on the site of perfectoid spaces with pro-étale covers. The chapter then defines pro-étale morphisms between perfectoid spaces. A morphism of perfectoid spaces is pro-étale if it is locally (on the source and target) affinoid pro-étale. The intuitive definition of diamonds involved the tilting functor in case of perfectoid spaces of characteristic 0. For this reason, diamonds are defined as certain pro-étale sheaves on the category of perfectoid spaces of characteristic p.


Author(s):  
Peter Scholze ◽  
Jared Weinstein

This introductory chapter provides an overview of Drinfeld's work on the global Langlands correspondence over function fields. Whereas the global Langlands correspondence is largely open in the case of number fields K, it is a theorem for function fields, due to Drinfeld and L. Lafforgue. The key innovation in this case is Drinfeld's notion of an X-shtuka (or simply shtuka). The Langlands correspondence for X is obtained by studying moduli spaces of shtukas. A large part of this course is about the definition of perfectoid spaces and diamonds. There is an important special case where the moduli spaces of shtukas are classical rigid-analytic spaces. This is the case of local Shimura varieties. Some examples of these are the Rapoport-Zink spaces.


2018 ◽  
Vol 26 (2-3) ◽  
pp. 76-79
Author(s):  
Torsten Wedhorn

Zusammenfassung Im August 2018 erhielt Peter Scholze die Fieldsmedaille for transforming arithmetic algebraic geometry over p-adic fields through his introduction of perfectoid spaces, with application to Galois representations, and for the development of new cohomology theories. Es ist wahrscheinlich nicht möglich, auf wenigen Seiten eine präzise Version oder auch nur einen einigermaßen vollständigen Eindruck der Vielzahl von bahnbrechenden Resultaten von Scholze zu geben. Selbst eine genaue Erklärung der obigen Kurzlaudatio der internationalen Mathematikunion würde sicherlich einen sehr viel längeren Text erfordern. Aber vielleicht ist es möglich, eine vage Idee des Begriffs eines perfektoiden Raumes zu geben und einen Eindruck zu vermitteln, warum diese Räume einen großen Teil der arithmetischen algebraischen Geometrie revolutioniert haben. Dies ist ein Versuch.


2014 ◽  
Vol 150 (5) ◽  
pp. 798-834 ◽  
Author(s):  
Shin Hattori

AbstractLet $K_1$ and $K_2$ be complete discrete valuation fields of residue characteristic $p>0$. Let $\pi _{K_1}$ and $\pi _{K_2}$ be their uniformizers. Let $L_1/K_1$ and $L_2/K_2$ be finite extensions with compatible isomorphisms of rings $\mathcal{O}_{K_1}/(\pi _{K_1}^m)\, {\simeq }\, \mathcal{O}_{K_2}/(\pi _{K_2}^m)$ and $\mathcal{O}_{L_1}/(\pi _{K_1}^m)\, {\simeq }\, \mathcal{O}_{L_2}/(\pi _{K_2}^m)$ for some positive integer $m$ which is no more than the absolute ramification indices of $K_1$ and $K_2$. Let $j\leq m$ be a positive rational number. In this paper, we prove that the ramification of $L_1/K_1$ is bounded by $j$ if and only if the ramification of $L_2/K_2$ is bounded by $j$. As an application, we prove that the categories of finite separable extensions of $K_1$ and $K_2$ whose ramifications are bounded by $j$ are equivalent to each other, which generalizes a theorem of Deligne to the case of imperfect residue fields. We also show the compatibility of Scholl’s theory of higher fields of norms with the ramification theory of Abbes–Saito, and the integrality of small Artin and Swan conductors of $p$-adic representations with finite local monodromy.


2013 ◽  
Vol 1 ◽  
Author(s):  
PETER SCHOLZE

AbstractWe give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-étale site, which makes all constructions completely functorial.


Author(s):  
Peter Scholze ◽  
Jared Weinstein

This chapter looks at mixed-characteristic shtukas. Much of the theory of mixed-characteristic shtukas is motivated by the structures appearing in (integral) p-adic Hodge theory. The chapter assesses Drinfeld's shtukas and local shtukas. In the mixed characteristic setting, X will be replaced with Spa Zp. The test objects S will be drawn from Perf, the category of perfectoid spaces in characteristic p. For an object, a shtuka over S should be a vector bundle over an adic space, together with a Frobenius structure. The product is not meant to be taken literally (if so, one would just recover S), but rather it is to be interpreted as a fiber product over a deeper base. Motivated by this, the chapter then defines an analytic adic space and shows that its associated diamond is the appropriate product of sheaves on Perf.


Author(s):  
Peter Scholze ◽  
Jared Weinstein

This chapter evaluates the complements on the pro-étale topology. It addresses two issues raised in the previous lecture on the pro-étale topology. The first issue concerned descent, or more specifically pro-étale descent for perfectoid spaces. The other issue was that the property of being a pro-étale morphism is not local for the pro-étale topology on the target. The chapter then looks at quasi-pro-étale morphisms, as well as G-torsors. A morphism of perfectoid spaces is quasi-pro-étale if for any strictly totally disconnected perfectoid space with a map, the pullback is pro-étale. Using this definition, one can give an equivalent characterization of diamonds.


Sign in / Sign up

Export Citation Format

Share Document