Infinite transitivity and polynomial vector fields

Résumé technique : Transitivité infinie et champs de vecteurs polynomiaux

Énoncé du problème
L'article examine les conditions sous lesquelles les groupes engendrés par des sous-groupes radicaux (spécifiquement des sous-groupes $\mathbb{G}_a$ normalisés par un tore) agissent avec une transitivité infinie sur le plan affine $\mathbb{C}^2$. Une action est infiniment transitive si, pour tout $m$, le groupe peut envoyer n'importe quel $m$-uplet de points distincts sur n'importe quel autre $m$-uplet de points distincts. Les auteurs se concentrent sur le groupe $G_{r,s}$ engendré par deux sous-groupes unipotents à un paramètre spécifiques :
$$L_r: (x + \alpha y^r, y) \quad \text{et} \quad R_s: (x, y + \beta x^s),$$
où $\alpha, \beta \in \mathbb{C}$ et $r, s$ sont des entiers non négatifs.

Alors qu'il avait été établi précédemment que $G_{r,s}$ agit de manière infiniment transitive sur son orbite ouverte uniquement si $rs=2$ (et que $rs=2$ implique la transitivité infinie sur $\mathbb{C}^2 \setminus \{0\}$), l'article aborde la question plus large de la transitivité infinie générique. Plus précisément, il cherche à déterminer quand l'action diagonale de $G_{r,s}$ sur $(\mathbb{C}^2)^m$ possède une orbite ouverte de Zariski pour tout $m$.

Méthodologie
Les auteurs adoptent une approche à deux volets combinant la théorie de Lie algébrique et des techniques d'approximation analytique :

1. Analyse algébrique de Lie : L'étude se concentre sur l'algèbre de Lie $\mathcal{L}$ des champs de vecteurs polynomiaux sur $\mathbb{C}^2$ à divergence nulle, qui est isomorphe à l'algèbre de Lie des polynômes $\mathbb{C}[x, y]$ équipée du crochet de Poisson standard $\{f, h\} = \frac{\partial f}{\partial x}\frac{\partial h}{\partial y} - \frac{\partial f}{\partial y}\frac{\partial h}{\partial x}$. Les auteurs analysent les sous-algèbres engendrées par des monômes spécifiques, tels que $\text{Lie}(x^p, y^q)$, pour déterminer leur codimension et leurs propriétés d'intersection avec les sous-algèbres de polynômes à une variable.
2. Approximation des flots : Pour combler le fossé entre les algèbres de Lie et les groupes de transformations, les auteurs utilisent un résultat de Varolin concernant l'approximation des flots polynomiaux. Cela leur permet de construire des automorphismes en composant les flots de dérivations localement nilpotentes. La démonstration repose sur le théorème des fonctions implicites et sur la capacité d'approximer les flots analytiques par des flots algébriques, garantissant ainsi que le groupe engendré par les flots de dérivations spécifiques agit avec une orbite ouverte.

Contributions et résultats clés

• Structure des sous-algèbres de Poisson : L'article établit des descriptions précises de la sous-algèbre $\text{Lie}(x^p, y^q)$ engendrée par deux monômes.

  • Proposition 7 : Pour $\min(p, q) \ge 2$ et $\max(p, q) \ge 3$, l'intersection de cette sous-algèbre avec les polynômes à une variable est donnée par $\text{Lie}(x^p, y^q) \cap \mathbb{C}[x] = x^p \mathbb{C}[x^{pq-p-q}]$ (et de même pour $y$).
  • Corollaire 9 : La sous-algèbre $\text{Lie}(x^p, y^q)$ a une codimension finie dans $\mathbb{C}[x, y]$ si et seulement si $(p, q) = (2, 3)$ ou $(3, 2)$.
  • Théorème 10 : Dans les mêmes conditions, la sous-algèbre engendrée par $x^p - y$ et $y^q$ est l'algèbre entière $\mathbb{C}[x, y]$.

• 2-génération des algèbres de Lie :

  • Proposition 1 : L'algèbre de Lie $\mathcal{L}$ des champs de vecteurs polynomiaux à divergence nulle est engendrée par deux dérivations localement nilpotentes : $\partial_1 = y^2 \frac{\partial}{\partial x}$ et $\partial_2 = \frac{\partial}{\partial x} - x \frac{\partial}{\partial y}$.
  • Proposition 11 : L'algèbre de Lie $\tilde{\mathcal{L}}$ des champs de vecteurs polynomiaux à divergence constante (l'algèbre tangente de $\text{Aut}(\mathbb{C}^2)$) est également 2-générée.

• Théorèmes principaux sur la transitivité :

  • Théorème 18 (Résultat principal) : L'action du groupe $G_{r,s}$ sur $\mathbb{C}^2$ est génériquement infiniment transitive si et seulement si $rs \ge 2$. Cela étend les résultats précédents qui étaient limités au cas $rs=2$ et au plan épointé.
  • Théorème 17 : Le groupe $G_{r,s}$ agit de manière infiniment transitive sur un sous-ensemble ouvert $O \subseteq \mathbb{C}^2$ si et seulement si $rs=2$. Dans ce cas, $O = \mathbb{C}^2 \setminus \{0\}$. L'article fournit une nouvelle preuve de ce résultat en utilisant le cadre algébrique de Lie.

• Généralisations :

  • Proposition 25 : Les résultats sont étendus aux surfaces de Danielewski $Y_p = \{(x, y, z) \in \mathbb{C}^3 : xy = p(z)\}$, montrant que les groupes engendrés par des dérivations localement nilpotentes spécifiques agissent de manière génériquement infiniment transitive sur ces surfaces.
  • Corollaire 29 : Les auteurs construisent une paire spécifique de sous-groupes $\mathbb{G}_a$ (dont l'un n'est pas un sous-groupe radical) qui engendrent un groupe infiniment transitive sur $\mathbb{C}^2$, en utilisant la 2-génération de l'algèbre de Lie à divergence nulle.

Portée et affirmations
L'article affirme que sa signification principale réside dans la connexion de la propriété de transitivité infinie à la structure de l'algèbre de Lie tangente sous-jacente. En prouvant que l'action est génériquement infiniment transitive si et seulement si la sous-algèbre associée de l'algèbre de Lie a une codimension finie (spécifiquement lorsque $rs \ge 2$), les auteurs fournissent un critère structurel pour la transitivité.

Les auteurs notent que, bien que les résultats algébriques de Lie soient purement algébriques et valables sur tout corps de caractéristique nulle, les résultats de transitivité pour les actions de groupes reposent sur des méthodes analytiques (spécifiquement le théorème des fonctions implicites et l'approximation des flots). Ils déclarent explicitement que l'obtention de critères purement algébriques pour la transitivité infinie reste un problème ouvert et intéressant. Ce travail sert également de preuve de concept pour l'application de ces techniques algébriques de Lie à d'autres surfaces affines, telles que les surfaces de Danielewski.