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

(only showing first 100 items - show all)

• Duality for condensed cohomology of the Weil group of a p-adic field
• Refined unramified cohomology of schemes
• An integral model of the perfectoid modular curve
• Rational motivic path spaces and Kim's relative unipotent Section conjecture
• The pro-étale topology for algebraic stacks
• On Bloch’s map for torsion cycles over non-closed fields
• Categorical traces and a relative Lefschetz-Verdier formula
• Banach-Colmez spaces and coherent sheaves on the Fargues-Fontaine curve
• RIGIDITY FOR RIGID ANALYTIC MOTIVES
• Survey on some aspects of Lefschetz theorems in algebraic geometry
• On K(1)-local TR
• Algebraic geometry in mixed characteristic
• Fundamental exact sequence for the pro-étale fundamental group
• Purity and quasi-split torsors over Prüfer bases
• Perfectoid spaces
• The six functors for Zariski-constructible sheaves in rigid geometry
• A Fourier transform for Banach-Colmez spaces
• Cohomological Descent for Faltings Ringed Topos
• Arithmetic duality for two-dimensional local rings with perfect residue field
• 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
• Prismatic G-displays and descent theory
• Categorical colors in diamonds: \textit{sight as site}: categorical Ozma and Cinderella
• Anticyclotomic Euler systems for unitary groups
• Tori over number fields and special values at s = 1
• A computation of prismatic Dieudonné module
• The Galois group of a stable homotopy theory
• On the generic part of the cohomology of compact unitary Shimura varieties
• A moving lemma for cohomology with support
• Boundedness of the p-primary torsion of the Brauer group of an abelian variety
• Artin perverse sheaves
• Anabelian geometry and representations of fundamental groups. Abstracts from the workshop held September 29 -- October 4, 2024
• Families of motives and the Mumford-Tate conjecture
• Topological Hochschild homology and integral \(p\)-adic Hodge theory
• A prismatic approach to crystalline local systems
• Unipotent nearby cycles and nearby cycles over general bases
• Non-Archimedean geometry and applications. Abstracts from the workshop held January 30 -- February 5, 2022
• Perfectoid signature, perfectoid Hilbert-Kunz multiplicity, and an application to local fundamental groups
• Duality for cohomology of curves with coefficients in abelian varieties
• Canonical integral models for Shimura varieties of abelian type
• Integral \(p\)-adic Hodge theory
• Milnor excision for motivic spectra
• Specialization for the pro-étale fundamental group
• Topological realisations of absolute Galois groups
• $G$-bundles on the absolute Fargues–Fontaine curve
• Cycle conjectures and birational invariants over finite fields
• Projectivity of the Witt vector affine Grassmannian
• Enhancing the filtered derived category
• Noninjectivity of the cycle class map in continuous -adic cohomology
• Mixed -adic complexes for schemes over number fields
• Prismatic cohomology of rigid analytic spaces over de Rham period ring
• On the Beilinson fiber square
• Constructibility and reflexivity in non-Archimedean geometry
• Relative perversity
• Nori motives (and mixed Hodge modules) with integral coefficients
• Remarks on derived complete modules and complexes
• De Rham prismatic crystals over \(\mathcal{O}_K\)
• Hyperdescent and étale K-theory
• p-adic Hodge theory for Artin stacks
• The \(A_{\text{inf}}\)-cohomology in the semistable case
• Diamonds in the Langlands program: a comprehensive review
• Weak proregularity, derived completion, adic flatness, and prisms
• The \(\operatorname{arc}\)-topology
• On integral local Shimura varieties
• p-adic non-abelian Hodge theory for curves via moduli stacks
• Weil-étale cohomology and zeta-values of arithmetic schemes at negative integers
• Profinite completions of products
• Cohomological and motivic inclusion-exclusion
• Étale Steenrod operations and the Artin-Tate pairing
• \(G\)-torsors on perfectoid spaces
• Liquid tensor experiment
• Specialization map between stratified bundles and pro-étale fundamental group
• Adelic descent theory
• The pro-étale topos as a category of pyknotic presheaves
• Quasi-isogeny groups of supersingular abelian surfaces via pro-étale fundamental groups
• Nearby cycles commute with proper direct image on stacks of shtukas
• The primitive comparison theorem in characteristic \(p\)
• Some recent advances in topological Hochschild homology
• The spectral p-adic Jacquet–Langlands correspondence and a question of Serre
• Line bundles on rigid spaces in thev-topology
• Non-free sections of Fano fibrations
• ÉTALE TOPOLOGIES OF SCHEMES OVER FIELDS OF FINITE TYPE OVERQ
• On weakly étale morphisms
• Derived binomial rings. I: Integral Betti cohomology of log schemes
• A comparison theorem for the pro-étale fundamental group
• Formal GAGA for gerbes
• Formally regular rings and descent of regularity
• Higher Chow groups with finite coefficients and refined unramified cohomology
• Variants of the de Jong fundamental group
• Duality and nearby cycles over general bases
• 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)
• Unipotent homotopy theory of schemes
• Faithfully flat descent of almost perfect complexes in rigid geometry
• On the work of Peter Scholze
• Constructible sheaves on schemes
• The tame site of a scheme

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)