Lower bounds on fibered Yang-Mills functionals: generic nefness and semistability of direct images

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie complexe et de la théorie de jauge, visant à établir des liens profonds entre des invariants différentiels-géométriques (courbure, équations de type Einstein) et des invariants algébriques (filtrations de Harder-Narasimhan, stabilité des fibrés).

Le problème central est l'étude d'une submersion holomorphe $\pi : X \to B$ entre deux variétés complexes compactes, munie d'un fibré en droites $L$ relativement ample. L'auteur s'intéresse à la relation entre :

• La courbure moyenne horizontale de la fibration, définie via une forme de Gauduchon $\omega_B$ sur la base $B$.
• Les pentes de Harder-Narasimhan des images directes $E_k := R^0\pi_* L^k$ (faisceaux cohérents sur $B$) lorsque $k \to \infty$.

L'objectif est de généraliser la correspondance connue entre les équations d'Einstein-Hermitiennes et la stabilité des fibrés vectoriels au contexte des fibrations, en utilisant une approche de limite semi-classique ($k \to \infty$).

2. Méthodologie

L'approche de Finski repose sur trois piliers méthodologiques principaux :

1. Limite Semi-Classique et Opérateurs de Toeplitz :
   L'auteur utilise les travaux de Ma et Zhang sur l'asymptotique des métriques $L^2$ sur les images directes. La courbure de la connexion de Chern sur $E_k$ est approximée, pour $k$ grand, par des opérateurs de Toeplitz agissant sur les sections de $L^k$. Cela permet de relier la courbure horizontale de $L$ (objet géométrique sur $X$) à la courbure moyenne de $E_k$ (objet algébrique sur $B$).

2. Théorie de Yang-Mills Hermitienne :
   Le papier exploite les bornes inférieures connues pour les fonctionnelles de Yang-Mills hermitiennes sur les fibrés vectoriels (travaux d'Atiyah-Bott, Donaldson, Daskalopoulos-Wentworth). En passant à la limite $k \to \infty$, ces bornes sur les fibrés $E_k$ sont transférées vers les fonctionnelles de Yang-Mills « fibrées » sur $X$.

3. Cohomologie de Bott-Chern et Théorème de Riemann-Roch-Grothendieck Asymptotique :
   Pour traiter les cas singuliers et les sous-espaces analytiques, l'auteur développe une version asymptotique du théorème de Riemann-Roch-Grothendieck dans le cadre de la cohomologie de Bott-Chern. Cela permet de calculer les pentes asymptotiques des images directes et de les comparer aux invariants géométriques de sous-variétés de $X$.

3. Contributions et Résultats Clés

A. Fonctionnelles de Yang-Mills Fibrées et Bornes Inférieures

L'auteur définit la fonctionnelle de Yang-Mills fibrée $FYM_{p,c}(\pi, \omega)$ basée sur l'écart entre la courbure moyenne horizontale et une constante $c$.

• Théorème 1.7 : Il établit des bornes inférieures pour ces fonctionnelles en termes de la mesure de probabilité limite $\eta^{HN}$, dérivée des pentes de Harder-Narasimhan normalisées des $E_k$.
  • $\inf \wedge_{\omega_B} \omega_H \leq \eta^{HN}_{\min}$
  • $\sup \wedge_{\omega_B} \omega_H \geq \eta^{HN}_{\max}$
  • Pour $p \in [1, \infty[$, la fonctionnelle est bornée par l'intégrale de la distance à $c$ par rapport à $\eta^{HN}$.

B. Stabilité Asymptotique et Équations d'Einstein Fibrées

• Théorème 1.1 : L'existence de métriques « Einstein fibrées approchées » (où la courbure moyenne est presque constante) implique que les fibrés vectoriels $E_k$ sont asymptotiquement semi-stables.
• Conjecture : L'auteur conjecture que l'inverse est vrai et que les bornes inférieures sont optimales (atteintes par l'infimum sur l'espace des métriques), généralisant ainsi le résultat d'Atiyah-Bott pour les fibrés vectoriels.

C. Nefness Générique et Caractérisation Analytique

• Théorème 1.10 : Il établit une identité fondamentale : $\sup_{h_L} \inf_{x \in X} \wedge_{\omega_B} \omega_H(x) = \eta^{HN}_{\min}$.
• Théorème 1.12 : En utilisant le résultat précédent, l'auteur fournit une caractérisation analytique de la notion de « nefness générique fibrée » (une notion algébrique introduite par Miyaoka et généralisée). Un fibré en droites $L$ est stably génériquement nef fibré si et seulement si, pour tout $\epsilon > 0$, il existe une métrique hermitienne dont la courbure satisfait une inégalité de positivité asymptotique (à un terme $\epsilon$ près) par rapport à une multipolarisation.

D. Obstructions Numériques

• Théorème 1.3 : Si les fibrés $E_k$ sont asymptotiquement semi-stables, alors l'espace total $X$ est « numériquement semi-stable ». Cela signifie que pour toute sous-variée analytique irréductible $Y \subset X$ surjectant sur $B$, la pente $\mu(Y)$ est supérieure ou égale à $\mu(X)$.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Unification des domaines : Il crée un pont rigoureux entre la géométrie différentielle des fibrations (équations de type J, courbure moyenne) et la géométrie algébrique des fibrés vectoriels (filtrations de Harder-Narasimhan, stabilité).
2. Généralisation des résultats classiques : Il étend les résultats fondamentaux de Donaldson, Atiyah-Bott et Daskalopoulos-Wentworth (concernant la stabilité et les métriques constantes de courbure scalaire) au cadre des fibrations complexes, où les équations d'Einstein sont généralement non résolubles.
3. Nouveaux outils analytiques : L'utilisation de la limite semi-classique pour déduire des propriétés de stabilité asymptotique et de nefness offre une nouvelle méthode puissante pour étudier les variétés complexes et leurs fibrations.
4. Résolution de problèmes ouverts : Il fournit des obstructions numériques nécessaires à l'existence de métriques Einstein fibrées et affine la compréhension de la « nefness » générique, un concept clé en géométrie birationnelle.

En résumé, Siarhei Finski démontre que la structure asymptotique des images directes de puissances tensoriales d'un fibré ample contrôle la géométrie différentielle de la fibration, offrant ainsi un cadre unifié pour l'étude de la stabilité et de la positivité dans les familles de variétés complexes.