Characterisation of some multivalued harmonic functions on $\mathbb{R}^{n}$

Résumé technique : Caractérisation de certaines fonctions harmoniques multivaluées sur $\mathbb{R}^n$

Énoncé du problème
L'article traite de l'unicité globale des fonctions $\mathbb{Z}_2$-harmoniques sur $\mathbb{R}^n$ ($n \geqslant 3$) soumises à des conditions de croissance spécifiques. Une fonction $\mathbb{Z}_2$-harmonique $u$ est définie comme une section harmonique d'un fibré réel plat sur $\mathbb{R}^n \setminus \Sigma$, où $\Sigma \subset \mathbb{R}^n$ est un ensemble de branchement lisse, compact, de codimension 2. La fonction possède une monodromie $\mathbb{Z}_2$ autour des boucles liant $\Sigma$.

Des constructions récentes par Donaldson (sur $\mathbb{R}^3$) et Yan (sur $\mathbb{R}^n$) ont fourni des exemples explicites de telles fonctions où :

1. L'ensemble de branchement $\Sigma$ est une ellipsoïde.
2. La fonction présente une croissance quadratique à l'infini, asymptotique à une forme quadratique non dégénérée et de trace nulle d'indice 1 ou $n-1$.
3. Le coefficient principal dans l'expansion asymptotique locale près de $\Sigma$ s'annule, impliquant que $u = O(\text{dist}(\cdot, \Sigma)^{3/2})$. Cette condition traite $\Sigma$ comme une frontière libre non linéaire plutôt que comme un ensemble prescrit.

La question centrale est de savoir si ces propriétés de croissance spécifiques (asymptote quadratique et coefficient principal nul au locus de branchement) caractérisent de manière unique les solutions à un isomorphisme de mouvements rigides de $\mathbb{R}^n$, sans supposer la géométrie de $\Sigma$ a priori.

Méthodologie
La preuve du théorème principal d'unicité (Théorème 1.4) est divisée en deux phases distinctes : des préparations analytiques et un argument de théorie de Floer.

1. Préparations analytiques :

   • Fonction de fréquence : Les auteurs adaptent la fonction de fréquence d'Almgren, initialement utilisée pour les fonctions harmoniques $Q$-valuées, au cadre des $\mathbb{Z}_2$-harmoniques. Ils établissent une formule de monotonie pour la 1-forme $\mathbb{Z}_2$-harmonique $du$.
   • Non-dégénérescence : En reliant l'ordre d'annulation de $du$ près de l'ensemble singulier au taux de croissance polynomial à l'infini, ils prouvent que $du$ est non dégénérée (le coefficient sous-dominant $B$ dans l'expansion ne s'annule nulle part) et que $|du|^{-1}(0) = \Sigma$. Cela garantit que l'ensemble de branchement est exactement l'ensemble nul du gradient.
   • Lagrangiens spéciaux approximatifs : Pour un petit paramètre $\delta > 0$, le graphe $L_\delta = \text{graph}(\delta du)$ est montré être un Lagrangien connexe, exact, gradué et $C^{1,\alpha}$-injecté dans $\mathbb{C}^n \cong T^*\mathbb{R}^n$. Il est asymptotique à deux plans transverses $\Pi_\delta^\pm$ et satisfait une condition de Lagrangien spécial approximatif avec une erreur d'angle de Lagrangien d'ordre $O(\delta^{1+\alpha})$.

2. Partie de la théorie de Floer :

   • Compactification partielle : Adaptant le cadre d'Imagi–Joyce–Oliveira dos Santos (IJOdS), les auteurs construisent une compactification partielle $M$ de $\mathbb{C}^n en attachant les fibrés cotangents de sphères à l'infini. Cela permet de traiter les Lagrangiens non compacts comme des objets compacts au sein d'une variété de Calabi–Yau symplectique.
   • Classification dans $DbFuk$ : Utilisant la catégorie de Fukaya dérivée, ils classifient le Lagrangien compactifié $\bar{L}_\delta$. La classification repose sur les angles asymptotiques, qui sont déterminés par le Hessien du polynôme quadratique asymptotique $V$. Ils prouvent que l'indice de $V$ doit être 1 ou $n-1$.
   • Perturbation Hamiltonienne : Pour gérer la non-transversalité des solutions approximatives, les auteurs introduisent une famille de perturbations Hamiltoniennes. Une réussite technique clé est la suppression des points d'intersection de degré de Floer 0 et $n$ dans les régions éloignées du locus de branchement et de l'infini. Ceci est réalisé via un argument de réalité analytique (en perturbant le différentiel du Hessien) et un contrôle soigneux du potentiel de Lagrangien près de l'ensemble singulier.
   • Argument de la bande holomorphe : En supposant l'existence de deux solutions distinctes $u$ et $v$, les auteurs construisent une bande holomorphe (ou une bande brisée) connectant leurs Lagrangiens perturbés.
     • Borne supérieure : L'aire de cette bande est bornée de haut par la différence des potentiels de Lagrangien, qui est montrée être de l'ordre $O(\delta \Lambda^{-1/4})$ (petite) en raison de la correspondance des conditions asymptotiques.
     • Borne inférieure : En utilisant une formule de monotonie locale pour les courbes holomorphes près d'un point où les gradients diffèrent, ils dérivent une borne inférieure pour l'aire de l'ordre $\eta \delta$.
     • Contradiction : La divergence entre la borne supérieure (s'annulant lorsque les paramètres sont ajustés) et la borne inférieure (linéaire en $\delta$) produit une contradiction, impliquant que les solutions doivent coïncider.

Contributions clés et résultats

• Théorème 1.4 (Unicité globale) : L'article prouve que toute fonction $\mathbb{Z}_2$-harmonique sur $\mathbb{R}^n$ ($n \geqslant 3$) avec un locus de branchement lisse, compact et non vide, un coefficient principal nul au locus de branchement, et asymptotique à un polynôme homogène de degré 2 non dégénéré (d'indice 1 ou $n-1$), est unique à un isomorphisme de mouvements rigides. Elle coïncide avec les solutions modèles construites par Donaldson et Yan.
• Caractérisation de l'ensemble de branchement : Contrairement aux résultats d'existence précédents où l'ensemble de branchement était souvent prescrit ou construit conjointement avec la fonction, ce résultat démontre que la croissance quadratique à l'infini et la condition de croissance locale en $O(r^{3/2})$ déterminent de manière unique l'ensemble de branchement comme étant une ellipsoïde.
• Extension des techniques IJOdS : Ce travail adapte avec succès la classification des Lagrangiens spéciaux (spécifiquement les cols de Lawlor) au cadre des fonctions $\mathbb{Z}_2$-harmoniques, qui servent de modèles linéarisés pour les déformations branchées de Lagrangiens spéciaux.
• Rigueur analytique : L'article fournit une preuve rigoureuse de la non-dégénérescence de la 1-forme $\mathbb{Z}_2$-harmonique en utilisant la fonction de fréquence d'Almgren dans un contexte où la propriété de minimisation de l'énergie de Dirichlet n'est pas supposée a priori.

Signification
L'article établit un résultat de rigidité pour une classe de fonctions harmoniques multivaluées qui apparaissent de manière omniprésente dans la géométrie différentielle moderne, incluant la théorie de régularité d'Almgren, les limites de blow-up de la théorie de jauge (Taubes, Haydys–Walpuski), et le programme de Donaldson sur les variétés de $G_2$.

Les auteurs notent que si des travaux précédents (Sun, Haydys–Mazzeo–Takahashi) ont établi l'unicité pour un ensemble de branchement $\Sigma$ fixe, ce résultat supprime cette hypothèse, montrant que le comportement asymptotique à l'infini impose à l'ensemble de branchement la géométrie ellipsoïdale spécifique trouvée dans les exemples modèles. L'article évite de résoudre directement l'équation spéciale de Lagrangien, utilisant plutôt l'équation harmonique linéaire et des outils de la théorie de Floer pour déduire l'unicité, offrant une voie novatrice pour l'étude des surfaces minimales branchées et de leurs déformations.

Les auteurs concluent en notant deux questions ouvertes liées : la potentielle généralisation de ces résultats aux solutions auto-similaires de l'« équation de la chaleur $\mathbb{Z}_2$ » (auto-expandeurs du flot de courbure moyenne de Lagrangien) et le comportement des solutions lorsque le polynôme asymptotique est dégénéré (ce qui réduit le problème à des dimensions inférieures).