Notes on acceptable bundles I

1. Problématique et Contexte

L'article se concentre sur l'étude détaillée des faisceaux acceptables (acceptable bundles) sur un disque pointé $\Delta^* = \{z \in \mathbb{C} \mid 0 < |z| < 1\}$. Ce concept joue un rôle fondamental dans la théorie de Simpson-Mochizuki, qui relie les systèmes de Higgs, les représentations de groupes fondamentaux et les structures paraboliques.

Bien que Takuro Mochizuki ait fourni une théorie générale dans son ouvrage [M4], le traitement du cas de base (le disque pointé) y est relativement succinct, l'accent étant mis sur les généralisations en dimension supérieure. De même, les travaux de Simpson ([S1], [S2]) abordent des cadres plus généraux.
Le problème central de cet article est de combler cette lacune en offrant une étude complète, auto-contenue et rigoureuse du cas unidimensionnel, en introduisant de nouveaux outils et en fournissant des preuves alternatives à celles de Simpson et Mochizuki. L'objectif est de clarifier la structure des prolongements de ces fibrés par des ordres croissants et d'établir des propriétés fondamentales (dualité, produits tensoriels, déterminants) avec une précision nouvelle.

2. Méthodologie

Les auteurs adoptent une approche analytique et géométrique rigoureuse, combinant l'analyse complexe, la théorie des courants et les estimations $L^2$.

• Définition de base : Un fibré vectoriel holomorphe $(E, h)$ sur $\Delta^*$ est dit acceptable si la norme de sa courbure de Chern $\Theta_h(E)$ est bornée par rapport à la métrique de Poincaré $\omega_P$.
• Prolongement par ordres croissants : Pour tout réel $a$, ils définissent le faisceau $^aE$ comme l'ensemble des sections de $E$ dont la norme par rapport à $h$ croît au plus comme $O(|z|^{-a-\epsilon})$. Le théorème fondamental (de Simpson) affirme que $^aE$ est un fibré vectoriel holomorphe sur le disque $\Delta$.
• Nouvel invariant : L'apport méthodologique majeur est l'introduction d'un invariant réel $\gamma(^aE)$, défini via le comportement asymptotique du déterminant de la matrice de Gram d'un repère local :
  $$\gamma(^aE) := -\frac{1}{2} \liminf_{z \to 0} \frac{\log \det H(h, v)}{\log |z|}$$
  où $H(h, v)$ est la matrice $(h(v_i, v_j))$.
• Outils techniques :
  • Utilisation de la théorie des fonctions sous-harmoniques et des nombres de Lelong.
  • Résolution d'équations $\bar{\partial}$ via la méthode $L^2$ (théorèmes d'existence de sections holomorphes).
  • Utilisation de revêtements cycliques pour simplifier les problèmes de rationalité des poids.
  • Application d'un lemme clé de Simpson (Lemme 10.1) pour obtenir des estimations de croissance précises.
  • Démonstration de l'égalité entre l'invariant $\gamma$ et la somme des poids paraboliques, ce qui constitue la partie la plus technique du papier.

3. Contributions Clés et Résultats Principaux

L'article établit plusieurs résultats structuraux nouveaux ou clarifiés :

A. Structure des Faisceaux Acceptables et Invariant $\gamma$

• Théorème 1.6 (Cas des fibrés en droites) : Pour un fibré en droites acceptable $(L, h)$, les auteurs donnent une description explicite du prolongement $^aL$. Ils montrent l'existence d'une limite $\gamma = \lim_{z\to 0} \frac{\phi(z)}{\log|z|}$ (où $h = |\cdot|^2 e^{-2\phi}$) et caractérisent les sections de $^aL$ par une condition sur l'ordre du pôle : $f \in (^aL)_0 \iff \text{ord}_0 f \ge -\lfloor a - \gamma \rfloor$.
• Théorème 1.9 et 12.3 (Lien avec les poids paraboliques) : C'est le résultat central. Pour un fibré vectoriel de rang $r$, l'invariant $\gamma(^aE)$ est égal à la somme des poids paraboliques $\{b_1, \dots, b_r\}$ associés à la filtration parabolique naturelle :
  $$\gamma(^aE) = \sum_{i=1}^r b_i$$
  Cette égalité est prouvée en deux étapes : une inégalité directe via des estimations de croissance, et l'inégalité réciproque utilisant un argument par l'absurde basé sur le lemme de Simpson et les revêtements cycliques.

B. Propriétés Algébriques et Opérations

• Faisceaux déterminants (Théorème 1.10) : Le fibré déterminant $(\det E, \det h)$ est acceptable, et le prolongement satisfait :
  $$\det(^aE) = {}^{\gamma(^aE)}(\det E)$$
• Dualité (Théorème 1.12) : Les auteurs établissent une formule précise pour le prolongement du fibré dual :
  $$(^aE)^\vee = {}^{-a+1-\epsilon}(E^\vee)$$
  pour $\epsilon > 0$ suffisamment petit. Ils montrent également que les poids paraboliques du dual sont les opposés des poids originaux.
• Produits Tensoriels (Théorème 1.14) : Le produit tensoriel de deux fibrés acceptables est acceptable, et la filtration parabolique induite correspond exactement à la somme des filtrations :
  $$^a(E_1 \otimes E_2) = \sum_{a_1+a_2 \le a} {}^{a_1}E_1 \otimes {}^{a_2}E_2$$
• Faisceaux Hom : Une description similaire est donnée pour les fibrés Hom, confirmant la compatibilité de la structure filtrée avec les opérations usuelles.

C. Estimations de Croissance

• Théorème 1.13 (Estimation de norme faible) : Pour un repère compatible avec la filtration parabolique $\{v_i\}$, la matrice de Gram normalisée $H(h, v')$ (où $v'_i = v_i |z|^{b_i}$) est contrôlée par des puissances de $\log|z|$. Cela signifie que la métrique ne s'effondre ni n'explose trop rapidement, sauf selon les directions contrôlées par les poids.

4. Signification et Impact

Cet article revêt une importance significative pour plusieurs raisons :

1. Accessibilité et Auto-contenu : Il rend la théorie profonde et complexe de Simpson-Mochizuki plus accessible en se concentrant sur le cas unidimensionnel, souvent utilisé comme brique de base pour les cas de dimension supérieure. Il évite de supposer la connaissance de notes privées ou de résultats implicites.
2. Nouveaux Outils : L'introduction de l'invariant $\gamma(^aE)$ et sa caractérisation explicite comme somme des poids paraboliques offrent un outil de calcul puissant pour manipuler les fibrés acceptables sans avoir à reconstruire toute la théorie des structures paraboliques à chaque fois.
3. Preuves Alternatives : Les auteurs fournissent des preuves qui diffèrent de celles de Simpson et Mochizuki, notamment en utilisant des techniques d'approximation diophantienne et des revêtements cycliques pour établir l'égalité fondamentale $\gamma = \sum b_i$.
4. Fondation pour le Travail Futur : Cet article sert de prérequis essentiel pour le papier suivant [FFO], qui étend ces résultats aux polydisques partiellement pointés (dimension supérieure). La clarté apportée ici sur le cas du disque pointé est cruciale pour la généralisation.

En résumé, ce papier est une référence technique indispensable pour quiconque travaille sur les fibrés vectoriels avec singularités régulières, les structures de Higgs, et la correspondance de Simpson-Mochizuki, offrant une base rigoureuse et des outils calculatoires précis pour l'analyse des comportements asymptotiques près des singularités.