The holomorphic limit of Kahler manifolds

Sintesi Tecnica: Il Limite Olomorfo delle Manifold di Kähler

Enunciato del Problema
Il saggio affronta la stabilità della proprietà di Kähler sotto deformazioni olomorfe. Nello specifico, considera una famiglia regolare $\pi: X \to \Delta$ di varietà complesse compatte su un disco unitario $\Delta$, dove le fibre $X_t$ sono Kähler per ogni $t \in \Delta^* = \Delta \setminus \{0\}$. La questione centrale è se la fibra centrale $X_0$ mantenga la proprietà di Kähler o, più ampiamente, appartenga alla classe di Fujiki $\mathcal{C}$ (la classe di varietà bimeromorfe a varietà Kähler). Sebbene ciò sia vero per le superfici (per Kodaira e Siu), il controesempio di Hironaka dimostra che ciò fallisce in dimensione tre. Il saggio investiga le condizioni sotto le quali la limite $X_0$ rimane nella classe di Fujiki $\mathcal{C}$ o è Moishezon (bimeromorfa a una varietà proiettiva).

Metodologia
L'autore impiega una combinazione di geometria complessa analitica, tecniche coomologiche e la teoria delle correnti. La metodologia procede attraverso diverse fasi chiave:

1. Morfismi di Kähler Relativi e Coomologia: Il saggio stabilisce una condizione necessaria e sufficiente affinché una famiglia regolare su un dominio pseudoconvesso sia un "morfismo di Kähler" (Definizione 3.1). Utilizzando la coomologia di lemmi di funzioni pluriarmoniche e la sequenza spettrale di Leray, l'autore dimostra che se le fibre sono Kähler, l'esistenza di una classe coomologica globale $\alpha \in H^2(X, \mathbb{R})$ che si restringe a una classe di Kähler su ciascuna fibra è equivalente al fatto che il morfismo sia di Kähler (Proposizione 3.2).
2. Apertura delle Classi di Kähler: Sfruttando il lavoro di Demailly e Păun sui coni di Kähler e la teoria delle variazioni delle strutture di Hodge, l'autore dimostra che se la famiglia è di Kähler in un punto $t_0 \in \Delta^*$, esiste un sottoinsieme denso aperto $U \subset \Delta^*$ dove la restrizione di una classe globale $\alpha$ rimane una classe di Kähler (Teorema 3.6). Ciò si basa sulla compatezza dei spazi di cicli di Barlet relativi e sull'invarianza del cono di Kähler sotto trasporto parallelo.
3. Correnti e Analisi del Volume: Lo strumento analitico centrale riguarda lo studio delle classi pseudo-effettive e dei loro volumi. L'autore utilizza il prodotto non pluripolare di correnti e i teoremi di regolarizzazione di Demailly e Boucksom. Un passaggio critico consiste nella costruzione di una sequenza di forme di Kähler sulle fibre $X_t$ ($t \in U$) che converge debolmente a una corrente $T$ sulla fibra centrale $X_0$.
4. Disuguaglianze di Volume: Analizzando la parte assolutamente continua della corrente limite e applicando il lemma di Fatou insieme alla continuità della funzione di volume per le classi pseudo-effettive, l'autore deriva un limite inferiore per il volume della classe limite.

Contributi Chiave e Risultati

• Teorema 1.2 (Teorema 4.3): Il risultato primario afferma che se $\pi: X \to \Delta$ è una famiglia regolare con fibre di Kähler per $t \in \Delta^*$, e se $\pi$ è un morfismo di Kähler in un certo punto $t_0 \in \Delta^*$, allora esiste una corrente $(1,1)$ positiva e $d$-chiusa $T$ sulla fibra centrale $X_0$ tale che il suo volume $\text{vol}_n(\{T\}) > 0$.

  • Significato: Questo riduce la Congettura 1.1 (che $X_0$ appartenga alla classe di Fujiki $\mathcal{C}$) alla congettura di Boucksom-Demailly-Păun, la quale postula che l'esistenza di una tale corrente con volume positivo implichi che la varietà appartenga alla classe di Fujiki $\mathcal{C}$.

• Corollario 1.4: Sotto l'assunzione aggiuntiva che la fibra centrale $X_0$ ammetta una metrica hermitiana con volume superiore finito (una condizione nota per essere invariante sotto bimeromorfismi e soddisfatta dalle varietà della classe di Fujiki $\mathcal{C}$), il saggio dimostra che $X_0$ appartiene effettivamente alla classe di Fujiki $\mathcal{C}$.

• Corollario 1.5 (Corollario 4.6): Nel caso specifico in cui le fibre $X_t$ per $t \in \Delta^*$ siano proiettive, il saggio dimostra che $X_0$ è Moishezon senza richiedere alcuna condizione ausiliaria (come l'invarianza di deformazione dei numeri di Hodge).

  • Meccanismo: La dimostrazione costruisce un fibrato lineare globale $L$ su $X$ tale che $L|_{X_t}$ sia ampio per $t$ in un insieme denso aperto, e $L|_{X_0}$ sia grande (big). Ciò viene ottenuto elevando le classi di coomologia integrale tramite la sequenza esponenziale e utilizzando la semi-continuità superiore delle dimensioni della coomologia.

Significato e Rivendicazioni
Il saggio sostiene di fornire un nuovo percorso verso la risoluzione della Congettura 1.1. Stabilendo l'esistenza di una corrente a volume positivo sulla fibra centrale sotto la lieve condizione che la famiglia sia di Kähler in un punto vicino, il lavoro colma il divario tra la deformazione delle metriche di Kähler e la classificazione strutturale della varietà limite.

L'autore osserva che la finitezza del volume superiore $\text{vol}_n(\omega)$ è un problema aperto, ma poiché non sono noti esempi di varietà con volume superiore infinito, il teorema principale offre una forte evidenza per la validità della congettura. Inoltre, il risultato per le famiglie proiettive (Corollario 1.5) fornisce una risposta definitiva al problema del limite Moishezon senza le condizioni ausiliarie precedentemente richieste da altri ricercatori (ad esempio, Popovici, Barlet, Rao-Tsai).

L'approccio si basa sulla sintesi di metodi di lavori precedenti (specificamente [23], [24], [14] e [6]) per costruire oggetti coomologici globali e analizzare il loro comportamento sotto degenerazione, piuttosto che introdurre framework geometrici interamente nuovi. Il saggio rimane modesto nel suo ambito, concentrandosi strettamente sul limite olomorfo di famiglie di Kähler e proiettive su un disco.