The Arens-Michael envelope of a solvable Lie algebra is a homological epimorphism

Resumen Técnico: El envolvente de Arens–Michael de una álgebra de Lie resoluble es un epimorfismo homológico

Planteamiento del problema
El artículo aborda una cuestión relativa a las propiedades homológicas del envolvente de Arens–Michael de la álgebra de envolvente universal $U(\mathfrak{g})$ de una álgebra de Lie compleja de dimensión finita $\mathfrak{g}$. Específicamente, investiga bajo qué condiciones el homomorfismo canónico $\iota: U(\mathfrak{g}) \to \widehat{U}(\mathfrak{g})$ (donde $\widehat{U}(\mathfrak{g})$ denota el envolvente de Arens–Michael) constituye un epimorfismo homológico.

Un epimorfismo homológico es un concepto introducido por J. Taylor como una forma debilitada de la planitud (a menudo denominada "localización absoluta" o "establemente plana"). Su importancia principal radica en la preservación de las homologías y cohomologías de Hochschild. Mientras que Taylor estableció que esta propiedad se cumple para álgebras de Lie abelianas y falla para las semisimples, y Pirkovskii demostró posteriormente que la resolubilidad es una condición necesaria, la suficiencia de la resolubilidad seguía siendo un problema abierto para álgebras de Lie resolubles generales (no nilpotentes), habiéndose resuelto previamente solo casos específicos de baja dimensión.

Metodología
El autor emplea una combinación de técnicas de análisis funcional y álgebra homológica relativa para demostrar la suficiencia de la resolubilidad. La estrategia central consiste en un enfoque inductivo basado en la descomposición estructural de las álgebras de Lie resolubles.

1. Descomposición estructural: La demostración se basa en una descomposición del álgebra de Lie resoluble $\mathfrak{g}$ en una suma semidirecta iterada de subálgebras unidimensionales. Esto induce una correspondencia de descomposición en el álgebra de envolvente universal $U(\mathfrak{g})$ en una extensión de producto smash iterada (específicamente, una estructura de extensión de Ore iterada).
2. Productos smash analíticos: En lugar de depender únicamente de extensiones de Ore analíticas (como se utilizó en trabajos previos sobre casos de baja dimensión), el autor utiliza productos smash analíticos ($A \mathbin{\hat{\#}} H$) que involucran $\hat{\otimes}$-álgebras de Hopf. Se muestra que el envolvente de Arens–Michael $\widehat{U}(\mathfrak{g})$ es isomorfo a un producto smash analítico iterado de álgebras $A_s$ específicas (completaciones de anillos polinómicos con seminormas específicas).
3. Epimorfismos homológicos relativos: El artículo adapta una técnica desarrollada por Pirkovskii que involucra epimorfismos homológicos relativos. El objetivo es demostrar que el mapa entre los productos smash iterados del álgebra de envolvente y su envolvente es un epimorfismo homológico en cada paso de la inducción.
4. Herramientas técnicas clave:
   • Propiedad (UDE): La "Propiedad de Extensión Única" para derivaciones es central. El artículo demuestra que ciertos homomorfismos satisfacen esta propiedad y que esta se preserva bajo pushouts y productos smash analíticos.
   • Diagramas de Pushout: El autor utiliza pushouts en la categoría de $\hat{\otimes}$-álgebras para establecer que la propiedad de ser un epimorfismo homológico se preserva al pasar del nivel algebraico al nivel de completación analítica.
   • Álgebras relativamente cuasi-libres: La demostración aprovecha el hecho de que las extensiones de Ore son relativamente cuasi-libres, lo que simplifica la verificación de las condiciones homológicas.

Contribuciones y resultados clave
El resultado principal del artículo es el Teorema 4.1, que establece:

Sea $\mathfrak{g}$ un álgebra de Lie compleja de dimensión finita. Entonces el homomorfismo del envolvente de Arens–Michael $U(\mathfrak{g}) \to \widehat{U}(\mathfrak{g})$ es un epimorfismo homológico si y solo si $\mathfrak{g}$ es resoluble.

Este resultado completa la clasificación iniciada por Taylor y Pirkovskii. Las contribuciones técnicas específicas incluyen:

• Generalización de casos de baja dimensión: El artículo extiende los resultados previamente conocidos para el álgebra no abeliana de dos dimensiones y el álgebra de Heisenberg de tres dimensiones a todas las álgebras de Lie resolubles de dimensión finita.
• Teorema 4.2: Un nuevo resultado que establece que el producto smash analítico de dos epimorfismos homológicos (con rango denso) es, a su vez, un epimorfismo homológico. Esto generaliza teoremas previos respecto a las extensiones de Ore.
• Teorema 4.3: Una generalización del Teorema 1.2 de Pirkovskii, que proporciona condiciones suficientes para que un homomorfismo sea un epimorfismo homológico relativo bilateral basándose en la Propiedad de Extensión Única (UDE) y la cuasi-libertad relativa, sin requerir que el mapa sea un envolvente de Arens–Michael en los pasos intermedios.
• Preservación de (UDE): El artículo demuestra que la Propiedad de Extensión Única para derivaciones se preserva bajo pushouts y productos smash analíticos (Teorema 3.1), un paso crucial para el argumento inductivo.

Significado y afirmaciones
El autor afirma que este trabajo proporciona la respuesta definitiva a la pregunta de cuándo el envolvente de Arens–Michael es un epimorfismo homológico para las álgebras de envolvente universal. La suficiencia de la resolubilidad se establece mediante un riguroso argumento inductivo que supera las limitaciones de los métodos anteriores, los cuales no podían manejar directamente el caso general de alta dimensión de las álgebras resolubles debido al fallo de las completaciones intermedias en ser extensiones de Ore analíticas.

El artículo se posiciona como parte de un proyecto más amplio relativo a las completaciones de las álgebras de envolvente universal y las álgebras de funcionales analíticos. Si bien el texto actual se centra en las propiedades homológicas del álgebra de envolvente, el autor señala que las técnicas de descomposición desarrolladas aquí (productos smash analíticos iterados) son aplicables a otras completaciones y serán utilizadas en trabajos futuros relacionados con las propiedades homológicas de las álgebras de funcionales analíticos.

El autor reconoce que un intento de demostración previo (anunciado en 2018) contenía una laguna, y el presente texto presenta un argumento diferente y corregido que se apoya en la interacción entre los productos smash analíticos y los epimorfismos homológicos relativos.