Extendability of foliations

Sintesi Tecnica: Estendibilità delle Foliazioni

Enunciato del Problema
Questo articolo affronta il problema dell'estensione delle foliazioni oloomorfe singolari. Data una varietà liscia $X$ immersa in una varietà più grande $Y$ (specificamente un'immersione regolare di codimensione 1), e una foliazione $\mathcal{F}$ su $X$, la questione centrale è se esista una foliazione su $Y$ che si restringa a $\mathcal{F}$ su $X$. Gli autori investigano questo problema sia in ambito analitico che algebrico, considerando $Y$ come uno spazio ambiente generale o, specificamente, come lo spazio totale di una deformazione di $X$ (la teoria degli srotolamenti o unfoldings).

Metodologia
Gli autori utilizzano un approccio geometrico formale, analizzando il problema dell'estensione a livello di vicinato infinitesimi $X^{(n)}$ di $X$ in $Y$. La strategia procede in due fasi principali:

1. Analisi Infinitesimale: Gli autori costruiscono la teoria degli ostacoli per l'estensione di una foliazione da $X^{(n-1)}$ a $X^{(n)}$. Utilizzano il fascere delle parti principali lungo la distribuzione, denotato $P_{\mathcal{F}, L}$, per descrivere lo spazio delle possibili estensioni.

   • Stabiliscono che l'insieme delle estensioni di una distribuzione è agito trasitivamente da $H^0(X, P_{\mathcal{F}, N_{X/Y}^{\otimes -n}})$.
   • Identificano il sottospazio delle estensioni integrabili tramite una condizione di nucleo (kernel) che coinvolge la differenziale della 1-forma definitoria, portando al fascere $P^{\text{int}}_{\mathcal{F}, N_{X/Y}^{\otimes -n}}$.
   • Crucialmente, relazionano gli ostacoli all'estensione di foliazioni integrabili ai gruppi di coomologia $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$, dove $\mathcal{I}_{\text{Per}}$ è il fascere ideale delle singolarità persistenti (persistent singularities, ovvero singolarità che non possono essere rimosse tramite uno srotolamento).

2. Algebraizzazione: Una volta stabilite le estensioni formali (ovvero le estensioni al vicinato formale $\hat{X}_{/Y}$), gli autori applicano la condizione di Lefschetz efficace, $\text{Leff}(X, Y)$. Questa condizione assicura che i fasci vettoriali e le sezioni formali possano essere algebraizzati in oggetti algebrici (o analitici) effettivi in un vicinato di $X$ in $Y$.

Contributi Chiave e Risultati

• Esistenza di Estensioni (Teorema 1.1 & Corollari 1.2, 1.3):
  L'articolo dimostra che se $X \subseteq Y$ è un'immersione regolare di codimensione 1, $\mathcal{F}$ ha singolarità non ostruite e il gruppo di coomologia $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}} \otimes N_{X/Y}^{\otimes -n})$ svanisce per tutti $n \geq 1$, allora $\mathcal{F}$ ammette un'estensione formale. Se la condizione di Lefschetz efficace $\text{Leff}(X, Y)$ è soddisfatta (il che è vero se $X$ è un divisore ampio in una varietà proiettiva liscia $Y$), questa estensione formale si algebraizza in una foliazione globale su $Y$.

  • Questo risultato viene applicato per mostrare che le foliazioni su divisori ampi si estendono sotto specifiche condizioni di svanimento della coomologia.
  • È inoltre applicato agli srotolamenti (unfoldings): se $H^1(X, \mathcal{I}_{\text{Per}} \otimes N_{\mathcal{F}}) = 0$, ogni foliazione con singolarità non ostruite si srotola lungo qualsiasi deformazione di $X$.

• Criteri di Positività (Teorema 1.4):
  Gli autori forniscono un criterio basato sulla positività dell'immersione rispetto al fibrato normale della foliazione. Se $X$ è un divisore ampio in $Y$, $\dim(X) \geq 3$, e il fibrato $N_{\mathcal{F}}^{\otimes 2} \otimes N_{X/Y}^{\otimes -1}$ è anti-ampio, allora ogni foliazione con singolarità non ostruite si estende univocamente a $Y$. Questo recupera e generalizza risultati precedenti (ad esempio, da [Fig23]) riguardanti le foliazioni su ipersuperfici nello spazio proiettivo.

• Unicità e il Problema Zak-L'vovsky Foliato (Sezione 5):
  L'articolo investiga l'unicità delle estensioni. Introduce un analogo foliato del problema di Zak-L'vovsky (che chiede se le estensioni di sottovarietà siano coni).

  • Gli autori definiscono le foliazioni Camacho-Lins Neto regolar, caratterizzate dallo svanimento degli spazi di estensione $\text{Ex}_n(\mathcal{F}, N_{X/Y})$.
  • Dimostrano che se questi spazi di estensione svaniscono, l'estensione della foliazione è unica.
  • Viene stabilita una dicotomia: se $X$ è un divisore ampio e l'estensione è univoca, allora o l'estensione è unica, o $X$ è un iperpiano e l'estensione è un cono.

• Vicinati Tubolari e Rigidità (Teorema 1.5 & 1.6):
  L'articolo collega l'esistenza di vicinati tubolari all'estendibilità delle foliazioni.

  • Teorema 1.5: Se $X$ ha una foliazione con singolarità rigide (singolarità dove lo spazio di srotolamento del primo ordine è banale) che si estende a $Y$, e determinati gruppi di coomologia svaniscono, allora $X$ ammette un vicinato tubolare. Se $Y$ è proiettiva e $X$ è ampia, ciò conduce alla dicotomia menzionata sopra.
  • Teorema 1.6 (Generalizzazione di Gómez-Mont): Gli autori dimostrano che se una foliazione $\mathcal{F}$ su una varietà liscia propria $X$ ha singolarità rigide e $H^1(X, T_{\mathcal{F}}) = 0$, allora ogni srotolamento di $\mathcal{F}$ è analiticamente banale. Questo generalizza i risultati precedenti per superfici e classi specifiche di foliazioni su $\mathbb{P}^m$.

Significato e Ambito
L'articolo sostiene di fornire un quadro unificato per comprendere l'estensione delle foliazioni combinando la teoria delle deformazioni formali con le condizioni globali di positività. La sua importanza risiede nel:

1. Generalizzare la Teoria degli Srotolamenti: Estende la teoria degli srotolamenti (precedentemente studiata da Suwa, Gómez-Mont e altri) ad arbitrarie deformazioni e spazi ambiente, non limitandosi a casi specifici.
2. Connettere le Singolarità alla Geometria Globale: Collega esplicitamente la natura locale delle singolarità (persistenti vs rigide) agli ostacoli globali tramite il fascere $\mathcal{I}_{\text{Per}}$.
3. Risultati di Unicità: Offre nuove condizioni sufficienti per l'unicità delle estensioni delle foliazioni, contribuendo alla teoria dei moduli delle foliazioni.

Gli autori mantengono un tono modesto, osservando che i loro risultati dipendono da specifiche condizioni di svanimento della coomologia e dalla condizione di Lefschetz efficace. Non pretendono di risolvere il problema dell'estensione per tutte le foliazioni, ma forniscono risposte affermative per una vasta classe di singolarità "non ostruite" e "rigide" sotto condizioni di immersione positiva. Il lavoro è presentato come un contributo alla migliore comprensione della teoria dei moduli delle foliazioni e della geometria delle restrizioni/estensioni.