About Wess-Zumino-Witten equation and Harder-Narasimhan potentials

Sintesi Tecnica: Equazione di Wess-Zumino-Witten e Potenziali di Harder-Narasimhan

Enunciato del Problema
Il lavoro investiga l'esistenza di soluzioni all'equazione di Wess-Zumino-Witten (WZW) su una famiglia polarizzata di varietà proiettive complesse $\pi: X \to B$. Specificamente, per un fibrato in rette relativamente ampio $L$ con prima classe di Chern $[\alpha]$, l'equazione è data da:
$$\alpha^{n+1} \wedge \pi^*\omega_B^{m-1} = 0$$
dove $\omega_B$ è una forma di Kähler sulla base $B$. Sebbene questa equazione sia ben compresa quando $B$ ha un bordo (relazionandosi alle geodetiche di Mabuchi), il caso in cui $B$ è una varietà compatta senza bordo presenta una teoria differente. Il lavoro affronta due domande centrali:

1. Ostruzioni Algebriche: Quali sono le ostruzioni algebriche che governano l'esistenza di soluzioni approssimate all'equazione WZW?
2. Alternative Ottimali: Quando soluzioni esatte o approssimate non esistono, quali sono le "migliori" alternative? Il lavoro mira a costruire successioni di forme che minimizzano il funzionale WZW associato.

Lo studio è motivato dalla generalizzazione dell'equazione di Hermite-Einstein su fibrati vettoriali. Nel caso specifico in cui $X = \mathbb{P}(F^*)$ per un fibrato vettoriale $F$ su $B$, la risolubilità dell'equazione WZW è equivalente all'esistenza di una metrica di Hermite-Einstein su $F$, collegandola alla corrispondenza di Kobayashi-Hitchin. Questo lavoro mira ad estendere tale corrispondenza a fibrazioni non necessariamente associate a fibrati vettoriali.

Metodologia
L'approccio si basa pesantemente sulla quantizzazione geometrica e sull'analisi asintotica dei fasci immagine diretta. La metodologia procede attraverso i seguenti passaggi:

1. Filtrazioni e Potenziali di Harder-Narasimhan: L'autore utilizza la filtrazione di Harder-Narasimhan (HN) dei fasci immagine diretta $E_k = R^0\pi_* L^{\otimes k}$. Un'insight chiave è che queste filtrazioni inducono una filtrazione limitata e submoltiplicativa sull'anello delle sezioni $\bigoplus E_k$ (lontano da un insieme trascurabile).
2. Nuclei di Bergman Ponderati: Il lavoro definisce un "potenziale di Harder-Narasimhan", $HN_k(\omega)$, derivato da un nucleo di Bergman ponderato associato alla filtrazione HN. Quando $k \to \infty$, questi potenziali convergono a una funzione limite $HN(\omega)$, che rappresenta la velocità del raggio geodetico associato alla filtrazione HN.
3. Strutture Critiche Approssimate: Attingendo a risultati di Atiyah-Bott, Daskalopoulos-Wentworth e Sibley, la costruzione utilizza strutture hermitiane critiche $L^1$-approssimate sui fibrati vettoriali $E_k$. Queste strutture sono adattate alla filtrazione HN e servono come punto di partenza per costruire raggi geodetici.
4. Dequantizzazione: Il contributo tecnico centrale coinvolge la "dequantizzazione" di questi raggi geodetici. Costruendo metriche hermitiane specifiche su $E_k$ che rispettano la struttura algebrica del fibrato ad anello $\bigoplus E_k$ (tramite potenze simmetriche e metriche quoziente), l'autore deriva una successione di forme $(1,1)$ $\omega_\epsilon$ su $X$.
5. Equazione Monge-Ampère Ausiliaria: Il lavoro introduce un'equazione ausiliaria:
   $$\omega^{n+1} \wedge \pi^*\omega_B^{m-1} = HN(\omega) \cdot \omega^n \wedge \pi^*\omega_B^m \cdot (n+1)$$
   A differenza dell'equazione WZW, questa equazione ammette soluzioni approssimate per qualsiasi famiglia polarizzata.

Contributi e Risultati Chiave

• Teorema 1.1 (Caratterizzazione Algebrica): Il lavoro stabilisce una formula precisa che lega l'infimo del funzionale WZW a una quantità algebrica derivata dalle pendenze HN. Specificamente:
  $$\text{WZW}(c_1(L) - t\pi^*[\omega_B], \omega_B) = \int_{\mathbb{R}} |x - t| d\eta^{HN}(x) \cdot \int_X c_1(L)^n \pi^*[\omega_B]^m \cdot (n+1)$$
  Qui, $\eta^{HN}$ è il limite debole delle misure di probabilità formate dalle pendenze HN normalizzate di $E_k$. Questo risultato fornisce una caratterizzazione differenziale-geometrica della misura HN e identifica le ostruzioni algebriche (la dispersione di $\eta^{HN}$) all'esistenza di soluzioni.

• Teorema 1.7 (Esistenza di Soluzioni Approssimate): Il principale risultato tecnico è dimostrare che l'equazione Monge-Ampère ausiliaria ammette soluzioni approssimate per ogni $\epsilon > 0$. Queste soluzioni, $\omega_\epsilon$, minimizzano il funzionale WZW e servono come controparti più vicine alle soluzioni vere quando queste ultime non esistono.

• Corollario 1.3 (Corrispondenza di Kobayashi-Hitchin Generalizzata): Il lavoro dimostra che l'esistenza di soluzioni approssimate all'equazione WZW è equivalente alla semistabilità dei dati algebrici sottostanti (specificamente, che $\eta^{HN}$ è una massa di Dirac). Quando specializzato a fibrati vettoriali proiettivizzati, questo recupera una versione della corrispondenza di Kobayashi-Hitchin.

• Corollario 1.5 (Cohomologia Asintotica): Come applicazione, il lavoro dimostra un converse asintotico al teorema di Andreotti-Grauert (congetturato da Demailly) per contesti fibrati dove la base è una curva. Mostra che la successione di forme che minimizza il funzionale WZW satura il limite inferiore dato dalla coomologia asintotica.

• Connessione alle Equazioni del Quoziente di Hessian: Il lavoro discute la relazione tra l'equazione WZW e le equazioni del quoziente di Hessian, notando che mentre l'equazione WZW è degenere (linearizzazione non ellittica), le soluzioni approssimate possono essere correlate alle soluzioni dell'equazione J (un tipo di equazione del quoziente di Hessian) quando la base è una curva.

Significato e Affermazioni
Il lavoro afferma di risolvere la questione delle ostruzioni algebriche per l'equazione WZW nel contesto senza bordo, fornendo una caratterizzazione completa tramite la misura di Harder-Narasimhan. Afferma che le soluzioni approssimate costruite sono ottimali nel senso che minimizzano il funzionale di Yang-Mills associato.

Il significato risiede in:

1. Generalizzazione: Estendere la corrispondenza di Kobayashi-Hitchin oltre i fibrati vettoriali fino a fibrazioni generali.
2. Nuova Equazione: Introdurre e risolvere un'equazione di tipo Monge-Ampère ausiliaria che generalizza l'equazione WZW incorporando il nucleo di Bergman ponderato della filtrazione HN.
3. Innovazione Metodologica: Dimostrare che la quantizzazione geometrica, specificamente la dequantizzazione dei raggi geodetici associati a strutture critiche $L^1$-approssimate, può essere utilizzata per costruire soluzioni a PDE geometriche degenerate dove i metodi di continuità tradizionali o i flussi geometrici potrebbero non applicarsi direttamente.

L'autore nota che i risultati sono più robusti quando la base $B$ è una curva (dimensione 1), dove la relazione tra il funzionale WZW e i funzionali Monge-Ampère assoluti è diretta. Per basi di dimensione superiore, le tecniche per studiare il funzionale WZW si rompono al di fuori del contesto relativamente ampio, e l'esistenza di soluzioni esplicite all'equazione ausiliaria rimane una questione aperta riguardo alla regolarità. Il lavoro non afferma di risolvere la congettura generale di Demailly per tutti i casi, ma piuttosto fornisce una dimostrazione per il caso fibrato su curve.