An organizing principle in the study of the Jacobian Conjecture

Résumé Technique : Un principe organisateur dans l'étude de la Conjecture de Jacobian

Énoncé du Problème
L'article traite de la Conjecture de Jacobian (CJ), qui postule que tout morphisme polynomial $F: \mathbb{C}^n \to \mathbb{C}^n$ avec un déterminant jacobien constant égal à 1 ($\det DF = 1$) est inversible (un automorphisme). Bien que la conjecture ait été vérifiée pour des classes spécifiques de morphismes (par exemple, les applications quadratiques), les preuves générales ont historiquement échoué. L'auteur étudie la conjecture au niveau des composantes irréductibles du lieu algébrique $V^k_n$, défini comme l'ensemble des applications polynomiales de degré au plus $k$ satisfaisant la condition jacobienne. La question centrale est de savoir si la conjecture est universellement vraie au sein d'une composante irréductible fixée $\Omega \subset V^k_n$, ou si elle échoue génériquement au sein de cette composante.

Méthodologie
L'article emploie une synthèse de géométrie algébrique, d'analyse complexe et de topologie pour établir un dilemme concernant l'inversibilité des applications au sein d'une composante irréductible $\Omega$.

1. Formulation Algébrique : L'auteur définit l'espace des applications polynomiales $P^k_n$ et le lieu $V^k_n$. L'ensemble des applications inversibles au sein de ce lieu est noté $I^k_n = V^k_n \cap \text{Aut}(\mathbb{C}^n)$. La stratégie de preuve repose sur la démonstration que $I^k_n$ est un ensemble algébrique (spécifiquement, fermé au sens de Zariski) dans $P^k_n$.
2. Constructibilité et Théorème de Chevalley : Pour prouver que $I^k_n$ est algébrique, l'auteur utilise l'isomorphisme $\Lambda^k_n$ entre l'espace des coefficients et les applications polynomiales. En analysant l'ensemble des applications non injectives via la condition $\Lambda^k_n c(z) - \Lambda^k_n c(w) = 0$ avec $z \neq w$, l'auteur construit un ensemble $T$. En utilisant le théorème de Chevalley, il est démontré que la projection de cet ensemble constructible est constructible. Par conséquent, l'ensemble des applications injectives (le complément de la projection) est également constructible.
3. Fermeture Topologique (Argument Analytique) : Une étape critique consiste à prouver que l'ensemble des applications injectives n'est pas seulement constructible, mais est aussi fermé au sens de Zariski. L'auteur soutient que la fermeture euclidienne et la fermeture de Zariski d'un ensemble constructible coïncident. Par conséquent, il suffit de prouver que l'ensemble est fermé dans la topologie euclidienne.
   • On considère une suite d'applications injectives $F_j$ convergeant vers une application $F$.
   • La condition jacobienne $\det DF_j = 1$ garantit que $F$ est un homéomorphisme local via le théorème de l'application inverse complexe.
   • Un lemme topologique (noté $(\dagger)$) est prouvé : si une suite d'homéomorphismes locaux injectifs converge uniformément localement vers un homéomorphisme local, l'application limite est également injective. Cela repose sur la théorie du degré topologique pour montrer que si l'application limite n'était pas injective, les applications approchantes perdraient éventuellement l'injectivité, créant une contradiction.

Contributions Clés et Résultats
Le résultat principal est le Théorème 1.1, qui établit un dilemme strict pour toute composante irréductible $\Omega$ du lieu $V^k_n$ :

• Alternative A : Toute application $F \in \Omega$ est inversible (la Conjecture de Jacobian est vérifiée pour $\Omega$).
• Alternative B : L'application générique $F \in \Omega$ n'est pas inversible (la Conjecture de Jacobian échoue pour $\Omega$).

L'article prouve qu'il n'existe pas de « juste milieu » où une composante contiendrait à la fois des applications inversibles et non inversibles de manière à empêcher une classification générique. Plus précisément, l'ensemble des applications inversibles au sein d'une composante irréductible est soit l'intégralité de la composante, soit une sous-variété propre de dimension inférieure.

De plus, l'article relie ce dilemme à un critère probabiliste basé sur le théorème d'Ax-Grothendieck (qui stipule que les applications polynomiales injectives sont bijectives). L'auteur suggère que pour un choix aléatoire de $(F, c) \in \Omega \times \mathbb{C}^n$, la solution de $F(z) = c$ existe et est unique si et seulement si la première alternative du dilemme est vérifiée.

Signification et Revendications
L'article affirme fournir un « principe organisateur » qui recadre l'histoire des tentatives de preuve de la Conjecture de Jacobian. En établissant ce dilemme, l'auteur suggère que l'échec des preuves générales précédentes peut être dû à l'existence de composantes où la conjecture échoue génériquement.

La signification réside dans le potentiel d'une approche computationnelle pour trouver des contre-exemples. L'auteur pose que si l'on applique le critère probabiliste à toutes les composantes de tous les $V^k_n$, on pourrait localiser une composante $\Omega$ où la seconde alternative est vérifiée. Dans un tel cas, les contre-exemples seraient « presque impossibles à manquer » car ils constitueraient le comportement générique de cette composante. L'article ne prétend pas avoir trouvé un contre-exemple ou avoir prouvé la conjecture vraie ; il fournit plutôt un cadre structurel qui restreint l'espace de recherche des échecs potentiels de la conjecture à des composantes irréductibles spécifiques.

Le travail fait également référence à des résultats connexes en géométrie algébrique réelle concernant l'inversibilité des applications polynomiales $G: \mathbb{R}^n \to \mathbb{R}^n$, en utilisant des ensembles semi-algébriques et le théorème de Tarski-Seidenberg pour définir un ensemble « noyau » qui s'annule si et seulement si l'application est inversible.