Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

Technische Samenvatting: Gevlochten Cohomologie van Quasi-Triangulaire Bialgebra's en Gevlochten Morita-Invariantie

Probleemstelling
Het artikel behandelt de generalisatie van symmetrische cohomologie, oorspronkelijk gedefinieerd voor groepen door Staic en uitgebreid naar cocommutaatieve Hopf-algebra's door Shiba, Sanada en Itaba, naar de setting van quasi-triangulaire bialgebra's. In de klassieke en cocommutaatieve settings betreft het cochain-complex degewise acties van symmetrische groepen afgeleid van de flip-morfismen in de symmetrische monoidale categorie van modules. Echter, voor quasi-triangulaire bialgebra's is de relevante structuur een vlechting (een $R$-matrix) in plaats van een symmetrie, en is de onderliggende categorie een gevlochten monoidale categorie in plaats van een symmetrische een. De auteurs beogen een "gevlochten cohomologie" te definiëren voor gevlochten coalgebren in willekeurige lineaire monoidale categorieën en te onderzoeken of deze cohomologie invariant is onder gevlochten Morita-equivalentie (lineaire gevlochten monoidale equivalentie van module-categorieën).

Methodologie
De auteurs maken gebruik van een categorisch kader gecentreerd rond de geaugmenteerde gevlochten categorie $(\Delta B)_+$, een gekruiste simpliciale groep geïntroduceerd door Krasauskas en Fiedorowicz–Loday. De methodologie verloopt via de volgende stappen:

1. Categorische Constructie: Zij definiëren een gevlochten coalgebra $(C, c)$ in een lineaire monoidale categorie $\mathcal{C}$, waarbij $C$ een object is en $c$ een vlechting-isomorfisme dat aan specifieke compatibiliteitsvoorwaarden voldoet.
2. Functoriële Associatie: Aan elke gevlochten coalgebra associëren zij een strikte monoidale functor $\tilde{T}_\bullet(C, c): (\Delta B)_+^{op} \to [\mathcal{C}, \mathcal{C}]$. Deze functor brengt de geaugmenteerde gevlochten categorie naar de categorie van endofunctoren van $\mathcal{C}$.
3. Complex Definitie: Met behulp van deze functor construeren zij het gevlochten cochain-complex $KB^\bullet(C, c, M)$ met coëfficiënten in een object $M$. Dit wordt bereikt door:
   • De functor te beperken tot de subcategorie $(\Delta_{inj}B)_+$ (gevlochten injecties).
   • Te evalueren op het eenheidsobject en de Hom-functor $\text{Hom}_\mathcal{C}(-, M)$ toe te passen om in de categorie van $k$-modules ($\mathcal{V}$) terecht te komen.
   • De differentiaal te definiëren als de alternerende som van face-afbeeldingen.
   • Het subcomplex te nemen van elementen die invariant zijn onder een specifieke actie van de braidgroep $B_{n+1}$ (specifiek elementen $\phi$ waarvoor $K(\tau_i^n)(\phi) = -\phi$), wat de symmetrische invarianten gebruikt in klassieke symmetrische cohomologie generaliseert.
4. Relatieve Morfismen: Om invariantie te bestuderen, introduceren de auteurs het begrip relatieve morfismen tussen strikte monoidale functoren. Zij stellen een bijectieve correspondentie vast tussen relatieve morfismen van $\tilde{T}_\bullet(C, c)$ naar $\tilde{T}_\bullet(D, c')$ en specifieke morfismen $\alpha: D \to F(C)$ in de doelcategorie die voldoen aan voorwaarden analoog aan coalgebra-morfismen, maar aangepast aan de monoidale functor $F$.

Belangrijkste Bijdragen en Resultaten

• Definitie van Gevlochten Cohomologie: Het artikel definieert het gevlochten cochain-complex en de gevlochten cohomologie voor gevlochten coalgebren in elke lineaire monoidale categorie. Dit kader omvat quasi-triangulaire bialgebra's (gezien als gevlochten coalgebren in hun module-categorieën), differentiaal-gegradueerde settings, en Yetter-Drinfel'd modules.
• Theorema A (Karakterisering van Relatieve Morfismen): De auteurs bewijzen dat relatieve morfismen tussen de functoren geassocieerd met gevlochten coalgebren in bijectieve correspondentie staan met morfismen $\alpha$ die voldoen aan specifieke structurele vergelijkingen met betrekking tot de monoidale structuur van de functor en de vlechting. Dit reduceert de studie van natuurlijke transformaties tussen complexe functoren tot de studie van enkelvoudige morfismen in de onderliggende categorie.
• Theorema B (Gevlochten Morita-Invariantie): Voor quasi-triangulaire $k$-bialgebra's $(A, R)$ en $(B, R')$, indien er een $k$-lineaire gevlochten monoidale equivalentie $F: (A\text{-Mod}, c_R) \to (B\text{-Mod}, c_{R'})$ bestaat die commuteert met de forgetful-functoren (tot natuurlijke isomorfisme), dan is er een isomorfisme van cochain-complexen $KB^\bullet(A, R, M) \cong KB^\bullet(B, R', F(M))$. Bijgevolg is de gevlochten cohomologie invariant onder dergelijke equivalenties.
• Corollary C (Eindig-Dimensionaal Geval): De voorwaarde met betrekking tot het commueren met forgetful-functoren wordt automatisch voldaan voor eindig-dimensionale quasi-triangulaire bialgebra's. Aldus is de gevlochten cohomologie van eindig-dimensionale quasi-triangulaire bialgebra's een gevlochten Morita-invariant.
• Expliciete Berekening: De auteurs leveren een expliciete berekening voor de Sweedler Hopf-algebra, een niet-cocommutaat voorbeeld. Zij demonstreren dat voor verschillende $R$-matrices geparametriseerd door $\lambda \in k$, de eerste gevlochten cohomologiegroepen $KB^1(A, R_\lambda, M)$ isomorf zijn als $k$-vectorruimten, waarbij zij het isomorfisme expliciet construeren via de gevlochten Morita-equivalentie geïnduceerd door een bialgebra-twist.

Betekenis en Claims
Het artikel beweert een verenigd kader te bieden dat de symmetrische cohomologie van cocommutaatieve Hopf-algebra's generaliseert naar de bredere klasse van quasi-triangulaire bialgebra's door symmetrische groepen te vervangen door braidgroepen en flip-morfismen door willekeurige vlechtingen.

• Generalisatie: Het breidt de reikwijdte van symmetrische cohomologie uit naar niet-cocommutaat settings, inclusief voorbeelden zoals de Sweedler Hopf-algebra, de Kac-Paljutkin Hopf-algebra, en Drinfel'd doubles.
• Invariantie: Het stelt vast dat gevlochten cohomologie een robuuste invariant is onder gevlochten Morita-equivalentie, een concept dat cruciaal is voor het classificeren van quasi-triangulaire structuren tot monoidale equivalentie van hun module-categorieën.
• Categorische Connectie: Het werk onthult een directe verbinding tussen de geaugmenteerde gevlochten categorie en de cohomologie van gevlochten coalgebren, waarmee een probleem wordt geadresseerd dat door Singh werd gesteld in de context van braidgroep-representaties.
• Toekomstige Richtingen: De auteurs merken op dat hun constructies toepasbaar zijn in niet-additieve situaties (bijv. simpliciale verzamelingen, spectra) en suggereren dat de gevlochten cohomologie een $\infty$-categorische generalisatie toelaat, hoewel dit in het huidige werk niet wordt ontwikkeld.

Het artikel claimt niet de classificatie van álle quasi-triangulaire bialgebra's op te lossen, maar biedt een cohomologisch instrument dat stabiel blijft onder de natuurlijke equivalenties (gevlochten Morita-equivalentie) die worden gebruikt om deze structuren te classificeren. De resultaten worden gepresenteerd als theoretische generalisaties van bestaande constructies van groep- en Hopf-algebra cohomologie.