Real algebraic surfaces biholomorphically equivalent but not algebraically equivalent

Résumé technique : Surfaces algébriques réelles biholomorphiquement équivalentes mais pas algébriquement équivalentes

Énoncé du problème
Cet article traite d'une question ouverte de longue date en géométrie complexe et en géométrie algébrique réelle : l'équivalence biholomorphe implique-t-elle l'équivalence algébrique pour les germes de variétés algébriques réelles dans $\mathbb{C}^n$ ? Plus précisément, étant donné deux germes de variétés algébriques réelles lisses $(M, 0)$ et $(M', 0)$ dans $\mathbb{C}^n$, s'il existe un biholomorphisme $\Phi$ envoyant $M$ sur $M'$, existe-t-il nécessairement un biholomorphisme $\Psi$ défini par des séries entières algébriques (c'est-à-dire des séries entières satisfaisant une équation polynomiale non triviale à coefficients polynomiaux) tel que $\Psi(M) = M'$ ?

Bien que la réponse soit connue pour être positive pour plusieurs classes importantes de variétés — notamment les hypersurfaces algébriques réelles non dégénérées de Levi (Webster, 1977) et les variétés algébriques réelles génériques de type fini qui sont holomorphiquement non dégénérées (Berteloot, Ebenfelt et Rakhimov, 1996) —, le cas général pour les variétés algébriques réelles restait non résolu. Des travaux antérieurs de Moser et Webster (1983) ont démontré que l'équivalence formelle n'implique pas toujours l'équivalence convergente (biholomorphe) pour les surfaces de Bishop, mais la question spécifique de savoir si l'équivalence convergente implique l'équivalence algébrique n'avait pas été tranchée.

Méthodologie
L'auteur construit un contre-exemple en utilisant des surfaces de Bishop, une classe de surfaces réelles dans $\mathbb{C}^2$ caractérisées par le fait d'avoir un espace tangent totalement réel partout sauf à l'origine, où l'espace tangent est une droite complexe.

1. Construction du contre-exemple :
   L'article considère la famille de surfaces de Bishop $M_\gamma$ définie par :
   $$M_\gamma := \{(z, w) \in \mathbb{C}^2 \mid w = |z|^2 + \gamma(z^2 + \bar{z}^2)\}$$
   où $\gamma \in (0, 1/2)$ est un nombre transcendant.

2. Existence de l'équivalence biholomorphe :
   En citant Moser et Webster (1983), l'article note que pour $\gamma \in (0, 1/2)$, la surface $M_\gamma$ admet un biholomorphisme convergent $\Phi$ vers une forme normale $N_{\gamma, \epsilon, s}$ (spécifiquement, une surface définie par $w = |z|^2 + (\gamma + \epsilon w^s)(z^2 + \bar{z}^2)$ avec $\text{Im}(w)=0$). Ainsi, $M_\gamma$ est biholomorphiquement équivalente à sa forme normale.

3. Preuve de la non-équivalence algébrique :
   Le cœur de la preuve procède par l'absurde. L'auteur suppose qu'il existe un biholomorphisme $\Phi = (\phi_1, \phi_2)$ dont les composantes appartiennent à l'anneau des séries entières algébriques $\mathbb{C}\langle z, w \rangle$ et qui envoie $M_\gamma$ sur la forme normale (spécifiquement, en l'envoyant dans l'hyperplan réel $\text{Im}(w)=0$).

   • Analyse de la structure algébrique : La preuve utilise les propriétés de l'anneau des séries entières algébriques, notamment le théorème des fonctions implicites, la platitude fidèle et le comportement des coefficients sous les extensions de corps.
   • Réduction du corps des coefficients : En utilisant le lemme 6 et le lemme 5, l'auteur réduit les coefficients de l'application algébrique supposée à une extension de corps $L$ de type fini de $\mathbb{Q}(\gamma)$. Par une analyse ultérieure (lemme 7, un théorème de type Eisenstein), il est démontré que les coefficients sont des fonctions rationnelles des paramètres transcendants $\gamma_1, \dots, \gamma_r$.
   • Déformation des paramètres : L'auteur construit une famille de surfaces $M_\delta$ paramétrée par $\delta \in \mathbb{R}$. En exploitant l'indépendance algébrique du transcendant $\gamma$, la preuve montre que si une équivalence algébrique existe pour le $\gamma$ transcendant, alors une équivalence algébrique doit exister pour un paramètre « proche » $\delta_1$ choisi dans un ensemble dense de nombres réels.
   • Contradiction via les paramètres exceptionnels : L'auteur choisit $\delta_1 > 1/2$ comme un paramètre « exceptionnel » (où les solutions de $\gamma T^2 - T + \gamma = 0$ ne sont pas des racines de l'unité). Moser et Webster (1983, théorème 6.1) ont prouvé que pour de tels paramètres exceptionnels, aucun biholomorphisme convergent n'existe pour envoyer la surface vers la forme normale. Puisque les séries entières algébriques sont convergentes, l'existence d'une application algébrique pour $\delta_1$ impliquerait l'existence d'une application convergente, ce qui est une impossibilité connue.

Contributions et résultats clés

• Théorème 1 : L'article établit que si $\gamma \in (0, 1/2)$ est un nombre transcendant, la surface de Bishop $M_\gamma$ est biholomorphiquement équivalente à sa forme normale, mais pas au moyen d'un biholomorphisme algébrique.
• Réponse négative à la question générale : Ce résultat fournit une réponse négative définitive à la question posée dans [BER00] et [Mir13] : l'équivalence biholomorphe n'implique pas l'équivalence algébrique pour les germes de variétés algébriques réelles en général.
• Raffinement de la théorie des surfaces de Bishop : Ce travail clarifie la distinction entre les équivalences formelles, convergentes et algébriques spécifiquement dans le contexte des surfaces de Bishop, mettant en évidence le rôle des invariants transcendants.

Signification
L'article résout un problème ouvert spécifique concernant la rigidité des structures algébriques réelles sous les applications biholomorphes. Il démontre que, bien que la structure analytique de ces surfaces soit suffisamment rigide pour admettre une forme normale convergente (pour $\gamma \in (0, 1/2)$), la structure algébrique n'est pas préservée par cette équivalence. Le résultat souligne que la classe des séries entières algébriques est strictement plus petite que la classe des séries entières convergentes dans le contexte de l'application de variétés algébriques réelles, même lorsque les variétés elles-mêmes sont algébriques. L'auteur présente modestement ce travail comme fournissant un contre-exemple spécifique à une conjecture générale, s'appuyant sur les résultats établis de non-convergence pour les paramètres exceptionnels par Moser et Webster pour mener à la contradiction.