Courbes de Berkovich et définissabilité
À la fin des années 1950, guidés par certaines questions de nature arithmétique, les mathématiciens ont éprouvé le besoin de disposer d'une géométrie analytique p-adique. Depuis, différentes théories ont vu le jour, dont celle développée par V. Berkovich, dans les années 1980, qui jouit de propriétés très proches de son analogue complexe. Ce sujet est encore très actif aujourd'hui et trouve non seulement des applications en arithmétique, mais également en géométrie algébrique, en dynamique complexe, en théorie des singularités, etc. Il y a de cela une dizaine d'années, E. Hrushovski et F. Loeser ont mis au point un analogue des espaces de Berkovich en utilisant des techniques issues de la logique mathématique (et plus précisément de la théorie des modèles). Dans un travail récent, Pablo Cubides Kovacsics et Jérôme Poineau proposent une version explicite de leur construction dans le cas des courbes et obtiennent une caractérisation des ensembles définissables dans ce cadre.
Références
[1] S. Bosch & W. Lütkebohmert – « Stable reduction and uniformization of abelian varieties. I », Math. Ann. 270 (1985), no. 3, p. 349–379.
[2] E. Bouscaren – « Introduction à la théorie des modèles », Gazette des Mathématiciens (2016), no. 149, p. 18 – 32.
[3] P. Cubides Kovacsics & J. Poineau – « Definable sets of Berkovich curves », Journal of the Institute of Mathematics of Jussieu (2019), p. 1–65.
[4] A. Ducros – « La structure des courbes analytiques », manuscrit disponible en ligne à l’adresse http: //www.math.jussieu.fr/~ducros/trirss.pdf.
[5] E. Hrushovski & F. Loeser – Non-archimedean tame topology and stably dominated types, Annals of Mathematics Studies, vol. 192, Princeton University Press, Princeton, NJ, 2016.
[6] M. Temkin – « Metric uniformization of morphisms of Berkovich curves », Advances in Mathematics 317 (2017), no. Supplement C, p. 438 – 472.
Contacts
Pablo Cubides Kovacsics, Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf.
Jérôme Poineau est professeur à l'université de Caen Normandie, membre du laboratoire de mathématiques Nicolas Oresme (LMNO - CNRS & Université Caen Normandie).