Splitting aspects of holomorphic distributions with locally free tangent sheaf

Sintesi Tecnica: Scomposizione degli Aspetti di Distribuzioni Olomorfe con Fascio Tangente Localmente Libero

Enunciato del Problema
Il saggio affronta le proprietà strutturali delle distribuzioni olomorfe singolari $D$ di dimensione $k$ su varietà complesse (specificamente $\mathbb{P}^n$ per $n \ge 3$ o germi nell'origine di $\mathbb{C}^n$), concentrandosi sul caso in cui il fascio tangente $T_D$ è localmente libero. Una questione centrale nel campo, precedentemente posta in [1], riguarda se il fascio tangente di una foliazione di codimensione uno su $\mathbb{P}^3$ con un fascio tangente localmente libero debba necessariamente scomporrili in una somma diretta di fasci lineari (ovvero $T_F \cong \bigoplus \mathcal{O}_{\mathbb{P}^3}(e_i)$). Mentre un lavoro recente [15] ha fornito una risposta negativa per le distribuzioni non integrabili (specificamente le strutture di contatto), questo studio investiga le condizioni sufficienti sotto le quali tale scomposizione avviene, in particolare quando la distribuzione ammette una foliazione tangente monodimensionale $G$.

Il problema centrale (Problema 2) è formulato come segue: data una distribuzione bidimensionale $D$ con un fascio tangente localmente libero e una foliazione monodimensionale $G$ tangente a $D$, sotto quali condizioni esiste un'altra foliazione monodimensionale $H$ tangente a $D$ tale che $T_D = T_G \oplus T_H$?

Metodologia
L'autore impiega una combinazione di geometria algebrica locale, teoria dei fasci e metodi combinatori basati su grafi diretti.

1. Divisione Locale e Rango Lineare: Il saggio introduce il concetto di "divisione locale", in cui una foliazione $G$ divide localmente una distribuzione $D$ in un punto $p$ se la forma definente di $D$ può essere espressa come il prodotto interno del campo vettoriale che definisce $G$ e un'altra forma. Un invariante chiave utilizzato è il "rango lineare" di un campo vettoriale (o di una foliazione) in una singolarità, definito come il rango della parte lineare del campo vettoriale.
2. Caratterizzazione Teoretica dei Fasci: L'autore stabilisce equivalenze tra la scomposizione del fascio, la libertà locale del fascio quoziente $T_D/T_G$ e la proprietà per cui $G$ divide localmente $D$. Il Lemma 4.6 e la Proposizione 4.8 sono cruciali, collegando la scomposizione del fascio al fatto che $T_G$ sia un sottobundlo di $T_D$.
3. Analisi Globale su $\mathbb{P}^n$: Per il caso proiettivo, l'analisi si basa sulle proprietà di intersezione degli insiemi singolari. L'autore utilizza il fatto che in $\mathbb{P}^n$, i componenti irriducibili di certe dimensioni devono intersecarsi, permettendo di trarre conclusioni globali dalle proprietà di divisione locale.
4. Teoria dei Grafi Combinatoria: Nella dimostrazione del Teorema C (specificamente per i campi vettoriali nilpotenti), l'autore costruisce grafi diretti (ss-digraphs) che rappresentano l'azione della derivata di Lie sugli spazi di forme omogenee. Analizzando cammini, cicli, sorgenti e pozzi in questi grafi, l'autore dimostra che certi coefficienti nelle forme definenti delle foliazioni devono annullarsi, stabilendo così condizioni di molteplicità algebrica per le singolarità.
5. Verifica Computazionale: Il saggio utilizza il software Maple per risolvere sistemi di equazioni lineari derivanti dalle condizioni di tangenza e integrabilità, in particolare nelle dimostrazioni della Proposizione 6.1 e del Teorema C per casi di basso grado.

Contributi Chiave e Risultati

• Teorema A (Scomposizione Locale): Per un germe di una distribuzione $k$-dimensionale $D$ con un fascio tangente localmente libero e una foliazione tangente $G$ con rango lineare almeno $k$, il saggio dimostra che o $T_D$ si decompone come $T_G \oplus T_{H_1} \oplus \dots \oplus T_{H_{k-1}}$, o la distribuzione è regolare. Questa scomposizione avviene se e solo se l'insieme singolare di $G$ è contenuto nell'insieme singolare di $D$.
• Teorema B (Scomposizione Globale su $\mathbb{P}^n$): Per una distribuzione bidimensionale $D$ su $\mathbb{P}^n$ ($n \ge 3$) con un fascio tangente localmente libero e una foliazione tangente $G$ con rango lineare almeno 2, l'esistenza di una scomposizione $T_D = T_G \oplus T_H$ è equivalente alla condizione che ogni componente irriducibile di $\text{sing}(G)$ di dimensione $n-2$ intersezchi $\text{sing}(D)$. In particolare, se $\dim(\text{sing}(D)) \ge 2$ e $n \ge 4$, $T_D$ si decompone sempre.
• Teorema C (Codimensione Uno su $\mathbb{P}^3$): Se $F$ è una foliazione olomorfa di codimensione uno su $\mathbb{P}^3$ con un fascio tangente localmente libero, e esiste un campo vettoriale olomorfo non nullo su $\mathbb{P}^3$ tangente a $F$, allora $T_F$ si decompone. Questo risultato è significativo in quanto fornisce una risposta positiva al Problema 1 sotto la specifica condizione dell'esistenza di un campo vettoriale tangente.
• Proprietà di Divisione: Il saggio perfeziona il Lemma di Divisione di De Rham-Saito. Esso fornisce condizioni alternative affinché un campo vettoriale divida una forma differenziale basate sul rango della parte lineare del campo vettoriale (Proposizione 5.17) e sul rango della parte lineare di una 1-forma (Proposizione 5.19). Si dimostra che tali risultati sono applicabili in situazioni non coperte dai lemmi classici.
• Corollario 6.22: Estendendo i risultati alle distribuzioni non integrabili, il saggio mostra che una distribuzione di codimensione uno $D$ su $\mathbb{P}^3$ con un fascio tangente localmente libero e grado $\deg(D) \ge 1$ si decompone se esiste un campo vettoriale olomorfo non nilpotente tangente ad essa.

Significato e Rivendicazioni
Il saggio sostiene di fornire un quadro esaustivo per comprendere la scomposizione dei fasci tangenti per le distribuzioni olomorfe. Introducendo il concetto di divisione locale e caratterizzando l'insieme $S(G, D)$ (punti in cui la divisione fallisce), l'autore stabilisce criteri geometrici precisi (intersezione degli insiemi singolari) per la scomposizione.

Il lavoro è presentato come un'estensione degli studi precedenti sulle foliazioni [1, 4, 8, 9, 16] e offre una risoluzione parziale del problema aperto riguardante la scomposizione dei fasci tangenti per le foliazioni di codimensione uno su $\mathbb{P}^3$. L'autore osserva che, sebbene le distribuzioni non integrabili di grado 0 (strutture di contatto) non si de cappongano, la presenza di un campo vettoriale tangente (specificamente non nilpotente per grado $\ge 1$) forza la scomposizione del fascio tangente.

Il saggio si conclude ponendo il Problema 3: Se una foliazione olomorfa di codimensione uno su $\mathbb{P}^3$ ha un fascio tangente localmente libero e nessuna ipersuperficie invariante (e quindi nessun primo integrale razionale), il suo fascio tangente deve necessariamente scomporre? L'autore suggerisce che, basandosi su controesempi noti (che possiedono primi integrali razionali), la risposta potrebbe essere affermativa, ma ciò rimane una questione aperta. I risultati sono inquadrati come fornitori di condizioni sufficienti e criteri di divisione che fungono da alternative o complementi ai risultati classici come il Lemma di Divisione di De Rham-Saito.