A Metric Lower Bound Estimate for Geodesics in the Space of Kähler Potentials

1. Contexte et Problématique

L'article s'inscrit dans le domaine de la géométrie kählérienne, plus précisément dans l'étude de l'espace des potentiels kählériens $\mathcal{H}$ sur une variété kählérienne compacte $(V, \omega_0)$. Cet espace, muni d'une métrique riemannienne naturelle, est un objet central pour l'analyse des équations de Monge-Ampère complexes dégénérées.

Le problème principal (Problème 1.1) consiste à trouver une géodésique reliant deux potentiels $\phi_0$ et $\phi_1$ dans $\mathcal{H}$. Cette géodésique est décrite par une fonction $\Phi$ satisfaisant une équation de Monge-Ampère complexe homogène sur un produit $S \times V$ (où $S$ est une bande complexe) :
$$(\Omega_0 + \sqrt{-1}\partial\bar{\partial}\Phi)^{n+1} = 0$$
avec des conditions aux limites données.

La difficulté majeure réside dans le fait que les solutions faibles (géodésiques généralisées) de cette équation peuvent présenter une dégénérescence de la métrique associée. Autrement dit, il n'est pas garanti que la forme $\omega_0 + \sqrt{-1}\partial\bar{\partial}\Phi(\tau, \cdot)$ reste strictement positive (c'est-à-dire une métrique kählérienne) partout sur le domaine, même si les conditions aux limites le sont. Des travaux antérieurs ont montré que pour des données générales, la métrique peut s'annuler sur un ouvert.

L'objectif de l'article est d'établir une estimation de borne inférieure positive pour la métrique le long de la géodésique, sous l'hypothèse que les conditions aux limites sont suffisamment petites en norme $C^2$.

2. Méthodologie

L'auteur utilise une approche perturbative combinée à des techniques de maximum principle et d'argument de continuité.

A. Approximation non dégénérée (Problème 1.3)

Au lieu de traiter directement l'équation dégénérée ($\epsilon = 0$), l'auteur considère une équation non dégénérée avec un paramètre $\epsilon > 0$ :
$$(\Omega_0 + \sqrt{-1}\partial\bar{\partial}\Phi_\epsilon)^{n+1} = \epsilon \sqrt{-1} d\tau \wedge d\bar{\tau} \wedge \Omega_0^n$$
Pour $\epsilon > 0$, la solution $\Phi_\epsilon$ est lisse et la métrique associée est strictement positive. Le défi est de prouver que la borne inférieure de cette métrique reste uniforme lorsque $\epsilon \to 0$.

B. Construction d'une quantité de contrôle ($Q$)

Pour contrôler les dérivées secondes de $\Phi$, l'auteur définit une quantité scalaire $Q$ qui mesure l'amplitude des dérivées secondes covariantes par rapport à la métrique de fond $\omega_0$ :
$$Q = \Phi_{,\alpha\beta}\Phi_{,\gamma\theta}g^{\alpha\theta}g^{\beta\gamma} + \Phi_{\alpha\beta}\Phi_{\gamma\theta}g^{\alpha\theta}g^{\gamma\beta} + \Phi_\alpha\Phi_\beta g^{\alpha\beta}$$
où $g_{\alpha\beta} = \omega_{0,\alpha\beta} + \Phi_{\alpha\beta}$.

C. Calculs de dérivées et opérateur linéarisé

L'article développe des calculs techniques complexes (Sections 2 et 3) pour estimer l'action de l'opérateur linéarisé $L$ (associé à l'équation de Monge-Ampère) sur $Q$.

• L'auteur calcule $L(\Phi_{\alpha\beta})$, $L(\Phi_{,\alpha\beta})$ et $L(\Phi_\alpha)$.
• Il identifie des termes de courbure ($U, V, W, F, H$) qui apparaissent lors de la commutation des dérivées covariantes.
• L'objectif est de montrer que, sous certaines hypothèses de petitesse, $LQ$ satisfait une inégalité de type :
  $$LQ \geq -\lambda Q$$
  pour une constante $\lambda$ petite.

D. Argument de continuité

En utilisant l'inégalité ci-dessus et le principe du maximum, l'auteur démontre que si $Q$ est petit sur le bord $\partial R \times V$, alors il reste petit dans tout le domaine $R \times V$, indépendamment de $\epsilon$. Cela permet de passer à la limite $\epsilon \to 0$ tout en conservant la positivité de la métrique.

3. Résultats Principaux

Théorème 1.1 (Estimation de borne inférieure métrique)

Sous des hypothèses de petitesse sur les conditions aux limites $F$ (norme $C^2$ inférieure à une constante $\hat{\delta}$) et sur le paramètre $\epsilon$, la solution $\Phi$ du problème approché satisfait :
$$\omega_0 + \sqrt{-1}\partial\bar{\partial}\Phi(\tau, \cdot) > \frac{1}{2}\omega_0$$
pour tout $\tau \in R$. La constante $\hat{\delta}$ dépend uniquement de la dimension de $V$ et des courbures de $\omega_0$ (et de leurs dérivées covariantes).

Théorème 1.2 (Estimation pour les géodésiques)

En appliquant le résultat précédent à la limite $\epsilon \to 0$, l'auteur prouve que pour deux potentiels $\phi_0, \phi_1 \in \mathcal{H}$ suffisamment proches en norme $C^2$ (somme des normes $\leq \delta$), la géodésique faible $\Phi$ les reliant vérifie :
$$\omega_0 + \sqrt{-1}\partial\bar{\partial}\Phi(\tau, \cdot) \geq \frac{1}{2}\omega_0$$
pour tout $\tau$ dans la bande complexe $S$.

Cela signifie que la métrique associée ne dégénère pas le long de la géodésique reliant deux potentiels proches.

4. Contributions Techniques Clés

1. Estimations de dérivées secondes uniformes : L'article fournit une estimation a priori pour les dérivées secondes de la solution, indépendante du paramètre de régularisation $\epsilon$. C'est un résultat crucial car les estimations classiques (théorie elliptique standard) donnent des bornes qui tendent vers zéro lorsque $\epsilon \to 0$.
2. Gestion de la courbure : Contrairement à des cas plus simples (comme le tore plat où la courbure est nulle), l'auteur gère explicitement les termes de courbure de la variété $V$ dans les calculs de l'opérateur $LQ$. Il montre comment contrôler ces termes grâce à la petitesse des conditions aux limites.
3. Lien entre régularité et dégénérescence : L'article établit un lien direct entre la petitesse de la norme $C^2$ des données au bord et la non-dégénérescence de la métrique à l'intérieur. Cela répond partiellement à la question de savoir si les géodésiques restent dans l'espace des métriques kählériennes strictes.
4. Appendice sur le tore plat : L'appendice A traite le cas d'un tore plat (dimension 1) où les calculs sont plus explicites, servant de modèle pour la généralisation aux variétés kählériennes de dimension supérieure.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Régularité des géodésiques : Il confirme que dans un voisinage $C^2$ de l'espace des potentiels, la structure géométrique est bien comportée : les géodésiques ne "sortent" pas de l'espace des métriques strictement positives.
• Outils pour la géométrie kählérienne : La non-dégénérescence de la métrique le long des géodésiques est une condition souvent nécessaire pour prouver l'unicité des solutions ou pour étudier la stabilité de certaines structures (comme les métriques d'Einstein-Kähler).
• Méthodologie robuste : La technique développée, combinant l'approximation non dégénérée, l'analyse fine de l'opérateur linéarisé sur une quantité de contrôle non linéaire ($Q$), et l'argument de continuité, offre un cadre puissant pour aborder d'autres problèmes d'équations aux dérivées partielles complexes dégénérées.

En résumé, Jingchen Hu démontre que la dégénérescence des métriques le long des géodésiques de Monge-Ampère n'est pas inévitable ; elle peut être évitée si les points de départ et d'arrivée sont suffisamment proches, fournissant ainsi une estimation de borne inférieure métrique robuste.