Factorizations, classifying complements problem and deformation maps for Lie-Yamaguti algebras

Resumo Técnico: Fatorizações, Problema de Classificação de Complementos e Mapas de Deformação para Álgebras de Lie-Yamaguti

1. Declaração do Problema e Contexto
As álgebras de Lie-Yamaguti são estruturas algébricas não associativas que generalizam tanto as álgebras de Lie quanto os sistemas triples de Lie, caracterizadas por uma operação binária e uma operação ternária. Este artigo aborda três problemas interconectados dentro deste quadro:

• O Problema de Fatorização: Descrever e classificar as álgebras de Lie-Yamaguti $E$ que se decompõem em duas subálgebras $g$ e $h$ (isto é, $E = g + h$ e $g \cap h = \{0\}$).
• O Problema de Classificação de Complementos: Dada uma inclusão $g \subset E$, identificar e classificar todas as subálgebras $h$ que complementam $g$ em $E$.
• Mapas de Deformação: Investigar aplicações lineares que relacionam essas estruturas, as quais unificam vários operadores, tais como homomorfismos, derivações, homomorfismos cruzados e operadores de Rota-Baxter.

O artigo observa que, embora esses problemas sejam bem estudados para álgebras de Lie (frequentemente via produtos bicruzados e mapas de deformação), a presença da operação ternária nas álgebras de Lie-Yamaguti introduz complexidades específicas que exigem suposições "fortes" para estabelecer correspondências análogas.

2. Metodologia
O autor emprega uma abordagem estrutural fundamentada na teoria de pares acoplados e produtos bicruzados:

• Pares Acoplados e Produtos Bicruzados: O artigo utiliza o conceito de um par acoplado de álgebras de Lie-Yamaguti, envolvendo duas álgebras e ações mútuas que satisfazem condições específicas de compatibilidade. O produto bicruzado associado $g \bowtie h$ é construído para servir como modelo para álgebras fatorizadas.
• Caracterização por Gráfico: Uma ferramenta metodológica central é a análise do gráfico de uma aplicação linear $r: h \to g$. O artigo estabelece que $r$ é um mapa de deformação se e somente se seu gráfico for uma subálgebra de Lie-Yamaguti do produto bicruzado.
• Estruturas Cohomológicas e de $L_\infty$-Álgebras: Para estudar deformações, o autor constrói um complexo de cocorrentes e uma $L_\infty$-álgebra. Esta última é derivada de uma estrutura de "V-dados" envolvendo a álgebra de Lie graduada de aplicações multilineares no produto bicruzado. Isso permite a caracterização dos mapas de deformação como elementos de Maurer-Cartan.

3. Contribuições e Resultados Principais

• Fatorização e Fatorização Forte:
  O artigo distingue entre fatorização geral e fatorização forte. Diz-se que uma álgebra de Lie-Yamaguti $E$ fatoriza fortemente através de $g$ e $h$ se, além de $E = g+h$ e $g \cap h = \{0\}$, as operações ternárias satisfazem $Jg, h, hK \subset g$ e $Jh, g, gK \subset h$.

  • Teorema 3.7: Uma álgebra de Lie-Yamaguti fatoriza fortemente através de $g$ e $h$ se e somente se for isomorfa ao produto bicruzado $g \bowtie h$ associado a um par acoplado. O artigo observa que, sem a condição "forte", essa correspondência não necessariamente se mantém devido à operação ternária.

• Mapas de Deformação e Unificação:
  O autor define um mapa de deformação $r: h \to g$ dentro de um par acoplado.

  • Unificação: A definição é mostrada como generalizando homomorfismos, derivações, homomorfismos cruzados e operadores de Rota-Baxter relativos (de peso 0 e 1) em álgebras de Lie-Yamaguti.
  • Estruturas Induzidas: Um mapa de deformação $r$ induz uma nova estrutura de álgebra de Lie-Yamaguti no espaço vetorial $h$ (denotada $h_r$) e uma representação de $h_r$ em $g$.
  • Propriedade do Gráfico: Uma aplicação linear é um mapa de deformação se e somente se seu gráfico for uma subálgebra de Lie-Yamaguti do produto bicruzado.

• Classificação de Complementos:
  Abordando o problema de classificação de complementos para um complemento $g$-forte $h$ em $E$:

  • Teorema 4.9: Qualquer outro complemento $g$ em $E$ surge como o gráfico de um mapa de deformação $r: h \to g$ no par acoplado canônico associado a $(g, h)$.
  • Classificação: O conjunto das classes de isomorfismo de complementos $g$ em $E$ está em bijeção com o conjunto das classes de equivalência de mapas de deformação, denotado $DM(g, h) / \sim$. Isso define um "índice de fatorização" $[E:g]_f$.

• Cohomologia e $L_\infty$-Álgebras:

  • Cohomologia: O artigo define a cohomologia de um mapa de deformação $r$, que unifica as cohomologias dos vários operadores mencionados acima. Isso é construído usando a álgebra de Lie-Yamaguti induzida $h_r$ e sua representação em $g$.
  • Caracterização de Maurer-Cartan: O Teorema 5.6 estabelece que os mapas de deformação são precisamente os elementos de Maurer-Cartan de uma $L_\infty$-álgebra específica construída a partir do par acoplado.
  • Álgebra Governante: Para um dado mapa de deformação $r$, uma nova $L_\infty$-álgebra (a "álgebra governante") é construída torcendo a estrutura original por $r$. O Teorema 5.7 afirma que as deformações lineares de $r$ são controladas pelos elementos de Maurer-Cartan desta álgebra governante.

• Sistemas Triples de Lie:
  O artigo estende esses resultados para sistemas triples de Lie (onde o colchete binário é trivial), definindo pares acoplados, produtos bicruzados e mapas de deformação especificamente para esta subclasse.

4. Significado e Alegações
O artigo alega fornecer um quadro unificado para entender a fatorização e a classificação de complementos em álgebras de Lie-Yamaguti, espelhando resultados conhecidos para álgebras de Lie, mas adaptados para as complexidades da operação ternária.

• Demonstra que o produto bicruzado é o modelo estrutural correto para a fatorização forte.
• Introduz mapas de deformação como um conceito unificador que abrange vários operadores algébricos, permitindo assim que uma única teoria cohomológica descreva a teoria de deformação desses diversos operadores.
• Fornece uma caracterização de Maurer-Cartan para esses mapas, ligando a definição algébrica dos mapas de deformação à linguagem geométrica e homotópica das $L_\infty$-álgebras.
• A construção da $L_\infty$-álgebra governante oferece um mecanismo para controlar e classificar deformações lineares desses operadores, generalizando resultados existentes sobre operadores de Rota-Baxter e derivações.

O trabalho é apresentado como um desenvolvimento teórico dentro da álgebra não associativa, visando estender a teoria estrutural das álgebras de Lie para o contexto mais amplo das álgebras de Lie-Yamaguti, sem inventar novas aplicações ou propostas experimentais.