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

Sintesi Tecnica: Il Flusso di Kähler-Ricci Preserva la Curvatura Anti-Bisezione Negativa

Enunciato del Problema
Questo articolo investiga il comportamento della "curvatura anti-bisezione" sotto il flusso di Kähler-Ricci. La curvatura anti-bisezione, definita come $R(V, W, V, W)$ per vettori polarizzati $(1,0)$ $V$ e $W$, deriva da una corrispondenza tra la teoria della regolarità del trasporto ottimale e la geometria delle varietà di Kähler su domini a tubo. Nello specifico, il tensore di Ma-Trudinger-Wang (MTW) per funzioni di costo della forma $c(x, y) = \Psi(x-y)$ corrisponde alla curvatura anti-bisezione di una metrica di Kähler associata.

Sebbene il flusso di Ricci sia noto per preservare varie condizioni di positività sulla curvatura (ad esempio, la bisezione non negativa), non è generalmente noto se preservi le condizioni di negatività, con l'eccezione notevole della curvatura gaussiana negativa per le superfici di Riemann. Gli autori affrontano la questione se una anti-bisezione non positiva sia preservata sotto il flusso, una proprietà che avrebbe implicazioni significative per la regolarità delle mappe di trasporto ottimale e la geometria delle metriche di Kähler-Einstein.

Metodologia
Gli autori studiano il flusso di Kähler-Ricci su domini a tubo $T\Omega = \Omega + i\mathbb{R}^n$, dove $\Omega \subset \mathbb{R}^n$ è un dominio convesso. Questi domini corrispondono ai fasci tangenti di varietà hessiane dotate di metriche di Kähler-Sasaki. Il flusso viene analizzato tramite l'evoluzione del tensore di curvatura.

1. Trucco di Uhlenbeck: Per semplificare le equazioni di reazione-diffusione complesse che governano l'evoluzione della curvatura, gli autori utilizzano il trucco di Uhlenck. Introducono un fibrato vettoriale astratto isomorfo al fibrato tangente complesso e un isometria dipendente dal tempo per trasformare il tensore di curvatura in una forma in cui l'equazione di evoluzione si semplifica in un sistema di reazione-diffusione con un termine di reazione quadratico $Q(\tilde{R})$.
2. Principio del Massimo: Poiché le varietà considerate sono spesso non compatte (domini a tubo), il classico principio del massimo per varietà compatte è insufficiente. Gli autori utilizzano una versione del principio del massimo per varietà complete con curvatura limitata, stabilita originariamente da Shi. Ciò richiede la verifica di una "condizione del vettore nullo" per il termine di reazione $Q$.
3. Verifica del Vettore Nullo: Il nucleo del contributo tecnico consiste nel dimostrare che se la curvatura anti-bisezione è non positiva (o non negativa per il caso ortogonale in dimensione due) e si annulla su una specifica coppia di vettori, il termine di reazione $Q$ è "diretto verso l'interno" (ovvero non positivo o non negativo, rispettivamente) in quel punto. Questa verifica si basa su manipolazioni algebriche delle simmetrie del tensore di curvatura e su lemmi specifici riguardanti matrici semi-definite positive (adattati dal lavoro di Cao e Hamilton).
4. Vincoli Dimensionali: L'analisi distingue tra dimensioni generali e dimensione complessa due. Per la preservazione della anti-bisezione ortogonale non negativa, la prova si basa su specifiche cancellazioni algebriche che valgono solo quando la dimensione complessa è $n=2$.

Contributi Chiave e Risultati

• Teorema 1 (Preservazione della Curvatura Anti-Bisezione Non Positiva): Gli autori dimostrano che se una varietà di Kähler completa con curvatura limitata ha una curvatura anti-bisezione non positiva, questa condizione è preservata sotto il flusso di Kähler-Ricci per tutto il tempo in cui il flusso esiste. Questo è un risultato significativo in quanto identifica un raro caso di una condizione di negatività preservata in flussi di Ricci ad alta dimensione.
• Teorema 2 (Preservazione della Curvatura Anti-Bisezione Ortogonale Non Negativa in Dimensione 2): In dimensione complessa due, gli autori mostrano che la curvatura anti-bisezione ortogonale non negativa (la condizione MTW(0) ristretta ai vettori ortogonali) è anch'essa preservata sotto il flusso. Notano che questo risultato non si generalizza a dimensioni $n \geq 3$ a causa del segno del termine di reazione quadratico.
• Conseguenze Geometriche (Corollari 1–4):
  • Metriche di Kähler-Einstein: Combinando il Teorema 1 con i risultati di convergenza di Tong per metriche con curvatura sezionale olistica negativamente compressa (negatively pinched), gli autori mostrano che la metrica di Kähler-Einstein risultante mantiene una curvatura anti-bisezione non positiva.
  • Curvatura di Costo Negativa: Per domini lisci, limitati e fortemente convessi, si dimostra che la metrica di Kähler-Einstein possiede una "curvatura di costo negativa" (una condizione più forte che implica una anti-bisezione non positiva e una curvatura sezionale olistica polarizzata negativamente compressa).
  • Controllo della Curvatura: Gli autori derivano stime quantitative mostrando che per un tempo $t > 0$, la curvatura sezionale olistica polarizzata è limitata inferiormente da un termine che dipende dalla traccia della curvatura anti-bisezione ortogonale ($O$) e dal limite iniziale della curvatura scalare, indipendentemente dal pinching iniziale della curvatura sezionale olistica.
• Applicazioni al Trasporto Ottimale:
  • Regolarità Debole KR: La preservazione della curvatura anti-bisezione ortogonale non negativa in dimensione 2 permette la definizione di funzioni di costo "KR debolmente regolari". Si tratta di funzioni di costo $c(x,y) = \Psi(x-y)$ dove il potenziale $\Psi$ evolve sotto un flusso parabolico per mantenere la condizione MTW(0).
  • Stime di Regolarità: Utilizzando questo flusso, gli autori stabiliscono stime di Hölder interiore per mappe di trasporto ottimale associate a potenziali convessi in $W^{2,p}$ in due dimensioni, generalizzando la teoria della regolarità esistente a funzioni di costo meno regolari.

Significatività e Rivendicazioni

L'articolo sostiene che la preservazione della curvatura anti-bisezione non positiva sia "piuttosto inaspettata", poiché la maggior parte delle condizioni di curvatura note come invarianti sotto il flusso di Ricci sono condizioni di positività. Gli autori sottolineano che questo risultato fornisce un nuovo strumento per studiare la relazione tra la curvatura sezionale olistica e la curvatura di Ricci nella geometria complessa.

Nel contesto del trasporto ottimale, il lavoro colma il divario tra l'evoluzione geometrica delle metriche e la regolarità delle mappe di trasporto. Dimostrando che il flusso preserva la condizione MTW(0) (in dimensione 2), il saggio offre un metodo canonico per deformare le funzioni di costo al fine di garantire la regolarità, estendendo potenzialmente la teoria della regolarità a funzioni di costo più irregolari (come il costo originale di Monge $|x-y|$) tramite approssimazione.

Gli autori forniscono anche esempi concreti di metriche che soddisfano tali condizioni, inclusa la metrica di Calabi sul dominio a tubo sopra la palla unitaria e metriche su coni, dimostrando che l'assunzione di curvatura anti-bisezione negativa non è vacua. Infine, l'articolo nota che, sebbene i risultati siano robusti per metriche complete, l'estensione a metriche incomplete (comuni nel trasporto ottimale) rimane una questione aperta che richiede appropriate condizioni al contorno.