skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: The K-theory of perfectoid rings
We establish various properties of thep-adic algebraic\text{K}-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, thep-adic\text{K}-theory of such rings is homotopy invariant, and coincides with thep-adic\text{K}-theory of thep-adic generic fibre in high degrees. In the case of smooth algebras over perfectoid valuation rings of mixed characteristic the latter isomorphism holds in all degrees and generalises a result of Nizioł.  more » « less
Award ID(s):
2102010
PAR ID:
10563133
Author(s) / Creator(s):
; ;
Publisher / Repository:
Documenta mathematica
Date Published:
Journal Name:
Documenta Mathematica
Volume:
27
ISSN:
1431-0635
Page Range / eLocation ID:
1923 to 1951
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Sen’s theorem on the ramification of a p p -adic analytic Galois extension of p p -adic local fields shows that its perfectoidness is equivalent to the non-vanishing of its arithmetic Sen operator. By developing p p -adic Hodge theory for general valuation rings, we establish a geometric analogue of Sen’s criterion for any p p -adic analytic Galois extension of p p -adic varieties: its (Riemann-Zariski) stalkwise perfectoidness is necessary for the non-vanishing of the geometric Sen operators. As the latter is verified for general Shimura varieties by Pan and Rodríguez Camargo, we obtain the perfectoidness of every completed stalk of general Shimura varieties at infinite level at p p . As an application, we prove that the integral completed cohomology groups vanish in higher degrees, verifying a conjecture of Calegari-Emerton for general Shimura varieties. 
    more » « less
  2. We prove two finiteness results for reductions of Hecke orbits of abelian varieties over local fields: one in the case of supersingular reduction and one in the case of reductive monodromy. As an application, we show that only finitely many abelian varieties on a fixed isogeny leaf admit CM lifts, which in particular implies that in each fixed dimensiongonly finitely many supersingular abelian varieties admit CM lifts. Combining this with the Kuga–Satake construction, we also show that only finitely many supersingular K3surfaces admit CM lifts. Our tools includep-adic Hodge theory and group-theoretic techniques. 
    more » « less
  3. In a groundbreaking paper, T. Fukaya and K. Kato proved a slight weakening of a conjecture of the author under an assumption that a Kubota–Leopoldtp-adicL-function has no multiple zeros. This article describes a refinement of their method that sheds light on the role of thep-adicL-function. 
    more » « less
  4. Let$$G$$be a split reductive group over the ring of integers in a$$p$$-adic field with residue field$$\mathbf {F}$$. Fix a representation$$\overline {\rho }$$of the absolute Galois group of an unramified extension of$$\mathbf {Q}_p$$, valued in$$G(\mathbf {F})$$. We study the crystalline deformation ring for$$\overline {\rho }$$with a fixed$$p$$-adic Hodge type that satisfies an analog of the Fontaine–Laffaille condition for$$G$$-valued representations. In particular, we give a root theoretic condition on the$$p$$-adic Hodge type which ensures that the crystalline deformation ring is formally smooth. Our result improves on all known results for classical groups not of type A and provides the first such results for exceptional groups. 
    more » « less
  5. Abstract Dirac rings are commutative algebras in the symmetric monoidal category of$$\mathbb {Z}$$-graded abelian groups with the Koszul sign in the symmetry isomorphism. In the prequel to this paper, we developed the commutative algebra of Dirac rings and defined the category of Dirac schemes. Here, we embed this category in the larger$$\infty $$-category of Dirac stacks, which also contains formal Dirac schemes, and develop the coherent cohomology of Dirac stacks. We apply the general theory to stable homotopy theory and use Quillen’s theorem on complex cobordism and Milnor’s theorem on the dual Steenrod algebra to identify the Dirac stacks corresponding to$$\operatorname {MU}$$and$$\mathbb {F}_p$$in terms of their functors of points. Finally, in an appendix, we develop a rudimentary theory of accessible presheaves. 
    more » « less