Hom-unitality and hom-associative structures

Resumo Técnico: Hom-unitalidade e Estruturas Hom-Associativas

Autores: Germán García Butenegro, Abdennour Kitouni e Sergei Silvestrov.
Contexto: O artigo investiga a interseção entre álgebras hom-associativas e a propriedade de unitalidade (presença de elemento identidade), focando especificamente em álgebras que podem ser não associativas, unilaterais (esquerda ou direita) ou bilaterais.

1. Problema e Motivação

As álgebras hom-associativas são generalizações das álgebras associativas clássicas, onde a identidade de associatividade é deformada por um mapa linear de torção ($\alpha$). O problema central abordado é a compreensão da relação entre a unitalidade (existência de um elemento identidade $1$ tal que $1 \cdot x = x$) e a hom-unitalidade (existência de um elemento $\omega$ tal que $\omega \cdot x = \alpha(x)$).

A literatura previa que álgebras hom-associativas unilaterais ou bilaterais tendem a ser muito próximas das álgebras associativas clássicas, especialmente quando o mapa de torção é injetor ou sobrejetor. O objetivo deste trabalho é:

• Estabelecer condições precisas para a hom-associatividade em termos de unities laterais e operadores de multiplicação.
• Caracterizar os mapas de torção multiplicativos (onde $\alpha(xy) = \alpha(x)\alpha(y)$) em álgebras unilaterais.
• Descrever a estrutura de "hom-unities" (elementos que induzem hom-associatividade via multiplicação) em álgebras não unitalizadas, utilizando processos de unitalização.
• Aplicar esses resultados a classes importantes de álgebras não associativas, como álgebras de Cayley-Dickson, álgebras de Leibniz e suas variantes hom.

2. Metodologia

Os autores utilizam uma abordagem algébrica estrutural baseada em:

• Operadores de Multiplicação: A análise do mapa de torção $\alpha$ como um operador de multiplicação por um elemento específico da álgebra (ex: $\alpha = L_{\omega}$ ou $\alpha = R_{\omega}$).
• Subespaços Definidos por Relações: Definição de subespaços específicos ($AC(A)$, $AC_l(A)$, $AC_r(A)$) compostos por elementos que satisfazem condições de comutação, associação e anulação de divisores de zero.
• Técnicas de Unitalização: Para álgebras sem identidade, o artigo emprega o processo padrão de unitalização ($\tilde{A} = A \oplus \mathbb{F}$) para descrever subálgebras de hom-unities que induzem estruturas hom-associativas.
• Análise de Núcleos e Aniquiladores: Uso extensivo do núcleo relativo ($N(A)$), centro ($Z(A)$) e aniquiladores ($Ann(A)$) para caracterizar as condições de hom-associatividade.
• Estudo de Casos Específicos: Aplicação das teorias gerais a exemplos concretos como números complexos, quatérnios, octonions, sedenions e álgebras de Leibniz.

3. Contribuições e Resultados Chave

A. Álgebras Hom-Associativas Unilaterais (Seções 3 e 5)

• Caracterização do Mapa de Torção: Em álgebras unilaterais (ex: à esquerda com unidade $1_l$), o mapa de torção $\alpha$ é necessariamente um operador de multiplicação à esquerda por $\alpha(1_l)$.
• Condição de Multiplicatividade: O artigo estabelece que um mapa de torção $\alpha$ é multiplicativo se e somente se o elemento gerador $\alpha(1_l)$ for idempotente ($\alpha(1_l)^2 = \alpha(1_l)$). Isso conecta diretamente a multiplicatividade à existência de idempotentes na álgebra.
• Subálgebra de Hom-Unities: Define-se o subespaço $AC_l(A)$ cujos elementos satisfazem relações de comutação e associação específicas. O subespaço $AC_l(A) \cdot 1_l$ forma uma subálgebra comutativa e associativa da álgebra original.
• Bijecção: Existe uma bijecção entre os mapas compatíveis com hom-associatividade e os elementos de $AC_l(A) \cdot 1_l$. Os mapas multiplicativos correspondem exatamente aos elementos idempotentes desse subespaço.
• Impossibilidade em Domínios: Demonstra-se que não existem domínios (ou álgebras de divisão) hom-associativos unilaterais não triviais; eles devem ser ou triviais ou associativos clássicos.

B. Álgebras Hom-Associativas Bilaterais (Seção 4)

• Reformulação do Subálgebra $AC(A)$: Para álgebras bilaterais unitalizadas, o subespaço de mapas compatíveis é dado por $AC(A) = Z(A) \cap N(A) \cap Ann_l([A,A,A]_{as})$. Isso generaliza resultados anteriores de Frégier e Gohr.
• Aplicação às Álgebras de Cayley-Dickson:
  • Para $\mathbb{C}$ (complexos): $AC(\mathbb{C}) = \mathbb{C}$ (todas as multiplicações à esquerda são compatíveis).
  • Para $\mathbb{H}$ (quatérnios): $AC(\mathbb{H}) = \mathbb{R}$ (apenas múltiplos reais da identidade).
  • Para $\mathbb{O}$ (octonions) e $\mathbb{S}$ (sedenions): $AC = \{0\}$. Isso implica que não existem estruturas hom-associativas não triviais induzidas por multiplicação nestas álgebras, devido à perda de associatividade e à presença de divisores de zero.

C. Álgebras Não Unitalizadas (Seção 6)

• Processo de Unitalização: Como álgebras não unitalizadas não possuem uma bijecção direta entre mapas e hom-unities, os autores utilizam a unitalização $\tilde{A}$.
• Caracterização via Autovalores: O subespaço de hom-unities em $\tilde{A}$ é descrito em termos de autoespaços dos operadores de multiplicação. Especificamente, elementos $(b, \mu) \in \tilde{A}$ induzem hom-associatividade se $b$ estiver no núcleo e o associador estiver contido no autoespaço de $L_b$ associado ao autovalor $-\mu$.
• Álgebras de Leibniz:
  • Mostra-se que álgebras de Leibniz com unidade não trivial e produto não nulo são incompatíveis (o produto colapsa para zero).
  • Utilizando a unitalização, identifica-se um subespaço de hom-unities dentro dos elementos 3-nilpotentes da álgebra de Leibniz.
  • Demonstra-se que certas torções em álgebras de Leibniz hom-unitalizadas podem gerar álgebras de hom-Lie.

D. Álgebras de Leibniz Hom e Hom-Associatividade (Seção 5.3 e 6.1)

• Estabelece-se uma incompatibilidade fundamental: em uma álgebra hom-Leibniz, a presença de uma unidade em um lado (ex: esquerda) é incompatível com a identidade hom-Leibniz no mesmo lado, a menos que o mapa de torção seja zero. No entanto, pode ser compatível com a identidade no lado oposto.

4. Significado e Impacto

Este trabalho avança significativamente a teoria das álgebras hom-associativas ao:

1. Clarificar a Multiplicatividade: Demonstra que a multiplicatividade em estruturas hom-unitalizadas é uma condição extremamente restritiva, frequentemente forçando a álgebra a ser associativa ou trivial, a menos que existam idempotentes específicos.
2. Unificar a Análise: Fornece uma estrutura unificada para analisar álgebras unilaterais e bilaterais, mostrando como as propriedades de um lado influenciam a estrutura global.
3. Resolver Casos Abertos: Oferece descrições explícitas para a existência (ou inexistência) de estruturas hom-associativas em álgebras de divisão e nas álgebras de Cayley-Dickson de dimensão superior, onde a associatividade falha.
4. Aplicabilidade: As ferramentas desenvolvidas (especialmente o uso de unitalização e análise de autoespaços) são aplicáveis a outras classes de álgebras não associativas, como as álgebras de Leibniz e hom-Leibniz, oferecendo novos caminhos para a construção de álgebras de hom-Lie e deformações quânticas.

Em suma, o artigo estabelece que a "hom-unitalidade" é uma ferramenta poderosa para classificar e restringir a estrutura de álgebras hom-associativas, revelando que a verdadeira liberdade para deformações não triviais reside em álgebras que não possuem unidades fortes ou que possuem elementos idempotentes específicos que não forçam a associatividade clássica.