🔢 mathematics

A counterexample to the PIA conjecture for minimal log discrepancies

Cet article présente des contre-exemples qui réfutent à la fois la conjecture PIA pour les écarts log minimaux et la conjecture LSC pour les familles.

Auteurs originaux : Yusuke Nakamura, Kohsuke Shibata

Publié 2026-05-01

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Yusuke Nakamura, Kohsuke Shibata

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

Imaginez que vous êtes un architecte cherchant à comprendre l'intégrité structurelle d'un bâtiment. Dans le monde des mathématiques, plus précisément dans un domaine appelé géométrie birationnelle, le « bâtiment » est une forme (appelée variété), et l'« intégrité structurelle » est mesurée par une grandeur appelée Discrepance Logarithmique Minimale (MLD). Considérez la MLD comme un « score de sécurité » pour un point spécifique sur la forme. Un score plus élevé signifie que le point est plus lisse et plus sûr ; un score plus bas signifie qu'il est plus irrégulier ou « singulier ».

Pendant longtemps, les mathématiciens ont cru en une règle empirique très utile appelée la Conjecture PIA (Inversion Précise de l'Adjonction). Voici la version simple de cette règle :

L'Analogie du « Mur » : Imaginez que vous avez un bâtiment en 3D (la forme $X$ ) et que vous peignez un mur spécifique dessus (le diviseur $D$ ). La conjecture PIA disait : « Si vous voulez savoir à quel point le mur est sûr, vous n'avez pas besoin d'examiner tout le bâtiment. Vous pouvez simplement regarder le mur lui-même, et le score de sécurité sera exactement le même. »

Les mathématiciens espéraient que cette règle soit toujours vraie, car elle rendrait la résolution de problèmes complexes beaucoup plus facile, comme résoudre un puzzle en ne regardant qu'une seule pièce.

La Grande Découverte : La Règle Cède

Dans cet article, les auteurs Yusuke Nakamura et Kohsuke Shibata ont trouvé un cas spécifique où cette règle échoue. Ils ont construit un « bâtiment » mathématique qui semble sûr de l'extérieur, mais lorsqu'ils ont tenté d'appliquer la règle PIA à un mur spécifique, les nombres ne correspondaient pas.

Le Contre-exemple :
Ils ont créé une forme en utilisant un type spécial de symétrie (comme une toupie qui répète son motif tous les trois tours).

Le Bâtiment Entier ( $X$ ) : Ils ont calculé le score de sécurité d'un point spécifique sur l'ensemble du bâtiment.
Le Mur ( $D$ ) : Ils ont calculé le score de sécurité du même point, mais en ne regardant que le mur.
Le Résultat : Les scores étaient différents. Le mur était en fait « plus sûr » (avait une MLD plus élevée) que ce que la règle prédisait qu'il devrait être basé sur le bâtiment entier.

Cela prouve que la conjecture PIA n'est pas toujours vraie. Plus précisément, elle échoue lorsque le bâtiment a une dimension de 5 ou plus (imaginez un objet en 5D ou 6D).

Le « Fantôme » dans la Machine : Actions Virtuellement Libres

Pourquoi la règle a-t-elle cédé ? Les auteurs ont découvert un concept caché qu'ils appellent les actions « Virtuellement Libres ».

Imaginez un groupe de personnes (un groupe de symétrie) dansant dans une pièce (la forme).

Action Libre : Tout le monde danse, et personne ne se heurte jamais à quelqu'un d'autre ou ne se tient sur le même endroit. La danse est parfaitement fluide.
Libre en Codimension Un : Tout le monde danse fluidement, sauf peut-être dans un tout petit coin invisible de la pièce.
Virtuellement Libre (Le Nouveau Concept) : C'est un terrain d'entente délicat. Les auteurs ont découvert que dans leur contre-exemple, les « danseurs » (le groupe de symétrie) semblaient danser de manière suffisamment fluide pour que le score de sécurité devrait rester le même, mais à cause d'une interaction subtile de type « fantôme » (un type spécifique de singularité), le score a changé.

Ils ont prouvé que si les « danseurs » sont Virtuellement Libres, le score de sécurité reste généralement le même. Cependant, leur contre-exemple a montré un cas où les « danseurs » étaient virtuellement libres, mais le mur n'était pas assez lisse (il n'était pas « klt », un terme technique pour « faiblement singulier ») pour que la règle s'applique.

L'Effet de Ripple : La Conjecture LSC

L'article aborde également une seconde idée appelée la Conjecture LSC (Semi-continuité Inférieure).

L'Analogie : Imaginez que vous avez une famille de bâtiments qui changent légèrement lorsque vous tournez un cadran (comme un curseur). La conjecture LSC disait : « Lorsque vous tournez le cadran, le score de sécurité des bâtiments ne devrait jamais augmenter soudainement ; il ne peut que rester le même ou diminuer. »

Les auteurs ont utilisé leur contre-exemple pour montrer un scénario où, lorsque vous tournez le cadran, le score de sécurité s'élève soudainement pour une famille spécifique de bâtiments. Cela brise la conjecture LSC pour les familles, mais uniquement lorsque les bâtiments de la famille ont des bords « rugueux » (singularités non-klt).

Que Signifie Cela ?

La Règle a des Limites : La conjecture PIA est un outil puissant, mais ce n'est pas une loi universelle. Elle fonctionne pour des bâtiments lisses ou des bâtiments avec de légères bosses, mais elle échoue pour des formes complexes et hautement symétriques avec des types spécifiques de bords rugueux.
La Dimension Compte : La règle est vraie pour les formes en 3D et 4D (selon la discussion de l'article), mais elle s'effondre en 5D et au-delà.
Affiner la Théorie : Les auteurs suggèrent que si nous ajoutons une condition selon laquelle le « mur » doit être lisse (klt), la règle pourrait être sauvée. Cela aide les mathématiciens à affiner leurs théories pour savoir exactement quand ils peuvent faire confiance à la règle et quand ils doivent être prudents.

En résumé : Les auteurs ont construit un « piège » mathématique qui semblait devoir suivre les règles standard de la géométrie, mais il ne l'a pas fait. Cette découverte force les mathématiciens à mettre à jour leur code de règles, en ajoutant de nouvelles conditions et concepts (comme « Virtuellement Libre ») pour expliquer pourquoi la règle a échoué dans ce cas spécifique et de haute dimension.

1. Énoncé du problème

Le papier aborde la conjecture PIA (Precise Inversion of Adjunction), une hypothèse fondamentale en géométrie birationnelle concernant les discrepances log-minimales (mld).

Contexte : La discrepancy log-minimale est un invariant numérique mesurant la sévérité des singularités. La conjecture PIA postule une égalité précise entre la mld d'une paire $(X, D + \Delta)$ en un point $x$ sur un diviseur de Cartier normal $D$ , et la mld de la paire restreinte $(D, \Delta|_D)$ au même point.
La Conjecture : Plus précisément, la Conjecture 1.3 énonce que pour une paire log $(X, \mathfrak{a})$ et un diviseur premier de Cartier normal $D$ non contenu dans le cosupport de $\mathfrak{a}$ :
$\text{mld}_x(X, \mathfrak{a} \mathcal{O}_X(-D)) = \text{mld}_x(D, \mathfrak{a} \mathcal{O}_D)$
État des connaissances : L'inégalité " $\leq$ $\leq$ " est connue pour toujours être vraie. La conjecture affirme l'inégalité inverse " $\geq$ $\geq$ ". Elle a été prouvée dans plusieurs cas :
- $\dim X = 2$ (Shokurov).
- $X$ est lisse (Ein, Mustață, Yasuda).
- $X$ est une intersection complète locale (Ein, Mustață).
- $\dim X = 3$ (prouvé dans ce papier).
- $X$ possède des singularités de quotient et $D$ est klt (log terminal de Kawamata) en $x$ (Nakamura, Shibata).
Le Vide : La conjecture restait ouverte pour les dimensions supérieures ( $\dim X \geq 4$ ) et, crucialement, pour les cas où le diviseur $D$ lui-même possède des singularités non-klt.

2. Méthodologie

Les auteurs utilisent une combinaison de la théorie des singularités de quotient, des actions de groupes et de la théorie des espaces d'arcs pour construire un contre-exemple.

A. Construction du contre-exemple

Les auteurs définissent une famille spécifique de variétés en utilisant des actions de groupes cycliques :

Configuration : Soit $k$ un corps algébriquement clos de caractéristique nulle. Soit $\xi$ une racine primitive troisième de l'unité.
Espace : Considérons $A^{n+3}_k = \text{Spec}(k[x_1, \dots, x_{n+3}])$ .
Action de groupe : Définissons un groupe cyclique $G = \langle \gamma \rangle \cong \mathbb{Z}/3\mathbb{Z}$ agissant sur l'espace via la matrice diagonale $\gamma = \text{diag}(1, \xi, \xi^2, \xi, \dots, \xi)$ .
Variétés de quotient :
- $A_n = A^{n+3}_k / G$ .
- $B_n$ est l'hypersurface définie par $f = x_1^3 + x_2^3 + x_3^3 = 0$ à l'intérieur de $A^{n+3}_k$ , et $\bar{B}_n = B_n / G$ est son image dans le quotient.
Cible : La paire $(\bar{A}_n, \bar{B}_n)$ à l'origine $x_0$ .

B. Le concept d'actions "virtuellement libres"

Une contribution théorique majeure est l'introduction d'actions de groupes "virtuellement libres" pour expliquer pourquoi la mld se comporte de manière inattendue dans cette construction.

Définition : Une action $G$ sur une variété normale $X$ est virtuellement libre si, pour tout morphisme birationnel propre $G$ -équivariant $Y \to X$ issu d'une variété normale $Y$ , l'action sur $Y$ est libre en codimension un.
Propriétés :
- Elle se situe strictement entre "libre" et "libre en codimension un".
- Proposition 3.5 : Si une action $G$ est virtuellement libre, la discrepancy log-minimale est préservée sous le quotient : $\text{mld}_x(X, \mathfrak{a}) = \text{mld}_{x'}(X/G, \mathfrak{a})$ .
- Théorème 3.10 : Si $X$ est klt, "virtuellement libre" est équivalent à "libre". Cela explique pourquoi des contre-exemples ne peuvent pas être construits à l'aide de variétés klt (car l'action devrait être libre, préservant ainsi le comportement standard).

C. Calcul de la mld

Les auteurs calculent la mld pour l'exemple construit :

Pour l'espace ambiant : En utilisant la formule de l'âge pour les singularités de quotient, ils déterminent $\text{mld}_{x_0}(\bar{A}_n) = 2 + n/3$ .
Pour le diviseur : Ils prouvent que l'action sur $B_n$ est virtuellement libre (Lemme 4.1). Par conséquent, $\text{mld}_{x_0}(\bar{B}_n) = \text{mld}_{x_0}(B_n)$ . Puisque $B_n$ est un produit d'une singularité de surface et d'un espace affine, $\text{mld}_{x_0}(B_n) = n$ .
La Discrepancy :
- $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq \text{mld}_{x_0}(\bar{A}_n) - 1 = 1 + n/3$ .
- $\text{mld}_{x_0}(\bar{B}_n) = n$ .
- Pour $n \geq 2$ , $n > 1 + n/3$ . Ainsi, $\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) < \text{mld}_{x_0}(\bar{B}_n)$ , violant la conjecture PIA.

3. Contributions clés

Réfutation de la conjecture PIA : Le papier fournit le premier contre-exemple à la conjecture PIA pour $\dim X \geq 5$ .
- Résultat : Pour $n \geq 2$ , l'égalité échoue pour la paire $(\bar{A}_n, \bar{B}_n)$ .
- Signification : Cela démontre que la conjecture PIA ne vaut pas généralement pour les variétés à singularités de quotient si le diviseur $D$ n'est pas klt.
Introduction des actions "virtuellement libres" :
- Ce nouveau concept explique le phénomène où $\text{mld}(X/G) = \text{mld}(X)$ même lorsque l'action du groupe n'est pas libre.
- Il comble le fossé entre les actions libres (où la mld est préservée) et les actions non libres (où la mld diminue généralement).
Contre-exemple à la conjecture LSC pour les familles :
- Les auteurs utilisent une construction similaire pour réfuter la conjecture LSC (Semi-continuité inférieure) pour les familles (Conjecture 5.3).
- Ils construisent une famille plate où la mld de la fibre spéciale ( $t=0$ ) est strictement inférieure à la mld des fibres générales ( $t \neq 0$ ), violant la semi-continuité inférieure.
- Condition cruciale : Cet échec se produit spécifiquement lorsque les fibres ne sont pas klt.
Preuve de la PIA en dimension 3 :
- Les auteurs fournissent une preuve que la conjecture PIA vaut pour $\dim X = 3$ (Proposition 6.1), comblant une lacune dans la littérature.

4. Résumé des résultats

Dimension	Statut de la conjecture PIA	Condition
$\dim X = 2$	Vrai	Général (Shokurov)
$\dim X = 3$	Vrai	Général (Prouvé dans ce papier)
$\dim X = 4$	Ouvert	Question 6.2
$\dim X \geq 5$	Faux	Contre-exemple fourni (Théorème 1.5)
Général	Vrai	Si $D$ est klt en $x$ (Nakamura-Shibata)
Général	Faux	Si $D$ n'est pas klt (Contre-exemple)

Valeurs spécifiques du contre-exemple (pour $n \geq 2$ ) :

$\text{mld}_{x_0}(\bar{A}_n, \bar{B}_n) \leq 1 + \frac{n}{3}$
$\text{mld}_{x_0}(\bar{B}_n) = n$
Puisque $n > 1 + n/3$ , la conjecture échoue.

5. Signification

Affinement des conjectures : Le papier force une réévaluation de la conjecture PIA. Il suggère que la conjecture nécessite l'hypothèse supplémentaire que le diviseur $D$ soit klt au point d'intérêt. Sans cette hypothèse, l'égalité "précise" échoue.
Théorie des singularités : Il met en évidence le comportement pathologique des discrepancies log-minimales en présence de singularités non-klt et d'actions de groupes non libres.
Familles et déformation : Le contre-exemple à la conjecture LSC pour les familles clarifie les limites de l'invariance par déformation pour les singularités. Il montre que si les singularités terminales/canoniques se déforment bien, le comportement de la mld dans les familles à fibres non-klt est instable.
Perspectives futures : Le papier laisse le cas de la dimension 4 ouvert et pose des questions sur la possibilité de sauver la conjecture en la restreignant aux diviseurs klt (Question 6.4).

En conclusion, Nakamura et Shibata ont fondamentalement modifié la compréhension de la conjecture PIA en démontrant son échec en dimensions supérieures pour les diviseurs non-klt, en introduisant le concept d'actions "virtuellement libres" pour expliquer la géométrie sous-jacente, et en fournissant une preuve rigoureuse pour le cas de la dimension 3.