Monge-Ampère-type equation for forms of positive degree and Demailly's transcendental Morse inequality

Sintesi Tecnica: Equazione di tipo Monge-Ampère per forme di grado positivo e la disuguaglianza di Morse trascendentale di Demailly

Enunciato del Problema
Il saggio affronta la solubilità di un'equazione di tipo Monge-Ampère per forme di grado positivo su una varietà Kähler compatta $(M, \omega)$ di dimensione $n$. Questa equazione è stata originariamente introdotta da Dinew e Popovici per stabilire la parte qualitativa di una versione analitica della disuguaglianza di Morse trascendentale di Demailly per classi di coomologia superiore (specificamente per forme $(m, m)$ dove $1 < m \leq n$).

La difficoltà principale risiede nelle condizioni di fissaggio del gauge richieste per risolvere l'equazione. La formulazione originale di Dinew e Popovici imponeva la condizione $\Lambda^{m-2}\Delta u = 0$ (dove $\Lambda$ è l'operatore di traccia e $\Delta$ è il Laplaciano) insieme alle condizioni di kernel $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$. L'autore dimostra che questa specifica condizione di traccia è analiticamente "troppo rigida", forzando la soluzione a essere banale (forme di volume costanti) e, di conseguenza, fallendo nel produrre soluzioni per generiche forme di volume $dV$. Di conseguenza, la prova incondizionata della disuguaglianza di Morse rimaneva elusiva.

Metodologia
Per risolvere la rigidità dell'originale gauge, il saggio introduce una condizione di fissaggio del gauge generalizzata parametrizzata da due costanti reali, $a$ e $b$, che soddisfano il vincolo $a + nb = m - n - 2$. La nuova condizione è:
$$(m-1)\Lambda^{m-2}\Delta u = (1+a)i\partial\bar{\partial}\Lambda^{m-1}u + (1+b)\Lambda^{m-1}\Delta u \, \omega$$
Ciò conduce all'equazione di tipo Monge-Ampère $(a, b)$, che riduce il sistema originale a un'equazione scalare che coinvolge una funzione $f$ (la primitiva di ordine inferiore di $u$):
$$\left( \star_\omega(\alpha \wedge \omega^{n-m-1}) + \frac{n!}{(n-m+1)!} [a i\partial\bar{\partial}f + b \Delta f \, \omega] \right)^n = dV$$

La metodologia procede in tre fasi principali:

1. Analisi dell'Unicità: Il saggio analizza innanzitutto la condizione di kernel $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$. Decomponendo $u$ nelle sue coordinate primitive $\psi_k$ e utilizzando le relazioni di commutazione della metrica Kähler, l'autore deriva una cascata di relazioni tra queste primitive. Questa analisi prova che la condizione originale $\Lambda^{m-2}\Delta u = 0$ implica $\Delta f = 0$ e $\Delta \psi_1 = 0$, rendendo l'equazione insolubile per $dV$ non banali. Al contrario, sotto il nuovo gauge, viene stabilito un teorema di unicità più forte: le soluzioni sono uniche a meno di costanti e forme armoniche, a condizione che la differenza delle primitive soddisfi specifiche condizioni di $\bar{\partial}^*$-esattezza o chiusura.
2. Stime A Priori: L'autore deriva stime del secondo ordine e del gradiente per l'equazione generalizzata. L'analisi è suddivisa in due regimi parametrici:
   • Regime 1 ($a+b \geq 0, b \geq 0$ oppure $a+b \leq 0, b \leq 0$): In questo intervallo, l'equazione è incondizionatamente solubile. L'autore impiega il principio di massimo su una funzione di test che coinvolge il più grande autovalore dell'Hessiano e stime del gradiente per stabilire vincoli $C^2$.
   • Regime 2 ($a+b < 0, b > 0$ oppure $a+b > 0, b < 0$): In questo caso, l'equazione è condizionatamente solubile. L'autore introduce un metodo di percorso di continuità. Una sfida critica è mantenere l'ellitticità uniforme, che dipende dal numero di condizionamento $\kappa(\tilde{g})$ della metrica. Assumendo che i dati di background $X$ soddisfino un vincolo sul numero di condizionamento $\kappa(X) < |a|/(n|b|)$, e utilizzando un teorema del funzione implicita quantitativo (principio di contrazione), l'autore mostra che per perturbazioni sufficientemente piccole del termine a destra, la soluzione rimane all'interno di un cono di metriche uniformemente ellittiche.
3. Esistenza e Convergenza: Utilizzando la teoria di Evans-Krylov e le stime di Schauder, vengono stabiliti i vincoli $C^\infty$. Gli argomenti di insieme aperto e chiuso (tramite il teorema della funzione inversa e il teorema di Arzelà-Ascoli) vengono applicati al percorso di continuità per provare l'esistenza delle soluzioni.

Contributi Chiave e Risultati

• Risoluzione della Rigidità: Il saggio prova che l'originale condizione di traccia del Laplaciano $\Lambda^{m-2}\Delta u = 0$ è incompatibile con l'esistenza di soluzioni per generiche forme di volume.
• Gauge Generalizzato: L'introduzione del gauge di fissaggio $(a, b)$ fornisce un quadro flessibile che ammette soluzioni.
• Solvibilità Incondizionata (Regime 1): Per specifici regimi parametrici, il saggio prova l'esistenza di una soluzione unica (a meno di costanti) per qualsiasi forma di volume smooth $dV$.
• Solvibilità Condizionata (Regime 2): Per altri regimi, le soluzioni esistono a condizione che la forma di volume target sia sufficientemente vicina (in norma $C^{0,\gamma}$) al determinante di background, soggetta a un vincolo sul numero di condizionamento della metrica di background.
• Unicità Rafforzata: Sotto la condizione di kernel, il saggio stabilisce che le coordinate primitive di ordine inferiore della soluzione sono uniche a meno di forme armoniche, un risultato più forte di quanto precedentemente noto.
• Prova della Disuguaglianza di Demailly: Impostando $b=0$ e $a=m-n-2$ (che rientra nel Regime 1), il framework si riduce al contesto classico dell'equazione di Monge-Ampère complessa. Ciò consente la prova incondizionata della parte qualitativa della disuguaglianza di Morse trascendentale di Demailly per classi di coomologia superiore. Nello specifico, se la soglia del volume integrale è soddisfatta, la classe di coomologia $[(\alpha\omega)^m - \beta]$ contiene una corrente strettamente positiva.

Significato
Il saggio sostiene di rimuovere l'assunzione condizionata riguardante la solubilità dell'equazione di tipo Monge-Ampère che era necessaria nel lavoro di Dinew e Popovici. Dimostrando che l'equazione è solubile sotto un gauge più ampio e analiticamente praticabile, il saggio fornisce una prova incondizionata della disuguaglianza di Morse trascendentale qualitativa di Demailly per classi di coomologia superiore. Questo risultato è significativo per la geometria complessa poiché estende la dualità tra il cono pseudo-effettivo e il cono delle classi mobili dalle varietà proiettive alle generali varietà Kähler compatte per forme di grado superiore.

Il saggio rimane modesto riguardo ai risultati del "Regime 2", osservando che l'assunzione di dati piccoli ($|dV - \log \det X| < \epsilon$) è attualmente necessaria per garantire l'ellitticità uniforme. L'autore identifica la rimozione di tale assunzione come una questione aperta, suggerendo che gli argomenti standard del principio di massimo sull'inverso del più piccolo autovalore siano insufficienti e che siano necessarie nuove proprietà strutturali della PDE.