On generalized canonical bundle formula and boundedness of complements in complex analytic setting

1. Problema e Contesto

Il lavoro si inserisce nel campo della geometria birazionale, specificamente nell'estensione dei risultati fondamentali dalla categoria algebrica (varietà proiettive) a quella analitica complessa (spazi analitici complessi).

• Oggetto di studio: Le coppie generalizzate (generalized pairs), introdotte da Birkar e Zhang, che consistono in una varietà normale $X$, un divisore di confine $B$ e una parte nef $M$ definita tramite divisori b-nef (o correnti chiuse).
• Contesto: L'autore lavora nell'ambito delle varietà analitiche complesse, affrontando la sfida specifica dei basi non compatte. A differenza del caso algebrico, dove la compattezza globale facilita l'uso di strumenti come la coomologia e la compattezza delle famiglie, nel setting analitico non compatto la definizione e il comportamento dei divisori b-divisori (in particolare la loro restrizione a sottoinsiemi aperti) diventano problematici.
• Obiettivo principale: Stabilire una formula del fascio canonico generalizzata per fibrazioni lc-triviali generalizzate su basi non compatte e dimostrare la limitatezza dei complementi (boundedness of complements) in questo contesto analitico.

2. Metodologia

L'autore adotta un approccio che combina la teoria delle coppie generalizzate con strumenti specifici dell'analisi complessa e della geometria birazionale relativa.

• Definizione di Coppie Generalizzate: Vengono utilizzate coppie $(X, B+M)$ dove la parte nef $M$ è data da b-divisori Q-Cartier b-nef (non correnti), una scelta naturale per morfismi proiettivi tra spazi analitici.
• Riduzione e MMP Relativa: Il cuore della dimostrazione si basa sull'uso del Programma Minimo dei Modelli (MMP) relativo nel setting analitico complesso (riferimenti a [EH24], [EH25]) e sulla riduzione debole semistabile (weak semistable reduction) per fibrazioni.
• Gestione dei B-Divisori: Una difficoltà tecnica centrale è la definizione della restrizione di b-divisori a sottoinsiemi aperti. Poiché il numero di morfismi bimeromorfi può aumentare restringendo il dominio, l'autore dimostra la compatibilità della formula canonica con la restrizione a aperti arbitrari, un passo cruciale per operare su basi non compatte.
• Strategie Induttive: Per estendere i risultati dal caso klt-triviale al caso lc-triviale (log-canonical), l'autore utilizza tecniche di induzione sulla dimensione e riduzioni a modelli dlt (divisorial log terminal), sfruttando il "generalized dlt blow-up".
• Assenza di Strutture di Hodge: A differenza di alcune dimostrazioni algebriche che fanno affidamento sulle variazioni di strutture di Hodge miste, questa dimostrazione evita tali strumenti, basandosi invece su tecniche puramente birazionali (MMP, riduzione semistabile).

3. Contributi Chiave e Risultati Principali

A. Formula del Fascio Canonico Generalizzata (Sezione 3)

L'autore estende il teorema di Filipazzi al contesto analitico complesso su basi non compatte.

• Teorema 3.10: Per una fibrazione lc-triviale generalizzata $f: (X, B+M) \to Z$ su una base $S$ non compatta (sotto condizioni di compattezza locale definite dalla proprietà (P)), la formula del fascio canonico vale:
  $$K_X + B + M \sim_{\mathbb{R}} f^*(K_Z + G_Z + N_Z)$$
  dove:
  • $G$ è il divisore discriminante R-b-divisore.
  • $N$ è il divisore moduli R-b-divisore.
• Proprietà Fondamentali:
  1. Il divisore moduli $N$ è una combinazione lineare finita di b-divisori Q-b-Cartier b-nef su $Z$.
  2. La coppia $(Z, G_Z + N_Z)$ è una coppia generalizzata lc (o klt) se la coppia originale lo è.
  3. Compatibilità con la restrizione: Sia $G$ che $N$ sono compatibili con la restrizione a qualsiasi sottoinsieme aperto della base. Questo risolve un problema tecnico aperto sulla definizione di restrizione dei b-divisori in spazi non compatti.
  4. Il teorema gestisce coefficienti irrazionali nella parte nef, un'estensione significativa rispetto a risultati precedenti.

B. Limitatezza dei Complementi (Sezione 4)

Il lavoro dimostra che la teoria dei complementi, sviluppata da Shokurov e Birkar nel caso algebrico, vale anche per le varietà analitiche complesse.

• Teorema 4.2 (Limitatezza dei Complementi I): Data una coppia generalizzata lc $(X, B+M)$ di dimensione $d$, con coefficienti in un insieme DCC $\Lambda$ e parte nef $p$-b-Cartier, se $X$ è di tipo Fano su $Z$ e $-(K_X+B+M)$ è nef, allora esiste un intero $n$ (dipendente solo da $d, p, \Lambda$) tale che, restringendo $Z$ intorno a un punto $z$, esiste un n-complemento $(X, B^+ + M)$ con $B^+ \geq B$.
• Teorema 4.3 (Limitatezza dei Complementi II): Estende il risultato al caso in cui esiste un divisore efficace $\Delta$ tale che $(X, (B+\Delta)+M)$ sia klt e $K_X+B+\Delta+M \sim_{\mathbb{R}} 0$.
• Corollari Importanti:
  • Corollario 1.4: Ripristina il risultato di Birkar per coppie lc classiche (caso $M=0, X=Z$) nel setting analitico, garantendo l'esistenza di un indice di Cartier uniforme per i centri non-klt.
  • Corollario 1.5: Fornisce risultati analoghi per coppie klt, garantendo l'esistenza di un n-complemento con proprietà specifiche sui coefficienti.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Generalizzazione Analitica: Colma un divario importante tra la geometria birazionale algebrica e quella analitica complessa. Molti risultati fondamentali (come la formula del fascio canonico e la limitatezza dei complementi) erano noti solo per varietà proiettive; ora sono validi per morfismi proiettivi tra spazi analitici complessi.
2. Gestione delle Basi Non Compatte: Dimostra che la teoria delle coppie generalizzate e dei b-divisori può essere sviluppata coerentemente anche senza la compattezza globale, risolvendo le difficoltà tecniche legate alla restrizione degli aperti.
3. Strumenti per la Geometria Complessa: I risultati forniscono gli strumenti necessari per affrontare problemi avanzati in geometria complessa, come:
   • La congettura di Yau-Tian-Donaldson per coppie log-Fano.
   • Il problema dei moduli per coppie Calabi-Yau.
   • L'analisi delle singolarità e degli indici di Cartier in contesti non compatti.
4. Metodologia Innovativa: L'uso combinato di MMP relativa analitica e riduzione semistabile, evitando le strutture di Hodge, offre una via alternativa e potente per trattare problemi di limitatezza e formule canoniche.

In sintesi, Hashizume stabilisce le fondamenta teoriche per estendere la moderna geometria birazionale (basata sulle coppie generalizzate e i complementi) all'intero universo delle varietà analitiche complesse, aprendo la strada a nuove applicazioni nella teoria dei moduli e nella geometria delle singolarità complesse.