Voici maintenant le plan de la suite de la démonstration. Dans un premier paragraphe, nous allons enlever les composantes $\Delta$  de $\mathcal{C}$  pour lesquelles $f(\Delta )$  est très différent de ${\Sigma }_0$  .

Cette modification de $\Sigma$  permettra de se rapprocher du cas où $f$  est un revetement. Le second paragraphe sera ensuite consacré au calcul de $\chi (\Sigma )$  .

1) Modification de $\Sigma$  Si $\Delta$  est une composante au-dessus de $D_0$  , on peut décomposer $f(\Delta )$  en strates : ${\Delta }^1$  est la partie de $f(\Delta )$  recouverte au moins une fois,..., ${\Delta }^p$  celle recouverte $p$  fois (où $p$  est la multiplicité maximale de $f(\Delta )$  ). On note ${\gamma }_j$  la partie de $f(\partial \Sigma )$  qui borde ${\Delta }^j$  et on fixe $\varepsilon >0$  petit (en particulier devant la longueur du plus petit coté de $D_0$  ). Alors, si $l\left({\gamma }_j\right)$  désigne la longueur de ${\gamma }_j$  , on peut avoir :

l’existence d’un $j$  dans $\{1,...,p\}$  avec $l\left({\gamma }_j\right)⩾\varepsilon$  (on dira que la strate en question a un bord long) ou :

pour tout $j$  dans $\{1,...,p\}$  , $l\left({\gamma }_j\right)⩽\varepsilon$  (on parlera de bord court).

En utilisant une inégalité isopérimétrique linéaire et le fait que le bord de $D_0$  est lisse par morceaux, on remarque que dans le dernier cas, on a :

Soit : $$\text{aire de}{\Delta }^j⩾\text{aire de}{D}_0-hl\left({\gamma }_j\right)\text{, pour un certain}j\in \{1,...,p\}.$$  Soit :

$$\text{aire de}{\Delta }^j⩽hl\left({\gamma }_j\right)\text{, pour tout}j\in \{1,...,p\},$$  où $h$  est une constante qui ne dépend que de ${\Sigma }_0$  . Dans toute la suite ce type de constante sera toujours notée $h$  .

Dans notre contexte, ce sont les composantes du dernier type $({\Sigma }^i{)}_{i\in I}$  qui ont leur image la plus différente de ${\Sigma }_0$  . Les ${\Sigma }^i$  seront appelées mauvaises composantes et nous allons les enlever.

Remarquons que nous avons deux possibilités :

soit $\Sigma ={\cup }_{i\in I}{\Sigma }^i$  , ce qui implique :

$$S⩽hL$$  par définition meme des mauvaises composantes (dans ce cas le théorème est démontré), soit $\Sigma \ne {\cup }_{i\in I}{\Sigma }^i$  et alors :

$$\chi (\Sigma )⩽\chi (\Sigma -{\cup }_{i\in I}{\Sigma }^i),$$  car les composantes ${\Sigma }^i$  (avec $i$  dans $I$  ) ont du bord en commun avec $\Sigma$  .

Par ailleurs, toujours par définition des mauvaises composantes, la surface $\tilde{\Sigma }=\Sigma -{\cup }_{i\in I}{\Sigma }^i$  a la longueur de son bord relatif majoré par $hL$  et l’aire de $f\left(\tilde{\Sigma }\right)$  diffère de celle de $f(\Sigma )$  d’au plus $hL$  .

En résumé, si on démontre que $$\chi \left(\tilde{\Sigma }\right)⩽\tilde{S}\chi \left({\Sigma }_0\right)+h\tilde{L}$$  (avec des notations évidentes), le théorème sera démontré. Dans toute la suite nous oublierons les tildes : $\Sigma$  désignera la surface modifiée. 2) Calcul de $\chi (\Sigma )$  Désignons toujours par $\mathcal{C}$  l’ensemble des composantes connexes de $\Sigma$  au-dessus du disque $D_0$  (i.e. dans $f^{-1}\left(D_0\right)$  ). On notera $s$  le nombre de relevés du point $p$  par $f$  . Parmi les composantes connexes dans les préimages par $f$  des cotés de $D_0$  qui se trouvent dans la surface $\Sigma$  , il y en a certaines qui ne sont pas dans le bord de $\Sigma$  . Nous les appellerons aretes de $\Sigma$  et nous noterons $a$  leur nombre. La surface $\Sigma$  privée des $s$  relevés du point $p$  s’obtient en recollant les composantes de $\mathcal{C}$  le long des $a$  aretes. En particulier, nous avons :

$$\chi (\Sigma )={\sum }_{\Delta \in \mathcal{C}}\chi (\Delta )-a+s.$$  Grace à notre simplification effectuée au paragraphe précédent, on sait qu’une composante de $\Sigma$  au-dessus du disque $D_0$  possède une strate qui a soit un bord long, soit une aire supérieure à $\text{aire}\left(D_0\right)-hl\left({\gamma }_j\right)=A_0-hl\left({\gamma }_j\right)$  .

Il y en a au plus $\frac{L}{\varepsilon }$  qui possèdent une strate avec un bord long.

Pour les composantes qui possèdent une strate d’aire supérieure à $A_0-hl\left({\gamma }_j\right)$  , on voit facilement qu’il y en a au plus $S+hL$  . On obtient alors la majoration :

$${\sum }_{\Delta \in \mathcal{C}}\chi (\Delta )⩽S+hL.$$  Ensuite, si on choisit le point $p$  de sorte à etre peu recouvert, nous avons $s⩽S$  . Pour finir, il nous faut donc minorer le nombre d’aretes $a$  .

On se fixe une composante connexe $\Delta$  au-dessus de $D_0$  .

La composante $f(\Delta )$  contient des strates pour lesquelles on a $l\left({\gamma }_j\right)⩾\varepsilon$  et d’autres avec cette longueur plus petite que $\varepsilon$  . Les strates de la deuxième espèce se divisent en deux catégories : celles qui ont une aire inférieure à $hl\left({\gamma }_j\right)$  et celles pour qui cette aire est supérieure à $A_0-hl\left({\gamma }_j\right)$  . Si $m(\Delta )$  désigne le nombre de strates de la dernière sorte, on a :

$$\nu (\Delta )⩾4gm(\Delta ),$$  où $\nu (\Delta )$  désigne le nombre d’aretes de $\Sigma$  qui bordent $\Delta$  . En effet, soit $\gamma$  un sous-segment d’un coté de $D_0$  choisi de sorte qu’un de ses petits voisinages dans $D_0$  soit inclus dans les $m(\Delta )$  strates (c’est possible car elles s’emboıtent les unes dans les autres et que $\varepsilon$  est très petit devant la longueur du plus petit coté de $D_0$  ) ; alors $\gamma$  a au moins $m(\Delta )$  relevés par $f$  qui sont inclus dans des aretes de $\Delta$  . La minoration de $\sum m(\Delta )$  entraıne donc celle du nombre d’aretes $a⩾\frac{1}{2}\sum \nu (\Delta )$  . Pour l’obtenir, on va minorer l’aire recouverte par les $\sum m(\Delta )$  strates.

Les strates pour lesquelles la longueur de ${\gamma }_j$  est supérieure à $\varepsilon$  sont en nombre au plus égal à $\frac{L}{\varepsilon }$  . L’union de ces éléments est donc d’aire inférieure à $\frac{L}{\varepsilon }\text{aire}\left(D_0\right)=hL$  .

De meme, l’ensemble des strates qui ont un petit bord et une aire majorée par $hl\left({\gamma }_j\right)$  a une aire majorée par $hL$  .

En combinant ces deux majorations, on obtient que l’aire recouverte par les strates qui ont un petit bord et une aire minorée par $A_0-hl\left({\gamma }_j\right)$  est supérieure à :

$$A_{0}S-hL.$$  Autrement dit, on a :

$$a⩾\frac{4g}{2}{\sum }_{\Delta \in \mathcal{C}}m(\Delta )⩾\frac{4g}{2}\frac{1}{A_0}(A_{0}S-hL)⩾2gS-hL.$$  Finalement, on a :

$$\chi (\Sigma )={\sum }_{\Delta \in \mathcal{C}}\chi (\Delta )-a+s⩽(1-2g+1)S+hL=\chi \left({\Sigma }_0\right)S+hL,$$  qui est l’inégalité que l’on voulait démontrer.

References

1. L. Ahlfors, Zur Theorie der Uberlagerungsflachen, Acta Math., 65 (1935), 157-194.
2. 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.
3. R. Nevanlinna, Analytic Functions, Springer-Verlag, (1970).
4. E. Reyssat, Quelques aspects des surfaces de Riemann, Progress in Mathematics 77, Birkhauser, (1989) .

Henry de Thélin Université Paris-Sud (Paris 11) Mathématique, Bat. 425 91405 Orsay France