Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

Résumé Technique : Cohomologie tressée des bialgèbres quasi-triangulaires et invariance de Morita tressée

Énoncé du Problème
L'article traite de la généralisation de la cohomologie symétrique, initialement définie pour les groupes par Staic et étendue aux algèbres de Hopf cocommutatives par Shiba, Sanada et Itaba, au cadre des bialgèbres quasi-triangulaires. Dans les contextes classiques et cocommutatifs, le complexe de cochaînes implique des actions par degrés des groupes symétriques dérivées des morphismes de bascule (flip morphisms) dans la catégorie monoidale symétrique des modules. Cependant, pour les bialgèbres quasi-triangulaires, la structure pertinente est un tressage (une matrice $R$) plutôt qu'une symétrie, et la catégorie sous-jacente est une catégorie monoidale tressée plutôt que symétrique. Les auteurs visent à définir une « cohomologie tressée » pour les coalgebras tressées dans des catégories monoidales linéaires arbitraires et à étudier si cette cohomologie est invariante sous l'équivalence de Morita tressée (c'est-à-dire l'équivalence monoidale linéaire des catégories de modules).

Méthodologie
Les auteurs emploient un cadre catégorique centré sur la catégorie tressée augmentée $(\Delta B)_+$, un groupe simpliciel croisé introduit par Krasauskas et Fiedorowicz–Loday. La méthodologie procède à travers les étapes suivantes :

1. Construction Catégorique : Ils définissent une coalgebra tressée $(C, c)$ dans une catégorie monoidale linéaire $\mathcal{C}$, où $C$ est un objet et $c$ est un isomorphisme de tressage satisfaisant des conditions de compatibilité spécifiques avec la structure de la coalgebra.
2. Association Functorielle : À toute coalgebra tressée, ils associent un foncteur monoidal strict $\tilde{T}_\bullet(C, c): (\Delta B)_+^{op} \to [\mathcal{C}, \mathcal{C}]$. Ce foncteur associe la catégorie tressée augmentée à la catégorie des endofoncteurs de $\mathcal{C}$.
3. Définition du Complexe : En utilisant ce foncteur, ils construisent le complexe de cochaînes tressé $KB^\bullet(C, c, M)$ avec des coefficients dans un objet $M$. Ceci est réalisé par :
   • La restriction du foncteur à la sous-catégorie $(\Delta_{inj}B)_+$ (injections tressées).
   • L'évaluation à l'objet unité et l'application du foncteur $\text{Hom}_\mathcal{C}(-, M)$ pour aboutir dans la catégorie des $k$-modules ($\mathcal{V}$).
   • La définition de la différentielle comme la somme alternée des applications de face.
   • Le passage au sous-complexe des éléments invariants sous une action spécifique du groupe de tresses $B_{n+1}$ (spécifiquement, les éléments $\phi$ tels que $K(\tau_i^n)(\phi) = -\phi$), ce qui généralise les invariants symétriques utilisés dans la cohomologie symétrique classique.
4. Morphismes Relatifs : Pour étudier l'invariance, les auteurs introduisent la notion de morphismes relatifs entre foncteurs monoidaux stricts. Ils établissent une correspondance bijective entre les morphismes relatifs de $\tilde{T}_\bullet(C, c)$ vers $\tilde{T}_\bullet(D, c')$ et des morphismes spécifiques $\alpha: D \to F(C)$ dans la catégorie cible satisfaisant des conditions analogues aux morphismes de coalgebra mais adaptées au foncteur monoidal $F$.

Contributions Clés et Résultats

• Définition de la Cohomologie Tressée : L'article définit le complexe de cochaînes tressé et la cohomologie tressée pour les coalgebras tressées dans n'importe quelle catégorie monoidale linéaire. Ce cadre englobe les bialgèbres quasi-triangulaires (vues comme des coalgebras tressées dans leurs catégories de modules), les contextes différentiels gradués, et les modules de Yetter-Drinfel'd.
• Théorème A (Caractérisation des Morphismes Relatifs) : Les auteurs prouvent que les morphismes relatifs entre les foncteurs associés aux coalgebras tressées sont en correspondance bijective avec des morphismes $\alpha$ satisfaisant des équations structurelles spécifiques impliquant la structure monoidale du foncteur et le tressage. Cela réduit l'étude des transformations naturelles entre des foncteurs complexes à l'étude d'un morphisme unique dans la catégorie sous-jacente.
• Théorème B (Invariance de Morita Tressée) : Pour des $k$-bialgèbres quasi-triangulaires $(A, R)$ et $(B, R')$, s'il existe une équivalence de catégories monoidale tressée $k$-linéaire $F: (A\text{-Mod}, c_R) \to (B\text{-Mod}, c_{R'})$ qui commute avec les foncteurs d'oubli (à isomorphisme naturel près), alors il existe un isomorphisme de complexes de cochaînes $KB^\bullet(A, R, M) \cong KB^\bullet(B, R', F(M))$. Par conséquent, la cohomologie tressée est invariante sous de telles équivalences.
• Corollaire C (Cas de Dimension Finie) : La condition concernant la commutation avec les foncteurs d'oubli est automatiquement satisfaite pour les bialgèbres quasi-triangulaires de dimension finie. Ainsi, la cohomologie tressée des bialgèbres quasi-triangulaires de dimension finie est un invariant de Morita tressé.
• Calcul Explicite : Les auteurs fournissent un calcul explicite pour l'algèbre de Sweedler, un exemple non-cocommutatif. Ils démontrent que pour différents matrices $R$ paramétrées par $\lambda \in k$, les premiers groupes de cohomologie tressée $KB^1(A, R_\lambda, M)$ sont isomorphes en tant que $k$-espaces vectoriels, en construisant explicitement l'isomorphisme via l'équivalence de Morita tressée induite par un déformation (twist) de bialgebra.

Signification et Revendications
L'article affirme fournir un cadre unifié qui généralise la cohomologie symétrique des algèbres de Hopf cocommutatives aux plus larges classes de bialgèbres quasi-triangulaires en remplaçant les groupes symétriques par des groupes de tresses et les morphismes de bascule par des tressages arbitraires.

• Généralisation : Il étend la portée de la cohomologie symétrique aux contextes non-cocommutatifs, incluant des exemples comme l'algèbre de Sweedler, l'algèbre de Hopf de Kac-Paljutkin, et les doubles de Drinfel'd.
• Invariance : Il établit que la cohomologie tressée est un invariant robuste sous l'équivalence de Morita tressée, un concept crucial pour classifier les structures quasi-triangulaires jusqu'à l'équivalence monoidale de leurs catégories de modules.
• Connexion Catégorique : Le travail révèle une connexion directe entre la catégorie tressée augmentée et la cohomologie des coalgebras tressées, répondant à un problème posé par Singh dans le contexte des représentations de groupes de tresses.
• Directions Futures : Les auteurs notent que leurs constructions sont applicables dans des situations non-additives (par exemple, ensembles simpliciaux, spectres) et suggèrent que la cohomologie tressée admet une généralisation $\infty$-catégorique, bien que cela ne soit pas développé dans le présent travail.

L'article ne prétend pas résoudre la classification de toutes les bialgèbres quasi-triangulaires, mais fournit un outil cohomologique qui reste stable sous les équivalences naturelles (équivalence de Morita tressée) utilisées pour classifier ces structures. Les résultats sont présentés comme des généralisations théoriques de constructions existantes de la cohomologie de groupes et d'algèbres de Hopf.