\documentclass[XUPS,XML,SOM,Unicode,francais, NoFloatCountersInSection,ThmDefs]{cedram}
\OneNumberAllTheorems
\usepackage{xups23-02}
\graphicspath{{xups23-02_figures}}
\setcounter{tocdepth}{2}
\tochyphenpenalty0

%\XUPScorrections

%\newcommand{\quand}{\quad\text{et}\quad}

\begin{document}
\frontmatter

\title[Nombres complexes, nombres $p$-adiques]{Nombres\nobreakspace \hbox{complexes},\nobreakspace nombres\nobreakspace $p$\hbox{-adiques}:\\ à la croisée des chemins}

\author[\initial{J.} \lastname{Poineau}]{\firstname{Jérôme} \lastname{Poineau}}
\address{Normandie Univ., UNICAEN, CNRS, Laboratoire de mathématiques Nicolas Oresme, 14000 Caen, France}
\email{jerome.poineau@unicaen.fr}
\urladdr{https://poineau.users.lmno.cnrs.fr/}

\thanks{Journées X-UPS 2023. Promenades dans le monde non archimédien. Éditions de l'École polytechnique, 2023}

\maketitle
\vspace*{-1\baselineskip}\enlargethispage{\baselineskip}
\tableofcontents
\mainmatter

Du point de vue arithmétique, l'ensemble des nombres $p$-adiques apparaît aussi naturel que celui des nombres réels ou complexes, mais leurs profondes différences topologiques s'opposent au développement d'une géométrie $p$-adique suivant les pas de la géométrie classique. À la fin des années 1980, Vladimir Berkovich a défini des espaces contenant les nombres $p$-adiques (ou les séries de Laurent, ou tout autre corps ultramétrique donné) et permis, dans une large mesure, de rétablir le parallélisme espéré entre routes archimédienne et non archimédienne.

Dans ce texte, nous présentons la construction de Berkovich, en nous concentrant sur le cas de l'espace le plus simple, mais déjà riche: la droite. Cela nous conduira à emprunter des détours spécifiquement ultramétriques, par la théorie très fertile des extensions de corps dans ce cadre, ou encore celle des points de Gau\ss, qui reflètent le comportement générique sur un disque.

Nous finirons en exposant une application à la dynamique des polynômes complexes en deux variables, due à Charles Favre et Mattias Jonsson. Plus précisément, nous étudierons les propriétés arithmétiques du taux d'attraction asymptotique en un point super-attractif.

\section{Corps valués ultramétriques}\label{sec:comparaison}

Avant de présenter la construction de Vladimir Berkovich, revenons sur la notion de corps valué ultramétrique. Cette notion de corps valué ultramétrique étant traitée en détail dans le texte d'Antoine Chambert-Loir~\cite{ACLNewton} de ce volume, nous ne nous y attarderons pas et nous contenterons ici de rappeler la définition, ainsi que quelques notations et exemples, pour la commodité du lecteur.

\begin{defi}
Soit $k$ un corps. Une \emph{valeur absolue ultramétrique} sur~$k$ est une application
\[ \va \colon k \to \R_{\ge 0}\]
vérifiant les propriétés suivantes:
\begin{enumeratei}
\item $\abs{0} =0$ et $\abs{1} =1$ ;
\item $\forall a\in k$, $\abs{a} = 0 \Leftrightarrow a=0$ ;
\item $\forall a,b\in k$, $\abs{ab} = \abs{a}\, \abs{b}$ ;
\item $\forall a,b\in k$, $\abs{a+b} \le \max( \abs{a}, \abs{b})$.
\end{enumeratei}
\end{defi}

La dernière propriété est parfois appelé inégalité triangulaire ultramétrique, ou encore renforcée. Elle entraîne l'inégalité triangulaire classique $\abs{a+b} \le \abs{a} + \abs{b}$.

Cette propriété possède de nombreuses conséquences. Du point de vue algébrique, elle permet de définir un sous-anneau naturel de~$k$, dit \emph{anneau de valuation}, par\vspace*{-3pt}
\[ k^\circ := \{a \in k : \abs{a} \le 1\}.\]
Il possède un unique idéal maximal, défini explicitement par\vspace*{-3pt}
\[ k^{\circ\circ} := \{a \in k : \abs{a} < 1\}.\]
Le quotient $\tilde k := k^\circ/k^{\circ\circ}$ est appelé \emph{corps résiduel} de~$k$. L'application de passage au quotient $\red : k^\circ \to \tilde k$ est appelé \emph{réduction}.

Dans la suite de ce texte, nous travaillerons, la plupart du temps, avec un corps valué ultramétrique complet $(k,\va)$ arbitraire. Il est utile de garder en tête les exemples fondamentaux suivants.

\subsubsection*{Le corps des séries de Laurent complexes $\C(\!(t)\!)$}

Ses éléments sont les séries de la forme\vspace*{-3pt}
\[f(t) = \sum_{i\ge i_{0}} a_{i}\, t^i,\]
où~$i_{0}$ est un entier relatif qui dépend de~$f$. Si la série~$f$ n'est pas nulle, il existe un plus grand entier~$i_{0}$ pour lequel la série peut s'écrire sous la forme précédente. On l'appelle valuation $t$-adique de~$f$ et on le note~$v(f)$.

Soit $r\in \intoo{0,1}$. On définit une valeur absolue ultramétrique $t$-adique~$\va$ sur~$\C(\!(t)\!)$ par $\abs{0}=0$ et\vspace*{-3pt}\enlargethispage{.5\baselineskip}%
\[ \abs{f} = r^{v(f)} \textrm{ pour } f\ne 0.\]
Le corps $\C(\!(t)\!)$ est complet.

On a $\C(\!(t)\!)^\circ = \C[\![t)]\!]$, $\C(\!(t)\!)^{\circ\circ} = t \C[\![t)]\!]$, $\widetilde{\C(\!(t)\!)} = \C$ et l'application de réduction est donnée par\vspace*{-3pt}
\[ \red \colon f(t) = \sum_{i\ge 0} a_{i}\, t^i \in \C[\![t]\!] \mapstoo f(0) = a_{0} \in \C.\]

\subsubsection*{Pour tout nombre premier $p$, le corps des nombres $p$-adiques $\Q_{p}$}\mbox{}

Soit $p$ un nombre premier. Tout nombre rationnel~$a$ non nul peut s'écrire de fa\c{c}on unique sous la forme $\pm\, p^{n}\, \sfrac u v$, où~$n$ est un entier relatif et~$u$ et~$v$ des entiers naturels non divisibles par~$p$ et premiers entre eux. L'entier~$n$ est appelé valuation $p$-adique de~$a$ et noté~$v_{p}(a)$.

On définit une valeur absolue ultramétrique $p$-adique~$\va_{p}$ sur~$\Q$ par $\abs{0}=0$ et\vspace*{-3pt}
\[ \abs{a}_{p} = p^{-v_{p}(a)} \textrm{ pour } a\ne 0.\]
On note~$\Q_{p}$ le complété de~$\Q$ pour cette valeur absolue.

L'anneau de valuation~$\Z_{p}$ de~$\Q_{p}$ est le complété de~$\Z$ pour la valeur absolue~$\va_{p}$, son idéal maximal est $p\Z_{p}$, et le corps résiduel de~$\Q_{p}$ s'identifie au corps fini à~$p$ éléments~$\F_{p}$.

\subsubsection*{Pour tout corps~$K$, le corps trivialement valué $(K,\va_{0})$}

Soit $K$ un corps. La valeur absolue triviale sur~$K$ est définie par $\abs{0}=0$ et\vspace*{-3pt}\enlargethispage{1.5\baselineskip}
\[ \abs{a}_{0} = 1 \textrm{ pour } a\ne 0.\]
La topologie est discrète et le corps est complet.
On a $K^\circ = K$, $K^{\circ\circ} = \{0\}$ et $\tilde K = K$.

Soit $(k,\va)$ un corps valué ultramétrique. Le caractère ultramétrique de la valeur absolue possède également des conséquences topologiques, plutôt inhabituelles, par exemple le fait que les boules fermées de rayon strictement positif soient ouvertes. Cela pose inévitablement des problèmes de connexité et l'on démontre en effet que les composantes connexes de~$k$ sont les points: l'espace est dit totalement discontinu.

Des problèmes de compacité peuvent également survenir. Pour les expliquer, introduisons des notations pour les disques ouverts et fermés. Pour $\alpha\in k$ et $r\in \R$, on pose\vspace*{-3pt}
\[\mathring{D}_{k}(\alpha,r) := \{ z \in k : \abs{z-\alpha} < r\} \textrm{ et }
\oD_{k}(\alpha,r) := \{ z \in k : \abs{z-\alpha} \le r\}.\]
Dans~$\Q_{p}$, pour $p$ premier, les disques fermés sont compacts. Dans $\C(\!(t)\!)$, en revanche, tel n'est plus le cas. En effet, on peut écrire le disque unité fermé comme union disjointe d'une infinité de disques ouverts:\vspace*{-3pt}
\[\oD_{\C(\!(t)\!)}(0,1) = \C[\![t]\!] = \bigsqcup_{\alpha\in \C} \mathring D_{\C(\!(t)\!)}(\alpha,1).\]
Enfin, pour un corps trivialement valué $(K,\va_{0})$, la topologie est discrète, et la compacité de $\oD_{K}(0,1)=K$ équivaut à la finitude de~$K$.

En général, on observe donc que les bonnes propriétés topologiques de~$\R$ ou de~$\C$, telles que compacité locale, connexité par arcs locale, contractibilité locale, etc., tombent en défaut dans le cadre ultramétrique.

\section{La droite de Berkovich}

Nous allons présenter une théorie, établie par Vladimir G. Berkovich à la fin des années 1980 et exposée dans~\cite{rouge}, qui permet de résoudre les problèmes mentionnés à la section~\ref{sec:comparaison}, et de rétablir l'analogie entre les géométrie complexe et ultramétrique. Dans ce texte, nous nous contentons d'en exposer les premiers éléments. Nous renvoyons le lecteur désireux d'approfondir le sujet au texte original sus-cité, ou aux articles d'introduction \cite{PoineauGazette, DucrosGazette, DucrosBourbaki, PoineauTurchettiVIASMI, TemkinIntroduction} (par ordre de difficulté croissante).

Soit $(k,\va)$ un corps valué ultramétrique complet. L'une des particularités de la théorie de Berkovich est qu'elle distingue deux incarnations de~$k$: l'une en tant que corps et l'autre en tant qu'espace topologique. L'espace topologique~$k$ y est remplacé par un autre, noté~$\Aunk$, qui contient~$k$, mais également beaucoup d'autres points, et jouit des bonnes propriétés familières (connexité par arcs locale et globale, compacité locale, etc.). Le corps~$k$ reste inchangé, et ses éléments sont vus comme des fonctions constantes sur~$\Aunk$.

\subsection{Origines}

Comme nous le verrons bientôt, la définition précise de la droite de Berkovich met l'accent, non pas sur les points que l'on souhaite trouver, ceux de $k$, mais sur les fonctions dont on souhaite disposer, en l'occurrence, les polynômes en une variable à coefficients dans~$k$.

Cette idée, qui consiste, en quelque sorte, à deviner le bon espace à partir de la connaissance de ses fonctions n'est pas déraisonnable, comme l'indique le résultat suivant. Soit $X$ un espace métrique compact et $\cC(X)$ l'anneau des fonctions continues de~$X$ dans~$\C$. Notons $\Omega(\cC(X))$ l'ensemble des caractères de~$\cC(X)$, c'est-à-dire des morphismes d'anneaux de~$\cC(X)$ dans~$\C$. Remarquons qu'on peut associer un caractère de~$\cC(X)$ à tout point $x$ de~$X$ par la formule
\[ \varphi_{x} \colon f \in \cC(X) \mapstoo f(x) \in \C.\]

\begin{theo}
L'application
\[ x\in X \mapstoo \varphi_{x} \in \Omega(\cC(X)) \]
est bijective.
\qed
\end{theo}

L'idée de construire un espace à partir des fonctions que l'on désire n'est pas nouvelle. On en trouve notamment une incarnation dans les travaux d'Israel Gelfand en analyse fonctionnelle. Rappelons-en les grandes lignes. Soit $(A,\nm)$ une algèbre de Banach complexe unitaire et notons $\Omega(A)$ l'ensemble de ses caractères.
On peut alors interpréter les éléments de~$A$ comme des fonctions sur l'espace~$\Omega_{A}$ en associant, à un élément~$a$ de~$A$, la fonction\enlargethispage{\baselineskip}
\[ \hat a \colon \varphi \in \Omega_{A} \mapstoo \varphi(a) \in \C.\]
En outre, si l'on munit $\Omega_{A}$ de la topologie la plus grossière rendant continues toutes les fonctions de la forme~$\hat a$, on obtient un espace compact.

Des constructions similaires ont également été utilisées dans d'autres contextes, par exemple en géométrie algébrique, dans le cadre de la théorie des schémas d'Alexandre Grothendieck.

Signalons, pour finir, que la droite de Berkovich apparaît déjà, en réalité, dans des textes antérieurs à ceux de V.\,Berkovich, dans un contexte d'analyse fonctionnelle ultramétrique. Nous renvoyons à \cite{EscassutGazette} pour des précisions bibliographiques. Cependant, il nous semble peu discutable que ce sont les travaux de V.\,Berkovich qui ont mis en lumière la portée de cette construction, \textit{via} ses applications en géométrie arithmétique notamment, et lui ont permis d'acquérir la place de choix qu'elle occupe aujourd'hui au sein du paysage mathématique. Aussi conservons-nous l'expression droite de Berkovich dans la suite de ce texte.

\subsection{Définition}

Énonçons la définition de la droite de Berkovich~$\Aunk$.

\begin{defi}\label{defi:Aunk}
La droite de Berkovich, notée~$\Aunk$, est l'ensemble des semi-normes multiplicatives sur $k[X]$ qui induisent la valeur absolue donnée sur~$k$. En termes plus explicites, c'est l'ensemble des fonctions
\[ \va_{x} \colon k[X] \too \R_{\ge 0}\]
vérifiant les propriétés suivantes:
\begin{enumeratei}
\item $\forall P,Q\in k[X]$, $\abs{P+Q}_{x} \le \abs{P}_{x} + \abs{Q}_{x}$ ;
\item $\forall P,Q\in k[X]$, $\abs{PQ}_{x} = \abs{P}_{x} \, \abs{Q}_{x}$ ;
\item $\forall a\in k$, $\abs{a}_{x} = \abs{a}$.
\end{enumeratei}

On munit~$\Aunk$ de la topologie la plus grossière qui rende continues les fonctions de la forme
\[ \va_{x} \in \Aunk \mapstoo \abs{P}_{x} \in \R_{\ge0},\]
avec $P\in k[X]$. En termes plus concrets, les ouverts de~$\Aunk$ s'obtiennent par intersections finies et des unions arbitraires d'ensembles de la forme
\[ \{ \va_{x} \in \Aunk : r < \abs{P}_{x} < s\},\]
avec $P\in k[X]$, $r,s\in \R$.
\end{defi}

Par définition, les points de la droite de Berkovich sont des semi-normes sur~$k[X]$. Pour aider l'intuition, nous les noterons volontiers comme des points classiques: $x,y,z,\dotsc$ Lorsque nous aurons besoin de revenir à la définition, nous parlerons de la semi-norme associée au point, et la noterons alors $\va_{x},\va_{y},\va_{z},\dotsc$

Dans la suite de ce texte, nous allons tâcher de démystifier la définition de droite de Berkovich et d'expliquer les phénomènes concrets qu'elle reflète. Commençons par montrer que, comme on s'y attend, la droite de Berkovich~$\Aunk$ contient bien une copie de~$k$.

Soit $\alpha\in k$. L'application
\[ \va_{\alpha} \colon P \in k[X] \mapstoo \abs{P(\alpha)} \in \R_{\ge 0}\]
est une semi-norme multiplicative sur $k[X]$. On notera encore $\alpha$ le point de~$\Aunk$ associé.

\begin{lemm}
L'application
\[ k \too \Aunk \]
précédemment définie est injective. C'est un homéomorphisme sur son image, autrement dit, la topologie de~$k$ est induite par celle de~$\Aunk$.
\end{lemm}
\begin{proof}
Les résultats découlent directement des définitions.
\end{proof}

L'exemple précédent peut se généraliser en partant non plus d'un élément de~$k$, mais d'un élément d'une clôture algébrique de~$k$. Nous nous contenterons de l'expliquer sur un exemple.

Considérons le corps des séries de Laurent $\C(\!(t)\!)$ muni de la valeur absolue $t$-adique~$\va$ normalisée par $\abs{t} = r$, avec $r\in \intoo{0,1}$. Ce corps se plonge dans le corps $\C(\!(\sqrt{t})\!)$ et la valeur absolue s'étend en posant $\abs{\sqrt{t}} = r^{1/2}$. (Le corps $\C(\!(\sqrt{t})\!)$ est encore un corps de séries de Laurent, cette fois-ci pour la variable $\sqrt t$.)

Pour tout $\beta\in \C(\!(\sqrt t)\!)$, l'application
\[ \va_{\beta} \colon P \in \C(\!(t)\!)[X] \mapstoo \abs{P(\beta)} \in \R_{\ge 0}\]
est une semi-norme multiplicative sur~$\C(\!(t)\!)[X]$. Elle définit donc un point de $\E{1}{\C(\!(t)\!)}$.

Attention, l'application induite $\C(\!(\sqrt t)\!) \to \E{1}{\C(\!(t)\!)}$ n'est plus injective! On vérifie, par exemple, que $\va_{\sqrt t} = \va_{-\sqrt t}$.

La définition de la droite de Berkovich peut également s'appliquer au corps~$\C$ muni de la valeur absolue usuelle~$\va_{\infty}$. Comme précédemment, on dispose d'une application injective $\C \to \E{1}{\C}$ et le résultat qui suit, qui figure déjà chez Alexander Ostrowski (\cf~\cite{Ostrowski}), assure qu'elle est surjective. Dans ce cas, la construction de V.\,Berkovich ne fournit donc aucun nouveau point. Nous verrons que la situation diffère radicalement dans le cadre ultramétrique.

\begin{theo}
Soit $\va_{x}$ une semi-norme multiplicative sur~$\C[X]$ qui induit la valeur absolue usuelle sur~$\C$. Alors, il existe $\alpha\in \C$ tel que
\[ \va_{x} = \va_{\alpha} \colon P\in\C[X] \mapstoo \abs{P(\alpha)}_{\infty}.\]
\end{theo}
\begin{proof}
En utilisant l'inégalité triangulaire, on montre que la fonction
\[z\in \C \mapstoo \abs{X-z}_{x} \in \R_{\ge 0}\]
est continue et tend vers l'infini quand~$\abs{z}_{\infty}$ tend vers l'infini. On en déduit qu'elle est bornée inférieurement et atteint son minimum~$u$.
Supposons, par l'absurde, que $u > 0$.

Soit $\alpha \in \C$ tel que $\abs{X-\alpha}_{x} = u$. Soit $y \in \C^\ast$ tel que $\abs{y}_{\infty} < u$. Soit $n\in \N^*$ et notons $\mu_{n}(\C)$ l'ensemble des racines $n^\textrm{èmes}$ de l'unité dans~$\C$. On a
\begin{align*}
u^n + \abs{y}_{\infty}^n =\abs{X-\alpha}_{x}^n + \abs{y}_{\infty}^n
&\ge \abs{(X-\alpha)^n - y^n}_{x}\\
& \ge \prod_{\zeta \in \mu_{n}(\C)} \abs{X-\alpha - \zeta y}_{x}\\
& \ge \abs{X - \alpha - y}_{x} \, u^{n-1}.
\end{align*}
En divisant par~$u^{n-1}$ et en faisant tendre~$n$ vers l'infini, on en déduit que $\abs{X - \alpha - y}_{x} \le u$, d'où $\abs{X -\alpha - y}_{x} = u$.

En partant de ce résultat, une récurrence immédiate montre que, pour tout $m\in \N$, on a
\[ \abs{X - \alpha - m y}_{x} = \abs{X - \alpha}_{x}.\]
Or, $\abs{m y}_{x} = \abs{m y}_{\infty}$ tend vers l'infini quand $m$ tend vers l'infini, d'où une contradiction.

Nous venons de montrer que $\abs{X - \alpha}_{x} = 0$.

Soit $P(X) \in \C[X]$. Le polynôme $P(X) - P(\alpha)$ étant divisible par~$X-\alpha$, par multiplicativité de~$\va_{x}$, on a $\abs{P(X)-P(\alpha)}_{x} = 0$. Par l'inégalité triangulaire, on obtient alors
\[ \abs{P(X)}_{x} = \abs{P(\alpha)}_{x} = \abs{P(\alpha)}_{\infty},\]
ce qu'il fallait démontrer.
\end{proof}

\subsection{De nouveaux points}

Hormis les points associés aux éléments de~$k$ ou d'une clôture algébrique, la droite de Berkovich $\Aunk$ contient encore bien d'autres points, de nature très différente. L'exemple le plus typique est donné par l'application
\[ \va_{G} \colon P = \sum_{i} c_{i} X^i \in k[X] \mapstoo \max_{i} (\abs{c_{i}}) \in \R_{\ge 0}.\]

\begin{lemm}\label{lem:vaG}
L'application $\va_{G}$ est une valeur absolue (ultramétrique) sur~$k[X]$ étendant la valeur absolue donnée sur~$k$.
\end{lemm}
\begin{proof}
On vérifie directement les propriétés suivantes sur la définition:
\begin{enumeratei}
\item $\forall P,Q\in k[X]$, $\abs{P+Q}_{G} \le \max(\abs{P}_{G} , \abs{Q}_{G}) \le \abs{P}_{G} + \abs{Q}_{G}$ ;
\item $\forall P,Q\in k[X]$, $\abs{PQ}_{G} \le \abs{P}_{G} \, \abs{Q}_{G}$ ;
\item $\forall a\in k$, $\abs{a}_{G} = \abs{a}$ ;
\item $\forall a\in k$, $\forall P\in k[X]$, $\abs{aP}_{G} = \abs{a}\, \abs{P}_{G}$ ;
\item $\forall P \in k[X]$, $\abs{P}_{G} = 0\Leftrightarrow P=0$.
\end{enumeratei}
\noindent
Il reste à montrer la multiplicativité de~$\va_{G}$.

Soient $P,Q \in k[X]$. Il existe $a,b \in k$ et $P_{0},Q_{0} \in k[X]$ avec $\abs{P_{0}}_{G} = \abs{Q_{0}}_{G} =1$ tels que $P=aP_{0}$ et $Q=bQ_{0}$. D'après la propriété~iv), il suffit de démontrer que $\abs{P_{0}Q_{0}}_{G} = \abs{P_{0}}_{G} \, \abs{Q_{0}}_{G}$.

Remarquons que les polynômes~$P_{0}$ et~$Q_{0}$ appartiennent à $k^\circ [X]$. Considérons l'application de réduction $\red \colon k^\circ \to k^\circ/k^{\circ\circ} = \tilde k$. C'est un morphisme d'anneaux. Elle induit un morphisme d'anneaux $k^\circ[X] \to \tilde k [X]$, que nous noterons identiquement. Remarquons que, pour tout $R \in k^\circ[X]$, on a
\[ \abs{R}_{G} = 1 \iff \red(R) = 0.\]
En particulier, on a $\red(P_{0}) \ne 0$ et $\red(Q_{0})\ne 0$.
Puisque $\tilde k$ est un corps, l'anneau $\tilde k[X]$ est intègre, et on a donc
\[ \red(P_{0}Q_{0}) = \red(P_{0}) \red(Q_{0}) \ne 0,\]
d'où $\abs{P_{0}Q_{0}}_{G}=1 = \abs{P_{0}}_{G} \, \abs{Q_{0}}_{G}$, comme désiré.
\end{proof}

\begin{defi}
On appelle \emph{point de Gau\ss} le point de la droite de Berkovich~$\Aunk$ associé à la valeur absolue~$\va_{G}$ sur~$k[X]$. On le note~$\eta_{G}$.
\end{defi}

\begin{rema}
Soit $R \in \Z[X]$. Rappelons qu'on définit le contenu~$c(R)$ de~$R$ comme le pgcd de ses coefficients. Il existe $R_{0} \in \Z[X]$ tel que $R = c(R) \, R_{0}$ et $c(R_{0})=1$.

Soit $p$ un nombre premier et supposons que $k=\Q_{p}$. Soit $R \in \Z[X]$. Si $c(R)=1$, alors les coefficients de~$R$ ne peuvent être tous divisibles par~$p$ et l'on a donc $\abs{R}_{G} =1$. En général, en factorisant le contenu comme ci-dessus, on montre que
\[ \abs{R}_{G} = \abs{c(R)}_{G} = \abs{c(R)}_{p}.\]
La multiplicativité de~$\va_{G}$ se traduit donc par le fait que, pour tous $P,Q \in \Z[X]$, on a
\[ \abs{c(PQ)}_{p} = \abs{c(P)}_{p} \, \abs{c(Q)}_{p} = \abs{c(P) c(Q)}_{p}.\]
En particulier, les entiers $c(PQ)$ et $c(P)c(Q)$ sont divisibles par les mêmes puissances de~$p$.

En appliquant le résultat précédent pour tous les nombres premiers, on en déduit que les entiers $c(PQ)$ et $c(P)c(Q)$ possèdent la même factorisation en produit de nombres premiers, et donc, par unicité, que
\[c(PQ) = c(P)c(Q).\]
On retrouve ainsi une version du lemme de Gau\ss.
\end{rema}

La construction du point de Gau\ss{} peut se généraliser en ajoutant des paramètres. Pour $\alpha\in k$ et $r\in \R_{\ge0}$, considérons l'application
\[ \va_{\alpha,r} \colon P = \sum_{i} c_{i} (X-\alpha)^i \in k[X] \mapstoo \max_{i} (\abs{c_{i}} r^i) \in \R_{\ge 0}\]
(avec la convention $0^0=1$). Remarquons que l'on a $\va_{0,1} = \va_{G}$.

\begin{lemm}
L'application $\va_{\alpha,r}$ est une semi-norme (ultramétrique) multiplicative sur~$k[X]$ étendant la valeur absolue donnée sur~$k$.

\begin{itemize}
\item
Si $r=0$, on a $\va_{\alpha,0} = \va_{\alpha}$ (semi-norme associée au point~$\alpha$).

\item
Si $r>0$, $\va_{\alpha,r}$ est une valeur absolue.
\end{itemize}
\end{lemm}
\begin{proof}
Comme pour $\va_{G}$, l'inégalité triangulaire, la sous-multiplicativité et le fait que~$\va_{\alpha,r}$ étende~$\va$ découlent directement des définitions, tout comme les commentaires finaux.

Il reste à démontrer que, pour tous $P,Q \in k[X]$, on a
\[ \abs{PQ}_{\alpha,r} \ge \abs{P}_{\alpha,r} \, \abs{Q}_{\alpha,r}.\]
Soient $P,Q \in k[X]$. Si $P$ ou $Q$ est nul, le résultat est évident et nous pouvons donc supposer que tel n'est pas le cas. Notons
\[ P = \sum_{i} c_{i} (X-\alpha)^i, \ Q = \sum_{j} d_{j} (X-\alpha)^j \textrm{ et } PQ = \sum_{\ell} e_{\ell} (X-\alpha)^\ell.\]
Posons
\[ i_{0} := \min(\{ i : \abs{c_{i}}r^i = \abs{P}_{\alpha,r} \}) \textrm{ et } j_{0} := \min(\{ j : \abs{d_{j}}r^j = \abs{Q}_{\alpha,r} \}).\]
Posons $\ell_{0} := i_{0}+j_{0}$. Considérons le coefficient de degré $\ell_{0}$ de $PQ$, autrement dit
\[ e_{\ell_{0}} = \sum_{i+j=i_{0}+j_{0}} c_{i}d_{j},\]
et calculons sa valeur absolue.
Soit $(i,j)$ tel que $i+j = \ell_{0}$.
\begin{itemize}
\item
Supposons que $(i,j) = (i_{0},j_{0})$. Alors
\[\abs{c_{i_{0}} d_{j_{0}}} = \abs{P}_{\alpha,r} r^{-i_{0}} \abs{Q}_{\alpha,r} r^{-j_{0}} = \abs{P}_{\alpha,r} \abs{Q}_{\alpha,r} r^{-\ell_{0}}.\]

\item
Supposons que $(i,j) \ne (i_{0},j_{0})$. Puisque $i+j = \ell_{0} = i_{0} +j_{0}$, on a soit $i<i_{0}$, auquel cas $\abs{c_{i}} < \abs{P}_{\alpha,r} r^{-i}$, soit $j<j_{0}$, auquel cas $\abs{d_{j}} < \abs{Q}_{\alpha,r} r^{-j}$. Par ailleurs, les égalités larges correspondantes sont toujours vérifiées, par définition de $ \abs{P}_{\alpha,r}$ et $\abs{Q}_{\alpha,r}$. On en déduit que
\[\abs{c_{i} d_{j}} < \abs{P}_{\alpha,r} r^{-i} \abs{Q}_{\alpha,r} r^{-j} = \abs{P}_{\alpha,r} \abs{Q}_{\alpha,r} r^{-\ell_{0}}.\]
Les propriétés de l'inégalité triangulaire ultramétrique assurent alors
\[ \abs{e_{\ell_{0}}} = \abs{P}_{\alpha,r} \abs{Q}_{\alpha,r} r^{-\ell_{0}},\]
d'où
\[ \abs{PQ}_{\alpha,r} \ge \abs{e_{\ell_{0}}} r^{\ell_{0}} \ge \abs{P}_{\alpha,r} \abs{Q}_{\alpha,r}.\qedhere
\]
\end{itemize}
\end{proof}

\begin{defi}
Pour $\alpha \in k$ et $r\in \R_{\ge 0}$, on appelle \emph{point de Gau\ss{} de centre~$\alpha$ et de rayon~$r$} le point de la droite de Berkovich~$\Aunk$ associé à la semi-norme multiplicative~$\va_{\alpha,r}$ sur~$k[X]$. On le note~$\eta_{\alpha,r}$.
\end{defi}

À cause de l'inégalité ultramétrique, des couples $(\alpha,r)$ différents peuvent définir le même point de~$\Aunk$. On peut caractériser les cas d'égalité et, plus généralement, écrire des conditions explicites sous lesquelles les semi-normes associées sont comparables.

Remarquons que l'on dispose d'une relation d'ordre sur les semi-normes, vues en tant que fonctions sur $k[X]$. Nous transférons cette relation aux points de la droite de Berkovich. Précisément, pour $x,y \in\Aunk$, on note $x\le y$ si $\va_{x} \le \va_{y}$, c'est-à-dire
\[ \forall P \in k[X],\ \abs{P}_{x} \le \abs{P}_{y}.\]

\begin{lemm}\label{lem:egaliteeta}
Soient $\alpha,\beta \in k$ et $r,s \in \R_{\ge 0}$. On a
\[ \eta_{\alpha,r} \le \eta_{\beta,s} \iff r\le s \textrm{ et } \abs{\beta-\alpha} \le s.\]

En particulier, on a
\[ \eta_{\alpha,r} = \eta_{\beta,s} \iff r=s \textrm{ et } \abs{\beta-\alpha} \le s.\]
\end{lemm}
\begin{proof}
Supposons que $\eta_{\alpha,r} \le \eta_{\beta,s}$.

On a $\abs{T-\beta}_{\beta,s} = s$
et
\[ \abs{T-\beta}_{\alpha,r} = \abs{(\alpha-\beta) + T-\alpha}_{\alpha,r} = \max(\abs{\alpha-\beta},r),\]
d'où
\[ s \ge \max(\abs{\alpha-\beta},r).\]

Réciproquement, supposons que $r\le s$ et $\abs{\beta-\alpha} \le s$.
Soit $P \in k[X]$. Écrivons-le sous la forme $P = \sum_{i} c_{i} (T-\beta)^i$. D'après l'inégalité triangulaire ultramétrique, on a
\[ \abs{P}_{\alpha,r} \le \max_{i} \big( \abs{c_{i}} \, \abs{T-\beta}^i_{\alpha,r}\big).\]
De plus, on a
\[ \abs{T-\beta}_{\alpha,r} = \abs{(\alpha-\beta) + T-\alpha}_{\alpha,r} = \max(\abs{\alpha-\beta},r)\le s.\]
En utilisant la multiplicativité de~$\va_{\alpha,r}$, on obtient
\[ \abs{P}_{\alpha,r} \le \max_{i} ( \abs{c_{i}} s^i) \le \abs{P}_{\beta,s}.\qedhere
\]
\end{proof}

Les conditions qui apparaissent dans l'énoncé du lemme~\ref{lem:egaliteeta} coïncident avec celles qui traduisent l'inclusion ou l'égalité entre les disques fermés $\oD(\alpha,r)$ et $\oD(\beta,s)$ sur un corps ultramétrique. Autrement dit, plus qu'au couple $(\alpha,r)$, le point~$\eta_{\alpha,r}$ est associé au disque $\oD(\alpha,r)$. On peut y penser comme à une sorte de \og point générique \fg{} de ce disque. Le résultat qui suit confirme cette idée. Nous y reviendrons plus tard, \cf~section~\ref{sec:racines}.

\begin{lemm}\label{lem:alpharsup}
Supposons que $\tilde k$ soit infini. Soient $\alpha\in k$ et $r\in \abs{k^\ast}$. Alors, pour tout $P\in k[T]$, on a
\[ \abs{P}_{\alpha,r} = \sup ( \{ \abs{P(z)} : z \in \oD(\alpha,r)\} ).\]
\end{lemm}
\begin{proof}
Soit $\lambda \in k$ tel que $\abs{\lambda} = r$. Considérons l'application
\[ \varphi \colon z \in k \mapstoo \lambda \, (z+\alpha) \in k.\]
Elle établit une bijection entre les disques fermés $\oD(\alpha,r)$ et $\oD(0,1)$ et on a donc
\[ \sup ( \{ \abs{P(z)} : z \in \oD(\alpha,r)\} ) = \sup ( \{ \abs{P(\varphi(z))} : z \in \oD(0,1)\} ).\]
En outre, on vérifie directement sur les définitions que l'on a
\[ \abs{P}_{\alpha,r} = \abs{P \circ \varphi}_{0,1} = \abs{P \circ \varphi}_{G}.\]
Par conséquent, quitte à remplacer~$P$ par $P\circ \varphi$, on peut supposer que $\alpha=0$ et $r=1$.

Si le polynôme~$P$ est nul, le résultat est immédiat. Supposons donc que tel n'est pas le cas. Alors, il existe $c \in k^\ast$ tel que $\abs{P}_{G} = \abs{c}$. Posons $Q := c^{-1} P$.

On a alors $\abs{Q}_{G} = \abs{c}^{-1} \abs{P}_{G} = 1$ et, pour tout $z\in k$, $\abs{Q(z)} = \abs{c}^{-1} \abs{P(z)}$. Par conséquent, quitte à remplacer~$P$ par~$Q$, on peut supposer que $\abs{P}_{G}=1$.

Comme dans la preuve du lemme~\ref{lem:vaG}, considérons l'application de réduction $\red \colon k^\circ[X] \to \tilde k[X]$. Par hypothèse, on a $\red(P) \ne 0$. Puisque $\tilde k$ est infini, il existe $u \in \tilde k$ tel que $\red(P)(u) \ne 0$. Soit $z \in k^\circ$ tel que $\red(z)=u$. On a
\[ \red(P(z)) = \red(P)(\red(z)) \ne 0,\]
d'où $\abs{P(z)} = 1$.
\end{proof}

\begin{rema}
La situation du lemme~\ref{lem:alpharsup}, où la norme sup sur un disque fournit une valeur absolue sur~$k[X]$ est très spécifique au cas ultramétrique. Le résultat analogue sur~$\C$ muni de la valeur absolue usuelle est faux, comme on le voit sur l'exemple
\[ \norm{z+1}_{\oD(0,1)} = \norm{z-1}_{\oD(0,1)} = \norm{z^2-1}_{\oD(0,1)} = 2.\]
\end{rema}

Le lemme~\ref{lem:egaliteeta} nous permet de dessiner l'ensemble des points~$\eta_{\alpha,r}$, avec $\alpha\in k$ et $r\in\R_{\ge0}$. Ils se présentent naturellement sous forme d'arbre, \cf~figure~\ref{fig:123}. Remarquons que les points de branchement correspondent exactement aux plus petits disques contenant deux éléments distincts de~$k$. Leur rayon doit donc être égal à la distance entre deux tels éléments, et donc appartenir à~$|k^\ast|$.

\begin{figure}[htb]
\centering
\includegraphics[height=7cm]{DroiteBerko.pdf}
\caption{La droite de Berkovich sur~$\C(\!(t)\!)$}
\label{fig:123}
\end{figure}

\subsection{Classification des points}\label{sec:classification}

Nous avons expliqué comment définir des points de la droite de Berkovich $\Aunk$ à partir de points de~$k$ (ou d'extensions de~$k$) ou de disques. En général, il existe encore d'autres types de points. Montrons-le sur un exemple.

Partons du corps des séries de Laurent
\[ \C(\!(t)\!) := \Bigl\{ \textstyle\sum_{\substack{i\in \Z\\ i \ge m}} a_{i} t^i : a_{i} \in \C, m \in \Z \Bigr\}.\]
Munissons-le de la valeur absolue $t$-adique~$\va$ normalisée par $\abs{t}=r$, pour un certain $r\in \intoo{0,1}$.

Il admet comme clôture algébrique le corps des séries de Puiseux
\[ \bigcup_{n\in \N^*} \C(\!(t^{1/n})\!) = \Bigl \{
\textstyle\sum_{\substack{i\in \Z\\ i \ge m}} a_{i} t^{i/n} : a_{i} \in \C, m \in \Z, n\in \N^* \Bigr\}.\]
La valeur absolue~$\va$ s'y étend de façon unique.

Nous pouvons encore considérer le complété $\overline{ \bigcup_{n\in \N^*} \C(\!(t^{1/n})\!) }$ de ce corps, connu sous le nom de corps de Levi-Civita. Ses éléments peuvent être caractérisés comme les séries dont les troncations sont des troncations de séries de Puiseux. En d'autres termes, ce sont les séries de la forme
\[ \sum_{q\in \Q} a_{q} t^q \]
qui ne possèdent qu'un nombre fini de coefficients d'indice inférieur à~$N$ pour tout $N\in \N$. La valeur absolue~$\va$ s'étend à $\overline{ \bigcup_{n\in \N^*} \C(\!(t^{1/n})\!) }$ de façon unique, en faisant un corps complet et algébriquement clos.

Les constructions précédentes sont classiques, mais nous pouvons encore poursuivre! Pour ce faire, considérons l'ensemble~$\C(\!(t^\Q)\!)$ des séries de Hahn, c'est-à-dire des séries de la forme
\[ f = \sum_{q\in \Q} a_{q} t^q \]
dont le support
\[ \Supp(f) := \{q\in \Q : a_{q} \ne 0\}\]
est un ensemble bien ordonné: toute partie non vide possède un plus petit élément. L'addition, la multiplication, le passage à l'inverse (pour les éléments non nuls) sur les séries de Laurent (et de Puiseux) s'étendent naturellement à $\C(\!(t^\Q)\!)$ et en font un corps. L'unique difficulté réside dans la démonstration du fait que la multiplication est bien définie. Le résultat suivant en fournit la clé.

\begin{lemm}
Soient $f = \sum_{i\in \Q} a_{i} t^i$ et $g = \sum_{j\in \Q} b_{j} t^j$ des éléments de $\C(\!(t^\Q)\!)$. Pour tout $q\in \Q$, l'ensemble
\[\{ i \in \Q : a_{i} \ne 0 \textrm{ et } b_{q-i} \ne 0\}\]
est fini.
\end{lemm}
\begin{proof}
Soit $q\in \Q$. Supposons, par l'absurde, que l'ensemble $\{ i \in \Q : a_{i} \ne 0 \textrm{ et } b_{q-i} \ne 0\}$ est infini. On peut en extraire une suite $(i_{n})_{n\in \N}$ strictement monotone. Distinguons deux cas.

Supposons que la suite $(i_{n})_{n\in \N}$ est strictement décroissante. Alors, elle ne possède pas de plus petit élément, et le support de~$f$ ne peut être bien ordonné. On aboutit donc à une contradiction.

Supposons que la suite $(i_{n})_{n\in \N}$ est strictement croissante. Alors, la suite $(q-i_{n})_{n\in\N}$ est strictement décroissante et on obtient une contradiction, comme dans le cas précédent, en considérant le support de~$g$.
\end{proof}

La valeur absolue~$\va$ s'étend encore de façon unique à $\C(\!(t^\Q)\!)$. De façon explicite, pour $f = \sum_{q\in \Q} a_{q} t^q \in \C(\!(t^\Q)\!) \setminus \{0\}$, on a
\[ \abs{f} = r^{\min(\Supp(f))}.\]
Cette quantité est bien définie, puisque le support de~$f$ est bien ordonné. On vérifie que le corps $\C(\!(t^\Q)\!)$ est complet et algébriquement clos.

En utilisant le corps $\C(\!(t^\Q)\!)$, on peut facilement construire des points de $\E{1}{\C(\!(t)\!)}$ qui ne sont pas des points de Gau\ss. Par exemple, posons\vspace*{-3pt}
\[ \sigma := \sum_{n\ge 1} t^{1-\sfrac1n} \]
et considérons l'application\vspace*{-3pt}
\[ \va_{\sigma} \colon P \in \C(\!(t)\!)[X] \mapstoo \abs{P(\sigma)} \in \R_{\ge 0}.\]
C'est une valeur absolue sur $ \C(\!(t)\!)[X]$ et elle définit donc un point de~$\E{1}{ \C(\!(t)\!)}$. Dans $\C(\!(t^\Q)\!)$, l'élément $\sigma$ appartient à l'intersection de disques\vspace*{-3pt}
\[ \bigcap_{m\ge 1} \oD\big(\sum_{n= 1}^m t^{1-\sfrac1n}, r^{1-\spfrac1{m+1}}\big),\]
mais, dans le corps des séries de Puiseux, ou son complété, cette intersection est vide. On obtient donc ainsi un nouveau point de $\E{1}{\C(\!(t)\!)}$.

La construction précédente peut se généraliser en partant d'une suite décroissante de points de Gau\ss. Pour une telle suite\vspace*{-3pt}
\[
\cE = (\eta_{\alpha_{n},r_{n}})_{n\in \N},
\]
posons\vspace*{-3pt}
\[ \va_{\cE} \colon P \in k[T] \mapstoo \inf_{n\in \N} (\abs{P}_{\alpha_{n},r_{n}}) \in \R_{\ge 0}.\]
Puisque la suite de semi-normes $(\va_{\alpha_{n},r_{n}})_{n\in \N}$ est décroissante, on a
\[\forall P\in k[X],\ \inf_{n\in \N} (\abs{P}_{\alpha_{n},r_{n}}) = \lim_{n\in \N} (\abs{P}_{\alpha_{n},r_{n}}).\]
On en déduit que l'inégalité triangulaire et la multiplicativité sont préservées. L'application~$\va_{\cE}$ est donc une semi-norme multiplicative sur~$k[X]$. Notons $\eta_{\cE}$ le point de~$\Aunk$ associé.

\begin{prop}\label{prop:suitedecroissante}
Supposons que $k$ est algébriquement clos. Alors, tout point de~$\Aunk$ peut être défini par une suite décroissante de points de Gau\ss.
\end{prop}
\begin{proof}
Soit $x\in \Aunk$. Pour tout $\alpha\in k$, posons\vspace*{-3pt}
\[
r_{\alpha} := \abs{T-\alpha}_{x}.
\]
Soient $\alpha,\beta \in k$. Supposons que $r_{\alpha}\le r_{\beta}$. On a
\[ \abs{\beta-\alpha} = \abs{\beta-\alpha}_{x} \le \max ( \abs{T-\beta}_{x}, \abs{T-\alpha}_{x} ) \le r_{\beta}.\]
On en déduit que $\eta_{\alpha,r_{\alpha}} \le \eta_{\beta,r_{\beta}}$.
Posons $r := \inf_{\alpha\in k} (r_{\alpha})$.

\begin{itemize}
\item
Supposons qu'il existe $\gamma \in k$ tel que $r = r_{\gamma}$.

Montrons que $x = \eta_{\gamma,r_{\gamma}}$. Puisque $k$ est algébriquement clos, que $\va_{x}$ et~$\va_{\gamma,r_{\gamma}}$ sont multiplicatives et coïncident avec~$\va$ sur~$k$, il suffit de montrer que l'on a $\abs{P}_{x} = \abs{P}_{\gamma,r_{\gamma}}$ pour tout polynôme~$P$ unitaire de degré~1.

Soit $\alpha\in k$. On a
\[ \abs{T-\alpha}_{x} \le \max (\abs{\gamma-\alpha}, \abs{T-\gamma}_{x}) = \max (\abs{\gamma-\alpha},r_{\gamma}) = \abs{T-\alpha}_{\gamma,r_{\gamma}}.\]

D'autre part, on a $r_{\gamma} \le r_{\alpha}$, donc, d'après le résultat démontré au début de la preuve, $\eta_{\gamma,r_{\gamma}} \le \eta_{\alpha,r_{\alpha}}$, et donc
\[ \abs{T-\alpha}_{\gamma,r_{\gamma}} \le \abs{T-\alpha}_{\alpha,r_{\alpha}} = r_{\alpha} = \abs{T-\alpha}_{x}.\]

Nous avons montré que $x = \eta_{\gamma,r_{\gamma}}$, et $x$ peut donc s'exprimer comme limite d'une suite (constante) de points de Gau\ss.

\item
Supposons que, pour tout $\gamma \in k$, on a $r_{\gamma} > r$.

Soit $(\gamma_{n})_{n\in \N}$ une suite d'éléments de~$k$ telle que la suite $(r_{\gamma_{n}})_{n\in \N}$ soit décroissante et de limite~$r$. Posons $\cE := (\eta_{\gamma_{n},r_{\gamma_{n}}})_{n\in \N}$. Le raisonnement du début de la preuve montre que c'est une suite décroissante de points de Gau\ss.

Montrons que $\eta_{\cE} = x$. Comme précédemment, il suffit de montrer que l'on a $\abs{P}_{\cE} = \abs{P}_{x}$ pour tout polynôme~$P$ unitaire de degré~1.

Soit $\alpha\in k$. Pour tout $n\in \N$, on a
\[ \abs{T-\alpha}_{x} \le \max (\abs{\gamma_{n}-\alpha}, \abs{T-\gamma_{n}}_{x}) = \max (\abs{\gamma_{n}-\alpha},r_{\gamma_{n}}) = \abs{T-\alpha}_{\gamma_{n},r_{\gamma_{n}}}.\]
On en déduit que
\[ \abs{T-\alpha}_{x} \le \abs{T-\alpha}_{\cE}.\]

D'autre part, par hypothèse, il existe $n\in \N$ tel que $r_{\gamma_{n}} \le r_{\alpha}$. D'après le résultat démontré au début de la preuve, on a alors $\eta_{\gamma_{n},r_{\gamma_{n}}} \le \eta_{\alpha,r_{\alpha}}$, d'où
\[ \abs{T-\alpha}_{\cE} \le \abs{T-\alpha}_{\gamma_{n},r_{\gamma_{n}}} \le \abs{T-\alpha}_{\alpha,r_{\alpha}} = r_{\alpha} = \abs{T-\alpha}_{x}.\qedhere
\]
\end{itemize}
\end{proof}

Supposons que $k$ est algébriquement clos. Dans ce cadre, V.\,Berko\-vich a introduit la terminologie suivante:
\begin{itemize}
\item un point de la forme $\eta_{\alpha,0} = \alpha$, avec $\alpha\in k$, est dit de type~1;
\item un point de la forme $\eta_{\alpha,r}$, avec $\alpha\in k$ et $r\in |k^\ast|$, est dit de type~2;
\item un point de la forme $\eta_{\alpha,r}$, avec $\alpha\in k$ et $r\in \R_{>0} \setminus \abs{k^\ast}$, est dit de type~3;
\item les autres points sont dits de type~4.
\end{itemize}

Ainsi qu'il apparaît dans la preuve de la proposition~\ref{prop:suitedecroissante}, les points de type~4 peuvent s'obtenir à partir de suites décroissantes de disques fermés d'intersection vide. Remarquons que l'existence de ces points est directement liée aux particularités topologiques des corps ultramétriques. En effet, sur~$\R$ ou~$\C$, par compacité locale, toute suite décroissante de disques fermés contient un point dans son intersection.

Rappelons que nous avons représenté les points des trois premiers types sont la forme d'un arbre à la figure~\ref{fig:123}. La classification peut se retraduire en ces termes: les feuilles sont de type~1, les points de branchement de type~2 et les autres points de type~3.

Il reste à ajouter les points de type~4 à la figure. Leur définition à partir de suites décroissantes de disques fermés d'intersection vide montre qu'ils s'insèrent en tant que feuilles de l'arbre. En particulier, on dispose d'une structure d'arbre sur~$\Aunk$ tout entier.

La proposition~\ref{prop:suitedecroissante} et la description explicite des points de~$\Aunk$ qu'on en tire ne valent que lorsque le corps de base~$k$ est algébriquement clos. Cependant, il arrive souvent que les conséquences qu'on en déduit restent valables en général. Tel est, par exemple, le cas pour la structure d'arbre de la droite de Berkovich.

L'outil principal pour démontrer ce type de résultats est l'extension des scalaires, qui permet de relier la droite de Berkovich sur~$k$ à la droite de Berkovich sur une extension valuée~$K$ (par exemple le complété d'une clôture algébrique de~$k$). Remarquons que la restriction des semi-normes de~$K[X]$ à~$k[X]$ induit une application
$ \pi_{K/k} \colon \E{1}{K} \to \E{1}{k}$.

\begin{prop}\label{prop:Kk}
Soit $K$ une extension valuée de~$k$. L'application naturelle
\[ \pi_{K/k} \colon \E{1}{K} \to \E{1}{k}\]
est continue et surjective.
\qed
\end{prop}

\subsection{Topologie}

Intéressons-nous maintenant plus précisément à la topologie de~$\Aunk$. Commençons par montrer que les intervalles que nous avons tracés sur la figure~\ref{fig:123} correspondent bien à des intervalles réels.

\begin{lemm}\label{lem:demi-droite}
Soit $\alpha\in k$. L'application
\[ r\in \R_{\ge 0} \mapstoo \eta_{\alpha,r} \in \Aunk\]
induit un homéomorphisme sur son image.
\end{lemm}
\begin{proof}
Notons~$\varphi$ l'application de l'énoncé. Pour montrer que~$\varphi$ est continue, par définition de la topologie, il suffit de montrer que, pour tout $P \in k[T]$, l'application
\[ r\in \R_{\ge 0} \mapstoo \abs{P}_{\alpha,r} \in \R_{\ge 0}\]
est continue. Cela découle de la définition de~$\va_{\alpha,r}$.

Considérons la fonction
\[x \in \Aunk \mapstoo \abs{T-\alpha}_{x} \in \R_{\ge 0}.\]
Elle est continue par définition de la topologie de~$\Aunk$ et sa restriction à $\Im(\varphi)$ définit un inverse de~$\varphi$. Le résultat s'ensuit.
\end{proof}

Démontrons maintenant le premier résultat topologique fondamental sur la droite de Berkovich: elle est connexe par arcs. Ce résultat est d'autant plus frappant que, rappelons-le, le corps~$k$ lui-même est totalement discontinu!

\begin{prop}\label{prop:A1kcpa}
La droite de Berkovich $\Aunk$ est connexe par arcs.
\end{prop}
\begin{proof}
D'après la proposition~\ref{prop:Kk}, il suffit de démontrer le résultat pour~$\E{1}{K}$, où $K$ est une extension valuée de~$k$. On peut donc supposer que~$k$ est algébriquement clos (en choisissant pour~$K$ le complété d'une clôture algébrique de~$k$).

Soient $x,y \in \Aunk$ de type~$1$, $2$ ou $3$. On peut alors écrire $x = \eta_{\alpha,r}$ et $y = \eta_{\beta,s}$ avec $\alpha,\beta \in k$ et $r,s\in\R_{\ge 0}$. Posons $t := \max(r,s)$. Le lemme~\ref{lem:demi-droite} permet de construire un chemin de~$x$ à~$\eta_{\alpha,t}$ et un chemin de~$y$ à~$\eta_{\beta,t}$. Or, d'après le lemme~\ref{lem:egaliteeta}, on a $\eta_{\alpha,t} = \eta_{\beta,t}$, ce qui permet de construire un chemin entre~$x$ et~$y$.

Pour conclure la preuve, il suffit maintenant de montrer que tout point de type~$4$ peut être relié par un chemin continu à un point de type~$2$ ou~$3$. Soit $x \in \Aunk$ de type~$4$. Il existe alors une suite décroissante de points de Gau\ss{} $\cE = (\eta_{\alpha_{n},r_{n}})_{n\in \N}$ telle que $x = \eta_{\cE}$. La suite $(r_{n})_{n\in \N}$ est décroissante. Notons $r$ sa limite. Considérons l'application
\begin{align*}
f \colon \intff{r,r_{0}} & \too \Aunk\\
r & \mapstoo  x\\
s > r & \mapstoo  \eta_{\alpha_{n},s} \quad\text{si } s \ge r_{n}.
\end{align*}
On vérifie qu'elle est bien définie (au sens où le point $\eta_{\alpha_{n},s}$ de la dernière ligne ne dépend pas du choix de~$n$) et continue. Nous avons donc construit un chemin continu entre~$x$ et le point~$\eta_{\alpha_{0},r_{0}}$. Ceci conclut la preuve.
\end{proof}

On peut obtenir un résultat plus précis par le même genre d'arguments, combinés avec un contrôle plus précis de l'application d'extension des scalaires vue à la proposition~\ref{prop:Kk}.

\begin{prop}\label{prop:arbre}
La droite de Berkovich~$\Aunk$ possède une structure d'arbre: deux points distincts sont reliés par un unique chemin injectif.
\qed
\end{prop}

Intéressons-nous maintenant aux propriétés de compacité de la droite de Berkovich. Rappelons que, en général, le corps~$k$ n'est pas localement compact.

Introduisons une notation pour les disques fermés au sens de Berkovich. Pour $r \in \R_{\ge 0}$, posons
\[\D^1_{k}(r) := \{x \in \Aunk : \abs{X}_{x} \le r\}.\]

\begin{prop}\label{prop:localementcompacte}
La droite de Berkovich $\Aunk$ est séparée, union dénom\-brable de compacts et localement compacte.

Pour tout $r\in \R_{\ge 0}$, le disque fermé $\D^1_{k}(r)$ est compact.
\end{prop}
\begin{proof}
Commençons par la propriété de séparation. Soient $x,y\in \Aunk$ avec $x\ne y$. Il existe alors $P\in k[X]$ tel que $\abs{P}_{x} \ne \abs{P}_{y}$. Quitte à échanger~$x$ et~$y$, on peut supposer que $\abs{P}_{x} < \abs{P}_{y}$. Soit $r\in \intoo{\abs{P}_{x} , \abs{P}_{y}}$. Posons
\[ U_{x} := \{ z \in \Aunk : \abs{P}_{x} < r\} \quand U_{y} := \{ z \in \Aunk : \abs{P}_{y} > r\}.\]
Ce sont deux ouverts disjoints de $\Aunk$ qui contiennent respectivement~$x$ et~$y$. On en déduit que la droite $\Aunk$ est séparée.
Montrons maintenant que les disques fermés sont compacts. Soit $r \in \R_{\ge 0}$.

Remarquons que, pour tout $x\in \D^1_{k}(r)$ et tout $P = \sum_{i} c_{i} T^i \in k[X]$, on a
\[ \abs{P}_{x} \le \max_{i} (\abs{c_{i}} \abs{T_{x}}^i) \le \max_{i} (\abs{c_{i}}r^i) = \abs{P}_{0,r}.\]
Considérons l'ensemble $E := \prod_{P\in k[T]} \intff{0,\abs{P}_{0,r}}$ muni de la topologie produit. Notons~$F$ le sous-ensemble de~$E$ formé des éléments $(z_{P})_{P\in k[X]}$ satisfaisant les conditions suivantes:
\[\begin{cases}
\forall P,Q \in k[X],\ z_{P+Q} \le \max(z_{P},z_{Q}) ;\\
\forall P,Q \in k[X],\ z_{PQ} = z_{P} \, z_{Q} ;\\
\forall a\in k,\ z_{a} = \abs{a}.
\end{cases}\]
Considérons l'application
\[ v \colon x \in \D^1_{k}(r) \mapstoo (\abs{P}_{x})_{P\in k[T]} \in \prod_{P\in k[T]} \R_{\ge 0}.\]
D'après la remarque ci-dessus, elle prend ses valeurs dans~$E$, et même dans~$F$. Il découle de la définition de semi-norme multiplicative que~$v$ induit une bijection entre~$\D^1_{k}(r)$ et~$F$. Par définition de la topologie sur~$\Aunk$, c'est un homéomorphisme.

Or, d'après le théorème de Tychonoff, $E$ est compact. Puisque~$F$ est fermé dans~$E$, il est également compact, et on en déduit que~$\D^1_{k}(r)$ est compact.

Pour montrer que la droite de Berkovich est union dénombrable de compacts, il suffit maintenant d'écrire
\[\Aunk = \bigcup_{n\in \N} \D^1_{k}(n).\]

Montrons finalement que $\Aunk$ est localement compacte. Soit $x\in \Aunk$ et soit $U$ un voisinage de~$x$ dans~$\Aunk$. Par définition de la topologie, il existe
\[
u \in \N,\quad P_{1},\dotsc, P_{u} \in k[X],\quad r_{1},\dotsc,r_{u},s_{1},\dotsc,s_{u} \in \R
\]
tels que
\[ V_{x} := \bigcap _{1\le i\le u} \{ z \in \Aunk : r_{i} < \abs{P_{i}}_{z} < s_{i}\}\]
soit un voisinage de~$x$ contenu dans~$U$.

Remarquons que, pour tout $i \in \cn{1}{u}$, on a $r_{i} < \abs{P_{i}}_{x} < s_{i}$. Pour tout $i \in \cn{1}{u}$, choisissons $r'_{i},s'_{i} \in \R$ tels que
\[ r_{i} < r'_{i} < \abs{P_{i}}_{x} < s'_{i} < s_{i}.\]
Alors,
\[ V'_{x} := \bigcap _{1\le i\le u} \{ z \in \Aunk : r'_{i} \le \abs{P_{i}}_{z} \le s'_{i}\}\]
est encore un voisinage de~$x$ contenu dans~$U$.

Posons $t := \abs{T}_{x}+1$ et considérons $W_{x} := V'_{x} \cap \D^1_{k}(t)$. C'est encore un voisinage de~$x$ contenu dans~$U$. Puisque~$\D^1_{k}(t)$ est compact et~$V'_{x}$ est fermé, $W_{x}$ est compact.
\end{proof}

La preuve précédente, basée sur le théorème de Tychonoff, est efficace, mais peu éclairante. Afin d'acquérir une meilleure intuition de la compacité locale, nous allons décrire des bases de voisinages du point de Gau\ss, \cf~figure~\ref{fig:voisinage} pour une représentation graphique.

\begin{lemm}\label{lem:voisinageetaG}
Supposons que $k$ est algébriquement clos. Alors l'ensemble des parties de la forme
\[ \{x \in \E{1}{k} : r < \abs{X}_{x} < s\} \cap \bigcap_{1\le i\le m} \{x \in \E{1}{k} : \abs{X-\alpha_{i}}_{x} > t\},\]
avec $m \in \N$, $\alpha_{1},\dotsc,\alpha_{m} \in k^\circ \setminus k^{\circ\circ}$, $r,t \in \intoo{0,1}$, $s\in \intoo{1,+\infty}$, constitue une base de voisinages ouverts de~$\eta_{G}$ dans~$\Aunk$.
\end{lemm}
\begin{proof}
Commençons par remarquer que, par \hbox{définition}~de~$\eta_{G}$ et de la topologie de~$\Aunk$, les parties de l'énoncé sont bien des voisinages de~$\eta_{G}$ dans~$\Aunk$. Il reste à montrer qu'elle forment une base de voisinage.

Par définition de la topologie, on obtient un système fondamental de voisinages de~$\eta_{G}$ en considérant les intersections finies d'ensembles de la forme
\[O_{P,u,v} := \{x \in \Aunk : u < \abs{P}_{x} < v\}, \textrm{ avec } P\in k[X],\ u, v\in \R,\]
qui contiennent~$\eta_{G}$.

Montrons que tout ensemble $O_{P,u,v}$ qui contient~$\eta_{G}$ contient également un ensemble comme dans l'énoncé. Cela entraînera le résultat, puisque les ensembles de l'énoncé sont stables par intersection.

Soient $P \in k[X]$ et $u,v\in \R$ tels que $O_{P,u,v}$ contienne~$\eta_{G}$. Notons $\alpha_{1}^-, \dotsc,\alpha_{m^-}^-$ (\resp $\alpha_{1},\dotsc,\alpha_{m}$, \resp $\alpha^+_{1},\dotsc,\alpha^+_{m^+}$) les racines de~$P$ de valeur absolue strictement inférieure à~1 (\resp égale à~1, \resp strictement supérieure à~1), comptées avec multiplicité. Il existe $c\in k$ tel que
\[ P (X) = c \prod_{i^-=1}^{m^-} (X- \alpha^-_{i^-}) \prod_{i=1}^{m} (X- \alpha_{i}) \prod_{i^+=1}^{m^+} (X- \alpha^+_{i^+}).\]
Puisque $O_{P,u,v}$ contient~$\eta_{G}$, on a
\[ \abs{P}_{G} = \abs{c} \prod_{i^+=1}^{m^+} \abs{\alpha^+_{i^+}} \in \intoo{u,v}.\]

Posons $r := \max_{1\le i^-\le m^-} (\abs{\alpha_{i^-}})$. Soit $x\in \Aunk$ tel que $\abs{X}_{x} \in \intoo{r,1}$. On a alors
\[ \abs{P}_{x} = \abs{c} r^{m^-}\prod_{i^+=1}^{m^+} \abs{\alpha^+_{i^+}}.\]
Quitte à augmenter~$r$ (tout en gardant $r<1$), cette quantité appartient à~$\intoo{u,v}$, et $x$ appartient donc à~$O_{P,u,v}$.

De même, on montre qu'il existe $s \in \intoo{1,+\infty}$ tel que, pour tout $x\in \Aunk$ vérifiant $\abs{X}_{x} \in \intoo{1,s}$, on ait $x \in O_{P,u,v}$.

Soit $t\in \intoo{0,1}$. Soit $x\in \Aunk$ tel que $\abs{X}_{x} = 1$ et, pour tout $i\in \cn{1}{m}$, $\abs{X-\alpha_{i}}_{x} > t$. Remarquons que, pour tout $i\in \cn{1}{m}$, on a $\abs{X-\alpha_{i}}_{x} \le 1$, et donc
\[ \abs{c} t^{m}\prod_{i^+=1}^{m^+} \abs{\alpha^+_{i^+}} < \abs{P}_{x} \le \abs{c} \prod_{i^+=1}^{m^+} \abs{\alpha^+_{i^+}} .\]
Quitte à augmenter~$t$ (tout en gardant $t<1$), cette quantité appartient à~$\intoo{u,v}$, et $x$ appartient donc à~$O_{P,u,v}$.

En combinant les différents cas, nous avons montré que la partie
\[ \{x \in \E{1}{k} : r < \abs{X}_{x} < s\} \cap \bigcap_{1\le i\le m} \{x \in \E{1}{k} : \abs{X-\alpha_{i}}_{x} > t\}\]
est contenue dans~$O_{P,u,v}$.
\end{proof}

\begin{figure}[htb]
\centering
\includegraphics[height=6cm]{VoisinageGauss}
\caption{Un voisinage du point de Gau\ss}
\label{fig:voisinage}
\end{figure}

En termes de la structure d'arbre de~$\Aunk$, le lemme~\ref{lem:voisinageetaG} assure que tout voisinage du point de Gau\ss{} contient entièrement toutes les branches issues de ce point, à l'exception d'un nombre fini, \cf~figure~\ref{fig:voisinage}. On conçoit que de tels voisinages puissent engendrer une topologie localement compacte.

Remarquons aussi que, bien que~$\Aunk$ présente une structure d'arbre, sa topologie est strictement plus grossière que la topologie d'arbre (où les voisinages des points sont définis comme réunions de voisinages sur chaque branche).

Pour terminer, mentionnons que, lorsque le corps de base~$k$ est algébriquement clos, il est possible de décrire explicitement des bases de voisinages de chacun des points de~$\Aunk$. Nous regroupons ces résultats ci-dessous. La démonstration s'effectue par les mêmes méthodes que celles utilisées pour le lemme~\ref{lem:voisinageetaG} et nous ne nous y attarderons pas.

\begin{prop}\label{prop:voisinages}
Supposons que $k$ est algébriquement clos. Soit $x\in \Aunk$.

\begin{itemize}
\item
Supposons que $x$ est de type~$1$.

Il existe $\alpha \in k$ tel que $x=\alpha$ et l'ensemble des parties de la forme
\[ \{z \in \E{1}{k} : \abs{X-\alpha}_{z} < r\},\]
avec $r\!\in\!\R_{>0}$, constitue une base de voisinages ouverts de~$x$~dans~$\Aunk\!$.

\item
Supposons que $x$ est de type~$2$.

Il existe $\alpha \in k$ et $r\in \abs{k^\ast}$ tel que $x = \eta_{\alpha,r}$ et l'ensemble des parties de la forme
\[ \{z \in \E{1}{k} : u < \abs{X-\alpha}_{x} < v\} \cap \bigcap_{1\le i\le m} \{x \in \E{1}{k} : \abs{X-\alpha_{i}}_{x} > w\},\]
avec $m \in \N$, $\alpha_{1},\dotsc,\alpha_{m} \in k$ tels que $\abs{\alpha_{i}-\alpha}=r$, $u,w \in \intoo{0,r}$, $v\in \intoo{r,+\infty}$, constitue une base de voisinages ouverts de~$x$ dans~$\Aunk$.

\item
Supposons que $x$ est de type~$3$.

Il existe $\alpha \in k$ et $r\notin \abs{k}$ tel que $x = \eta_{\alpha,r}$ et l'ensemble des parties de la forme
\[ \{z \in \E{1}{k} : u < \abs{X-\alpha}_{x} < v\},\]
avec $u \in \intoo{0,r}$, $v\in \intoo{r,+\infty}$, constitue une base de voisinages ouverts de~$x$ dans~$\Aunk$.

\item
Supposons que $x$ est de type~$4$.

Il existe une suite décroissante de points de Gau\ss{} $\cE = (\eta_{\alpha_{n},r_{n}})_{n\in \N}$ telle que $x = \eta_{\cE}$ et l'ensemble des parties de la forme
\[ \{z \in \E{1}{k} : \abs{X-\alpha_{n}}_{x} < r\},\]
avec $n\in \N$, $r\in \intoo{r_{n},+\infty}$, constitue une base de voisinages ouverts de~$x$ dans~$\Aunk$.
\qed
\end{itemize}
\end{prop}

\subsection{Variation des fonctions et polygone de Newton}

Considérons la demi-droite de~$\Aunk$ issue de 0:
\[I_{0} := \{ \eta_{0,r} : r\ge 0 \}.\]
Le but de cette section est d'étudier la variation de la valeur absolue d'un polynôme donné le long de~$I_{0}$.

D'après le lemme~\ref{lem:demi-droite}, l'application $\eta_{0,r} \mapsto r$ envoie homéomorphiquement l'ensemble~$I_{0}$ sur~$\intfo{0,+\infty}$. Dans la suite, nous identifierons ces deux ensembles.

\begin{prop}\label{prop:crn}
Soit $P \in k[X]$. Il existe $u \in \N$ et $0 = r_{0} < r_{1} < \dotsb < r_{u} < r_{u+1}= +\infty$ tels que, pour tout $i \in \cn{0}{u}$, on ait
\[\forall r \in \intfo{r_{i},r_{i+1}},\ \abs{P}_{0,r} = c_{i}\, r^{n_{i}},\]
avec $c_{i} \in \abs{k}$ et $n_{i} \in \N$. De plus, pour tout $i \in \cn{0}{u}$, $n_{i}$ est le nombre de racines de~$P$ (dans une clôture algébrique de~$k$) de valeur absolue inférieure ou égale à~$r_{i}$, comptées avec multiplicité.
\end{prop}
\begin{proof}
Notons $k^a$ le complété d'une clôture algébrique de~$k$ et considérons l'application naturelle $\pi_{k^a/k} \colon \E{1}{k^a} \to \E{1}{k}$, \cf~proposition~\ref{prop:Kk}. Pour tout $r\in \R_{\ge 0}$, le point $\eta_{0,r}$ de $\E{1}{k^a}$ est envoyé sur le point $\eta_{0,r}$ de $\E{1}{k^a}$. Par conséquent, quitte à remplacer~$k$ par~$k^a$, on peut supposer que~$k$ est algébriquement clos.

Notons $r_{1} < \dotsb < r_{u}$ les valeurs absolues des racines non nulles de~$P$. Posons $r_{0}:=0$ et $r_{u+1} := +\infty$. Notons~$d$ le degré de~$P$ et $\alpha_{1},\dotsc,\alpha_{d}$ ses racines, classées par ordre de valeur absolue croissant.
Soit $i \in \cn{0}{u}$. Posons
\[ n_{i} := \max(\{ j \in \cn{0}{d} : \abs{\alpha_{j}} \le r_{i}\}).\]
Soit $r\in \intfo{r_{i},r_{i+1}}$. Pour $j\in \cn{1}{d}$, on a
\[ \abs{T-\alpha_{j}}_{0,r} = \max(\abs{\alpha_{j}}, r) =
\begin{cases}
r & \textrm{si } j \le n_{i} ;\\
\abs{\alpha_{j}} & \textrm{si } j > n_{i}.
\end{cases}
\]
Le résultat s'ensuit par multiplicativité de~$\va_{0,r}$.
\end{proof}

\begin{figure}[htb]
\centering
\includegraphics[height=7cm]{P0r}
\caption{Variation de la valeur absolue d'un polynôme sur la branche issue de 0}
\label{fig:P0r}
\end{figure}

\begin{rema}
Lorsque $P$ n'est pas nul, les égalités de la proposition~\ref{prop:crn} peuvent s'écrire sous la forme
\[ \log(\abs{P}_{0,r}) = n_{i} \log(r) + \log(c_{i}).\]
Exprimée en coordonnées logarithmiques, la restriction de~$\abs{P}$ à~$I_{0}$ est donc une fonction affine par morceaux. L'interprétation des~$n_{i}$ montre qu'elle est convexe. En outre, les valeurs absolues des racines de~$P$ correspondent aux abscisses des points de changement de pente, le nombre de racines ayant cette valeur absolue étant donnée par la différence des pentes.

La restriction de~$\abs{P}$ à~$I_{0}$ contient donc les mêmes informations que le polygone de Newton de~$P$, avec un échange entre celles portées par les abscisses et les pentes. Plus formellement, ces deux fonctions sont reliées entre elles par la transformation de Legendre. Nous renvoyons au texte~\cite{ACLNewton} d'Antoine Chambert-Loir dans ce volume pour des précisions sur ces notions.
\end{rema}

\subsection{Limites de racines de l'unité}\label{sec:racines}

Dans cette section, nous allons étudier le comportement des racines $n^\textrm{èmes}$ de l'unité lorsque $n$ croît, dans les cas archimédien et ultramétrique.

Dans le cas complexe, comme on s'y attend, les racines de l'unité se répartissent uniformément sur le cercle unité. Le théorème suivant donne un sens précis à cet assertion. C'est un cas particulier d'un théorème de Yuri Bilu, \cf~\cite{BiluTori}.

Pour tout $n\in \N^*$, on note $\mu_{n}(\C)$ l'ensemble des racines $n^\textrm{èmes}$ de l'unité dans~$\C$.

\begin{theo}\label{th:Bilu}
Pour tout $f\in \cC(\C,\R)$, on a
\[ \lim_{n\to +\infty} \frac1n \sum_{z \in \mu_{n}(\C)} f(z) = \frac1{2\pi} \int_{0}^{2\pi} f(e^{i t}) \, \dt.\]
\end{theo}
\begin{proof}
Le résultat ne dépend que de la restriction à~$f$ au cercle unité $\U := \{z \in \C : \abs{z} = 1\}$. Il suffit donc de démontrer le résultat pour $f \in \cC(\U,\R)$.\OK D'après le théorème de Weierstra\ss{} dans sa version trigonométrique, les polynômes sont denses dans $\cC(\U,\R)$\OK pour la norme uniforme. Il suffit donc de démontrer le résul\-tat pour les polynômes et même, par linéarité, pour les puissances (positives et négatives) de la variable~$z$.

Soit $m\in \Z$. Si $m=0$, pour tout $n\in \N^*$, on a
\[ \frac1n \sum_{z \in \mu_{n}(\C)} z^0 = 1 = \frac1{2\pi} \int_{0}^{2\pi} z^0 \, \dt,\]
et le résultat est vrai.

Supposons que $m\ne 0$. Soit $n\in \N^*$. Notons $d$ le pgcd de~$n$ et~$m$. En écrivant
\[ \big(e^{\sfrac{2i \pi}n}\big)^m = \big(e^{\spfrac{2i \pi}{n/d}}\big)^{m/d},\]
on montre que la famille $(z^m)_{z \in \mu_{n}(\C)}$ contient exactement $d$ copies de la famille $(z^{m/d})_{z \in \mu_{n/d}(\C)}$. Puisque $m/d$ et $n/d$ sont premiers entre eux, la famille $(z^{m/d})_{z \in \mu_{n/d}(\C)}$ n'est autre que la famille $\mu_{n/d}(\C)$ elle-même, à l'ordre près. Or la somme des éléments de~$\mu_{q}(\C)$ est nulle, dès que $q \ge 2$. On en déduit que, si $n >m$, on a
\[ \frac1n \sum_{z \in \mu_{n}(\C)} z^m = 0.\]
D'autre part, on a
\[ \frac1{2\pi} \int_{0}^{2\pi} e^{i m t} \,\dt = \frac1{2\pi} \Big[\,\frac1{im} e^{i m t}\, \Big]_{0}^{2\pi} = 0.\]
Le résultat s'ensuit.
\end{proof}

Cherchons maintenant à établir un analogue de ce résultat dans le cadre ultramétrique. Soit $p$ un nombre premier. Pour tout \hbox{$n\in \N^*$}, on note $\mu_{n}(\C_{p})$ l'ensemble des racines $n^\textrm{èmes}$ de l'unité dans~$\C_{p}$. Le \hbox{résultat} qui suit est un cas particulier d'un théorème d'Antoine Chambert-Loir, \cf~\cite{ACLMesures}.

\begin{theo}\label{th:ACL}
Pour tout $f\in \C(\E{1}{\C_{p}},\R)$, on a
\[ \lim_{n\to +\infty} \frac1n \sum_{z \in \mu_{n}(\C_{p})} f(z) = f(\eta_{G}).\]
\end{theo}
\begin{proof}
Soit $f\in \C(\E{1}{\C_{p}},\R)$. Soit $\eps>0$. Il existe un voisinage~$U$ de~$\eta_{G}$ tel que, pour tout $x\in U$, on ait $\abs{f(x) - f(\eta_{G})} \le \eps$.

D'après le lemme~\ref{lem:voisinageetaG}, il existe $m \in \N$, $\alpha_{1},\dotsc,\alpha_{m} \in \C_{p}$ avec $\abs{\alpha_{j}}=1$ pour tout $j$, $r,t \in \intoo{0,1}$, $s\in \intoo{1,+\infty}$ tels que
\[ \{x \in \E{1}{\C_{p}} : r < \abs{X}_{x} < s\} \cap \bigcap_{1\le j\le m} \{x \in \E{1}{\C_{p}} : \abs{X-\alpha_{j}}_{x} > t\}\]
soit un voisinage de~$\eta_{G}$ contenu dans~$U$.

Soit $n\in \N^*$. Soit $j\in \cn{1}{m}$. Nous allons chercher à évaluer $\abs{z-\alpha_{j}}$ pour $z \in \mu_{n}(\C_{p})$. Les éléments $z-\alpha_{j}$, avec $z \in \mu_{n}(\C_{p})$, sont les racines du polynôme $P_{j} := (X+\alpha_{j})^n -1$.

Notons $P_{j} := \sum_{i=0}^n c_{i} X^i$. Par définition, le polygone de Newton de~$P_{j}$ est l'enveloppe convexe inférieure des points $A_{i} := (i,v_{p}(c_{i}))$, pour $i\in \cn{0}{n}$. Puisque $P_{j} \in \C_{p}^\circ[X]$, ce polygone se situe dans le premier quadrant. Considérons ces points d'abscisses~1 et~$n$, c'est-à-dire les points
\[ A_{1} = (1,v_{p}(c_{1})) = (1,v_{p}(n)) \textrm{ et } A_{n} = (n,v_{p}(c_{n})) = (n,0).\]
La partie du polygone de Newton comprise entre les abscisses~1 et~$n$ se situe donc sous le segment $\intff{A_{1},A_{n}}$, et au-dessus de l'axe des abscisses.

Notons $N\ge 1$ le plus grand entier tel que, au-dessus du segment $[1,N]$, toutes les pentes du polygone de Newton soient inférieures à $\log_{p}(t)$. On a alors $N \le v_{p}(n)/\log(t)$, \cf~figure~\ref{fig:PolygoneNewton}.

\begin{figure}[htb]
\centering
\includegraphics[height=7cm]{PolygoneNewton}
\caption{Le polygone de Newton de $P_{j}$}
\label{fig:PolygoneNewton}
\end{figure}

Par la théorie du polygone de Newton, on en déduit que $P_{j}$ possède au plus $v_{p}(n)/\log(t)+1$ racines~$\beta$ telles que $\abs{\beta-\alpha_{j}}\le t$.

En regroupant les informations obtenues pour les différents~$j$, on déduit que
\[ \sharp \big( \mu_{n}(\C_{p}) \cap U^c \big) \le m \Big( \frac{v_{p}(n)}{\log_{p}(t)} +1\Big),\]
où l'on a noté~$U^c$ le complémentaire de~$U$ dans~$\E{1}{\C_{p}}$.

Puisque $\D^1_{\C_{p}}(1)$ est compact, la fonction continue~$\abs{f}$ y est majorée par une constante~$M \in \R_{\ge 0}$. On a alors
\begin{align*}
\Bigabs{\Big(\frac1n& \sum_{z \in \mu_{n}(\C_{p})} f(z) \Big) - f(\eta_{G})}\\
&=\Bigabs{\frac1n \sum_{z \in \mu_{n}(\C_{p})} (f(z) - f(\eta_{G}))}\\
&\le\frac1n \sum_{z \in \mu_{n}(\C_{p}) \cap U^c} \abs{f(z) - f(\eta_{G}))} + \frac1n \sum_{z \in \mu_{n}(\C_{p}) \cap U} \abs{f(z) - f(\eta_{G}))} \\
&\le  \frac{m}{n} \Big( \frac{v_{p}(n)}{\log_{p}(t)} +1\Big) 2M + \eps.
\end{align*}
On en déduit le résultat voulu, en utilisant le fait que $v_{p}(n)/n$ tend vers 0, lorsque $n$ tend vers l'infini.
\end{proof}

La similitude entre les théorèmes~\ref{th:Bilu} et~\ref{th:ACL} vient encore renforcer l'idée que le point de Gau\ss{} de la droite de Berkovich incarne une sorte de point générique du disque unité.

\section{Dimension supérieure}

Comme on peut s'y attendre, la théorie des espaces Berkovich ne se limite pas au cas la droite, mais permet de définir des espaces de toute dimension. Pour définir les espaces affines, on reprend la simplement définition de la droite avec un anneau de polynômes en plusieurs variables.

\begin{defi}\label{def:Ank}
Soit $n\in \N$. L'espace de Berkovich $\E{n}{k}$ de dimension~$n$ est l'ensemble des semi-normes multiplicatives sur \Added{l'anneau} $k[X_{1},\dotsc,X_{n}]$ qui induisent la valeur absolue donnée sur~$k$.

On le munit de la topologie la plus grossière qui rende continues les fonctions de la forme
\[ \va_{x} \in \Aunk \mapstoo \abs{P}_{x} \in \R_{\ge0},\]
avec $P\in k[X_{1},\dotsc,X_{n}]$.
\end{defi}

Contrairement au cas de la droite de Berkovich, en général, on ne dispose pas de description explicite des points des espaces affines de dimension supérieure à~2, même lorsque le corps de base est algébriquement clos. Le cas du bidisque constitue cependant une exception intéressante et nous commencerons par traiter ce cas. La description obtenue sera utile pour les applications dynamiques présentées à la fin du texte. Nous ajouterons ensuite quelques mots sur le cas général.

\subsection{Bidisque ouvert en valuation triviale}\label{sec:bidisque}

Dans ce numéro, nous étudions un espace bien particulier: le bidisque ouvert sur le corps~$\C$ muni de la valeur absolue triviale~$\va_{0}$.

C'est une partie du plan de Berkovich~$\E{2}{\C}$. Par habitude, nous modifions la définition~\ref{def:Ank} et notons les variables~$X$ et~$Y$ plutôt que~$X_{1}$ et~$X_{2}$. Le bidisque ouvert est alors défini par
\[ \mathring\D^2_{\C} := \{ x \in \E{2}{\C} : \abs{X}_{x} <1 \textrm{ et } \abs{Y}_{x}<1 \}.\]

Remarquons que, puisque nous avons muni~$\C$ de la valeur absolue triviale, le bidisque ouvert classique
\[ \mathring D^2_{\C} := \{ (a,b) \in \C^2 : \abs{a}_{0} <1 \textrm{ et } \abs{b}_{0} <1 \}\]
contient un seul point, à savoir~$(0,0)$. On peut penser au bidisque de Berkovich~$\mathring\D^2_{\C}$ comme contenant l'information infinitésimale au voisinage de ce point.

Décrivons maintenant $\mathring\D^2_{\C}$. Il contient, bien sûr, l'analogue du point $(0,0)$, sous la forme de la semi-norme multiplicative définie par
\[ P \in \C[X,Y] \mapstoo \abs{P(0,0)} \in \R_{\ge 0}.\]
Nous noterons encore~$(0,0)$ le point de~$\mathring\D^2_{\C}$ correspondant.

Pour $r\in \intoo{0,1}$, posons
\[\D^{2,r}_{\C} := \{ x \in \E{2}{\C} : \max(\abs{X}_{x},\abs{Y}_{x}) = r \}.\]
On a alors
\[ \mathring\D^2_{\C} = \{(0,0)\} \cup \bigcup_{0<r<1} \D^{2,r}_{\C}.\]

Mentionnons maintenant un phénomène spécifique aux corps trivialement valués. Soit $u \in \R_{>0}$. Pour toute semi-norme multiplicative $\va$ sur~$\C[X,Y]$, $\va^u$ est encore une semi-norme multiplicative sur~$\C[X,Y]$. En outre, si~$\va$ induit~$\va_{0}$ sur~$\C$, alors il en va de même pour~$\va^u$, puisque $\va_{0}^u = \va_{0}$. Nous pouvons donc ainsi définir une application
\[ \lambda_{u} \colon \va_{x} \in \E{2}{\C} \mapstoo \va_{x}^u \in \E{2}{\C}.\]
Par définition de la topologie, $\lambda_{u}$ est continue, et même un homéomorphisme, d'inverse~$\lambda_{1/u}$. Remarquons également que $\lambda_{u}(\mathring\D^2_{\C}) = \mathring\D^2_{\C}$ et que,
\[ \forall r\in \intoo{0,1},\ \lambda_{u}(\D^{2,r}_{\C}) = \D^{2,r^u}_{\C}.\]
Ainsi, pour décrire~$\mathring\D^2_{\C}$, il nous suffit de décrire~$\D^{2,r}_{\C}$.

\begin{prop}\label{prop:D2rdisques}
Soit $r\in \intoo{0,1}$. Munissons $\C(\!(X)\!)$ de la valeur absolue $X$-adique normalisée par $\abs{X}=r$ et considérons le disque $\D^1_{\C(\!(X)\!)}(r)$ en la variable~$Y$. On a un homéomorphisme canonique
\[\D^1_{\C(\!(X)\!)}(r) \simtoo \{x \in \D^{2,r}_{\C} : \abs{X}_{x} =r \textrm{ et } \abs{Y}_{x}\le r \}.\]
De même, munissons $\C(\!(Y)\!)$ de la valeur absolue $Y$-adique normalisée par $\abs{Y}=r$ et considérons le disque $\D^1_{\C(\!(Y)\!)}(r)$ en la variable~$X$. On a un homéomorphisme canonique
\[\D^1_{\C(\!(Y)\!)}(r) \simtoo \{x \in \D^{2,r}_{\C} : \abs{X}_{x} \le r \textrm{ et } \abs{Y}_{x} = r \}.\]
\end{prop}
\begin{proof}
Nous ne démontrerons que le premier homéomorphisme, le second s'en déduisant en échangeant les rôles de~$X$ et~$Y$.

Soit $z\in \D^1_{\C(\!(X)\!)}(r)$. Il lui correspond une semi-norme multiplicative~$\va_{z}$ sur~$\C(\!(X)\!)[Y]$. En restreignant à $\C[X,Y]$, on obtient une semi-norme multiplicative~$\va_{z'}$ sur~$\C[X,Y]$ qui satisfait
\[\abs{X}_{z'} = \abs{X}_{z} = r \textrm{ et } \abs{Y}_{z'} = \abs{Y}_{z} \le r.\]
Ce raisonnement permet de définir l'application
\[ j_{X} \colon \D^1_{\C(\!(X)\!)}(r) \simtoo \{x \in \D^{2,r}_{\C} : \abs{X}_{x} =r \textrm{ et } \abs{Y}_{x}\le r \}\]
de l'énoncé. Par définition des topologies, elle est continue.

Soit $x \in \D^{2,r}_{\C}$ tel que $\abs{X}_{x} =r$ et $\abs{Y}_{x} \le r$. Considérons la semi-norme multiplicative associée
\[ \va_{x} \colon \C[X,Y] \to \R_{\ge 0}.\]
Considérons la norme de Gau\ss{} $\va_{0,r}$ sur $\C(\!(X)\!)[Y]$. Notons identiquement sa restriction à~$\C[X,Y]$. Puisque $\abs{X}_{x} =r$ et $\abs{Y}_{x} \le r$, on a $\va_{x} \le \va_{0,r}$ sur~$\C[X,Y]$. Par conséquent, la semi-norme~$\va_{x}$ est continue lorsqu'on munit~$\C[X,Y]$ de~$\va_{0,r}$.
Puisque~$\abs{X}_{x} \ne 0$, la~semi-norme multiplicative~$\va_{x}$ s'étend à~$\C[X,X^{-1},Y]$, et cette extension continue. Par conséquent, $\va_{x}$ s'étend en une semi-norme multiplicative sur le complété de~$\C[X,X^{-1},Y]$ pour~$\va_{0,r}$, et ce dernier contient~$\C(\!(X)\!)[Y]$.

On vérifie que l'application $\{x \in \D^{2,r}_{\C} : \abs{X}_{x} =r \textrm{ et } \abs{Y}_{x}\le r \} \to \D^1_{\C(\!(X)\!)}(r)$ que nous venons de définir est l'inverse de~$j_{X}$.

Il reste à montrer que la bijection continue~$j_{X}$ est un homéomorphisme. Cela découle de la compacité de $\D^1_{\C(\!(X)\!)}(r)$, \cf~proposition~\ref{prop:localementcompacte}.
\end{proof}

Dans la suite de ce texte, nous identifierons les espaces reliés par les homéomorphismes ci-dessus. En particulier, pour tout $r\in \intoo{0,1}$, on a
\[ \D^{2,r}_{\C} = \D^1_{\C(\!(X)\!)}(r) \cup \D^1_{\C(\!(Y)\!)}(r).\]
Cette description est particulièrement utile en ce qu'elle permet de ramener l'étude de de~$\D^{2,r}_{\C}$ (et donc celle du bidisque $\mathring\D^2_{\C}$) à celle de disques de dimension~1. En voici une application topologique.

\begin{coro}\label{cor:D2rarbre}
Pour tout $r\in \intoo{0,1}$, $\D^{2,r}_{\C}$ possède une structure d'arbre compact.
\qed
\end{coro}
\begin{proof}
Soit $r\in \intoo{0,1}$. D'après les propositions~\ref{prop:arbre} et~\ref{prop:localementcompacte}, $\E{1}{\C(\!(X)\!)}$ est un arbre compact. La description explicite des chemins donnée dans la preuve de la proposition~\ref{prop:A1kcpa} montre que $\D^1_{\C(\!(X)\!)}(r)$ en est un sous-arbre et que
\[ \D^1_{\C(\!(X)\!)}(r,r) := \{ z \in \E{1}{\C(\!(X)\!)} : \abs{Y}_{x} = r\} \]
est lui-même un sous-arbre de ce dernier. Les mêmes résultats valent en échangeant les rôles de~$X$ et~$Y$.

D'après la description précédente, $\D^{2,r}_{\C}$ peut s'obtenir comme la réunion des arbres compacts $\D^1_{\C(\!(X)\!)}(r)$ et $\D^1_{\C(\!(Y)\!)}(r)$ recollés le long de leur intersection
\[\{x \in \D^{2,r}_{\C} : \abs{X}_{x} = \abs{Y}_{x} = r \}.\]
Cette dernière s'identifie à un sous-arbre dans chaque facteur:
\begin{itemize}
\item
$\D^1_{\C(\!(X)\!)}(r,r)$ dans le premier
\item
et $\D^1_{\C(\!(Y)\!)}(r,r)$ dans le second.
\end{itemize}
Le~résultat s'en déduit.
\end{proof}

Pour $r\in \intoo{0,1}$, notons $\zeta_{r}$ le point de~$\D^{2,r}_{\C}$ associé à la semi-norme multiplicative
\[ \va_{\zeta_{r}} \colon \sum_{i,j} a_{i,j} X^i Y^j \in \C[X,Y] \mapstoo \max_{i,j} (\abs{a_{i,j}}\, r^{i+j}).\]
Ce point appartient aux deux disques $\D^1_{\C(\!(X)\!)}(r)$ et $\D^1_{\C(\!(Y)\!)}(r)$, et~s'identifie à chaque fois au point de Gau\ss{} $\eta_{0,r}$.

\begin{coro}\label{cor:comparaisonzetar}
Soit $x$ un point de $\D^{2,r}_{\C}$ qui n'est pas une feuille. Alors, il existe $u_{x} \in \intoo{0,1}$ tel que
\[ \forall P \in \C[X,Y],\ \abs{P}_{x} \le \abs{P}_{\zeta_{r}} \le \abs{P}_{x}^{u_{x}}.\]
\end{coro}
\begin{proof}
D'après la proposition~\ref{prop:D2rdisques}, il suffit de démontrer le résultat pour $\D^1_{\C(\!(X)\!)}(r)$ (avec variable~$Y$) et $\D^1_{\C(\!(Y)\!)}(r)$ (avec variable~$X$). En échangeant les variables, il suffit de traiter le premier cas. D'après la proposition~\ref{prop:Kk}, on peut remplacer le corps des séries de Laurent~$\C(\!(X)\!)$ par une extension valuée~$K$. En choisissant le complété du corps des séries de Puiseux, on se ramène au cas du disque~$\D^1_{K}(r)$ (avec variable~$Y$), avec $K$ algébriquement clos.

Puisque le point~$x$ n'est pas une feuille, d'après la discussion qui suit la proposition~\ref{prop:suitedecroissante}, il est de type~2 ou~3. Par conséquent, il existe $\alpha\in K$ et $t \in \R_{>0}$ tels que $x = \eta_{\alpha,t}$. Puisque $x\in \D^1_{K}(r)$, on a $\abs{\alpha}\le r$ et $t\le r$.

Soit $P \in \C[X,Y]$. Écrivons-le sous la forme $P = \sum_{j} A_{j}(X) Y^j$, avec, pour tout~$j$, $A_{j}(X) \in \C[X] \subset K$. En particulier, pour tout $j$, on a $\abs{A_{j}(X)} \le 1$. On peut écrire
\[ P = \sum_{j} A_{j}(X) (\alpha + (Y-\alpha))^j = \sum_{j} b_{j} (Y-\alpha)^j,\]
avec, pour tout~$j$, $\abs{b_{j}}\le 1$.

Puisque $\abs{\alpha}\le r$, d'après le lemme~\ref{lem:egaliteeta}, on a $\eta_{\alpha,r} = \eta_{0,r} = \zeta_{r}$, d'où
\[ \abs{P}_{\zeta_{r}} = \max_{j} (\abs{b_{j}}\, r^j).\]
Par conséquent, on a
\[ \abs{P}_{\alpha,t} = \max_{j} (\abs{b_{j}}\, t^j) \le \abs{P}_{\zeta_{r}}.\]

Il existe $u_{x} \in \intoo{0,1}$ tel que $t^{u_{x}}=r$. Pour tout $j$, on a $\abs{b_{j}}\le 1$, donc $\abs{b_{j}}^{u_{x}}\ge \abs{b_{j}}$. On en déduit que
\[\abs{P}_{\alpha,t}^{u_{x}} = \max_{j} (\abs{b_{j}}^{u_{x}}\, (t^{j})^{u_{x}}) \ge \max_{j} (\abs{b_{j}}\, r^{j})= \abs{P}_{\zeta_{r}},\]
comme désiré.
\end{proof}

\subsection{Cas général}

Même si on ne dispose pas, à l'heure actuelle, de description explicite des espaces affines de dimension quelconque, on peut s'en faire une idée à l'aide de fibrations.

Soit $n\in \N$. Il découle directement des définitions qu'on a une application
\[ \pr \colon \E{n+1}{k} \too \E{n}{k},\]
dite de projection, obtenue en restreignant à $k[X_{1},\dotsc,X_{n}]$ les semi-normes sur~$k[X_{1},\dotsc,X_{n+1}]$. Nous allons montrer que, pour tout $x\in \E{n}{k}$, la fibre $\pr^{-1}(x)$ s'identifie à une droite de Berkovich définie sur une extension du corps~$k$ (qui dépend du point~$x$).

Introduisons les extensions en question. Soit $x\in \E{n}{k}$. Posons
\[ \p_{x} := \{ P \in k[X_{1},\dotsc,X_{n}] : \abs{P}_{x} = 0\}.\]
Puisque $\va_{x}$ est multiplicative, $\p_{x}$ est un idéal premier de \Added{l'anneau} $k[X_{1},\dotsc,X_{n}]$. Le quotient $A_{x} := k[X_{1},\dotsc,X_{n}]/\p_{x}$ est donc un anneau intègre. Notons~$F_{x}$ son corps de fractions. Remarquons que la semi-norme multiplicative~$\va_{x}$ induit une valeur absolue sur~$A_{x}$ et~$F_{x}$, que nous noterons identiquement. On note~$\cH(x)$ le complété de~$F_{x}$ pour~$\va_{x}$. Par construction, on a un morphisme d'anneaux
\[ \ev_{x} \colon k[X_{1},\dotsc,X_{n}] \too \cH(x),\]
qui induit une isométrie sur~$k$. On peut penser à ce morphisme comme à une évaluation au point~$x$, en prenant garde au fait que la \og valeur \fg{} ainsi définie se trouve dans un corps qui dépend lui-même de~$x$ !

En raisonnant comme dans la preuve de la proposition~\ref{prop:D2rdisques}, on obtient le résultat suivant.

\begin{prop}
Pour tout $x\in \E{n}{k}$, on a un homéomorphisme canonique
\[ \E{1}{\cH(x)} \simtoo \pr^{-1}(x).\eqno\qed\]
\end{prop}

\section{Application : dynamique polynomiale en dimension~2}

Dans cette section, nous étudions le comportement d'un endomorphisme polynomial de~$\C^2$ au voisinage d'un point fixe super-attractif. Le résultat que nous exposons est tiré de l'article~\cite{FavreJonssonEigenvaluations} de Charles Favre et Mattias Jonsson (voir également~\cite{JonssonDynamics} pour un survol complet).

Soit~$f$ un endomorphisme polynomial de~$\C^2$, c'est-à-dire une application de la forme
\begin{equation}\tag{EP}\label{eq:EP}
f \colon (x,y) \in \C^2 \mapstoo (f_{1}(x,y),f_{2}(x,y)) \in \C^2,
\end{equation}
avec $f_{1}, f_{2} \in \C[X,Y]$. Nous souhaitons étudier son comportement au voisinage d'un point fixe attractif. Quitte à changer de coordonnées, nous pouvons supposer que ce point fixe est~$(0,0)$. On a alors $f_{1}(0,0)=f_{2}(0,0)=0$.

En général, le comportement de~$f$ au voisinage de~$(0,0)$ est régi par la jacobienne de~$f$ en~$(0,0)$. Dans le cas générique, elle possède deux valeurs propres $\lambda_{1},\lambda_{2}$ distinctes, et l'on peut alors, par un changement linéaire de coordonnées, écrire~$f$ sous la forme particulièrement simple
\[ (x',y') \in \C^2 \mapstoo (\lambda_{1}x', \lambda_{2}y') \in \C^2.\]

Dans la suite, nous nous intéressons au cas où le point fixe est super-attractif, ce qui signifie que la jacobienne en ce point est nulle.

\subsection{Taux d'attraction}\label{sec:tauxdattraction}

Notons $\End(\A^2_{\C})$ l'ensemble des endomorphismes polynomiaux de~$\C^2$. Dans la suite, nous identifierons ces endomorphismes aux éléments de $\C[X,Y]^2$. Avec les notations de~\eqref{eq:EP}, cela revient à identifier~$f$ au couple~$(f_{1},f_{2})$.

Pour $P = \sum_{i,j\ge 0} a_{i,j} X^i Y^j \in \C[X,Y]$, on pose
\[ c(P) := \inf(\{ i+j : a_{i,j} \ne 0 \}),\]
avec la convention $c(0)=+\infty$. Pour $(P,Q) \in \C[X,Y]^2$, on pose
\[ c(P,Q) = \min(c(P),c(Q)).\]

\begin{defi}
Pour $f\in \End(\A^2_{\C})$ avec un point fixe en~$(0,0)$, le nombre réel~$c(f)$ est appelé \emph{taux d'attraction} de~$f$ en~$(0,0)$.
\end{defi}

Dans le cadre de la définition, la norme de l'image $\norm{f(x,y)}$ a tendance à se comporter comme $\norm{(x,y)}^{c(f)}$, ce qui explique la terminologie choisie.

\begin{lemm}\label{lem:cRPQ}
Pour $P,Q,R \in \C[X,Y]$, on a
\[\begin{cases}
c(PQ) = c(P) + c(Q) :\\
c(P+Q) \ge c(P,Q) :\\
c ( R(P,Q)) \ge c(R) \, c(P,Q).
\end{cases}\]
Pour $f\in \EC$ et $n,m\in\N$, on a
\[c(f^{n+m}) \ge c(f^n) \, c(f^m).\]
\Deleted{\qed}
\end{lemm}
\begin{proof}
Soient $P,Q \in \C[X,Y]$. Pour démontrer les deux premières propriétés, on peut supposer que $P$ et $Q$ ne sont pas nuls. Écrivons $P = \sum_{i,j\ge 0} a_{i,j} X^i Y^j$, $Q = \sum_{i,j\ge 0} b_{i,j} X^i Y^j$ et $PQ = \sum_{i,j\ge 0} c_{i,j} X^i Y^j$. On vérifie aisément que, si $i+j \le c(P) + c(Q)$, alors $c_{i,j} =0$. On a donc $c(PQ) \ge c(P) + c(Q)$.

Posons
\[i_{a} := \max (\{ i \in \cn{0}{c(P)} : a_{i,c(P)-i} \ne 0\}),\ j_{a} := c(P) - i_{a}\]
et
\[i_{b} := \max (\{ i \in \cn{0}{c(P)} : b_{i,c(Q)-i} \ne 0\}),\ j_{b} := c(P) - i_{b}.\]
On vérifie que $c_{i_{a}+i_{b},j_{a}+j_{b}} = a_{i_{a},j_{a}}b_{i_{b},j_{b}} \ne 0$ et on en déduit que $c(PQ) = c(P) + c(Q)$.

L'inégalité $c(P+Q) \ge c(P,Q)$ est claire.

Soient $P,Q,R \in \C[X,Y]$. Écrivons $R = \sum_{i,j\ge 0} r_{i,j} X^i Y^j$. On a
\[ R(P,Q) = \sum_{i,j\ge 0} r_{i,j} P^i Q^j.\]
Soient $i,j\in\N$ tels que $r_{i,j} \ne 0$. D'après la formule pour le produit, on a
\[ c(r_{i,j} P^i Q^j) = i \, c(P) +j \, c(Q) \ge (i+j) \min (c(P),c(Q)) \ge c(R) \, c(P,Q).\]
En utilisant la minoration pour la somme, on en déduit que
\[ c ( R(P,Q)) \ge c(R) \, c(P,Q).\]
L'assertion finale s'en déduit.
\end{proof}

D'après le lemme~\ref{lem:cRPQ}, pour tous $n,m\in \N^\ast$, on a
\[c(f^n+m)^{1/(n+m)} \ge c(f^n)^{1/n}\, c(f^m)^{1/m}.\]
Le lemme de Fekete assure alors que la suite $(c(f^n)^{1/n})_{n\in \N^*}$ converge.

\begin{defi}
Pour $f\in \End(\A^2_{\C})$ avec un point fixe en~$(0,0)$, le nombre réel
\[ c_{\infty}(f) := \lim_{n\to +\infty} c(f^n)^{1/n}\]
est appelé taux d'attraction asymptotique de~$f$ en~$(0,0)$.
\end{defi}

\begin{exem}\label{ex:Fibonacci}
Considérons l'exemple $f(X,Y) = (Y,XY)$. On a
\[\begin{cases}
f(X,Y) = (Y,XY) & c(f)=1\\
f^2(X,Y) = (XY,XY^2) & c(f^2)=2\\
f^3(X,Y) = (XY^2,X^2Y^3) & c(f^3)=3\\
f^4(X,Y) = (X^2Y^3,X^3Y^5) & c(f^4)=5\\
f^5(X,Y) = (X^3Y^5,X^5Y^8) & c(f^4)=8\\
\qquad \vdots & \quad \vdots
\end{cases}\]
On reconnaît dans la suite $(c(f^n))_{n\in \N}$ la suite de Fibonacci. On en déduit que
\[ c_{\infty}(f) = \lim_{n\to +\infty} c(f^n)^{1/n} = \frac{1+\sqrt 5}{2}.\]
\end{exem}

\subsection{Action sur un espace de Berkovich}\label{sec:action}

Soit $f = (f_{1},f_{2}) \in \EC$. Dans cette section, nous allons montrer que $f$ induit un endomorphisme du plan de Berkovich~$\E{2}{\C}$.

Remarquons tout d'abord que l'on peut naturellement définir, à partir de~$f$, un endomorphisme~$\Phi(f)$ de l'anneau $\C[X,Y]$. Il est défini par
\[ \Phi(f) \colon R(X,Y) \in \C[X,Y] \mapstoo R(f_{1}(X,Y),f_{2}(X,Y)) \in \C[X,Y].\]

Rappelons qu'un point du plan de Berkovich~$\E{2}{\C}$ est, par définition, une semi-norme multiplicative
\[ \va_{x} \colon \C[X,Y] \too \R_{\ge 0}.\]
En la précomposant par~$\Phi(f)$, on obtient encore une semi-norme multiplicative sur~$\C[X,Y]$, et donc un point de~$\E{2}{\C}$. Notons
\[ f^\an \colon \va_{x} \in \E{2}{\C} \mapstoo \va_{x} \circ \Phi(f) \in \E{2}{\C}\]
l'application ainsi définie. Il découle directement de la définition de la topologie que~$f^\an$ est continue.

\begin{rema}
Comme dans le cas d'une variable, on peut naturellement plonger le plan $\C^2$ dans le plan de Berkovich~$\E{2}{\C}$. Précisément, à tout élément $(a,b)$ de~$\C^2$, on associe le point de~$\E{2}{\C}$ défini par
\[ \va_{(a,b)} \colon P \in \C[X,Y] \mapstoo \abs{P(a,b)} \in \R_{\ge 0}.\]
On vérifie que le plongement est compatible à l'action de~$f$:
\[ \forall (a,b)\in \C^2,\ f^\an(\va_{(a,b)}) = \va_{f(a,b)}.\]
\end{rema}

Revenons au cas qui nous intéresse, celui où~$f$ possède un point fixe en~$(0,0)$.

\begin{lemm}
Supposons que~$f$ possède un point fixe en~$(0,0)$. Alors, on a $f^\an(\mathring\D^2_{\C}) \subset \mathring\D^2_{\C}$.
\end{lemm}
\begin{proof}
Notons $f=(f_{1},f_{2})$. L'hypothèse se traduit par le fait que $f_{1}(0,0)=f_{2}(0,0)=0$.

Rappelons que
\[ \mathring\D^2_{\C} = \{ x \in \E{2}{\C} : \abs{X}_{x} < 1 \textrm{ et } \abs{Y}_{x} < 1\}.\]
Soit $x \in \mathring\D^2_{\C}$. Pour tout $c \in \C$ et $i,j\in \N$ avec $(i,j) \ne (0,0)$, on a alors
\[ \abs{c X^i Y^j}_{x} = \abs{c}_{0} \abs{X}_{x}^i \abs{Y}_{x}^j <1.\]
Par définition de~$f^\an$, on a
\[ \abs{X}_{f^\an(x)} = \abs{f_{1}(X,Y)}_{x} \textrm{ et } \abs{Y}_{f^\an(x)} = \abs{f_{2}(X,Y)}_{x}.\]
Puisque~$f_{1}$ et~$f_{2}$ n'ont pas de terme constant, on a
\[ \abs{f_{1}(X,Y)}_{x} < 1 \textrm{ et } \abs{f_{2}(X,Y)}_{x} <1,\]
d'où $f^\an(x) \in \mathring\D^2_{\C}$.
\end{proof}

Nous avons déjà remarqué que le bidisque ouvert $\mathring\D^2_{\C}$ contient un seul point de~$\C^2$, à savoir $(0,0)$. On peut penser à l'action de~$f^\an$ sur $\mathring\D^2_{\C}$ comme une version infinitésimale de l'action de~$f$ au voisinage de~$(0,0)$. Nous allons montrer qu'elle contient beaucoup d'information.

Commençons par remarquer que la quantité~$c(f)$ se réécrit aisément à l'aide de~$f^\an$. Pour $x \in \E{2}{\C}$, posons
\[M(x) := \max( \abs{X}_{x}, \abs{Y}_{x}) \in \R_{\ge 0}.\]
Pour $r\in \intoo{0,1}$, rappelons la définition du point $\zeta_{r} \in \mathring\D^2_{\C}$ donnée à la fin de la section~\ref{sec:bidisque}:
\[ \va_{\zeta_{r}} \colon \sum_{i,j} a_{i,j} X^i Y^j \in \C[X,Y] \mapstoo \max_{i,j} (\abs{a_{i,j}}\, r^{i+j}).\]

\begin{lemm}\label{lem:czetar}
Soit $r\in \intoo{0,1}$. Pour tout $f\in \EC$, on a
\[ c(f) = \frac{\log(M(f^\an(\zeta_{r})))}{\log(r)}.\]
\end{lemm}
\begin{proof}
Écrivons $f = (f_{1},f_{2})$. On a
\[ \abs{X}_{f^\an(\zeta_{r})} = \abs{f_{1}}_{\zeta_{r}} \textrm{ et } \abs{Y}_{f^\an(\zeta_{r})} = \abs{f_{2}}_{\zeta_{r}}.\]
Puisque $r\in \intoo{0,1}$, on a également
\[ \abs{f_{1}}_{\zeta_{r}} = r^{c(f_{1})} \textrm{ et } \abs{f_{2}}_{\zeta_{r}} = r^{c(f_{2})}.\]
Le résultat s'ensuit.
\end{proof}

Supposons que $f(0,0)=(0,0)$. Pour tirer parti au mieux de la structure de~$\mathring\D^2_{\C}$, il est également intéressant de comprendre l'action de~$f^\an$ sur~$\D^{2,r}_{\C}$, pour $r \in \intoo{0,1}$. On ne peut pas espérer que ce sous-espace soit directement stable par~$f^\an$, mais on peut s'y ramener, par une petite modification.

Soit $r\in \intoo{0,1}$. Soit $z\in \mathring{\D}^{2}_{\C}$ tel que $f^\an(z) \ne (0,0)$. On a alors $M(f^\an(z)) \in \intoo{0,1}$. Posons
\[ c(f,z) := \frac{\log(M(f^\an(z)))}{\log(r)} \in \R_{>0}.\]
On a $M(f^\an(z)) = r^{c(f,z)}$ et, par conséquent,
$\lambda_{1/c(f,z)}(f^\an(z)) \in \D^{2,r}_{\C}$. Posons
\[ \varphi(z) := \lambda_{1/c(f,z)}(f^\an(z)) \in \D^{2,r}_{\C}.\]

\begin{lemm}\label{lem:cgf}
Soit $f\in \EC$ tel que $f(0,0)=0$. Soit $z \in \mathring{\D}^{2}_{\C}$ tel que $f^\an(z) \ne (0,0)$. Alors, pour tout $e\in \R_{>0}$, on a
\[ c(f,\lambda_{e} z) = e \, c(f,z).\]
Soit $g \in \EC$ tel que $g(0,0)=0$ et supposons que $g^\an(f^\an(z)) \ne (0,0)$. Alors, on a
\[c(g \circ f,z) = c(g,f^\an(z)).\]
Supposons que, pour tout $n\in \N$, on a $(f^\an)^n(z) \ne (0,0)$. Alors, on a
\[ \forall n\in \N,\ c(f^n,z) = \frac{\log(M(z))}{\log(r)} \, \prod_{m=0}^{n-1} c(f,\varphi^m(z)) .\]
\end{lemm}
\begin{proof}
Les formules $c(f,\lambda_{e} z) = e \, c(f,z)$ et $c(g \circ f,z) = c(g,f^\an(z))$ découlent directement des définitions.

Démontrons la formule finale par récurrence sur $n\in \N$. Le cas $n=0$ découle directement des définitions.

Soit $n\in \N$ tel que la formule soit vraie au rang~$n$. D'après les formules précédentes, on a
\[ c(f^{n+1},z) = c(f^n,f^\an(z)) = c(f^n,\lambda_{c(f,z)} (\varphi(z))) = c(f,z) \, c(f^n,\varphi(z)).\]
Le résultat au rang~$n+1$ s'en déduit.
\end{proof}

\subsection{Points fixes sur des arbres}

Dans la suite de ce texte, la structure d'arbre de $\D^{2,r}_{\C}$ (\cf~corollaire~\ref{cor:D2rarbre}) jouera un rôle prépondérant. L'ingrédient-clé prend la forme d'un théorème de point fixe pour les applications continues d'un arbre compact dans lui-même. Nous consacrons cette section à la démonstration de ce résultat.

La notion d'arbre fini, définie à l'aide de sommets et d'arêtes qui les relie, est classique et intuitive et nous ne la rappellerons pas. Le~cas général, où l'on autorise une infinité de points de branchement sur une arête et une infinité de branches qui partent d'un sommet, étant plus subtil, nous précisons la définition (\cf~\cite[définition~1.3.1]{DucrosRSS}).

\begin{defi}\label{defi:arbre}
Soit $A$ un espace topologique séparé et localement compact.

On dit que $A$ est un \emph{pré-arbre} si deux points quelconques de~$A$ sont reliés par un unique chemin injectif.

On dit que $A$ est un \emph{arbre} si, de plus, tout point possède une base de voisinages ouverts qui sont des pré-arbres à bord fini.
\end{defi}

Les notions classiques pour les arbres finis s'adaptent sans difficultés dans ce cadre plus général. Par exemple, on dit qu'un~$z$ de~$A$ est \emph{interne} s'il existe $x,y$ dans~$A$, tous deux différents de~$z$, tels que $z\in \intff{x,y}$. Dans le cas contraire, on dit que $z$ est une \emph{feuille}.

\begin{rema}\label{rem:Aunkarbre}
Pour tout corps valué ultramétrique complet~$k$, la~droite de Berkovich~$\Aunk$ possède une structure d'arbre au sens de la définition~\ref{defi:arbre}. Nous avons déjà mentionné la propriété concernant les chemins à la proposition~\ref{prop:arbre}. Dans le cas algébriquement clos, l'existence de voisinages ouverts qui sont des pré-arbres à bord fini découle de la proposition~\ref{prop:voisinages}. (Avec les notations de cette proposition, le bord est $\{\eta_{\alpha,r}\}$ en type~1, $\{\eta_{\alpha,u},\eta_{\alpha,v}, \eta_{\alpha_{i},w}, i \in \cn{1}{m}\}$ en type~2 si $\abs{\alpha_{i}-\alpha_{j}}=r$ pour $i\ne j$, $\{\eta_{\alpha,u},\eta_{\alpha,v}\}$ en type~3, $\{\eta_{\alpha_{n},r}\}$ en type~4.)
\end{rema}

Fixons quelques notations. Soit $A$ un arbre. Soit~$B$ un sous-arbre fermé non vide de~$A$. Notons $j_{B} \colon B \to A$ l'inclusion de~$B$ dans~$A$.

On peut également définir une rétraction $r_{B} \colon A \to B$ de~$A$ sur~$B$. Soit $z\in A$. Choisissons un point~$t$ de~$B$ et considérons le segment $\intff{z,t}$. En utilisant la structure d'arbre de~$A$ et de~$B$, on montre qu'il existe un unique point~$z_{B}$ de~$B$ tel que $\intfo{z,z_{B}} \subset A$ et $\intff{z_{B},t} \subset B$. Posons
\[ r_{B} \colon z\in A \mapstoo z_{B} \in B.\]
On vérifie que cette application ne dépend pas du choix du point~$t$ de~$B$ et qu'elle est continue.

Pour toute application $\varphi\colon A\to A$, on peut considérer l'application induite sur~$B$ définie par $\varphi_{B} := r_{B} \circ \varphi \circ j_{B}$. Les différentes applications introduites sont représentées à la figure~\ref{fig:retraction}.

\begin{figure}[htb]
\centering
\includegraphics[height=7cm]{Retraction}
\caption{Application induite sur un sous-arbre}
\label{fig:retraction}
\end{figure}

\begin{lemm}\label{lem:arbrefini}
Toute application continue d'un arbre fini compact non vide dans lui-même possède un point fixe.
\end{lemm}
\begin{proof}
Démontrons le résultat par récurrence sur le nombre d'arêtes~$n$ de l'arbre. Si $n=0$, alors l'arbre est réduit à un point et le résultat est évident. Si $n=1$, alors l'arbre est un segment et le résultat est une conséquence du théorème des valeurs intermédiaires.

Soit $n\in \N^\ast$ et supposons avoir démontré le résultat pour tous les arbres compacts finis avec $n$ arêtes. Soit $A$ un arbre compact fini possédant $n+1$ arêtes. Soit $\varphi \colon A \to A$ continue.

Soit~$f$ une feuille de~$A$ et $a = \intff{f,s}$ l'unique arête de~$A$ contenant~$f$. Posons $A' := A \setminus \intof{s,f}$. C'est un sous-arbre de~$A$ possédant~$n$ arêtes.

Par hypothèse de récurrence, les applications continues $\varphi_{A'}$ et~$\varphi_{a}$ possèdent des points fixes. Fixons un point fixe~$z_{A'}$ de~$\varphi_{A'}$ et un point fixe~$z_{a}$ de~$\varphi_{a}$.
\begin{itemize}
\item
Supposons que $z_{A} \ne s$. Alors, $r_{A}^{-1}(z_{A}) = \{z_{A}\}$ et on en déduit que $z_{A}$ est point fixe de~$\varphi$.

\item
Supposons que $z_{a} \ne s$. Alors, $r_{a}^{-1}(z_{a}) = \{z_{a}\}$ et on en déduit que $z_{a}$ est point fixe de~$\varphi$.

\item
Supposons que $z_{A} = z_{a} = s$. Alors, on a
\[
\varphi(s) \in r_{A}^{-1}(s) \cap r_{a}^{-1}(s) = \{s\},
\]
donc $s$ est point fixe de~$\varphi$. \qedhere
\end{itemize}
\end{proof}

\begin{lemm}\label{lem:arbrefiniBA}
Soient $A$ un arbre compact et $B$ un sous-arbre compact fini de~$A$. Soit $\varphi\colon B\to A$ une application continue dont l'image contient~$B$. Alors $\varphi$ possède un point fixe.
\end{lemm}
\begin{proof}
Supposons tout d'abord que l'arbre $A$ est fini. La démonstration est alors très similaire à celle du lemme~\ref{lem:arbrefini}. Elle s'effectue par récurrence sur le nombre d'arêtes~$n$ de l'arbre~$A$. Si \hbox{$n=0$}, alors l'arbre est réduit à un point et le résultat est évident. Si $n=1$, alors les arbres~$B$ et~$A$ s'identifient à des segments inclus l'un dans l'autre et le résultat découle du théorème des valeurs intermédiaires. L'étape de récurrence s'effectue exactement comme dans la preuve du lemme~\ref{lem:arbrefini}.

Revenons maintenant au cas d'un arbre~$A$ compact quelconque. Notons $\cF_{B}$ l'ensemble des sous-arbres compacts finis de~$A$ qui contiennent~$B$. Pour tout $C\in \cF_{B}$, notons $F_{C}$ l'ensemble des points fixes de~$r_{C} \circ \varphi$. C'est un ensemble fermé de~$B$. Montrons que l'intersection $\bigcap_{C\in \cF} F_{C}$ n'est pas vide.

Par compacité de~$B$, il suffit de montrer que toutes les sous-intersections finies sont non vides. Soit $\cG$ une partie finie de~$\cF_{B}$. Soit~$D$ un sous-arbre compact fini de~$A$ contenant tous les éléments de~$\cG$. Alors, l'intersection $\bigcap_{C\in \cG} F_{C}$ contient~$F_{D}$, et ce dernier n'est pas vide, d'après la première partie de la preuve.

Nous avons montré que l'intersection $\bigcap_{C\in \cF} F_{C}$ n'est pas vide. On conclut en remarquant que tout point de cet ensemble est un point fixe de~$\varphi$.
\end{proof}

\begin{lemm}\label{lem:deuxpointsfixes}
Soit $A$ un arbre compact et soit $\varphi\colon A\to A$ une application continue. Supposons que $\varphi_{B} := r_{B} \circ \varphi \circ j_{B}$ possède deux point fixes~$z$ et~$z'$ distincts. Alors $\varphi$ possède un point fixe appartenant à~$\intff{z,z'}$.
\end{lemm}
\begin{proof}
Par hypothèse, on~a $r_{B}(\varphi(z))=z$. En particulier, on~a $\intff{z,\varphi(z)} \cap B = \{z\}$. De même, on a $\intff{z',\varphi(z')} \cap B = \{z'\}$.

On construit un chemin de~$\varphi(z)$ à~$\varphi(z')$ en concaténant $\intff{\varphi(z),z}$, $\intff{z,z'}$ et $\intff{z',\varphi(z')}$. Le raisonnement précédent et le fait que $z\ne z'$ assurent que ce chemin est injectif. Par unicité, ce n'est autre que $\intff{\varphi(z),\varphi(z')}$.

Par continuité de~$\varphi$, $\varphi(\intff{z,z'})$ est un sous-arbre compact de~$A$ qui contient~$\varphi(z)$ et~$\varphi(z')$, donc $\intff{\varphi(z),\varphi(z')}$ et $\intff{z,z'}$. On conclut en appliquant le lemme~\ref{lem:arbrefiniBA} à l'application $\intff{z,z'} \to \varphi(\intff{z,z'})$ induite par~$\varphi$.
\end{proof}

\begin{theo}\label{th:pointfixe}
Soit $A$ un arbre compact non vide. Soit $\varphi \colon A \to A$ une application continue. Alors $\varphi$ possède un point fixe.

En outre, si aucun point interne de~$A$ n'est fixé par~$\varphi$, alors il existe une feuille~$z$ de~$A$ qui est un point fixe attractif de~$\varphi$, au sens où il existe un voisinage~$U_{z}$ de~$z$ dans~$A$ tel que
\[ \forall t\in U_{z},\ \lim_{n\to +\infty} \varphi^n(t) = z.\]
\end{theo}
\begin{proof}
Supposons qu'aucun point interne de~$A$ n'est fixé par~$\varphi$. Nous allons montrer qu'il existe une feuille qui est un point fixe attractif.

Notons $\cF$ l'ensemble des sous-arbres compacts finis non vides de~$A$ formés de points internes. Soit $B\in \cF$. D'après le lemme~\ref{lem:arbrefini}, $\varphi_{B}$ possède un point fixe. D'après le lemme~\ref{lem:deuxpointsfixes}, si~$\varphi_{B}$ possède deux points fixes, alors~$\varphi$ possède un point fixe dans~$B$. Un tel point étant interne, cela contredit notre hypothèse. Nous venons de montrer que l'application~$\varphi_{B}$ possède un unique point fixe. Notons-le~$z_{B}$.

Soient $B,B' \in \cF$ avec $B \subset B'$. Montrons que $r_{B}(z_{B'}) = z_{B}$. Supposons, tout d'abord, que $B'$ est obtenu à partir de~$B$ en ajoutant une arête~$a$. Notons~$s$ l'unique point de~$B$ appartenant à~$a$. Pour tout $z\in B \setminus\{s\} = B' \setminus \{a\}$, on a $r_{B}^{-1}(z) = r_{B'}^{-1}(z) = \{z\}$. Par conséquent, un tel point est fixé par~$\varphi_{B}$ si, et seulement si, il est fixé par~$\varphi_{B'}$. On~en déduit que, $z_{B} \ne s$ si, et seulement si, $z_{B'} \notin a$ et que, dans ce cas, $z_{B} = z_{B'} = r_{B}(z_{B'})$. Il reste à traiter le cas où $z_{B} = s$ et $z_{B'} \in a$. On a bien également $r_{B}(z_{B'}) = z_{B}$, comme attendu.

Le cas général, où $B'$ est obtenu à partir de~$B$ en ajoutant un nombre quelconque d'arêtes, se déduit du cas où l'on en ajoute une seule par récurrence.

Montrons, à présent, que $\bigcap_{B\in\cF} r_{B}^{-1}(z_{B}) \ne \emptyset$. Puisque~$A$ est compact et que, pour tout $B\in \cF$, $r_{B}^{-1}(z_{B})$ est une partie fermée de~$A$, il~suffit de montrer que les sous-intersections finies ne sont pas vides.

Soit~$\cG$ une partie finie non vide de~$\cF$. Soit~$C$ un arbre fini compact formé de points internes et contenant tous les éléments de~$\cG$. D'après le raisonnement précédent, $\bigcap_{B\in\cG} r_{B}^{-1}(z_{B})$ contient~$z_{C}$. En particulier, cette intersection n'est pas vide.

Nous avons montré que l'intersection $\bigcap_{B\in\cF} r_{B}^{-1}(z_{B})$ n'est pas vide. Soit~$z$ un point de cet ensemble. On vérifie que c'est un point fixe de~$\varphi$.

La dernière partie du résultat se démontre facilement si l'on impose des conditions supplémentaires sur l'application~$\varphi$, par exemple l'ouverture. (Cette condition sera satisfaite dans le cas où nous l'appliquerons). Le cas général est laissé en exercice au lecteur courageux.
\end{proof}

\begin{rema}
D'après la remarque~\ref{rem:Aunkarbre}, en dimension~1, les disques de Berkovich fermés sont des arbres compacts. D'après le théorème~\ref{th:pointfixe}, toute application continue d'un tel disque dans lui-même admet un point fixe. Ce résultat est à comparer au théorème du point fixe de Brouwer qui, dans une forme simple, assure que toute application continue d'un disque fermé dans lui-même admet un point fixe.
\end{rema}

\subsection{Algébricité du taux d'attraction asymptotique}

Dans cette section, nous revenons à notre problème initial d'étude d'un endomorphisme polynomial de~$\C^2$ au voisinage d'un point fixe super-attractif. Notre objectif consiste à montrer que le taux d'attraction asymptotique associé est un nombre algébrique de degré inférieur à~2. Nous reprenons les notations des sections~\ref{sec:tauxdattraction} et~\ref{sec:action}.

Soit $f\in \EC$ tel que $f(0,0)=(0,0)$. Soit $r\in \intoo{0,1}$. Pour tout $z \in \D^{2,r}_{\C} \setminus (f^\an)^{-1}((0,0))$, on peut définir $c(f,z) \in \R_{>0}$ et on dispose donc d'une application
\[ \varphi \colon z \in \D^{2,r}_{\C} \setminus (f^\an)^{-1}((0,0)) \mapstoo \lambda_{1/c(f,z)}(f^\an(z)) \in \D^{2,r}_{\C}.\]
On vérifie qu'elle est continue.

\begin{lemm}\label{lem:prolongement}
L'application~$\varphi$ se prolonge en une application continue sur~$\D^{2,r}_{\C}$. Elle ne laisse fixe aucun point de $(f^\an)^{-1}((0,0))$.
\end{lemm}
\begin{proof}
Il résulte de principes généraux (commutation de l'analytification au changement de base) que la préimage de~$(0,0)$ par~$f^\an$ coïncide avec l'analytifée de la préimage de~$(0,0)$ par~$f$. Cette préimage est l'intersection des courbes définies par $f_{1} = 0$ et $f_{2} = 0$ dans~$\C^2$.

Deux cas se présentent en fonction de la dimension de cette intersection. Supposons, tout d'abord, que $f^{-1}((0,0))$ est de dimension~0, autrement dit, qu'elle ne contient qu'un nombre fini de points. Alors $(f^\an)^{-1}((0,0))$ est également composée d'un nombre fini de points, les images des précédents par l'application $\C^2 \to \E{2}{\C}$. Puisque $\D^{2,r}_{\C}$ ne contient aucun point de~$\C^2$, on a $(f^\an)^{-1}((0,0)) \cap \D^{2,r}_{\C} = \emptyset$, et l'application~$\varphi$ est définie sur~$\D^{2,r}_{\C}$.

Supposons, maintenant, que $f^{-1}((0,0))$ est de dimension~1, autrement dit que les courbes définies par $f_{1} = 0$ et $f_{2} = 0$ possèdent des composantes irréductibles communes.

Soit $z \in \D^{2,r}_{\C} \cap (f^\an)^{-1}((0,0))$. Ce point appartient à une et une seule composante irréductible~$C_{z}$ commune à $f_{1} = 0$ et $f_{2} = 0$ (car ce n'est pas un point de~$\C^2$). Notons $p_{z} \in \C[X,Y]$ un polynôme irréductible définissant~$C_{z}$. Pour tout $P \in \C[X,Y]$, on a alors \hbox{$\abs{P}_{z} = 0$} si, et seulement si, $p_{z}$ divise~$P$.

Remarquons que l'ensemble $\D^{2,r}_{\C} \cap (f^\an)^{-1}((0,0))$ est fini. En effet, il peut s'écrire comme réunion des deux ensembles
\[
\D^1_{\C(\!(X)\!)}(r) \cap (f^\an)^{-1}((0,0))\quand\D^1_{\C(\!(Y)\!)}(r) \cap (f^\an)^{-1}((0,0)),
\]
ces derniers étant finis en tant qu'intersections d'une courbe avec un disque compact de dimension~1. En particulier, le point~$z$ est isolé dans $\D^{2,r}_{\C} \cap (f^\an)^{-1}((0,0))$. Pour montrer que~$\varphi$ se prolonge par continuité en~$z$, il suffit donc de montrer que $\varphi(y)$ possède une limite lorsque $y$ tend vers~$z$ en restant dans $\D^{2,r}_{\C} \setminus (f^\an)^{-1}((0,0))$.

Soit $y \in \D^{2,r}_{\C} \setminus (f^\an)^{-1}((0,0))$.
Introduisons $n_{1},n_{2} \in \N^\ast$ et $g_{1},g_{2} \in \C[X,Y]$ non divisibles par~$p_{z}$ tels que $f_{1} = p_{z}^{n_{1}} g_{1}$ et $f_{2} = p_{z}^{n_{2}} g_{2}$.
Remarquons que $g_{1}$ et $g_{2}$ ne s'annulent pas en~$z$, et donc pas non plus sur un voisinage de~$z$.
On a
\[\begin{cases}
\log(\abs{f_{1}}_{y}) = n_{1} \log(\abs{p_{z}}_{y}) + \log(\abs{g_{1}}_{y});\\
\log(\abs{f_{2}}_{y}) = n_{2} \log(\abs{p_{z}}_{y}) + \log(\abs{g_{2}}_{y}).
\end{cases}\]
Quitte à échanger $f_{1}$ et~$f_{2}$, on peut supposer que $n_{1} \le n_{2}$. On a alors
\[\log(M(f^\an(y))) \underset{y \to z}{\sim} n_{1} \log(\abs{p_{z}}_y),\]
d'où
\[ \frac{1}{c(f,y)} \underset{y \to z}{\sim} \frac{\log(r)}{n_{1} \log(\abs{p_{z}}_y)} .\]

Soit $P(X,Y) = \sum_{i,j} a_{i,j} X^i Y^j \in \C[X,Y]$. Nous voulons calculer la limite de $\abs{P}_{\varphi(y)}$. Pour ce faire, nous pouvons supposer que $P\ne 0$. Posons
\[ v_{p_{z}}(P(f_{1},f_{2})) := \max (\{ v \in \N : p_{z}^v \mid P(f_{1},f_{2}) \}).\]
Il existe $R \in \C[X,Y]$ tel que $P(f_{1},f_{2}) = p_{z}^{v_{p_{z}}(P(f_{1},f_{2}))} R$. On a alors
\[\abs{P}_{f^\an(y)} = \abs{P(f_{1},f_{2})}_{y} = \abs{p_{z}}_{y}^{v_{p_{z}}(P(f_{1},f_{2}))} \, \abs{R}_{y}.\]
Puisque $p_{z}$ ne divise pas~$R$, on a $\abs{R_{z}} \ne 0$, donc $\abs{R}$ ne s'annule pas au voisinage de~$z$. Pour $y$ assez proche de~$z$, on a donc
\[ \abs{P}_{\varphi(y)} = \big(\abs{p_{z}}_{y}^{v_{p_{z}}(P(f_{1},f_{2}))} \, \abs{R}_{y}\big)^{1/c(f,y)} \xrightarrow[y\to z]{} r^{v_{p_{z}}(P(f_{1},f_{2}))}.\]

On vérifie immédiatement que l'application
\[ \va_{f,p_{z}} \colon P \in \C[X,Y] \mapstoo r^{v_{p_{z}}(P(f_{1},f_{2}))} \in \R_{\ge 0}\]
définit une valeur absolue sur~$\C[X,Y]$, puis un élément de~$\D^{2,r}_{\C}$. Nous avons démontré que $\varphi(y)$ tend vers~$\va_{f,p_{z}}$ lorsque $y$ tend vers~$z$ dans $\D^{2,r}_{\C} \setminus (f^\an)^{-1}((0,0))$. Par conséquent, $\varphi$ se prolonge par continuité en~$z$.

Il reste à vérifier que $\va_{f,p_{z}} \ne \va_{z}$. Tel est bien le cas puisque la première semi-norme est une valeur absolue, mais pas la seconde.
\end{proof}

Nous noterons encore $\varphi \colon \D^{2,r}_{\C} \to \D^{2,r}_{\C}$ le prolongement par continuité du lemme~\ref{lem:prolongement}. D'après le corollaire~\ref{cor:D2rarbre} et le théorème~\ref{th:pointfixe}, cette application possède un point fixe~$z_{0}$. Remarquons que, d'après le lemme~\ref{lem:prolongement}, $z_{0}$ n'appartient pas à $(f^\an)^{-1}((0,0))$. Par conséquent, $c(f,z_{0})$ est bien défini et on a
\[ \varphi(z_{0}) = \lambda_{1/c(f,z_{0})}(f^\an(z_{0})),\]
autrement dit,
\[\va_{\varphi(z_{0})} = \va_{f^\an(z_{0})}^{1/c(f,z_{0})}.\]

Nous allons maintenant tirer des conséquences de l'existence de ce point fixe, en commençant par montrer que $c(f,z_{0})$ est algébrique de degré au plus~2. L'argument met en jeu les valeurs possibles prises par la semi-norme associée à~$z_{0}$.

Soit $z\in \mathring{\D}^2_{\C}$. Il correspond à une semi-norme multiplicative
\[ \va_{z} \colon \C[X,Y] \too \R_{\ge 0}.\]
On note~$V_{z}$ l'image de cette application et $V^*_{z} := V_{z} \setminus\{0\}$.

\begin{lemm}\label{lem:rs}
Soit $z\in \D^{2,r}_{\C}$. Alors, il existe $s \in \R_{>0}$ tel que
\[ r^{\N} \subset V_{z}^\ast \subset r^{\Q} s^{\N}.\]
\end{lemm}
\begin{proof}
Quitte à échanger~$X$ et~$Y$, on peut supposer que $\abs{X}_{z} =r$. Alors, pour tout $n\in \N$, $\abs{X^n}_{z} = r^n$, donc $r^{\N} \subset V_{z}^\ast$.

Si $V_{z}^\ast \subset r^{\Q}$, le résultat est démontré. Supposons donc que tel n'est pas le cas.

D'après la proposition~\ref{prop:D2rdisques}, on peut identifier~$z$ à un point de $\D^1_{\C(\!(X)\!)}(r)$ avec variable~$Y$, où $\C(\!(X)\!)$ est muni de la valeur absolue $X$-adique normalisée par~$\abs{X}=r$. Notons~$K$ le corps de Levi-Civita en la variable~$Y$ (\cf~section~\ref{sec:classification}). Il est complet, algébriquement clos et on a $\abs{K^\ast} = r^\Q$. D'après la proposition~\ref{prop:Kk}, il existe $z'\in \D^1_{K}(r)$ dont l'image dans~$\D^1_{\C(\!(X)\!)}(r)$ est~$z$. Par construction, $V^\ast_{z}$ est contenu dans l'image de $K[Y]$ par~$\va_{z'}$.

Par hypothèse, il existe $R \in K[Y]$ tel que $\abs{R}_{z'} \notin r^\Q$. Puisque~$K$ est algébriquement clos, on peut écrire~$R$ comme produit de facteurs de degré~1, et la propriété précédente vaut encore pour l'un de ces facteurs. Nous venons de montrer qu'il existe $\alpha \in K$ tel que $s := \abs{Y-\alpha}_{z'} \notin r^\Q$.

Soit $P \in K[Y]$. On peut l'écrire sous la forme $\sum_{i\ge 0} a_{i} (Y-\alpha)^i$, avec $a_{i} \in K$ pour tout~$i$. Puisque $s\notin \abs{K^\ast} = r^\Q$, toutes les quantités
\[ \abs{a_{i} (Y-\alpha)^i}_{z'} = \abs{a_{i}} s^i \]
sont différentes dès qu'elles ne sont pas nulles. Le cas d'égalité de l'inégalité ultramétrique s'applique donc, et l'on obtient
\[ \abs{P}_{z'} = \max_{i\ge 0} (\abs{a_{i}} s^i) \in r^\Q s^\N.\]
Le résultat s'ensuit.
\end{proof}

\begin{prop}\label{prop:cfz0}
Le nombre réel $c(f,z_{0})$ est un nombre algébrique de degré inférieur à~$2$: il existe $R \in \Q[X]\setminus\{0\}$ avec $\deg(R)\le 2$ tel que $R(c(f,z_{0})) = 0$.
\end{prop}
\begin{proof}
Par définition de~$f^\an(z_{0})$, on a $V^\ast_{f^\an(z_{0})} \subset V^\ast_{z_{0}}$. D'autre part, puisque~$z_{0}$ est point fixe de~$\varphi$, on a $\va_{f^\an(z_{0})} = \va_{z_{0}}^{c(f,z_{0})}$.

D'après le lemme~\ref{lem:rs}, il existe $s \in \R_{>0}$ tel que
\[ r^{\N} \subset V_{z_{0}}^\ast \subset r^{\Q} s^{\N}.\]

Soit $P \in \C[X,Y]$ tel que $\abs{P}_{z_{0}} = r$. On a
\[ r^{c(f,z_{0})} = \abs{P}_{z_{0}}^{c(f,z_{0})} = \abs{P}_{f^\an(z_{0})} \subset V^\ast_{z_{0}}.\]

Distinguons maintenant deux cas.

\begin{itemize}
\item
Supposons que $V^\ast_{z_{0}} \subset r^{\Q}$.

On a alors $r^{c(f,z_{0})} \in r^{\Q}$, d'où $c(f,z_{0}) \in \Q$.

\item
Supposons que $V^\ast_{z_{0}} \not\subset r^{\Q}$.

Alors, il existe $a_{1},b_{1} \in \Q$ tels que $r^{c(f,z_{0})} = r^{a_{1}} s^{b_{1}}$.
\end{itemize}
D'autre part, il existe $Q \in \C[X,Y]$ et $q\in \Q$ et $n\in \N^*$ tels que $\abs{Q}_{z_{0}} = r^q s^n$. Quitte à remplacer~$Q$ par une puissance, on peut supposer que $q\in \Z$ et, quitte à multiplier par des puissances de~$X$ ou~$Y$, que $q=0$. En répétant le raisonnement précédent, on montre qu'il existe $a_{2},b_{2} \in \Q$ tels que $s^{n c(f,z_{0})} = r^{a_{2}} s^{b_{2}}$.

En passant au logarithme, on obtient le système
\[\begin{cases}
\begin{aligned}
c(f,z_{0}) \log(r) & = a_{1} \log(r) + \dfrac{b_{1}}{n} n\log(s);\\
c(f,z_{0}) \, n\log(s) & = a_{2} \log(r) + \dfrac{b_{2}}{n} n \log(s).
\end{aligned}
\end{cases}\]
Par conséquent, $c(f,z_{0})$ est valeur propre de la matrice $\begin{pmatrix} a_{1} & b_{1}/n\\ a_{2} & b_{2}/n \end{pmatrix}$. Le résultat s'ensuit.
\end{proof}

Pour conclure, il reste à relier~$c(f,z_{0})$ et~$c(f)$.

\begin{theo}
Le nombre réel $c_{\infty}(f)$ est algébrique de degré inférieur à~$2$.
\end{theo}
\begin{proof}
Soit $x$ un point de $\D^{2,r}_{\C}$ qui n'est pas une feuille. D'après le corollaire~\ref{cor:comparaisonzetar}, il existe $u \in \intoo{0,1}$ tel que
\[ \va_{z} \le \va_{\zeta_{r}} \le \va_{z}^u,\]
en tant que fonctions sur~$\C[X,Y]$.
Pour tout $n\in \N$, on a
\[ \frac{\log(M(f^{n,\an}(z)))}{r} \le \frac{\log(M(f^{n,\an}(\zeta_{r})))}{\log(r)} \le \frac{u\, \log(M(f^{n,\an}(z)))}{r},\]
d'où, d'après le lemme~\ref{lem:czetar},
\[ c(f^n,z) \le c(f^n) \le u\, c(f^n,z).\]
On en déduit que
\[ c_{\infty}(f) = \lim_{n\to+\infty} c(f^n,z)^{1/n}.\]

Distinguons maintenant deux cas.

\begin{itemize}
\item
Supposons qu'il existe un point fixe de~$\varphi$ qui n'est pas une feuille de~$\D^{2,r}_{\C}$.

Alors, on peut supposer que $z_{0}$ n'est pas une feuille de~$\D^{2,r}_{\C}$. D'après le raisonnement précédent et le lemme~\ref{lem:cgf}, on a
\[c_{\infty}(f) = \lim_{n\to+\infty} c(f^n,z_{0})^{1/n} = c(f,z_{0}).\]
On conclut alors par la proposition~\ref{prop:cfz0}.

\item
Supposons que tous les point fixes de~$\varphi$ sont des feuilles de~$\D^{2,r}_{\C}$.

Alors, d'après le théorème~\ref{th:pointfixe}, on peut supposer que~$z_{0}$ est un point fixe attractif. Soit $z_{1} \in \D^{2,r}_{\C}$ qui n'est pas une feuille et tel que tel que $\lim_{n\to +\infty} \varphi^n(z_{1})=z_{0}$.

D'après le lemme~\ref{lem:cgf},
\[ \forall n\in \N,\quad c(f^n,z_{1}) = \prod_{m=0}^{n-1} c(f,\varphi^m(z_{1})).\]
Par continuité, la suite $(c(f,\varphi^m(z_{1})))_{m\in\N}$ tend vers $c(f,z_{0})$, donc, par le lemme de Cesàro,
\[ \lim_{n\to+\infty} c(f^n,z_{1})^{1/n} = \lim_{n\to+\infty} \Big( \prod_{m=0}^{n-1} c(f,\varphi^m(z_{1})) \Big)^{1/n} = c(f,z_{0}).\]
Or, d'après le raisonnement du début de la preuve, on a
\[
\lim_{n\to+\infty} c(f^n,z_{1})^{1/n} = c_{\infty}(f).
\]
On conclut alors par la proposition~\ref{prop:cfz0}, comme précédemment.\qedhere
\end{itemize}
\end{proof}

\begin{rema}
Ch.\,Favre et M.\,Jonsson montrent en réalité la propriété plus fine que~$c_{\infty}(f)$ est un entier algébrique: il existe $R \in \Z[X]\setminus\{0\}$ \emph{unitaire} avec $\deg(R)\le 2$ tel que $R(c_{\infty}(f)) = 0$. Il faut, pour l'obtenir, raffiner un peu les techniques utilisées, mais la stratégie globale reste identique.

Signalons également que M. Ruggiero a étendu ce résultat au cas où la jacobienne n'est pas nécessairement nulle, mais seulement nilpotente, \cf~\cite{RuggieroRigidification}.

La question de l'algébricité en dimension supérieure à $3$ est complètement ouverte.
\end{rema}

\subsubsection*{Remerciements}

Ce texte a été rédigé à l'occasion des journées X-UPS 2023. Je remercie les organisateurs, Pascale Harinck, Alain Plagne et Claude Sabbah, pour leur invitation à y exposer, ainsi que les participants pour l'atmosphère chaleureuse et vivifiante. Merci également à Charles Favre pour ses commentaires sur le texte.

J'ai écrit ce texte au cours d'un séjour à Francfort. Je remercie l'université Goethe et ses membres pour les excellentes conditions d'accueil, ainsi que la Deutsche Forschungsgemeinschaft (TRR 326 Geometry and Arithmetic of Uniformized Structures, project number 444845124) pour son soutien financier.

\backmatter
\bibliographystyle{jepalpha+eid}
\bibliography{xups23-02}
\end{document}