Locally rigid implies globally rigid in Kahler geometry

1. Enunciato del Problema e Contesto

Il lavoro affronta una domanda fondamentale nella geometria complessa riguardante la rigidità delle varietà Kähler compatte sotto deformazione.

• Definizioni:
  • Rigidità Locale: Una varietà $X$ è localmente rigida se ogni famiglia liscia $\pi: \mathcal{X} \to B$ contenente $X$ come fibra è localmente banale vicino a tale fibra (cioè, tutte le fibre vicine sono isomorfe a $X$).
  • Rigidità Globale: Una varietà $X$ è globalmente rigida se ogni varietà $X'$ deformazione-equivalente a $X$ è effettivamente isomorfa a $X$.
  • Equivalenza per Deformazione: Due varietà sono deformazione-equivalenti se possono essere connesse da una sequenza finita di deformazioni dirette (famiglie lisce su un disco).
• La Domanda Centrale: La rigidità locale implica la rigidità globale per le varietà Kähler compatte non unirule?
  • È noto che la rigidità infinitesimale ($H^1(X, T_X)=0$) implica la rigidità locale (teoria di Kodaira-Spencer-Kuranishi).
  • Per le superfici generali minimali, la rigidità locale implica la rigidità globale (dimostrato dagli autori in [1]).
  • Domanda 1.1: Se $X$ è una varietà Kähler compatta non unirule e localmente rigida, è essa globalmente rigida?

2. Metodologia

L'autore impiega una combinazione di Variazione di Strutture di Hodge (VHS), Spazi di Cicli di Barlet e Teoria dei Moduli per colmare il divario tra proprietà locali e globali.

A. Costruzione di una Famiglia Polarizzata

La sfida tecnica centrale è estendere un isomorfismo locale all'intera famiglia. L'autore costruisce una specifica classe di coomologia per "polarizzare" la famiglia.

1. Banalità Locale: Data una famiglia $\pi: \mathcal{X} \to \Delta$ dove le fibre sono Kähler e localmente banali vicino a $t_1$, l'autore utilizza il diffeomorfismo $T: \mathcal{X} \cong X_{t_1} \times \Delta$ per trasportare classi di coomologia.
2. Filtrazione di Hodge: Utilizzando il fatto che la famiglia è localmente banale vicino a $t_1$, la mappa di Kodaira-Spencer si annulla localmente. Per le proprietà della mappa dei periodi (mappa olomorfa in una Grassmanniana), si dimostra che la filtrazione di Hodge $F^p$ è costante su tutto il disco $\Delta$.
3. Costruzione della Classe Globale (Lemma 3.1): L'autore costruisce una classe globale di coomologia reale $\alpha \in H^2(\mathcal{X}, \mathbb{R})$ tale che la sua restrizione $\alpha_t$ appartiene a $H^{1,1}(X_t, \mathbb{C})$ per ogni $t$.
4. Costruzione di un Morfismo Kähler (Lemma 3.2 e 3.3): Utilizzando il teorema di Demailly-Păun e argomenti di coomologia dei fasci, l'autore solleva $\alpha$ a una sezione $\Theta$ di un fascio quoziente, permettendo la costruzione di una forma Kähler relativa. Ciò stabilisce che la famiglia è un morfismo Kähler (nello specifico, una famiglia di varietà Kähler polarizzate) su un insieme aperto denso.

B. Argomento dello Spazio dei Moduli

La dimostrazione si basa pesantemente sulle proprietà dello spazio dei moduli grezzo $\mathcal{M}$ delle varietà Kähler polarizzate non unirule.

• Proprietà di Hausdorff: Lo spazio dei moduli $\mathcal{M}$ per le varietà Kähler polarizzate non unirule è noto per essere uno spazio complesso separato (di Hausdorff).
• Continuazione Analitica: La famiglia induce una mappa olomorfa $f: W \to \mathcal{M}$ da un sottoinsieme aperto denso $W \subset \Delta$.
• Costanza: Poiché la famiglia è localmente banale vicino a $t_1$, la mappa $f$ è costante su un intorno. Poiché $\mathcal{M}$ è di Hausdorff e la mappa è olomorfa, se l'immagine è un punto su un insieme aperto, la mappa deve essere costante sulla componente connessa (o sull'intero dominio se il dominio è irriducibile/connesso).

C. Gestione della Condizione "Non Unirule"

La condizione che la fibra $X_{t_1}$ sia non unirule è cruciale.

• Le varietà unirule (quelle ricoperte da curve razionali) spesso hanno spazi dei moduli non separati o permettono fenomeni di "salto" nelle deformazioni.
• Per le varietà non unirule, lo spazio dei moduli è ben comportato (separato). L'autore cita [8, Proposition 11] per garantire che se la fibra centrale è non unirule, anche le fibre vicine rimangono non unirule, permettendo alla mappa verso lo spazio dei moduli di essere ben definita globalmente.

3. Risultati Chiave e Teoremi

Teorema 1.3 (Teorema Principale):
Sia $\pi: \mathcal{X} \to \Delta$ un morfismo liscio proprio con fibre Kähler. Se la famiglia è localmente banale in un punto $t_1$ (cioè $X_t \cong X_{t_1}$ per $t$ vicino a $t_1$) e la fibra $X_{t_1}$ è una varietà Kähler non unirule, allora tutte le fibre sono isomorfe ($X_t \cong X_{t_1}$ per ogni $t \in \Delta$).

Corollario 1.4:
Una varietà Kähler compatta non unirule è globalmente rigida se è localmente rigida.

• Logica della dimostrazione: Se $X$ è localmente rigida, ogni varietà $X'$ deformazione-equivalente può essere connessa tramite una catena di famiglie. Applicando il Teorema 1.3 a ciascuna famiglia nella catena si dimostra che ogni fibra intermedia è isomorfa alla precedente, quindi $X \cong X'$.

Corollario 1.5:
Specifico per le superfici: Una superficie Kähler compatta non unirule è globalmente rigida se è localmente rigida.

Corollario 1.7 (Non deformabilità Globale):
Se una famiglia liscia di varietà Kähler compatte ha fibre $X_t \cong S$ per ogni $t \in \Delta^* = \Delta \setminus \{0\}$, e $S$ è una varietà Kähler non unirule, allora anche la fibra centrale $X_0$ è biolomorfa a $S$.

• Ciò risolve il problema della "non deformabilità globale" per le varietà non unirule sotto morfismi Kähler.

4. Significato e Contributo

1. Risoluzione di una Congettura: Il lavoro risponde positivamente alla Domanda 1.1, stabilendo che per la vasta classe delle varietà Kähler non unirule, la rigidità locale è sufficiente a garantire la rigidità globale. Ciò estende risultati precedenti noti solo per le superfici generali minimali.
2. Applicazione dello Spazio dei Moduli: Il lavoro dimostra la potenza della proprietà di Hausdorff dello spazio dei moduli delle varietà polarizzate non unirule nella risoluzione di problemi di deformazione. Utilizza efficacemente la separazione dello spazio dei moduli per prevenire il "salto" delle classi di isomorfismo in una famiglia.
3. Innovazione Tecnica: La costruzione di una classe globale $\alpha$ che rimane una classe Kähler su un insieme aperto denso (e si estende all'intera famiglia tramite la condizione non unirule) è un'applicazione sofisticata del teorema di Demailly-Păun e degli spazi di cicli di Barlet.
4. Implicazioni per la Non Deformabilità Globale: I risultati forniscono risposte affermate forti al problema della non deformabilità globale per le varietà non unirule, completando i risultati esistenti per gli spazi proiettivi e gli spazi omogenei razionali (che sono spesso unirule o hanno strutture specifiche).

Riepilogo

Mu-Lin Li dimostra che nel regno della geometria Kähler, se una varietà compatta non unirule non può essere deformata localmente, non può essere deformata globalmente affatto. La dimostrazione poggia sulla costruzione di una polarizzazione globale per la famiglia e sull'utilizzo della natura separata del corrispondente spazio dei moduli per mostrare che una mappa di deformazione localmente costante deve essere globalmente costante.