Notes on acceptable bundles II

1. Il Problema e il Contesto

Il lavoro si inserisce nella teoria di Simpson–Mochizuki, un quadro fondamentale per lo studio delle varietà complesse di dimensione superiore e delle strutture paraboliche sui fibrati vettoriali olomorfi.

• Oggetto di studio: I "fasci accettabili" (acceptable bundles). Questi sono fibrati vettoriali olomorfi $(E, h)$ su una varietà complessa $X \setminus D$ (dove $D$ è un divisore a incroci normali semplici) dotati di una metrica hermitiana liscia $h$, la cui curvatura è limitata rispetto alla metrica di Poincaré indotta su $X \setminus D$.
• La sfida: Mentre la teoria era stata sviluppata in dettaglio per il caso di un disco punteggiato ($\Delta^*$) nel precedente lavoro degli stessi autori ([FFO]), questo articolo mira a estendere la teoria a contesti di dimensione superiore, specificamente su polidischi parzialmente punteggiati della forma $(\Delta^*)^l \times \Delta^{n-l}$.
• Obiettivo principale: Dimostrare che i fasci ottenuti per "prolungamento" (prolongation) di un fascio accettabile tramite ordini crescenti sono fasci localmente liberi (fibrati vettoriali) sull'intero spazio, e caratterizzare la struttura dei filtri parabolici associati.

2. Metodologia

Gli autori adottano un approccio ibrido che combina tecniche analitiche avanzate con riduzioni sistematiche al caso delle curve.

• Estensione $L^2$ di Ohsawa–Takegoshi: Sebbene Mochizuki abbia sviluppato la sua teoria originale utilizzando il framework di Andreotti–Visentini, gli autori di questo articolo utilizzano come "scatola nera" (black box) il teorema di estensione $L^2$ di Ohsawa–Takegoshi. Questo permette di estendere sezioni olomorfe da sottovarietà (come i bordi dei polidischi) all'intero spazio mantenendo il controllo sulle norme.
• Riduzione al caso delle curve: Una strategia centrale è la riduzione sistematica dei problemi in dimensione $n$ al caso unidimensionale (curve), già trattato in [FFO]. Analizzando le restrizioni del fascio su curve generiche o su sottovarietà specifiche (come $Y^*$ definita da $z_1 = \dots = z_l$), gli autori trasferiscono le proprietà note del caso $\Delta^*$ al caso multidimensionale.
• Stime di norma e funzioni plurisubarmoniche: Vengono utilizzate stime fini sulle norme delle sezioni, basate sulla proprietà di subarmonicità del logaritmo della norma di sezioni di fibrati con curvatura seminegativa (Lemma 6.9). Questo permette di controllare il comportamento asintotico delle sezioni vicino al divisore singolare.
• Coperture cicliche e discesa: Per gestire i pesi parabolici, l'articolo utilizza coperture cicliche ($\psi_c: z \mapsto z^c$) per "appiattire" i pesi parabolici in un intervallo piccolo, dimostrare la libertà locale sul rivestimento, e poi discendere i risultati allo spazio originale sfruttando l'azione del gruppo di Galois.

3. Contributi Chiave e Risultati Principali

A. Prolungamento e Struttura di Fascio Filtrato (Teoremi 1.1 e 1.3)

Il risultato centrale è la dimostrazione che, dato un fascio vettoriale accettabile $(E, h)$ su $(\Delta^*)^l \times \Delta^{n-l}$, il fascio prolungato ${}_aE$ (definito tramite condizioni di crescita delle sezioni rispetto a un vettore $a \in \mathbb{R}^l$) è un fascio localmente libero su tutto il polidisco $\Delta^n$.

• Struttura filtrata: La famiglia $\{{}_aE \mid a \in \mathbb{R}^l\}$ forma naturalmente un fascio filtrato (filtered bundle) nel senso di Mochizuki.
• Descrizione locale: Il Teorema 1.3 fornisce una descrizione esplicita locale: esiste una base locale $\{v_1, \dots, v_r\}$ di ${}_aE$ e pesi $a(v_j) \in \mathbb{R}^l$ tali che per qualsiasi $b \in \mathbb{R}^l$, il fascio ${}_bE$ è generato da combinazioni lineari dei vettori $v_j$ moltiplicati per potenze appropriate delle coordinate $z_i$.
• Filtri parabolici: Vengono definiti filtri parabolici compatibili $iF$ sulle restrizioni ai componenti del divisore $D_i = \{z_i=0\}$, che sono mutualmente compatibili.

B. Stima di Norma Debole (Teorema 1.4)

Viene stabilita una stima fondamentale per la matrice hermitiana $H(h, v')$ associata a una base adattata ai filtri parabolici:
$$C^{-1} \left( -\sum \log |z_i| \right)^{-N} I_r \leq H(h, v') \leq C \left( -\sum \log |z_i| \right)^{N} I_r$$
Questa stima garantisce che la metrica non degeneri troppo rapidamente vicino alle singolarità, controllando il comportamento asintotico delle sezioni.

C. Proprietà Operative (Teoremi 1.5, 1.6, 1.7 e Corollario 1.8)

Gli autori dimostrano che le operazioni standard sui fibrati vettoriali preservano la proprietà di "accettabilità" e la struttura dei prolungamenti:

• Duali: Il duale di un prolungamento è isomorfo al prolungamento del duale con pesi trasformati: $({}_aE)^\vee \cong {}_{-a+1-\varepsilon}(E^\vee)$.
• Prodotti tensoriali: Il prolungamento di un prodotto tensoriale è la somma dei prolungamenti dei fattori: ${}_b(E_1 \otimes E_2) = \sum_{a_1+a_2 \leq b} {}_{a_1}E_1 \otimes {}_{a_2}E_2$.
• Fasci Hom: Viene caratterizzata la struttura di ${}_a\text{Hom}(E_1, E_2)$ in termini di morfismi che preservano i filtri parabolici.
• Endomorfismi: Il fascio degli endomorfismi che preservano i filtri parabolici è isomorfo a ${}_\diamond \text{End}(E)$.

4. Significato e Impatto

• Accessibilità: L'articolo ha un carattere prevalentemente espositivo ma con nuovi argomenti. Il suo scopo è rendere la teoria complessa di Mochizuki (in particolare il Capitolo 21 di [M4]) più accessibile a un pubblico più ampio, evitando alcune delle difficoltà tecniche originali sostituendole con l'estensione $L^2$ di Ohsawa–Takegoshi.
• Generalizzazione: Estende la teoria dai casi unidimensionali (fondamentali per la teoria di Hodge non compatta) a varietà complesse di dimensione arbitraria con divisori a incroci normali.
• Strumento per la Geometria Algebrica: La teoria dei fasci accettabili è cruciale per lo studio delle varietà complesse non compatte, delle strutture di Hodge polari e della teoria di Teichmüller superiore. La caratterizzazione precisa dei prolungamenti e dei filtri parabolici fornisce gli strumenti necessari per costruire oggetti geometrici globali a partire da dati locali singolari.
• Indipendenza dai risultati di Mochizuki: Sebbene i risultati siano coerenti con quelli di Mochizuki, gli autori forniscono dimostrazioni alternative e autonome che non dipendono direttamente dalle tecniche di Andreotti–Visentini, offrendo una prospettiva diversa e potenzialmente più maneggevole per i ricercatori in geometria complessa.

In sintesi, questo lavoro consolida le basi analitiche e algebriche necessarie per manipolare i fibrati vettoriali con singolarità controllate su varietà complesse di alta dimensione, fornendo un ponte essenziale tra la teoria dei sistemi integrabili e la geometria algebrica moderna.