Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

Resumo Técnico: Cohomologia Trançada de Bialgebras Quasitriangulares e Invariância de Morita Trançada

Enunciado do Problema
O artigo aborda a generalização da cohomologia simétrica, originalmente definida para grupos por Staic e estendida para álgebras de Hopf cocomutativas por Shiba, Sanada e Itaba, para o cenário de bialgebras quasitriangulares. Nos contextos clássico e cocomutativo, o complexo de cochains envolve ações de grupos simétricos por grau derivadas dos morfismos de inversão (flip morphisms) na categoria monoidal simétrica de módulos. No entanto, para bialgebras quasitriangulares, a estrutura relevante é um trançamento (uma matriz $R$) em vez de uma simetria, e a categoria subjacente é uma categoria monoidal trançada em vez de uma simétrica. Os autores visam definir uma "cohomologia trançada" para coalgebras trançadas em arbitrárias categorias monoidais lineares e investigar se esta cohomologia é invariante sob equivalência de Morita trançada (ou seja, equivalência monoidal linear de categorias de módulos).

Metodologia
Os autores empregam um arcabouço categórico centrado na categoria trançada aumentada $(\Delta B)_+$, um grupo simplicial cruzado introduzido por Krasauskas e Fiedorowicz–Loday. A metodologia procede através dos seguintes passos:

1. Construção Categórica: Eles definem uma coalgebra trançada $(C, c)$ em uma categoria monoidal linear $\mathcal{C}$, onde $C$ é um objeto e $c$ é um isomorfismo de trançamento que satisfaz condições de compatibilidade específicas com a estrutura de coalgebra.
2. Associação Functorial: Para cada coalgebra trançada, eles associam um functor estrito monoidal $\tilde{T}_\bullet(C, c): (\Delta B)_+^{op} \to [\mathcal{C}, \mathcal{C}]$. Este functor mapeia a categoria trançada aumentada para a categoria de endofuntores de $\mathcal{C}$.
3. Definição do Complexo: Utilizando este functor, eles constroem o complexo de cochains trançado $KB^\bullet(C, c, M)$ com coeficientes em um objeto $M$. Isto é alcançado por:
   • Restringir o functor à subcategoria $(\Delta_{inj}B)_+$ (injeções trançadas).
   • Avaliar no objeto unidade e aplicar o functor $\text{Hom}_\mathcal{C}(-, M)$ para recair na categoria de $k$-módulos ($\mathcal{V}$).
   • Definir o diferencial como a soma alternada de morfismos de face.
   • Tomar o subcomplexo de elementos invariantes sob uma ação específica do grupo de tranças $B_{n+1}$ (especificamente, elementos $\phi$ tais que $K(\tau_i^n)(\phi) = -\phi$), o que generaliza os invariantes simétricos usados na cohomologia simétrica clássica.
4. Morfismos Relativos: Para estudar a invariância, os autores introduzem a noção de morfismos relativos entre funtores estritos monoidais. Eles estabelecem uma correspondência bijetiva entre morfismos relativos de $\tilde{T}_\bullet(C, c)$ para $\tilde{T}_\bullet(D, c')$ e morfismos específicos $\alpha: D \to F(C)$ no target que satisfazem condições análogas às de morfismos de coalgebra, mas adaptadas ao functor monoidal $F$.

Principais Contribuições e Resultados

• Definição de Cohomologia Trançada: O artigo define o complexo de cochains trançado e a cohomologia trançada para coalgebras trançadas em qualquer categoria monoidal linear. Este arcabouço engloba bialgebras quasitriangulares (vistas como coalgebras trançadas em suas categorias de módulos), configurações diferenciais graduadas e módulos de Yetter-Drinfel'd.
• Teorema A (Caracterização de Morfismos Relativos): Os autores provam que morfismos relativos entre os funtores associados a coalgebras trançadas estão em correspondência bijetiva com morfismos $\alpha$ satisfazendo equações estruturais específicas envolvendo a estrutura monoidal do functor e o trançamento. Isto reduz o estudo de transformações naturais entre complexos funtores ao estudo de um único morfismo na categoria subjacente.
• Teorema B (Invariância de Morita Trançada): Para $k$-bialgebras quasitriangulares $(A, R)$ e $(B, R')$, se existir uma equivalência monoidal trançada $k$-linear $F: (A\text{-Mod}, c_R) \to (B\text{-Mod}, c_{R'})$ que comute com os funtores de esquecimento (até isomorfismo natural), então existe um isomorfismo de complexos de cochains $KB^\bullet(A, R, M) \cong KB^\bullet(B, R', F(M))$. Consequentemente, a cohomologia trançada é invariante sob tais equivalências.
• Corolário C (Caso de Dimensão Finita): A condição referente ao comutar com os funtores de esquecimento é automaticamente satisfeita para bialgebras quasitriangulares de dimensão finita. Assim, a cohomologia trançada de bialgebras quasitriangulares de dimensão finita é um invariante de Morita trançada.
• Computação Explícita: Os autores fornecem um cálculo explícito para a álgebra de Sweedler, um exemplo não-cocomutativo. Eles demonstram que para diferentes matrizes $R$ parametrizadas por $\lambda \in k$, os primeiros grupos de cohomologia trançada $KB^1(A, R_\lambda, M)$ são isomórficos como $k$-espaços vetoriais, construindo explicitamente o isomorfismo via a equivalência de Morita trçada induzida por um twist de bialgebra.

Significância e Alegações
O artigo alega fornecer um arcabouço unificado que generaliza a cohomologia simétrica de álgebras de Hopf cocomutativas para a classe mais ampla de bialgebras quasitriangulares, substituindo grupos simétricos por grupos de tranças e morfismos de inversão por trançamentos arbitrários.

• Generalização: Estende o escopo da cohomologia simétrica para configurações não-cocomutativas, incluindo exemplos como a álgebra de Sweedler, a álgebra de Hopf de Kac-Paljutkin e o duplo de Drinfel'd.
• Invariância: Estabelece que a cohomologia trançada é um invariante robusto sob equivalência de Morita trançada, um conceito crucial para classificar estruturas quasitriangulares até a equivalência monoidal de suas categorias de módulos.
• Conexão Categórica: O trabalho revela uma conexão direta entre a categoria trançada aumentada e a cohomologia de coalgebras trançadas, abordando um problema proposto por Singh no contexto de representações de grupos de tranças.
• Direções Futuras: Os autores observam que suas construções são aplicáveis em situações não-aditivas (ex: conjuntos simpliciais, espectros) e sugerem que a cohomologia trançada admite uma generalização $\infty$-categórica, embora isto não seja desenvolvido no presente trabalho.

O artigo não pretende resolver a classificação de todas as bialgebras quasitriangulares, mas sim fornece uma ferramenta cohomológica que permanece estável sob as equivalências naturais (equivalência de Morita trançada) usadas para classificar essas estruturas. Os resultados são apresentados como generalizações teóricas de construções existentes de cohomologia de grupos e de álgebras de Hopf.