, ,

Dans [M1] et [M2] B. Malgrange définit la

D

-enveloppe, ou enveloppe galoisienne, de divers systèmes dynamiques analytiques (feuilletage, champ de vecteurs, transformation rationnelle . . . ) sur une variété analytique complexe lisse. Heuristiquement, il s'agit du système maximal d'équations aux dérivées partielles portant sur les difféomorphismes locaux de cette variété vérifiant les deux conditions suivantes :

– les solutions locales de ce système sont stables par inversion et composition,
– le système dynamique est solution (infinitésimale) de ce système.

Dans le cas des feuilletage, cette objet est fortement lié à l'existence d'intégrales premières d'un type de transcendance particulier (voir [C2] ). Dans le cas des équations différentielles linéaires, la

D

-enveloppe redonne le groupe de Galois différentiel d'une extension de Picard-Vessiot ([M1] , voir aussi [C2] ).

Dans cet article nous donnons la liste des transformations rationnelles de

P^{1}

ayant une

D

-enveloppe non triviale, c'est-à-dire définie par au moins une équation non nulle.

Théorème principal. Les seules applications rationnelles de

P^{1}

dans

P^{1}

ayant une

D

-enveloppe non triviale sont, à conjugaison par une homographie près, les monômes, les polynômes de Tchébitchev et les exemples de Lattès.

La construction de ces applications sera rappelée dans la première partie et les définitions de

D

-groupoïde de Lie et

D

-enveloppe, dans la deuxième. Nous constatons que cette liste est celle des applications rationnelles admettant un commutant non trivial ([R, F, J, E] ). Par analogie avec l'intégrabilité des systèmes hamiltoniens, les applications rationnelles ayant un commutant non trivial sont appelées “intégrables” ([V] ). D'autre part, dans le contexte de cet article l'appellation “intégrable” est justifiée par le fait que plus la

D

-enveloppe est petite moins la dynamique est “transcendante”.

1 Quelques rappels de dynamique holomorphe [B-M]

Soit

R : P^{1} \to P^{1}

un application rationnelle de la droite projective. Au voisinage d'un point

p

fixe (

R (p) = p

), répulsif (

| R^{'} (p) | > 1

), cette application est linéarisable.

Théorème 1 (de linéarisation de Kœnigs). Soit

f : (C, 0) \to (C, 0)

telle que

| f^{'} (0) | > 1

. Il existe une unique application

Ψ : (C, 0) \to (C, 0)

telle que

Ψ^{'} (0) = 1 et Ψ^{- 1} \circ f \circ Ψ (w) = f^{'} (0) w .

On appelle

Ψ

la linéarisante de Kœnigs en

p

L'ensemble de Julia de

R

est l'ensemble

J_{R}

des points au voisinage desquels la famille

{R^{\circ n}}_{n \in N}

n'est pas normale. Les points fixes répulsifs des fractions

R^{\circ n}

appartiennent à cet ensemble. Plus précisement, on a le théorème suivant.

Théorème 2. Pour toute fraction rationnelle

R

de degré au moins deux, les points fixes répulsifs des itérées

R^{\circ n}

sont denses dans

J_{R}

Soit

p

un point fixe répulsif. La linéarisante de Kœnigs s'étend par les formules

R^{\circ n} \circ Ψ (w) = Ψ ((R^{'} (p))^{n} w) .

L'image de ce prolongement est égal à

P^{1} - E

où

E

est l'ensemble exceptionnel, c'est-à-dire, l'ensemble de points

q

dont les préimages

R^{- n} ({q})

n'accumulent pas l'ensemble de Julia de

R

. Lorsqu'il est non vide, cet ensemble est réduit à un ou deux points.

L'application

Ψ

définie un revètement ramifié de

P^{1} - E

par

C

qui “semi-conjugue”

R

à sa partie linéaire en

p

R \circ Ψ = Ψ (R^{'} (p) w) .

Nous allons maintenant donner des exemples d'applications rationnelles particulières.

La construction de ceux-ci se fait à partir de leurs linéarisantes.

Les monômes. Considérons l'application exponentielle

exp : C \to P^{1} - {0, \infty}

et sur

C

la transformation

w \mapsto k w

, où

k

est un entier. On construit une application rationnelle

M_{k}

sur

P^{1}

en posant

M_{k} (exp w) = exp (k w)

. Cette application est évidemment l'application monomiale

x^{k}

mais son caractère rationnel peut se montrer a priori en utilisant les formules d'additions de la fonction exponentielle. L'ensemble

J_{M_{k}}

est le cercle unité.

Le point “

1

” est un point fixe répulsif dont la linéarisante de Kœnigs se prolonge en l'application exponentielle.

Les polynômes de Tchebitchev. Considérons cette fois l'application cosinus

cos : C \to P^{1} - {\infty}

. Des formules d'additions satisfaites par cette application, on peut déduire l'existence de polynômes

T_{k}

vérifiant

T_{k} (cos w) = cos (k w)

. L'ensemble

J_{T_{k}}

est le segment

[- 1, 1] .

Le point “

1

” est un point fixe répulsif dont le linéarisante de Kœnigs se prolonge en l'application cosinus.

Les exemples de Lattès. Soit

℘ : C \to P^{1}

la fonction de Weierstrass associée à un réseau

Λ

. Cette fonction satisfait aussi des formules d'additions. Celles-ci permettent de montrer qu'il existe des fractions rationnelles

L_{k}

satisfaisant

L_{k} (℘ w) = ℘ (k w)

. Plus généralement on appelle exemple de Lattès toute application rationnelle

L

telle qu'il existe un tore complexe

C / Λ

, une isogénie de ce tore

I_{λ}

et une fonction elliptique

p : C / Λ \to P^{1}

tel que

p \circ I_{λ} = L \circ p

. L'ensemble

J_{L}

est

P^{1}

car tous les points sont “expansifs”.

Le théorème suivant dû à Fatou [F] , Julia [J] , Ritt [R] et Eremenko [E] (voir aussi [D-S] ) donne une caractérisation de ces applications rationnelles.

Théorème 3. Soient

R_{1}

R_{2}

deux fractions sur

P^{1}

vérifiant

R_{1} \circ R_{2} = R_{2} \circ R_{1}

R_{1}^{\circ n_{1}} \neq R_{2}^{\circ n_{2}} pour tout entier n_{1} et n_{2} .

Alors on est dans un des cas suivants :

– $R_{1}$ et $R_{2}$ sont des monômes à multiplication par une racine de l'unité près,
– $R_{1}$ et $R_{2}$ sont des polynômes de Tchébitchev au signe près,
– $R_{1}$ et $R_{2}$ sont des exemples de Lattès.

2 Quelques rappels sur la notion de $D$ -groupoide de Lie sur $P^{1}$

Pour une introduction aux notions de

D

-groupoïde de Lie et

D

-algèbre de Lie, le lecteur pourra consulter [M2] et pour plus de détails [M1] .

2.1 Structure differentielle et algébrique de $J^{*} (P^{1})$

Nous noterons

J_{k}^{*} (P^{1})

l'espace des jets d'ordre

k

d'applications inversibles de

P^{1}

dans

P^{1}

. Si on choisit deux cartes

(U, x)

(V, y)

P^{1}

, un jet d'ordre

k

s'écrit

(x, y, y_{1}, \dots, y_{k})

avec

y_{1} \neq 0

. L'anneau

O (U \times V) [y_{1}, y_{1}^{- 1}, \dots, y_{k}]

est l'anneau des équations différentielles d'ordre

k

sur les jets d'applications inversibles de

U

dans

V

. On munit ainsi

P^{1} \times P^{1}

d'un faisceau d'anneaux

O_{J_{k}^{*} (P^{1})}

. Les inclusions naturelles

O_{J_{k}^{*} (P^{1})} \subset O_{J_{k + 1}^{*} (P^{1})}

permettent de définir

O_{J^{*} (P^{1})} = lim O_{J_{k}^{*} (P^{1})}

le faisceau d'anneaux des équations différentielles portant sur les applications inversibles de

P^{1}

dans

P^{1}

. Ces anneaux sont munis d'une dérivation

D : O_{J_{k}^{*} (P^{1})} \to O_{J_{k + 1}^{*} (P^{1})}

définie en coordonnées locales par :

D (E) = \frac{\partial E}{\partial x} + \frac{\partial E}{\partial y} y_{1} + \dots + \frac{\partial E}{\partial y_{k}} y_{k + 1} .

Un système d'équations différentielles sur les applications inversibles de

P^{1}

dans

P^{1}

est un faisceau d'idéaux

ℐ

O_{J^{*} (P^{1})}

cohérent (i.e. les

ℐ_{k} = ℐ \cap O_{J_{k}^{*} (P^{1})}

sont cohérents) différentiels (i.e. stable par D) et réduits.

L'espace

J_{k}^{*} (P^{1})

est muni d'une structure de groupoïde donnée par :

– les deux projections $s$ , $t$ , sur $P^{1}$ ,
– une composition $c : J_{k}^{*} (P^{1}) \times_{P^{1}} J_{k}^{*} (P^{1}) \to J_{k}^{*} (P^{1})$ définie sur les couples de jets $(h, g)$ tels que $t (h) = s (g)$ par les formules habituelles :
$c ((x, y, y_{1}, \dots), (y, z, z_{1}, \dots)) = (x, z, z_{1} y_{1}, \dots),$
– une identité $e : P^{1} \to J_{k}^{*} (P^{1})$ donnée par $e (x) = (x, x, 1, 0 \dots)$ ,
– une inversion $i : J_{k}^{*} (P^{1}) \to J_{k}^{*} (P^{1})$ définie par $i (x, y, y_{1} \dots) = (y, x, y_{1}^{- 1} \dots)$ ,

le tout vérifiant certains diagrammes commutatifs que nous ne rappellerons pas ([Mck] ).

Toutes ces flèches sont compatibles aux faisceaux d'anneaux construits précédemment dans le sens où elles induisent des flèches

s^{*}, t^{*}, e^{*}, i^{*}

c^{*}

entres les anneaux

O_{P^{1}}

O_{J_{k}^{*} (P^{1})}

O_{J_{k}^{*} (P^{1})} \otimes_{O_{P^{1}}} O_{J_{k}^{*} (P^{1})}

compatibles aux injections

O_{J_{k}^{*} (P^{1})} \subset O_{J_{k + 1}^{*} (P^{1})}

2.2 $D$ -groupoïde de Lie

Les définitions suivantes sont issues de [M1] .

Définition 4. Un groupoïde d'ordre

k

sur

P^{1}

est donné par un faisceau d'idéaux cohérent

ℐ_{k}

O_{J_{k}^{*} (P^{1})}

tel que :

(1) $ℐ_{k} \subset K e r (e^{*})$ ,
(2) $i^{*} ℐ_{k} \subset ℐ_{k}$ ,
(3) $c^{*} ℐ_{k} \subset ℐ_{k} \otimes_{O_{P^{1}}} 1 + 1 \otimes_{O_{P^{1}}} ℐ_{k}$ (la somme étant prise comme somme d'idéaux).

Cette définition est naturelle mais en pratique trop restrictive pour l'utilisation que nous avons en vue. Une equation différentielle sur

P^{1}

admettant des singularités, l'inclusion (3) n'est pas forcement vérifiée au voisinage de ces points. Il faut alors utiliser la définition plus souple suivante.

Définition 5. Un

D

-groupoïde de Lie sur

P^{1}

est donné par un faisceau d'idéaux

ℐ

O_{J^{*} (P^{1})}

tel que

– $ℐ_{k} = ℐ \cap O_{J_{k}^{*} (P^{1} \to P^{1})}$ soient cohérents,
– $ℐ$ soit stable par dérivation,
– il existe un entier $k$ et un ensemble analytique fermé $Z$ dans $P^{1}$ tels que (i) pour tout $ℓ \geq k$ , $ℐ_{ℓ}$ vérifie (1) et (2) de la définition 4 , (ii) sur tout voisinage de $(x, y, z) \in (P^{1} - Z) \times (P^{1} - Z) \times (P^{1} - Z)$ , on a (3).

L'exemple le plus simple est celui donné par l'équation

S (y) = 2 \frac{y_{3}}{y_{1}} - 3 {(\frac{y_{2}}{y_{1}})}^{2} = 0

. Les formules classiques sur la dérivée schwartzienne :

S (c ((x, y, \dots), (y, z, \dots))) = S (y, z, \dots) (y_{1})^{2} + S (x, y, \dots)

donne les inclusions voulues. Ici l'ensemble

Z

est vide. Néanmoins le théorème 7 ci-dessous donne des exemples où cet ensemble est non vide. Lorsque

ℐ

ne contient pas d'équation d'ordre zéro, le

D

-groupoïde de Lie est dit transitif.

2.3 $D$ -enveloppe d'une application rationnelle

Définition 6. Soit

R : P^{1} \to P^{1}

une application rationnelle. Sa

D

-enveloppe est le plus petit des

D

-groupoïdes de Lie dont

R

est solution. Lorsque l'idéal de ce

D

-groupoïde n'est pas

(0)

, nous dirons que la

D

-enveloppe est non triviale.

L'existence d'un plus petit

D

-groupoïde de Lie parmi une famille de

D

-groupoïdes de Lie est prouvée en toute généralité dans [M1] .

3 Les $D$ -groupoides de Lie sur $P^{1}$

Le théorème suivant ([C1] ) donne la forme des équations engendrant l'idéal d'un

D

-groupoïde de Lie au-dessus d'un disque

Δ

. Pour un idéal

ℐ

O_{J^{*} (P^{1})}

, nous noterons encore

ℐ

l'idéal qu'il engendre dans le faisceau des équations différentielles méromorphes “en

x

et en

y

” c'est-à-dire dans

ℳ_{P^{1}} \otimes_{(O_{P^{1}}, s^{*})} O_{J^{*} (P^{1})} \otimes_{(O_{P^{1}}, t^{*})} ℳ_{P^{1}}

Théorème 7. Soit

ℐ

l'idéal d'un

D

-groupoïde de Lie transitif au-dessus d'un disque

Δ

. Il est différentiablement engendré par une seule équation méromorphe d'ordre inférieur ou égal à trois d'une des quatres formes suivantes :

(1) $η (y) (y_{1})^{n} - η (x) = 0$ avec $n$ entier et $η$ méromorphe sur $Δ$ ,
(2) $μ (y) y_{1} + \frac{y_{2}}{y_{1}} - μ (x) = 0$ avec $μ$ méromorphe,
(3) $ν (y) (y_{1})^{2} + 2 \frac{y_{3}}{y_{1}} - 3 {(\frac{y_{2}}{y_{1}})}^{2} - ν (x) = 0$ avec $ν$ méromorphe,
( $\infty$ ) $0 = 0$

Les

D

-groupoïdes de Lie correspondants seront respectivement noté

G_{1}^{n} (η)

G_{2} (μ)

G_{3} (ν)

G_{\infty}

Lorsqu'on effectue un changement de coordonnée, ces équations sont soumis aux transformations suivantes.

Proposition 8. Soient

φ : Δ_{1} \to Δ_{2}

un difféomorphisme et

x_{i}

une coordonnée sur

Δ_{i}

. L'application

φ

donne naturellement une application

φ_{*} : J_{k}^{*} (Δ_{1}) \to J_{k}^{*} (Δ_{2})

. L'image réciproque par

φ

d'un

D

-groupoïde de Lie sur

Δ_{2}

est un

D

-groupoïde de Lie sur

Δ_{2}

. Il est donné par l'une des équations suivantes :

\begin{matrix} φ^{*} G_{0} (h) = G_{0} (h \circ φ) \end{matrix}

\begin{matrix} φ^{*} G_{1}^{n} (η) = G_{1}^{n} (η \circ φ (φ^{'})^{n}) \end{matrix}

\begin{matrix} φ^{*} G_{2} (μ) = G_{2} (μ \circ φ φ^{'} + \frac{φ^{''}}{φ^{'}}) \end{matrix}

\begin{matrix} φ^{*} G_{3} (ν) = G_{3} (ν \circ φ (φ^{'})^{2} + S (φ)) \end{matrix}

\begin{matrix}  \end{matrix}

où

S (φ)

est la dérivée Schwartzienne de

φ

par rapport à la coordonnée

x_{1}

Nous allons nous intéresser aux équations d'un

D

-groupoïde de Lie sur

P^{1}

. Le résultat suivant est un corollaire du théorème ?? .

Proposition 9. Soit

ℐ

l'idéal d'un

D

-groupoïde de Lie transitif au dessus de

P^{1}

. Il est différentiablement engendré par une des équations suivantes :

(1) $η (y) (y_{1})^{n} - η (x) = 0$ avec $n$ entier,
(2) $μ (y) y_{1} + \frac{y_{2}}{y_{1}} - μ (x) = 0$ ,
(3) $ν (y) (y_{1})^{2} + 2 \frac{y_{3}}{y_{1}} - 3 {(\frac{y_{2}}{y_{1}})}^{2} - ν (x) = 0$ ,
( $\infty$ ) $0 = 0$ .

avec

η

μ

ν

rationnelles.

Preuve. – Montrons cette proposition dans le cas (3), les autres cas se montre de la même manière. Sur chaque “disque”

U = P^{1} - {\infty}

(de coordonnée

x

) et

V = P^{1} - {0}

(de coordonnée

\bar{x} = \frac{1}{x}

), l'idéal d'un

D

-groupoïde de Lie d'ordre trois est engendré par une équation de type (3) :

G_{3} (ν)

sur

U

G_{3} (\bar{ν})

sur

V

. D'après la proposition 8 , ces deux équations sont reliées par l'identité :

\bar{ν} (\frac{1}{x}) \frac{1}{x^{4}} = ν (x)

. Ceci prouve la rationnalité de

ν

Remarquons qu'on peut établir une preuve indépendante du théorème 7 à partir du fait qu'un

D

-groupoïde de Lie transitif est le groupoïde d'invariance d'une structure géométrique et que celle-ci soit compltement déterminée par le groupe d'isotropie d'un point. Dans le cas non-singulier, nous renvoyons le lecteur à [K] et pour l'adaptation au cas rationnel à [C2] .

□

4 Preuve du theoreme principal

Remarquons d'abord que la

D

-enveloppe d'une homographie est non triviale. En effet, dans ce cas,

R

est solution de

G_{3} (0)

d'équation

S (y) = 0

. Nous supposerons donc que

R

n'est pas une homographie.

Dans un premier temps, nous allons supposer que

R

est solution d'une équation différentielle

G_{2} (μ)

et établir le lemme suivant.

Lemme 10. Une transformation rationnelle

R

P^{1}

est solution d'un

D

-groupoïde de Lie

G_{2} (μ)

si et seulement si

R

provient du passage au quotient par un sous-groupe d'application affine d'une dilatation de

C

Preuve. – Quitte à remplacer

R

par

R^{\circ n}

, nous pouvons trouver un point

p \in P^{1}

en dehors des pôles de

μ

, fixe et répulsif. Le théorème de Kœnigs nous permet alors de construire une linéarisante locale holomorphe que nous étendons à

C

Ψ : C \to P^{1} - E vérifiant Ψ (λ z) = R \circ Ψ et Ψ^{'} (0) = 1 .

D'après la proposition 8 , l'image réciproque par

Ψ

D

-groupoïde de Lie

G_{2} (μ)

est le

D

-groupoïde de Lie au-dessus de

C

G_{2} (\bar{μ})

où

\bar{μ} = (μ \circ Ψ) Ψ^{'} + \frac{Ψ^{''}}{Ψ^{'}} .

La fraction

R

étant solution de

G_{2} (μ)

, l'homothétie

z \to λ z

est solution de

G_{2} (\bar{μ})

d'où

\bar{μ} (λ z) λ = \bar{μ} (z) .

Comme

| λ | > 1

, l'égalité ci-dessus implique l'existence d'une constante

c

telle que

\bar{μ} (z) = \frac{c}{z}

. Ayant supposé

μ (p)

fini et

Ψ^{'} (0) = 1

\bar{μ} (0)

doit être fini ce qui force

\bar{μ}

à être nul. L'image réciproque de

G_{2} (μ)

est donc le

D

-groupoïde de Lie

G_{2} (0)

, d'équation

\frac{y_{2}}{y_{1}} = 0

, dont les solutions sont les applications affines de

C

. Considérons deux point

p

q

C

qui ne sont pas des points critiques de

Ψ

tels que

Ψ (p) = Ψ (q)

. Il existe une application locale

γ : (C, p) \to (C, q)

vérifiant

Ψ \circ γ = Ψ

. Par construction de

\bar{μ}

, cette application

γ

laisse le

D

-groupoïde de Lie

G_{2} (\bar{μ})

invariant. La proposition 8

γ

est solution de

G_{2} (\bar{μ})

donc est une application affine.

Le groupe

G = {γ | Ψ \circ γ = Ψ}

est un groupe d'applications affines qui agit transitivement sur les fibres de

Ψ

. Ces fibres étant discrètes, ce groupe est discret.

Nous avons une condition nécessaire pour que la

D

-enveloppe de

R

soit de la forme

G_{2} (μ)

Montrons que cette condition est aussi suffisante. Considéreons

Ψ : C \to P 1

une linéarisante de Kœnigs de

R

G_{2} (0)

le groupoïde des transformations affines de

C

Localement, on peut ramener par une détermination de

Ψ^{- 1}

D

-groupoïde de Lie

G_{2} (0)

en un

D

-groupoïde de Lie au-dessus d'un ouvert de

P^{1}

. D'après la proposition 8 , ce

D

-groupoïde de Lie est

G_{2} (\frac{(Ψ^{- 1})^{''}}{(Ψ^{- 1})^{'}})

R

en est une solution (lorsque cela à un sens).

Il nous suffit de vérifier que l'équation de ce groupoïde est en fait rationnelle, c'est-à-dire, pour tous les groupes

G

que l'on peut rencontrer, vérifier que

\frac{(Ψ^{- 1})^{''}}{(Ψ^{- 1})^{'}}

est rationnelle.

Considérons le réseau

Λ = {b | (z \mapsto z + b) \in G}

. On obtient une factorisation de

Ψ

C \to C / Λ \to P^{1}

La dernière application induite par

Ψ

est une fonction méromorphe sur

C / Λ

invariante sous l'action de

G / Λ

. En utilisant la liste des sous-groupes discrets d'applications affines, on obtient la liste suivante d'applications :

(1) $Λ = {0}$ et $G$ est un groupe fini de rotation :
$Ψ (z) = z^{k}$ , $R$ est une homothétie et $μ = 0$ .
(2) $Λ = Z$ et $G = Λ$ :
$Ψ (z) = exp (2 i π z)$ , $R$ est un monôme et $μ (z) = \frac{- 1}{z}$ .
(3) $Λ = Z$ et $G / Λ = {+ 1, - 1}$ :
$Ψ (z) = cos (2 i π z)$ , $R$ est un polynôme Tchébitchev et $μ (z) = \frac{- z}{z^{2} - 4}$ .
(4) $Λ = Z + Z τ$ ( $ℑ τ > 0$ ) et $G / Λ = {+ 1, - 1}$ :
$Ψ (z) = ℘ (z)$ ( $℘$ est la fonction de Weierstrass associée au réseau $Λ$ et solution de $(℘^{'})^{2} = 4 ℘^{3} + g_{2} ℘ + g_{3}$ pour des constantes $g_{2}$ et $g_{3}$ définies par $Λ$ ), $R$ est un exemple de Lattès et $μ (z) = - \frac{6 z^{2} + g_{2} / 2}{4 z^{3} + g_{2} z + g_{3}}$ .
(5) $Λ = Z + Z i$ et $G / Λ = {+ 1, i, - 1, - i}$ :
dans ce cas $g_{3} = 0$ , $Ψ (z) = ℘ (z)^{2}$ et $μ (z) = - \frac{1}{4 z} - \frac{6 z + g_{2} / 2}{8 z^{2} + 2 g_{2} z}$ .
(6) $Λ = Z + Z j$ et $G / Λ = {+ 1, j, j^{2}}$ :
dans ce cas $g_{2} = 0$ , $Ψ (z) = ℘^{'} (z)$ et $μ (z) = - \frac{2}{3} \frac{z}{z^{2} - g_{3})}$ .
(7) $Λ = Z + Z j$ et $G / Λ = {+ 1, j, j^{2}, - j, - j^{2}, - 1}$ :
dans ce cas $g_{2} = 0$ , $Ψ (z) = ℘ (z)^{3}$ et $μ (z) = - \frac{2}{9 z} - \frac{1}{z + g_{3} / 2}$ .

□

Lemme 11. Aucune transformation rationnelle de

P^{1}

n'a de

D

-enveloppe de type (3)

Preuve. – Supposons que

R

soit solution d'un

D

-groupoïde de Lie

G_{3} (ν)

. En procédant comme précédemment, on obtient une linéarisante locale

Ψ

par le théorème de Kœnigs que l'on prolonge en un revêtement

C \to P^{1}

. L'homothétie

z \to λ z

étant solution de l'image réciproque de

G_{3} (ν)

par

Ψ

G_{3} (\bar{ν})

. On a l'égalité :

\bar{ν} (λ z) λ^{2} = \bar{ν} (z),

d'où on déduit qu'il existe une constante

c

telle que

\bar{ν} = \frac{c}{z^{2}}

. Comme

\bar{ν} (0)

est fini, on a

\bar{ν} = 0

. L'image réciproque de

G_{3} (ν)

est le groupoïde des homographies. Soit

γ

un germe d'application vérifiant

Ψ \circ γ = Ψ

. On établit comme précédemment que

S (γ) = 0

et donc que

γ

est une homographie. Il existe donc un sous-groupe

G

des homographie qui agit transitivement sur les fibres de

Ψ

. Ces fibres de

Ψ

étant des sous ensembles discrets de

C

G

ne peut être composé que d'applications affines. On obtient la même liste d'application que pour les solutions de

D

-groupoïde de Lie de type (2). On en déduit qu'aucune application rationnelle n'a de

D

-enveloppe de type (3).

□

5 remarque

1 Une caractérisation a priori partant sur le

D

-enveloppe de

R

de l'existence d'un commutant non trivial est nécessaire pour aborder l'étude des applications rationnelles en dimension supérieure. Une condition nécessaire semble être que la

D

-enveloppe soit localement l'action d'un groupe sur un espace homogène. Cette condition n'est pas suffisante au vue des travaux de [D-S] . Le groupe de Lie semble devoir être un groupe de transformation affine (voir aussi [V] ).

2 Sur une courbe algébrique, l'étude de la

D

-enveloppe d'une correspondance reste à faire ([C-U] ). Il est trivial de vérifier que les correspondances modulaires ont une

D

-enveloppe non triviale. En utilisant les résultats de [Ma] , on vérifie que si la

D

-enveloppe d'une correspondance est non triviale et non singulière (i.e.

G_{3} (ν)

avec

ν

holomorphe) alors la correspondance est modulaire. Le cas des correspondances ayant une

D

-enveloppe singulière reste obscur.

3 L'équation de la linéarisante de Kœnigs est une équation aux

q

-différences non linéaire et autonome. Une étude de la

D

-enveloppe des systèmes dynamiques provenant d'équations aux différences ou aux

q

-différences permettrait de relier l'“intégrabilité” d'une transformation rationnel à l'“intégrabilité” de ses linéarisantes de Kœnigs (ou normalisantes de Poincaré). Références

F. Berteloot et V. Mayer - Rudiments de dynamique holomorphe, Cours Spécialisés, 7 Société Mathématique de France, Paris ; EDP Sciences, Les Ulis (2001)
L. Clozet et E. Ullmo - Correspondances modulaires et mesures invariantes J. Reine Angew. Math. 558 (2003)
G. Casale - $D$ -enveloppe d'un difféomorphisme de $(C, 0)$ “Proceedings of the conference Resurgence, Alien Calculus, Resummability, Transseries ” Ann. Fac. Sci. Toulouse Math. (6) 13 N $\circ$ 4 (2004)
G. Casale - Sur le Groupoïde de Galois d'un feuilletage Thèse soutenue en juillet 2004 à l'Université Paul Sabatier, Toulouse. Disponible sur http ://doctorants.picard.ups-tlse.fr/theses.htm
T-C.Dinh et N. Sibony - Sur les endomorphismes holomorphes permutables de $P^{k}$ Math. Ann. 324 (2002)
A.E. Eremenko - Some functional equations connected with the iteration of rational functions Leningrad Math. J. 1, no. 4, (1990)
P. Fatou - Sur l'itération analytique et les substitutions permutables J. Math. 2(1923)
G. Julia - Mémoire sur la permutabilité des fractions rationnelles Ann. Sci École Norm. Sup. 39 (1922)
S. Kobayashi - Transformation Groups in Differential geometry, Ergebnisse der Mathematik und ihrer Grenzgebiete, 70, Springer-Verlag (1972)
K. Mackenzie - Lie groupoids and Lie algebroids in Differential Geometry, L.N.S. 124 Cambridge Univ. Press Cambridge (1987)
B. Malgrange - Le groupoïde de Galois d'un feuilletage Essays on geometry and related topics, Vol. 1, 2, Monogr. Enseign. Math., 38, (2001)
B. Malgrange - On nonlinear differential Galois theory Chinese Ann. Math. Ser. B 23, no. 2 (2002)
G.A. Margulis - Discrete subgroups of semi-simple Lie groups, Springer-Verlag, (1989)
J.F. Ritt - Permutable rational functions Trans. Amer. Math. Soc. 25, no.3 (1923)
A.P. Veselov - What is an integrable mapping ? What is integrability ?, 251–272, Springer Ser. Nonlinear Dynam., Springer, Berlin (1991)

Laboratoire E. Picard, UMR 5580 UFR MIG, Universite Paul Sabatier 31 062 Toulouse cedex 4, France E-mail address : casale@picard.ups-tlse.fr

Guy Casale