Anti-associative dendriform algebras

Resumo Técnico: Álgebras Dendriformes Anti-associativas

Enunciação do Problema e Motivação
O artigo aborda o problema de estender o quadro operádico de "divisão" de operações algébricas ao contexto de álgebras anti-associativas. Enquanto a divisão de operações associativas leva a álgebras dendriformes (introduzidas por Loday), e a divisão de estruturas Lie-admissíveis leva a álgebras pré-Lie, o autor investiga a estrutura análoga para álgebras anti-associativas.

A motivação decorre do desejo de completar um diagrama comutativo que relaciona categorias algébricas. Especificamente, o artigo busca estender a relação conhecida entre álgebras anti-associativas ($AAs$), álgebras Jacobi-Jordan ($J-J$) e álgebras pré-Jacobi-Jordan ($Pre-J-J$). Assim como as álgebras dendriformes situam-se no "canto superior esquerdo" do diagrama que relaciona álgebras associativas e pré-Lie, o autor postula a existência de uma categoria de "álgebras dendriformes anti-associativas" ($AAs\text{-}Dend$) que completa o diagrama para o caso anti-associativo.

Metodologia
O artigo emprega uma abordagem estrutural e operádica, utilizando os seguintes métodos:

1. Definição e Verificação: O autor define álgebras dendriformes anti-associativas como espaços vetoriais equipados com duas operações bilineares ($\succ, \prec$) tais que a sua soma é anti-associativa. As identidades específicas são derivadas exigindo que a estrutura algébrica induzida pertença à categoria de álgebras anti-associativas.
2. Teoria de Bimódulos: O artigo utiliza a teoria de bimódulos sobre álgebras anti-associativas para construir novas álgebras em somas diretas ($A \oplus V$). Isso é usado para caracterizar álgebras dendriformes anti-associativas através de estruturas de bimódulo compatíveis.
3. O-Operadores e Operadores de Rota-Baxter: O autor introduz O-operadores sobre álgebras anti-associativas como uma generalização dos operadores de Rota-Baxter. Esta ferramenta é utilizada para construir álgebras dendriformes anti-associativas a partir de álgebras anti-associativas existentes.
4. Cociclos de Connes: A relação entre cociclos de Connes não degenerados e estruturas dendriformes anti-associativas é explorada, especificamente no contexto de construções duplas na soma direta de uma álgebra e do seu dual.
5. Classificação: O artigo realiza uma classificação de álgebras de baixa dimensão (2-dimensionais) sobre os números complexos, analisando as restrições impostas pelas identidades definidoras às constantes de estrutura.

Principais Contribuições e Resultados

• Definição de Álgebras Dendriformes Anti-associativas:
  O artigo define uma álgebra dendriforme anti-associativa $(A, \succ, \prec)$ como um espaço vetorial onde as operações satisfazem:

  • $(x \succ y) \succ z = -x \succ (y \succ z)$
  • $x \prec (y \prec z) = -(x \prec y) \prec z$
  • $x \succ (y \prec z) = -(x \succ y) \prec z$
    onde o produto total $x * y = x \succ y + x \prec z$ é anti-associativo (satisfazendo $a*(b*c) + (a*b)*c = 0$).

• Completamento do Diagrama Comutativo:
  O Teorema 2.7 prova que a categoria $AAs\text{-}Dend$ completa o seguinte diagrama comutativo:
  $$\begin{array}{ccc} AAs\text{-}Dend & \to & Pre\text{-}J\text{-}J \\ \downarrow & & \downarrow \\ AAs & \to & J\text{-}J \end{array}$$
  Aqui, as setas verticais representam os funtores de esquecimento para a álgebra anti-associativa subjacente e a álgebra pré-Jacobi-Jordan associada, respetivamente.

• Caracterização via Bimódulos:
  O Teorema 2.8 estabelece que uma estrutura de álgebra dendriforme anti-associativa em $A$ é equivalente à existência de uma estrutura de bimódulo $(A, L_\succ, R_\prec)$ na álgebra anti-associativa associada $(A, *)$.

• O-Operadores e Operadores de Rota-Baxter:

  • Teorema 3.3: Demonstra que qualquer O-operador $T: V \to A$ associado a um bimódulo de uma álgebra anti-associativa induz uma estrutura dendriforme anti-associativa em $V$.
  • Teorema 3.5: Prova que uma álgebra anti-associativa admite uma estrutura dendriforme anti-associativa compatível se e somente se existir um O-operador invertível sobre ela.
  • Corolário 3.7: Mostra que a soma direta de uma álgebra dendriforme anti-associativa consigo mesma admite uma estrutura de operador de Rota-Baxter.

• Cociclos de Connes:
  O Teorema 4.2 estabelece que um cociclo de Connes não degenerado sobre uma álgebra anti-associativa permite a construção de uma estrutura dendriforme anti-associativa compatível. Isso leva à Proposição 4.3, que descreve a "construção dupla" de cociclos de Connes ($A \bowtie A^*$) como uma fonte de tais estruturas.

• Classificação de Álgebras 2-Dimensionais:
  O Teorema 5.4 fornece uma classificação de álgebras dendriformes anti-associativas 2-dimensionais não triviais sobre $\mathbb{C}$. Os casos não triviais dividem-se em duas famílias:

  1. $Rh_1$: Definida por $e_1 \prec e_1 = e_2$.
  2. $Rh_2[\lambda]$: Definida por $e_1 \succ e_1 = e_2$ e $e_1 \prec e_1 = \lambda e_2$ (onde $\lambda \in \mathbb{C}$).
     O artigo também nota que as álgebras associadas à álgebra anti-associativa abeliana são 2-nilpotentes.

• Nilpotência e Quocientes:
  O artigo introduz o conceito de 2-nilpotência para estas álgebras e prova (Proposição 5.6) que, sob certas condições relativas ao aniquilador, o quociente de uma álgebra dendriforme anti-associativa pelo seu aniquilador retém uma estrutura dendriforme anti-associativa compatível.

Significado e Afirmações
O artigo afirma proporcionar um estudo sistemático das "álgebras dendriformes anti-associativas" como o correspondente natural das álgebras dendriformes de Loday dentro da variedade de álgebras anti-associativas. O seu significado principal reside em:

1. Unificação: Oferecer um quadro unificado que paraleliza a divisão da associatividade, estendendo assim a abordagem operádica à anti-associatividade.
2. Ferramentas Estruturais: Fornecer O-operadores e cociclos de Connes como ferramentas eficazes para construir e interpretar estas álgebras.
3. Classificação Fundacional: Lançar as bases para a classificação destas álgebras, resolvendo o problema para o caso 2-dimensional, o que serve de base para compreender a estrutura da variedade.

O autor afirma explicitamente que o trabalho visa abordar a "divisão da anti-associatividade" e apresenta o diagrama comutativo (3) como o resultado estrutural central, confirmando a existência da categoria $AAs\text{-}Dend$ como o elo perdido na hierarquia de álgebras relacionadas à anti-associatividade.