A classification of nilpotent compatible Lie algebras

Resumo Técnico: Uma Classificação de Álgebras de Lie Compatíveis Nilpotentes

Enunciado do Problema
O artigo aborda o problema de classificação de álgebras de Lie compatíveis nilpotentes sobre um corpo arbitrário de característica diferente de 2. Uma álgebra de Lie compatível é definida como um espaço vetorial $\mathfrak{g}$ equipado com dois colchetes de Lie, $[-,-]$ e $\{-,-\}$, de tal modo que qualquer combinação linear $\lambda[-,-] + \mu\{-,-\}$ permanece um colchete de Lie. Esta condição é equivalente a satisfazer uma "identidade de Jacobi mista". Embora as álgebras de Lie compatíveis surjam em vários contextos, incluindo a equação de Yang-Baxter clássica, sistemas integráveis e teoria de deformação, uma classificação estrutural completa, particularmente para o caso nilpotent, não havia sido estabelecida até a dimensão 4. Os autores visam preencher esta lacuna estendendo as técnicas de classificação existentes para esta variedade algébrica específica.

Metodologia
Os autores generalizam o método de Skjelbred-Sund, originalmente desenvolvido para classificar álgebras de Lie nilpotentes, para o contexto de álgebras com dois produtos. O núcleo de sua abordagem baseia-se no seguinte arcabouço teórico:

1. Teoria de Cohomologia: Utilizando a teoria de cohomologia para álgebras de Lie compatíveis introduzida em [15], os autores definem extensões centrais via 2-cocycles. Eles estabelecem que qualquer álgebra de Lie compatível finita-dimensional pode ser construída como uma sequência de extensões centrais partindo da álgebra de dimensão zero.
2. Extensões Centrais e Admissibilidade: Uma extensão central $\mathfrak{g}_\omega$ de uma álgebra de Lie compatível $\mathfrak{g}$ por um espaço vetorial $V$ é construída usando um cocycle $\omega \in Z^2(\mathfrak{g}, V)$. Os autores focam em extensões centrais "cheias" onde o centro da extensão é exatamente $V$. Eles introduzem o conceito de cocycles "admissíveis", que garantem que a extensão seja cheia e não possua "componentes centrais" (somandos diretos da forma $\mathfrak{i} \oplus Kx$ onde $x$ é central).
3. Critério de Isomorfismo: O artigo prova que duas extensões centrais cheias $\mathfrak{g}_\omega$ e $\mathfrak{g}_\theta$ são isomórficas se, e somente se, seus cocycles correspondentes pertencem à mesma órbita sob a ação do grupo de automorfismos $\text{Aut}(\mathfrak{g})$ e do grupo linear geral $\text{GL}(V)$. Especificamente, eles reduzem o problema de classificação à determinação das órbitas de subespaços no segundo grupo de cohomologia $H^2(\mathfrak{g}, K)$ sob a ação de $\text{Aut}(\mathfrak{g})$.
4. Classificação Algorítmica: Um algoritmo indutivo é proposto:
   • Começar com a classificação de álgebras de Lie compatíveis nilpotentes até a dimensão $n-1$.
   • Para cada álgebra $\mathfrak{g}$ na lista, computar seu centro, grupo de automorfismos e segundo grupo de cohomologia.
   • Identificar cocycles admissíveis (aqueles com interseção de anulador trivial com o centro).
   • Computar as órbitas da ação de $\text{Aut}(\mathfrak{g})$ nos subespaços relevantes de $H^2(\mathfrak{g}, K)$.
   • Construir extensões para cada órbita e adicionar álgebras com componentes centrais (somas diretas com centros de dimensão 1).

Principais Contribuições

• Extensão de Skjelbred-Sund: O artigo adapta com sucesso o método de Skjelbred-Sund para a variedade de álgebras de Lie compatíveis, provando os teoremas necessários relativos a extensões centrais e critérios de isomorfismo para álgebras com dois produtos.
• Tratamento de Esquisomorfismo: Os autores definem e distinguem explicitamente entre isomorfismo ($\cong$) e esquisomorfismo ($\cong$), onde os dois colchetes são trocados. Eles fornecem uma lista completa de esquisomorfismos entre as álgebras classificadas, observando que algumas álgebras são auto-esquisomórficas enquanto outras formam pares.
• Classificação Explícita: Os autores fornecem uma classificação completa e explícita de todas as álgebras de Lie compatíveis nilpotentes até a dimensão 4.

Resultados
A classificação é apresentada para um corpo base $K$ de característica $\neq 2$. Os resultados são resumidos como segue:

• Dimensões 1 e 2: Existe apenas uma classe de isomorfismo em cada dimensão, ambas sendo abelianas.
• Dimensão 3:
  • Existem 3 classes de isomorfismo e 1 família de um parâmetro.
  • As classes incluem a álgebra abeliana, duas álgebras onde apenas um colchete é não-trivial (isomórficas à álgebra de Heisenberg em um colchete e abelianas no outro) e uma família onde ambos os colchetes são não-triviais e proporcionais.
• Dimensão 4:
  • Existem 12 classes de isomorfismo, 6 famílias de um parâmetro e 1 família de dois parâmetros.
  • A classificação inclui álgebras com componentes centrais (somas diretas de álgebras de dimensões inferiores) e extensões não-triviais.
  • As classes de isomorfismo dependem das propriedades do corpo. Especificamente, para famílias envolvendo parâmetros $\beta$, as álgebras $NCL_{4,9}^\beta$ e $NCL_{4,14}^\beta$ são isomórficas se, e somente se, a razão de seus parâmetros possui uma raiz cúbica em $K$.
  • Se o corpo base for cubicamente fechado (todo elemento possui uma raiz cúbica), o número de classes de isomorfismo distintas reduz-se: as famílias de um parâmetro colapsam para classes únicas, e a família de dois parâmetros reduz-se a uma família de um parâmetro.

O artigo fornece uma tabela abrangente (Seção 4.5) listando todas as álgebras até a dimensão 4, suas relações definidoras e a dimensão de seus centros. A Seção 4.6 detalha as relações de esquisomorfismo, mostrando que muitas álgebras na lista são esquisomórficas a outras na lista (por exemplo, $NCL_{3,2} \cong NCL_{3,3}$), enquanto algumas são auto-esquisomórficas.

Significância
O artigo afirma sua significância ao fornecer a primeira classificação completa de álgebras de Lie compatíveis nilpotentes em baixas dimensões. Este trabalho serve como um passo fundamental para análises estruturais futuras destas álgebras, que são relevantes na física matemática (por exemplo, estruturas bi-hamiltonianas e sistemas integráveis). Ao estabelecer a maquinaria cohomológica e o algoritmo de classificação, os autores possibilitam extensões futuras para dimensões mais altas e outras variedades de estruturas algébricas compatíveis. Os resultados também esclarecem a relação entre os dois colchetes de Lie, demonstrando que a condição de compatibilidade impõe restrições estruturais específicas que distinguem estas álgebras de pares simples de álgebras de Lie.