Étale cohomology for non-Archimedean analytic spaces. (English) Zbl 0804.32019

Berkovich, Vladimir G.

Publ. Math., Inst. Hautes Étud. Sci. 78, 5-161 (1993).

This deep and complete paper is mainly concerned with the construction of an étale cohomology and an étale cohomology with compact support for analytic non archimedean spaces, that is spaces first introduced by the author [math. surveys and monographs No. 33, A.M.S. (1990)] which are here generalized \((\S\S 1\) and 2), to give rise to all reasonable rigid analytic spaces (quasifinite). The \(3^{rd}\) \(\S\) gives definitions and properties of unramified, étale and smooth morphisms (for quasifinite morphisms, def. 3.1.1). These notions are also compared with the algebraic ones: if \(\varphi\) is a morphism between schemes of locally finite type over \(\text{Spec} ({\mathcal A})\), where \({\mathcal A}\) is an affinoïd algebra, then it is unramified (resp. étale, resp. smooth) if and only if the corresponding morphism between the analytified spaces has the same property. The \(4^{th}\) and \(5^{th}\) \(\S\S\) contain respectively definitions and first properties of the étale cohomology and the étale cohomology with compact support. These definitions are natural and all the expected properties are proved. Drinfeld’s interpretation of \(H^ 1_{\acute et} (.,\mu_ n)\), \(n\) prime to the characteristic of the base field [Math. USSR Sb. 23 (1974)], is proved here for analytic spaces \((\S 4.3)\). Analytic curves are studied in the \(\S 6\). Some results are preparation for the last \(\S\) (such as the comparison theorem for étale cohomology with compact support) or are extended later (such as the existence of a trace map...). It is also proved here that any tame finite étale Galois covering of the closed disc is trivial. As a corollary this gives a “Riemann- existence theorem” for coverings of degree prime to the residue characteristic of the base field.
The final results are in the \(\S 7\); all main properties expected from a good étale cohomology theory are proved here: comparison theorem for étale cohomology with compact support between a compactifiable scheme and its analytification; existence and properties of a trace map for separated smooth morphisms of pure dimension and for the constant sheaves \(\mathbb{Z}/n \mathbb{Z}\), \(n\) being prime to the characteristic of the base field... The central result is the “Poincaré duality theorem” \((\S 7.3)\) for separated smooth morphisms and for complexes of modules over the constant sheaves \(\mathbb{Z}/n \mathbb{Z}\), \(n\) prime to the residue characteristic of the base field. A comparison theorem for étale cohomology is also given, a base change theorem for cohomology with compact support...
Étale cohomology for analytic spaces over an ultrametric field is today the object of many works. One of the main motivations for that is certainly to construct an explicit version of the abstract cohomology of P. Schneider and V. Stuhler [Invent. Math. 105, No. 1, 47-122 (1991; Zbl 0751.14016)]. In de Jong-van der Put, an étale cohomology for rigid analytic spaces and overconvergent sheaves is constructed (preprint), which coincides with the one of Schneider-Stuhler. A big preprint of Huber has compared cohomology theories of (Berkovich) analytic spaces and rigid spaces. An explicit proof that étale- cohomology of analytic spaces coincides with the one of Schneider-Stuhler is not explicit in the works of the author, but is known by the experts (it uses results of Berkovich and de Jong-van der Put).

Reviewer: M.Reversat (Toulouse)

MSC:

32P05	Non-Archimedean analysis
14F20	Étale and other Grothendieck topologies and (co)homologies

Keywords:

étale cohomology; compact support; analytic spaces; morphisms; sheaves; rigid spaces

Citations:

Zbl 0751.14016

References:

[1]	Berkovich, V. G.,Spectral theory and analytic geometry over non-Archimedean fields, Mathematical Surveys and Monographs, vol. 33, American Mathematical Society, 1990. · Zbl 0715.14013
[2]	Bosch, S., Eine bemerkenswerte Eigenschaft der formellen Fasern affinoider Räume,Math. Ann.,229 (1977), 25–45. · Zbl 0385.32008
[3]	Bosch, S., Güntzer, U., Remmert, R.,Non-Archimedean analysis. A systematic approach to rigid analytic geometry, Grundlehren der Mathematischen Wissenschaften, Bd. 261, Springer, Berlin-Heidelberg-New York, 1984. · Zbl 0539.14017
[4]	Bosch, S., Lütkebohmert, W., Stable reduction and uniformization of abelian varieties I,Math. Ann.,270 (1985), 349–379. · Zbl 0554.14012
[5]	Bourbaki, N.,Topologie générale, Paris, Hermann, 1951.
[6]	Carayol, H., Non-abelian Lubin-Tate Theory, inAutomorphic Forms, Shimura Varieties, and L-Functions, New York-London, Academic Press, 1990, 15–39.
[7]	Drinfeld, V. G., Elliptic modules,Math. USSR Sbornik,23 (1974), 561–592. · Zbl 0321.14014
[8]	Drinfeld, V. G., Coverings ofp-adic symmetric domains,Funct. Anal. Appl.,10 (1976), 107–115. · Zbl 0346.14010
[9]	Engelking, R.,General topology, Warszawa, 1977. · Zbl 0373.54002
[10]	Fresnel, J., Van der Put, M.,Géométrie analytique rigide et applications, Progress in Mathematics, vol. 18, Boston, Birkhäuser, 1981.
[11]	Gabriel, P., Zisman, M.,Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Bd. 35, Berlin-Heidelberg-New York, Springer, 1967. · Zbl 0186.56802
[12]	Godement R.,Topologie algébrique et théorie des faisceaux, Paris, Hermann, 1958. · Zbl 0080.16201
[13]	Grothendieck, A., Sur quelques points d’algèbre homologique,Tôhoku Math. J.,9 (1957), 119–221. · Zbl 0118.26104
[14]	Grothendieck, A., Le groupe de Brauer, inDix exposés sur la cohomologie des schémas, Amsterdam, North-Holland, 1968, 46–188.
[15]	Grothendieck, A., Dieudonné, J., Éléments de géométrie algébrique, IV. Étude locale des schémas et des morphismes de schémas,Publ. Math. I.H.E.S.,20 (1964),25 (1965),28 (1966),32 (1967).
[16]	Gruson, L., Théorie de Fredholmp-adique,Bull. Soc. math. France,94 (1966), 67–95. · Zbl 0149.34702
[17]	Hartshorne, R., Residues and Duality,Lecture Notes in Math.,20, Berlin-Heidelberg-New York, Springer, 1966. · Zbl 0212.26101
[18]	Hartshorne, R.,Algebraic Geometry, Berlin-Heidelberg-New York, Springer, 1977.
[19]	Kiehl, R., Ausgezeichnete Ringe in der nichtarchimedischen analytischen Geometrie,J. Reine Angew. Math.,234 (1969), 89–98. · Zbl 0169.36501
[20]	Matsumura, H.,Commutative ring theory, Cambridge University Press, 1980. · Zbl 0441.13001
[21]	Mitchell, B.,Theory of Categories, New York-London, Academic Press, 1965. · Zbl 0136.00604
[22]	Van der Put, M., The class group of a one-dimensional affinoid space,Ann. Inst. Fourier,30 (1980), 155–164. · Zbl 0426.14014
[23]	Raynaud, M., Anneaux locaux henséliens,Lecture Notes in Math.,169, Berlin-Heidelberg-New York, Springer, 1970. · Zbl 0203.05102
[24]	Grothendieck, A., Séminaire de géométrie algébrique, I. Revêtements étales et groupe fondamental,Lecture Notes in Math.,224, Berlin-Heidelberg-New York, Springer, 1971.
[25]	Artin, M., Grothendieck, A., Verdier, J.-L., Théorie des topos et cohomologie étale des schémas,Lecture Notes in Math.,269, 270, 305, Berlin-Heidelberg-New York, Springer, 1972–1973.
[26]	Deligne, P. et al., Cohomologie étale,Lectures Notes in Math.,569, Berlin-Heidelberg-New York, Springer, 1977. · Zbl 0349.14008
[27]	Schneider, P., Stuhler, U., The cohomology ofp-adic symmetric spaces,Invent. math.,105 (1991), 47–122. · Zbl 0751.14016
[28]	Serre, J.-P., Cohomologie galoisienne,Lectures Notes in Math., 5, Berlin-Heidelberg-New York, Springer, 1964. · Zbl 0143.05901
[29]	Zariski, O., Samuel, P.,Commutative algebra, Berlin-Heidelberg-New York, Springer, 1975. · Zbl 0313.13001