The pro-\'etale topology for schemes

zbMATH Open1351.19001arXiv1309.1198MaRDI QIDQ2945003FDOQ2945003

Bhargav Bhatt, Peter Scholze

Publication date: 9 September 2015

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.

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

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

zbMATH Keywords

fundamental groupGrothendieck topologiescoverings[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=%EF%BF%BD%EF%BF%BDtale+cohomology&go=Go ��tale cohomology]zeta and L-functionshigher regulators

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)

Cited In (84)

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

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)