The pro-étale topology for schemes

Abstract

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.

71 pages

Cited by in corpus (31)

• Relative p-adic Hodge theory, II: Imperfect period rings
• Integral p-adic Hodge theory
• Enhancing the filtered derived category
• Topological Hochschild homology and integral $p$-adic Hodge theory
• Espaces de Banach-Colmez et faisceaux cohérents sur la courbe de Fargues-Fontaine
• Tautological rings of Shimura varieties and cycle classes of Ekedahl-Oort strata
• Duality for cohomology of curves with coefficients in abelian varieties
• Some recent advances in topological Hochschild homology
• Fundamental gerbes
• Rigidity for rigid analytic motives
• Overconvergent relative de Rham cohomology over the Fargues-Fontaine curve
• A characterization of finite étale morphisms in tensor triangular geometry
• The tame site of a scheme
• Line bundles on perfectoid covers: case of good reduction
• Pro-étale uniformisation of abelian varieties
• Diamantine Picard functors of rigid spaces
• Etale Steenrod operations and the Artin-Tate pairing
• Equivariant localization and completion in cyclic homology and derived loop spaces
• On a decomposition of $p$-adic Coxeter orbits
• Projective Geometry for Perfectoid Spaces
• Homotopy Exact Sequence for the Pro-Étale Fundamental Group II
• Cohomological Descent for Faltings' $p$-adic Hodge Theory and Applications
• A theorem on meromorphic descent and the specialization of the pro-étale fundamental group
• A note on p-adic Simpson correspondence
• On $K(1)$-local $\mathrm{TR}$
• The Berkovich realization for rigid analytic motives
• Weil-étale cohomology and zeta-values of arithmetic schemes at negative integers
• On the $p$-adic pro-étale cohomology of Drinfeld symmetric spaces
• Cohomologie étale des espaces d'arcs
• An improvement of the duality formalism of the rational etale site
• The Chabauty-Kim Method for Relative Completions