Lower bounds on fibered Yang-Mills functionals: generic nefness and semistability of direct images

1. Il Problema e il Contesto

Il lavoro si colloca all'intersezione tra geometria complessa, teoria di Yang-Mills e geometria algebrica. L'obiettivo principale è generalizzare la relazione nota tra la curvatura media (mean curvature) e le filtrazioni di Harder-Narasimhan dei fibrati vettoriali olomorfi, estendendola a fibrati polarizzati arbitrari (famiglie di varietà proiettive complesse).

In particolare, lo studio si concentra su:

• Una submersione olomorfa $\pi: X \to B$ tra varietà complesse compatte.
• Un fibrato in rette $L$ su $X$, relativamente ampio rispetto a $\pi$.
• La relazione tra invarianti differenziali-geometrici (definiti tramite metriche Hermitiane e forme di Gauduchon sulla base $B$) e invarianti algebrici (pendii di Harder-Narasimhan dei fasci immagine diretta $E_k := R^0\pi_* L^k$).

Il problema centrale è comprendere come l'esistenza di metriche "fibrali di Einstein" (o approssimazioni di esse) su $L$ influenzi la stabilità asintotica dei fasci immagine diretta $E_k$ al crescere dell'indice $k$, e viceversa.

2. Metodologia

L'approccio adottato dall'autore si basa su un limite semiclassico ($k \to \infty$) e sull'uso di strumenti analitici sofisticati:

• Limite Semiclassico: L'idea fondamentale è che l'equazione di Einstein fibrale per $L$ corrisponda al limite semiclassico dell'equazione di Hermite-Einstein per i fasci immagine diretta $E_k = R^0\pi_* L^k$. Questo collegamento è stabilito sfruttando i risultati di Ma-Zhang sull'espansione asintotica delle metriche $L^2$ sui fasci immagine.
• Operatori di Toeplitz: Vengono utilizzati gli operatori di Toeplitz per collegare la curvatura orizzontale della metrica su $L$ alla curvatura dei fasci vettoriali $E_k$. In particolare, la curvatura orizzontale media di $L$ emerge come il termine principale nell'espansione asintotica della curvatura di $E_k$.
• Teoria di Yang-Mills Hermitiana: Si applicano i risultati classici di Atiyah-Bott, Donaldson e Daskalopoulos-Wentworth sui funzionali di Yang-Mills Hermitiani. L'autore dimostra che i limiti inferiori per i funzionali di Yang-Mills su $E_k$ (in termini dei loro pendii di Harder-Narasimhan) si trasferiscono, tramite il limite $k \to \infty$, a limiti inferiori per i funzionali di Yang-Mills fibrali definiti su $X$.
• Cohomologia di Bott-Chern e Aeppli: Per gestire il caso di spazi analitici complessi singolari (necessario per le sottovarietà $Y \subset X$), l'autore utilizza la coomologia di Bott-Chern e Aeppli, estendendo il teorema di Riemann-Roch-Grothendieck in questo contesto.
• Strumenti Algebrici: Vengono impiegate la teoria dei fasci coerenti, le filtrazioni di Harder-Narasimhan e il teorema di vanishing di Serre per analizzare il comportamento asintotico dei pendii.

3. Contributi Chiave e Risultati Principali

A. Limiti Inferiori per i Funzionali di Yang-Mills Fibrali (Teorema 1.7)

L'autore definisce un funzionale di Yang-Mills fibrale $FYM_{p,c}(\pi, \omega)$ basato sulla curvatura media orizzontale $\wedge_{\omega_B} \omega_H$.
Il risultato centrale stabilisce che i limiti inferiori di questi funzionali sono controllati dalla distribuzione asintotica dei pendii di Harder-Narasimhan dei fasci $E_k$.
Nello specifico, se $\eta^{HN}$ è la misura di probabilità limite dei pendii normalizzati $\mu_i^k/k$, allora:
$$\inf_{x \in X} \wedge_{\omega_B} \omega_H(x) \leq \eta^{HN}_{\min}$$
$$\sup_{x \in X} \wedge_{\omega_B} \omega_H(x) \geq \eta^{HN}_{\max}$$
Inoltre, per $p \in [1, +\infty[$, il valore del funzionale è limitato inferiormente dall'integrale della funzione $|x-c|^p$ rispetto alla misura $\eta^{HN}$.

B. Stabilità Asintotica e Semistabilità Numerica (Teoremi 1.1 e 1.3)

• Teorema 1.1: Se $L$ ammette una metrica di Einstein fibrale approssimata, allora i fasci immagine diretta $E_k$ sono asintoticamente semistabili (i pendii massimi e minimi convergono allo stesso valore normalizzato).
• Teorema 1.3: La semistabilità asintotica di $E_k$ implica che lo spazio totale $X$ è numericamente semistabile rispetto a $L$. In particolare, per ogni sottospazio analitico irriducibile $Y \subset X$ che proietta suriettivamente su $B$, il pendio numerico $\mu(Y)$ soddisfa $\mu(Y) \geq \mu(X)$. Se $\dim B = 1$, questa condizione è anche necessaria.

C. Caratterizzazione Analitica della Nefness Generica Fibrale (Teorema 1.12)

Un risultato significativo è la caratterizzazione analitica della nefness generica fibrale (generic fibered nefness).
Il Teorema 1.12 stabilisce un'equivalenza tra:

1. La proprietà algebrica: $L$ è "stabilmente genericamente nef fibrale" rispetto a una multipolarizzazione su $B$.
2. La proprietà analitica: Per ogni $\epsilon > 0$, esiste una metrica Hermitiana $h_\epsilon$ su $L$ tale che la sua curvatura, quando contratta con le forme di polarizzazione sulla base, è maggiorata da $-\epsilon$ (in senso di forme di volume).
   Questo fornisce un "dizionario" preciso tra definizioni algebriche e analitiche di positività in contesti fibrati.

D. Congettura sui Limiti Ottimali

L'autore formula una congettura (parzialmente dimostrata per $p=1$ e per casi specifici come fibrati proiettivi) secondo cui i limiti inferiori ottenuti sono ottimali. Cioè, l'inferno dei funzionali di Yang-Mills su tutte le metriche possibili coincide esattamente con l'integrale rispetto alla misura limite $\eta^{HN}$.

4. Significato e Impatto

Questo lavoro è di fondamentale importanza per diversi motivi:

1. Unificazione di Geometria Differenziale e Algebrica: Fornisce un ponte rigoroso tra l'esistenza di metriche con curvatura costante (o quasi costante) in geometria complessa e la stabilità algebrica dei fasci immagine diretta, generalizzando risultati noti per fibrati vettoriali su curve o varietà Kähleriane.
2. Ostacoli Numerici: Offre nuovi ostacoli numerici per l'esistenza di metriche con curvatura media orizzontale costante. Se un fibrato non soddisfa le condizioni di semistabilità numerica (Teorema 1.3), non può ammettere metriche di Einstein fibrali approssimate.
3. Generalizzazione: Estende la teoria oltre il caso delle varietà Kähleriane e dei fibrati vettoriali su curve, trattando fibrati su varietà complesse compatte con forme di Gauduchon e spazi analitici singolari.
4. Applicazioni Future: I risultati suggeriscono che la prova della congettura di ottimalità potrebbe richiedere metodi di flussi geometrici o metodi di continuità, collegando questo lavoro a ricerche recenti su equazioni di Monge-Ampère e Hessian.

In sintesi, il paper di Finski stabilisce una teoria coerente per lo studio della stabilità e della positività in famiglie di varietà complesse, utilizzando il limite semiclassico degli operatori di Toeplitz e della teoria di Yang-Mills come strumento unificante.