arXiv subjects

Peter Scholze

Publications and source records attributed to Peter Scholze.

At least 37 records · Page 2Linked to original sources

arXiv2022

Prisms and Prismatic Cohomology

We introduce the notion of a prism, which may be regarded as a "deperfection" of the notion of a perfectoid ring. Using prisms, we attach a ringed site -- the prismatic site -- to a $p$-adic formal scheme. The resulting cohomology theory specializes to (and often refines) most known integral $p$-adic cohomology theories. As applications, we prove an improved version of the almost purity theorem allowing ramification along arbitrary closed subsets (without using adic spaces), give a co-ordinate free description of $q$-de Rham cohomology as conjectured by the second author, and settle a vanishing conjecture for the $p$-adic Tate twists $\mathbf{Z}_p(n)$ introduced in previous joint work with Morrow.

math.AG↗

arXiv2019

Topological Hochschild homology and integral $p$-adic Hodge theory

In mixed characteristic and in equal characteristic $p$ we define a filtration on topological Hochschild homology and its variants. This filtration is an analogue of the filtration of algebraic $K$-theory by motivic cohomology. Its graded pieces are related in mixed characteristic to the complex $AΩ$ constructed in our previous work, and in equal characteristic $p$ to crystalline cohomology. Our construction of the filtration on $\mathrm{THH}$ is via flat descent to semiperfectoid rings. As one application, we refine the construction of the $AΩ$-complex by giving a cohomological construction of Breuil--Kisin modules for proper smooth formal schemes over $\mathcal O_K$, where $K$ is a discretely valued extension of $\mathbb Q_p$ with perfect residue field. As another application, we define syntomic sheaves $\mathbb Z_p(n)$ for all $n\geq 0$ on a large class of $\mathbb Z_p$-algebras, and identify them in terms of $p$-adic nearby cycles in mixed characteristic, and in terms of logarithmic de~Rham-Witt sheaves in equal characteristic $p$.

math.AG↗

arXiv2019

Integral p-adic Hodge theory

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of Breuil-Kisin modules. Notably, this cohomology theory specializes to all other known p-adic cohomology theories, such as crystalline, de Rham and etale cohomology, which allows us to prove strong integral comparison theorems. The construction of the cohomology theory relies on Faltings's almost purity theorem, along with a certain functor $Lη$ on the derived category, defined previously by Berthelot-Ogus. On affine pieces, our cohomology theory admits a relation to the theory of de Rham-Witt complexes of Langer-Zink, and can be computed as a q-deformation of de Rham cohomology.

math.AG↗

arXiv2018

On topological cyclic homology

Topological cyclic homology is a refinement of Connes--Tsygan's cyclic homology which was introduced by Bökstedt--Hsiang--Madsen in 1993 as an approximation to algebraic $K$-theory. There is a trace map from algebraic $K$-theory to topological cyclic homology, and a theorem of Dundas--Goodwillie--McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which gives a way for computing $K$-theory in various situations. The construction of topological cyclic homology is based on genuine equivariant homotopy theory, the use of explicit point-set models, and the elaborate notion of a cyclotomic spectrum. The goal of this paper is to revisit this theory using only homotopy-invariant notions. In particular, we give a new construction of topological cyclic homology. This is based on a new definition of the $\infty$-category of cyclotomic spectra: We define a cyclotomic spectrum to be a spectrum $X$ with $S^1$-action (in the most naive sense) together with $S^1$-equivariant maps $φ_p: X\to X^{tC_p}$ for all primes $p$. Here $X^{tC_p}=\mathrm{cofib}(\mathrm{Nm}: X_{hC_p}\to X^{hC_p})$ is the Tate construction. On bounded below spectra, we prove that this agrees with previous definitions. As a consequence, we obtain a new and simple formula for topological cyclic homology. In order to construct the maps $φ_p: X\to X^{tC_p}$ in the example of topological Hochschild homology we introduce and study Tate diagonals for spectra and Frobenius homomorphisms of commutative ring spectra. In particular we prove a version of the Segal conjecture for the Tate diagonals and relate these Frobenius homomorphisms to power operations.

math.AT↗

arXiv2017

$p$-adic geometry

We discuss recent developments in $p$-adic geometry, ranging from foundational results such as the degeneration of the Hodge-to-de Rham spectral sequence for "compact $p$-adic manifolds" over new period maps on moduli spaces of abelian varieties to applications to the local and global Langlands conjectures, and the construction of "universal" $p$-adic cohomology theories. We finish with some speculations on how a theory that combines all primes $p$, including the archimedean prime, might look like.

math.AG↗

arXiv2017

Projectivity of the Witt vector affine Grassmannian

We prove that the Witt vector affine Grassmannian, which parametrizes W(k)-lattices in W(k)[1/p]^n for a perfect field k of charactristic p, is representable by an ind-(perfect scheme) over k. This improves on previous results of Zhu by constructing a natural ample line bundle. Along the way, we establish various foundational results on perfect schemes, notably h-descent results for vector bundles.

math.AG↗

arXiv2017

Vanishing theorems for perverse sheaves on abelian varieties, revisited

We revisit some of the basic results of generic vanishing theory, as pioneered by Green and Lazarsfeld, in the context of constructible sheaves. Using the language of perverse sheaves, we give new proofs of some of the basic results of this theory. Our approach is topological/arithmetic, and avoids Hodge theory.

math.AG↗

arXiv2016

Topological realisations of absolute Galois groups

Let $F$ be a field of characteristic $0$ containing all roots of unity. We construct a functorial compact Hausdorff space $X_F$ whose profinite fundamental group agrees with the absolute Galois group of $F$, i.e. the category of finite covering spaces of $X_F$ is equivalent to the category of finite extensions of $F$. The construction is based on the ring of rational Witt vectors of $F$. In the case of the cyclotomic extension of $\mathbb{Q}$, the classical fundamental group of $X_F$ is a (proper) dense subgroup of the absolute Galois group of $F$. We also discuss a variant of this construction when the field is not required to contain all roots of unity, in which case there are natural Frobenius-type automorphisms which encode the descent along the cyclotomic extension.

math.AT↗

arXiv2016

Canonical q-deformations in arithmetic geometry

In recent work with Bhatt and Morrow, we defined a new integral p-adic cohomology theory interpolating between etale and de Rham cohomology. An unexpected feature of this cohomology is that in coordinates, it can be computed by a q-deformation of the de Rham complex, which is thus canonical, at least in the derived category. In this short survey, we try to explain what we know about this phenomenon, and what can be conjectured to hold.

math.AG↗

arXiv2015

On the generic part of the cohomology of compact unitary Shimura varieties

The goal of this paper is to show that the cohomology of compact unitary Shimura varieties is concentrated in the middle degree and torsion-free, after localizing at a maximal ideal of the Hecke algebra satisfying a suitable genericity assumption. Along the way, we establish various foundational results on the geometry of the Hodge-Tate period map. In particular, we compare the fibres of the Hodge-Tate period map with Igusa varieties.

math.NT↗

arXiv2015

Integral $p$-adic Hodge theory - announcement

Given a proper, smooth (formal) scheme over the ring of integers of $\mathbb C_p$, we prove that if the crystalline cohomology of its special fibre is torsion-free then the $p$-adic étale cohomology of its generic fibre is also torsion-free. In this announcement we sketch the proof, which relies on the construction of a new cohomology theory interpolating between crystalline and étale cohomology. Further details and results, including a comparison isomorphism, will be presented in the full forthcoming article.

math.AG↗

arXiv2015

On the p-adic cohomology of the Lubin-Tate tower

We prove a finiteness result for the p-adic cohomology of the Lubin-Tate tower. For any n>=1 and p-adic field F, this provides a canonical functor from admissible p-adic representations of GL_n(F) towards admissible p-adic representations of Gal_F x D^*, where Gal_F is the absolute Galois group of F, and D/F is the central division algebra of invariant 1/n. Moreover, we verify a local-global-compatibility statement for this correspondence, and compatibility with the patching construction of Caraiani-Emerton-Gee-Geraghty-Paskunas-Shin.

math.AG↗

arXiv2015

On torsion in the cohomology of locally symmetric varieties

The main result of this paper is the existence of Galois representations associated with the mod $p$ (or mod $p^m$) cohomology of the locally symmetric spaces for $\GL_n$ over a totally real or CM field, proving conjectures of Ash and others. Following an old suggestion of Clozel, recently realized by Harris-Lan-Taylor-Thorne for characteristic 0 cohomology classes, one realizes the cohomology of the locally symmetric spaces for $\GL_n$ as a boundary contribution of the cohomology of symplectic or unitary Shimura varieties, so that the key problem is to understand torsion in the cohomology of Shimura varieties. Thus, we prove new results on the $p$-adic geometry of Shimura varieties (of Hodge type). Namely, the Shimura varieties become perfectoid when passing to the inverse limit over all levels at $p$, and a new period map towards the flag variety exists on them, called the Hodge-Tate period map. It is roughly analogous to the embedding of the hermitian symmetric domain (which is roughly the inverse limit over all levels of the complex points of the Shimura variety) into its compact dual. The Hodge-Tate period map has several favorable properties, the most important being that it commutes with the Hecke operators away from $p$ (for the trivial action of these Hecke operators on the flag variety), and that automorphic vector bundles come via pullback from the flag variety.

math.NT↗

arXiv2014

The pro-étale topology for schemes

We give a new definition of the derived category of constructible $\ell$-adic sheaves on a scheme, which is as simple as the geometric intuition behind them. Moreover, we define a refined fundamental group of schemes, which is large enough to see all lisse $\ell$-adic sheaves, even on non-normal schemes. To accomplish these tasks, we define and study the pro-étale topology, which is a Grothendieck topology on schemes that is closely related to the étale topology, and yet better suited for infinite constructions typically encountered in $\ell$-adic cohomology. An essential foundational result is that this site is locally contractible in a well-defined sense.

math.AG↗

arXiv2013

Moduli of p-divisible groups

We prove several results about p-divisible groups and Rapoport-Zink spaces. Our main goal is to prove that Rapoport-Zink spaces at infinite level are naturally perfectoid spaces, and to give a description of these spaces purely in terms of p-adic Hodge theory. This allows us to formulate and prove duality isomorphisms between basic Rapoport-Zink spaces at infinite level in general. Moreover, we identify the image of the period morphism, reproving results of Faltings. For this, we give a general classification of p-divisible groups over the ring of integers of a complete algebraically closed field in the spirit of Riemann's classification of complex abelian varieties. Another key ingredient is a full faithfulness result for the Dieudonné module functor for p-divisible groups over semiperfect rings (meaning rings on which the Frobenius map is surjective).

math.NT↗

arXiv2013

Perfectoid Spaces: A survey

This paper, written in relation to the Current Developments in Mathematics 2012 Conference, discusses the recent papers on perfectoid spaces. Apart from giving an introduction to their content, it includes some open questions, as well as complements to the results of the previous papers.

math.AG↗

arXiv2012

p-adic Hodge theory for rigid-analytic varieties

We 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-etale site, which makes all constructions completely functorial.

math.AG↗

arXiv2011

Perfectoid spaces

We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and characteristic p. We deduce the weight-monodromy conjecture in certain cases by reduction to equal characteristic.

math.AG↗