Théorème de Montel non-archimédien

A non-Archimedean Montel's theorem

• Auteur / Autrice : Rita Rodriguez Vazquez
• Direction : Charles Favre
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques fondamentales
• Date : Soutenance le 19/07/2017
• Etablissement(s) : Université Paris-Saclay (ComUE)
• Ecole(s) doctorale(s) : École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....)
• Partenaire(s) de recherche : Laboratoire : Centre de Mathématiques Laurent Schwartz (Palaiseau ; 1965-....) - Centre de Mathématiques Laurent Schwartz / CMLS
• Partenaire(s) de recherche : établissement opérateur d'inscription : École polytechnique (Palaiseau, Essonne ; 1795-....)
• Jury : Président / Présidente : Erwan Brugallé
• Jury : Examinateurs / Examinatrices : Charles Favre, Walter Gubler, Erwan Rousseau
• Jury : Rapporteur / Rapporteuse : Jérôme Poineau, William Cherry

Mots clés

Mots clés contrôlés

Systèmes dynamiques

Espaces de Berkovich

Mots clés libres

Famille normale

Géométrie de Berkovich

Hyperbolicité

Systèmes dynamiques

Normal family

Berkovich geometry

Hyperbolicity

Dynamical systems

Résumé

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.

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.