Abstract
Étale cohomology was developed in the scheme-theoretic context by Grothendieck in the 50s and 60s in order to provide a purely algebraic cohomology theory, satisfying the same fundamental properties as the singular cohomology of complex varieties, which was needed for proving the Weil conjectures. For other deep arithmetic reasons (related to Langlands program) it appeared later that it should also be worthwhile developing such a theory in the p-adic analytic context. This was done by Berkovich in the early 90s. In this text, after an introduction devoted to the general motivations for building those cohomology theories, we explain what a Grothendieck topology and its associated cohomology theory are. Then we present the basic ideas, definitions, and properties of both scheme-theoretic and Berkovich-theoretic étale cohomology theories (which are closely related to each other), and the fundamental results about them like various GAGA-like comparison theorems and Poincaré duality. Our purpose is not to give detailed proofs, which are for most of them highly technical and can be found in the literature. We have chosen to rather insist on examples, trying to show how étale cohomology can at the same time be quite close to the classical topological intuition, and encode in a completely natural manner deep-field arithmetic phenomena (such as Galois theory), which allows sometimes to think to the latter in a purely geometrical way.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
It can be shown that X satisfies this property if and only if it is supersingular, that is, if and only if its p-torsion subgroup consists of one \(\overline{\mathbb{F}_{p}}\)-point, with multiplicity p 2.
- 2.
There could be one because \(\mathcal{F}(X) \rightarrow \mathcal{F}(Y )\) not only depends on Y, but also on the arrow Y → X.
- 3.
The latter category is in fact (equivalent to) the category of sheaves of abelian groups on a suitable site.
- 4.
- 5.
This result was written in the rigid-analytic language and was actually the first motivation for developing such a theory.
- 6.
This theorem asserts that if \(L/k\) is a finite Galois extension with cyclic Galois group \(\langle \sigma \rangle\), every element of L whose norm is equal to one can be written σ(x)∕x for some x ∈ L ∗.
- 7.
This can also be expressed as a comparison between étale and Zariski \(\mathrm{H}^{1}\), but with coefficients in GL n —which is not an abelian group.
- 8.
If X is only assumed to be smooth, this is still possible using Grothendieck’s GAGA results for de Rham cohomology, which involve resolution of singularities.
- 9.
The fact for the action of G on the cohomology of \(\mathcal{F}_{\widehat{k^{a}}}\) to be discrete essentially means that every cohomology class of \(\mathcal{F}_{\widehat{k^{a}}}\) is already defined on a finite separable extension of k; one needs compactness to ensure this finiteness result.
References
V. Berkovich, Étale cohomology for non-archimedean analytic spaces. Inst. Hautes Études Sci. Publ. Math. 78, 5–161 (1993)
V. Berkovich, Vanishing cycles for formal schemes. Invent. Math. 115(3), 539–571 (1994)
V. Berkovich, On the comparison theorem for étale cohomology of non-Archimedean analytic spaces. Isr. J. Math. 92, 45–60 (1995)
V. Berkovich, Vanishing cycles for formal schemes III. Preprint
F. Charles, Conjugate varieties with distinct real cohomology algebras. J. Reine Angew. Math. 630, 125–139 (2009)
A.J. de Jong, Étale fundamental groups of non-Archimedean analytic spaces. Compositio Math. 97, 89–118 (1995)
A. Grothendieck, Sur quelques points d’algèbre homologique. Tohoku Math. J. 9, 119–221 (1957)
R. Huber, Étale Cohomology of Rigid Analytic Varieties and Adic Spaces. Aspects of Mathematics, vol. 30 (Friedr. Vieweg & Sohn, Braunschweig, 1996). x+450 pp.
R. Huber, A finiteness result for direct image sheaves on the étale site of rigid analytic varieties. J. Algebraic Geom. 7(2), 359–403 (1998)
L. Illusie, Grothendieck et la topologie étale, available on Luc Illusie’s home page (2008)
J.S. Milne, Étale Cohomology (Princeton University Press, Princeton, NJ, 1980)
J.-P. Serre, Exemple de variétés projectives conjuguées non homéomorphes. C. R. Acad. Sci. Paris 258, 4194–4196 (1964)
J.-P. Serre, Cohomologie Galoisienne, 5th edn. Lecture Notes in Mathematics, vol. 5 (Springer, New York, 1997)
SGA 1, Revêtements étales et groupe fondamental. Lecture Notes in Mathematics, vol. 224 (Springer, New York, 1971)
SGA 4-1, Théorie des topos et cohomologie étale des schmas, vol. 1. Lecture Notes in Mathematics, vol. 269 (Springer, New York, 1972)
SGA 4-2, Théorie des topos et cohomologie étale des schmas, vol. 2. Lecture Notes in Mathematics, vol. 270 (Springer, New York, 1972)
SGA 4-3, Théorie des topos et cohomologie étale des schmas, vol. 3. Lecture Notes in Mathematics, vol. 305 (Springer, New York, 1972)
SGA 4\(\frac{1} {2}\), Cohomologie étale. Lecture Notes in Mathematics, vol. 569 (Springer, New York, 1977)
SGA5, Cohomologie ℓ-adique et Fonctions L. Lecture Notes in Mathematics, vol. 589 (Springer, New York, 1977)
Acknowledgements
I would like to thank warmly: Mathilde Herblot, who has written detailed notes during the lectures, and has allowed me to use them for the redaction of this text; and Johannes Nicaise, who has read carefully several versions of this work and has made a lot of remarks and suggestions, which greatly helped me to improve the initial presentation.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Ducros, A. (2015). Étale Cohomology of Schemes and Analytic Spaces. In: Ducros, A., Favre, C., Nicaise, J. (eds) Berkovich Spaces and Applications. Lecture Notes in Mathematics, vol 2119. Springer, Cham. https://doi.org/10.1007/978-3-319-11029-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-11029-5_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11028-8
Online ISBN: 978-3-319-11029-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)