The pro-\'etale topology for schemes

MaRDI QIDQ2945003zbMATH OpenFDO

Authors Bhargav Bhatt, Peter Scholze

Publication date 9 September 2015

Full work available at URL https://arxiv.org/abs/1309.1198

zbMATH Keywords

fundamental groupGrothendieck topologiescoveringszeta and L-functionshigher regulatorsétale cohomology

Mathematics Subject Classification ID

Coverings of curves, fundamental group (14H30) Grothendieck topologies and Grothendieck topoi (18F10) Étale cohomology, higher regulators, zeta and (L)-functions ((K)-theoretic aspects) (19F27)

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-'etale topology, which is a Grothendieck topology on schemes that is closely related to the 'etale 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.

Recommendations

• The pro-étale topology for algebraic stacks
• The Weil-étale topology on schemes over finite fields
• Topologies on schemes and modulus pairs
• Etale Homotopy of Simplicial Schemes. (AM-104)
• The primitive topology of a scheme
• The topology of equivariant Hilbert schemes
• The pro-étale topos as a category of pyknotic presheaves
• ÉTALE TOPOLOGIES OF SCHEMES OVER FIELDS OF FINITE TYPE OVERQ
• Étale realization on the \(\mathbb A^1\)-homotopy theory of schemes
• Étale cohomology of schemes and analytic spaces

Cited in

(88)

• Enhancing the filtered derived category
• Geometric arcs and fundamental groups of rigid spaces
• The Galois group of a stable homotopy theory
• Duality and nearby cycles over general bases
• Equivariant localization and completion in cyclic homology and derived loop spaces
• Supports for constructible systems
• A computation of prismatic Dieudonné module
• The pro-étale cohomology of Drinfeld's upper half space
• Families of motives and the Mumford-Tate conjecture
• Faithfully flat descent of almost perfect complexes in rigid geometry
• The spectral p-adic Jacquet–Langlands correspondence and a question of Serre
• The six functors for Zariski-constructible sheaves in rigid geometry
• On the Beilinson fiber square
• Remarks on derived complete modules and complexes
• Weak proregularity, derived completion, adic flatness, and prisms
• Étale Steenrod operations and the Artin-Tate pairing
• The \(\operatorname{arc}\)-topology
• RIGIDITY FOR RIGID ANALYTIC MOTIVES
• Refined unramified cohomology of schemes
• Projectivity of the Witt vector affine Grassmannian
• Line bundles on rigid spaces in thev-topology
• Topological Hochschild homology and integral \(p\)-adic Hodge theory
• The \(A_{\text{inf}}\)-cohomology in the semistable case
• Duality for cohomology of curves with coefficients in abelian varieties
• An integral model of the perfectoid modular curve
• On the generic part of the cohomology of compact unitary Shimura varieties
• Some recent advances in topological Hochschild homology
• Specialization for the pro-étale fundamental group
• On the work of Peter Scholze
• The pro-étale topology for algebraic stacks
• The Berkovich realization for rigid analytic motives
• Specialization map between stratified bundles and pro-étale fundamental group
• Cohomology of generalized configuration spaces
• Grothendieck's pairing on Néron component groups: Galois descent from the semistable case
• Integral \(p\)-adic Hodge theory
• Liquid tensor experiment
• The pro-étale topos as a category of pyknotic presheaves
• Constructibility and reflexivity in non-Archimedean geometry
• Hyperdescent and étale \(K\)-theory
• ÉTALE TOPOLOGIES OF SCHEMES OVER FIELDS OF FINITE TYPE OVERQ
• The tame site of a scheme
• Banach-Colmez spaces and coherent sheaves on the Fargues-Fontaine curve
• Rational motivic path spaces and Kim's relative unipotent Section conjecture
• Tori over number fields and special values at \(s = 1\)
• On \(K(1)\)-local TR
• Milnor excision for motivic spectra
• Categorical traces and a relative Lefschetz-Verdier formula
• Étale covers and fundamental groups of schematic finite spaces
• Tautological rings of Shimura varieties and cycle classes of Ekedahl-Oort strata
• The (non-uniform) Hrushovski-Lang-Weil estimates
• Non-Archimedean geometry and applications. Abstracts from the workshop held January 30 -- February 5, 2022
• Cartier modules and cyclotomic spectra
• Survey on some aspects of Lefschetz theorems in algebraic geometry
• Adelic descent theory
• Automorphic forms, geometry and arithmetic. Abstracts from the workshop held August 22--28, 2021 (hybrid meeting)
• \(H^0\) of Igusa varieties via automorphic forms
• Continuous étale cohomology
• Constructible sheaves on schemes
• Duality for condensed cohomology of the Weil group of a \(p\)-adic field
• A prismatic approach to crystalline local systems
• The primitive comparison theorem in characteristic \(p\)
• Unipotent nearby cycles and nearby cycles over general bases
• Diamonds in the Langlands program: a comprehensive review
• $G$-bundles on the absolute Fargues–Fontaine curve
• Noninjectivity of the cycle class map in continuous -adic cohomology
• On Bloch’s map for torsion cycles over non-closed fields
• Completed prismatic \(F\)-crystals and crystalline \(Z_p\)-local systems
• Boundedness of the p-primary torsion of the Brauer group of an abelian variety
• Artin perverse sheaves
• Formally regular rings and descent of regularity
• Topological realisations of absolute Galois groups
• De Rham prismatic crystals over \(\mathcal{O}_K\)
• Relative perversity
• Higher Chow groups with finite coefficients and refined unramified cohomology
• Comparison between admissible and de Jong coverings in mixed characteristic
• Truncated pushforwards and refined unramified cohomology
• Mod \(p\) points on Shimura varieties of parahoric level (with an appendix by Rong Zhou)
• Anticyclotomic Euler systems for unitary groups
• On weakly étale morphisms
• Cohomological Descent for Faltings Ringed Topos
• Arithmetic duality for two-dimensional local rings with perfect residue field
• A comparison theorem for the pro-étale fundamental group
• Cohomological and motivic inclusion-exclusion
• Algebraic geometry in mixed characteristic
• The singular support of an \(\ell\)-adic sheaf
• Fundamental exact sequence for the pro-étale fundamental group
• Quasi-isogeny groups of supersingular abelian surfaces via pro-étale fundamental groups
• Purity and quasi-split torsors over Prüfer bases

This page was built for publication: The pro-\'etale topology for schemes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2945003)