Deformation rigidity for projective manifolds and isotriviality of smooth families

Sintesi Tecnica: Rigidità delle Deformazioni per Varietà Proiettive e Isotrivialità di Famiglie Lisce

Enunciato del Problema
Il lavoro affronta il problema della rigidità delle deformazioni per varietà complesse compatte, specificamente nel contesto di famiglie lisce $\pi: X \to B$. La domanda centrale (Domanda 1.1) chiede: se una famiglia liscia di varietà complesse compatte su una base $B$ (specificamente un polidisco $\Delta^m$) ha fibre $X_t$ biolomorfe a una varietà fissa $S$ per ogni $t$ nel complemento di un sottoinsieme analitico proprio, sotto quali condizioni la fibra centrale $X_0$ è anch'essa biolomorfa a $S$?

Sebbene la rigidità delle deformazioni sia ben compresa per varietà di dimensione di Kodaira negativa (ad esempio, le superfici di Hirzebruch non sono rigide) e per spazi omogenei razionali con $b_2=1$ (sotto ipotesi Kähler), il lavoro si concentra sul vuoto di conoscenza riguardante le varietà proiettive di dimensione di Kodaira superiore. Nello specifico, gli autori investigano il caso in cui la varietà fissa $S$ possieda un fascio canonico semiamplo ($\omega_S$).

Metodologia
Gli autori impiegano una combinazione di geometria analitica complessa, teoria di Hodge e teoria degli spazi dei moduli per dimostrare il loro risultato principale. La strategia di dimostrazione per il teorema centrale (Teorema 1.2) coinvolge due innovazioni tecniche primarie:

1. Costruzione di un fascio lineare $\pi$-ampio tramite la Teoria di Hodge:
   Le procedure standard di estensione per i fasci lineari sono insufficienti per le esigenze degli autori. Introducono un nuovo metodo di estensione basato sulla variazione delle strutture di Hodge. Utilizzando il diffeomorfismo $T: X \to X_0 \times \Delta$ (garantito dalla liscietà del morfismo) e analizzando la filtrazione di Hodge su $H^2(X_t, \mathbb{C})$, dimostrano che la filtrazione di Hodge è costante sulla base. Questa costanza permette loro di estendere un fascio lineare $L_0$ dalla fibra centrale $X_0$ a un fascio lineare globale $L$ su $X$ tale che $c_1(L|_{X_0}) = c_1(L_0)$. Crucialmente, se $L_0$ è ampio, il fascio esteso $L$ risulta essere $\pi$-ampio. Questa costruzione si basa sul fatto che le fibre sul disco forato sono biolomorfe a una varietà proiettiva fissa, rendendo nullo il mappaggio di Kodaira-Spencer e costante la filtrazione di Hodge.

2. Stabilire la Semiampiezza della Fibra Centrale:
   Un ostacolo significativo è dimostrare che il fascio canonico $\omega_{X_0}$ è semiamplo, dato che $\omega_{X_t}$ è semiampolo per $t \neq 0$. Gli autori non assumono che questa positività valga per fasci lineari arbitrari. Invece:

   • Dimostrano prima che $\omega_{X_0}$ è nef. Ciò è ottenuto costruendo un fascio lineare $\pi$-molto ampio $L$ e analizzando la positività dei fasci aggiunti $\omega_{X_0}^{\otimes m} \otimes L_0$. Usano un approccio analitico, costruendo 2-forme su $X_0$ tramite la deformazione delle strutture complesse e verificando la caratterizzazione metrica della proprietà nef.
   • In secondo luogo, utilizzano l'invarianza dei plurigenere e la relazione tra la dimensione di Kodaira $\kappa$ e la dimensione numerica di Kodaira $\nu$. Poiché $\omega_{X_t}$ è semiampolo per $t \neq 0$, vale $\kappa(X_t) = \nu(X_t)$. Dimostrando che $\nu(X_0) = \kappa(X_0)$, concludono tramite un criterio noto (da [20]) che $\omega_{X_0}$ è semiampolo.

3. Separatezza dello Spazio dei Moduli:
   Con l'esistenza di un fascio lineare $\pi$-ampio $L$ e la natura semiampola di $\omega_{X_0}$, la famiglia $(X, L)$ definisce un morfismo verso lo spazio dei moduli grossolano separato $\mathcal{P}_h$ delle varietà polarizzate con fasci canonici semiampi. Poiché le fibre sul disco forato mappano allo stesso punto nello spazio dei moduli (essendo isomorfe) e lo spazio dei moduli è separato, il morfismo deve essere costante. Ciò forza la fibra centrale a essere isomorfa alla fibra generica.

Contributi e Risultati Chiave

• Teorema 1.2 (Risultato Principale): Sia $\pi: X \to \Delta^m$ un morfismo Kähler proprio e liscio. Se le fibre sul complemento di un sottoinsieme analitico proprio sono biolomorfe a una varietà proiettiva fissa $S$, e se il fascio lineare canonico $\omega_S$ è semiampolo, allora tutte le fibre di $\pi$ sono biolomorfe a $S$.

  • Significato: Questo generalizza risultati precedenti di Matsusaka-Mumford (che richiedevano varietà polarizzate con fasci ampi) e estende la rigidità delle deformazioni a una classe più ampia di varietà (quelle con fasci canonici semiampi) senza richiedere a priori che la fibra centrale sia polarizzata proiettiva.

• Corollario 1.4: Sotto l'ipotesi della Congettura di Abbondanza (che vale per dimensioni $\leq 3$ e per varietà di tipo generale), se $S$ è una varietà minima in queste categorie, la rigidità delle deformazioni vale.

• Teorema 1.6 (Criterio di Isotrivialità): Per una famiglia proiettiva liscia $f: X \to B$ dove la fibra generica è una varietà minima buona (minima con fascio canonico semiampolo), l'isotrivialità birazionale implica l'isotrivialità.

  • Contesto: Questo risolve una domanda naturale su quando l'equivalenza birazionale delle fibre implichi un effettivo isomorfismo nelle famiglie lisce.

• Teorema 1.8 (Criterio di Tipo Parshin-Arakelov): Il lavoro stabilisce un nuovo criterio di isotrivialità che generalizza il classico teorema di Parshin-Arakelov. Se la fibra generica $F$ è minima e di tipo generale (o $\dim F \leq 3$), e il grado del determinante del pushforward del fascio canonico relativo si annulla ($\deg(\det f_* \omega_{X/B}^{\otimes k}) = 0$), allora la famiglia è isotriva.

Significato e Affermazioni
Gli autori collocano questo lavoro come un ponte tra la geometria algebrica delle varietà polarizzate e la geometria complessa dei morfismi Kähler.

• Generalizzazione: Il risultato rafforza il teorema di Matsusaka-Mumford rilassando la condizione di positività dall'ampiezza alla semiampiezza e rimuovendo il requisito che la fibra centrale sia polarizzata.
• Teoria dei Moduli: La dimostrazione evidenzia l'utilità della separatezza dello spazio dei moduli delle varietà polarizzate con fasci canonici semiampi, una proprietà che fallisce per le varietà iperkähler (dove varietà birazionali definiscono punti non separati). Il lavoro contrappone esplicitamente il loro contesto alla non-separatezza dei moduli iperkähler per enfatizzare la necessità dell'ipotesi di morfismo Kähler.
• Isotrivialità: Il lavoro afferma di fornire un "nuovo criterio di isotrivialità di tipo Parshin-Arakelov" che estende i risultati classici basati sulle curve alle famiglie di dimensione superiore, a condizione che la fibra generica soddisfi le condizioni di minimalità e semiampiezza.

Il lavoro conclude notando che, sebbene la Congettura di Abbondanza sia nota per basse dimensioni e per il tipo generale, la rigidità delle deformazioni per varietà minime di dimensione $\geq 4$ rimane una congettura (Congettura 1.5), suggerendo che i risultati attuali sono condizionati alla validità della Congettura di Abbondanza in dimensioni superiori.