On the Moser trick for Lie subalgebras and foliations

Resumen Técnico: Sobre el Truco de Moser para Subálgebras de Lie y Foliaciones

Planteamiento del Problema
El artículo aborda el problema de caracterizar la trivialidad suave de las deformaciones en el contexto de los algebroides de Lie. Se centra específicamente en dos casos límite de algebroides de Lie: las subálgebras de Lie y las foliaciones. Si bien la teoría de deformación para algebroides de Lie ha sido establecida (notablemente por Crainic y Moerdijk), el autor busca proporcionar pruebas directas y autónomas para estos casos particulares. La cuestión central es establecer condiciones necesarias y suficientes bajo las cuales una deformación suave de una subálgebra de Lie o de una foliación es "trivial" (es decir, equivalente a la deformación constante mediante una familia suave de automorfismos o difeomorfismos). Una motivación particular es extender estos resultados a algebroides de Lie generales donde la cuasi-isomorfía entre diferentes complejos de deformación (que se cumple para las foliaciones) generalmente falla.

Metodología
El autor emplea un enfoque de teoría de deformación basado en el complejo de Chevalley-Eilenberg y el "truco de Moser" (un método que involucra campos de vectores dependientes del tiempo y flujos para construir equivalencias).

1. Subálgebras de Lie e Ideales (Sección 2):

   • El autor asocia una familia de cociclos a una deformación suave de un morfismo de álgebras de Lie, una subálgebra de Lie o un ideal de Lie.
   • Al derivar las ecuaciones que definen estas estructuras con respecto al parámetro de deformación $t$, el autor deriva condiciones que involucran la derivada temporal de las aplicaciones de deformación.
   • La técnica central consiste en construir campos de vectores dependientes del tiempo en los grupos de Lie o espacios vectoriales pertinentes. Se demuestra que la existencia de una solución a una ecuación diferencial específica (que involucra el cociclo de deformación y un campo de vectores dependiente del tiempo) es equivalente a la trivialidad de la deformación.
   • Las demostraciones se basan en la existencia local de flujos para campos de vectores dependientes del tiempo y la unicidad de las curvas integrales.

2. Foliaciones (Sección 3):

   • El artículo trata una foliación como una distribución involutiva. Una deformación suave se define como una foliación en $M \times I$ tangente a las secciones.
   • El autor utiliza el complejo de deformación de las foliaciones, identificado con $(\Omega^\bullet(\mathcal{F}; \nu(\mathcal{F})), d^\nabla)$, donde $\nu(\mathcal{F})$ es el haz normal y $\nabla$ es la conexión de Bott.
   • Se define un "cociclo de deformación" $\sigma_t$ como la derivada temporal de la proyección sobre la foliación.
   • El truco de Moser se implementa construyendo un campo de vectores dependiente del tiempo en la variedad producto $M \times I$. Se muestra que la involutividad de un subhaz específico $D$ (construido a partir de la foliación total y el campo de vectores) es equivalente al desvanecimiento del cociclo de deformación en la cohomología.

Contribuciones Clave y Resultados

• Subálgebras de Lie (Teorema 2.2): El artículo establece un criterio cohomológico para la trivialidad de una deformación suave de una subálgebra de Lie $(h, \iota) \subset g$. Demuestra que una deformación es $Aut(g)$-trivial si y solo si la cocadena asociada $\pi_{can} \circ \dot{\iota}_t$ (la proyección de la derivada temporal de la aplicación de inclusión) se anula en la cohomología del complejo de deformación $C^\bullet_{\iota_t}(h_t; g/\iota_t(h_t))$.
• Ideales de Lie (Teoremo 2.3): Se deriva un criterio análogo para la deformación de un ideal de Lie dentro de una secuencia exacta de álgebras de Lie. La trivialidad de la deformación está vinculada al desvanecimiento de un cociclo específico en el complejo $C^\bullet_{\pi_t}(g; Hom(h_t, k_t))$.
• Truco de Moser para Foliaciones (Teorema 3.7): El autor proporciona una prueba directa del truco de Moser para foliaciones. El resultado principal establece que una deformación suave $(F_t)_{t \in I}$ de una foliación $F$ en una variedad compacta $M$ es trivial si y solo si los cociclos de deformación $\sigma_t$ se desvanecen suavemente en cohomología (es decir, $[\sigma_t] = 0$ en $H^1(F_t; \nu(F_t))$).
• Refinamiento de Resultados Existentes (Lema 3.8): El artículo demuestra que una deformación trivial siempre produce un cociclo de deformación exacto, recuperando un resultado de Heitsch [10] pero bajo supuestos más débiles (eliminando la necesidad de un campo vectorial completo en la variedad ambiente).

Significación y Reivindicaciones
El artículo afirma proporcionar una "prueba directa" del truco de Moser para foliaciones que se basa únicamente en el complejo de deformación de la foliación vista como una distribución involutiva, en lugar de invocar la maquinaria más amplia de la teoría de deformación de algebroides de Lie.

El autor señala que, si bien la teoría de deformación de los algebroides de Lie (Crainic-Moerdijk) implica el resultado para las foliaciones vía una cuasi-isomorfía, esta cuasi-isomorfía no se cumple generalmente para algebroides de Lie subyacentes arbitrarios. Por lo tanto, las técnicas desarrolladas aquí —específicamente los análogos infinitesimales de los trucos de Moser para subálgebras de Lie e ideales— están destinadas a servir como base para extender los resultados de trivialidad a algebroides de Lie generales, una tarea que el autor indica es objeto de un trabajo posterior [1].

El trabajo es modesto en su alcance, centrándose en establecer las condiciones cohomológicas necesarias y suficientes para la trivialidad en estos entornos geométicos específicos sin proponer nuevas aplicaciones experimentales o teorías físicas amplias. Sirve como un puente técnico entre la teoría de deformación de álgebras de Lie y la teoría más compleja de los algebroides de Lie.