Non-isomorphic restricted Lie algebras with isomorphic restricted enveloping algebras

Resumo Técnico: Álgebras de Lie Restritas Não Isomórficas com Álgebras Envelopantes Restritas Isomórficas

Enunciado do Problema
O artigo aborda o Problema da Isomorfia Restrita, um análogo modular do clássico Problema da Isomorfia Modular para álgebras de grupo. O problema questiona se uma álgebra de Lie restrita $L$ de dimensão finita sobre um corpo $F$ de característica $p > 0$ é unicamente determinada por sua álgebra envolvente restrita $u(L)$. Especificamente, se $u(L) \cong u(H)$ como $F$-álgebras, $L \cong H$ deve ser verdade como álgebras de Lie restritas?

Embora o problema tenha sido resolvido positivamente para classes específicas (ex: álgebras abelianas, metacíclicas ou $p$-nilpotentes sobre corpos perfeitos em certas dimensões) e negativamente para álgebras envolventes universais ordinárias $U(\mathfrak{g})$ em característica prima, o caso geral para álgebras de Lie restritas permanecia em aberto. O autor observa que resultados positivos anteriores para álgebras $p$-nilpotentes sugeriam uma potencial resposta afirmativa para esta classe, particularmente sobre corpos perfeitos.

Metodologia
O autor constrói contraexemplos explícitos para o Problema da Isomorfia Restrita sobre corpos de característica positiva arbitrária. A metodologia envolve:

1. Construção Caso a Caso:
   • Característica 2: Uma família paramétrica de álgebras $L_k$ e $H_k$ é construída sobre $\mathbb{F}_2$. Estas álgebras são definidas por bases específicas, mapas-$p$ (mapas-2) e colchetes não nulos. A construção baseia-se nas identidades específicas da característica 2, tais como $(x+y)^2 = x^2 + y^2 + [x,y]$.
   • Característica Ímpar: Uma família distinta $L_{p,k}$ e $H_{p,k}$ é construída sobre $\mathbb{F}_p$ para primos ímpares $p$. Esta construção adapta o mecanismo do caso da característica 2, mas requer definições de colchete diferentes e utiliza a invertibilidade de 2 para definir elementos centrais específicos.
2. Verificação de Isomorfia: Para cada par, o autor define um mapa $\phi$ nos geradores de $u(L)$ para palavras nos geradores de $u(H)$. Verifica-se rigorosamente que suas imagens satisfazem as relações definidoras (comutadores e relações de potência-$p$) de $u(L)$, estabelecendo assim um homomorfismo de álgebra bem definido. A sobrejetividade é provada mostrando que os geradores de $u(H)$ pertencem à imagem, e a injetividade decorre da igualdade de dimensões (garantida pelo teorema de Poincaré–Birkhoff–Witt).
3. Generalização: Usando a propriedade de que as álgebras envolventes restritas comutam com extensões escalares ($u(L \otimes_{\mathbb{F}_p} F) \cong u(L) \otimes_{\mathbb{F}_p} F$), os resultados são estendidos de corpos primos para qualquer corpo $F$ de característica $p$.
4. Processo de Descoberta: O autor observa que os exemplos iniciais foram descobertos via busca computacional guiada por "invariantes determinados" (como quocientes de subálgebra de dimensão), procurando especificamente por pares onde as dimensões das subálgebras derivadas diferiam ($\dim L' \neq \dim H'$) enquanto outros invariantes graduados coincidiam.

Contribuições e Resultados Principais
O resultado primário é o Teorema 5.2, que afirma:
Seja $F$ um corpo de característica $p > 0$. Para todo inteiro $n \geq p + 5$, existem álgebras de Lie restritas $p$-nilpotentes $L$ e $H$ sobre $F$ tais que:

• $\dim L = \dim H = n$.
• $u(L) \cong u(H)$ como $F$-álgebras.
• $\dim L' = p$ e $\dim H' = p + 1$.

Consequentemente, $L$ e $H$ não são isomórficas como álgebras de Lie restritas (e nem mesmo como álgebras de Lie ordinárias) porque suas subálgebras derivadas possuem dimensões diferentes.

Significância e Alegações
O artigo afirma fornecer uma solução negativa para o Problema da Isomorfia Restrita sobre cada corpo de característica positiva. A significância deste resultado é tripla:

1. Resolução de Problemas em Aberto: Responde negativamente ao Problema 6 (existência de um contraexemplo) e ao Problema 9 (se a resposta é positiva para álgebras $p$-nilpotentes sobre corpos perfeitos) do levantamento de Usefi [17].
2. Limite de Determinabilidade: Os resultados demonstram que a álgebra envolvente restrita $u(L)$ não determina a dimensão da subálgebra derivada $L'$, nem a série central inferior de $L$, mesmo dentro da classe das álgebras $p$-nilpotentes. Isso estabelece um limite nítido para os invariantes capturados por $u(L)$; embora determine a álgebra de Lie restrita graduada associada $\text{gr } L$ e quocientes como $L/(L'^p + \gamma_3(L))$, falha em capturar a dimensão da subálgebra derivada.
3. Distinção de Álgebras Envolventes Ordinárias: O artigo esclarece que o fenômeno é específico do contexto restrito. Para a álgebra envolvente universal ordinária $U(\mathfrak{g})$, o isomorfismo $U(L) \cong U(H)$ implicaria $\dim(L/L') = \dim(H/H')$. Como os pares construídos possuem $\dim(L/L') \neq \dim(H/H')$, segue-se que $U(L) \not\cong U(H)$. Assim, os contraexemplos dependem crucialmente do colapso do fechamento-$p$ da subálgebra derivada no quociente comutativo da álgebra envolvente restrita.

O autor conclui que o problema da isomorfia restrita tem uma resposta negativa mesmo para álgebras $p$-nilpotentes sobre corpos perfeitos, resolvendo uma questão de longa data na teoria de representação de álgebras de Lie restritas.