On the Donaldson-Scaduto conjecture

1. Énoncé du problème et contexte

L'article traite d'une conjecture proposée par Simon Donaldson et Scaduto concernant l'existence de sous-variétés associatives spécifiques dans les variétés $G_2$ et de sous-variétés lagrangiennes spéciales dans les 3-folds de Calabi-Yau.

• Contexte global : Dans l'étude des variétés $G_2$ construites via des fibrations K3 coassociatives dans la limite adiabatique, Donaldson et Scaduto ont conjecturé que les sous-variétés associatives peuvent former des « jonctions triples » où trois extrémités cylindriques se rencontrent.
• Modèle local : L'article se concentre sur la version locale de cette conjecture. L'espace ambiant est remplacé par $X \times \mathbb{R}^3$, où $X$ est un instanton gravitationnel ALE (Asymptotically Locally Euclidean) de type $A_2$ (une variété hyperkählerienne de dimension 4).
• La conjecture : Il existe une sous-variété associative $P \subset X \times \mathbb{R}^3$ homéomorphe à une 3-sphère à trois trous ($S^3$ avec trois points percés) et possédant trois extrémités asymptotiques à des demi-cylindres spécifiques $\Sigma_i \times (\mathbb{R}^+ v_i)$.
• Équivalence : En identifiant $X \times \mathbb{R}^3$ avec $X \times \mathbb{R}^2 \times \mathbb{R}$, le problème est reformulé en termes de sous-variétés lagrangiennes spéciales dans le 3-fold de Calabi-Yau $Z = X \times \mathbb{R}^2$. Les auteurs généralisent le problème aux instantons de type $A_{n-1}$, recherchant une famille de dimension $(n-1)$ de lagrangiennes spéciales homéomorphes à une 3-sphère à $n$ trous avec $n$ extrémités asymptotiquement cylindriques.

2. Méthodologie

Les auteurs emploient une combinaison d'analyse géométrique, d'équations aux dérivées partielles (EDP) et de théorie géométrique de la mesure. La stratégie se déroule en quatre étapes principales :

A. Réduction dimensionnelle

En supposant l'invariance $U(1)$ (motivée par l'ansatz de Gibbons-Hawking pour $X$), le problème est réduit d'une condition lagrangienne spéciale en dimension 6 à un problème en dimension 2 sur le quotient symplectique $Z_{red} \cong \mathbb{R}^4$.

• La condition lagrangienne spéciale se réduit à un système d'équations pour une application $F: U \subset \mathbb{R}^2 \to \mathbb{R}^2$, où $U$ est le polygone convexe dont les sommets sont $p_1, \dots, p_n$ (les points monopôles).
• Sous une hypothèse graphique ($F = \nabla \phi$), le système se réduit à une équation de Monge-Ampère réelle :
  $$\det(D^2 \phi) = V(u) = A + \sum_{i=1}^n \frac{1}{2|u - p_i|}$$
  où $V$ est la fonction harmonique définissant la métrique de Gibbons-Hawking.

B. Résolution du problème de Dirichlet

Les auteurs résolvent l'équation de Monge-Ampère sur le polygone convexe $U$ avec des conditions aux limites spécifiques :

• Données aux limites : Sur chaque arête $[p_i, p_{i+1}]$, le potentiel $\phi$ doit être affine linéaire, correspondant aux positions asymptotiques des extrémités cylindriques.
• Singularités : Le terme de droite $V$ présente des singularités aux sommets $p_i$.
• Technique : Ils utilisent une stratégie d'approximation, résolvant l'équation sur des domaines strictement convexes $U_t \subset U$ et en passant à la limite $t \to 1$. Ils établissent des bornes uniformes $C^0$ et une continuité lipschitzienne pour garantir l'existence d'une solution convexe continue $\phi$ qui est lisse à l'intérieur.

C. Analyse du comportement du gradient

Une étape critique consiste à comprendre le comportement du gradient $\nabla \phi$ près de la frontière :

• Près des arêtes : La dérivée normale $\nabla_{normal} \phi$ diverge vers $+\infty$ à l'approche des arêtes ouvertes, tandis que la dérivée tangentielle converge vers une constante. Cela garantit que les arêtes du polygone ne contribuent pas à la fermeture de la sous-variété.
• Près des sommets : L'application gradient $\nabla \phi$ mappe l'intérieur de $U$ vers $\mathbb{R}^2 \setminus \bigcup C_{p_i}$, où $C_{p_i}$ sont des ensembles convexes disjoints (sous-gradients) associés aux sommets. Les auteurs prouvent que l'image du gradient évite ces ensembles, ce qui est crucial pour la topologie de la sous-variété résultante.

D. Régularité et topologie via la théorie géométrique de la mesure

Pour prouver que l'objet construit est une sous-variété lisse :

• Clôture : Ils prennent la clôture de la lagrangienne spéciale ouverte $L^\circ$.
• Singularités : En utilisant le théorème de régularité d'Allard et la classification de Joyce des cônes lagrangiens spéciaux invariants $U(1)$ dans $\mathbb{C}^3$, ils prouvent que les cônes tangents aux points situés au-dessus des sommets $p_i$ sont des 3-plans lisses de multiplicité un. Cela écarte les singularités, prouvant que la clôture $L$ est une sous-variété lisse.
• Asymptotiques : Ils établissent des estimations de décroissance exponentielle, montrant que $L$ est une petite perturbation des cylindres modèles à l'infini.
• Topologie : En utilisant le théorème de Van Kampen et les propriétés de la fibration, ils prouvent que la variété résultante est simplement connexe et donc homéomorphe à une 3-sphère à $n$ trous.

3. Contributions et résultats clés

• Preuve de la conjecture locale Donaldson-Scaduto : L'article prouve rigoureusement l'existence du modèle local de type $A_2$ pour la jonction triple de sous-variétés associatives.
• Généralisation à $A_{n-1}$ : Le résultat est étendu aux espaces ALE/ALF de type $A_{n-1}$, construisant une famille de dimension $(n-1)$ de lagrangiennes spéciales homéomorphes à une 3-sphère à $n$ trous.
• Comptage des paramètres : La construction dépend de $n-1$ paramètres réels (soumis à la contrainte $\sum c_i = 0$), qui correspondent aux translations des extrémités asymptotiques. Les auteurs notent que ces déformations sont rigides une fois les conditions asymptotiques fixées.
• Avancée analytique : L'article fournit une méthode robuste pour résoudre l'équation de Monge-Ampère réelle avec des termes de droite singuliers et des données aux limites affines sur des polygones convexes, traitant spécifiquement la divergence du gradient près des arêtes et la structure des sous-gradients aux sommets.
• Lissité via classification : La preuve de lissité repose sur une application profonde de la classification des cônes invariants $U(1)$ par Joyce pour écarter les cônes tangents non lisses aux « coins » du domaine.

4. Signification

• Briques de base pour le collage : Ces lagrangiennes spéciales servent de briques fondamentales pour construire de nouvelles lagrangiennes dans des « 3-folds de Calabi-Yau locaux » via des techniques de collage. Cela est essentiel pour le programme plus large de construction de variétés $G_2$ compactes et de compréhension de leurs espaces de modules.
• Compréhension de la limite adiabatique : Ce travail fournit une réalisation mathématique concrète de l'image heuristique proposée par Donaldson et Scaduto concernant le comportement des sous-variétés associatives dans la limite adiabatique des variétés $G_2$ (spécifiquement près des jonctions triples).
• Interaction des domaines : L'article démontre une synthèse puissante de la géométrie hyperkählerienne, des structures de Calabi-Yau, des EDP non linéaires (Monge-Ampère) et de la théorie géométrique de la mesure (régularité des courants).

En résumé, Habibi Esfahani et Li fournissent une preuve d'existence complète pour une classe spécifique de lagrangiennes spéciales qui semblent singulières mais sont en réalité lisses, résolvant ainsi une conjecture clé dans l'étude de la géométrie $G_2$ et fournissant de nouveaux outils pour la construction de sous-variétés calibrées.