Résumé Technique : Singularités en Temps Fini du Flux de Courbure Moyenne Lagrangien avec une Dynamique Quantitativement Précise

1. Énoncé du Problème et Contexte

Le problème central abordé est la formation de singularités en temps fini du flux de courbure moyenne lagrangien (LMCF) dans l'espace ambiant $\mathbb{C}^n$. Bien que les conjectures de Thomas-Yau suggèrent que les sous-variétés lagrangiennes stables devraient converger vers des lagrangiennes spéciales (SL) sous le flux LMCF, il est bien établi que les singularités en temps fini sont généralement inévitables.

Avant ce travail, la compréhension de ces singularités reposait largement sur des arguments qualitatifs utilisant des principes de maximum, des arguments de blow-up (renormalisation) et de compacité. Un écart significatif existait dans la description quantitative de la formation des singularités. Plus précisément, bien qu'il soit connu que sous l'hypothèse de Maslov nulle, les singularités en temps fini doivent être de Type II (où la courbure explose plus vite que $(T-t)^{-1/2}$), les taux de blow-up précis et la dynamique détaillée menant à ces singularités étaient inconnus. Il n'était pas clair si la courbure moyenne pouvait rester uniformément bornée ou quels taux d'explosion de courbure spécifiques pourraient se produire.

Cet article vise à construire des solutions explicites du LMCF qui développent des singularités en temps fini avec une dynamique quantitativement précise, fournissant la première description rigoureuse des taux d'explosion de la courbure et de la structure géométrique du flux au voisinage de la singularité.

2. Méthodologie

Les auteurs emploient un cadre analytique sophistiqué combinant l'analyse de modulation, la théorie spectrale et des arguments topologiques pour construire ces solutions. La méthodologie se distingue des approches précédentes qui reposaient uniquement sur les principes de maximum.

2.1. Réduction à une EDP scalaire totalement non linéaire

En restreignant le flux à des sous-variétés lagrangiennes de cohométrie un invariantes sous un groupe de Lie compact et connexe $G \leq SU(n)$ (où les orbites génériques sont de dimension $(n-1)$), le LMCF se réduit à une EDP parabolique scalaire, totalement non linéaire, pour une fonction de profil $h(s, \tau)$. Cette réduction transforme un système quasilinéaire en une équation scalaire, permettant l'application des techniques de principe de maximum, bien que la pleine non-linéarité introduise des défis analytiques importants au voisinage de la singularité.

2.2. Analyse de modulation et décomposition spectrale

Le cœur de la construction implique l'analyse du flux au voisinage d'une famille décroissante de désingularisations lagrangiennes spéciales ($aL$). La fonction de profil est décomposée comme suit :
$$h = f_a + \partial_s u$$
où $f_a$ est le profil d'un cône lagrangien spécial désingularisé, mis à l'échelle par un paramètre dépendant du temps $a(\tau)$. La perturbation $u$ est ensuite décomposée en une composante de dimension finie $\phi$ (engendrée par les fonctions propres de l'opérateur linéarisé) et un terme résiduel $v$ :
$$u = \sum_{k=1}^K b_k(\tau)(\phi_{k,a} - \phi_{0,a}) + v$$
Ici, $\phi_{k,a}$ sont les fonctions propres de l'opérateur linéarisé $H_a$ construit dans l'article compagnon [SS26]. Les paramètres $a(\tau)$ et $b_k(\tau)$ sont des paramètres de modulation contrôlés par un système d'équations différentielles ordinaires (équations de modulation).

2.3. Surmonter la non-intégrabilité

Un obstacle technique majeur est que le flux tangent (une paire transversale de cônes SL) admet des déformations non intégrables. Contraques aux constructions précédentes (par exemple, les travaux de Velázquez sur le flux de courbure moyenne) où des méthodes $L^2$ étaient disponibles grâce aux déformations intégrables, le taux de décroissance du profil de désingularisation ici ($O(|x|^{1-n})$) le place en dehors de $L^2_{loc}$.
Pour y remédier, les auteurs remplacent les espaces $L^2$ standards par une collection d'espaces pondérés $\{L^2(L_a)\}_{a>0}$ et utilisent la théorie spectrale perturbative développée dans [SS26]. Cela permet de contrôler le terme résiduel $v$ malgré l'absence d'intégrabilité $L^2$ standard.

2.4. L'argument de la boîte de Ważewski

L'existence d'une solution possédant le comportement asymptotique souhaité est prouvée à l'aide d'un argument topologique de Ważewski (souvent appelé "argument de la boîte").

1. Un ensemble dépendant du temps (la "boîte") $B(\tau)$ est défini dans l'espace des paramètres $(u, a)$.
2. Les auteurs dérivent une série d'estimations intégrales (Section 3) et d'estimations de Hölder pondérées (Section 4) pour montrer que si une solution sort de cette boîte, elle doit le faire via une sphère de dimension $(K-1)$ spécifique sur la frontière.
3. En supposant par l'absurde que toutes les solutions sortent de la boîte, on construit une rétraction continue d'une boule de dimension $K$ vers sa frontière, ce qui est topologiquement impossible.
4. Cette contradiction implique l'existence d'au moins une solution qui reste dans la boîte pour tout le temps, présentant ainsi le comportement asymptotique souhaité.

2.5. Régularité et estimations

La preuve repose sur l'établissement de :

• Équations de modulation : Contrôle de l'évolution de $a(\tau)$ et $b_k(\tau)$.
• Estimations d'énergie : Estimations $L^2_a$ et $H^k_a$ pour le résidu $v$.
• Estimations de Hölder pondérées : Établissement de bornes $C^{2,\alpha}$ dans trois régions distinctes :
  • Région parabolique : $|s| \sim 1$.
  • Région extérieure : $|s| \gtrsim 1$.
  • Région intérieure : $|s| \lesssim 1$ (proche de la singularité).
    Crucialement, les estimations de la région intérieure utilisent un argument de blow-up combiné à des théorèmes de type Liouville pour les solutions anciennes de l'équation de la chaleur sur les cônes tangents et les SL désingularisés.

3. Résultats Clés

Le théorème principal (Théorème 1.1) établit l'existence d'un flux de courbure moyenne lagrangien lisse, non compact et $G$-invariant $L_K(t)$ dans $\mathbb{C}^n$ pour des dimensions et des entiers $K$ spécifiques :

• Conditions : $n \geq 4, K \geq 2$ ; ou $n=3, K \in \{2, 3, 4\}$.
• Formation de singularité : Le flux développe une singularité en temps fini à l'origine à l'instant $T < \infty$.
• Taux d'explosion de la courbure : La seconde forme fondamentale explose avec un taux explicite :
  $$\sup_{L_K(t)} |A_{L_K(t)}| \sim (T-t)^{-K/2}$$
  Cela fournit la première confirmation quantitative de taux de blow-up de Type II spécifiques pour les EDP paraboliques totalement non linéaires issues du LMCF.
• Structure géométrique :
  • Le flux tangent à la singularité est une paire unique de cônes lagrangiens spéciaux $G$-invariants $C_0 \cup C_1$.
  • La limite de blow-up de Type II est une désingularisation lagrangienne spéciale, lisse et $G$-invariante $aL$.
• Données initiales : L'oscillation de l'angle lagrangien initial peut être prise arbitrairement petite, ce qui signifie que les données initiales sont arbitrairement proches d'être lagrangiennes spéciales.

4. Signification et Revendications

L'article affirme être la première construction de blow-up de Type II pour une EDP totalement non linéaire utilisant soit la stratégie spectrale de Hadžić-Raphaël, soit la stratégie de collage de Dávila-del Pino-Wei.

• Précision quantitative : Il remédie au manque de descriptions quantitativement précises dans la littérature antérieure sur la formation de singularités, en fournissant des taux d'explosion de courbure explicites et des profils asymptotiques détaillés.
• Innovation analytique : Ce travail démontre comment traiter les déformations non intégrables dans le contexte des EDP totalement non linéaires en remplaçant les méthodes $L^2$ par une analyse spectrale sur une famille d'espaces pondérés.
• Achèvement d'un programme de recherche : Le résultat est présenté comme l'achèvement d'un problème posé par Joyce [Joy15, Problème 3.12(a)] concernant la dynamique des cônes lagrangiens spéciaux et de leurs désingularisations en dimensions $n \geq 3$.
• Extension méthodologique : Il étend les techniques précédemment appliquées aux équations de la chaleur semi-linéaires, au système de Keller-Segel et au flux de chaleur de Yang-Mills vers le cadre plus complexe des flux géométriques totalement non linéaires.

Les auteurs notent explicitement que leur construction est basée sur une « analyse de modulation autour d'une famille décroissante de désingularisations lagrangiennes spéciales de cohométrie un » et repose lourdement sur la théorie spectrale perturbative développée dans leur article compagnon [SS26]. Ils ne prétendent pas résoudre la conjecture de Thomas-Yau générale, mais plutôt fournir un modèle rigoureux et quantitatif de la manière dont les singularités peuvent se former et se résoudre (au sens de la limite de blow-up) dans ce cadre de symétrie spécifique.