From homotopy Rota-Baxter algebras to Pre-Calabi-Yau and homotopy double Poisson algebras

Resumo Técnico: Da Álgebra Rota-Baxter Homotópica para Álgebras Pré-Calabi-Yau e Poisson Duplas Homotópicas

1. Problema e Contexto

O artigo aborda a construção e a compreensão das relações entre três estruturas algébricas fundamentais na geometria não comutativa e na teoria de deformação:

1. Álgebras Rota-Baxter (e suas versões homotópicas): Originadas na teoria da probabilidade e conectadas às equações de Yang-Baxter, elas generalizam a integração e aparecem em renormalização e teoria de operadas.
2. Álgebras Pré-Calabi-Yau (Pre-CY): Estruturas que fornecem um quadro para a geometria de Poisson não comutativa, generalizando álgebras de Calabi-Yau.
3. Álgebras Poisson Duplas (e homotópicas): Introduzidas por Van den Bergh, elas descrevem estruturas de Poisson em espaços de representação de álgebras não comutativas.

O problema central é estabelecer uma conexão explícita e construtiva entre álgebras Rota-Baxter homotópicas (especificamente aquelas com simetria cíclica) e as estruturas de Pré-Calabi-Yau e Poisson Duplo Homotópico. Embora existam correspondências conhecidas entre Pré-Calabi-Yau e Poisson Duplo (via cohomologia de Hochschild cíclica), a origem dessas estruturas a partir de representações de álgebras Rota-Baxter homotópicas permanecia menos explorada no contexto homotópico geral.

2. Metodologia

Os autores utilizam uma abordagem baseada em teoria de operadas, álgebras $A_\infty$ e cohomologia de Hochschild, seguindo os passos metodológicos abaixo:

• Definição de Estruturas Cíclicas e Ultracíclicas: Introduzem as noções de álgebras Rota-Baxter homotópicas cíclicas e ultracíclicas. Estas são generalizações de operadores Rota-Baxter que satisfazem condições de invariância cíclica e antissimetria em relação a uma forma bilinear não degenerada.
• Construção de "Cyclic Completion" (Completamento Cíclico): Apresentam um método para construir álgebras Rota-Baxter homotópicas cíclicas a partir de álgebras Rota-Baxter homotópicas gerais, estendendo a estrutura para um espaço de extensão trivial ($\partial_0 A = A \oplus A^\vee$).
• Introdução de "Interactive Pairs" (Pares Interativos): Definem um par de álgebras diferenciais graduadas (dg) $(A, B)$, onde $A$ é a "álgebra atuante" e $B$ é a "álgebra base", interagindo através de estruturas de módulo compatíveis.
• Operadores Derivativos Relativos: Definem operadores $T_n$ que atuam como derivadas relativas à álgebra base $B$, garantindo compatibilidade com a estrutura de módulo.
• Construção de Estruturas $A_\infty$: Utilizam os operadores Rota-Baxter homotópicos para definir explicitamente uma estrutura de álgebra $A_\infty$ no espaço $\partial_{-1}B = B \oplus s^{-1}B^\vee$.
• Correspondência com Poisson Duplo: Aproveitam a bijeção estabelecida por Fernández e Herscovich entre álgebras Pré-Calabi-Yau "boas e gerenciáveis" e álgebras Poisson Duplas Homotópicas para traduzir os resultados obtidos.

3. Principais Contribuições

1. Novas Definições:

   • Álgebras Rota-Baxter Homotópicas Cíclicas e Ultracíclicas: Generalizações que capturam a simetria necessária para gerar estruturas de Poisson duplas.
   • Pares Interativos Homotópicos Rota-Baxter: Um novo quadro conceitual que conecta uma álgebra atuante com uma estrutura Rota-Baxter a uma álgebra base.

2. Construção de Pré-Calabi-Yau (Teorema 0.1 / Teorema 4.9):

   • Os autores provam que, se a álgebra atuante $A$ de um par interativo possui uma estrutura Rota-Baxter homotópica relativa cíclica, a álgebra base $B$ herda naturalmente uma estrutura de álgebra Pré-Calabi-Yau (especificamente "boa e gerenciável").
   • Se a estrutura em $A$ for ultracíclica (cíclica e antissimétrica), $B$ herda uma estrutura de álgebra Pré-Calabi-Yau especial.

3. Construção de Poisson Duplo Homotópico (Teorema 0.2 / Teorema 5.7):

   • Combinando a construção anterior com a correspondência de Fernández-Herscovich, os autores derivam uma fórmula explícita para a estrutura de álgebra Poisson Dupla Homotópica (ou cíclica) na álgebra base $B$, diretamente em termos dos operadores Rota-Baxter homotópicos $\{T_n\}$.
   • A fórmula envolve uma composição de mapas que ligam o espaço de endomorfismos de $A$ à estrutura de Poisson em $B$.

4. Equivalência de Estruturas (Proposição 5.13):

   • Estabelecem uma equivalência quadrupla para espaços graduados de dimensão finita:
     1. Estrutura de Pré-Calabi-Yau especial e fina.
     2. Estrutura de Álgebra de Lie Dupla Homotópica (Homotopy Double Lie Algebra).
     3. Operador Rota-Baxter homotópico relativo ultracíclico sobre a álgebra de endomorfismos.
     4. Soluções antissimétricas da equação de Yang-Baxter associativa homotópica (associative Yang-Baxter-infinity equation).

5. Aplicação em Álgebras de Poisson Homotópicas:

   • Mostram que a álgebra simétrica de um módulo sobre uma álgebra Rota-Baxter homotópica ultracíclica herda uma estrutura de álgebra de Poisson homotópica (derived Poisson algebra).

4. Resultados Chave

• Teorema 4.9: Estabelece que módulos sobre álgebras Rota-Baxter homotópicas cíclicas carregam naturalmente estruturas de Pré-Calabi-Yau. Isso generaliza resultados clássicos onde operadores Rota-Baxter simples induzem estruturas de Poisson.
• Teorema 5.7: Fornece uma descrição explícita e "streamlined" da estrutura de Poisson Duplo Homotópico induzida. A estrutura é definida por uma sequência de mapas $\{\{\{-, \dots, -\}\}_n\}$ construídos a partir da ação de $A$ sobre $B$ e dos operadores $T_n$.
• Generalização de Goncharov e Kolesnikov: O trabalho estende o resultado clássico de que operadores Rota-Baxter antissimétricos em $End(V)$ correspondem a estruturas de Lie duplas em $V$ para o contexto homotópico, conectando soluções da equação de Yang-Baxter homotópica a álgebras de Lie duplas homotópicas.

5. Significado e Impacto

• Unificação Teórica: O artigo unifica três áreas distintas da matemática (álgebras Rota-Baxter, geometria de Poisson não comutativa e teoria de deformação homotópica) sob um único quadro construtivo.
• Ferramenta de Construção: Oferece um método sistemático para gerar exemplos ricos de álgebras Pré-Calabi-Yau e Poisson Duplas a partir de representações de álgebras Rota-Baxter, que são frequentemente mais fáceis de construir ou classificar.
• Avanço na Teoria de Operadas: Ao trabalhar no contexto homotópico ($A_\infty$ e $L_\infty$), o artigo contribui para a compreensão das relações entre diferentes tipos de álgebras de operadas, especialmente na generalização de estruturas de Poisson para o mundo homotópico.
• Aplicações Potenciais: As estruturas construídas têm implicações em teoria de campos quânticos (renormalização via álgebras Rota-Baxter), teoria de representação não comutativa e geometria algébrica derivada (via stacks de móduli de Pré-Calabi-Yau).

Em resumo, Qin e Wang demonstram que a simetria cíclica em estruturas Rota-Baxter homotópicas é a chave para "desbloquear" estruturas de Poisson duplas e Pré-Calabi-Yau em módulos, fornecendo uma ponte robusta entre a teoria de equações de Yang-Baxter e a geometria não comutativa homotópica.