text:
# Groupes commutatifs d’automorphismes d’une variété kählérienne compacte

## 1 Introduction

Soit $`f`$ un endomorphisme holomorphe d’une variété $`V`$ kählérienne compacte. On peut considérer qu’un tel objet est dynamiquement intéressant lorsqu’il est d’entropie positive, c’est-à-dire lorsque le nombre d’orbites distinctes discernables à l’échelle $`ϵ`$ est à croissance exponentielle. D’après Gromov  et Yomdin  (voir également Katok-Hasselblatt ), un endomorphisme holomorphe $`f`$ est d’entropie positive si le rayon spectral de $`f^{}`$ sur $`^{1,1}(V,)`$ est strictement plus grand que $`1`$, $`^{1,1}(V,)`$ désignant le groupe de cohomologie de Dolbeault.

On trouve dans la littérature des exemples d’automorphismes d’entropie positive; pour le cas des surfaces voir B. Mazur , S. Cantat , Barth, Peters, van de Ven . La construction de Mazur se prolonge sans difficulté en dimension $`k`$. Très récemment, C. McMullen  a construit des surfaces K3 non algébriques ayant des automorphismes admettant des disques de Siegel. Il démontre en particulier que ces automorphismes sont d’entropie positive. En fait, on doit observer qu’il est assez difficile de construire des automorphismes holomorphes de variétés complexes. C’est aussi le cas dans le cadre de domains strictement pseudoconvexes, voir Burns-Shnider-Wells .

Dans , S. Smale attire l’attention sur la difficulté de comprendre les difféomorphismes d’une variété qui commutent. Dans le présent article, nous explorons les propriétés des groupes commutatifs d’automorphismes d’entropie positive. Plus présisément, un groupe $`𝒢\mathrm{Aut}(V)`$ est d’entropie positive si tout élément $`g𝒢\{\mathrm{id}\}`$ est d’entropie positive. Nous montrons
Théorème principal. Si $`𝒢`$ est un groupe commutatif d’entropie positive d’une variété Kählérienne compacte $`V`$. Alors $`𝒢`$ est commutatif libre et le rang $`r`$ de $`𝒢`$ vérifie $`rdimV1`$.
La preuve utilise de façon essentielle une extension du théorème de Hodge-Riemann due à Gromov  (voir aussi Timorin ). Elle résulte de l’analyse de l’action de $`𝒢`$ sur $`^{1,1}(V,)`$. Notons que nous montrons à l’aide d’exemples classiques (voir exemple 4.7), fournis par F. Labourie et F. Paulin, que notre estimation est optimale. Nous en déduisons grâce à un théorème de Demailly-Paun sur le cône de Kähler, la structure des groupes commutatifs quelconques.

L’analyse des endomorphismes holomorphes qui commutent dans $`^k`$ a fait l’objet d’un précédent travail des auteurs . Le cas $`^1`$ a été étudié par Fatou , Julia , Ritt  et Eremenko . Dans le cadre non compact signalons que Veselov  et Lamy  ont montré que tout groupe d’automorphismes polynomiaux de $`^2`$ satisfait à l’alternative de Tits, c’est-à-dire que soit il est moyennable soit il contient un sous groupe libre à 2 générateurs.

Nous remercions E. Amerik, Y. Benoist, J. B. Bost, F. Labourie et F. Paulin d’avoir répondu à nos nombreuses questions.

## 2 Action sur les groupes de cohomologie

Soit $`V`$ une variété kählérienne compacte de dimension $`k`$ munie d’une forme de Kähler $`\omega `$. Un endomorphisme (non dégénéré) de $`V`$ induit des applications linéaires inversibles sur les groupes de cohomologie de la variété. Nous allons rappeler la définition des degrés dynamiques et de l’entropie associés à un endomorphisme $`f`$ de $`V`$.

Notons $`_{}^{p,p}`$ (resp. $`_{}^{p,p}`$) l’espace des $`(p,p)`$-formes lisses, $`\overline{}`$-fermées (resp. $`\overline{}`$-exactes) de $`V`$ et $`_{}^{p,p}`$ (resp. $`_{}^{p,p}`$) le sous-espace des formes $`\psi _{}^{p,p}`$ (resp. $`\psi _{}^{p,p}`$) vérifiant $`\psi =\overline{\psi }`$. Considérons les groupes de cohomologie de Dolbeault

$$^{p,p}(V,):=_{}^{p,p}/_{}^{p,p}\text{ et }^{p,p}(V,):=_{}^{p,p}/_{}^{p,p}.$$

Ces espaces sont de dimension finie et on a $`^{p,p}(V,)=^{p,p}(V,)_{}`$. On peut identifier $`^{p,p}(V,)`$ à un sous-espace réel de $`^{p,p}(V,)`$.

Si dans la définition précédente, on remplace les formes par les courants, on obtient les mêmes groupes de cohomologie. C’est une conséquence de la dualité de Poincaré et de la décomposition de Hodge. Etant donné une forme ou un courant $`\alpha `$ fermé de bidegré $`(p,p)`$, on notera $`[\alpha ]`$ sa classe dans $`^{p,p}(V,)`$. Notons $`𝒦`$ le cône de Kähler de $`^{1,1}(V,)`$. C’est le cône des classes associées aux formes de Kähler, i.e. $`(1,1)`$-formes lisses strictement positives. C’est un cône ouvert de $`^{1,1}(V,)`$. Observons que $`\overline{𝒦}`$ est convexe et saillant: $`\overline{𝒦}(\overline{𝒦})=\{0\}`$. En effet, chaque classe de $`\overline{𝒦}`$ est représentée par un courant positif fermé.

Considérons un endomorphisme holomorphe $`f`$ de $`V`$. L’application $`f^{}`$ définie par $`f^{}[\alpha ]:=[f^{}\alpha ]`$, est un opérateur linéaire de $`^{p,p}(V,)`$ dans lui-même. Posons

$$d_{p,n}:=(f^n)^{}[\omega ^p]$$

$$d_p:=\underset{n\mathrm{}}{lim\; sup}\sqrt[n]{d_{p,n}}\text{ et }\mathrm{H}(f):=\underset{0pk}{sup}\mathrm{log}(d_p)$$

$``$ désigne une norme sur $`^{p,p}(V,)`$. Observons que $`d_{p,n}`$ ne dépend que de la classe $`[\omega ^p]`$ dans $`^{p,p}(V,)`$. Il est aussi clair que $`d_p`$ et $`\mathrm{H}(f)`$ ne dépendent pas de la forme $`\omega `$ et de la norme $``$ choisies. De plus, $`d_p`$ est le rayon spectral de $`f^{}`$ sur $`^{p,p}(V,)`$ et sur $`^{p,p}(V,)`$. On dit que $`d_p`$ est le degré dynamique d’ordre $`p`$ de $`f`$. En pratique, on peut calculer $`d_p`$ par la formule

$$d_p:=\underset{n\mathrm{}}{lim}\left((f^n)^{}\omega ^p\omega ^{kp}\right)^{1/n}.$$

Rappelons la notion d’entropie topologique . Notons $`\mathrm{dist}`$ la distance sur $`V`$. On définit la distance $`\mathrm{dist}_n`$ par

$$\mathrm{dist}_n(a,b):=\underset{0in1}{\mathrm{max}}\mathrm{dist}(f^i(a),f^i(b)).$$

Soit $`s_n(ϵ)`$ le nombre maximal de boules de rayon $`ϵ/2`$ pour la distance $`\mathrm{dist}_n`$ qui sont disjointes dans $`V`$. L’entropie topologique de $`f`$ est définie par la formule

$$\mathrm{h}(f):=\underset{ϵ0}{lim\; sup}\underset{n\mathrm{}}{lim\; sup}\frac{\mathrm{log}s_n(ϵ)}{n}.$$

Nous avons le résultat fondamental suivant .

###### Théorème 2.1 (Yomdin-Gromov)

Soit $`f`$ un endomorphisme holomorphe d’une variété kählérienne compacte $`V`$. Alors l’entropie topologique $`\mathrm{h}(f)`$ de $`f`$ est égale à $`\mathrm{H}(f)`$.

On en déduit le corollaire suivant.

###### Corollaire 2.2

On a $`\mathrm{h}(f)>0`$ si et seulement si $`d_1>1`$. De plus, l’application qui associe à un endomorphisme holomorphe de $`V`$ son premier degré dynamique $`d_1`$ est d’image discrète dans $`[1,+\mathrm{}[`$. L’application qui associe à un endomorphisme holomorphe de $`V`$ son entropie topologique est d’image discrète dans $`[0,+\mathrm{}[`$.

* Preuve— Soit $`f`$ un endomorphisme holomorphe de $`V`$. L’intégrale définissant $`d_{p,n}`$ se calcule cohomologiquement. Il suffit d’utiliser la décomposition de Jordan de $`f^{}`$ sur $`^{1,1}(V,)`$ pour voir que $`d_p`$ est égal au module d’un produit de $`p`$ valeurs propres de $`f^{}`$ sur $`^{1,1}(V,)`$. En effet, la norme se calcule sur $`\omega ^p`$ qui est un produit de $`(1,1)`$ formes. En particulier, on a $`d_pd_1^p`$. D’après le théorème 2.1, il nous suffit de montrer que lorsque le premier degré dynamique $`d_1`$ de $`f`$ est majoré par une constante $`M>0`$, les valeurs propres de $`f^{}`$ sur le groupe de cohomologie de De Rham $`^2(V,)`$ parcourent un ensemble fini.

La décomposition de Hodge

$$^2(V,)=^{2,0}(V,)^{1,1}(V,)^{0,2}(V,)$$

est invariante par $`f^{}`$. Si $`\psi `$ est une $`(2,0)`$-forme holomorphe non nulle telle que $`f^{}\psi =\lambda \psi `$ avec $`\lambda `$, on a

$$f^{}(\psi \overline{\psi })=|\lambda |^2\psi \overline{\psi }.$$

La forme $`\psi \overline{\psi }`$ étant lisse, positive et non nulle, il existe $`c>0`$ telle que $`\psi \overline{\psi }c\omega `$. On en déduit que

$`|\lambda |^2`$ $`=`$ $`\underset{n\mathrm{}}{lim}\left({\displaystyle (f^n)^{}(\psi \overline{\psi })}\omega ^{k2}\right)^{1/n}`$
$``$ $`\underset{n\mathrm{}}{lim}\left({\displaystyle c(f^n)^{}\omega ^2}\omega ^{k2}\right)^{1/n}=d_2.`$
Par conséquent, on a $`|\lambda |^2d_1^2M^2`$. On en déduit que le rayon spectral de $`f^{}`$ sur $`^{2,0}(V,)`$ est majoré par $`M`$. Par conjugaison, le rayon spectral de $`f^{}`$ sur $`^{0,2}(V,)`$ l’est aussi.

Par suite, le rayon spectral de $`f^{}`$ sur $`^2(V,)`$ est majoré par $`M`$. D’autre part, l’opérateur $`f^{}`$ préserve $`^2(V,)`$ et on a $`^2(V,)=^2(V,)_{}`$. L’opérateur $`f^{}`$ préserve un réseau qui engendre $`^2(V,)`$. Par conséquent, pour une base convenable, il est défini par une matrice à coefficients entiers. Son polynôme caractéristique est unitaire et à coefficients entiers. Les racines de ce polynôme sont majorées par $`M`$. Il n’y a donc qu’un nombre fini de polynômes vérifiant ces propriétés et par conséquent un nombre fini de valeurs propres possibles pour $`f^{}`$.

$`\mathrm{}`$

###### Remarque 2.3

De la même manière, on montre qu’il existe un nombre entier naturel $`m1`$ tel que si $`f`$ est un automorphisme d’entropie nulle de $`V`$, les valeurs propres de $`f^m`$ sur $`^{1,1}(V,)`$ sont égales à 1.

## 3 Théorème de Hodge-Riemann

Nous rappelons dans ce paragraphe le théorème de signature de Hodge-Riemann. Nous en donnons des corollaires qui nous seront utiles.

Soit $`V`$ une variété kählérienne compacte de dimension $`k`$. Soient $`c_1`$, $`\mathrm{}`$, $`c_{k1}`$ des classes de $`^{1,1}(V,)`$. On définit la forme symétrique $`q`$ sur $`^{1,1}(V,)`$ par

$$q(c,c^{}):=_Vcc^{}c_1\mathrm{}c_{k2}.$$

Notons $`𝒫(c_1\mathrm{}c_{k1})`$ l’ensemble des classes primitives dans $`^{1,1}(V,)`$. Plus précisément

$$𝒫(c_1\mathrm{}c_{k1}):=\left\{c^{1,1}(V,),cc_1\mathrm{}c_{k1}=0\right\}.$$

Lorsque $`c_1\mathrm{}c_{k1}0`$, par dualité de Poincaré, $`𝒫(c_1\mathrm{}c_{k1})`$ est un hyperplan de $`^{1,1}(V,)`$.

Rappelons le théorème de Hodge-Riemann classique :

###### Théorème 3.1 (Hodge-Riemann)

Soit $`\omega `$ une forme de Kähler. Si $`c_1=\mathrm{}=c_{k1}=[\omega ]`$, la forme $`q`$ est définie positive sur l’hyperplan $`𝒫([\omega ^{k1}])`$.

###### Corollaire 3.2

Soient $`c`$ et $`c^{}`$ deux classes de $`\overline{𝒦}`$. Supposons que $`cc^{}=0`$. Alors $`c`$ et $`c^{}`$ sont colinéaires.

* Preuve— Soit $`\omega `$ une forme de Kähler. Notons $`𝒫:=𝒫([\omega ^{k1}])`$. La forme $`q`$ est définie positive sur $`𝒫`$. Notons $`F`$ le sous-espace engendré par $`c`$ et $`c^{}`$. Par hypothèse, la forme $`q`$ est définie semi-négative sur $`F`$. Par conséquent, l’intersection de $`F`$ avec l’hyperplan $`𝒫`$ est réduit à $`\{0\}`$. Par suite, $`dimF1`$ et donc $`c`$, $`c^{}`$ sont colinéaires.

$`\mathrm{}`$

La version suivante du théorème de Hodge-Riemann est dûe à Gromov  (voir aussi Timorin ):

###### Théorème 3.3

Si $`c_1`$, $`\mathrm{}`$, $`c_{k1}`$ sont des classes de Kähler, la forme $`q`$ est définie semi-positive sur $`𝒫(c_1\mathrm{}c_{k1})`$.

Par passage à limite, on obtient le corollaire suivant:

###### Corollaire 3.4

Supposons que les classes $`c_1`$, $`\mathrm{}`$, $`c_{k1}`$ soient dans $`\overline{𝒦}`$. Si $`c_1\mathrm{}c_{k1}`$ est non nulle, alors la forme $`q`$ est semi-positive sur $`𝒫(c_1\mathrm{}c_{k1})`$.

Nous aurons besoin de l’extension suivante du corollaire 3.2.

###### Corollaire 3.5

Soient $`c_1`$, $`\mathrm{}`$, $`c_m`$, $`c`$ et $`c^{}`$ des classes dans $`\overline{𝒦}`$, $`0mk2`$. Supposons que $`cc^{}c_1\mathrm{}c_m=0`$. Alors il existe $`a`$, $`b`$ réels, $`(a,b)(0,0)`$, tels que

$$(ac+bc^{})c_1\mathrm{}c_mc_1^{}\mathrm{}c_{km2}^{}=0$$

pour toutes les classes $`c_1^{}`$, $`\mathrm{}`$, $`c_{km2}^{}`$ dans $`^{1,1}(V,)`$. Si $`cc_1\mathrm{}c_m`$ est non nulle, le couple $`(a,b)`$ est unique à une constante multiplicative près.

On peut supposer que $`c`$ et $`c^{}`$ ne sont pas colinéaires et que $`cc_1\mathrm{}c_m0`$, $`c^{}c_1\mathrm{}c_m0`$. En effet, dans le cas contraire, le corollaire est évident. Notons $`F`$ le plan engendré par $`c`$ et $`c^{}`$. Nous aurons besoin de quelques résultats préliminaires.

###### Lemme 3.6

Soient $`c_1^{}`$, $`\mathrm{}`$, $`c_{km2}^{}`$ des classes de Kähler. Il existe $`\stackrel{~}{c}F`$, $`\stackrel{~}{c}0`$, unique à une constante multiplicative près, telle que

$$\stackrel{~}{c}c_1\mathrm{}c_mc_1^{}\mathrm{}c_{km2}^{}=0.$$

* Preuve— Fixons une classe de Kähler $`c_{km1}^{}`$. Les classes $`c_1`$, $`\mathrm{}`$, $`c_m`$ étant dans l’adhérence du cône de Kähler et $`c_1\mathrm{}c_m`$ étant non nulle, on a

$$c_1\mathrm{}c_mc_1^{}\mathrm{}c_{km1}^{}0.$$

En effet, il existe un courant positif fermé non nul qui représente la classe $`c_1\mathrm{}c_m`$. Par conséquent,

$$𝒫:=𝒫(c_1\mathrm{}c_mc_1^{}\mathrm{}c_{km1}^{})$$

est un hyperplan de $`^{1,1}(V,)`$.

Notons $`q`$ la forme symétrique définie par les $`k2`$ classes $`c_1`$, $`\mathrm{}`$, $`c_m`$, $`c_1^{}`$, $`\mathrm{}`$, $`c_{km2}^{}`$. D’après le corollaire 3.4, $`q`$ est semi-positive sur $`𝒫`$. Les classes $`c`$, $`c^{}`$ étant dans l’adhérence du cône de Kähler et $`cc^{}c_1\mathrm{}c_{km2}^{}`$ étant nulle, la forme $`q`$ est semi-négative sur $`F`$. On en déduit que $`q`$ est nulle sur $`F𝒫`$. L’intersection $`F𝒫`$ n’est pas réduit à $`\{0\}`$ car $`𝒫`$ est un hyperplan. Il existe donc une classe non nulle $`\stackrel{~}{c}F𝒫`$. On a $`q(\stackrel{~}{c},\stackrel{~}{c})=0`$.

Comme $`q`$ est définie semi-positive sur $`𝒫`$, d’après l’inégalité de Cauchy-Schwarz, pour toute $`\gamma 𝒫`$, on a

$$|q(\stackrel{~}{c},\gamma )|^2q(\stackrel{~}{c},\stackrel{~}{c})q(\gamma ,\gamma )=0.$$

Donc $`q(\stackrel{~}{c},\gamma )=0`$. D’autre part, $`q(\stackrel{~}{c},c_{km1}^{})=0`$ car $`\stackrel{~}{c}`$ est primitive. La classe $`c_{km1}^{}`$ étant non primitive, $`q(\stackrel{~}{c},\gamma )=0`$ pour toute $`\gamma ^{1,1}(V,)`$. Par dualité de Poincaré, on a

$$\stackrel{~}{c}c_1\mathrm{}c_mc_1^{}\mathrm{}c_{km2}^{}=0.$$

Montrons l’unicité de $`\stackrel{~}{c}`$. Si $`\stackrel{~}{c}`$ n’était pas unique à une constante multiplicative près, la dernière inégalité serait vraie pour toute classe $`\stackrel{~}{c}F`$. En particulier, elle est vraie pour $`\stackrel{~}{c}=c`$. C’est la contradiction recherchée car on a supposée $`cc_1\mathrm{}c_m0`$.

$`\mathrm{}`$

Posons $`E:=^{1,1}(V,)`$. Notons $`\mathrm{\Sigma }`$ l’ensemble des $`(\stackrel{~}{c},c_1^{},\mathrm{},c_{km2}^{})F\times E^{km2}`$ qui vérifient

$$\stackrel{~}{c}c_1\mathrm{}c_mc_1^{}\mathrm{}c_{km2}^{}=0.$$

C’est un sous-ensemble algébrique réel de $`F\times E^{km2}`$. Il est défini par une famille $``$ de polynômes homogènes de degré $`km1`$ qui sont linéaires en chaque variable $`\stackrel{~}{c}`$, $`c_1^{}`$, $`\mathrm{}`$, $`c_{km2}^{}`$. D’après le lemme 3.6, $`\mathrm{\Sigma }F\times 𝒦^{km2}`$ est une hypersurface irréductible. C’est en fait un graphe au dessus de $`𝒦`$. Par conséquent, les polynômes de $``$ admettent un facteur commun non constant. Soit $`Q`$ le facteur commun irréductible qui s’annulle sur $`\mathrm{\Sigma }F\times 𝒦^{km2}`$. Notons $`\mathrm{\Sigma }^{}`$ l’ensemble des zéros de $`Q`$. On a $`\mathrm{\Sigma }^{}\mathrm{\Sigma }`$. Observons que $`\mathrm{\Sigma }^{}`$ est invariant par toute permutation de $`c_1^{}`$, $`\mathrm{}`$, $`c_{km2}^{}`$. En effet, les équations définissant $`\mathrm{\Sigma }`$ sont clairement symétriques et au dessus de $`𝒦^{km2}`$, on a vu que $`\mathrm{\Sigma }`$ est un graphe donc $`\mathrm{\Sigma }^{}`$ est aussi un graphe.

###### Lemme 3.7

Pour toutes classes de Kähler $`c_1^{}`$, $`\mathrm{}`$, $`c_{km3}^{}`$, il existe une classe non nulle $`\stackrel{~}{c}F`$ telle que

$$\stackrel{~}{c}c_1\mathrm{}c_mc_1^{}\mathrm{}c_{km2}^{}=0$$

pour toute classe $`c_{km2}^{}E`$.

* Preuve— Posons $`\stackrel{~}{Q}(\stackrel{~}{c},c_{km2}^{}):=Q(\stackrel{~}{c},c_1^{},\mathrm{},c_{km2}^{})`$ et

$$\mathrm{\Sigma }_{\stackrel{~}{c}}:=\left\{c_{km2}^{}E,\stackrel{~}{Q}(\stackrel{~}{c},c_{km2}^{})=0\right\}.$$

Supposons qu’aucune classe non nulle $`\stackrel{~}{c}F`$ ne vérifie le lemme. On a $`\stackrel{~}{Q}(\stackrel{~}{c},.)0`$ pour toute classe $`\stackrel{~}{c}0`$. Par conséquent, d’après le lemme 3.6, pour tout $`\stackrel{~}{c}0`$, l’ensemble $`\mathrm{\Sigma }_{\stackrel{~}{c}}`$ est un hyperplan de $`E`$.

Notons $`h_{\stackrel{~}{c}}`$ la forme symétrique définie par

$$h_{\stackrel{~}{c}}(\alpha ,\gamma ):=\stackrel{~}{c}c_1\mathrm{}c_mc_1^{}\mathrm{}c_{km3}^{}\alpha \gamma $$

pour $`\alpha `$ et $`\gamma `$ dans $`E`$. On a $`h_{\stackrel{~}{c}}(\alpha ,\gamma )=0`$ pour toutes classes $`\alpha \mathrm{\Sigma }_{\stackrel{~}{c}}`$ et $`\gamma E`$.

La forme $`h_{\stackrel{~}{c}}`$ est nulle sur l’hyperplan $`\mathrm{\Sigma }_{\stackrel{~}{c}}`$ de $`E`$ sans être identiquement nulle. Elle est donc définie semi-positive ou semi-négative. La signature de $`h_{\stackrel{~}{c}}`$ dépendant continûment de $`\stackrel{~}{c}`$, elle est donc constante. Or les signatures de $`h_{\stackrel{~}{c}}`$ et $`h_{\stackrel{~}{c}}`$ sont opposées. C’est la contradiction cherchée.

$`\mathrm{}`$

Démonstration du corollaire 3.5 — Notons $`\tau :F\times E^{km2}F\times E^{km3}`$ la projection définie par

$$\tau (\stackrel{~}{c},c_1^{},\mathrm{},c_{km2}^{}):=(\stackrel{~}{c},c_1^{},\mathrm{},c_{km3}^{}).$$

Posons

$$\stackrel{~}{\mathrm{\Sigma }}:=\left\{(\stackrel{~}{c},c_1^{},\mathrm{},c_{km3}^{})F\times E^{km3},\tau ^1(\stackrel{~}{c},c_1^{},\mathrm{},c_{km3}^{})\mathrm{\Sigma }^{}\right\}.$$

C’est un sous-ensemble algébrique réel de $`F\times E^{km3}`$. D’après le lemme 3.7, $`\stackrel{~}{\mathrm{\Sigma }}`$ est de codimension 1. On en déduit que le polynôme $`Q`$ contient un facteur qui ne dépend pas de $`c_{km2}^{}`$. Comme $`Q`$ est est irréductible, il est indépendant de $`c_{km2}^{}`$. L’ensemble des zéros de $`Q`$ étant invariant par les permutations de $`c_1^{}`$, $`\mathrm{}`$, $`c_{km2}^{}`$, ce polynôme $`Q`$ est également indépendant de $`c_1^{}`$, $`\mathrm{}`$, $`c_{km3}^{}`$. Ceci implique le corollaire. La classe $`\stackrel{~}{c}`$ est unique à une constante multiplicative près car sinon $`Q`$ serait identiquement nul. Les assertions sur les ensembles algébriques réels se vérifient en complexifiant.

$`\mathrm{}`$

###### Remarque 3.8

Si dans le corollaire 3.5, on suppose de plus que $`ccc_1\mathrm{}c_m=0`$ et $`c^{}c^{}c_1\mathrm{}c_m=0`$, on n’a plus besoin de l’hypothèse que les classes $`c`$ et $`c^{}`$ sont dans $`\overline{𝒦}`$.

## 4 Groupes d’automorphismes

Dans ce paragraphe, nous étudions les groupes commutatifs d’automorphismes d’une variété kählérienne compacte $`V`$. Bochner et Montgomery  ont montré que le groupe d’automorphismes holomorphes $`\text{Aut}(V)`$ de $`V`$ est un groupe de Lie complexe de dimension finie pour toute variété complexe compacte $`V`$.

Notons $`\text{Aut}_0(V)`$ la composante de l’identité dans $`\text{Aut}(V)`$. Il est clair que $`\text{Aut}_0(V)`$ agit trivialement sur les groupes $`^{p,p}(V,)`$ et est un sous-groupe distingué de $`\text{Aut}(V)`$; le quotient $`\text{Aut}^\mathrm{\#}(V)`$ de $`\text{Aut}(V)`$ par $`\text{Aut}_0(V)`$ est donc un groupe. Lieberman \[16, Theorem 3.3\], a montré que $`\mathrm{Aut}_0(V)`$ est compactifiable. C’est-à-dire qu’il existe une variété compacte $`X`$ et une application méromorphe $`\mathrm{\Phi }:X\times VV`$ telles que $`\mathrm{Aut}_0(V)`$ peut-être identifié à un ouvert de Zariski $`Y`$ de $`X`$ et l’orbite de tout point $`xV`$ par $`\mathrm{Aut}_0(V)`$ est égal à $`\mathrm{\Phi }(Y\times \{x\})`$.

On dira qu’un automorphisme $`f`$ est virtuellement isotope à l’identité si $`f`$ possède des itérés appartenant à $`\text{Aut}_0(V)`$. Si $`c`$ est une classe dans le cône de Kähler, notons $`\mathrm{Aut}_c(V)`$ le groupe des automorphismes $`f`$ qui préservent $`c`$: $`f^{}c=c`$. D’après Lieberman \[16, Proposition 2.2\], $`\mathrm{Aut}_c(V)/\mathrm{Aut}_0(V)`$ est fini. En particulier, les éléments de $`\mathrm{Aut}_c(V)`$ sont virtuellement isotopes à l’identité. Si $`V`$ n’admet pas de champ de vecteurs holomorphe, le groupe $`\mathrm{Aut}_c(V)`$ est fini.

Un automorphisme $`f`$ est dit de type parabolique si le rayon spectral de $`f^{}`$ sur $`^{1,1}(V,)`$ est égal à 1 et si $`f^{}`$ n’est pas d’ordre fini. Observons qu’alors $`f`$ est d’entropie nulle et tout élément de sa classe dans $`\text{Aut}^\mathrm{\#}(V)`$ est de type parabolique. On dira aussi que la classe de $`f`$ est de type parabolique. L’argument donné dans la preuve du corollaire 2.2 montre que sur $`^{1,1}(V,)`$ les valeurs propres de $`f^{}`$ sont des racines de l’unité. En particulier, il existe $`n1`$ tel que sur $`^{1,1}(V,)`$, $`(f^n)^{}`$ soit défini par une matrice non diagonalisable dont les valeurs propres sont égales à 1.

On dira qu’un groupe d’automorphismes $`𝒢`$ d’une variété compacte complexe $`V`$ préserve une classe $`c`$ si pour tout $`f𝒢`$ il existe une constante $`\lambda (f)`$ telle que $`f^{}(c)=\lambda (f)c`$. On dira que la classe $`c`$ est invariante par le groupe $`𝒢`$ et que $`\lambda `$ est le coefficient multiplicatif associé à $`c`$. Notons $`f`$ le groupe engendré par $`f`$. On a le lemme suivant:

###### Lemme 4.1

Soit $`𝒢`$ un groupe commutatif d’automorphismes de $`V`$. Supposons que $`𝒢`$ contient un élément $`f`$ d’entropie positive. Alors il existe une classe $`c\overline{𝒦}`$, $`c0`$ qui est invariante par $`𝒢`$ et vérifie $`f^{}c=d_1(f)c`$.

* Preuve— Soit $`\mathrm{\Gamma }_1\overline{𝒦}`$ le cône des classes $`c`$ vérifiant $`f^{}c=d_1(f)c`$. Puisque $`\overline{𝒦}`$ est un cône convexe fermé invariant par $`f^{}`$, d’après une extension du théorème de Perron-Frobenius, $`\mathrm{\Gamma }_1`$ un cône convexe fermé et non réduit à 0. Il suffit pour cela d’utiliser la décomposition de Jordan de la matrice associée à $`f^{}`$. Soient $`g𝒢`$ et $`c\mathrm{\Gamma }_1`$. On a

$$f^{}(g^{}c)=g^{}(f^{}c)=d_1(f)g^{}c.$$

Par conséquent, $`g`$ préserve $`\mathrm{\Gamma }_1`$. Il existe $`c\mathrm{\Gamma }_1\{0\}`$ telle que $`g^{}c=\lambda (g)c`$$`\lambda (g)`$ est une constante positive. Notons $`\mathrm{\Gamma }_2\mathrm{\Gamma }_1`$ le cône des classes $`c`$ vérifiant la dernière relation. C’est un cône convexe fermé. Par induction en $`g𝒢`$, on construit une classe $`c\mathrm{\Gamma }_1`$ invariante par $`𝒢`$.

$`\mathrm{}`$

On dira qu’un groupe $`𝒢\text{Aut}(V)`$ est d’entropie positive si tout élément $`f𝒢`$ différent de l’identité est d’entropie positive. Ce sont des groupes qui ne contiennent pas d’éléments virtuellement isotopes à l’identité ni d’éléments de type parabolique, ils sont discrets.

Pour tout $`\tau =\{\tau (f)\}_{f𝒢}^𝒢`$, notons $`\mathrm{\Gamma }_\tau `$ le cône des classes $`c\overline{𝒦}`$ telles que $`f^{}(c)=\mathrm{exp}(\tau (f))c`$ pour tout $`f𝒢`$. Si $`\mathrm{\Gamma }_\tau `$ n’est pas réduit à $`\{0\}`$, $`\mathrm{exp}(\tau (f))`$ est une valeur propre de $`f^{}`$ sur $`^{1,1}(V,)`$. Notons $``$ la famille des $`\tau ^𝒢`$ tels que $`\mathrm{\Gamma }_\tau \{0\}`$ et $`\tau 0`$. On montrera que $``$ est fini et on notera $`\tau _1`$, $`\mathrm{}`$, $`\tau _m`$ les éléments de $``$. Notons également $`\pi `$ le morphisme de groupes qui associe à $`f𝒢`$ le vecteur $`(\tau _1(f),\mathrm{},\tau _m(f))^m`$.

###### Proposition 4.2

Le cardinal $`m`$ de $``$ vérifie $`mh_1`$$`h_1:=dim^{1,1}(V,)`$. Si $`𝒢`$ est commutatif d’entropie positive, $`\pi `$ est injective et son image est discrète. De plus, $`𝒢`$ est commutatif libre et son rang $`r`$ vérifie $`rm`$.

* Preuve— Montrons que $`mh_1`$, en particulier, $`m`$ est fini. Puisque les $`\tau _i`$, pour tout $`1i<jm`$, sont différents, l’image $`\pi (𝒢)`$ de $`𝒢`$ n’est pas contenue dans l’hyperplan $`(x_i=x_j)`$. Par conséquent, le groupe additif $`\pi (𝒢)`$ n’est pas contenu dans la réunion de ces hyperplans. Il existe donc un élément $`g_0𝒢`$ tel que $`\tau _i(g_0)\tau _j(g_0)`$ pour tous $`1i<jm`$. Sur $`^{1,1}(V,)`$, l’application $`g_0^{}`$ possède donc au moins $`m`$ valeurs propres distinctes. Par suite, $`mh_1`$.

Supposons que $`𝒢`$ soit commutatif et d’entropie positive. D’après le lemme 4.1, l’une des coordonnées de $`\pi (f)`$ est égale à $`\mathrm{log}d_1(f)`$. Le corollaire 2.2 implique que $`\mathrm{log}d_1(f)`$ est minoré indépendement de $`f`$. Par suite, $`0`$ est isolé dans $`\pi (𝒢)`$ et donc $`\pi (𝒢)`$ est discret. Comme $`𝒢`$ est d’entropie positive, l’application $`\pi `$ est injective.

Puisque $`\pi (𝒢)`$ est un sous groupe additif discret de $`^m`$, on a $`rmh_1`$.

$`\mathrm{}`$

###### Lemme 4.3

Soient $`c`$, $`c^{}`$ et $`c_i`$ des classes dans $`\overline{𝒦}`$, $`1imk2`$. Soit $`g`$ un automorphisme de $`V`$. Supposons qu’il existe des constantes réelles positives différentes $`\lambda `$ et $`\lambda ^{}`$ telles que $`g^{}(c_1\mathrm{}c_mc)=\lambda c_1\mathrm{}c_mc`$ et $`g^{}(c_1\mathrm{}c_mc^{})=\lambda ^{}c_1\mathrm{}c_mc^{}`$. Supposons de plus que $`c_1\mathrm{}c_mc0`$ et $`c_1\mathrm{}c_mcc^{}=0`$. Alors $`c_1\mathrm{}c_mc^{}=0`$.

* Preuve— D’après le corollaire 3.5, il existe $`(a,b)^2\{0\}`$ unique à une constante multiplicative près, tel que

$$c_1\mathrm{}c_m(ac+bc^{})c_1^{}\mathrm{}c_{kn2}^{}=0$$

pour toutes classes $`c_1^{}`$, $`\mathrm{}`$, $`c_{km2}^{}`$ dans $`^{1,1}(V,)`$.

Utilisant $`g^{}`$, la dernıère égalité implique que

$$c_1\mathrm{}c_m(a\lambda c+b\lambda ^{}c^{})g^{}c_1^{}\mathrm{}g^{}c_{km2}^{}=0.$$

Comme l’opérateur $`g^{}`$ est inversible, on a

$$c_1\mathrm{}c_m(a\lambda c+b\lambda ^{}c^{})c_1^{}\mathrm{}c_{km2}^{}=0$$

pour toutes classes $`c_1^{}`$, $`\mathrm{}`$, $`c_{km2}^{}`$ dans $`^{1,1}(V,)`$. Les couples $`(a,b)`$ et $`(a\lambda ,b\lambda ^{})`$ sont donc colinéaires. Comme $`\lambda \lambda ^{}`$, on a $`a=0`$ ou $`b=0`$. Or $`c_1\mathrm{}c_mc0`$, donc $`a=0`$. En prenant les classes $`c_i^{}`$ dans le cône de Kähler, la dernière égalité implique que $`c_1\mathrm{}c_mc^{}=0`$ car les $`c_i`$ et $`c^{}`$ appartiennent à $`\overline{𝒦}`$.

$`\mathrm{}`$

La proposition suivante implique le théorème principal. En effet, on a $`h_k=1`$ et la proposition (appliquée à $`n=r=k`$) implique que $`rk`$. La propostion donne également des contraintes topologiques pour qu’une variété kählérienne possède un gros groupe commutatif d’automorphismes d’entropie positive.

###### Proposition 4.4

Soit $`𝒢`$ un groupe commutatif d’automorphismes d’une variété kählérienne compacte $`V`$ de dimension $`k2`$. Supposons que $`𝒢`$ soit d’entropie positive. Alors $`𝒢`$ est commutatif libre. Le rang $`r`$ de $`𝒢`$ vérifie $`\left(\genfrac{}{}{0pt}{}{r}{n}\right)h_n`$ pour tout $`1nr`$$`h_n:=dim^{n,n}(V,)`$; si $`n`$ divise $`r`$ on a $`\left(\genfrac{}{}{0pt}{}{r}{n}\right)h_n1`$. De plus, il existe $`r+1`$ classes $`c_1`$, $`\mathrm{}`$, $`c_{r+1}`$ dans $`\overline{𝒦}`$ telles que $`c_1\mathrm{}c_{r+1}0`$.

* Preuve— L’application $`\pi `$ étant injective, $`\pi (𝒢)`$ engendre un sous-espace de dimension $`r`$. On peut supposer que la projection de ce sous-espace sur les $`r`$ premiers coordonnées est bijective. Cela signifie que $`\tau _1`$, $`\mathrm{}`$, $`\tau _r`$ est une famille libre engendrant $``$. Notons $`\mathrm{\Pi }`$ le morphisme qui associe à $`g𝒢`$ le vecteur $`(\tau _1(g),\mathrm{},\tau _r(g))^r`$. L’application $`\mathrm{\Pi }`$ est donc injective et son image engendre l’espace $`^r`$. Soit $`c_i`$ une classe non nulle dans $`\mathrm{\Gamma }_{\tau _i}`$, $`1ir`$.

Pour tout $`I=(i_1,\mathrm{},i_n)\{1,\mathrm{},r\}`$, notons $`c_I:=c_{i_1}\mathrm{}c_{i_n}`$ et $`\tau _I:=\tau _{i_1}+\mathrm{}+\tau _{i_n}`$. Montrons que $`c_I0`$ quand $`|I|k`$. Sinon, on peut supposer que $`c_1\mathrm{}c_{n1}0`$, $`c_1\mathrm{}c_{n2}c_n0`$ et $`c_1\mathrm{}c_n=0`$ avec $`2n\mathrm{min}(k,r)`$. On verra que $`\mathrm{min}(k,r)`$ est toujours égal à $`r`$. Soit $`g𝒢`$. On peut appliquer lemme 4.3 pour $`m:=n2`$, $`c:=c_{n1}`$ et $`c^{}:=c_n`$. On constate que $`\tau _{n1}(g)=\tau _n(g)`$. Ceci implique que $`\mathrm{\Pi }(𝒢)`$ est contenue dans l’hyperplan $`\{x_{n1}=x_n\}`$. C’est contraire au choix de $`\mathrm{\Pi }`$.

Montrons que les classes $`c_I`$ avec $`|I|=n`$ sont linéairement indépendantes. Sinon, il existe des nombres réels $`a_I`$ non tous nuls, tels que

$$a_Ic_I=0.$$

Le fait que les $`c_i`$ soient invariantes par $`g^p`$ pour tout $`g𝒢`$ et tout $`p`$, implique que

$$a_I\mathrm{exp}(p\tau _I(g))c_I=0.$$

Par conséquent, il existe $`IJ`$ tels que $`\tau _I(g)=\tau _J(g)`$. Le groupe $`\mathrm{\Pi }(𝒢)`$ est donc contenu dans la réunion finie des hyperplans du type

$$\underset{iI}{}x_i=\underset{iJ}{}x_j.$$

Par suite, il est contenu dans un hyperplan. C’est contraire au choix de $`r`$.

Les $`\left(\genfrac{}{}{0pt}{}{r}{n}\right)`$ classes $`c_I`$ sont linéairement indépendantes dans $`^{n,n}(V,)`$. On en déduit que $`\left(\genfrac{}{}{0pt}{}{r}{n}\right)h_n`$ pour tout $`n\mathrm{min}(k,r)`$. Si $`rk`$, en prenant $`n=k`$, la dernière inégalité donne $`rk`$ et donc $`\mathrm{min}(k,r)=r`$.

Supposons maintenant que $`n`$ divise $`r`$. Posons $`r=mn`$. Montrons que $`\left(\genfrac{}{}{0pt}{}{r}{n}\right)h_n`$. Sinon, les classes $`c_I`$ forment une base de $`^{n,n}(V,)`$ car elles sont linéairement indépendantes. On peut alors choisir $`m`$ classes $`c_{I_1}`$, $`\mathrm{}`$, $`c_{I_m}`$ telles que $`c_{I_1}\mathrm{}c_{I_m}0`$. La dernière classe appartient à $`^{k,k}(V,)`$. Par conséquent, $`g^{}(c_{I_1}\mathrm{}c_{I_m})=c_{I_1}\mathrm{}c_{I_m}`$ pour tout $`g𝒢`$. On en déduit que $`\tau _{I_i}=0`$. Par conséquent, $`\mathrm{\Pi }(𝒢)`$ est contenue dans un hyperplan, ce qui n’est pas possible. On a montré que $`\left(\genfrac{}{}{0pt}{}{r}{n}\right)h_n1`$. Ceci (pour $`r=k=n`$) implique que $`\mathrm{Aut}(V)`$ ne contient pas de sous-groupe commutatif, libre, de rang $`k`$ et d’entropie positive.

Il reste à construire une classe $`c_{r+1}\overline{𝒦}`$ telle que $`c_1\mathrm{}c_{r+1}0`$. On sait déjà que $`c_1\mathrm{}c_r0`$. Puisque $`\mathrm{\Pi }(𝒢)`$ est un réseau qui engendre $`^r`$, il existe $`f𝒢`$ tel que les coordonnées de $`\mathrm{\Pi }(f)`$ soient toutes strictement négatives. D’après le lemme 4.1, il existe une classe $`c_{r+1}\overline{𝒦}`$ invariante par $`𝒢`$ telle que $`f^{}c_{r+1}=d_1(f)c_{r+1}`$. D’après le lemme 4.3, on a $`c_1\mathrm{}c_{r+1}0`$ car sinon, on en déduit que $`c_1\mathrm{}c_r=0`$.

$`\mathrm{}`$

###### Exemple 4.5

Soit $`𝕋:=/(+i)`$ le tore complexe associé au réseau $`+i`$. Posons $`V:=𝕋^k`$. Notons $`\text{SL}(k,)`$ le groupe des matrices de rang $`k`$, de déterminant $`1`$ à coefficients entiers. Ce groupe agit sur $`V`$ et contient des sous-groupes commutatifs libres de rang $`k1`$, diagonalisables dans $``$ donc d’entropie positive. En effet, le groupe $`\mathrm{\Delta }`$ des matrices réelles diagonales agit à gauche sur l’espace homogène $`\text{SL}(k,)/\text{SL}(k,)`$ et possède des orbites compactes (voir par exemple Samuel \[21, p.72\] ou Prasad-Raghunathan \[19, theorem 2.8\]). Si l’orbite de $`g`$ est compacte, $`g^1\mathrm{\Delta }g\text{SL}(k,)`$ est un groupe commutatif libre de rang $`k1`$. Cet exemple montre que la borne supérieure $`k1`$ trouvée dans le théorème 4.6 est optimale.

###### Théorème 4.6

Soit $`𝒢`$ un groupe d’automorphismes d’une variété kählérienne compacte $`V`$ de dimension $`k2`$. Supposons que $`𝒢`$ soit d’entropie positive. Supposons également que $`𝒢`$ préserve $`k1`$ classes $`c_1`$, $`\mathrm{}`$, $`c_{k1}`$ de $`\overline{𝒦}`$ qui vérifient $`c_1\mathrm{}c_{k1}0`$. Alors $`𝒢`$ est commutatif, libre et de rang $`rk1`$.

* Preuve— Comme précédemment, on note $`\tau _i`$ la fonction associée à $`c_i`$ et $`\pi :𝒢^{k1}`$ l’application associée aux classes invariantes $`c_1`$, $`\mathrm{}`$, $`c_{k1}`$. Montrons que $`\pi `$ est injective. Supposons qu’il existe $`g𝒢`$ tel que $`g^{}c_i=c_i`$ pour tout $`1ik1`$. Soit $`c`$ une classe de $`\overline{𝒦}\{0\}`$ vérifiant $`g^{}c=\lambda c`$$`\lambda :=d_1(g)`$. On a $`g^{}(cc_1\mathrm{}c_{k1})=\lambda cc_1\mathrm{}c_{k1}`$. Or $`g^{}`$ est égal à l’identité sur $`^{k,k}(V,)`$ et $`\lambda >1`$. Donc $`cc_1\mathrm{}c_{k1}=0`$. Utilisant le lemme 4.3, on montre par récurrence que $`c=0`$, ce qui est impossible. Donc $`\pi `$ est injective et $`𝒢`$ est commutatif. D’après le théorème principal, on a $`rk1`$.

$`\mathrm{}`$

###### Théorème 4.7

Soit $`𝒢^{}`$ un groupe commutatif d’automorphismes d’une variété kählérienne compacte $`V`$ de dimension $`k2`$. Alors l’ensemble $`U`$ des éléments d’entropie nulle de $`𝒢^{}`$ est un groupe. De plus, il existe un sous-groupe commutatif libre, d’entropie positive $`𝒢`$ de $`𝒢^{}`$, de rang $`rk1`$ tel que $`𝒢^{}U\times 𝒢`$. Si $`r=k1`$, le groupe $`U`$ est fini.

* Preuve— Comme précédemment, on construit $`r+1`$ classes $`c_1`$, $`\mathrm{}`$, $`c_{r+1}`$ de $`\overline{𝒦}`$, invariantes par $`𝒢^{}`$ et vérifiant $`c_1\mathrm{}c_{r+1}0`$. Les $`r+1`$ fonctions $`\tau _i`$ associées à ces classes sont différentes. On suppose ici que $`r`$ est le nombre maximal tel qu’il existe $`r`$ fonctions $`\tau _i`$ linéairement indépendantes. Notons toujours $`\pi :𝒢^{}^{r+1}`$ l’application associée aux $`\tau _i`$. L’image de $`\pi `$ est un réseau qui engendre un hyperplan de $`^{r+1}`$. Seuls les éléments d’entropie nulle s’envoient à 0. On a $`U=\pi ^1(0)`$ et donc $`U`$ est un groupe. On choisit des éléments $`g_1`$, $`\mathrm{}`$, $`g_r`$ de $`𝒢^{}`$ tels que les $`\pi (g_i)`$ engendrent le réseau $`\pi (𝒢^{})`$. Notons $`𝒢`$ le groupe engendré par $`g_1`$, $`\mathrm{}`$, $`g_r`$. Alors $`𝒢`$ est commutatif libre de rang $`r`$ et d’entropie positive car il est isomorphe à $`\pi (𝒢^{})=\pi (𝒢)`$. Il est clair que $`𝒢^{}U\times 𝒢`$.

Supposons maintenant que $`r=k1`$. Posons $`c:=c_1+\mathrm{}+c_k`$. Pour tout $`uU`$, on a $`u^{}c_i=c_i`$ et donc $`u^{}c=c`$. Puisque $`c_1\mathrm{}c_k0`$, on a $`c^k0`$ et $`\pi (𝒢^{})`$ est contenu dans l’hyperplan $`\{x_1+\mathrm{}+x_k=0\}`$. D’après un théorème de Demailly-Paun , le cône de Kähler est une des composantes connexes de l’ouvert des classes $`[\alpha ]`$ telles que $`_V\alpha ^k>0`$. Or $`c\overline{𝒦}`$ et $`c^k0`$, donc $`c𝒦`$. On a $`U\mathrm{Aut}_c(V)`$. Comme on l’a rappelé, d’après Lieberman \[16, Proposition 2.2\], $`\mathrm{Aut}_c(V)/\mathrm{Aut}(V)`$ est fini. Posons $`U_0:=U\mathrm{Aut}_0(V)`$. Il suffit de montrer que $`U_0`$ est fini.

Rappelons que $`\mathrm{Aut}_0(V)`$ est compactifiable \[16, Theorem 3.3\] et notons $`\overline{U}_0`$ l’adhérence de Zariski de $`U_0`$ dans $`\mathrm{Aut}_0(V)`$. D’après Lieberman \[16, Corollary 3.6\], $`\overline{U}_0`$ est commutatif. Posons $`m:=dim_{}\overline{U}_0`$.

Si $`mk`$, $`\overline{U}_0`$ contient un groupe de Lie commutatif de dimension $`k`$ agissant sur $`V`$. On en déduit que $`V`$ est un tore complexe. Dans ce cas, si $`z`$ désigne un point du tore, tout automorphisme $`g`$ de $`V`$ s’écrit $`g(z)=A_gz+B_g`$$`A_g`$ est une matrice carrée de rang $`k`$, $`B_g`$ est un vecteur de longueur $`k`$. Pour un élément $`g`$ de $`\mathrm{Aut}_0(V)`$, on a $`A_g=\mathrm{id}`$. Maintenant, fixons un $`g𝒢`$ tel que $`\tau _i(g)>0`$ pour $`i=1,\mathrm{},k1`$. Il est clair que toute valeur propre de $`A_g`$ est de module différent de $`1`$. On vérifie facilement qu’il n’y a qu’un nombre fini d’éléments de $`\mathrm{Aut}_0(V)`$ qui commutent avec $`g`$. Ceci implique le théorème.

Supposons que $`0<mk1`$. Soit $`g𝒢`$. D’après Lieberman \[16, Proposition 3.7\], le groupe $`g\overline{U}_0g^1`$ est Zariski fermé. Comme ce groupe contient $`U_0`$, il contient aussi $`\overline{U}_0`$. On en déduit que $`g\overline{U}_0g^1=\overline{U}_0`$ pour tout $`g𝒢`$. Par conséquent, $`𝒢`$ préserve la fibration engendrée par les orbites compactifiées de $`\overline{U}_0`$. Soit $`\mathrm{\Omega }`$ la classe associée à une orbite générique compactifiée de $`\overline{U}_0`$. Cette classe ne dépend pas de l’orbite générique choisie. Comme $`c=c_1+\mathrm{}+c_k`$ est une classe de Kähler, il existe $`1i_1\mathrm{}i_mk`$ tels que $`\mathrm{\Omega }c_{i_1}\mathrm{}c_{i_m}0`$. Or $`g^{}`$ est l’identité sur $`^{k,k}(V,)`$. On a donc $`\tau _{i_1}+\mathrm{}+\tau _{i_m}=0`$. Par conséquent, $`\pi (𝒢)`$ est contenu dans l’hyperplan $`x_{i_1}+\mathrm{}+x_{i_m}=0`$ de $`^k`$. Ceci contredit le fait que $`\pi (𝒢)`$ engendre l’hyperplan $`\{x_1+\mathrm{}+x_k=0\}`$.

$`\mathrm{}`$

###### Théorème 4.8

Soit $`V`$ une variété kählérienne compacte de dimension $`k2`$. Soit $`𝒢^\mathrm{\#}`$ un sous-groupe de $`\text{Aut}^\mathrm{\#}(V)`$. Alors

1. Si $`𝒢^\mathrm{\#}`$ est commutatif et d’entropie positive (c.-à-d. que $`𝒢^\mathrm{\#}`$ ne contient pas de classes de type parabolique), alors $`𝒢^\mathrm{\#}`$ est commutatif libre et son rang $`r`$ vérifie $`rk1`$.
2. Si $`𝒢^\mathrm{\#}`$ préserve $`k1`$ classes $`c_1`$, $`\mathrm{}`$, $`c_{k1}`$ dans $`\overline{𝒦}`$ qui vérifient $`c_1\mathrm{}c_{k1}0`$, alors $`𝒢^\mathrm{\#}`$ est commutatif, libre et d’entropie positive.
3. Si $`𝒢^\mathrm{\#}`$ est commutatif et s’il contient un sous-groupe $`^\mathrm{\#}`$ commutatif libre de rang $`k1`$ et d’entropie positive, alors $`𝒢^\mathrm{\#}/^\mathrm{\#}`$ est fini.

* Preuve— Puisque $`\text{Aut}_0(V)`$ agit trivialement sur $`^{1,1}(V,)`$, on peut adapter les preuves des propositions 4.4, 4.7 et du théorème 4.6.

$`\mathrm{}`$

###### Remarque 4.9

Si $`𝒢^\mathrm{\#}`$ est un groupe commutatif contenant des classes de type parabolique, le rang de $`𝒢^\mathrm{\#}`$ peut dépasser $`k1`$. Soit en effet $`𝕋^2`$ un tore de dimension 2 où $`𝕋:=/(+i)`$. Considérons le groupe des automorphismes définis par les matrices

$$A_{m,n}:=\left(\begin{array}{cc}1& m+in\\ 0& 1\end{array}\right)$$

avec $`m`$, $`n`$ entiers. C’est un groupe commutatif, libre et de rang $`2`$. Sur $`𝕋^k`$ on peut contruire un groupe analogue de rang $`2k2`$.

###### Remarque 4.10

On dira que la variété $`V`$ est multisymétrique si elle admet un groupe d’automorphismes commutatif, libre, de rang $`k1`$ et d’entropie positive. Il serait intéressant de classer les variétés multisymétriques. En dimension 2, il s’agit de classer les surfaces admettant au moins un automorphisme d’entropie maximale. Le lecteur peut consulter les articles de Cantat , Mazur  et McMullen  pour une liste d’exemples et une étude dynamique des automorphismes d’une surface complexe. Les exemples de Mazur  peuvent être étendus en dimension strictement supérieure à 2.

Tien-Cuong Dinh et Nessim Sibony
Mathématique - Bât. 425, UMR 8628
Université Paris-Sud, 91405 Orsay, France.
E-mails: Tiencuong.Dinh@math.u-psud.fr, Nessim.Sibony@math.u-psud.fr