Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

Resumen Técnico: Cohomología Trenzada de Biálgebrases Quasi-Triangulares e Invariancia de Morita Trenzada

Planteamiento del Problema
El artículo aborda la generalización de la cohomología simétrica, definida originalmente para grupos por Staic y extendida a biálgebras de Hopf cocomutativas por Shiba, Sanada e Itaba, al entorno de los biálgebrases quasi-triangulares. En los entornos clásicos y cocomutativos, el complejo de cocadenas involucra acciones de grupos simétricos por grados derivadas de los morfismos de inversión (flip) en la categoría monoidal simétrica de los módulos. Sin embargo, para los biálgebrases quasi-triangulares, la estructura relevante es un trenzado (una matriz $R$) en lugar de una simetría, y la categoría subyacente es una categoría monoidal trenzada en lugar de una simétrica. Los autores pretenden definir una "cohomología trenzada" para coalgebras trenzadas en categorías monoidales lineales arbitrarias e investigar si esta cohomología es invariante bajo la equivalencia de Morita trenzada (es decir, la equivalencia monoidal lineal de las categorías de módulos).

Metodología
Los autores emplean un marco categórico centrado en la categoría trenzada aumentada $(\Delta B)_+$, un grupo simplicial cruzado introducido por Krasauskas y Fiedorowicz–Loday. La metodología procede a través de los siguientes pasos:

1. Construcción Categórica: Definen una coalgebra trenzada $(C, c)$ en una categoría monoidal lineal $\mathcal{C}$, donde $C$ es un objeto y $c$ es un isomorfismo de trenzado que satisface condiciones de compatibilidad específicas con la estructura de la coalgebra.
2. Asociación Functorial: A cada coalgebra trenzada, asocian un functor monoidal estricto $\tilde{T}_\bullet(C, c): (\Delta B)_+^{op} \to [\mathcal{C}, \mathcal{C}]$. Este functor mapea la categoría trenzada aumentada a la categoría de endofunctores de $\mathcal{C}$.
3. Definición del Complejo: Utilizando este functor, construyen el complejo de cocadenas trenzado $KB^\bullet(C, c, M)$ con coeficientes en un objeto $M$. Esto se logra mediante:
   • La restricción del functor a la subcategoría $(\Delta_{inj}B)_+$ (inyecciones trenzadas).
   • La evaluación en el objeto unidad y la aplicación del functor $\text{Hom}_\mathcal{C}(-, M)$ para aterrizar en la categoría de $k$-módulos ($\mathcal{V}$).
   • La definición del diferencial como la suma alternante de los mapas de cara.
   • La toma del subcomplejo de elementos invariantes bajo una acción específica del grupo de trenzado $B_{n+1}$ (específicamente, elementos $\phi$ tales que $K(\tau_i^n)(\phi) = -\phi$), lo cual generaliza los invariantes simétricos utilizados en la cohomología simétrica clásica.
4. Morfismos Relativos: Para estudiar la invariancia, los autores introducen la noción de morfismos relativos entre functores monoidales estricto. Establecen una correspondencia biyectiva entre los morfismos relativos desde $\tilde{T}_\bullet(C, c)$ hacia $\tilde{T}_\bullet(D, c')$ y morfismos específicos $\alpha: D \to F(C)$ en la categoría objetivo que satisfacen condiciones análogas a los morfismos de coalgebra pero adaptadas al functor monoidal $F$.

Contribuciones Clave y Resultados

• Definición de Cohomología Trenzada: El artículo define el complejo de cocadenas trenzado y la cohomología trenzada para coalgebras trenzadas en cualquier categoría monoidal lineal. Este marco engloba biálgebrases de Hopf quasi-triangulares (vistos como coalgebras trenzadas en sus categorías de módulos), entornos de grados diferenciales y módulos de Yetter-Drinfel'd.
• Teorema A (Caracterización de Morfismos Relativos): Los autores demuestran que los morfismos relativos entre los functores asociados con coalgebras trenzadas están en correspondencia biyectiva con morfismos $\alpha$ que satisfacen ecuaciones estructurales específicas involucrando la estructura monoidal del functor y el trenzado. Esto reduce el estudio de las transformaciones naturales entre complejos de functores al estudio de un único morfismo en la categoría subyacente.
• Teorema B (Invariancia de Morita Trenzada): Para biálgebrases de Hopf quasi-triangulares $(A, R)$ y $(B, R')$, si existe una equivalencia monoidal trenzada $k$-lineal $F: (A\text{-Mod}, c_R) \to (B\text{-Mod}, c_{R'})$ que conmuta con los functores de olvido (salvo isomorfismo natural), entonces existe un isomorfismo de complejos de cocadenas $KB^\bullet(A, R, M) \cong KB^\bullet(B, R', F(M))$. Consecuentemente, la cohomología trenzada es invariante bajo tales equivalencias.
• Corolario C (Caso de Dimensión Finita): La condición respecto a la conmutación con los functores de olvido se satisface automáticamente para los biálgebrases de Hopf quasi-triangulares de dimensión finita. Así, la cohomología trenzada de los biálgebrases de Hopf quasi-triangulares de dimensión finita es un invariante de Morita trenzado.
• Cálculo Explícito: Los autores proporcionan un cálculo explícito para el álgebra de Hopf de Sweedler, un ejemplo no cocomutativo. Demuestran que para diferentes matrices $R$ parametrizadas por $\lambda \in k$, los primeros grupos de cohomología trenzada $KB^1(A, R_\lambda, M)$ son isomórficos como espacios vectoriales sobre $k$, construyendo explícitamente el isomorfismo vía la equivalencia de Morita trenzada inducida por un giro (twist) de biálgebra.

Significación y Reivindicaciones
El artículo afirma proporcionar un marco unificado que generaliza la cohomología simétrica de los biálgebrases de Hopf cocomutativos al ámbito más amplio de los biálgebraseses quasi-triangulares, reemplazando los grupos simétricos por grupos de trenzado y los morfismos de inversión por trenzados arbitrarios.

• Generalización: Extiende el alcance de la cohomología simétrica a entornos no cocomutativos, incluyendo ejemplos como el álgebra de Hopf de Sweedler, el álgebra de Hopf de Kac-Paljutkin y los dobles de Drinfel'd.
• Invariancia: Establece que la cohomología trenzada es un invariante robusto bajo la equivalencia de Morita trenzada, un concepto crucial para clasificar estructuras quasi-triangulares hasta la equivalencia monoidal de sus categorías de módulos.
• Conexión Categórica: El trabajo revela una conexión directa entre la categoría trenzada aumentada y la cohomología de las coalgebras trenzadas, abordando un problema planteado por Singh en el contexto de las representaciones de grupos de trenzado.
• Direcciones Futuras: Los autores señalan que sus construcciones son aplicables en situaciones no aditivas (por ejemplo, conjuntos simpliciales, espectros) y sugieren que la cohomología trenzada admite una generalización $\infty$-categórica, aunque esto no se desarrolla en el presente trabajo.

El artículo no pretende resolver la clasificación de todos los biálgebraseses quasi-triangulares, sino que proporciona una herramienta cohomológica que permanece estable bajo las equivalencias naturales (equivalencia de Morita trenzada) utilizadas para clasificar estas estructuras. Los resultados se presentan como generalizaciones teóricas de construcciones existentes en la cohomología de grupos y de biálgebrases de Hopf.