On the Moser trick for Lie subalgebras and foliations

Sintesi Tecnica: Sul Trucco di Moser per Sottosubalgebre di Lie e Fogliazioni

Enunciato del Problema
Il saggio affronta il problema della caratterizzazione della trivialità regolare delle deformazioni nel contesto delle algebre di Lie. Si concentra specificamente su due casi limite delle algebre di Lie: le sottosubalgebre di Lie e le fogliazioni. Sebbene la teoria delle deformazioni per le algebre di Lie sia stata stabilita (in particolare da Crainic e Moerdijk), l'autore mira a fornire prove dirette e autosufficienti per questi specifici casi limite. La questione centrale è stabilire le condizioni necessarie e sufficienti affinché una deformazione regolare di una sottosubalgebra di Lie o di una fogliazione sia "triviale" (ovvero equivalente alla deformazione costante tramite una famiglia regolare di automorfismi o diffeomorfismi). Una particolare motivazione è quella di estendere questi risultati alle generiche sottocalgebre di Lie, dove la quasi-isomorfia tra diversi complessi di deformazione (che invece sussiste per le fogliazioni) generalmente fallisce.

Metodologia
L'autore impiega un approccio basato sulla teoria delle deformazioni radicato nel complesso di Chevalley-Eilenberg e sul "trucco di Moser" (un metodo che coinvolge campi vettoriali dipendenti dal tempo e flussi per costruire equivalenze).

1. Sottosubalgebre di Lie e Ideali (Sezione 2):

   • L'autore associa una famiglia di cocicli a una deformazione regolare di un morfismo di algebre di Lie, di una sottosubalgebra di Lie o di un ideale di Lie.
   • Differenziando le equazioni definitorie di queste strutture rispetto al parametro di deformazione $t$, l'autore deriva condizioni che coinvolgono la derivata temporale delle mappe di deformazione.
   • La tecnica centrale consiste nel costruire campi vettoriali dipendenti dal tempo sulle relative algebre di Lie o spazi vettoriali. Si dimostra che l'esistenza di una soluzione a una specifica equazione differenziale (che coinvolge il cociclo di deformazione e un campo vettoriale dipendente dal tempo) è equivalente alla trivialità della deformazione.
   • Le prove si basano sull'esistenza locale dei flussi per i campi vettoriali dipendenti dal tempo e sull'unicità delle curve integrali.

2. Fogliazioni (Sezione 3):

   • Il saggio tratta una fogliazione come una distribuzione involutiva. Una deformazione regolare è definita come una fogliazione su $M \times I$ tangente alle sezioni.
   • L'autore utilizza il complesso di deformazione delle fogliazioni, identificato con $(\Omega^\bullet(\mathcal{F}; \nu(\mathcal{F})), d^\nabla)$, dove $\nu(\mathcal{F})$ è il fibrato normale e $\nabla$ è la connessione di Bott.
   • Un "cociclo di deformazione" $\sigma_t$ viene definito come la derivata temporale della proiezione sulla fogliazione.
   • Il trucco di Moser viene implementato costruendo un campo vettoriale dipendente dal tempo sul manifold prodotto $M \times I$. Si dimostra che l'involutività di un particolare sottobundolo $D$ (costruito dal totale fogliamento e dal campo vettoriale) è equivalente all'annullamento del cociclo di deformazione in coomologia.

Contributi Chiave e Risultati

• Sottosubalgebre di Lie (Teorema 2.2): Il saggio stabilisce un criterio coomologico per la trivialità di una deformazione regolare di una sottosubalgebra di Lie $(h, \iota) \subset g$. Dimostra che una deformazione è $Aut(g)$-triviale se e solo se la cocatena associata $\pi_{can} \circ \dot{\iota}_t$ (la proiezione della derivata temporale della mappa di inclusione) si annulla nella coomologia del complesso di deformazione $C^\bullet_{\iota_t}(h_t; g/\iota_t(h_t))$.
• Ideali di Lie (Teorema 2.3): Un criterio analogo viene derivato per la deformazione di un ideale di Lie all'interno di una sequenza esatta breve di algebre di Lie. La trivialità della deformazione è legata all'annullamento di un cociclo specifico nel complesso $C^\bullet_{\pi_t}(g; Hom(h_t, k_t))$.
• Trucco di Moser per le Fogliazioni (Teorema 3.7): L'autore fornisce una prova diretta del trucco di Moser per le fogliazioni. Il risultato principale afferma che una deformazione regolare $(F_t)_{t \in I}$ di una fogliazione $F$ su un manifold compatto $M$ è triviale se e solo se i cocicli di deformazione $\sigma_t$ si annullano regolarmente in coomologia (ovvero, $[\sigma_t] = 0$ in $H^1(F_t; \nu(F_t))$).
• Raffinatezza dei Risultati Esistenti (Lemma 3.8): Il saggio dimostra che una deformazione triviale produce sempre un cociclo di deformazione esatto, recuperando un risultato di Heitsch [10] ma sotto ipotesi più deboli (rimuovendo la necessità di un campo vettoriale completo sul manifold ambiente).

Significato e Rivendicazioni
Il saggio rivendica di fornire una "prova diretta" del trucco di Moser per le fogliazioni che si basa esclusivamente sul complesso di deformazione della fogliazione vista come distribuzione involutiva, piuttosto che invocare l'ampio apparato della teoria delle deformazioni delle algebre di Lie.

L'autore osserva che, sebbene la teoria delle deformazioni per le algebre di Lie (Crainic-Moerdijk) implichi il risultato per le fogliazioni tramite una quasi-isomorfia, tale quasi-isomorfia non sussiste generalmente per le generiche sottocalgebre di Lie. Pertanto, le tecniche qui sviluppate — specificamente gli analoghi infinitesimali dei trucchi di Moser per le sottosubalgebre e gli ideali di Lie — sono intese a servire come fondamento per estendere i risultati di trivialità alle generiche sottocalgebre di Lie, un compito che l'autore indica essere oggetto di un lavoro successivo [1].

Il lavoro è modesto nella sua portata, concentrandosi sull'instaurazione delle necessarie e sufficienti condizioni coomologiche per la trivialità in questi specifici contesti geometrici senza proporre nuove applicazioni sperimentali o ampie teorie fisiche. Esso funge da ponte tecnico tra la teoria delle deformazioni delle algebre di Lie e la teoria più complessa delle algebre di Lie.