Voici donc le plan de ce texte : dans le premier paragraphe, on traitera le cas critiquement fini tandis que dans le second on démontrera la proposition  3 . Enfin la dernière partie sera consacrée à la preuve du théorème  2 .

Remerciement : Je tiens à remercier mon directeur de thèse Julien Duval pour son aide précieuse dans l’élaboration de cet article.

1 Le cas critiquement fini

Un endomorphisme holomorphe est critiquement fini si son lieu postcritique, $\mathcal{C}={\cup }_{n⩾0}{f}^n\left(C_f\right)$  (où $C_f$  est l’ensemble critique de $f$  ), est une courbe algébrique (voir [9] ).

Démonstration du théorème  1 .

Pour calculer le genre de $f^{-n}\left(L\right)$  , on va construire une triangulation de $L$  qui se relèvera en une triangulation de $f^{-n}\left(L\right)$  (par triangulation, on entend décomposition en des disques).

Pour conclure, il restera alors à faire un calcul de caractéristique d’Euler sur $f^{-n}\left(L\right)$  et à utiliser le fait que le genre d’une surface connexe $M$  qui a $b$  composantes de bord est égal à $1-\frac{\chi \left(M\right)+b}{2}$  .

On va supposer que $f^{-n}\left(L\right)$  est lisse (ce qui est vrai pour $L$  générique). D’autre part, on va traiter le cas d’une droite $L$  qui passe par un point $a$  appartenant au support de $\mu$  privé de $\mathcal{C}$  telle que $\text{Cardinal}(L\cap \mathcal{C})=\text{degré de}\mathcal{C}=\tau$  (c’est possible car $\mu$  ne charge pas $\mathcal{C}$  ). Le cas d’une droite générique se fait d’une manière proche.

Dans la suite, on supposera que $a$  est le pole nord de $L$  .

Quitte à bouger un peu la droite, on peut supposer que l’intersection des méridiens qui passent par $\mathcal{C}\cap L$  avec l’équateur est constituée de $\tau$  points : $a_1,...,a_{\tau }$  . On les ordonne via une orientation de l’équateur.

En considérant alors les méridiens qui passent par le milieu des segments $[a_i,a_{i+1}]$  ( $i=1,...,\tau -1$  ) et $[a_{\tau },a_1]$  (où les segments considérés sont situés sur l’équateur), on obtient une triangulation de $L$  avec $\tau$  faces, $\tau$  aretes et deux sommets.

Cette triangulation se relève par $f^n$  en une triangulation de $f^{-n}\left(L\right)$  . En effet, un disque qui rencontre $\mathcal{C}$  en au plus un point se relève en un disque par $f^n$  .

On va maintenant calculer le genre de $f^{-n}\left(L\right)$  hors d’un $\gamma$  -voisinage du support de la mesure $\mu$  , $U_{\gamma }$  .

Soit $\Gamma$  la réunion des aretes et des sommets de la triangulation qui sont contenus dans $U_{\gamma }$  ; alors $g\left(f^{-n}\right(L)-U_{\gamma })⩽g\left(f^{-n}\right(L)-\Gamma )$  .

D’autre part, une composante connexe de $f^{-n}\left(L\right)-\Gamma$  peut etre de deux types :

soit elle ne contient pas d’arete de la triangulation et alors c’est un disque (donc de genre nul), soit elle en contient au moins une.

Si $\mathcal{Q}$  désigne l’union des composantes du deuxième type, on obtient :

$$g\left(f^{-n}\right(L)-U_{\gamma })⩽\text{Nombre de composantes de}\mathcal{Q}-\frac{\chi (\mathcal{Q})}{2}.$$  Ainsi :

$$g\left(f^{-n}\right(L)-U_{\gamma })⩽\frac{3}{2}\text{du nombre d’aretes qui sortent de}{U}_{\gamma }.$$  En effet les faces qui composent les éléments de $\mathcal{Q}$  étant des disques, $-\chi (\mathcal{Q})$  est majoré par le nombre d’aretes qui sortent de $U_{\gamma }$  .

Il reste donc à majorer ce dernier terme.

Les aretes étant attachées au support de $\mu$  , on en déduit que le genre de $f^{-n}\left(L\right)$  hors de $U_{\gamma }$  est majoré (à une constante près) par le nombre d’aretes de la triangulation de diamètre supérieur à $\gamma$  . Il suffit donc de majorer ce terme par $O\left(d^n\right)$  . C’est l’objet du :

Lemme 4. Les préimages par $f^n$  des aretes de la triangulation de $L$  sont de diamètre inférieur à $\gamma$  (sauf $O\left(d^n\right)$  d’entre elles).

• Demonstration. La démonstration de ce lemme repose sur la comparaison aire-diamètre qui suit (voir [2] ).
  Fait:

  Il existe $C>0$  tel que, pour toute paire de disques holomorphes $D\subset \tilde{D}$  dans ${\mathbb{P}}^2(\mathbb{C})$  , on ait $$\left(\text{Diam}\right(D){)}^2⩽C\frac{\text{Aire}\left(\tilde{D}\right)}{min(1,\text{Mod}(A\left)\right)},$$  où $A$  désigne l’anneau $\tilde{D}-D$  .

  On peut mettre une arete $\alpha$  de la triangulation de $L$  dans un disque $D$  disjoint de $\mathcal{C}$  , de sorte que le module de l’anneau $D-\alpha$  soit égal à une constante $m$  inférieure à $1$  et qui ne dépend que de $\mathcal{C}\cap L$  .

  On note $f_i^{-n}$  les branches inverses de $f^n$  sur $D$  . Les anneaux $f_i^{-n}(D-\alpha )$  ont le meme module que celui de $D-\alpha$  .

  En utilisant le fait précédent, on obtient donc une majoration du carré du diamètre de $f_i^{-n}\left(\alpha \right)$  par $\frac{C}{m}\text{Aire}\left(f_i^{-n}\right(D\left)\right)$  . Autrement dit, le nombre de branches inverses pour lesquelles le diamètre de $f_i^{-n}\left(\alpha \right)$  est supérieur à $\gamma$  est majoré par $\frac{C}{m{\gamma }^2}\text{Aire}\left(f^{-n}\right(L\left)\right)=\frac{C{d}^n}{m{\gamma }^2}$  . C’est ce que l’on voulait démontrer.

Dans le cas d’un endomorphisme quelconque, si on découpe $L$  avec des disques qui ne rencontrent les valeurs critiques $V=f\left(C_f\right)$  qu’en un seul point et que l’on remonte cette triangulation par $f$  , on en obtient une de $f^{-1}\left(L\right)$  . Cependant les éléments de cette triangulation n’ont aucune raison de continuer à rester des disques quand on les relèvera de nouveau par $f$  (certains d’entre eux peuvent toucher $V$  en plusieurs points). Pour conserver une triangulation, il faudra donc faire un redécoupage.

Lors de cette opération, on pourra garder le controle des longueurs des préimages des aretes (on aura au plus $d^{n(1+\varepsilon )}$  aretes de longueur supérieure à $\gamma$  ). On compensera alors la perte de l’attache par le controle en $d^{n(1+\varepsilon )}$  du nombre de points de $f^{-n}\left(x\right)$  hors de $U_{\frac{\gamma }{2}}$  , pour tout point $x$  de ${\mathbb{P}}^2(\mathbb{C})$  (ce controle sera vrai pour des endomorphismes $f$  génériques). Cela suffira pour majorer le genre car les aretes qui sortent de $U_{\gamma }$  sont composées des aretes de longueur supérieure à $\gamma$  , auxquelles on ajoute celles qui ont un sommet hors de $U_{\frac{\gamma }{2}}$  .

Le plan de la démonstration du théorème  2 sera donc le suivant : dans un premier temps on montrera que l’on peut controler le nombre de points de $f^{-n}\left(x\right)$  hors de $U_{\frac{\gamma }{2}}$  par $d^{n(1+\varepsilon )}$  .

Puis, on verra que cela permet effectivement de majorer le genre de $f^{-n}\left(L\right)$  hors de $U_{\gamma }$  par $d^{n(1+\varepsilon )}$  .

2 Controle des préimages des points

Le controle du nombre d’antécédents éloignés du support de $\mu$  d’un point $x$  de ${\mathbb{P}}^2(\mathbb{C})$  s’inspire du calcul de l’entropie topologique d’un endomorphisme holomorphe de degré $d$  .

Après quelques rappels sur l’entropie topologique qui incluront les différentes étapes de ce calcul, on passera au controle des préimages de points.

2.1 Entropie topologique

L’entropie topologique $h_{\text{top}}\left(f\right)$  est définie par (voir par exemple [12] ) :

$$h_{\text{top}}\left(f\right)={sup}_{\delta >0}{limsup}_{n\to \infty }\frac{1}{n}log(max\{\text{Card}\left(F\right),F(n,\delta )\text{-séparé}\left\}\right)$$  où un ensemble est dit $(n,\delta )\text{-séparé}$  si pour tout couple $(x,y)\in F^2$  on a $d_n(x,y):={max}_{0⩽q⩽n-1}d\left(f^q\right(x),f^q(y\left)\right)⩾\delta$  .

C’est donc une quantité qui décrit le nombre d’orbites que l’on peut discerner à une erreur $\delta$  près en un temps $n$  .

Un endomorphisme $f$  holomorphe de ${\mathbb{P}}^2(\mathbb{C})$  est d’entropie topologique $2logd$  . L’obtention de cette valeur est la combinaison d’une majoration obtenue par M. Gromov (voir [11] ) et d’une minoration due à M. Misiurewicz et F. Przytycki (voir [12] ).

La majoration repose de manière cruciale sur le théorème de Lelong (voir [13] ).

Si on note ${\Gamma }_n=\left\{\right(x,f\left(x\right),...,f^{n-1}\left(x\right)),x\in {\mathbb{P}}^2(\mathbb{C}\left)\right\}$  le multigraphe de $f$  d’ordre $n$  , on voit qu’un ensemble $F$  $(n,\delta )\text{-séparé}$  donne un ensemble $G$  $\delta$  -séparé dans ${\Gamma }_n$  pour la distance produit (qui est $d_n$  ). En désignant par ${\omega }_n$  la forme kahlérienne sur $\left({\mathbb{P}}^2\right(\mathbb{C}){)}^n$  induite par la forme de Fubini-Study $\omega$  sur chaque facteur, on a :

$${\int }_{{\Gamma }_n}{\omega }_n^2=\text{vol}\left({\Gamma }_n\right)⩾{\sum }_{y\in G}\text{vol}\left(B_n\right(y,\frac{\delta }{2})\cap {\Gamma }_n)$$  où $B_n(y,\frac{\delta }{2})$  est la boule centrée en $y$  de rayon $\frac{\delta }{2}$  pour la métrique $d_n$  . Le théorème de Lelong nous conduit alors à une minoration du volume de ${\Gamma }_n$  par $C\left(\text{Card}\right(G\left)\right)$  (où $C$  est une constante indépendante de $n$  ). Autrement dit, l’entropie topologique est majorée par la quantité :

$$lov\left(f\right):={limsup}_{n\to \infty }\frac{1}{n}log\left(\text{vol}\right({\Gamma }_n\left)\right)={limsup}_{n\to \infty }\frac{1}{n}log{\int }_{{\Gamma }_n}{\omega }_n^2$$  qui est égale à $${limsup}_{n\to \infty }\frac{1}{n}log{\int }_{{\mathbb{P}}^2(\mathbb{C})}{\sum }_{i,j=0}^{n-1}{f}^{i*}\omega \wedge f^{j*}\omega =2logd,$$  car $f^{i*}\omega$  est cohomologue à $d^i\omega$  .

La minoration repose sur la construction d’ensembles $(n,\delta )\text{-séparés}$  dans les préimages $f^{-n}\left(x\right)$  de points $x$  dont les antécédents ne s’approchent pas trop souvent de l’ensemble critique.

Elle s’inscrit dans un cadre plus général, celui des applications de classe $C^1$  :

Theoreme 5. (Misiurewicz-Przytycki) Si $M$  est une variété lisse, compacte et orientable et $f:M\to M$  une application de classe $C^1$  , on a :

$$h_{top}\left(f\right)⩾log|deg(f\left)\right|.$$ 

En voici le schéma (voir [12] ).

Supposons tout d’abord que $f$  est un revetement de degré $N$  .

Pour $\delta$  assez petit, tous les points de $f^{-1}\left(x\right)$  sont à distance au moins $\delta$  les uns des autres (et ceci uniformément en $x$  ). De là, on en déduit que les points de $f^{-n}\left(x\right)$  forment un ensemble $(n,\delta )\text{-séparé}$  de cardinal $N^n$  (pour $x$  fixé dans $M$  ). En effet, si $y_1$  , $y_2$  sont dans $f^{-n}\left(x\right)$  et $l$  désigne le plus petit entier tel que $f^l\left(y_1\right)=f^l\left(y_2\right)$  , on a $d\left(f^{l-1}\right(y_1),f^{l-1}(y_2\left)\right)⩾\delta$  .

Autrement dit, $$h_{\text{top}}\left(f\right)⩾logN=log\left|\text{deg}\right(f\left)\right|.$$  Quand $f$  n’est pas un revetement, un bon choix de $x$  permet essentiellement de se ramener au cas précédent. En effet, le théorème de Sard permet de prendre $x$  de sorte que la $n$  -orbite des points de $f^{-n}\left(x\right)$  transite peu dans un petit voisinage de l’ensemble critique.

Voici le plan de la démonstration de la proposition  3 . Ici $U_{\gamma }$  désigne toujours un $\gamma$  -voisinage du support de $\mu$  .

Dans un premier temps, on va majorer le cardinal d’un ensemble $(n,\delta )$  -séparé hors de $U_{\gamma }$  par $d^{n(1+\varepsilon )}$  . Il s’agit donc de localiser au complémentaire de $U_{\gamma }$  l’argument de Gromov. Autrement dit, on sera essentiellement ramené à majorer $\text{vol}\left({\Gamma }_n\right|U_{\gamma }^c)={\int }_{{\Gamma }_n|U_{\gamma }^c}{\omega }_n\wedge {\omega }_n$  par $d^{n(1+\varepsilon )}$  . Ce raisonnement est valable pour tout endomorphisme de ${\mathbb{P}}^2(\mathbb{C})$  .

La seconde étape consiste à construire un ensemble $(n,\delta )$  -séparé contenu dans un ensemble $P_n$  de points de $f^{-n}\left(x\right)$  , de cardinal minoré par $\text{Cardinal}\left(P_n\right)d^{-2\alpha n}$  . C’est dans cette étape que l’on utilise la généricité de $f$  .

2.2 Majoration du cardinal d’ensembles $(n,\delta )$  -séparés

Dans ce paragraphe, on va démontrer le lemme suivant :

Lemme 6. Pour $f$  un endomorphisme holomorphe quelconque, le cardinal d’un ensemble $(n,\delta )$  -séparé hors de $U_{\gamma }$  (avec $\delta$  petit) est majoré par $Cn{d}^n$  (où $C$  est une constante qui ne dépend que de $\delta$  et $\gamma$  ).

• Demonstration. Dans la démonstration, on notera toujours $C$  toute constante qui ne dépend que de $\delta$  et $\gamma$  .
  Soit $F$  un ensemble $(n,\delta )$  -séparé hors de $U_{\gamma }$  . Il induit un ensemble $G$  $\delta$  -séparé dans ${\Gamma }_n\left|\right(U_{\gamma }{)}^c$  .

  On a alors, $$\text{vol}\left({\Gamma }_n\right|U_{\frac{\gamma }{2}}^c)⩾{\sum }_{y\in G}\text{vol}(B_n(y,\frac{\delta }{2})\cap {\Gamma }_n)⩾C\text{Card}(F),$$  par le théorème de Lelong. On obtient donc une minoration du volume du multigraphe restreint à $U_{\frac{\gamma }{2}}^c$  par $C\text{Card}\left(F\right)$  (avec $\delta$  petit).

  Pour dominer le cardinal de $F$  par $Cn{d}^n$  , il reste donc à majorer $\text{vol}\left({\Gamma }_n\right|U_{\frac{\gamma }{2}}^c)$  par cette meme quantité.

  Tout d’abord, on a :

  $$\text{vol}\left({\Gamma }_n\right|U_{\frac{\gamma }{2}}^c)={\int }_{{\Gamma }_n|U_{\frac{\gamma }{2}}^c}{\omega }_n\wedge {\omega }_n={\int }_{U_{\frac{\gamma }{2}}^c}{\sum }_{i,j=0}^{n-1}{f}^{i*}\omega \wedge f^{j*}\omega .$$  La majoration de $\text{vol}\left({\Gamma }_n\right|U_{\frac{\gamma }{2}}^c)$  par $Cn{d}^n$  se déduit donc de celle de $${\int }_{U_{\frac{\gamma }{2}}^c}\frac{f^{i*}\omega }{d^i}\wedge \frac{f^{j*}\omega }{d^j}$$  par $C(\frac{1}{d^i}+\frac{1}{d^j})$  .

  On notera $T_i=\frac{f^{i*}\omega }{d^i}$  . Rappelons la construction de $T$  (voir [8] ).

  Comme la forme $f^{*}\omega$  est cohomologue à $d\omega$  , on a :

  $$\frac{f^{*}\omega }{d}=\omega +d{d}^{c}u,$$  où $u$  est une fonction lisse de ${\mathbb{P}}^2(\mathbb{C})$  .

  En itérant cette relation, on obtient que :

  $$T_i=\omega +d{d}^c{G}_i,$$  avec $G_i={\sum }_{l=0}^{i-1}\frac{u\circ f^l}{d^l}$  .

  Autrement dit, en passant à la limite, on a $T=\omega +d{d}^{c}G$  où $G$  est une fontion continue qui vérifie :

  $${max}_{{\mathbb{P}}^2(\mathbb{C})}|G_i-G|⩽\frac{C}{d^i}.$$  Soit maintenant $\psi$  une fonction $C^{\infty }$  à support compact dans $U_{\frac{\gamma }{3}}^c$  , comprise entre $0$  et $1$  et qui vaut $1$  sur $U_{\frac{\gamma }{2}}^c$  . Alors :

  $${\int }_{U_{\frac{\gamma }{2}}^c}{T}_i\wedge T_j={\int }_{U_{\frac{\gamma }{2}}^c}\psi T_i\wedge T_j⩽\int \psi T_i\wedge T_j.$$  Mais la dernière intégrale est égale à :

  $$\int \psi (T_i-T)\wedge T_j+\int \psi T\wedge (T_j-T)$$  car $\int \psi T\wedge T$  est dominée par $T\wedge T\left(U_{\frac{\gamma }{3}}^c\right)$  qui vaut $0$  .

  Autrement dit, si on sait majorer $\int \psi (T_i-T)\wedge S$  (où $S$  désigne un $(1,1)$  -courant positif fermé de masse $1$  ) par $\frac{C}{d^i}$  , on pourra conclure.

  Cependant, on a :

  $$\int \psi (T_i-T)\wedge S=\int (G_i-G)d{d}^c\psi \wedge S,$$  c’est-à-dire, $$\int \psi (T_i-T)\wedge S⩽|G_i-G{|}_{{\mathbb{P}}^2(\mathbb{C})}|\psi {|}_{C^2},$$  qui est bien majoré par $\frac{C}{d^i}$  .

Remarquons au passage le :

Corollaire. L’entropie topologique $h_{top}\left(f\right|U_{\gamma }^c)$  est majorée par $logd$  .

Ici, $h_{\text{top}}\left(f\right|U_{\gamma }^c)$  désigne l’entropie topologique de $f$  localisée à $U_{\gamma }^c$  . Elle est définie par :

$$h_{\text{top}}\left(f\right|U_{\gamma }^c)={sup}_{\delta >0}{limsup}_{n\to \infty }\frac{1}{n}log(max\left\{\text{Card}\right(F),F(n,\delta )\text{séparé},F\subset U_{\gamma }^c\}).$$ 

2.3 Construction d’ensembles $(n,\delta )$  -séparés

On considère un $\varepsilon$  -voisinage, $C_{\varepsilon }$  , de l’ensemble critique de $f$  . L’application $f$  est localement injective sur le complémentaire de $C_{\varepsilon }$  . Il existe donc $\delta >0$  tel que pour $x$  et $y$  dans $(C_{\varepsilon }{)}^c$  avec $d(x,y)⩽\delta$  on ait $f\left(x\right)\ne f\left(y\right)$  . Enfin, on prend $\delta$  strictement plus petit que $\varepsilon$  .

L’objectif de ce paragraphe est alors de démontrer :

Lemme 7. On peut construire un ensemble $(n,\delta )$  -séparé contenu dans un ensemble $P_n$  de points de $f^{-n}\left(x\right)$  , de cardinal minoré par $Card\left(P_n\right)d^{-2m}$  , où $m$  est le nombre maximal de passages de l’orbite d’ordre $n$  d’un point de $P_n$  dans $C_{2\varepsilon }$  .

• Demonstration. La démonstration de ce lemme va se faire en deux étapes. Dans la première, on va construire un ensemble $(n,\delta )$  -séparé contenu dans l’ensemble $P_n$  . Dans la seconde, on minorera le cardinal de cet ensemble.
  On note $P_{n-k}$  l’ensemble $f^k\left(P_n\right)$  .

  Dans un premier temps, on part de $x$  et on considère les points de $P_1\subset f^{-1}\left(x\right)$  .

  Parmi eux, il y a ceux qui sont dans $(C_{2\varepsilon }{)}^c$  et ceux qui n’y sont pas. On va garder tous les points qui sont dans la première catégorie. Ensuite, parmi ceux qui sont dans $C_{2\varepsilon }$  , on ne garde que celui qui a le plus d’antécédents dans $P_n$  . On note $Q_1$  l’ensemble constitué par ce point et par les points de $P_1\cap (C_{2\varepsilon }{)}^c$  . D’autre part, on dira que l’on a eu une mauvaise transition au point de $\left(C_{2\varepsilon }\right)$  que l’on a conservé.

  En remplaçant maintenant $x$  par les points de $Q_1$  dans le raisonnement précédent, on construit un ensemble $Q_2\subset P_2$  . Puis, en itérant le procédé, on arrive à un ensemble $Q_n\subset P_n\subset f^{-n}\left(x\right)$  .

  L’ensemble $Q_n$  obtenu est $(n,\delta )$  -séparé.

  En effet, si $y_1,y_2\in Q_n$  et $d\left(f^k\right(y_1),f^k(y_2\left)\right)⩽\delta$  pour $k=0,...,n-1$  alors $f^{n-1}\left(y_1\right)=f^{n-1}\left(y_2\right)$  car de deux choses l’une :

  soit $f^{n-1}\left(y_1\right)$  et $f^{n-1}\left(y_2\right)$  sont dans $(C_{\varepsilon }{)}^c$  et l’égalité provient de la définition de $\delta$  ; soit $f^{n-1}\left(y_1\right)$  ou $f^{n-1}\left(y_2\right)$  est dans $C_{\varepsilon }$  et alors ces deux éléments sont dans $C_{2\varepsilon }$  (car $\delta$  est inférieur à $\varepsilon$  ) et l’égalité découle de la définition de $Q_1$  .

  A partir de là, on montre de meme que $f^{n-2}\left(y_1\right)=f^{n-2}\left(y_2\right)$  et ainsi de suite jusqu’à $y_1=y_2$  .

  On a donc construit un ensemble $(n,\delta )$  -séparé, $Q_n$  , inclus dans $P_n$  . Il reste à minorer le cardinal de cet ensemble par $\text{Card}\left(P_n\right)d^{-2m}$  .

  On va faire une récurrence sur le nombre maximal $k$  de mauvaises transitions entre $x$  et un point $y$  de $P_n$  (ce nombre varie entre $0$  et $m$  ). Elle va montrer que le cardinal de $Q_n$  est minoré par $\text{Card}\left(P_n\right)d^{-2k}$  .

  Pour $k=0$  , le résultat est clair car on n’enlève aucun point de $P_n$  .

  On va traiter le cas $k=1$  pour mieux comprendre le procédé. Si on part d’un point $y$  dans $P_n$  , on a deux possibilités :

  Soit il existe $l$  dans $\{1,...,n\}$  tel que $f^l\left(y\right)$  soit une mauvaise transition. Dans ce cas, on note $S\left(y\right)$  l’ensemble des préimages dans $P_n$  des points de $f^{-1}\left(f^{(l+1)}\right(y\left)\right)\cap P_{n-l}\cap C_{2\varepsilon }$  .

  Comme on ne garde que la branche qui donne le plus de points dans $P_n$  , on en déduit que parmi les points de $S\left(y\right)$  , il y en a au moins $\text{Card}\left(S\right(y\left)\right)d^{-2}$  qui sont dans $Q_n$  .

  Soit ce $l$  n’existe pas et alors $y$  est dans $Q_n$  . Dans ce cas, on note $S\left(y\right)=y$  .

  Maintenant, on peut recommencer avec $z\in P_n-S\left(y\right)$  et ainsi de suite. On obtient donc :

  $$\text{Card}\left(Q_n\right)⩾\text{Card}\left(P_n\right)d^{-2}.$$  On suppose la propriété vraie jusqu’au rang $k$  et on veut la montrer au rang $k+1$  .

  Quand on enlève les points de $P_n$  correspondant aux $k$  premières mauvaises transitions, on obtient un sous-ensemble de $P_n$  (qui contient $Q_n$  ) de cardinal minoré par $\text{Card}\left(P_n\right)d^{-2k}$  .

  Dans chaque branche de ce sous-ensemble il reste au plus une mauvaise transition. On se retrouve donc dans le cas $k=1$  avec ce sous-ensemble à la place de $P_n$  . Autrement dit, on trouve bien une minoration de $Q_n$  par $d^{-2}\left(\text{Card}\right(P_n\left)d^{-2k}\right)=\text{Card}\left(P_n\right)d^{-2(k+1)}$  . La récurrence est donc démontrée.

  Dans notre situation, on sait que le nombre de mauvaises transitions est majoré par $m$  .

  On obtient donc une minoration du cardinal de l’ensemble $Q_n$  , $(n,\delta )$  -séparé, par $\text{Card}\left(P_n\right)d^{-2m}$  .

2.4 Fin de la démonstration de la proposition  3 

On fixe $\alpha >0$  arbitrairement petit et dans toute la suite $n$  sera supposé grand.

On rappelle que l’on considère des endomorphismes holomorphes génériques. Cela signifie que $C_f\cap f^i\left(C_f\right)\cap f^j\left(C_f\right)=\varnothing$  dès que $i,j\in {\mathbb{N}}^{*}$  et $i\ne j$  . La généricité de cette condition est démontrée dans [9] .

Soit $k$  tel que $\frac{3}{k}<\alpha$  .

Tout d’abord, si $\varepsilon$  est assez petit, on a $C_{2\varepsilon }\cap f^i\left(C_{2\varepsilon }\right)\cap f^j\left(C_{2\varepsilon }\right)=\varnothing$  si $i,j\in \{1,...,k\}$  et $i\ne j$  .

Ensuite, l’application $f$  est localement injective sur le complémentaire de $C_{\varepsilon }$  . Il existe donc $\delta =\delta (\alpha ,f)>0$  tel que pour $x$  et $y$  dans $(C_{\varepsilon }{)}^c$  avec $d(x,y)⩽\delta$  on ait $f\left(x\right)\ne f\left(y\right)$  . Enfin, on prend $\delta$  petit devant $\varepsilon$  et $\gamma$  .

Maintenant, en utilisant le paragraphe précédent, si on fixe un point $x$  de ${\mathbb{P}}^2(\mathbb{C})$  et que l’on note $P_n$  l’ensemble de ses préimages par $f^n$  qui se trouvent hors de $U_{\gamma }$  , on peut construire un ensemble $(n,\delta )$  -séparé inclus dans $P_n$  de cardinal minoré par $\text{Card}\left(P_n\right)d^{-2m}$  (où $m$  est le nombre maximal de passages de l’orbite d’ordre $n$  d’un point de $P_n$  dans $C_{2\varepsilon }$  ).

D’autre part, en utilisant la majoration obtenue dans le lemme  6 , le cardinal de cet ensemble est majoré par $Cn{d}^n$  (où $C$  est une constante qui ne dépend que de $\delta$  et $\gamma$  ).

Autrement dit, on a :

$$\text{Card}\left(P_n\right)⩽Cn{d}^{2m}{d}^n.$$  Maintenant, si on montre que pour tout point $y$  de ${\mathbb{P}}^2(\mathbb{C})$  , le nombre de passages de l’orbite d’ordre $n$  de $y$  dans $C_{2\varepsilon }$  est majoré par $\alpha n$  (pour $n$  grand), on aura :

$$\text{Card}\left(P_n\right)⩽Cn{d}^{n(2\alpha +1)},$$  et la proposition sera démontrée.

Soit donc $A$  l’ensemble des points de ${\mathbb{P}}^2(\mathbb{C})$  dont l’orbite visite souvent un $2\varepsilon$  -voisinage de l’ensemble critique, i.e. :

$$A=\{x\in {\mathbb{P}}^2(\mathbb{C})/\text{Card}(C_{2\varepsilon }\cap \{x,f(x),...,f^{n-1}(x\left)\right\})⩾\alpha n\}.$$  Alors $A$  est bien vide :

en effet, soit $y\in A$  . Si on prend $m\in \mathbb{N}$  avec $m+k⩽n$  , on a : $$\text{Card}(i\in \{m,...,m+k\left\}\text{,}{f}^i\right(y)\in C_{2\varepsilon })⩽2$$  par définition de $\varepsilon$  . D’où $$\text{Card}(i\in \{1,...,n\left\}\text{,}{f}^i\right(y)\in C_{2\varepsilon })⩽2\left(\right[\frac{n}{k}]+1)⩽n(\frac{2}{k}+\frac{2}{n})<\alpha n.$$ 

3 Controle du genre

Dans ce paragraphe, on va passer à la démonstration du théorème  2 . Dans celle-ci, il suffit de traiter le cas où $L$  est générique. En effet, une majoration du genre de $f^{-n}\left(L\right)-U$  pour des droites génériques par $C{d}^{(1+\alpha )n}$  (avec $C$  indépendante de $L$  ) conduit à la meme majoration du genre de $f^{-n}\left(L\right)-U$  pour toutes les droites par passage à la limite. Dans toute la suite on supposera donc que $f^{-n}\left(L\right)$  est lisse et que $L$  est transverse à l’ensemble postcritique.

Pour majorer le genre de $f^{-n}\left(L\right)-U$  , on va construire une partition en disques et anneaux de $f^{-n}\left(L\right)$  et faire un calcul de caractéristique d’Euler. Cependant, lors de la démonstration du cas critiquement fini, on a vu que l’on devait controler la longueur des aretes de la triangulation. Dans ce but, on va utiliser ici un peu de géométrie hyperbolique. En effet, si on considère une petite arete dans la partie épaisse d’une surface hyperbolique, on peut l’insérer dans un disque de sorte à controler le module de l’anneau ainsi créé. On est donc en mesure d’utiliser un argument longueur-aire.

Voici le plan de ce paragraphe : la décomposition de $f^{-n}\left(L\right)$  en disques et anneaux occupera les deux premières parties. En effet, dans un premier temps on construira de telles partitions sur des surfaces hyperboliques quelconques d’aire finie. Puis, on utilisera cette construction de façon itérative pour produire la partition de $f^{-n}\left(L\right)$  que l’on cherche. Enfin les deux dernières parties seront consacrées d’une part à la majoration du genre et d’autre part au controle des longueurs des aretes de la triangulation.

3.1 Construction d’une partition statique

Dans cette partie, on va produire une partition en disques et anneaux d’une surface de Riemann hyperbolique $S$  quelconque d’aire finie.

Rappelons que $S$  est composée d’une partie mince (ensemble des points où le rayon d’injectivité est inférieur à $\text{Argsh}\left(1\right)$  ) et d’une partie épaisse. Par ailleurs la partie mince consiste en cusps et anneaux (voir [3] pour plus de détails).

La partition de $S$  sera donc composée de la partie mince et d’un recouvrement régulier de la partie épaisse par des disques.

On note $F$  un ensemble $\varepsilon$  -séparé maximal dans la partie épaisse (avec $\varepsilon <\text{Argsh}\left(1\right)$  ). L’aire pour une métrique de courbure $-1$  d’un disque $D(x,\frac{\varepsilon }{2})$  avec $x$  dans la partie épaisse est une constante qui ne dépend que de $\varepsilon$  . Le cardinal de $F$  est donc majoré par $C\text{aire}\left(S\right)$  (on note $C$  toute constante qui ne dépend que de $\varepsilon$  ). On recouvre la partie épaisse avec la réunion des disques $D(x,\varepsilon )$  (où $x$  décrit $F$  ). On en déduit une partition recouvrant la partie épaisse par des disques qui sont les intersections des disques précédents, d’où une partition de $S$  par des disques et des anneaux.

Si $x$  est un élément de $F$  , il y a au plus $C$  points de $F$  dans $D(x,2\varepsilon )$  . La partition ci-dessus contient donc au plus $C\text{aire}\left(S\right)$  aretes. Ce nombre prend en compte les aretes qui bordent la partie mince.

C’est cette partition que l’on utilisera pour construire une partition dynamique de $f^{-n}\left(L\right)$  .

Remarquons enfin que l’aire de $S$  est bornée par sa topologie (grace à la formule de Gauss-Bonnet). Autrement dit, le nombre d’aretes de la partition précédente est majoré par $-C\chi \left(S\right)$  .

3.2 Construction de la partition dynamique de $f^{-n}\left(L\right)$ 

On part d’une droite $L$  projective et on note $V$  l’ensemble des valeurs critiques de $f$  .

La première étape consiste à fabriquer une “bonne” partition de $L$  composée de disques et d’anneaux.

Quitte à bouger un peu $L$  , $S=L-L\cap V$  est une surface de Riemann hyperbolique (car $V$  est de degré $3d(d-1)⩾3$  ). En utilisant le paragraphe précédent, on peut donc construire une partition de $S$  , donc de $L$  , en des disques et des anneaux. Elle contient au plus $C\text{Card}(L\cap V)$  aretes.

C’est la “bonne” partition que l’on cherchait.

Par construction, les disques (resp. les anneaux) de la partition de $L$  se relèvent sous forme de disques (resp. d’anneaux). En effet, l’application $f$  est un revetement de $f^{-1}\left(L\right)-f^{-1}\left(V\right)$  sur $L-V$  . Ainsi, en tirant en arrière par $f$  la partition de $L$  , on en obtient une de $f^{-1}\left(L\right)$  .

On va maintenant raisonner dans $f^{-1}\left(L\right)$  où on veut construire une “bonne” partition.

Quitte à bouger un peu les partitions, on supposera dans la suite que les aretes que l’on construit ne touchent jamais un itéré de $V$  .

Les disques (resp. les anneaux) de $f^{-1}\left(L\right)$  qui rencontrent $V$  en au plus un point (resp. qui ne rencontrent pas $V$  ) se relèvent par $f$  sous forme de disques (resp. d’anneaux). On ne va donc pas les modifier. Par contre, on va redécouper les disques et anneaux qui n’entrent pas dans les catégories ci-dessus.

On va traiter le cas du disque (celui de l’anneau est identique).

On note $D$  un disque de $f^{-1}\left(L\right)$  qui touche $V$  en au moins deux points. En doublant $D$  et en enlevant les points de $V\cap D$  ainsi que leurs symétriques, on obtient une surface de Riemann $S^{{}^{\prime }}$  hyperbolique.

Comme dans l’étape précédente, on produit une partition de $S^{{}^{\prime }}$  en utilisant les anneaux de la partie mince auxquels on ajoute un recouvrement de la partie épaisse par des disques $D(x,\varepsilon )$  .

Pour des raisons de symétrie, le bord de $D$  dans $S^{{}^{\prime }}$  est une géodésique. La partition précédente induit donc une partition de $D-D\cap V$  , donc de $D$  , en disques et anneaux qui contient $C\text{Card}(D\cap V)$  aretes.

En recommençant ce que l’on vient de faire avec les autres disques et anneaux qui rencontrent $V$  , on construit une “bonne” partition de $f^{-1}\left(L\right)$  . Si on relève celle-ci par $f$  et que l’on itère le procédé, on aboutit à une partition “dynamique” de $f^{-n}\left(L\right)$  en disques et anneaux.

Dans le paragraphe suivant, on va montrer qu’un controle des longueurs des aretes de la partition induit la majoration du genre de $f^{-n}\left(L\right)$  hors de $U_{\gamma }$  en $d^{n(1+\alpha )}$  .

3.3 Majoration du genre des préimages de droites

On va procéder ici comme dans le cas critiquement fini.

Soit $\Gamma$  la réunion des aretes et des sommets de la partition ainsi obtenue qui sont contenus dans $U_{\gamma }$  .

Alors :

$$g\left(f^{-n}\right(L)-U_{\gamma })⩽g\left(f^{-n}\right(L)-\Gamma ),$$  et c’est ce dernier terme que l’on va majorer.

Une composante connexe de $f^{-n}\left(L\right)-\Gamma$  peut etre de deux types. Soit elle ne contient pas d’arete de la triangulation et alors c’est nécessairement un disque ou un anneau (donc de genre nul). Soit elle en contient au moins une. Si $\mathcal{C}$  désigne l’union des composantes du deuxième type, on obtient :

$$g\left(f^{-n}\right(L)-U_{\gamma })⩽\text{Nombre de composantes de}\mathcal{C}-\frac{\chi (\mathcal{C})}{2},$$  Ainsi :

$$g\left(f^{-n}\right(L)-U_{\gamma })⩽\frac{3}{2}\text{du nombre d’aretes qui sortent de}{U}_{\gamma }.$$  En effet les faces qui composent les éléments de $\mathcal{C}$  étant des disques ou des anneaux, $-\chi (\mathcal{C})$  est majoré par le nombre d’aretes qui sortent de $U_{\gamma }$  .

Il reste donc à majorer ce dernier terme.

Si $a$  est une arete qui sort de $U_{\gamma }$  , elle entre dans un des deux cas suivants :

1 $\text{er}$ cas: $a$  possède un sommet hors de $U_{\frac{\gamma }{2}}$  .

La majoration du nombre de ces aretes découle alors du controle des préimages des sommets.

On fixe $\alpha >0$  .

Il existe $n_0$  à partir duquel on a :

$${max}_{x\in {\mathbb{P}}^2}\text{Card}\left(f^{-n}\right(x)\cap U_{\frac{\gamma }{2}}^c)⩽d^{n(1+\alpha )}.$$  Etant donné que le nombre d’aretes créées au rang $k$  est de l’ordre de $C{d}^k$  , on obtient alors une majoration du nombre d’aretes de $f^{-n}\left(L\right)$  qui ont un sommet hors de $U_{\frac{\gamma }{2}}$  par : $${\sum }_{k=0}^{n-n_0}C{d}^k{d}^{(n-k)(1+\alpha )}+{\sum }_{k=n-n_0+1}^{n}C{d}^k{d}^{2(n-k)}.$$  Le nombre d’aretes de la partition de $f^{-n}\left(L\right)$  qui entrent dans le premier cas est donc majoré par $d^{n(1+2\alpha )}$  (pour $n$  grand).

2 $\text{ème}$ Cas: Les deux sommets de $a$  sont dans $U_{\frac{\gamma }{2}}$  (en particulier la longueur de $a$  est supérieure à $\gamma$  ).

Une majoration du nombre des aretes de ce type par $d^{n(1+\alpha )}$  démontrerait le résultat.

C’est ce controle qui va etre l’objet du paragraphe suivant.

3.4 Controle des longueurs des aretes de la partition

On va voir que le controle des longueurs des aretes de la partition de $f^{-n}\left(L\right)$  est possible quitte à la bouger un peu. Soit $D$  un disque de $f^{-k}\left(L\right)$  qui touche $V$  en au moins deux points (le cas de l’anneau est identique). Rappelons que l’on note $S^{{}^{\prime }}$  la surface de Riemann hyperbolique associée à $D$  et $\mu$  sa métrique de Poincaré. Parmi les éléments qui partitionnent $D$  , on a des disques $D(x,\varepsilon )\cap D$  .

On va voir que quitte à bouger un peu $\partial D(x,\varepsilon )$  , on peut controler les longueurs des préimages par $f^{n-k}$  de $\partial D(x,\varepsilon )-\left\{1\text{point}\right\}$  .

Traitons l’exemple d’un disque $D(x,\varepsilon )\cap D$  où $x$  est à distance au moins $2\varepsilon$  de $\partial D$  .

Sur le disque $\Delta$  , constitué de l’anneau $D(x,2\varepsilon )-D(x,\varepsilon )$  auquel on a enlevé une géodésique $c$  qui joint $\partial D(x,2\varepsilon )$  à $\partial D(x,\varepsilon )$  , on peut définir $d^{2(n-k)}$  branches inverses $f_j^{-n+k}$  de $f^{n-k}$  .

D’autre part, si on note $d{s}^2$  la métrique ambiante restreinte à $f^{-n}\left(L\right)$  , $(f_j^{-n+k}{)}^{*}d{s}^2$  est conforme à la métrique hyperbolique (écrite en coordonnées polaires) $\mu =d{r}^2+{\text{sh}}^2\left(r\right)d{\theta }^2$  sur $\Delta$  . Cela se traduit par :

$$(f_j^{-n+k}{)}^{*}d{s}^2={\rho }_j^2(d{r}^2+{\text{sh}}^2\left(r\right)d{\theta }^2).$$  Voici l’argument longueur-aire donnant le controle voulu :

$$\text{aire}\left(f^{-n+k}\right(\Delta \left)\right)={\int }_0^{2\pi }{\int }_{\varepsilon }^{2\varepsilon }{\sum }_{j=1}^{d^{2(n-k)}}{\rho }_j^2\text{sh}\left(r\right)drd\theta ⩽\text{aire}\left(f^{-n+k}D\right(x,2\varepsilon \left)\right)=A.$$  Il existe alors ${\varepsilon }_0$  dans l’intervalle $[\varepsilon ,2\varepsilon ]$  qui vérifie :

$${\sum }_{j=1}^{d^{2(n-k)}}{\int }_0^{2\pi }{\rho }_j^2({\varepsilon }_0,.)d\theta ⩽CA.$$  On a donc :

$$\text{Long}\left(f_j^{-n+k}\right(\partial D(x,{\varepsilon }_0)-c\left)\right)={\int }_0^{2\pi }{\rho }_j({\varepsilon }_0,.)\text{sh}\left({\varepsilon }_0\right)d\theta ⩽C{\left({\int }_0^{2\pi }{\rho }_j^2({\varepsilon }_0,.)d\theta \right)}^{\frac{1}{2}}⩽\gamma$$  sauf un nombre d’indices $j$  majoré par $CA$  .

Pour la partition de $D$  , on remplace alors $D(x,\varepsilon )$  par $D(x,{\varepsilon }_0)$  .

Les disques de taille $2\varepsilon$  se recouvrent un nombre fini borné à priori de fois. Autrement dit, les aretes créées au rang $k$  , mais non incluses dans les préimages des aretes des étapes précédentes, ont leurs préimages dans $f^{-n}\left(L\right)$  de longueur inférieure à $\gamma$  (sauf $C{d}^n$  d’entre elles). Ainsi, en considérant maintenant toutes les étapes $k$  et en remarquant que redécouper une arete créée au rang $k$  dans une étape postérieure ne change rien aux estimées, on en déduit que le nombre d’aretes de $f^{-n}\left(L\right)$  de longueur supérieure à $\gamma$  est dominé par $Cn{d}^n$  .

References

1. E. Bedford, M. Lyubich et J. Smillie, Polynomial diffeomorphisms of ${\mathbb{C}}^2$  . IV : The measure of maximal entropy and laminar currents, Invent. Math., 112 (1993), 77-125.
2. J.-Y. Briend et J. Duval, Deux caractérisations de la mesure d’équilibre d’un endomorphisme de ${\mathbb{P}}^k(\mathbb{C})$  , IHES Publ. Math. , 93 (2001), 145-159.
3. P. Buser, Geometry and Spectra of Compact Riemann Surfaces, Birkhauser , (1992) .
4. H. de Thélin, Sur la laminarité de certains courants, Ann. Sci. Ecole Norm. Sup., 37 (2004), 304-311.
5. R. Dujardin, Laminar currents in ${\mathbb{P}}^2$  , Math. Ann., 325 (2003), 745-765.
6. R. Dujardin, Sur l’intersection des courants laminaire, Publ. Mat., 48 (2004), 107-125.
7. C. Favre et M. Jonsson, Brolin’s theorem for curves in two complex dimensions, Ann. Inst. Fourier, 53 (2003), 1461-1501.
8. J.E. Fornæss et N. Sibony, Complex dynamics in higher dimension, Complex Potential Theory (Montreal, PQ, 1993), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 439, Kluwer, Dordrecht (1994), 131-186.
9. J.E. Fornæss et N. Sibony, Complex dynamics in higher dimension I, Astérisque, 222 (1994), 201-231.
10. J.E. Fornæss et N. Sibony, Complex dynamics in higher dimension II, Ann. Math. Studies, 137 (1995), 134-182.
11. M. Gromov, On the entropy of holomorphic maps, Enseign. Math., 49 (2003), 217-235.
12. A. Katok et B. Hasselblatt, Introduction to the modern theory of dynamical systems, Encycl. of Math. and its Appl., vol. 54, Cambridge University Press, (1995).
13. P. Lelong, Propriétés métriques des variétés analytiques complexes définies par une équation, Ann. Sci. Ecole Norm. Sup., 67 (1950), 393-419.

Henry de Thélin Université Paris-Sud (Paris 11), Mathématique, Bat. 425, 91405 Orsay, France. E-mail : Henry.De-Thelin@math.u-psud.fr