[Berkovich spaces are angelic]
Although Berkovich spaces may fail to be metrizable when defined over too big a field, we prove that a large part of their topology can be recovered through sequences: for instance, limit points of subsets are actual limits of sequences and compact subsets are sequentially compact. Our proof uses extension of scalars in an essential way and we need to investigate some of its properties. We show that a point in a disc may be defined over a subfield of countable type and that, over algebraically closed fields, every point is universal: in an extension of scalars, it may be canonically lifted.
Bien que les espaces de Berkovich définis sur un corps trop gros ne soient, en général, pas métrisables, nous montrons que leur topologie reste en grande partie gouvernée par les suites : tout point adhérent à une partie est limite d'une suite de points de cette partie et les parties compactes sont séquentiellement compactes. Notre preuve utilise de façon essentielle l'extension des scalaires et nous en étudions certaines propriétés. Nous montrons qu'un point d'un disque peut être défini sur un sous-corps de type dénombrable et que, lorsque le corps de base est algébriquement clos, tout point est universel : dans une extension des scalaires, il se relève canoniquement.
Keywords: espaces de Berkovich, géométrie analytique $p$-adique, espaces de Fréchet-Urysohn, espaces séquentiels, espaces angéliques
@article{BSMF_2013__141_2_267_0, author = {Poineau, J\'er\^ome}, title = {Les espaces de {Berkovich} sont ang\'eliques}, journal = {Bulletin de la Soci\'et\'e Math\'ematique de France}, pages = {267--297}, publisher = {Soci\'et\'e math\'ematique de France}, volume = {141}, number = {2}, year = {2013}, doi = {10.24033/bsmf.2648}, language = {fr}, url = {http://archive.numdam.org/articles/10.24033/bsmf.2648/} }
TY - JOUR AU - Poineau, Jérôme TI - Les espaces de Berkovich sont angéliques JO - Bulletin de la Société Mathématique de France PY - 2013 SP - 267 EP - 297 VL - 141 IS - 2 PB - Société mathématique de France UR - http://archive.numdam.org/articles/10.24033/bsmf.2648/ DO - 10.24033/bsmf.2648 LA - fr ID - BSMF_2013__141_2_267_0 ER -
%0 Journal Article %A Poineau, Jérôme %T Les espaces de Berkovich sont angéliques %J Bulletin de la Société Mathématique de France %D 2013 %P 267-297 %V 141 %N 2 %I Société mathématique de France %U http://archive.numdam.org/articles/10.24033/bsmf.2648/ %R 10.24033/bsmf.2648 %G fr %F BSMF_2013__141_2_267_0
Poineau, Jérôme. Les espaces de Berkovich sont angéliques. Bulletin de la Société Mathématique de France, Volume 141 (2013) no. 2, pp. 267-297. doi : 10.24033/bsmf.2648. http://archive.numdam.org/articles/10.24033/bsmf.2648/
[1] « A note on finite ring extensions », J. Math. Soc. Japan 3 (1951), p. 74-77. | MR | Zbl
& -[2] Potential theory and dynamics on the Berkovich projective line, Mathematical Surveys and Monographs, vol. 159, Amer. Math. Soc., 2010. | MR | Zbl
& -[3] Spectral theory and analytic geometry over non-Archimedean fields, Mathematical Surveys and Monographs, vol. 33, Amer. Math. Soc., 1990. | MR | Zbl
-[4] -, « Smooth -adic analytic spaces are locally contractible », Invent. Math. 137 (1999), p. 1-84. | MR | Zbl
[5] « Orthonormalbasen in der nichtarchimedischen Funktionentheorie. », Manuscr. Math. 1 (1969), p. 35-57 (German). | EuDML | MR | Zbl
-[6] Non-Archimedean analysis, Grund. Math. Wiss., vol. 261, Springer, 1984, A systematic approach to rigid analytic geometry. | MR | Zbl
, & -[7] Éléments de mathématique. Topologie générale. Chapitres 1 à 4, Hermann, 1971. | MR
-[8] « Variation de la dimension relative en géométrie analytique p-adique », Compos. Math. 143 (2007), p. 1511-1532. | MR
-[9] -, « Les espaces de Berkovich sont excellents », Ann. Inst. Fourier (Grenoble) 59 (2009), p. 1443-1552. | Numdam | MR
[10] -, « La structure des courbes analytiques », http://www.math.jussieu.fr/~ducros/trirss.pdf.
[11] « Topology and Geometry of the Berkovich Ramification Locus for Rational Functions », arXiv, 2011, http://arxiv.org/abs/1102.1432. | MR
-[12] « Countability properties of some Berkovich spaces », arXiv, 2011, http://arxiv.org/abs/1103.6233.
-[13] « A non-Archimedean Montel's theorem », Compos. Math. 148 (2012), p. 966-990. | MR
, & -[14] « Divisorial valuations via arcs. », Publ. Res. Inst. Math. Sci. 44 (2008), p. 425-448 (English). | MR
, & -[15] Weakly compact sets, Lecture Notes in Math., vol. 801, Springer, 1980, Lectures held at S.U.N.Y., Buffalo, in Spring 1978. | MR
-[16] « Spaces in which sequences suffice », Fund. Math. 57 (1965), p. 107-115. | MR
-[17] « Critères de compacité dans les espaces fonctionnels généraux », Amer. J. Math. 74 (1952), p. 168-186. | MR
-[18] « Non-archimedean tame topology and stably dominated types », arXiv, 2010, http://arxiv.org/abs/1009.0252. | MR
& -[19] « On local properties of non-Archimedean analytic spaces. II », Israel J. Math. 140 (2004), p. 1-27. | MR
-[20] -, « Stable modification of relative curves », J. Algebraic Geom. 19 (2010), p. 603-677. | MR
Cited by Sources: