Counterexamples to the Jacobian conjecture in dimensions greater than two

Résumé Technique : Contre-exemples à la Conjecture de Jacobian dans les Dimensions Supérieures à Deux

Énoncé du Problème
La conjecture de Jacobian, posée par Keller en 1939, affirme que toute application polynomiale $F: \mathbb{C}^n \to \mathbb{C}^n$ possédant un déterminant jacobien constant non nul (une application de Keller) doit être un automorphisme polynomial (c'est-à-dire posséder une inverse polynomiale). Bien que la conjecture demeure ouverte pour $n=2$, cet article traite du statut de la conjecture pour les dimensions $n > 2$. Le travail s'appuie sur la réfutation de la conjecture en dimension trois annoncée par Alpöge (19 juillet 2026), qui a fourni un contre-exemple spécifique, ainsi que sur la construction ultérieure d'une famille infinie de contre-exemples par Gallagher. Le problème central traité ici est de généraliser le mécanisme derrière ces contre-exemples à toutes les dimensions $n > 2$ et de construire des exemples explicites avec des degrés géométriques arbitrairement grands.

Méthodologie
L'article emploie une construction géométrique basée sur le mécanisme de « balayage tangent » (tangent sweep), initialement isolé par Speyer. La méthodologie se déroule en trois étapes principales :

1. Balayage Tangent : L'auteur construit une application polynomiale en balayant un champ de directions tangentes sur une hypersurface paramétrée. Pour une hypersurface paramétrée $X: \mathbb{C}^{n-2} \to \mathbb{C}^{n-1}$ et un champ tangent polynomial $\Delta$, une application de « balayage rembourré » (padded sweep) $F_0$ est définie. Le déterminant jacobien de ce balayage est montré être un polynôme en une variable multiplicatrice $\gamma$, spécifiquement de la forme $\det J(F_0) = \sum L_k \gamma^{k+1}$.
2. Sélection de Branche et Normalisation : La construction repose sur la sélection de « branches » spécifiques où le déterminant jacobien se simplifie en un terme monomial $c \gamma^{k+1}$. Cela nécessite de satisfaire des critères de tangence ($\det(\Delta, J(X)) \equiv 0$) et des conditions de normalisation où des coefficients $L_k$ spécifiques s'annulent ou deviennent des constantes. L'article analyse différents types de champs de directions (de type courbe, tautologique et mixtes) pour déterminer quelles branches sont disponibles dans diverses dimensions.
3. Torsion Monomiale : Pour convertir le balayage (qui possède un jacobien non constant) en une application de Keller (jacobien constant), l'auteur applique une « torsion monomiale ». Cela implique de composer le balayage avec des applications monomiales et une étape affine pour annuler le facteur $\gamma$ dans le jacobien. Ce processus introduit des « conditions latérales » (contraintes de divisibilité) sur les coefficients des polynômes définissant l'hypersurface. Crucialement, cette torsion repousse le lieu de ramification (où l'application échoue à être injective) vers l'infini, résultant en une application partout non ramifiée (étale) mais non propre.

Contributions Clés et Résultats

• Cadre Général : L'article établit une construction générale valable pour chaque dimension $n > 2$. Il démontre qu'en balayant des champs de directions tangentes sur des hypersurfaces paramétrées et en appliant la torsion monomiale, on peut générer des contre-exemples de Keller dans n'importe quelle dimension $n \ge 3$.
• Degré Géométrique Arbitraire : La construction produit des contre-exemples de degré géométrique (le nombre de points dans une fibre générique) arbitrairement grands. Pour $n=3$, elle retrouve la famille de Gallagher. Pour $n \ge 4$, le champ de direction de type courbe permet d'augmenter arbitrairement le degré géométrique en choisissant des données de haut degré.
• Cinq Contre-exemples Explicites : L'auteur travaille sur cinq nouvelles applications polynomiales explicites :
  • Dimension 3 : Une application $G$ avec des degrés de composantes 4, 11 et 12 (degré géométrique 4), basée sur une courbe quartique rationnelle avec deux cuspides et un nœud.
  • Dimension 4 :
    • $F_4$ : Une application avec des degrés de composantes 4, 11, 12 et 21 (degré géométrique 5) dérivée d'une surface réglée non cylindrique.
    • $F_5$ : Une application avec des degrés de composantes 3, 12, 14 et 16 (degré géométrique 10) dérivée de la « branche M » d'un champ de direction mixte.
  • Dimension 5 :
    • $F_6$ : Une application avec des degrés de composantes 7, 38, 40, 42 et 44 (degré géométrique 6) dérivée de la « branche inférieure » d'un champ de direction mixte $\Delta = (1, w_1, w_1^2, w_2)^T$.
    • $F_7$ : Une application avec des degrés de composantes 7, 86, 89, 92 et 95 (degré géométrique 12) dérivée du champ de direction de « type courbe », utilisant des données de type Keller transverses.
• Analyse de la Structure des Fibres : L'article fournit des descriptions détaillées des structures de fibres pour ces applications. Il prouve que la taille de la fibre générique est égale au degré géométrique, tandis que des fibres spécifiques dégénèrent vers des tailles plus petites (ou deviennent vides) sur des lieux spécifiques (par exemple, l'hypersurface de Jelonek). Par exemple, l'application $G$ atteint chaque taille de fibre dans $\{4, 3, 2, 1, 0\}$.
• Phénomène de Rigidité : En dimension 5, l'analyse de la « branche du milieu » pour le champ de direction mixte révèle un phénomène de rigidité. L'équation directrice pour cette branche dégénère en une équation de transport linéaire sur un lieu d'invariance caractéristique, suggérant que des données véritablement en cinq dimensions ne peuvent réaliser cette branche ; les solutions apparaissent comme des suspensions de balayages en quatre dimensions.

Signification et Revendications

L'article prétend fournir un compte rendu autonome du mécanisme de balayage tangent, le généralisant des courbes planes aux champs de directions sur des hypersurfaces. Sa signification primaire réside dans :

1. Compléter la Réfutation : Il confirme que la conjecture de Jacobian est fausse pour toutes les dimensions $n > 2$, fournissant un mécanisme unifié de contre-exemples pour toutes ces dimensions.
2. Explicité : Contra-irement aux preuves d'existence abstraites précédentes, ce travail fournit cinq applications polynomiales entièrement explicites avec des déterminants jacobiens et des structures de fibres vérifiés.
3. Intuition Géométrique : Il clarifie la nature géométrique des contre-exemples : ce sont des revêtements étales $\mathbb{C}^n \to \mathbb{C}^n$ qui échouent à être injectifs uniquement parce que des préimages distinctes s'échappent vers l'infini plutôt que de entrer en collision en des points finis.
4. Propagation : La construction permet la propagation des contre-exemples le long de la séquence $n \mapsto n+3$, suggérant que les contre-exemples dans des dimensions inférieures peuvent servir de données pour construire des contre-exemples dans des dimensions supérieures.

L'auteur note que toutes les identités polynomiales et les comptes de fibres ont été vérifiés en utilisant l'arithmétique exacte rationnelle et les bases de Gröbner lorsque cela était possible. Ils reconnaissent que la stratification complète des fibres pour les applications de dimension supérieure ($F_4$ à $F_7$) reste un sujet pour des travaux futurs, bien que les comptes de fibres génériques soient rigoureusement établis.