Affine cohomology classes for filiform Lie algebras

Resumo Técnico: Classes de Cohomologia Afim para Álgebras de Lie Filiformes

Enunciado do Problema
O artigo aborda a formulação algébrica da questão de Milnor sobre a existência de estruturas afins esquerdas completas em grupos de Lie solváveis. Embora Auslander tenha provado que tais grupos devem ser solváveis, o inverso foi refutado pela descoberta de que grupos de Lie nilpotentes (especificamente álgebras filiformes de dimensões $10 \le n \le 13$) não admitem estruturas afins. O problema central é determinar quais álgebras de Lie nilpotentes admitem estruturas afins. Isso está ligado à existência de módulos fiéis de dimensão $n+1$ para uma álgebra de Lie de dimensão $n$. O artigo foca especificamente em álgebras de Lie filiformes, que são conhecidas por produzir limites inferiores para números de Betti e são as principais candidatas a contraexemplos para a existência de estruturas afins. O objetivo específico é classificar os espaços de segunda cohomologia $H^2(\mathfrak{g}, K)$ e determinar a existência de "classes de cohomologia afim" dentro deles.

Metodologia
O autor utiliza a classificação de álgebras de Lie filiformes via bases adaptadas e constantes de estrutura.

1. Bases Adaptadas e Constantes de Estrutura: Usando o resultado de Vergne, qualquer álgebra de Lie filiforme de dimensão $n$ é isomórfica a uma deformação $L_\psi$ da álgebra filiforme graduada padrão $L(n)$. Os colchetes de Lie são determinados por um 2-cociclo $\psi = \sum \alpha_{k,s} \psi_{k,s}$, onde $\alpha_{k,s}$ são constantes de estrutura.
2. Classificação em Subclasses: O artigo divide as álgebras filiformes em subclasses específicas ($A_{n,i}(K)$) baseadas em igualdades e desigualdades de suas constantes de estrutura (por exemplo, $\alpha_{3,6} \neq 0$). Isso evita a necessidade de uma classificação completa de todas as álgebras filiformes.
3. Computação de Cohomologia: O autor computa o espaço de 2-cículos $Z^2(\mathfrak{g}, K)$ e o grupo de segunda cohomologia $H^2(\mathfrak{g}, K) = Z^2/B^2$. Isso envolve resolver as equações da condição de cociclo derivadas das relações de colchete de Lie. Computações para dimensões $n \le 11$ foram realizadas utilizando o pacote de álgebra computacional REDUCE.
4. Definição de Classes Afins: Um 2-cociclo $\omega$ é definido como "afim" se for não nulo no produto exterior do centro $z(\mathfrak{g})$ e a álgebra $\mathfrak{g}$. Uma classe de cohomologia é afim se contém um representante afim.

Contribuições Principais e Resultados

• Classificação de $H^2(\mathfrak{g}, K)$ para $n \le 11$: O artigo fornece uma tabela completa dos espaços de cohomologia $H^2(\mathfrak{g}, K)$ para todas as álgebras de Lie filiformes de dimensão $3 \le n \le 11$. Para cada subclasse, a base do espaço de cohomologia é explicitamente descrita em termos de 2-cículos específicos ($\omega_1, \omega_2, \dots$) e indica se uma classe de cohomologia afim existe.
• Relação entre Cohomologia Afim e Estruturas Afins:
  • Teorema 3.5: Prova que, se uma álgebra de Lie filiforme $\mathfrak{g}$ admite uma extensão $0 \to \mathfrak{a} \to \mathfrak{h} \to \mathfrak{g} \to 0$ onde $\mathfrak{a}$ é o centro de $\mathfrak{h}$, então $\mathfrak{g}$ admite uma estrutura afim.
  • Proposição 3.4: Como um corolário, a existência de uma classe de cohomologia afim $[\omega] \in H^2(\mathfrak{g}, K)$ implica a existência de uma estrutura afim de "tipo canônico" em $\mathfrak{g}$.
• Números de Betti Mínimos e Não Existência:
  • Proposição 4.4: Álgebras filiformes com número de Betti segundo mínimo $b_2(\mathfrak{g}) = 2$ não admitem uma classe de cohomologia afim.
  • Teorema 4.11: Para a dimensão $n=13$, o artigo prova que nenhuma álgebra na classe $A^2_{13}(K)$ (que possui $b_2(\mathfrak{g})=2$) admite qualquer estrutura afim. Isso é demonstrado mostrando que a dimensão mínima de um módulo fiel $\mu(\mathfrak{g}) \ge 15$, enquanto uma estrutura afim exigiria $\mu(\mathfrak{g}) \le 14$.
• Resultados para Dimensões Superiores ($n \ge 12$):
  • Teorema 4.8: Para álgebras na classe $A^1_n(K)$ ($n \ge 12$), $b_2(\mathfrak{g}) \ge 3$, e uma classe de cohomologia afim sempre existe; portanto, elas admitem uma estrutura afim canônica.
  • Teorema 4.10: Para a classe $A^2_n(K)$ ($n \ge 13$), a existência de uma classe de cohomologia afim depende de uma condição polinomial específica $P_n \equiv 0$ nas constantes de estrutura. Se a condição não for atendida, $b_2(\mathfrak{g}) = 2$ e nenhuma classe de cohomologia afim existe.

Significância e Alegações
O artigo estabelece um vínculo direto entre a propriedade cohomológica de possuir um "2-cociclo afim" e a propriedade geométrica de admitir uma estrutura afim canônica. Ele confirma que, para álgebras filiformes com números de Betti segundos mínimos ($b_2=2$), a ausência de uma classe de cohomologia afim é um forte indicador da não existência de estruturas afins.

O autor afirma explicitamente que, para certas álgebras filiformes (especificamente aquelas em $A^2_{13}(K)$), a ausência de uma classe de cohomologia afim implica a não existência de qualquer estrutura afim, não apenas do tipo canônico. Isso fornece um conjunto concreto de contraexemplos à questão de Milnor em dimensão 13.

O artigo nota modestamente que, embora prove a não existência de estruturas afins para $n=13$ na subclasse específica $A^2_{13}(K)$, a questão geral de se contraexemplos existem em cada dimensão $n \ge 10$ permanece aberta. Também propõe um problema aberto: se a condição $\mu(\mathfrak{g}) \ge n+2$ é equivalente à não existência de uma classe de cohomologia afim para álgebras em $A^2_n(K)$ para $n \ge 13$. Os resultados apresentados são parciais, com algumas provas adiadas para uma versão estendida do artigo.