Transcendental b-divisors II -- Monotonicity theorem

Titolo: Divisori B-Trascendentali II — Teorema di Monotonia

1. Problema e Motivazione

Il lavoro si inserisce nel contesto della geometria complessa e della teoria dei potenziali plurisubarmonici su varietà di Kähler compatte. Il problema centrale affrontato è la quantificazione della perdita di massa (o volume) quando si confrontano correnti positive $(1,1)$ con diverse singolarità.

• Contesto: Esiste un noto teorema di monotonia (Witt Nyström, Darvas-Xia) che afferma che se $T_1, \dots, T_n$ e $S_1, \dots, S_n$ sono correnti positive $(1,1)$ nella stessa classe di coomologia, e le $T_i$ sono "più singolari" delle $S_i$, allora il volume misto delle $S_i$ è maggiore o uguale a quello delle $T_i$:
  $$\text{vol}(S_1, \dots, S_n) \geq \text{vol}(T_1, \dots, T_n)$$
• Il Gap: Sebbene l'ineguaglianza sia nota, la letteratura precedente (es. lavori di Vu, Su) non forniva un controllo quantitativo o ottimale sulla differenza tra i volumi. Le stime esistenti erano spesso non ottimali e dipendevano da costanti non esplicite o da metodi basati su prodotti non pluripolari relativi e correnti di densità.
• Obiettivo: L'autore mira a rendere precisa l'intuizione secondo cui "maggiore è la singolarità, maggiore è la perdita di massa", esprimendo la differenza di volume in termini dei numeri di Lelong delle correnti coinvolte.

2. Metodologia

L'approccio innovativo di Xia si basa sullo sviluppo e l'estensione della teoria dell'intersezione dei divisori B nef (nef b-divisors), un quadro teorico introdotto nel suo lavoro precedente [Xia25b] e sviluppato in collaborazione con altri (es. [DF22]).

• Teoria dei Divisori B: Invece di lavorare direttamente con le correnti sulla varietà $X$, l'autore utilizza i divisori B, che sono famiglie compatte di classi di coomologia su tutte le modificazioni (blow-up) di $X$. Questo permette di "risolvere" le singolarità in modo sistematico.
• Intersezione Generalizzata: Viene sviluppata una teoria di intersezione completa per i divisori B nef. A differenza dell'intersezione mobile classica (che è non lineare), l'intersezione sui divisori B è lineare. La non linearità è codificata nella mappa che associa una classe pseudoeffettiva al suo divisore B nef associato.
• Volume Restretto (Restricted Volume): Viene introdotto un nuovo concetto di "volume ristretto" per i divisori B rispetto a un divisore primo. Questo strumento permette di misurare la massa "persa" lungo specifici divisori eccezionali.
• Corpi di Okounkov Trascendentali: Per ottenere stime ottimali, l'autore utilizza recenti sviluppi sulla teoria dei corpi di Okounkov trascendentali, collegando la geometria complessa alla geometria convessa.

3. Contributi Chiave e Risultati Principali

A. Teoria dell'Intersezione dei Divisori B (Teorema A)

L'autore estende la teoria dell'intersezione ai divisori B trascendentali:

1. Definisce una mappa multilineare che associa a $p$ divisori B nef una classe B nef di intersezione.
2. Dimostra che questa teoria generalizza l'intersezione mobile classica: il prodotto di intersezione di divisori B associati a classi pseudoeffettive $\alpha_i$ coincide con l'intersezione mobile $\langle \alpha_1 \wedge \dots \wedge \alpha_p \rangle$.
3. Mostra che l'intersezione può essere recuperata come limite di intersezioni su modificazioni.
4. Collega l'intersezione B al prodotto non pluripolare di correnti: se $T_i$ sono correnti "I-good", l'intersezione dei loro divisori B associati restituisce la classe di coomologia del prodotto non pluripolare $\{T_1 \wedge \dots \wedge T_p\}$.

B. Teorema di Monotonia Quantitativa (Teorema B)

Questo è il risultato centrale del paper. Fornisce una disuguaglianza che quantifica la differenza di volume in termini di numeri di Lelong:
Siano $D_1, \dots, D_p$ divisori B nef e $T, T'$ correnti nella stessa classe con $T \preceq_I T'$ (le singolarità di $T$ dominano quelle di $T'$). Allora:
$$D_1 \cap \dots \cap D_p \cap D(T') - D_1 \cap \dots \cap D_p \cap D(T) \geq \sum_{D/X} (\nu(T, D) - \nu(T', D)) \cdot \text{vol}_{|D}(D_1, \dots, D_p)$$
Dove:

• La somma è estesa a tutti i divisori primi sopra $X$.
• $\nu(T, D)$ è il numero di Lelong generico di $T$ lungo $D$.
• $\text{vol}_{|D}$ è il volume ristretto dei divisori B.
• Eguaglianza: Se i $D_i$ sono Cartier, la disuguaglianza diventa un'uguaglianza.

Questo risultato risolve il problema della quantificazione della perdita di massa in modo ottimale, superando i limiti delle stime precedenti.

C. Stime di Perdita di Massa (Teorema C e Corollari)

Applicando il teorema principale, l'autore ottiene nuove disuguaglianze per i volumi di correnti e classi di coomologia.

• Viene fornita una stima esplicita per la differenza $\text{vol}(S) - \text{vol}(T)$ in una classe grande $\alpha$:
  $$\text{vol}(S) - \text{vol}(T) \geq (\nu(T, D) - \nu(S, D))^n \cdot \frac{\text{vol}(S)}{(\nu_{\max}(\alpha, D) - \nu(\alpha, D))^n}$$
• Importanza: A differenza della letteratura precedente, questa stima include costanti esplicite e ottimali. L'autore dimostra che il fattore di scala non può essere una costante universale, ma dipende dalla "larghezza" (width) della classe $\alpha$ rispetto al divisore $D$.

D. Caso Torico e Formula di Minkowski (Sezione 7)

Nel caso torico, l'autore dimostra che il suo teorema di monotonia si riduce esattamente alla formula del volume di Minkowski per i corpi convessi (Aleksandrov-Fenchel-Jessen).

• La differenza di volumi misti di corpi convessi $P_1, \dots, P_{n-1}, Q'$ e $Q$ (con $Q' \supseteq Q$) è espressa come un integrale della differenza delle funzioni di supporto rispetto alla misura di area mista.
• Questo collega la teoria dei divisori B alla geometria convessa classica, fornendo una nuova costruzione delle misure di area mista.

E. Uguaglianza e Disuguaglianza di Morse (Teorema D)

Sotto l'ipotesi della congettura di Morse trascendentale (nota per varietà proiettive e per $n=1,2$), l'autore dimostra che la disuguaglianza di monotonia diventa un'uguaglianza esatta.

• Per le curve di Riemann ($n=1$), si ottiene una formula elegante: la perdita di volume è esattamente la somma delle differenze dei numeri di Lelong sui punti.
  $$\text{vol}(T') - \text{vol}(T) = \sum_{x \in X} (\nu(T, x) - \nu(T', x))$$

4. Significato e Impatto

1. Ottimalità delle Stime: Il lavoro fornisce le prime stime quantitative ottimali per la perdita di massa di correnti positive, con costanti esplicite che dipendono dalla geometria della classe di coomologia.
2. Unificazione Teorica: Collega in modo profondo la teoria dei divisori B, la teoria dei potenziali plurisubarmonici (correnti) e la geometria convessa (corpi di Okounkov e formule di Minkowski).
3. Nuovi Strumenti: L'introduzione del "volume ristretto" per i divisori B e la generalizzazione della teoria dell'intersezione offrono strumenti potenti per studiare le singolarità delle correnti e le disuguaglianze di volume in geometria complessa.
4. Applicazioni Future: I risultati suggeriscono nuove direzioni per lo studio delle misure di Monge-Ampère, la convergenza dei kernel di Bergman parziali e potenziali applicazioni nei sistemi dinamici complessi (tramite l'interpretazione dei limiti come misure su spazi di Berkovich).

In sintesi, il paper rappresenta un avanzamento significativo nella comprensione quantitativa delle singolarità nelle varietà di Kähler, trasformando un principio qualitativo (monotonia) in uno strumento analitico preciso e potente.