An improvement of regularity result for pseudo Calabi flow

1. Il Problema e il Contesto

Lo studio delle metriche a curvatura scalare costante (cscK) in geometria Kähler è un tema centrale, spesso affrontato tramite flussi geometrici. Il flusso di Calabi classico è un'equazione parabolica del quarto ordine, non lineare e completamente non lineare, la cui analisi è estremamente difficile. Le stime a priori sviluppate per l'equazione ellittica corrispondente (da Chen e Cheng) non si applicano direttamente al flusso.

Per ovviare a queste difficoltà, Chen e Zheng hanno introdotto il flusso pseudo-Calabi (PCF), formalmente un'equazione del secondo ordine:
$$\partial_t \phi = \Delta_\phi^{-1} (R - R(\omega_\phi))$$
dove $\omega_\phi = \omega_0 + \sqrt{-1}\partial\bar{\partial}\phi$. Sebbene sia di ordine inferiore, l'analisi del PCF presenta ancora ostacoli significativi, in particolare la mancanza di stime $C^{0,\alpha}$ per l'equazione di Monge-Ampère complessa linearizzata (analoga a quella reale dimostrata da Caffarelli-Gutiérrez).

Il problema aperto affrontato in questo lavoro è:

1. Migliorare i risultati di regolarità per il PCF partendo da dati iniziali meno regolari (in particolare, dove la forma di volume è solo $C^0$ vicina a una forma liscia).
2. Stabilire l'esistenza globale ($t \in [0, +\infty)$) e la convergenza del flusso quando il dato iniziale è una piccola perturbazione di una metrica cscK, misurata in termini di rapporto delle forme di volume ($C^0$).

2. Metodologia e Strumenti Tecnici

Gli autori sviluppano una serie di stime a priori sofisticate, estendendo le tecniche ellittiche di Chen-Cheng al contesto parabolico. La strategia si articola in diverse fasi:

• Riformulazione del Flusso: Il flusso viene riscritto in termini di $F = \log(\omega_\phi^n / \omega_0^n)$ e di una funzione ausiliaria $P$ definita da $\Delta_\phi P = R - \text{tr}_{\omega_\phi}(\text{Ric}(\omega_0))$ con normalizzazione $\int P \omega_\phi^n = 0$. L'equazione diventa $\partial_t \phi = F + P$.
• Stime $C^0$ (Sezione 3):
  • Vengono dimostrate stime uniformi per $P$ e $F$ basate sulla limitatezza del rapporto delle forme di volume.
  • Si utilizza il principio del massimo di Aleksandrov-Bakelman-Pucci (ABP) parabolico per controllare $P$ e $F$.
  • Si dimostra che se il rapporto delle forme di volume è inizialmente vicino a 1 (in norma $C^0$), allora $F$ e $P$ rimangono limitati per un tempo finito, permettendo di estendere la soluzione.
• Stime di Ordine Superiore (Sezione 4):
  • Il cuore della novità risiede nella dimostrazione che la regolarità $C^{k,\alpha}$ del potenziale $\phi$ segue dalla limitatezza di $F$ in spazi di Sobolev $W^{1,p}$.
  • Viene introdotto un concetto chiave: se $P$ è $\delta^*$-vicino a una funzione continua (nel senso della Definizione 4.3), allora si possono ottenere stime $L^p$ per $\nabla_\phi F$.
  • Vengono costruite disuguaglianze differenziali per quantità come $e^H(|\nabla \phi|^2 + K)$ e $e^H(n + \Delta \phi)$, dove $H$ è una funzione ausiliaria scelta strategicamente per assorbire i termini negativi.
  • Si utilizzano tecniche di mollificazione geodetica per approssimare $P$ con funzioni lisce, permettendo di stimare i gradienti.
• Stabilità e Continuità (Sezione 5 e 6):
  • Si dimostra che piccole perturbazioni nella forma di volume iniziale ($C^0$) portano a soluzioni che rimangono vicine nella topologia liscia dopo un tempo breve.
  • Nel caso di varietà Kähler-Einstein, si sfrutta la connessione tra PCF e flusso di Ricci-Kähler normalizzato.

3. Risultati Chiave e Teoremi Principali

Proposizione 1.1 (Miglioramento della Regolarità):
Se il dato iniziale $\phi_0$ è tale che il rapporto delle forme di volume $\omega_{\phi_0}^n / \omega_0^n$ è $C^0$-vicino a 1 (in particolare, $|\log(\omega_{\phi_0}^n / \omega_0^n)|_0 \le \epsilon_0$), allora:

1. Il flusso esiste per un tempo $T_0 > 0$.
2. Per ogni $\epsilon_1 > 0$, tutte le derivate della soluzione sono limitate su $M \times (\epsilon_1, T_0]$.
   Questo significa che il flusso diventa istantaneamente liscio ($C^\infty$) per $t > 0$, anche se il dato iniziale non è liscio, purché la forma di volume sia sufficientemente vicina a quella di riferimento.

Teorema 1.2 (Esistenza Globale vicino a cscK):
Sia $(M, \omega_0)$ una varietà cscK. Esiste una costante $\epsilon_0 > 0$ tale che se il dato iniziale $\omega$ appartiene alla classe $[\omega_0]$ e soddisfa:
$$1 - \epsilon_0 \le \frac{\omega^n}{\omega_0^n} \le 1 + \epsilon_0$$
allora il flusso pseudo-Calabi esiste per tutto $t \in [0, +\infty)$ e converge esponenzialmente a una metrica cscK (potenzialmente diversa da $\omega_0$) quando $t \to \infty$.
Nota: La condizione è solo sulla forma di volume in norma $C^0$, non sulla regolarità del potenziale iniziale.

Teorema 1.3 (Caso Kähler-Einstein):
Se $(M, J, \omega_0)$ è una varietà Kähler-Einstein con gruppo di automorfismi olomorfi banale ($Aut_0(M, J) = 0$), allora per qualsiasi classe di Kähler sufficientemente vicina a $[\omega_0]$ e per qualsiasi metrica in quella classe con rapporto di volume limitato ($1/\Gamma \le \omega^n/\omega_0^n \le \Gamma$), il flusso esiste globalmente e converge a una metrica cscK.
In questo caso, non è necessaria la vicinanza $C^0$ della forma di volume, ma solo la vicinanza della classe di coomologia e la limitatezza del rapporto di volume.

4. Contributi Tecnici Specifici

1. Estensione delle stime di Chen-Cheng: Gli autori riescono a adattare le stime ellittiche per l'equazione di Monge-Ampère al contesto parabolico del PCF, superando la mancanza di stime $C^{0,\alpha}$ dirette per la versione complessa linearizzata.
2. Condizione di Regolarità su $P$: L'introduzione della condizione che $P$ sia "vicino a una funzione continua" (Definizione 4.3) permette di chiudere le stime $W^{1,p}$ per il volume, che sono il prerequisito per le stime $C^{2,\alpha}$ del potenziale (tramite il teorema di Chen-He).
3. Indipendenza dalla Regolarità Iniziale: Il risultato mostra che la regolarità $C^\infty$ per $t>0$ è garantita dalla sola condizione geometrica sulla forma di volume iniziale, rendendo il risultato molto più robusto rispetto ai teoremi di esistenza locale precedenti che richiedevano dati iniziali lisci o in spazi di Hölder elevati.

5. Significato e Impatto

Questo lavoro rappresenta un passo significativo verso la comprensione della dinamica a lungo termine del flusso pseudo-Calabi.

• Riduzione delle Ipotesi: Dimostra che per garantire l'esistenza globale e la convergenza, non è necessario partire da dati iniziali lisci o vicini a una metrica cscK in topologie forti (come $C^{2,\alpha}$), ma è sufficiente una condizione debole sulla forma di volume ($C^0$).
• Connessione con la Geometria: Il teorema 1.3 collega la stabilità del flusso pseudo-Calabi alla struttura della varietà Kähler-Einstein, mostrando che la vicinanza alla classe canonica e la limitatezza del volume sono condizioni sufficienti per la convergenza.
• Strumento per Futuri Studi: Le tecniche di stima sviluppate, in particolare l'uso combinato del principio ABP parabolico e delle stime di Sobolev per il volume, offrono nuovi strumenti per analizzare altri flussi geometrici di ordine superiore o non lineari in geometria complessa.

In sintesi, Cheng e Tian dimostrano che il flusso pseudo-Calabi è "immediatamente regolarizzante" e globalmente stabile sotto perturbazioni deboli della forma di volume, fornendo una base solida per l'approccio variazionale alla ricerca di metriche cscK.