A non-Archimedean Montel's theorem / Rita Rodriguez Vazquez ; sous la direction de Charles Favre

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Espaces de Berkovich

Systèmes dynamiques

Favre, Charles (19..-....) (Directeur de thèse / thesis advisor)

Brugallé, Erwan (Président du jury de soutenance / praeses)

Poineau, Jérôme (1980-....) (Rapporteur de la thèse / thesis reporter)

Cherry, William (Rapporteur de la thèse / thesis reporter)

Gubler, Walter (1965-....) (Membre du jury / opponent)

Rousseau, Erwan (1977-....) (Membre du jury / opponent)

Université Paris-Saclay (2015-2019) (Organisme de soutenance / degree-grantor)

École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (Ecole doctorale associée à la thèse / doctoral school)

Centre de mathématiques Laurent Schwartz (Palaiseau, Essonne) (Laboratoire associé à la thèse / thesis associated laboratory)

École polytechnique (Palaiseau, Essonne) (Autre partenaire associé à la thèse / thesis associated third party)

Résumé / Abstract : Cette thèse est dédiée à l'étude des propriétés de compacité de familles d'applications analytiques entre espaces analytiques définis sur un corps métrisé non-Archimédien k.Nous travaillons dans le contexte des espaces analytiques développés par Berkovich pour exploiter leur topologie modérée. Une de nos motivations est le désire d'introduire une notion naturelle d'hyperbolicité au sens de Kobayashi dans ce cadre.Nous démontrons d'abord un analogue au théorème de Montel pour des applications analytiques à valeurs dans un domaine borné de l'espace affine. Afin de ceci faire, nous paramétrisons l'espace des applications analytiques d'un polydisque ouvert dans un polydique fermé par le spectre analytique d'une k-algèbre de Banach adéquate. Le résultat découle alors de la compacité séquentielle de cet espace.Nos résultats mènent naturellement à une définition de famille normale, et nous introduisons ensuite deux ensembles de Fatou associés à un endomorphisme de l'espace projectif.Nous montrons que les composantes de Fatou se comportent comme dans le cas complexeet ne contiennent pas d'image non-triviale de la droite affine épointée. Ensuite, nous appliquons notre notion de normalité à l'étude de l'hyperbolicité dans le cadre non-Archimédien. Nous reprenons les travaux de W. Cherry et démontrons plusieurs caractérisations des variétés projectives lisses pour lesquelles la semi-distance de Cherry-Kobayashi sur l'ensemble des points rigides définit la topologie usuelle. Nous obtenons finalement une caractérisation des courbes algébriques lisses X de caractéristique d'Euler négative en termes de la normalité de certaines familles d'applications analytiques à valeurs dans X.

Résumé / Abstract : This thesis is devoted to the study of compactness properties of spaces of analytic maps between analytic spaces defined over a non-Archimedean metrized field k. We work in the theory of analytic spaces as developed by Berkovich to fully exploit their tame topology. One of our motivations is the strive to introduce a natural notion of Kobayashi hyperbolicity in this setting. We first prove an analogue of Montel’s theorem for analytic maps taking values in a bounded domain of the affine space. In order to do so, we parametrize the space of analytic maps from an open polydisk to a closed one by the analytic spectrum of a suitable Banach k-algebra. Our result then follows from the sequential compactness of this space.Our results naturally lead to a definition of normal families, and we subsequently introduce two notions of Fatou sets attached to an endomorphism of the projective space. We show that Fatou components behave like in the complex case and cannot contain non trivial images of the punctured affine line. Thereupon, we apply our normality notion to the study of hyperbolicity in the non-Archimedean setting. We pursue the work of W. Cherry and prove various characterizations of smooth projective varieties whose Cherry-Kobayashi semi distance on the set of rigid points defines the classical topology. We finally obtain a characterization of smooth algebraic curves X of negative Euler characteristic in terms of the normality of certain families of analytic maps taking values in X.