Non-Runge Fatou-Bieberbach Domains in Stein Manifolds with the Density Property

Cet article présente des méthodes pour construire deux types de domaines de Fatou-Bieberbach non Runge dans une variété de Stein possédant la propriété de densité, à savoir des sous-ensembles ouverts propres biholomorphes soit à $\mathbb{C}^n$, soit à la variété elle-même, et fournit des exemples illustrant ces constructions.

L'essentiel

🌌 Le Mystère des "Chambres Fantômes" dans les Mondes Mathématiques

Imaginez que vous êtes dans un univers infini et parfaitement lisse, appelé $\mathbb{C}^n$ (un espace complexe à plusieurs dimensions). Dans cet univers, il existe des règles très strictes sur la façon dont les formes peuvent se transformer.

Habituellement, si vous prenez une pièce entière (un domaine) et que vous essayez de la transformer en une autre pièce sans la déchirer ni la plier (une transformation "holomorphe"), vous pensez que vous ne pouvez pas créer de "trous" ou de pièces plus petites qui ressemblent à l'originale. C'est un peu comme si vous ne pouviez pas faire entrer un éléphant dans une boîte à chaussures sans le couper en morceaux.

Mais les mathématiciens ont découvert quelque chose de fou : dans les dimensions supérieures (3D et plus), il est possible de prendre tout l'univers infini et de le plier, le tordre et le comprimer pour qu'il rentre dans une petite partie de lui-même, tout en restant parfaitement lisse à l'intérieur. C'est ce qu'on appelle un domaine de Fatou-Bieberbach. C'est comme si vous aviez un château infini, et que vous pouviez le transformer en une simple chambre à coucher, mais que cette chambre était exactement identique au château original à l'intérieur.

🏗️ Le Problème : La "Transparence" vs Le "Mur Invisible"

Jusqu'à présent, les mathématiciens savaient comment construire ces "chambres fantômes" (ces domaines). Mais il y avait un problème : ces chambres étaient toujours "transparentes".

En mathématiques, on dit qu'un domaine est Runge (ou transparent) si vous pouvez voir à travers lui depuis l'extérieur. Imaginez que vous êtes à l'extérieur de la maison. Si la maison est "Runge", vous pouvez deviner exactement ce qui se passe à l'intérieur en regardant de l'extérieur, comme si les murs étaient en verre.

Le grand défi de ce papier est de répondre à une question : Peut-on construire une "chambre fantôme" qui a des murs opaques ? C'est-à-dire, un domaine qui ressemble à l'univers entier, mais qui cache ses secrets de l'extérieur. On appelle cela un domaine non-Runge.

🛠️ Les Outils des Constructeurs : La "Propriété de Densité"

Pour construire ces chambres, les auteurs utilisent un outil puissant appelé la propriété de densité.
Imaginez que votre univers mathématique est une pièce remplie de milliers de petits robots (des vecteurs). Si ces robots sont assez nombreux et agiles pour pouvoir aller partout et faire n'importe quel mouvement, on dit que la pièce a la "propriété de densité". Cela permet aux mathématiciens de manipuler l'espace comme de l'argile molle.

Les auteurs travaillent sur des univers complexes (appelés variétés de Stein) qui possèdent cette propriété de densité.

🚀 Deux Méthodes pour Créer des Murs Opaques

Le papier décrit deux façons de construire ces chambres fantômes avec des murs opaques :

1. La Méthode de l'Attraction (Le Premier Type)

Imaginez un tourbillon dans l'eau qui aspire tout vers un point central.

• L'idée : Les auteurs prennent un univers où ils retirent une "barrière" (une surface complexe, comme un mur invisible).
• L'action : Ils utilisent un robot mathématique qui attire tout vers un point. La zone qui tombe dans ce tourbillon devient leur nouvelle chambre.
• Le tour de magie : Ils placent un objet spécial (une sorte de "caillou" mathématique) juste à côté de la barrière. Quand ils construisent leur chambre, elle englobe ce caillou, mais elle ne peut pas englober l'ombre portée de ce caillou (son enveloppe convexe).
• Le résultat : La chambre est parfaite à l'intérieur, mais elle a un "mur invisible" à l'extérieur qui empêche de voir tout ce qui se passe. C'est comme une maison qui a une pièce secrète que personne ne peut deviner de l'extérieur.

2. La Méthode du "Poussage" (Le Deuxième Type)

Imaginez que vous avez un tapis roulant infini et que vous voulez enlever un obstacle (un mur) sans toucher à une zone de sécurité.

• L'idée : C'est plus difficile. Il faut prendre l'obstacle (la barrière) et le pousser loin, loin, loin, hors de la zone où l'on veut construire la chambre.
• Le défi : Il faut que l'univers soit assez flexible pour permettre ce mouvement, mais pas trop pour que l'obstacle ne revienne pas.
• Le résultat : Ils réussissent à créer une chambre qui est une copie parfaite de l'univers entier, mais qui est coincée dans un coin, cachée derrière un mur que l'on ne peut pas franchir.

🌍 Les Exemples Concrets : Où trouvons-nous ces chambres ?

Les auteurs ne se contentent pas de théorie. Ils montrent où ces chambres existent dans le monde réel des mathématiques :

1. Le Groupe $SL_n(\mathbb{C})$ : Imaginez un monde fait de matrices (des grilles de nombres) qui ont une propriété spéciale (leur déterminant est 1). C'est un univers très symétrique. Les auteurs montrent que si vous retirez une surface spécifique (où la somme des nombres sur la diagonale est zéro), vous pouvez construire votre chambre fantôme.
2. Le Cube de Koras-Russell : C'est une forme géométrique bizarre et complexe en 4 dimensions. C'est un peu comme un objet d'art abstrait. Les auteurs montrent que même dans cette forme étrange, on peut trouver ces chambres secrètes.

💡 Pourquoi est-ce important ?

C'est comme si les architectes mathématiques avaient prouvé qu'il existe des maisons qui, bien que ressemblant à des châteaux infinis, ont des pièces secrètes dont les plans sont totalement inaccessibles de l'extérieur.

Cela change notre compréhension de la géométrie complexe. Cela nous dit que l'espace peut être beaucoup plus "troué" et caché qu'on ne le pensait. C'est une victoire pour la théorie de la complexité : on peut créer des structures qui défient l'intuition, en utilisant la flexibilité infinie de certains univers mathématiques.

En résumé :
Les auteurs ont appris à construire des "chambres infinies" à l'intérieur de grands univers mathématiques, avec la capacité de cacher des secrets à l'extérieur. Ils ont utilisé des outils de "robotique mathématique" pour prouver que ces chambres existent dans des endroits très spécifiques, ouvrant la porte à de nouvelles explorations de l'infini.

Résumé technique

Voici un résumé technique détaillé de l'article « Non-Runge Fatou-Bieberbach Domains in Stein Manifolds with the Density Property » de Gaofeng Huang, Frank Kutzschebauch et Feng Rong.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie complexe, plus précisément dans l'étude des variétés de Stein et du phénomène de Poincaré-Fatou-Bieberbach.

• Contexte : En dimension $n \ge 2$, il existe des applications holomorphes injectives mais non surjectives $F : \mathbb{C}^n \to \mathbb{C}^n$. Leurs images $\Omega = F(\mathbb{C}^n)$ sont appelées domaines de Fatou-Bieberbach.
• Définition : Un domaine $\Omega \subset X$ (où $X$ est une variété de Stein) est dit Runge si toute fonction holomorphe sur $\Omega$ peut être approchée uniformément sur les compacts par des fonctions holomorphes sur $X$.
• Le problème central : Historiquement, les constructions classiques de domaines de Fatou-Bieberbach (méthode du bassin d'attraction et méthode de « push-out ») produisaient naturellement des domaines Runge. La question de l'existence de domaines de Fatou-Bieberbach non-Runge dans $\mathbb{C}^n$ a été résolue positivement par Wold en 2008.
• Objectif de l'article : Généraliser ce résultat aux variétés de Stein possédant la propriété de densité (introduite par Varolin). Les auteurs cherchent à construire deux types de domaines de Fatou-Bieberbach non-Runge dans ces variétés :
  1. Premier type : Biholomorphes à $\mathbb{C}^n$ (où $n = \dim_{\mathbb{C}} X$).
  2. Deuxième type : Biholomorphes à la variété $X$ elle-même, mais strictement contenus dans $X$.

2. Méthodologie et Outils Théoriques

Les auteurs s'appuient sur la théorie d'Andersén-Lempert et développent de nouveaux outils pour contourner les contraintes topologiques et analytiques.

A. La Propriété de Densité et ses Variantes

• Propriété de densité : L'algèbre de Lie des champs de vecteurs holomorphes complets est dense dans celle de tous les champs de vecteurs holomorphes. Cela garantit un groupe d'automorphismes très riche.
• Nouvelle notion : Propriété de densité faible (Weak Density Property) : Les auteurs introduisent une version « faible » de la propriété de densité relative à une sous-variété analytique fermée $Y$. Cette notion permet d'utiliser des champs de vecteurs tangents à $Y$ tout en conservant la liberté de déplacer des compacts dans $X \setminus Y$.
• Théorème d'Andersén-Lempert avec interpolation (Théorème 2.7) : C'est l'outil clé. Il permet d'approximer une isotopie d'applications injectives par des automorphismes globaux de $X$ qui préservent une sous-variété $Y$, sous réserve que l'image de l'isotopie ne touche pas $Y$.

B. Stratégies de Construction

L'article propose deux méthodes distinctes correspondant aux deux types de domaines :

1. Méthode pour le premier type (Biholomorphe à $\mathbb{C}^n$) :

   • Inspirée de l'exemple de Wold dans $\mathbb{C}^2$.
   • On considère une hypersurface complexe $H \subset X$ telle que $X \setminus H$ possède la propriété de densité.
   • On construit un ensemble $W$ (union de deux disques totalement réels) dans $X \setminus H$ qui est holomorphiquement convexe dans $X \setminus H$, mais dont l'enveloppe convexe holomorphe dans $X$ intersecte $H$.
   • En utilisant la propriété de densité de $X \setminus H$, on déplace $W$ dans un domaine de Fatou-Bieberbach $\Omega \subset X \setminus H$.
   • L'image réciproque $\Phi^{-1}(\Omega)$ contient $W$ mais pas son enveloppe convexe dans $X$, ce qui prouve qu'il n'est pas Runge dans $X$.

2. Méthode pour le deuxième type (Biholomorphe à $X$) :

   • Utilise la méthode de « push-out » (attribuée à Dixon et Esterle).
   • Nécessite une condition topologique forte appelée Propriété (PO) : Pour tout compact $K' \subset K$, il existe une isotopie d'automorphismes qui déplace l'hypersurface $H$ hors de $K$ tout en fixant approximativement $K'$.
   • La construction consiste à itérer des automorphismes qui repoussent progressivement $H$ vers l'infini (ou hors d'une suite croissante de compacts), créant un domaine $\Omega \subsetneq X$ biholomorphe à $X$.
   • La non-Runge est garantie par le fait que le domaine évite une copie de $H$ qui était initialement présente.

3. Résultats Principaux

Les auteurs établissent des conditions suffisantes pour l'existence de tels domaines et fournissent des exemples concrets.

Théorèmes Généraux

• Théorème 3.1 : Si $X$ est une variété de Stein et $H \subset X$ une hypersurface telle que $X \setminus H$ a la propriété de densité, alors il existe un domaine de Fatou-Bieberbach de premier type dans $X \setminus H$ qui est Runge dans $X \setminus H$ mais non-Runge dans $X$.
• Théorème 4.1 : Si $X$ a la propriété de densité faible tangente à $H$, que $X \setminus H$ a la propriété de densité, et que la paire $(X, H)$ satisfait la Propriété (PO), alors il existe un domaine de Fatou-Bieberbach de deuxième type dans $X \setminus H$ qui est non-Runge dans $X$.

Exemples Concrets

1. Groupe Spécial Linéaire $SL_n(\mathbb{C})$ ($n \ge 2$) :

   • En prenant $H = \{A \in SL_n(\mathbb{C}) \mid \text{tr}(A) = 0\}$, les auteurs montrent que $SL_n(\mathbb{C}) \setminus H$ possède la propriété de densité.
   • Résultat (Théorème 5.2) : Existence d'un domaine de Fatou-Bieberbach de premier type non-Runge dans $SL_n(\mathbb{C})$.

2. Cubique de Koras-Russell ($KR$) :

   • Hypersurface lisse dans $\mathbb{C}^4$ définie par $x^2y + x + s^2 + t^3 = 0$.
   • En prenant $H = \{x=0\} \cap KR$, ils prouvent que $KR \setminus H$ a la propriété de densité.
   • Résultat (Théorème 5.4) : Existence d'un domaine de Fatou-Bieberbach de premier type non-Runge dans $KR$.

3. Variétés Algébriques Flexibles (Deuxième type) :

   • Pour une variété affine algébrique flexible $X$, le produit $X \times \mathbb{C}$ possède la propriété de densité algébrique relative à $X \times \{0\}$.
   • Résultat (Théorème 5.9) : Existence d'un domaine de Fatou-Bieberbach de deuxième type dans $X \times \mathbb{C}$ (contenu dans $X \times \mathbb{C}^*$) qui est non-Runge.
   • Application au Espace de Calogero-Moser ($CM$), qui contient un tel domaine biholomorphe à $CM$ lui-même.

4. Signification et Discussion

• Avancée Théorique : L'article résout le problème de l'existence de domaines de Fatou-Bieberbach non-Runge dans une large classe de variétés de Stein (celles avec la propriété de densité), généralisant ainsi le travail de Wold de $\mathbb{C}^n$ à des géométries plus complexes.
• Difficulté du Deuxième Type : Les auteurs soulignent que la construction de domaines de deuxième type (biholomorphes à $X$) est beaucoup plus difficile. Elle nécessite la satisfaction simultanée de la propriété de densité faible et de la Propriété (PO).
• Obstructions Topologiques : L'article met en lumière une tension intéressante :
  • Pour que $X \setminus H$ ait la propriété de densité, $H$ doit souvent être défini par un polynôme de bas degré (pour éviter l'hyperbolicité de Kobayashi).
  • Cependant, les hypersurfaces de bas degré peuvent créer des obstructions topologiques à la Propriété (PO) (ex: groupes d'homotopie non triviaux empêchant le déplacement de $H$).
  • L'exemple de $SL_2(\mathbb{C})$ avec $H=\{a=0\}$ illustre cette obstruction : bien que $X \setminus H$ ait la propriété de densité, la topologie empêche le déplacement de $H$ hors de certains compacts (comme $SU(2)$), rendant la construction d'un domaine de deuxième type impossible dans ce cas précis.
• Question Ouverte : Les auteurs posent la question de l'existence d'un domaine de deuxième type dans $SL_n(\mathbb{C}) \setminus \{ \text{tr}(A)=0 \}$, notant que les obstructions topologiques semblent absentes pour $n \ge 3$, mais que la construction explicite reste un défi.

En conclusion, ce papier fournit un cadre robuste pour la construction de domaines de Fatou-Bieberbach non-Runge, en introduisant des concepts techniques nouveaux (propriété de densité faible) et en démontrant leur applicabilité sur des variétés algébriques et analytiques significatives.