Kodaira-Iitaka dimension and multiplicity: an analytic perspective

1. Problema e Contesto

Il lavoro si colloca nell'ambito della geometria complessa e della teoria delle serie lineari su varietà proiettive complesse. L'obiettivo principale è fornire una comprensione analitica di due invarianti fondamentali associati a una serie lineare graduata $W \subset R(X, L)$ (dove $X$ è una varietà proiettiva e $L$ un fibrato lineare olomorfo):

1. La dimensione di Kodaira-Iitaka $\kappa(W)$.
2. La molteplicità (o volume asintotico) $\text{vol}_{\kappa}(W)$.

Tradizionalmente, questi invarianti sono studiati attraverso metodi algebrici (ad esempio, utilizzando i corpi di Okounkov o teoremi di approssimazione di Fujita). Finski mira a riformulare e raffinare queste quantità utilizzando strumenti di teoria del potenziale plurisubarmonica (psh), in particolare attraverso l'analisi di involucri (envelopes) di metriche singolari e la teoria dell'intersezione non-pluripolare.

2. Metodologia

L'autore impiega una combinazione di tecniche avanzate di analisi complessa e geometria algebrica:

• Involucri di Metriche (Plurisubharmonic Envelopes): Si definisce una metrica singolare $P[W, h_L]$ associata alla serie lineare $W$ e a una metrica continua $h_L$ su $L$. Questa metrica è costruita come il limite asintotico delle metriche di Fubini-Study associate alle norme sup su $W_k$.
• Teoria dell'Intersezione Non-Pluripolare: Si utilizzano prodotti di correnti positive chiuse $(1,1)$ nel senso non-pluripolare (secondo Boucksom-Dinew-Lu) per definire misure di volume che ignorano gli insiemi pluripolari.
• Approssimazione di Fujita: Si ricorre al teorema di approssimazione di Kaveh-Khovanskii per collegare le serie lineari arbitrarie a serie generate da spazi vettoriali finiti (o fibrati amples su spazi singolari risolti).
• Analisi Asintotica dei Nuclei di Bergman: Si studia il comportamento asintotico dei nuclei di Bergman parziali e delle sfere unitarie definite dalle norme sup, confrontandoli con energie di tipo Monge-Ampère.
• Risoluzione delle Indeterminazioni: Si utilizzano risoluzioni birazionali per mappare la varietà $X$ su spazi proiettivi associati alla serie lineare, permettendo di trasferire problemi analitici su varietà singolari a contesti più gestibili.

3. Contributi Chiave e Risultati Principali

A. Formule Analitiche per Dimensione e Molteplicità

Il paper stabilisce formule che esprimono $\kappa(W)$ e $\text{vol}_{\kappa}(W)$ in termini di correnti di Chern associate all'involucro psh $P[W, h_L]$:

• Teorema 1.1 (Dimensione): La dimensione di Kodaira-Iitaka è il massimo intero $i$ tale che la potenza $i$-esima della corrente di Chern associata all'involucro non sia nulla:
  $$\kappa(W) = \max \{ i \in \{0, \dots, n\} : c_1(L, P[W, h_L])^i \wedge \omega^{n-i} \neq 0 \}$$
• Teorema 1.3 (Molteplicità): La molteplicità è data dall'integrale di questa corrente sulla varietà, normalizzato per un fattore geometrico legato alla fibra della mappa razionale:
  $$\text{vol}_{\kappa}(W) = \frac{1}{\phi^*[\omega]^{n-\kappa(W)}} \int_X c_1(L, P[W, h_L])^{\kappa(W)} \wedge \omega^{n-\kappa(W)}$$
  Questo generalizza i risultati noti di Boucksom per fibrati "big" a serie lineari arbitrarie.

B. Raffinamento Metrico: Rapporto dei Volumi

Il lavoro fornisce una versione "metrica" delle formule precedenti, calcolando il rapporto asintotico dei volumi delle sfere unitarie definite da due metriche continue diverse $h_L^0$ e $h_L^1$:

• Teorema 1.7: Il limite del rapporto logaritmico dei volumi è uguale alla differenza delle energie relative di Monge-Ampère $\kappa$ ($E_\kappa$) associate agli involucri delle due metriche. Questo collega la geometria asintotica delle norme alle energie variazionali nello spazio delle metriche.

C. Raffinamento Puntuale: Nuclei di Bergman Parziali

L'autore indaga la convergenza debole dei nuclei di Bergman parziali associati a misure di Bernstein-Markov.

• Risultato Contrintuitivo (Sez. 5.1): Viene costruito un controesempio esplicito che mostra come, per serie lineari non birazionali, i nuclei di Bergman parziali non convergano debolmente verso la misura di equilibrio attesa. Questo è legato alla non-differenziabilità dell'energia di Monge-Ampère $\kappa$ in certe direzioni.
• Teorema 1.9: Tuttavia, se si proietta la misura attraverso una mappa $\rho$ che fattorizza le mappe razionali della serie lineare (ad esempio, la mappa di Kodaira-Iitaka stessa), allora la convergenza debole vale. La misura limite è data dalla proiezione della corrente di Chern non-pluripolare.

D. Nuovi Invarianti Numerici e Chiusura

• Dimensione Numerica Non-Pluripolare: Viene introdotta una nuova dimensione numerica $\kappa_{np}(L)$ basata sulle correnti con singolarità minime. Si dimostra che $\kappa(L) \leq \kappa_{np}(L) \leq \kappa_{mov}(L)$ (dove $\kappa_{mov}$ è la dimensione basata sul prodotto di intersezione mobile).
• Chiusura Analitica: Viene definita la "chiusura analitica" $\widetilde{W}$ di una serie lineare $W$ basata sull'involucro psh. Si dimostra che la chiusura analitica contiene la chiusura integrale algebrica e che condividono la stessa dimensione di Kodaira-Iitaka, ma la molteplicità può differire per un fattore di grado generico.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Ponte tra Algebra e Analisi: Fornisce una descrizione puramente analitica (basata su metriche singolari e correnti) di invarianti algebrici classici, offrendo nuovi strumenti per lo studio delle serie lineari su fibrati non necessariamente "big".
2. Generalizzazione: Estende risultati noti (come quelli di Boucksom, Berman, Hisamoto) dal caso dei fibrati amples/big a serie lineari generali, inclusi casi in cui la mappa razionale non è birazionale.
3. Nuovi Fenomeni: Rivela che la convergenza dei nuclei di Bergman, spesso data per scontata in contesti "buoni" (fibrati big, serie complete), fallisce in generale per serie lineari arbitrarie, a causa della mancanza di differenziabilità dell'energia di Monge-Ampère $\kappa$.
4. Strumenti per la Geometria: Introduce l'energia di Monge-Ampère $\kappa$ come strumento fondamentale per quantificare le differenze tra norme su spazi di sezioni, con applicazioni potenziali nella quantizzazione geometrica e nello studio delle varietà di Kähler.

In sintesi, Finski offre una visione unificata e raffinata della dimensione di Kodaira-Iitaka e della molteplicità, dimostrando come la teoria delle metriche singolari e l'analisi complessa possano fornire formule precise e controintuitive per oggetti geometrici fondamentali.