Kawamata-Miyaoka-type inequality for $\mathbb Q$-Fano varieties with canonical singularities II: Terminal $\mathbb Q$-Fano threefolds

Cet article établit une inégalité de type Kawamata-Miyaoka optimale pour les variétés $\mathbb Q$-Fano terminales de dimension trois d'indice au moins 3, et en déduit que toute telle variété satisfait l'inégalité $c_1(X)^3 < 3c_2(X)c_1(X)$.

L'essentiel

Imaginez que vous êtes un architecte chargé de construire des immeubles, mais pas n'importe lesquels : ce sont des immeubles magiques appelés « variétés de Fano ». Ces bâtiments ont des règles très strictes : ils doivent être solides, avoir une forme particulière et respecter des lois mathématiques précises.

Le but de ce papier de recherche, écrit par Haidong Liu et Jie Liu, est de vérifier si certains de ces immeubles magiques peuvent vraiment exister, ou s'ils sont des illusions mathématiques impossibles à construire.

Voici l'explication de leur travail, simplifiée et imagée :

1. Le Défi : Trouver la Formule de Sécurité

Dans le monde de la géométrie, les mathématiciens utilisent des formules pour s'assurer que les bâtiments ne vont pas s'effondrer. L'une de ces formules s'appelle l'inégalité de Kawamata-Miyaoka.

C'est un peu comme une règle de sécurité pour les ponts : « Si le pont est trop long, il doit être assez épais, sinon il va casser ».

• Les chercheurs ont déjà une version de cette règle, mais elle est un peu "molle" (elle laisse passer trop de possibilités).
• Leur objectif dans ce papier est de resserrer la vis. Ils veulent prouver une version plus précise et plus stricte de cette règle pour une catégorie spécifique d'immeubles : ceux qui ont des "sommets pointus" (singularités terminales) et qui sont très symétriques (indice de Fano élevé).

2. La Chasse aux Fantômes (Les Cas Impossibles)

Pour prouver leur nouvelle règle, les auteurs doivent montrer que certains types d'immeubles, qui semblaient possibles sur le papier, sont en réalité des fantômes.

Ils se concentrent sur deux cas très précis qui résistaient encore à la preuve :

• Cas A : Un immeuble avec un certain type de "défauts" (singularités) et une symétrie de niveau 4.
• Cas B : Un immeuble avec des défauts différents et une symétrie de niveau 5.

Ils disent : "Si notre nouvelle règle est vraie, ces deux immeubles ne devraient pas pouvoir exister."

3. Les Deux Outils de Détection

Pour chasser ces fantômes, les auteurs utilisent deux méthodes différentes, comme deux détectives avec des outils différents :

Méthode 1 : La "Feuille de Route" (Pour le Cas B)

Pour le cas de symétrie 5, ils utilisent une théorie appelée foliation.

• L'analogie : Imaginez que l'immeuble est une rivière. Les mathématiciens tracent des "courants" (des feuilles) qui coulent à travers le bâtiment.
• Le problème : Ils découvrent que si cet immeuble existait, les courants de la rivière devraient se comporter d'une manière impossible (comme si l'eau coulait à la fois vers le haut et vers le bas en même temps sans se mélanger).
• Le verdict : C'est physiquement impossible. L'immeuble de symétrie 5 est un fantôme. Il n'existe pas.

Méthode 2 : Le "Téléporteur" (Pour le Cas A)

Pour le cas de symétrie 4, c'est beaucoup plus compliqué. Ils utilisent une technique appelée lien de Sarkisov.

• L'analogie : Imaginez que vous prenez votre immeuble magique et que vous le "téléportez" ou le transforme en un autre immeuble plus simple pour l'analyser. C'est comme passer d'un château fort complexe à une tour simple pour voir si la structure tient.
• Le processus : Ils font une série de transformations (comme des plis dans un papier) pour voir si l'immeuble original peut vraiment exister. À chaque étape, ils vérifient si les pièces s'assemblent bien.
• Le verdict : À chaque tentative de transformation, quelque chose se brise. Soit les murs ne s'alignent pas, soit les portes sont de la mauvaise taille. Ils prouvent que l'immeuble de symétrie 4 est aussi un fantôme.

4. Le Grand Résultat : Une Liste de Construction Plus Propre

Grâce à cette chasse aux fantômes, les auteurs arrivent à une conclusion magnifique :

1. La Règle d'Or : Ils ont prouvé que pour tous ces immeubles magiques, une inégalité très précise (la version "resserrée" de Kawamata-Miyaoka) est toujours vraie.
2. La Purge de la Base de Données : Il existe une énorme base de données (le "Grdb") qui liste des milliers de plans d'immeubles mathématiques possibles. En appliquant leur nouvelle règle, ils peuvent dire : "Attendez, ces 13 559 plans sont faux !" Ils les effacent de la liste.
3. Le Cas Spécial : Ils montrent aussi qu'un immeuble très spécifique (avec des défauts 3, 5 et 11) est impossible. C'est comme dire : "Vous ne pouvez pas construire une maison avec 3 fenêtres rondes, 5 carrées et 11 triangulaires, peu importe comment vous essayez."

En Résumé

Ce papier est une victoire de la rigueur mathématique. Les auteurs ont pris des règles floues, les ont rendues précises, et ont utilisé ces nouvelles règles pour nettoyer la liste des bâtiments mathématiques possibles. Ils ont démontré que certains objets que l'on pensait pouvoir exister sont en fait des illusions, rendant notre compréhension de l'univers géométrique plus claire et plus sûre.

C'est comme si, après avoir vérifié tous les plans d'une ville, ils avaient dit : "Ces bâtiments ne peuvent pas tenir debout. Retirons-les de la carte, et nous n'aurons plus que les vrais, les solides."

Résumé technique

Voici un résumé technique détaillé de l'article « Kawamata–Miyaoka-type inequality for Q-Fano varieties with canonical singularities II: Terminal Q-Fano threefolds » par Haidong Liu et Jie Liu, publié dans l'Épijournal de Géométrie Algébrique (2025).

1. Problématique et Contexte

L'article s'inscrit dans l'étude des variétés de Fano terminales (terminal Q-Fano varieties), qui constituent des blocs de construction fondamentaux dans le programme du modèle minimal (MMP) en géométrie algébrique. Plus spécifiquement, les auteurs se concentrent sur les variétés de Fano Q-terminales de dimension 3 (Q-Fano threefolds).

Le problème central est l'établissement d'une inégalité de type Kawamata-Miyaoka optimale reliant les classes de Chern de ces variétés. Pour une variété $X$, on cherche à borner le rapport entre le cube de la première classe de Chern $c_1(X)^3$ et le produit $c_2(X)c_1(X)$.
Dans leur travail précédent [LL25], les auteurs avaient établi une borne effective :
$$c_1(X)^3 \le \frac{25}{8} c_2(X)c_1(X)$$
L'objectif de cet article est d'améliorer cette borne pour les variétés possédant un indice de Fano $q_Q(X)$ suffisamment grand (au moins 3), et de prouver une conjecture récente de K. Suzuki affirmant que la borne stricte $c_1(X)^3 < 3c_2(X)c_1(X)$ est toujours vraie pour les variétés terminales.

2. Méthodologie

La preuve repose sur une approche combinatoire et géométrique sophistiquée, structurée autour de l'exclusion de cas numériques spécifiques qui violeraient l'inégalité souhaitée.

A. Analyse Numérique et Formule de Riemann-Roch Orbifold

Les auteurs utilisent la formule de Riemann-Roch orbifold de Reid [Rei87] pour calculer les invariants numériques des variétés candidates. Ils définissent un rapport $b_X = \frac{c_1(X)^3}{c_2(X)c_1(X)}$.
En supposant par l'absurde qu'il existe une variété $X$ avec $q_Q(X) \ge 3$ et $b_X \ge \frac{121}{41}$, ils utilisent un algorithme informatique (basé sur la base de données Grdb [BK09]) pour lister les seules possibilités numériques restantes. Le lemme 2.2 montre que seuls deux cas numériques sont possibles :

1. $q_Q(X) = 4$ avec un panier d'indices locaux $R_X = \{7, 13\}$.
2. $q_Q(X) = 5$ avec un panier d'indices locaux $R_X = \{3, 7^2\}$.

B. Exclusion des Cas par Deux Approches Distinctes

Pour exclure ces deux cas, les auteurs emploient deux stratégies différentes :

• Cas $q_Q(X) = 5$ (Section 3) : Théorie des Feuilletages.
  Les auteurs analysent le faisceau tangent $T_X$. Si l'inégalité est violée, le sous-faisceau de destabilisation maximal $\mathcal{F}$ de $T_X$ est de rang 2. En utilisant la théorie des feuilletages algébriquement intégrables (théorèmes de Druel, Cascini, Spicer), ils montrent que l'existence d'un tel feuilletage sur une variété de Fano avec ces invariants spécifiques conduit à une contradiction via l'inégalité de Bogomolov-Gieseker.

• Cas $q_Q(X) = 4$ et $q_Q(X) = 8$ (Sections 5 et 6) : Chaînes de Sarkisov.
  Pour les cas plus complexes (notamment $q_Q(X)=4$ et le cas $q_Q(X)=8$ avec panier $\{3,5,11\}$), les auteurs utilisent la méthode des liens de Sarkisov, développée par Yu. Prokhorov.

  • Ils construisent un lien de Sarkisov associé à un système linéaire mobile $M$ (généralement $|kA|$).
  • Ils étudient la transformation birationnelle $\chi: \tilde{X} \dashrightarrow \hat{X}$ impliquant un éclatement crepant et des flips.
  • En analysant les invariants des variétés intermédiaires et finales ($\hat{X}$), en particulier la torsion du groupe de classes de diviseurs de Weil $Cl(\hat{X})$ et les dimensions des systèmes linéaires, ils démontrent que les configurations numériques supposées sont géométriquement irréalisables.

3. Résultats Principaux

Théorème 1.2 (Inégalité Optimale pour $q_Q(X) \ge 3$)

Soit $X$ une variété Q-Fano terminale de dimension 3 telle que $q_Q(X) \ge 3$. Alors :
$$c_1(X)^3 \le \frac{121}{41} c_2(X)c_1(X)$$
L'égalité est atteinte si et seulement si $X$ est isomorphe à l'espace pondéré projectif $\mathbb{P}(1,2,3,5)$.

Théorème 1.3 (Conjecture de Suzuki Confirmée)

En combinant le résultat précédent avec leurs travaux antérieurs, les auteurs prouvent que pour toute variété Q-Fano terminale de dimension 3 :
$$c_1(X)^3 < 3c_2(X)c_1(X)$$
Ceci confirme la conjecture de K. Suzuki [Suz24].

Théorème 1.4 (Non-existence d'un Type Numérique)

Pour les variétés avec $q_Q(X) = 8$, le panier d'indices locaux $R_X = \{3, 5, 11\}$ (correspondant au type №22 dans la base de données Grdb) ne peut pas être réalisé géométriquement.

4. Contributions Clés

1. Optimalité de la borne : L'article établit la meilleure borne possible ($\frac{121}{41} \approx 2.95$) pour les variétés à indice élevé, améliorant significativement la borne précédente de $\frac{25}{8} = 3.125$.
2. Rigueur de l'exclusion : La démonstration de l'impossibilité des cas $q_Q(X)=4$ et $q_Q(X)=8$ (panier $\{3,5,11\}$) est une avancée technique majeure, résolvant des cas ouverts dans la classification des variétés de Fano terminales.
3. Synthèse des méthodes : L'article combine efficacement l'analyse des feuilletages (pour les cas à indice 5) et la géométrie birationnelle fine via les liens de Sarkisov (pour les cas à indice 4 et 8).
4. Impact sur la classification : Les résultats permettent d'éliminer 13 559 types numériques de la base de données Grdb [BK09] qui, bien que satisfaisant les contraintes numériques de base, ne correspondent à aucune variété géométrique réelle.

5. Signification et Implications

Ce travail consolide la compréhension de la structure des variétés de Fano terminales en dimension 3.

• Il valide la conjecture de Suzuki, fermant une question ouverte importante sur la relation entre les classes de Chern.
• Il fournit une liste plus précise des types numériques réalisables, ce qui est crucial pour la classification complète des variétés de Fano.
• Il démontre que l'inégalité de type Kawamata-Miyaoka est strictement inférieure à 3 pour les variétés terminales, bien que l'article note que cette borne ne s'étend pas aux variétés à singularités canoniques (contre-exemple : $\mathbb{P}(1,3,7,11)$).

En résumé, cet article représente une avancée significative dans la géométrie des variétés de Fano, combinant calculs numériques précis et arguments géométriques profonds pour affiner la frontière entre les invariants numériques possibles et les variétés géométriquement existantes.