Kähler-Ricci Flow preserves negative anti-bisectional curvature

Résumé Technique : Le flot de Kähler-Ricci préserve la courbure anti-bisectionnelle négative

Énoncé du Problème
Cet article étudie le comportement de la « courbure anti-bisectionnelle » sous le flot de Kähler-Ricci. La courbure anti-bisectionnelle, définie par $R(V, W, V, W)$ pour des vecteurs $(1,0)$-polarisés $V$ et $W$, découle d'une correspondance entre la théorie de la régularité du transport optimal et la géométrie des variétés kählériennes sur les domaines de tubes. Le tenseur de Ma-Trudinger-Wang (MTW) pour les fonctions de coût de la forme $c(x, y) = \Psi(x-y)$ correspond à la courbure anti-bisectionnelle d'une métrique kählérienne associée.

Bien que le flot de Ricci soit connu pour préserver diverses conditions de positivité sur la courbure (par exemple, la bisectionnelle non négative), il n'est généralement pas établi qu'il préserve les conditions de négativité, avec pour seule exception notable la courbure gaussienne négative des surfaces de Riemann. Les auteurs examinent si une courbure anti-bisectionnelle non positive est préservée sous le flot, une propriété qui aurait des implications significatives pour la régularité des applications de transport optimal et la géométrie des métriques de Kähler-Einstein.

Méthodologie
Les auteurs étudient le flot de Kähler-Ricci sur des domaines de tubes $T\Omega = \Omega + i\mathbb{R}^n$, où $\Omega \subset \mathbb{R}^n$ est un domaine convexe. Ces domaines correspondent aux fibrés tangents de variétés hessiennes équipées de métriques de Kähler-Sasaki. Le flot est analysé via l'évolution du tenseur de courbure.

1. Astuce d'Uhlenbeck : Pour simplifier les équations de réaction-diffusion complexes régissant l'évolution de la courbure, les auteurs emploient l'astuce d'Uhlenbeck. Ils introduisent un fibré vectoriel abstrait isomorphe au fibré tangent complexe et une isométrie dépendante du temps pour transformer le tenseur de courbure en une forme où l'équation d'évolution se simplifie en un système de réaction-diffusion avec un terme de réaction quadratique $Q(\tilde{R})$.
2. Principe du Maximum : Puisque les variétés considérées sont souvent non compactes (domaines de tubes), le principe du maximum standard pour les variétés compactes est insuffisant. Les auteurs utilisent une version du principe du maximum pour les variétés complètes à courbure bornée, établie initialement par Shi. Cela nécessite la vérification d'une « condition de vecteur nul » pour le terme de réaction $Q$.
3. Vérification du Vecteur Nul : La contribution technique centrale consiste à prouver que si la courbure anti-bisectionnelle est non positive (ou non négative pour le cas orthogonal en dimension deux), et qu'elle s'annule sur une paire spécifique de vecteurs, le terme de réaction $Q$ est « orienté vers l'intérieur » (c'est-à-dire non positif ou non négatif, respectivement) en ce point. Cette vérification repose sur des manipulations algébriques des symétries du tenseur de courbure et sur des lemmes spécifiques concernant les matrices semi-définies positives (adaptés des travaux de Cao et Hamilton).
4. Contraintes Dimensionnelles : L'analyse distingue les dimensions générales de la dimension complexe deux. Pour la préservation de la courbure anti-bisectionnelle orthogonale non négative, la preuve repose sur des annulations algébriques spécifiques qui ne sont valables que lorsque la dimension complexe $n=2$.

Contributions Clés et Résultats

• Théorème 1 (Préservation de la Courbure Anti-Bisectionnelle Non Positive) : Les auteurs démontrent que si une variété kählérienne complète à courbure bornée possède une courbure anti-bisectionnelle non positive, cette condition est préservée sous le flot de Kähler-Ricci pendant tout le temps où le flot existe. Il s'agit d'un résultat significatif car il identifie un cas rare de condition de négativité préservée dans le flot de Ricci de dimension supérieure.
• Théorème 2 (Préservation de la Courbure Anti-Bisectionnelle Orthogonale Non Négative en Dimension 2) : En dimension complexe deux, les auteurs montrent que la courbure anti-bisectionnelle orthogonale non négative (la condition MTW(0) restreinte aux vecteurs orthogonaux) est également préservée sous le flot. Ils notent que ce résultat ne se généralise pas aux dimensions $n \geq 3$ en raison du signe du terme de réaction quadratique.
• Conséquences Géométriques (Corollaires 1–4) :
  • Métriques de Kähler-Einstein : En combinant le Théorème 1 avec les résultats de convergence de Tong pour les métriques à courbure sectionnelle holomorphe négativement pincée, les auteurs montrent que la métrique de Kähler-Einstein résultante sur un domaine de tube conserve une courbure anti-bisectionnelle non positive.
  • Courbure de Coût Négative : Pour des domaines lisses, bornés et fortement convexes, la métrique de Kähler-Einstein présente une « courbure de coût négative » (une condition plus forte impliquant une courbure anti-bisectionnelle non positive et une courbure sectionnelle holomorphe polarisée négativement pincée).
  • Contrôle de la Courbure : Les auteurs dérivent des estimations quantitatives montrant que pour un temps $t > 0$, la courbure sectionnelle holomorphe polarisée est bornée inférieurement par un terme dépendant de la trace de la courbure anti-bisectionnelle orthogonale ($O$) et de la borne initiale de la courbure scalaire, indépendamment du pincement initial de la courbure sectionnelle holomorphe.
• Applications au Transport Optimal :
  • Régularité Faible KR : La préservation de la courbure anti-bisectionnelle orthogonale non négative en dimension 2 permet la définition de fonctions de coût « KR faiblement régulières ». Ce sont des fonctions de coût $c(x,y) = \Psi(x-y)$ où le potentiel $\Psi$ évolue sous un flot parabolique pour maintenir la condition MTW(0).
  • Estimations de Régularité : En utilisant ce flot, les auteurs établissent des estimations de Hölder intérieur pour les applications de transport optimal associées à des potentiels convexes de classe $W^{2,p}$ en deux dimensions, généralisant ainsi la théorie de la régularité existante à des fonctions de coût moins lisses.

Signification et Revendications
L'article affirme que la préservation de la courbure anti-bisectionnelle non positive est « quelque peu inattendue », car la plupart des conditions de courbure invariantes connues sous le flot de Ricci sont des conditions de positivité. Les auteurs soulignent que ce résultat fournit un nouvel outil pour étudier la relation entre la courbure sectionnelle holomorphe et la courbure de Ricci en géométrie complexe.

Dans le contexte du transport optimal, ce travail jette un pont entre l'évolution géométrique des métriques et la régularité des applications de transport. En montrant que le flot préserve la condition MTW(0) (en dimension 2), l'article propose une méthode canonique pour déformer les fonctions de coût afin d'assurer la régularité, permettant potentiellement d'étendre la théorie de la régularité à des fonctions de coût plus grossières (telles que le coût original de Monge $|x-y|$) par approximation.

Les auteurs fournissent également des exemples concrets de métriques satisfaisant ces conditions, incluant la métrique de Calabi sur le domaine de tube sur la boule unité et des métriques sur des cônes, démontant ainsi que l'hypothèse de courbure anti-bisectionnelle négative n'est pas vacue. Enfin, l'article note que bien que les résultats soient robustes pour les métriques complètes, l'extension aux métriques incomplètes (courantes en transport optimal) reste une question ouverte nécessitant des conditions aux limites appropriées.