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

Resumo Técnico: O Envelope de Arens–Michael de uma Álgebra de Lie Solúvel é um Epimorfismo Homológico

Enunciado do Problema
O artigo aborda uma questão relativa às propriedades homológicas do envelope de Arens–Michael da álgebra de envelope universal $U(\mathfrak{g})$ de uma álgebra de Lie complexa de dimensão finita $\mathfrak{g}$. Especificamente, investiga sob quais condições o homomorfismo canônico $\iota: U(\mathfrak{g}) \to \widehat{U}(\mathfrak{g})$ (onde $\widehat{U}(\mathfrak{g})$ denota o envelope de Arens–Michael) constitui um epimorfismo homológico.

Um epimorfismo homológico é um conceito introduzido por J. Taylor como uma forma enfraquecida de achatamento (frequentemente denominada "localização absoluta" ou "estavelmente plana"). Sua significância primária reside na preservação das homologias e cohomologias de Hochschild. Embora Taylor tenha estabelecido que essa propriedade ocorre para álgebras de Lie abelianas e falha para as semissimples, e Pirkovskii tenha provado posteriormente que a solubilidade é uma condição necessária, a suficiência da solubilidade permanecia um problema em aberto para álgebras solúveis gerais (não nilpotentes), com apenas casos específicos de baixa dimensão previamente resolvidos.

Metodologia
O autor emprega uma combinação de técnicas de análise funcional e álgebra homológica relativa para provar a suficiência da solubilidade. A estratégia central envolve uma abordagem indutiva baseada na decomposição estrutural das álgebras de Lie solúveis.

1. Decomposição Estrutural: A prova baseia-se em uma decomposição da álgebra de Lie solúvel $\mathfrak{g}$ em uma soma semidireta iterada de subálgebras unidimensionais. Isso induz uma correspondente decomposição da álgebra de envelope universal $U(\mathfrak{g})$ em um produto smash iterado (especificamente, uma estrutura de extensão de Ore iterada).
2. Produtos Smash Analíticos: Em vez de depender exclusivamente de extensões de Ore analíticas (como usado em trabalhos anteriores sobre casos de baixa dimensão), o autor utiliza produtos smash analíticos ($A \mathbin{\hat{\#}} H$) envolvendo $\hat{\otimes}$-álgebras de Hopf. O envelope de Arens–Michael $\widehat{U}(\mathfrak{g})$ é mostrado ser isomorfo a um produto smash analítico iterado de álgebras $A_s$ específicas (completamentos de anéis polinomiais com seminorms específicas).
3. Epimorfismos Homológicos Relativos: O artigo adapta uma técnica desenvolvida por Pirkovskii envolvendo epimorfismos homológicos relativos. O objetivo é mostrar que o mapa entre os produtos smash iterados da álgebra de envelope e seu envelope é um epimorfismo homológico em cada etapa da indução.
4. Ferramentas Técnicas Principais:
   • Propriedade (UDE): A "Propriedade de Extensão Única" para derivações é central. O artigo prova que certos homomorfismos satisfazem essa propriedade e que ela é preservada sob pushouts e produtos smash analíticos.
   • Diagramas de Pushout: O autor utiliza pushouts na categoria de $\hat{\otimes}$-álgebras para estabelecer que a propriedade de ser um epimorfismo homológico é preservada ao mover-se do nível algébrico para o nível de completamento analítico.
   • Álgebras Relativamente Quasi-Livres: A prova aproveita o fato de que extensões de Ore são relativamente quasi-livres, o que simplifica a verificação de condições homológicas.

Contribuições e Resultados Principais
O resultado primário do artigo é o Teorema 4.1, que afirma:

Seja $\mathfrak{g}$ uma álgebra de Lie complexa de dimensão finita. Então o homomorfismo do envelope de Arens–Michael $U(\mathfrak{g}) \to \widehat{U}(\mathfrak{g})$ é um epimorfismo homológico se, e somente se, $\mathfrak{g}$ é solúvel.

Este resultado completa a classificação iniciada por Taylor e Pirkovskii. As contribuições técnicas específicas incluem:

• Generalização de Casos de Baixa Dimensão: O artigo estende os resultados anteriormente conhecidos para a álgebra não abeliana de duas dimensões e a álgebra de Heisenberg de três dimensões para todas as álgebras de Lie solúveis de dimensão finita.
• Teorema 4.2: Um novo resultado estabelecendo que o produto smash analítico de dois epimorfismos homológicos (com imagem densa) é, por si só, um epimorfismo homológico. Isso generaliza teoremas anteriores referentes a extensões de Ore.
• Teorema 4.3: Uma generalização do Teorema 1.2 de Pirkovskii, fornecendo condições suficientes para um homomorfismo ser um epimorfismo homológico relativo de dois lados baseado na Propriedade de Extensão Única (UDE) e na quasi-livreza relativa, sem exigir que o mapa seja um envelope de Arens–Michael em etapas intermediárias.
• Preservação de (UDE): O artigo prova que a Propriedade de Extensão Única para derivações é preservada sob pushouts e produtos smash analíticos (Teorema 3.1), um passo crucial para o argumento indutivo.

Significância e Alegações
O autor afirma que este trabalho fornece a resposta final à questão de quando o envelope de Arens–Michael é um epimorfismo homológico para álgebras de envelope universal. A suficiência da solubilidade é estabelecida através de um argumento indutivo rigoroso que supera as limitações de métodos anteriores, que não podiam lidar diretamente com o caso geral de alta dimensão solúvel devido à falha dos completamentos intermediários em serem extensões de Ore analíticas.

O artigo posiciona-se como parte de um projeto maior referente a completamentos de álgebras de envelope universal e álgebras de funcionais analíticos. Embora o texto atual foque nas propriedades homológicas da álgebra de envelope, o autor observa que as técnicas de decomposição desenvolvidas aqui (produtos smash analíticos iterados) são aplicáveis a outros completamentos e serão utilizadas em trabalhos futuros relativos às propriedades homológicas de álgebras de funcionais analíticos.

O autor reconhece que uma tentativa de prova anterior (anunciada em 2018) continha uma lacuna, e o texto atual apresenta um argumento diferente e corrigido, baseado na interação entre produtos smash analíticos e epimorfismos homológicos relativos.