On the Moser trick for Lie subalgebras and foliations

Resumo Técnico: Sobre o Truque de Moser para Subálgebras de Lie e Foliações

Enunciado do Problema
O artigo aborda o problema de caracterizar a trivialidade suave de deformações no contexto de algebroides de Lie. Especificamente, foca-se em dois casos limites de algebroides de Lie: subálgebras de Lie e foliações. Embora a teoria de deformação para algebroides de Lie tenha sido estabelecida (notadamente por Crainic e Moerdijk), o autor busca fornecer provas diretas e autossuficientes para esses casos particulares de borda. A questão central é estabelecer condições necessárias e suficientes sob as quais uma deformação suave de uma subálgebra de Lie ou de uma foliação é "trivial" (ou seja, equivalente à deformação constante via uma família suave de automorfismos ou difeomorfismos). Uma motivação particular é estender esses resultados para subalgebroides de Lie gerais, onde o quase-isomorfismo entre diferentes complexos de deformação (que ocorre para foliações) geralmente falha.

Metodologia
O autor emprega uma abordagem de teoria de deformação fundamentada no complexo de Chevalley-Eilenberg e no "truque de Moser" (um método envolvendo campos vetoriais dependentes do tempo e fluxos para construir equivalências).

1. Subálgebras de Lie e Ideais (Seção 2):

   • O autor associa uma família de cociclos a uma deformação suave de um morfismo de álgebra de Lie, uma subálgebra de Lie ou um ideal de Lie.
   • Ao diferenciar as equações definidoras dessas estruturas em relação ao parâmetro de deformação $t$, o autor deriva condições envolvendo a derivada temporal das aplicações de deformação.
   • A técnica central envolve a construção de campos vetoriais dependentes do tempo nos grupos de Lie ou espaços vetoriais relevantes. A existência de uma solução para uma equação diferencial específica (envolvendo o cociclo de deformação e um campo vetorial dependente do tempo) é mostrada como sendo equivalente à trivialidade da deformação.
   • As provas baseiam-se na existência local de fluxos para campos vetoriais dependentes do tempo e na unicidade de curvas integrais.

2. Foliações (Seção 3):

   • O artigo trata uma foliação como uma distribuição involutiva. Uma deformação suave é definida como uma foliação em $M \times I$ tangente às secções.
   • O autor utiliza o complexo de deformação de foliações, identificado com $(\Omega^\bullet(\mathcal{F}; \nu(\mathcal{F})), d^\nabla)$, onde $\nu(\mathcal{F})$ é o feixe normal e $\nabla$ é a conexão de Bott.
   • Um "cociclo de deformação" $\sigma_t$ é definido como a derivada temporal da projeção sobre a foliação.
   • O truque de Moser é implementado através da construção de um campo vetorial dependente do tempo no manufoldo produto $M \times I$. A involutividade de um subfeixe específico $D$ (construído a partir da foliação total e do campo vetorial) é mostrada como equivalente ao desaparecimento do cociclo de deformação na cohomologia.

Contribuições Principais e Resultados

• Subálgebras de Lie (Teorema 2.2): O artigo estabelece um critério cohomológico para a trivialidade de uma deformação suave de uma subálgebra de Lie $(h, \iota) \subset g$. Prova-se que uma deformação é $Aut(g)$-trivial se, e somente se, a cocadeja associada $\pi_{can} \circ \dot{\iota}_t$ (a projeção da derivada temporal da aplicação de inclusão) desaparece na cohomologia do complexo de deformação $C^\bullet_{\iota_t}(h_t; g/\iota_t(h_t))$.
• Ideais de Lie (Teorema 2.3): Um critério análogo é derivado para a deformação de um ideal de Lie dentro de uma sequência exata curta de álgebras de Lie. A trivialidade da deformação está ligada ao desaparecimento de um cociclo específico no complexo $C^\bullet_{\pi_t}(g; Hom(h_t, k_t))$.
• Truque de Moser para Foliações (Teorema 3.7): O autor fornece uma prova direta do truque de Moser para foliações. O principal resultado afirma que uma deformação suave $(F_t)_{t \in I}$ de uma foliação $F$ em um manufoldo compacto $M$ é trivial se, e somente se, os cociclos de deformação $\sigma_t$ desaparecem suavemente em cohomologia (ou seja, $[\sigma_t] = 0$ em $H^1(F_t; \nu(F_t))$).
• Refinamento de Resultados Existentes (Lema 3.8): O artigo demonstra que uma deformação trivial sempre produz um cociclo de deformação exato, recuperando um resultado de Heitsch [10], mas sob suposições mais fracas (removendo a necessidade de um campo vetorial completo no manufoldo ambiente).

Significância e Alegações
O artigo alega fornecer uma "prova direta" do truque de Moser para foliações que depende unicamente do complexo de deformação da foliação vista como uma distribuição involutiva, em vez de invocar a maquinaria mais ampla da teoria de deformação de algebroides de Lie.

O autor observa que, embora a teoria de deformação de algebroides de Lie (Crainic-Moerdijk) implique o resultado para foliações via um quase-isomorfismo, este quase-isomorfismo não ocorre geralmente para subalgebroides de Lie arbitrários. Portanto, as técnicas desenvolvidas aqui — especificamente os análogos infinitesimais de truques de Moser para subálgebras de Lie e ideais — pretendem servir como uma base para estender os resultados de trivialidade para subalgebroides de Lie gerais, uma tarefa que o autor indica ser o objeto de trabalho subsequente [1].

O trabalho é modesto em seu escopo, focando no estabelecimento das condições cohomológicas necessárias e suficientes para a trivialidade nesses contextos geométicos específicos, sem propor novas aplicações experimentais ou amplas teorias físicas. Serve como uma ponte técnica entre a teoria de deformação de álgebras de Lie e a teoria mais complexa de algebroides de Lie.