The Kobayashi-Hitchin correspondence for nef and big classes

Cet article établit une preuve complète de la correspondance de Kobayashi-Hitchin pour les classes nef et big en introduisant la notion de métrique d'Hermitien-Yang-Mills adaptée à un courant positif fermé, démontrant ainsi l'équivalence entre la polystabilité de pente et l'existence de telles métriques, ce qui permet d'étendre ce résultat aux variétés singulières et d'en déduire de nouvelles propriétés géométriques.

L'essentiel

🌟 Le Grand Équilibre : Quand les Formes et les Courbes se Rencontrent

Imaginez que vous êtes un architecte chargé de construire des immeubles (ce sont nos faisceaux vectoriels, des objets mathématiques complexes) sur un terrain spécial (une variété de Kähler, qui est un espace géométrique).

Le problème, c'est que ce terrain n'est pas toujours plat et lisse. Il a des trous, des bosses, et des zones où le sol est instable ou "singulier". De plus, la règle de construction (la classe de cohomologie) que vous devez suivre n'est pas une règle parfaite et rigide, mais une règle "nef et big" : elle est globalement positive et ample, mais elle peut avoir des zones de flou.

L'objectif de Satoshi Jinnouchi dans ce papier est de prouver un lien fondamental, appelé la correspondance de Kobayashi-Hitchin.

🧩 L'Analogie de la Balance et du Miroir

En termes simples, cette correspondance dit ceci :

"Un immeuble est stable (il ne va pas s'effondrer sous son propre poids) SI ET SEULEMENT SI on peut lui trouver une structure interne parfaite (une métrique) qui équilibre toutes les forces."

1. La Stabilité (Le Côté Algébrique) : C'est comme vérifier si un immeuble est bien conçu. Si vous essayez d'enlever une partie de l'immeuble (un sous-faisceau), est-ce que le reste devient plus lourd ou plus léger ? Si l'immeuble est "stable", il est parfaitement équilibré.
2. La Métrique HYM (Le Côté Géométrique/Physique) : C'est comme trouver la tension parfaite dans les câbles de l'immeuble. En physique, on appelle cela une "connexion de Yang-Mills". C'est un état où les forces internes s'annulent parfaitement, comme une corde de guitare parfaitement accordée qui ne vibre pas de manière erratique.

Le papier prouve que si votre immeuble est stable, vous pouvez toujours trouver cette tension parfaite, même si le terrain est accidenté.

🚧 Le Problème du "Terrain Accidenté"

Jusqu'à présent, les mathématiciens savaient faire cela sur des terrains lisses (des variétés lisses). Mais ici, le terrain a des singularités (des points où la géométrie est brisée, comme un trou noir ou un coin pointu).

• L'ancien problème : Quand le terrain est abîmé, les outils habituels pour mesurer la tension (les courbes lisses) ne fonctionnent plus. Ils deviennent infinis ou incontrôlables.
• La solution de Jinnouchi : Il invente un nouvel outil appelé un courant adapté (adapted current).

L'analogie du "Filet de Sécurité" :
Imaginez que vous devez mesurer la tension d'un pont qui s'effondre par endroits. Au lieu d'essayer de marcher sur le pont (ce qui est impossible), vous utilisez un filet de sécurité spécial (le courant adapté) qui s'adapte aux trous.

• Ce filet est assez souple pour passer à travers les zones brisées.
• Mais il est assez solide pour vous permettre de mesurer la tension là où le pont tient encore.
• Le papier montre que ce filet existe toujours, peu importe la forme des trous.

🔍 Les Découvertes Clés (En langage courant)

1. L'Existence et l'Unicité :
   Le papier prouve deux choses essentielles :

   • Si l'immeuble est stable, on peut toujours trouver cette tension parfaite (la métrique HYM adaptée).
   • Cette tension parfaite est unique (à un facteur multiplicatif près). C'est comme dire qu'il n'y a qu'une seule façon de bien accorder cette guitare, peu importe les bosses du terrain.

2. La Résolution des Cas "Cassés" :
   Même si votre objet mathématique est un "faisceau réflexif" (un objet un peu cassé, comme un miroir brisé qu'on a recollé), la théorie fonctionne. Cela s'applique même aux variétés avec des singularités "logarithmiques" (des types de cassures très spécifiques mais courantes en géométrie).

3. Le Filtrage de Jordan-Hölder :
   Parfois, un immeuble n'est pas parfaitement stable, mais "semi-stable" (il est un peu bancal). Le papier montre que dans ce cas, on peut le décomposer en plusieurs blocs plus petits et stables (comme déconstruire un immeuble pour voir ses étages). Chacun de ces blocs possède sa propre tension parfaite. C'est comme dire : "Si l'ensemble ne peut pas être accordé, décomposez-le en parties qui le sont."

4. L'Application aux Inégalités :
   Le papier utilise cette théorie pour prouver une inégalité célèbre (Bogomolov-Gieseker). Si l'immeuble atteint la limite parfaite de cette inégalité, alors il est "plat" sur les zones stables du terrain. C'est comme dire : "Si votre immeuble est parfaitement économe en matériaux, alors il doit être construit sur un terrain plat."

💡 Pourquoi c'est important ?

Avant ce travail, les mathématiciens devaient souvent supposer que le terrain était parfait (lisse) ou que les singularités étaient très simples (comme des cônes).

Jinnouchi a levé ces restrictions. Il a montré que peu importe la complexité des "trous" dans votre espace mathématique, tant qu'ils suivent certaines règles de base, la correspondance entre la stabilité algébrique (la théorie) et la géométrie des courbes (la pratique) reste vraie.

C'est une avancée majeure car cela ouvre la porte à l'étude de formes géométriques beaucoup plus complexes et réalistes, qui apparaissent souvent dans la théorie des cordes en physique ou dans la classification des formes complexes.

En résumé : Ce papier dit aux mathématiciens : "Ne vous inquiétez pas si votre terrain est bosselé ou cassé. Si votre objet est bien conçu (stable), il existe toujours une façon parfaite de le mesurer et de l'équilibrer, même avec nos nouveaux outils adaptés aux zones difficiles."

Résumé technique

Voici un résumé technique détaillé de l'article « The Kobayashi-Hitchin correspondence for nef and big classes » de Satoshi Jinnouchi, rédigé en français.

1. Problématique et Contexte

La correspondance de Kobayashi-Hitchin (ou correspondance de Donaldson-Uhlenbeck-Yau) établit un lien fondamental entre la stabilité algébrique des fibrés vectoriels holomorphes et l'existence de métriques hermitiennes satisfaisant l'équation de Yang-Mills-Hermitienne (HYM).

Historiquement, ce résultat a été prouvé pour les fibrés vectoriels sur des variétés kählériennes compactes munies d'une métrique kählérienne lisse $\omega$. Des extensions ont été faites pour les faisceaux réflexifs sur des variétés singulières (Bando-Siu, Chen) et pour des métriques avec singularités coniques ou orbifolds.

Cependant, un défi majeur persiste dans le contexte des classes de cohomologie nef et big (numériquement effectif et gros). Contrairement aux classes kählériennes, une classe nef et big $\alpha$ n'est pas représentée par une forme lisse définie positive partout. Elle est représentée par un courant positif fermé $(1,1)$, noté $T$, qui possède des singularités et n'est défini positivement que sur un ouvert dense appelé le « lieu ample » ($Amp(\alpha)$). Le lieu non-kählérien ($EnK(\alpha)$) est un sous-ensemble analytique où le courant peut être singulier.

Le problème central de cet article est de démontrer la correspondance de Kobayashi-Hitchin pour les fibrés vectoriels holomorphes sur une variété kählérienne compacte $X$ par rapport à une classe nef et big $\alpha, en tenant compte des singularités du courant représentant cette classe, sans supposer l'existence d'un modèle ample explicite ou de descriptions précises des singularités (comme des singularités coniques).

2. Méthodologie et Concepts Clés

L'auteur développe une approche analytique robuste basée sur la compacité d'Uhlenbeck et des estimées a priori adaptées aux courants singuliers.

A. Définitions Fondamentales

1. Courants Adaptés (Adapted Currents) :
   L'auteur introduit la notion de courant positif fermé $(1,1)$ « adapté » $T$ dans une classe nef et big $\alpha$. Un tel courant doit satisfaire trois conditions :

   • Il est lisse et kählérien sur le lieu ample $Amp(\alpha)$.
   • Il est contrôlé par une section définissante $s_D$ du lieu non-kählérien $D = EnK(\alpha)$ (après éclatements) : $\pi^* T \ge |s_D|^{2m} h_D \omega_Y$.
   • Il admet une approximation adaptée : une suite de métriques kählériennes lisses $\omega_i$ convergeant vers $T$ localement, avec des bornes uniformes sur les normes $L^p$ de leurs densités ($p>1$).
   • Note : Cela inclut les métriques de Kähler-Einstein singulières sur les variétés klt (log terminal).

2. Métriques HYM Adaptées (T-adapted HYM metrics) :
   Une métrique hermitienne $h$ sur un fibré $E$ est dite $T$-adaptée HYM si elle satisfait l'équation HYM sur le lieu ample ($\sqrt{-1}\Lambda_T F_h = \lambda \text{Id}$) et deux conditions de régularité supplémentaires (« conditions adaptées ») :

   • Une borne supérieure sur la croissance de la métrique par rapport à $s_D$ (contrôle de la singularité).
   • Une intégrabilité $L^2$ du tenseur de courbure pondéré par une puissance de $s_D$.

3. Sous-fibrés faibles $T$-holomorphes :
   L'auteur généralise la notion de sous-fibrés holomorphes faibles d'Uhlenbeck-Yau au cas où la métrique de base est remplacée par un courant positif fermé $T$. Cela permet de définir des sous-faisceaux cohérents via des projecteurs $\pi$ vérifiant des conditions d'intégrabilité par rapport à $T$.

B. Stratégie de Preuve

La preuve de l'équivalence entre la stabilité et l'existence de la métrique suit une logique classique mais adaptée aux singularités :

• Direction Stabilité $\Rightarrow$ Existence (1) $\Rightarrow$ (2) :

  • On utilise une suite de métriques kählériennes lisses $\omega_i$ approchant le courant $T$.
  • Par le théorème d'Uhlenbeck-Yau, il existe des métriques HYM $\omega_i$-adaptées $h_i$.
  • L'objectif est de montrer que la suite $h_i$ converge vers une métrique $T$-adaptée.
  • Estimées a priori : L'auteur utilise une inégalité de type valeur moyenne (Guo-Phong-Sturm) pour contrôler la norme $C^0$ des endomorphismes $\Psi_i$ définissant la métrique.
  • Argument par l'absurde : Si les estimées échouent (norme $L^1$ diverge), on extrait une limite faible $u_\infty$ qui définit un sous-fibré faible. En utilisant une formule de Chern-Weil généralisée pour ces sous-fibrés, on montre que cela impliquerait l'existence d'un sous-faisceau instable, contredisant l'hypothèse de stabilité de $E$.
  • La convergence forte permet de construire la métrique limite $h_\infty$.

• Direction Existence $\Rightarrow$ Stabilité (2) $\Rightarrow$ (1) :

  • On suppose l'existence d'une métrique $T$-adaptée.
  • On prouve d'abord l'unicité de la métrique (à un facteur scalaire près) pour un fibré stable.
  • On montre que l'existence d'une métrique HYM implique que tout sous-faisceau saturé a un pente inférieur ou égal à celui du fibré, et que l'égalité implique une décomposition directe (polystabilité).

3. Résultats Principaux

Théorème Principal (Théorème 1.4)

Soit $X$ une variété kählérienne compacte et $\alpha$ une classe nef et big. Soit $T$ un courant adapté dans $\alpha$. Pour un fibré vectoriel holomorphe $E$, les conditions suivantes sont équivalentes :

1. $E$ est $\alpha^{n-1}$-slope polystable (stabilité par rapport au produit non-pluripolaire $\langle \alpha^{n-1} \rangle$).
2. $E$ admet une métrique $T$-adaptée HYM.
   De plus, si une telle métrique existe, elle est unique à multiplication par une constante près.

Résultats Connexes et Applications

• Cas Singulier (Corollaire 1.6 & 1.8) : La correspondance s'étend aux faisceaux réflexifs sur des variétés normales kählériennes avec singularités log-terminals (klt), munies de métriques de Kähler-Einstein singulières. C'est un résultat nouveau même pour les variétés projectives.
• Filtration de Jordan-Hölder (Théorème 1.7) : Pour un faisceau semi-stable, il existe une filtration de Jordan-Hölder, et le faisceau gradué associé admet une métrique $T$-adaptée HYM unique.
• Inégalité de Bogomolov-Gieseker (Théorème 1.12) :
  • Tout fibré polystable satisfait l'inégalité : $(2rc_2(E) - rc_1(E)^2) \cdot \alpha^{n-2} \ge 0$.
  • Nouveauté majeure : Si l'égalité est atteinte, alors $E$ est localement libre sur le lieu ample de $\alpha$ et projectivement plat sur ce lieu. Ce résultat est nouveau même dans le cas projectif classique.
• Estimées de Singularité (Corollaire 1.9) : Le nombre de Lelong-type de la métrique adaptée le long du lieu non-kählérien s'annule. Plus précisément, la métrique est « moins singulière » que le potentiel du courant $T$.

4. Signification et Impact

Ce travail représente une avancée significative en géométrie complexe et en théorie des fibrés vectoriels :

1. Généralisation des singularités : Contrairement aux travaux précédents qui nécessitaient des descriptions explicites des singularités (coniques, orbifolds), cette approche fonctionne pour des courants dont les singularités sont seulement décrites par des propriétés d'approximation et de densité $L^p$. Cela rend la théorie applicable aux métriques de Kähler-Einstein sur des variétés klt générales.
2. Structure des faisceaux semi-stables : La preuve de l'existence d'une filtration de Jordan-Hölder et d'une métrique HYM sur le gradué pour les classes nef et big comble un vide théorique, offrant une structure canonique aux objets semi-stables dans ce contexte singulier.
3. Géométrie du lieu ample : Le résultat sur la platitude projective en cas d'égalité de Bogomolov-Gieseker fournit un lien fort entre l'analyse (existence de métriques) et la géométrie algébrique (structure du fibré sur le lieu où la classe est « bonne »).
4. Outils Analytiques : L'introduction des courants adaptés et la généralisation de la formule de Chern-Weil aux sous-fibrés faibles $T$ ouvrent la voie à de nouvelles études sur les équations de Monge-Ampère complexes et les flots de métriques dans des classes de cohomologie non-kählériennes.

En résumé, Satoshi Jinnouchi établit une correspondance de Kobayashi-Hitchin complète et robuste pour les classes nef et big, unifiant les cas lisses et singuliers, et fournissant des outils puissants pour l'étude des fibrés vectoriels sur des variétés complexes singulières.