Locally finite solvable Lie algebras of derivations

1. Problématique et Contexte

L'article s'inscrit dans l'étude des groupes d'automorphismes des variétés affines et de leurs algèbres de Lie associées. Soit $X$ une variété affine définie sur un corps algébriquement clos $k$ de caractéristique nulle, et $\text{Lie}(\text{Aut}(X))$ l'algèbre de Lie des champs de vecteurs (dérivations) sur $X$.

Le problème central, formulé dans la Question 1.1 (inspirée de travaux antérieurs [3]), est le suivant :
Soit $\mathfrak{h} \subset \text{Lie}(\text{Aut}(X))$ une sous-algèbre de Lie résoluble engendrée par une collection finie de sous-algèbres de Lie localement finies $\mathfrak{h}_1, \dots, \mathfrak{h}_k$. La sous-algèbre $\mathfrak{h}$ est-elle elle-même localement finie ?

Une algèbre de Lie $\mathfrak{h}$ est dite localement finie si tout élément de l'anneau de coordonnées $\mathcal{O}(X)$ appartient à un sous-espace vectoriel de dimension finie invariant sous l'action de $\mathfrak{h}$. Il est connu qu'une sous-algèbre localement finie est nécessairement de dimension finie. La question revient donc à savoir si la résolution et la génération par des éléments localement finis impliquent la finitude de dimension (et donc la localité finie) de l'algèbre engendrée.

2. Méthodologie

L'auteur adopte une approche structurée en deux parties principales, utilisant des techniques de réduction et d'analyse spectrale.

A. Réductions pour les variétés affines générales (Section 2)

Pour les variétés affines générales, l'auteur établit une série de réductions pour simplifier le problème :

1. Réduction à deux générateurs : Par récurrence, il suffit d'étudier le cas où $\mathfrak{h} = \langle \mathfrak{a}, \mathfrak{b} \rangle_{\text{Lie}}$.
2. Réduction dimensionnelle : On peut supposer que $\dim(\mathfrak{b}) = 1$ (donc $\mathfrak{b}$ est abélien).
3. Réduction par décomposition de Jordan : En utilisant la décomposition additive de Jordan ($\partial = \partial_s + \partial_n$), l'auteur se ramène au cas où $\mathfrak{h}$ est J-saturé (contenant les parties semi-simples et nilpotentes de ses éléments). Les générateurs sont alors soit localement nilpotents, soit semi-simples.
4. Critère de dimension finie : L'article démontre (Proposition 1.3 / Proposition 2.12) que pour une telle algèbre résoluble, $\mathfrak{h}$ est de dimension finie si et seulement si son idéal dérivé $[\mathfrak{h}, \mathfrak{h}]$ est nilpotent.

B. Analyse spécifique du plan affine $\mathbb{A}^2$ (Section 3)

Pour le cas particulier $X = \mathbb{A}^2$, l'auteur utilise la structure riche de l'algèbre de Lie $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ :

1. Triangulabilité : Il est démontré que toute sous-algèbre résoluble localement finie de $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ est conjuguée à une sous-algèbre triangulaire (contenue dans l'algèbre de Lie du groupe de de Jonquières).
2. Grading bi-gradué : L'algèbre est étudiée via une structure de bigraduation sur les dérivations à divergence constante, utilisant des points de Demazure et des polygones de Newton.
3. Analyse spectrale : L'étude des dérivations semi-simples et de leurs espaces propres permet de classifier les interactions entre les générateurs semi-simples et nilpotents.

3. Contributions Clés et Résultats

Résultats pour les variétés affines générales

• Critère de nilpotence : La Proposition 2.12 établit que si $\mathfrak{h} = \langle \mathfrak{a}, \mathfrak{b} \rangle$ est résoluble et que l'idéal dérivé $\mathfrak{h}^{(1)}$ est nilpotent, alors $\mathfrak{h}$ est de dimension finie.
• Cas des dérivations localement nilpotentes : Le Théorème 1.4 confirme la question 1.1 si tous les générateurs sont localement nilpotents. Dans ce cas, $\mathfrak{h}$ est l'algèbre de Lie d'un sous-groupe unipotent algébrique.

Résultats pour le plan affine $\mathbb{A}^2$ (Théorème Principal)

Le résultat principal de l'article est le Théorème 1.6 (Théorème 3.1) :

Toute sous-algèbre de Lie résoluble $\mathfrak{h} \subset \text{Lie}(\text{Aut}(\mathbb{A}^2))$ engendrée par une collection finie de dérivations localement finies est localement finie (et donc de dimension finie). De plus, elle est triangulable.

La preuve se décompose en plusieurs cas basés sur la nature des dérivations semi-simples présentes dans $\mathfrak{h}$ :

1. Cas non-algébrique : Si $\mathfrak{h}$ contient une dérivations semi-simple non-algébrique (rapport des coefficients irrationnel), l'auteur montre que les composantes homogènes des générateurs doivent appartenir à $\mathfrak{h}$. Cela force $\mathfrak{h}$ à être contenue dans une sous-algèbre triangulaire de dimension finie (Proposition 3.17).
2. Cas algébrique : Si toutes les dérivations semi-simples sont algébriques, l'auteur analyse le rang de l'algèbre.
   • Si le rang est 2, l'existence d'une « paire opportune » (une relation spécifique entre un élément semi-simple et un élément localement nilpotent) est exploitée pour montrer la triangulabilité et la finitude.
   • Si le rang est 1, l'analyse des polygones de Newton et des points de Demazure montre que les générateurs doivent être proportionnels à des dérivations spécifiques, conduisant à une inclusion dans une sous-algèbre de type $\mathfrak{sl}_2$ ou une algèbre abélienne, garantissant la localité finie (Proposition 3.22).

4. Signification et Implications

• Réponse affirmative au problème ouvert : L'article résout positivement la Question 1.1 dans le cas crucial du plan affine $\mathbb{A}^2$, un cas de base fondamental pour la géométrie affine.
• Triangulabilité : Un résultat fort est que toute sous-algèbre résoluble localement finie de $\text{Lie}(\text{Aut}(\mathbb{A}^2))$ est triangulable. Cela contraste avec les dimensions supérieures ($n \ge 3$), où le Lemme 3.4 et le Remarque 3.5 indiquent que cette propriété ne tient pas (citant l'exemple de la dérivation de Nagata dans $\mathbb{A}^3$ qui n'est pas triangulable).
• Outils nouveaux : L'utilisation combinée de la théorie des polygones de Newton, de la décomposition spectrale pour les dérivations non-algébriques et de la théorie des groupes algébriques offre une boîte à outils puissante pour l'étude des automorphismes affines.
• Conjecture future : L'auteur émet l'hypothèse que ce théorème pourrait s'étendre aux surfaces toriques affines normales et aux variétés toriques affines plus générales.

En résumé, cet article établit une connexion profonde entre la structure algébrique des algèbres de Lie de dérivations, la géométrie des variétés affines (via les polygones de Newton) et la théorie des groupes algébriques, prouvant que la résolution et la génération par des éléments localement finis imposent une structure rigide et finie sur le plan affine.