# zbMATH — the first resource for mathematics

Berkovich spaces are excellent. (Les espaces de berkovich sont excellents.) (French) Zbl 1177.14049
The paper under review in devoted to the study of some basic properties of Berkovich’s analytic spaces over non-archimedean fields [see V. G. Berkovich, Spectral theory and analytic geometry over non-archimedean fields. Mathematical Surveys and Monographs, 33. Providence, RI: American Mathematical Society (AMS). (1990; Zbl 0715.14013)] and [Publ. Math., Inst. Hautes Étud. Sci. 78, 5–161 (1993; Zbl 0804.32019)]).
The first results concern the local rings of Berkovich spaces. The author shows that they are excellent when the space is affinoid (théorème 2.13). In the rigid analytic setting, this result is due to B. Conrad [Ann. Inst. Fourier 49, No. 2, 473–541 (1999; Zbl 0928.32011)]. Next, the classical algebraic properties of the local rings ($$R_{m}$$, $$S_{m}$$, being regular, Cohen-Macaulay, Gorenstein, complete intersection) are investigated. The author studies their behaviours with regard to analytic extensions of the base field (théorème 3.1 and §3.4 in the non-good case). For this purpose, in the case of property $$R_{m}$$ and regularity, he has to introduce the notion of analytically separable field extension (§1). Then he turns to the behaviour under analytification (théorème 3.4 and §3.4 in the non-good case). Let $${\mathcal X}$$ be a scheme of finite type over an affinoid algebra and $$X$$ be its analytification. For any of the aforementioned properties, the locus where it holds is a Zariski open subset of $${\mathcal X}$$ and it holds at a point $$x$$ of $$X$$ if and only if it holds at its image in $${\mathcal X}$$.
The rest of the paper is devoted to global properties of Berkovich spaces, especially normality, connectedness and irreductibility. The Zariski topology of an affinoid space being Noetherian, one may define its irreducible components in the classical way. This is no longer possible for more general analytic spaces. Let’s mention that B. Conrad has defined the irreducible components of rigid spaces through normalization [loc. cit.]. Here the author proceeds in another way and gives a direct definition of the irreducible components of an analytic space $$X$$ as the Zariski closures of the irreducible components of the affinoid domains of $$X$$. He shows that they coincide with the maximal irreducible Zariski subsets (théorème 4.20). He also proves that analytic spaces admit normalizations (théorème 5.13) and that the connected components of the normalization of a space correspond bijectively to its irreducible components (théorème 5.17). A property is said to be geometric if it holds after any analytic extension of the base field. The author gives several characterizations of geometric connectedness (théorème 7.11) and geometric irreducibility (théorème 7.12).
Last, the author considers product of spaces and proves that if a geometric property holds for a couple of spaces, it still holds for their product (théorème 8.1 for local properties and 8.3 for global ones).
Let’s also mention that there is a very nice and detailed introduction, which is all the more useful as the paper is quite long. At the end of it, the author explains how his results compare to what was known before, mainly the works of R. Kiehl see [J. Reine Angew. Math. 234, 89–98 (1969; Zbl 0169.36501)], B. Conrad [loc. cit.] and V. Berkovich [loc. cit.].
The paper is thorough and self-contained (the author reproves most of what he needs). It will undoubtedly become a reference work for people interested in Berkovich theory.

##### MSC:
 14G22 Rigid analytic geometry 14A99 Foundations of algebraic geometry
Full Text:
##### References:
 [1] Avramov, L. L., Flat morphisms of complete intersections, Soviet. Math. Dokl, 16, 1413-1417, (1975) · Zbl 0334.13009 [2] Berkovich, V. G., Mathematical Surveys and Monographs, 33, Spectral theory and analytic geometry over non-Archimedean fields, x+169 pp., (1990), American Mathematical Society, Providence, RI · Zbl 0715.14013 [3] Berkovich, V. G., Étale cohomology for non-Archimedean analytic spaces, Inst. Hautes Études Sci. Publ. Math., 78, 5-161, (1993) · Zbl 0804.32019 [4] Berkovich, V. G., Geometric aspects of Dwork theory. Vol. I, II, Smooth $$p$$-adic analytic spaces are locally contractible. II, 293-370, (2004), Walter de Gruyter GmbH and Co. KG, Berlin · Zbl 1060.32010 [5] Berkovich, V. G., Algebra, Arithmetic and Geometry. Volume I : In Honor of Y.I. Manin, 269, A non-Archimedean interpretation of the weight zero subspaces of limit mixed structures, 49-67, (2009), Birkhäuser, Boston [6] Bosch, S.; Güntzer, U.; Remmert, R., Grundlehren der Mathematischen Wissenschaften, 261, Non-Archimedean analysis, xii+436 pp., (1984), Springer-Verlag, Berlin · Zbl 0539.14017 [7] Bourbaki, Nicolas, Éléments de mathématique. Fasc. II. Livre III : Topologie générale. Chapitre 1 : Structures topologiques. Chapitre 2 : Structures uniformes, (1965), Hermann, Paris [8] Conrad, B., Irreducible components of rigid spaces, Ann. Inst. Fourier, Grenoble, 49, 2, 473-541, (1999) · Zbl 0928.32011 [9] Ducros, A., Étude de quelques propriétés locales et globales des espaces de Berkovich, (2003) [10] Ducros, A., Parties semi-algébriques d’une variété algébrique $$p$$-adique, Manuscripta Math., 111, 4, 513-528, (2003) · Zbl 1020.14017 [11] Ducros, A., Espaces analytiques $$p$$-adiques au sens de berkovich, Astérisque, 311, 137-176, (2007) · Zbl 1197.14020 [12] Ducros, A., Variation de la dimension relative en géométrie analytique $$p$$-adique, Compos. Math., 143, 6, 1511-1532, (2007) · Zbl 1161.14018 [13] Greco, S.; Marinari, M. G., Nagata’s criterion and openness of loci for Gorenstein and complete intersection, Math. Z., 160, 3, 207-216, (1978) · Zbl 0362.13008 [14] Grothendieck, A., Éléments de géométrie algébrique. IV. étude locale des schémas et des morphismes de schémas. II, Inst. Hautes Études Sci. Publ. Math., 24, 5-231, (1965) · Zbl 0135.39701 [15] Grothendieck, A., Éléments de géométrie algébrique. IV. étude locale des schémas et des morphismes de schémas IV, Inst. Hautes études Sci. Publ. Math., 32, 5-361, (1967) · Zbl 0153.22301 [16] Gruson, L., Théorie de Fredholm $$p$$-adique, Bull. Soc. Math. France, 94, 67-95, (1966) · Zbl 0149.34702 [17] Kiehl, R., Ausgezeichnete ringe in der nichtarchimedischen analytischen geometrie, J. Reine Angew. Math., 234, 89-98, (1969) · Zbl 0169.36501 [18] Matsumura, H., Mathematics Lecture Note Series, 56, Commutative algebra, xv+313 pp., (1980), Benjamin/Cummings Publishing Co., Inc., Reading, Mass · Zbl 0441.13001 [19] Matsumura, H., Cambridge Studies in Advanced Mathematics, 8, Commutative ring theory, xiv+320 pp., (1989), Cambridge University Press, Cambridge · Zbl 0666.13002 [20] Nicaise, J., Singular cohomology of the analytic Milnor fiber, and mixed Hodge structure on the nearby cohomology, (2008) [21] Poineau, J., Espaces de Berkovich sur $$\mathbb{Z}, (2007)$$ [22] Poineau, J., Un résultat de connexité pour LES variétés analytiques $$p$$-adiques : privilège et noethérianité, Compos. Math., 144, 1, 107-133, (2008) · Zbl 1133.14026 [23] Temkin, M., On local properties of non-Archimedean analytic spaces, Math. Ann., 318, 3, 585-607, (2000) · Zbl 0972.32019 [24] Temkin, M., A new proof of the gerritzen-grauert theorem, Math. Ann., 333, 2, 261-269, (2005) · Zbl 1080.32021 [25] Thuillier, A., Géométrie toroïdale et géométrie analytique non archimédienne. application au type d’homotopie de certains schémas formels, Manuscripta Math., 123, 4, 381-451, (2007) · Zbl 1134.14018
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.