Notes on acceptable bundles II

1. Problématique et Contexte

L'article s'inscrit dans le cadre de la théorie de Simpson–Mochizuki sur les systèmes de Higgs et les fibrés vectoriels sur des variétés complexes. Plus précisément, il vise à étendre la théorie des fibrés acceptables (acceptable bundles), initialement développée par Mochizuki pour le disque pointé $\Delta^*$, à des dimensions supérieures, c'est-à-dire sur des polydisques partiellement pointés de la forme $(\Delta^*)^l \times \Delta^{n-l}$.

Le problème central est de comprendre le comportement asymptotique des fibrés vectoriels holomorphes munis d'une métrique hermitienne lisse près des singularités (les diviseurs à croisements normaux simples). Mochizuki a établi que ces fibrés admettent une structure de « fibré filtré » (filtered bundle) et des estimations de normes faibles, mais sa preuve originale est complexe et repose sur des techniques d'analyse fonctionnelle avancées (théorie d'Andreotti–Visentini).

L'objectif de cet article est double :

1. Rendre la théorie des fibrés acceptables de Mochizuki plus accessible à un public plus large.
2. Présenter des arguments nouveaux et différents de ceux de Mochizuki, en particulier en utilisant le théorème d'extension $L^2$ d'Ohsawa–Takegoshi comme outil central (« boîte noire »).

2. Méthodologie

Les auteurs adoptent une approche systématique basée sur la réduction au cas des courbes et l'utilisation intensive de l'analyse complexe plurisousharmonique.

• Définition des fibrés acceptables : Un fibré $(E, h)$ sur un domaine partiellement pointé est dit « acceptable » si sa courbure $\sqrt{-1}\Theta_h(E)$ est bornée par rapport à la métrique de Poincaré $\omega_P$ (qui est singulière le long des diviseurs).
• Prolongement par ordre croissant : Pour un vecteur $a \in \mathbb{R}^l$, ils définissent un $\mathcal{O}$-module $aE$ constitué des sections dont la croissance est contrôlée par $|z_j|^{-a_j-\varepsilon}$.
• Outils clés :
  • Fonctions plurisousharmoniques (psh) : Utilisation cruciale des nombres de Lelong et du théorème de Siu pour montrer que certaines fonctions associées aux poids paraboliques sont constantes.
  • Théorème d'extension $L^2$ d'Ohsawa–Takegoshi : Utilisé pour prolonger des sections définies sur des sous-variétés (comme des fibres de projection) vers le fibré entier, garantissant l'existence de sections globales avec des contrôles d'intégrabilité.
  • Réduction dimensionnelle : La stratégie principale consiste à prouver les résultats pour $n=1$ (cas du disque pointé, déjà traité dans leur article précédent [FFO]), puis à les étendre à la dimension $n$ en utilisant des projections et des revêtements cycliques.
  • Revêtements cycliques : Utilisation de l'application $\psi_c(z) = z^c$ pour « lisser » les poids paraboliques et ramener le problème à un cas où les poids sont petits, facilitant la construction de repères locaux.

3. Contributions Clés et Résultats Principaux

L'article établit rigoureusement les propriétés fondamentales des fibrés acceptables en dimension supérieure.

A. Structure de Fibré Filtré (Théorème 1.1 et 1.3)

Le résultat principal est que pour tout fibré acceptable $(E, h)$ sur $(\Delta^*)^l \times \Delta^{n-l}$ et tout $a \in \mathbb{R}^l$, le module $aE$ est un faisceau localement libre sur le polydisque complet $\Delta^n$.

• De plus, la famille $\{aE\}_{a \in \mathbb{R}^l}$ forme naturellement un fibré filtré au sens de Mochizuki.
• Le théorème 1.3 donne une description locale explicite : il existe un repère local $\{v_1, \dots, v_r\}$ et des poids $a(v_j) \in \mathbb{R}^l$ tels que $bE$ est généré par des sections de la forme $v_j \cdot \prod |z_i|^{\lfloor b_i - a_i(v_j) \rfloor}$.

B. Estimation de Norme Faible (Théorème 1.4)

Les auteurs prouvent une estimation de norme cruciale pour les fibrés acceptables. Si $v'$ est un repère adapté aux filtrations paraboliques (pondéré par les poids), alors la matrice hermitienne $H(h, v')$ vérifie :
$$C^{-1} \left( -\sum \log |z_i| \right)^{-N} I_r \leq H(h, v') \leq C \left( -\sum \log |z_i| \right)^{N} I_r$$
Cela signifie que la métrique ne dégénère pas trop vite ni trop lentement près des singularités, contrôlée par des puissances logarithmiques.

C. Propriétés Algébriques (Théorèmes 1.5, 1.6, 1.7)

L'article établit que les opérations usuelles sur les fibrés vectoriels préservent la propriété d'acceptabilité et respectent la structure filtrée :

• Dualité : $(aE)^\vee = -a + 1 - \varepsilon (E^\vee)$.
• Produit tensoriel : $b(E_1 \otimes E_2) = \sum_{a_1+a_2 \leq b} a_1 E_1 \otimes a_2 E_2$.
• Fibré Hom : Caractérisation précise de $a\text{Hom}(E_1, E_2)$ via la condition de préservation des filtrations.

D. Indépendance des poids paraboliques

Un résultat technique majeur (Théorèmes 11.5 et 12.1) montre que les poids paraboliques (l'ensemble $\text{Par}_\alpha(E)$) et l'invariant $\gamma(aE)$ sont indépendants du point $Q$ dans la direction transversale $\Delta^{n-1}$. Cela permet de globaliser les résultats locaux obtenus sur les courbes.

4. Signification et Impact

• Accessibilité : En reformulant la théorie de Mochizuki avec des outils plus standards (théorèmes d'extension $L^2$) et en évitant certaines constructions techniques lourdes de la théorie d'Andreotti–Visentini, les auteurs rendent cette théorie profonde plus accessible aux géomètres algébriques et aux analystes complexes.
• Nouveauté des arguments : Bien que les résultats principaux soient analogues à ceux de Mochizuki, la méthode de preuve (notamment l'utilisation systématique de la réduction aux courbes couplée à l'extension $L^2$) est nouvelle et offre une perspective différente, potentiellement plus flexible pour d'autres généralisations.
• Applications potentielles : La théorie des fibrés acceptables est fondamentale pour l'étude des variétés complexes de dimension supérieure, notamment dans le contexte de la correspondance de Simpson (fibrés vectoriels plats vs systèmes de Higgs) et de la géométrie des variétés de Calabi-Yau ou des variétés projectives avec singularités. Ce travail fournit les outils techniques nécessaires pour manipuler ces objets en dimension arbitraire.

En résumé, cet article consolide et clarifie la théorie des fibrés acceptables en dimension supérieure, fournissant un cadre robuste et des preuves alternatives qui facilitent l'application de ces concepts dans la géométrie complexe moderne.