Remarks on quadratic left Bol algebras

Resumo Técnico: Observações sobre Álgebras de Bol Quadráticas Esquerdas

1. Problema e Contexto
O artigo aborda a generalização da teoria de Lie para estruturas não associativas, especificamente focando nas álgebras de Bol (que surgem como álgebras tangentes a laços de Bol suaves). Embora a teoria de representações e estruturas quadráticas (metrizáveis) seja bem estabelecida para álgebras de Lie, álgebras de Mal'tsev e sistemas triplos de Lie, a literatura sobre álgebras de Bol quadráticas é escassa.

O problema central investigado é a definição e o estudo sistemático de álgebras de Bol quadráticas (esquerdas), incluindo:

• A formulação precisa de uma estrutura quadrática (presença de uma forma bilinear simétrica não degenerada invariante) neste contexto.
• A investigação de representações duais (especificamente a representação coadjunta) para álgebras de Bol.
• A construção de novas álgebras a partir de álgebras existentes através de extensões, análogas às extensões $T^*$ conhecidas para sistemas triplos de Lie.

2. Metodologia
O autor utiliza uma abordagem algébrica estrutural baseada em:

• Definições Axiomáticas: Revisão das identidades que definem uma álgebra de Bol esquerda (operações binária e ternária) e a introdução de formas bilineares simétricas invariantes.
• Análise de Representações: Estudo das representações de álgebras de Bol (definidas anteriormente por Nourou Issa) e a construção de suas representações duais. O foco é determinar sob quais condições a representação dual (coadjunta) é válida, especialmente para álgebras não necessariamente quadráticas.
• Construção de Extensões: Definição de uma extensão $T^*$ (extensão pela representação dual) para álgebras de Bol quadráticas, generalizando o conceito existente para sistemas triplos de Lie.
• Classificação em Baixa Dimensão: Análise de álgebras de Bol reais de dimensão 2 para testar a existência de estruturas quadráticas.
• Cálculos de Identidades: Uso extensivo de identidades de invariância (condições associativas e invariantes à direita/esquerda) e propriedades de cociclos para provar a validade das novas construções.

3. Contribuições Principais e Resultados

• Definição de Álgebra de Bol Quadrática:
  O autor define formalmente uma álgebra de Bol quadrática como um par $(T, b)$, onde $T$ é uma álgebra de Bol esquerda e $b$ é uma forma bilinear simétrica não degenerada que satisfaz condições de invariância tanto para a operação binária quanto para a ternária. O artigo demonstra que, em sistemas triplos de Lie, as condições de invariância à direita e à esquerda são equivalentes, justificando a definição unificada.

• Classificação em Dimensão 2:
  Um resultado significativo é a demonstração de que não existem álgebras de Bol reais quadráticas de dimensão 2 com operação binária não nula.

  • A única álgebra de Bol quadrática de dimensão 2 sobre $\mathbb{R}$ é um sistema triplo de Lie (onde a operação binária é nula).
  • Isso é provado analisando a classificação de álgebras de Bol de dimensão 2 e mostrando que qualquer tentativa de definir uma forma bilinear não degenerada invariante leva a uma forma degenerada se a operação binária for não trivial.

• Representações Duais e Co-adjuntas:

  • Para uma álgebra de Bol quadrática, o autor define a representação coadjunta $(T^*, l^*, -R^*\iota, L-R^*\iota)$ e prova que ela é isomorfa à representação adjunta.
  • Para álgebras de Bol gerais (não necessariamente quadráticas), a construção de uma representação dual direta não funciona automaticamente. O artigo estabelece condições necessárias e suficientes (equações 3.4 e 3.5) para que a representação dual seja válida. Se essas condições não forem satisfeitas, a estrutura dual não constitui uma representação de álgebra de Bol no sentido estrito.

• Extensão $T^*$:
  O conceito de extensão $T^*$ é introduzido para álgebras de Bol quadráticas. Dada uma álgebra quadrática $(T, b)$ e um cociclo $(2,3)$ $(\nu, \omega)$ relativo à sua representação coadjunta, constrói-se uma nova álgebra $T_{\nu, \omega} = T \oplus T^*$.

  • O artigo prova que esta nova estrutura é uma álgebra de Bol.
  • Define-se uma forma bilinear estendida $\tilde{b}$ que é não degenerada e invariante se e somente se o cociclo $\omega$ satisfizer uma condição de simetria específica (equivalente à condição de invariância à esquerda/direita).
  • Isso permite a construção de uma cadeia infinita de álgebras de Bol quadráticas a partir de uma única álgebra inicial.

• Relação com Álgebras de Mal'tsev:
  O trabalho estabelece conexões claras, mostrando que álgebras de Mal'tsev quadráticas (ou "quasi-clássicas") induzem naturalmente estruturas de álgebras de Bol quadráticas através de suas operações associadas.

4. Significado e Impacto
Este trabalho preenche lacunas na teoria de álgebras não associativas ao:

1. Estabelecer a base teórica para o estudo de estruturas quadráticas em álgebras de Bol, um campo anteriormente pouco explorado em comparação com álgebras de Lie ou sistemas triplos de Lie.
2. Clarificar a limitação dimensional, mostrando que a riqueza das estruturas quadráticas em álgebras de Bol só aparece em dimensões superiores a 2 (caso a operação binária seja não nula).
3. Generalizar a teoria de extensões, fornecendo uma ferramenta poderosa (extensão $T^*$) para gerar exemplos e classificar álgebras de Bol quadráticas, similar ao que é feito na teoria de álgebras de Lie e sistemas triplos de Lie.
4. Conectar representações e dualidade, elucidando as condições sob as quais a dualidade funciona em contextos não quadráticos, o que é crucial para o desenvolvimento de uma teoria de cohomologia e deformações para essas álgebras.

Em suma, o artigo fornece o arcabouço necessário para investigar a geometria diferencial e a estrutura algébrica de laços de Bol através de suas álgebras tangentes quadráticas, abrindo caminho para futuras pesquisas sobre solvabilidade, semissimplicidade e cohomologia neste contexto.