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

Sintesi Tecnica: Addendum sulla Formula del Fascio Canonico Generalizzato e sulla Limitatezza dei Complementi nel Contesto Analitico Complesso

Enunciato del Problema
Il saggio affronta una lacuna nella teoria delle coppie generalizzate nell'ambito analitico complesso. Nello specifico, mira alla formula del fascio canonico generalizzato per le fibrasi lc-triviali generalizzate. Nel lavoro precedente dell'autore ([Has26]), la validità di questa formula dipendeva da un'ipotesi restrittiva: la parte nef $M$ della coppia generalizzata $(X, B+M)$ doveva essere una combinazione lineare $\mathbb{R}_{>0}$-finita di divisori $\mathbb{Q}$-$b$-Cartier $\mathbb{Q}$-$b$ $b$-nef/$S$. Il presente lavoro mira a rimuovere tale ipotesi, stabilendo la formula per coppie sub-generalizzate generali dove $M$ non è necessariamente di questa specifica forma di combinazione lineare. Ciò è fondamentale per estendere la limitatezza dei complementi e la teoria strutturale delle coppie generalizzate al contesto analitico complesso più ampio, senza vincoli artificiali sulla parte nef.

Metodologia
L'autore impiega un approccio a due fronti, trattando sequenzialmente l'ambito algebrico e quello analitico complesso:

1. Ambito Algebrico (Teorema 1.3):

   • La dimostrazione sfrutta il Proposizione 2.1, che stabilisce che, per le fibrasi lc-triviali standard (dove la parte nef è nulla), il $R$-$b$-divisore dei moduli è una combinazione lineare $\mathbb{R}_{>0}$-finita di specifici divisori. Questo risultato è citato come un caso speciale di [FuHa23] o una variazione minore di [Has26].
   • Costruendo su questo, l'autore applica gli argomenti di [Fi20]. Crucialmente, la metodologia utilizza riduzioni semistabili deboli ([Kar99]), blow-up dlt generalizzati e il Programma del Modello Minimo (MMP) per coppie dlt $\mathbb{Q}$-fattoriali generalizzate ([BiZh16]).
   • L'intuizione tecnica chiave è che questi strumenti rimangono efficaci anche quando le parti nef delle coppie generalizzate non sono rappresentate da combinazioni lineari finite di divisori $\mathbb{Q}$-$b$-Cartier $\mathbb{Q}$-$b$ $b$-nef/$S$.

2. Ambito Analitico Complesso (Teorema 1.2):

   • La dimostrazione si basa sul Lemma 2.16 di [Fu22] per costruire un sottoinsieme compatto Stein $W' \subset S$ contenente l'originale $W$, soddisfacente la proprietà (P) riguardo alla morfismo $\pi$. Ciò permette la riduzione del problema a un intorno locale dove si applicano le tecniche analitiche standard.
   • L'argomento rispecchia il caso algebrico ma integra specifici strumenti analitici: il caso $M=0$ dal Teorema 1.1 (il lavoro precedente dell'autore), i risultati di EH25 e Fu22.
   • Osservazione 2.2 chiarisce che la dimostrazione necessita dell'intera strumentazione di [Has26, Sezione 3]. L'autore nota che non vengono utilizzate variazioni di strutture di Hodge miste; invece, la dimostrazione procede stabilendo prima la formula per le fibrasi klt-triviali generalizzate e poi estendendola al caso lc.

3. Costruzione Supplementare (Teorema 2.3):

   • Per garantire la definizione rigorosa del $b$-divisore canonico nell'ambito analitico, l'autore fornisce una costruzione per la definizione globale del $b$-divisore canonico $K$ su una varietà analitica normale $X$ su un insieme compatto Stein $W$.
   • Ciò comporta la contrazione di $S$ per garantire la proiettività di una risoluzione $Y \to X$ e l'esistenza di un divisore molto ampio. Utilizzando i teoremi di coomologia e di base (base change), insieme al Teorema di Cartan A, l'autore costruisce sezioni globali per definire divisori di Weil che siano compatibili sotto contrazioni bimeromorfiche, formando così un $b$-divisore ben definito.

Contributi Chiave e Risultati
Il saggio presenta tre teoremi principali:

• Teorema 1.2 (Risultato Principale, Ambito Analitico Complesso):

  • Rimuove l'ipotesi sulla parte nef $M$ per le fibrasi lc-triviali generalizzate su un insieme compatto Stein $W$.
  • Stabilisce che il $R$-$b$-divisore dei moduli $N$ associato alla fibrasi è un $R$-$b$-divisore $b$-nef/$S$ $R$-$b$-Cartier.
  • Conferma che $(Z, G_Z + N_Z) \to S$ forma una coppia sub-generalizzata con parte nef $N$, preservando la proprietà lc (o klt) generalizzata della sorgente.
  • Dimostra una proprietà di località: per ogni sottoinsieme aperto $\tilde{S} \subset S$, il divisore dei moduli $\tilde{N}$ è la restrizione di $N$.
  • Aggiunge un'affermazione condizionale: Se l'originale $M$ è una combinazione lineare $\mathbb{R}_{>0}$-finita di divisori $b$-nef/$S$ $\mathbb{Q}$-$b$-Cartier $\mathbb{Q}$-$b$, allora $N$ eredita tale proprietà.

• Teorema 1.3 (Risultato Principale, Ambito Algebrico):

  • Fornisce la corrispondente affermazione algebrica su uno schema quasi-proiettivo $S$.
  • Asserisce che $N$ è un $R$-$b$-divisore $b$-nef/$S$ $R$-$b$-Cartier e che la coppia risultante su $Z$ mantiene le proprietà lc/klt generalizzate.
  • L'autore dichiara esplicitamente che questo risultato è nuovo e funge da generalizzazione di [FiSv23, Teorema 2.20].

• Teorema 2.3:

  • Definisce rigorosamente il $b$-divisore canonico e i $R$-$b$-divisori dei moduli nel contesto delle fibrasi lc-triviali generalizzate per varietà analitiche normali, garantendone l'esistenza e la compatibilità sotto morfismi bimeromorfici dopo la contrazione della base.

Significatività e Rivendicazioni
Il saggio sostiene di essere un necessario perfezionamento della teoria della formula del fascio canonico generalizzato. Rimuovendo l'ipotesi restrittiva sulla parte nef $M$, i risultati ampliano l'applicabilità della formula nell'ambito analitico complesso, il che è essenziale per lo studio della limitatezza dei complementi in questo contesto.

L'autore sottolinea che la dimostrazione non è una mera estensione banale ma si basa sull'interazione di diversi risultati profondi (inclusi [Has26, Fi20, Kar99, BiZh16]). Il lavoro è presentato come un passo fondamentale ("addendum") che solidifica il quadro teorico per le coppie generalizzate senza vincoli artificiali sulla parte nef, supportando così ulteriori sviluppi del Programma del Modello Minimo per spazi analitici complessi. Il saggio non propone nuove applicazioni sperimentali, bensì cerca di correggere e generalizzare esistenti affermazioni teoriche.