A Counterexample to the Global Injectivity of a Jacobian Mapping in \mathbb{C}^5 and Its Analytical Roots

Résumé technique : Un contre-exemple à l'injectivité globale d'une application jacobienne dans $\mathbb{C}^5$

Énoncé du problème
Cet article traite de la conjecture de Jacobian, qui postule que toute application polynomiale $F: \mathbb{C}^n \to \mathbb{C}^n$ possédant un déterminant jacobien non nul et constant est globalement inversible. Bien que les théorèmes de réduction de Bass, Connell, Wright et Drużkowski aient restreint le champ d'application de la conjecture aux applications cubiques-linéaires (Drużkowski), cette étude examine une structure polynomiale spécifique dans $\mathbb{C}^5$ afin de tester les limites de l'injectivité globale sous des conditions de jacobien unipotente.

Méthodologie
L'auteur construit une application polynomiale spécifique $G: \mathbb{C}^5 \to \mathbb{C}^5$ définie par $G(x) = x - \nabla F(x)$, où $F$ est un polynôme homogène de degré 6. Le polynôme $F$ est composé de quatre « blocs harmoniques tridiagonaux » impliquant des composantes réelles et imaginaires dérivées de la partie réelle de $(u+iv)^6$.

La méthodologie se déroule en trois étapes :

1. Analyse du Jacobien : L'auteur démontre que la matrice hessienne $H_F(x)$ du polynôme définissant est strictement tridiagonale. En analysant la structure algébrique des coefficients, il est montré que les traces de toutes les puissances de $H_F(x)$ s'annulent identiquement ($\text{Tr}(H_F^k) = 0$ pour $k=1,\dots,5$). Cela prouve que $H_F(x)$ est nilpotent partout, garantissant que le déterminant jacobien de l'application $G$ est globalement constant et égal à 1 ($\det(I - H_F) \equiv 1$).
2. Test d'injectivité : En exploitant le fait que $F$ est composé de monômes de degré pair, le gradient $\nabla F$ est une fonction impaire. L'auteur réduit le problème de la recherche de points distincts $a \neq b$ tels que $G(a) = G(b)$ à la recherche de racines non triviales de l'équation $\nabla F(a) = a$ (c'est-à-dire $G(a) = \vec{0}$).
3. Classification analytique : L'article procède à une dérivation complète de l'ensemble nul $G(x) = \vec{0}$. En isolant les variables et en appliquant des ansatz de proportionnalité ($x_i = k x_j$) à des sous-systèmes spécifiques, l'auteur résout les équations algébriques résultantes pour identifier des familles distinctes de solutions.

Contributions clés et résultats
La contribution principale de l'article est la construction d'un contre-exemple à l'injectivité globale d'une application polynomiale unipotente dans $\mathbb{C}^5$.

• Contre-exemple explicite : L'auteur construit deux vecteurs creux distincts, $a = (c, 0, 0, 0, 0)$ et $b = (-c, 0, 0, 0, 0)$, où $c = 6^{-1/4}$. Il est rigoureusement prouvé que $G(a) = G(b) = \vec{0}$, démontrant ainsi que l'application n'est pas globalement injective malgré un déterminant jacobien de 1 partout.
• Classification des ensembles nuls : L'article fournit une classification détaillée des racines analytiques du champ de gradient, identifiant un total de 37 solutions complexes précises organisées en six séries géométriques distinctes :
  1. Série 1 : Quatre solutions isolées où seule la première coordonnée est non nulle ($x_1^4 = 1/6$).
  2. Série 2 : Quatre solutions où seule la dernière coordonnée est non nulle ($x_5^4 = i/6$).
  3. Série 3 : Quatre solutions où seule la coordonnée centrale est non nulle ($x_3^4 = 1/6$).
  4. Série 4 : Seize solutions formées par des combinaisons linéaires indépendantes des première et troisième coordonnées.
  5. Série 5 : Une famille de solutions sur la limite droite impliquant les variables couplées $x_4$ et $x_5$, déterminée par une équation quadratique en le coefficient d'échelle $k_R$.
  6. Série 6 : Une famille symétrique de solutions sur la limite gauche impliquant les variables couplées $x_1$ et $x_2$, déterminée par une équation quadratique en le coefficient d'échelle $k_L$.

Signification
L'article affirme que ces résultats mettent en lumière la nature complexe des conditions de stabilité et d'injectivité dans le cadre de la conjecture de Jacobian. En présentant une application unipotente dans $\mathbb{C}^5$ qui échoue à être globalement injective, ce travail souligne la difficulté de la conjecture et la richesse de l'espace de solution algébrique, même lorsque le déterminant jacobien est trivialement constant. Les conclusions sont présentées comme une vérification de la non-injectivité pour cette classe spécifique d'applications, offrant des familles analytiques précises de racines complexes qui remettent en question l'hypothèse selon laquelle des déterminants jacobiens constants impliquent une inversibilité globale dans des dimensions supérieures.