🔢 mathematics

Proof of Miyanishi's conjecture on endomorphisms of varieties

Cet article démontre la conjecture de Miyanishi en établissant que tout endomorphisme birationnel injectif hors d'un fermé de codimension au moins 2 d'une variété quasi-projective est un automorphisme, généralisant ainsi un théorème d'Ax grâce à un résultat clé sur la finitude des groupes de classes.

Auteurs originaux : Supravat Sarkar

Publié 2026-02-19

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Supravat Sarkar

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Le Titre de l'Histoire : "Le Magicien qui ne perd personne"

Imaginez que vous avez une forme géométrique complexe, comme une sculpture abstraite (ce que les mathématiciens appellent une variété). Vous avez un magicien, nommé $\phi$ (phi), qui possède un pouvoir spécial : il peut transformer cette sculpture en une autre version d'elle-même.

Dans le monde des mathématiques, on se pose souvent cette question : Si ce magicien transforme la sculpture sans jamais écraser deux points différents en un seul (c'est-à-dire qu'il est "injectif"), est-ce qu'il a en réalité juste réarrangé la sculpture sans rien casser ? Autrement dit, est-ce que son tour de magie est réversible ? C'est ce qu'on appelle savoir s'il est un automorphisme.

Le Problème : Le Magicien et les "Zones Interdites"

Jusqu'à présent, on savait que si le magicien ne perdait aucun point (il est injectif partout), alors tout allait bien. Mais la question devenait plus subtile :
Que se passe-t-il si le magicien est un peu étourdi ?
Supposons qu'il y ait une petite zone cachée, un "trou noir" dans la sculpture, où il pourrait faire une erreur et écraser deux points en un seul. Mais imaginez que cette zone soit très petite, si petite qu'elle est presque invisible (mathématiquement, on dit que son "codimension est supérieure ou égale à 2").

En gros, le magicien est parfait partout, sauf dans un tout petit coin caché.
La conjecture de Miyanishi (le problème que ce papier résout) disait : "Même si le magicien fait une petite erreur dans ce coin caché, tant que le reste de la sculpture est transformé sans perte d'information, alors le tour de magie est en fait parfait et réversible."

L'Analogie du Puzzle et du Miroir

Pour comprendre la preuve, imaginez que votre sculpture est un puzzle géant.

Le Magicien ( $\phi$ ) prend le puzzle et le réassemble.
Il dit : "Je n'ai changé que quelques pièces dans un coin très petit (le coin caché). Partout ailleurs, j'ai collé les pièces exactement à leur place."
La question est : Est-ce que j'ai vraiment changé la forme du puzzle, ou est-ce que je l'ai juste retourné ?

L'auteur, Supravat Sarkar, dit : "Non, vous n'avez pas changé la forme. Vous avez juste retourné le puzzle."

Comment a-t-il prouvé cela ? (Les deux étapes clés)

L'auteur utilise deux idées principales, qu'il appelle des "Lemmes" (des petits outils mathématiques), pour démontrer son affirmation.

1. La Balance des "Déchets" (Le Groupe de Classe)

Imaginez que chaque fois que vous modifiez une forme géométrique, vous laissez derrière vous des "déchets" ou des "déformations". Les mathématiciens comptent ces déchets avec une balance appelée Groupe de Classe.

L'astuce de l'auteur : Il montre que sur une forme géométrique bien définie, le nombre de types de déchets possibles est fini. C'est comme dire qu'il n'y a qu'un nombre limité de façons de casser un vase. Vous ne pouvez pas créer une infinité de nouveaux types de cassures.
Pourquoi c'est important ? Cela signifie que le magicien ne peut pas avoir "caché" une infinité de problèmes dans son coin secret. Les dégâts sont limités.

2. Le Jeu de la Réduction (Le Lemme 2.2)

C'est le cœur de la preuve. L'auteur dit : "Si le magicien n'est pas parfait (s'il n'est pas un simple retournement), alors il doit avoir créé un nouveau type de déformation dans le coin caché."

Il compare la "balance des déchets" de la sculpture avant et après le tour de magie.
Il prouve que si le magicien a fait une erreur (s'il n'est pas un simple retournement), la balance des déchets de la nouvelle sculpture serait plus légère que celle de l'originale.
Le paradoxe : Mais on vient de voir à l'étape 1 que le nombre de déchets est limité et stable. On ne peut pas avoir une balance qui devient plus légère de manière infinie ou arbitraire sans briser les règles du jeu.
Conclusion : La seule façon d'éviter ce paradoxe est de dire : Le magicien n'a rien fait de mal. Il n'y a pas d'erreur cachée. Le tour de magie est un simple retournement (un isomorphisme).

Le Résultat Final

Grâce à cette logique, l'auteur prouve que :

Si vous avez une forme géométrique et que vous la transformez sans perdre d'information, sauf peut-être dans un tout petit coin presque invisible, alors cette transformation est en réalité parfaite. Vous pouvez toujours revenir en arrière.

C'est une victoire pour les mathématiques car cela confirme une vieille intuition (la conjecture de Miyanishi) et cela fonctionne même dans des environnements mathématiques très complexes (sur n'importe quel champ, pas seulement les nombres réels ou complexes).

En résumé, pour le grand public

Imaginez que vous avez une carte au trésor. Vous la pliez et la déplacez. Si vous êtes sûr de ne pas avoir déchiré la carte, sauf peut-être dans un tout petit coin caché sous un pli, alors vous pouvez être certain que la carte est toujours entière et que vous pouvez la déplier exactement comme avant. L'auteur a prouvé mathématiquement que si la déchirure est assez petite, elle n'existe pas vraiment : la carte est intacte.

1. Problématique et Contexte

L'article s'attaque à une question fondamentale en géométrie algébrique concernant les endomorphismes des variétés non complètes.

Contexte historique : Pour les variétés projectives normales, l'existence d'endomorphismes impose des restrictions fortes. Pour les variétés non complètes, le théorème d'Ax (1968) établit que tout endomorphisme injectif d'une variété réduite et séparée est bijectif. Plus tard, Nowak a montré que sur un corps de caractéristique nulle, un endomorphisme bijectif est un automorphisme.
La question centrale : L'hypothèse d'injectivité globale peut-elle être affaiblie ? Il est connu qu'un endomorphisme injectif sur un ouvert dense n'est pas nécessairement un automorphisme (exemple classique : $\phi(x, y) = (x, xy)$ sur $\mathbb{A}^2$ ).
La Conjecture de Miyanishi (1980) : Miyanishi a conjecturé que si $X$ est une variété complexe et $\phi : X \to X$ un endomorphisme injectif en dehors d'un sous-ensemble fermé de codimension $\ge 2$ , alors $\phi$ est un isomorphisme.
État de l'art : La conjecture était connue pour les variétés affines, complètes, $\mathbb{Q}$ -factorielles, ou de dimension $\le 2$ . Cependant, une preuve générale pour toutes les variétés quasi-projectives sur des corps de caractéristique arbitraire faisait défaut.

2. Méthodologie

L'auteur propose une preuve générale (Théorème A) qui fonctionne sur n'importe quel corps $k$ et pour toute variété quasi-projective. La stratégie repose sur une réduction au cas où le corps de base est de type fini, suivie d'une analyse fine des groupes de classes de diviseurs.

Les étapes clés de la preuve sont :

Réduction au corps de type fini : L'auteur montre que l'on peut supposer que la variété $X$ , le sous-ensemble singulier et l'endomorphisme $\phi$ sont définis sur un sous-corps $K$ de type fini sur le corps premier. Cela permet d'utiliser des résultats d'arithmétique géométrique.
Normalisation : En se basant sur des travaux antérieurs, on peut supposer que $X$ est normale.
Analyse des groupes de classes : Le cœur de la démonstration réside dans l'étude du groupe de classes de Weil $Cl(X)$ modulo le groupe de Picard $Pic(X)$. L'auteur utilise deux lemmes techniques majeurs :
- Lemme 2.1 (Finitude) : Il établit que pour une variété sur un corps de type fini, l'espace vectoriel $Cl(X) \otimes \mathbb{Q}$ est de dimension finie. De plus, si $X$ est birationnelle à une variété propre et géométriquement normale, $Cl(X)$ est un groupe abélien de type fini.
- Lemme 2.2 (Diminution de dimension) : Soit $\phi : Y \to X$ un morphisme birationnel entre variétés quasi-projectives normales, avec un lieu exceptionnel de codimension $\ge 2$ . Si $\phi$ n'est pas une immersion ouverte, alors la dimension de l'espace vectoriel $Cl(Y)/Pic(Y) \otimes \mathbb{Q}$ est strictement inférieure à celle de $Cl(X)/Pic(X) \otimes \mathbb{Q}$ .
- Preuve du Lemme 2.2 : L'auteur utilise le théorème de Zariski pour montrer que si $\phi$ n'est pas une immersion ouverte, le lieu exceptionnel contient deux points distincts $x, y$ ayant la même image. Grâce à la propriété de quasi-projectivité, il existe un diviseur de Cartier effectif $H$ séparant ces points. En construisant un diviseur de Weil $G$ à partir de l'image réciproque de $H$ , il montre que la classe de $G$ dans le quotient est non nulle mais devient nulle après l'application de l'application induite par $\phi$ , prouvant ainsi que l'application n'est pas injective sur les espaces vectoriels quotients.
Conclusion par contradiction :
- On suppose que $\phi$ n'est pas un isomorphisme.
- Comme $\phi$ est injectif en dehors d'un ensemble de codimension $\ge 2$ , le lieu exceptionnel $\text{Ex}(\phi)$ a une codimension $\ge 2$ .
- Si $\phi$ n'est pas une immersion ouverte, le Lemme 2.2 implique une diminution stricte de la dimension du groupe de classes quotient.
- Cependant, en itérant ce processus (ou en considérant la structure birationnelle), on aboutit à une contradiction avec la finitude de la dimension établie au Lemme 2.1.
- Par conséquent, $\phi$ doit être une immersion ouverte.
- Enfin, en combinant ce résultat avec le théorème d'Ax (qui assure la surjectivité pour les endomorphismes injectifs), on conclut que $\phi$ est un isomorphisme.

3. Résultats Principaux

Théorème A (Résultat principal) : Soit $X$ une variété quasi-projective sur un corps $k$ quelconque, et $\phi : X \to X$ un morphisme birationnel qui est injectif en dehors d'un sous-ensemble fermé de codimension $\ge 2$ . Alors $\phi$ est un isomorphisme.
Généralisation : Ce résultat généralise le théorème d'Ax (qui ne traitait que l'injectivité globale) et prouve la conjecture de Miyanishi dans sa forme la plus générale (variétés quasi-projectives, corps arbitraires).
Condition de caractéristique : L'hypothèse de birationalité est explicite dans le théorème pour les caractéristiques positives (nécessaire à cause de l'exemple de l'application de Frobenius), tandis qu'en caractéristique nulle, elle découle automatiquement de l'injectivité.

4. Contributions Clés

Résolution de la Conjecture de Miyanishi : La preuve complète la conjecture pour toutes les variétés quasi-projectives, comblant une lacune de plusieurs décennies.
Résultat sur les groupes de classes (Lemme 2.1) : L'auteur établit un résultat de finitude pour les groupes de classes de Weil tensorisés par $\mathbb{Q}$ sur les variétés définies sur des corps de type fini. Ce résultat est présenté comme intéressant en soi et pourrait avoir d'autres applications en géométrie algébrique.
Technique de séparation par diviseurs : L'utilisation astucieuse de diviseurs de Cartier pour séparer des points dans le lieu exceptionnel, couplée à l'analyse des classes de diviseurs, constitue une méthode puissante pour étudier les morphismes birationnels.

5. Signification et Impact

Unification : Ce travail unifie les cas connus (affine, complet, $\mathbb{Q}$ -factoriel) sous un cadre théorique unique et plus large.
Robustesse : La preuve fonctionne sur des corps de caractéristique arbitraire, ce qui est crucial pour la géométrie algébrique moderne, au-delà du cas classique des corps de nombres ou de $\mathbb{C}$ .
Ouverture de nouvelles pistes : La démonstration du Lemme 2.1 sur la structure des groupes de classes pour les variétés sur des corps de type fini ouvre de nouvelles perspectives pour l'étude de la géométrie des variétés non complètes et de leurs invariants arithmétiques.
Clarification : L'article clarifie également les conditions nécessaires (comme la birationalité en caractéristique positive) et corrige des ambiguïtés potentielles dans les tentatives de preuve antérieures qui dépendaient de résultats non vérifiés ou nécessitant des hypothèses supplémentaires.

En résumé, le papier de Supravat Sarkar apporte une solution définitive à un problème ouvert majeur en géométrie algébrique, en combinant des techniques classiques (théorème de Zariski, théorème d'Ax) avec des résultats profonds sur la structure des groupes de classes de diviseurs.