Sections of Lagrangian fibrations on holomorphic symplectic manifolds

Résumé Technique : Sections de Fibrations Lagrangiennes

Énoncé du Problème
L'article traite de l'existence de sections pour les fibrations lagrangiennes $\pi: M \to X$ sur des variétés hyperkählériennes compactes de holonomie maximale (variétés holomorphes symplectiques irréductibles). Bien que la base $X$ soit connue pour être biholomorphe à $\mathbb{CP}^n$ (sous des hypothèses de lissité), l'existence d'une section holomorphe globale ou même méromorphe constitue une obstruction topologique et géométrique non triviale.

Les tentatives précédentes visant à construire de telles sections en utilisant des arguments purement topologiques (par exemple, représenter des classes d'homologie par des sous-variétés) ont échoué, particulièrement pour les surfaces K3 et les fibrations elliptiques. Le problème central est de déterminer si, sous des conditions spécifiques, on peut déformer la structure complexe de $M$ pour permettre l'existence d'une section méromorphe sans altérer le type de déformation de la variété.

Méthodologie
Les auteurs emploient une approche multi-étapes combinant la géométrie algébrique, l'algèbre homologique et la géométrie différentielle complexe :

1. Déformations de Twistor Dégradées : Le mécanisme central est l'utilisation de « déformations de twistor dégradées » (ou twists de Tate-Shafarevich). Étant donné une fibration lagrangienne $\pi: M \to X$ et une forme fermée de type $(2,0)+(1,1)$ $\eta$ sur la base $X$, on peut déformer la structure complexe de $M$ vers une nouvelle structure $I_\eta$ telle que la forme $\Omega + \pi^*\eta$ devienne holomorphe symplectique. Crucialement, si une section lisse $S$ existe, la forme $\eta = -S^*\Omega$ rend $S$ holomorphe dans la structure déformée.
2. Construction Locale par Moyennage : Les auteurs construisent d'abord une section lisse sur une droite générale $C \cong \mathbb{CP}^1 \subset X$. Cela repose sur :
   • Le Théorème de Thom : Représenter une classe d'homologie spécifique dans le préimage $\pi^{-1}(C)$ par une sous-variété lisse de dimension 2.
   • Modèles de Néron et Structures de Torsors : Utiliser la structure de groupe abélien (ou de torsor) des fibres lisses. En « moyennant » les points d'intersection de la sous-variété avec les fibres (en utilisant la loi de groupe), ils construisent une section lisse $\sigma: C \to M$.
   • Hypothèse de Primitivité : La construction nécessite que la fibre générale soit primitive dans l'homologie entière afin de garantir l'existence d'une multisection de multiplicité totale 1.
3. Extension via Courants de Dolbeault : L'obstruction principale à l'extension de la déformation locale de $C$ vers l'ensemble de la base $X = \mathbb{CP}^n$ réside dans le groupe de cohomologie $H^1(UC, \mathcal{O})$. Les auteurs définissent une « classe de Dolbeault » associée à la section. Ils prouvent que cette classe s'annule en la réalisant comme un courant et en montrant qu'elle est exacte, permettant ainsi l'extension de la forme fermée $\eta$ à toute la base.
4. Principe d'Holographie : Une fois qu'une section holomorphe existe sur un voisinage d'une courbe rationnelle ample $C$, les auteurs appliquent un « principe d'holographie » (Théorème 5.12). Ce principe stipule que toute application holomorphe d'un voisinage d'une courbe rationnelle ample dans $\mathbb{CP}^n$ vers une variété kählérienne s'étend en une application méromorphe sur l'ensemble de $\mathbb{CP}^n$.

Contributions Principales et Résultats

• Théorème 1.1 (Résultat Principal) : Soit $\pi: M \to \mathbb{CP}^n$ une fibration lagrangienne sur une variété hyperkählérienne compacte de holonomie maximale. Supposons que la fibre générale soit primitive dans l'homologie entière et que les fibres soient réduites en dehors d'un sous-ensemble de codimension 2. Alors, il existe un paramètre $t_0 \in H^2(\mathbb{CP}^n, \mathbb{C})$ tel que la déformation de twistor dégradée $(M, I_{t_0})$ admet une section méromorphe $\pi: (M, I_{t_0}) \to \mathbb{CP}^n$.
• Annulation de l'Obstruction (Théorème 6.19) : L'article prouve que la classe de Dolbeault associée à la section lisse construite sur une droite s'annule. C'est l'étape critique qui permet d'étendre la déformation de twistor dégradée locale à l'échelle globale.
• Affinement des Arguments d'Homologie (Section 4) : Les auteurs traitent des subtilités concernant la classe d'homologie de la section construite. Ils démontrent que, bien que la procédure de « moyennage » modifie la classe d'homologie de la multisection initiale, la classe résultante est uniquement déterminée et compatible avec la structure globale, résolvant ainsi les préoccupations soulevées par J. Kollár concernant la préservation des classes d'homologie.
• Comparaison avec les Twists de Tate-Shafarevich : L'article distingue son approche des travaux récents de J. Kollár sur les twists de Tate-Shafarevich. Tandis que Kollár construit des sections rationnelles pour les fibrations abéliennes via des twists qui peuvent ne pas préserver le type de déformation de la variété, l'utilisation par les auteurs de déformations de twistor dégradées garantit que la variété résultante reste équivalente par déformation à l'originale $M$.

Signification et Revendications
L'article prétend résoudre le problème topologique de la construction d'une section lisse pour les fibrations lagrangiennes en développant une approche géométrique algébrique robuste qui surmonte les limites des méthodes topologiques précédentes.

• Équivalence de Déformation : Une revendication significative est que la variété résultante possédant une section méromorphe est une déformation de twistor dégradée de la variété originale. Contrairement à d'autres constructions (telles que certains twists de Tate-Shafarevich), cette déformation préserve le type de déformation de la variété hyperkählérienne.
• Nécessité de la Primitivité : Les auteurs soutiennent explicitement que la primitivité de la fibre générale est une condition nécessaire pour l'existence d'une section biméromorphe, citant des exemples (le système de Mukai de Hellmann) où des fibres non primitives empêchent de telles sections.
• Généralité : Le résultat s'applique à toutes les fibrations lagrangiennes sur des variétés hyperkählériennes satisfaisant les conditions de primitivité et de fibres réduites, fournissant un cadre unifié pour l'existence de sections dans ce contexte.

L'article ne prétend pas construire des sections pour toutes les fibrations lagrangiennes sans l'hypothèse de primitivité, ni affirme que la section est holomorphe sur la structure complexe originale ; il établit plutôt l'existence d'une section au sein d'une famille spécifique et bien définie de déformations de la structure complexe.