Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

Technische Zusammenfassung: Geflochtene Kohomologie von quasi-triangulären Bialgebren und braidierte Morita-Invarianz

Problemstellung
Die Arbeit befasst sich mit der Verallgemeinerung der symmetrischen Kohomologie, die ursprünglich von Staic für Gruppen definiert und von Shiba, Sanada und Itaba auf kokommutative Hopf-Algebren ausgeweitet wurde, auf den Kontext von quasi-triangulären Bialgebren. In den klassischen und kokommutativen Settings umfasst der Kettenkomplex graduweise Wirkungen symmetrischer Gruppen, die aus den Flip-Morphismen in der symmetrischen monoidalen Kategorie der Moduln abgeleitet sind. Für quasi-trianguläre Bialgebren ist jedoch die relevante Struktur eine Braiding (eine $R$-Matrix) statt einer Symmetrie, und die zugrunde liegende Kategorie ist eine braidierte monoidale Kategorie statt einer symmetrischen. Die Autoren streben an, eine „braidierte Kohomologie“ für braidierte Co-Algebren in beliebigen linearen monoidalen Kategorien zu definieren und zu untersuchen, ob diese Kohomologie unter braidierter Morita-Äquivalenz (d. h. linearer braidierter monoidaler Äquivalenz von Modul-Kategorien) invariant ist.

Methodik
Die Autoren verwenden einen kategorischen Rahmen, der auf der augmentierten braidierten Kategorie $(\Delta B)_+$ basiert, einer überkreuzten simplizialen Gruppe, die von Krasauskas und Fiedorowicz–Loday eingeführt wurde. Die Methodik vollzieht sich durch die folgenden Schritte:

1. Kategorische Konstruktion: Sie definieren eine braidierte Co-Algebra $(C, c)$ in einer linearen monoidalen Kategorie $\mathcal{C}$, wobei $C$ ein Objekt und $c$ eine Braiding-Isomorphie ist, die spezifische Kompatibilitätsbedingungen mit der Co-Algebra-Struktur erfüllt.
2. Funktorielle Assoziation: Jedem braidierten Co-Algebra wird ein strikter monoidaler Funktor $\tilde{T}_\bullet(C, c): (\Delta B)_+^{op} \to [\mathcal{C}, \mathcal{C}]$ zugeordnet. Dieser Funktor bildet die augmentierte braidierte Kategorie auf die Kategorie der Endofunktoren von $\mathcal{C}$ ab.
3. Definition des Komplexes: Unter Verwendung dieses Funktors konstruieren sie den braidierten Kettenkomplex $KB^\bullet(C, c, M)$ mit Koeffizienten in einem Objekt $M$. Dies erfolgt durch:
   • Einschränkung des Funktors auf die Unterkategorie $(\Delta_{inj}B)_+$ (braidierte Injektionen).
   • Evaluierung am Einheitsobjekt und Anwendung des Hom-Funktors $\text{Hom}_\mathcal{C}(-, M)$, um in die Kategorie der $k$-Moduln ($\mathcal{V}$) zu gelangen.
   • Definition der Differenzial als die alternierende Summe der Face-Abbildungen.
   • Bildung des Unterkomplexes der Elemente, die unter einer spezifischen Wirkung der Braid-Gruppe $B_{n+1}$ invariant sind (speziell Elemente $\phi$, für die gilt: $K(\tau_i^n)(\phi) = -\phi$), was die symmetrischen Invarianten der klassischen symmetrischen Kohomologie verallgemeinert.
4. Relative Morphismen: Um Invarianz zu untersuchen, führen die Autoren den Begriff der relativen Morphismen zwischen strikten monoidalen Funktoren ein. Sie etablieren eine bijektive Korrespondenz zwischen relativen Morphismen von $\tilde{T}_\bullet(C, c)$ zu $\tilde{T}_\bullet(D, c')$ und spezifischen Morphismen $\alpha: D \to F(C)$ in der Zielkategorie, die Bedingungen erfüllen, die analog zu Co-Algebra-Morphismen sind, jedoch an den monoidalen Funktor $F$ angepasst wurden.

Zentrale Beiträge und Ergebnisse

• Definition der braidierten Kohomologie: Das Paper definiert den braidierten Kettenkomplex und die braidierte Kohomologie für braidierte Co-Algebren in jeder linearen monoidalen Kategorie. Dieser Rahmen umfasst quasi-trianguläre Bialgebren (als braidierte Co-Algebren in ihren Modul-Kategorien), differential-graduierte Settings und Yetter-Drinfel'd-Module.
• Theorem A (Charakterisierung relativer Morphismen): Die Autoren beweisen, dass relative Morphismen zwischen den mit braidierten Co-Algebren assoziierten Funktoren in bijektiver Korrespondenz zu Morphismen $\alpha$ stehen, die spezifische Strukturgleichungen unter Einbeziehung der monoidalen Struktur des Funktors und der Braiding erfüllen. Dies reduziert die Untersuchung natürlicher Transformationen zwischen komplexen Funktoren auf die Untersuchung einzelner Morphismen in der zugrunde liegenden Kategorie.
• Theorem B (Braidierte Morita-Invarianz): Für quasi-trianguläre $k$-Bialgebren $(A, R)$ und $(B, R')$ gilt: Wenn es eine $k$-lineare braidierte monoidale Äquivalenz $F: (A\text{-Mod}, c_R) \to (B\text{-Mod}, c_{R'})$ gibt, die mit den Vergessens-Funktoren vertauscht (bis auf natürliche Isomorphie), dann existiert ein Isomorphismus der Kettenkomplexe $KB^\bullet(A, R, M) \cong KB^\bullet(B, R', F(M))$. Folglich ist die braidierte Kohomologie unter solchen Äquivalenzen invariant.
• Korollar C (Endlicher Fall): Die Bedingung bezüglich des Vertauschens mit den Vergessens-Funktoren ist für endliche-dimensionale quasi-trianguläre Bialgebren automatisch erfüllt. Somit ist die braidierte Kohomologie endlicher-dimensionaler quasi-triangulärer Bialgebren eine braidierte Morita-Invariante.
• Explizite Berechnung: Die Autoren liefern eine explizite Berechnung für die Sweedler-Hopf-Algebra, ein nicht-kokommutatives Beispiel. Sie zeigen, dass für verschiedene durch $\lambda \in k$ parametrisierte $R$-Matrizen die ersten braidierten Kohomologiegruppen $KB^1(A, R_\lambda, M)$ als $k$-Vektorräume isomorph sind, indem sie den Isomorphismus explizit über die durch einen Bialgebra-Twist induzierte braidierte Morita-Äquivalenz konstruieren.

Bedeutung und Behauptungen
Das Paper beansprucht, einen vereinheitlichten Rahmen zu bieten, der die symmetrische Kohomologie von kokommutativen Hopf-Algebren auf die breitere Klasse von quasi-triangulären Bialgebren erweitert, indem symmetrische Gruppen durch Braid-Gruppen und Flip-Morphismen durch beliebige Braidings ersetzt werden.

• Verallgemeinerung: Es erweitert den Umfang der symmetrischen Kohomologie auf nicht-kokommutative Settings, einschließlich Beispielen wie der Sweedler-Hopf-Algebra, der Kac-Paljutkin-Hopf-Algebra und Drinfel'd-Doppeln.
• Invarianz: Es etabliert, dass die braidierte Kohomologie eine robuste Invariante unter braidierter Morita-Äquivalenz ist, ein Konzept, das entscheidend für die Klassifizierung quasi-triangulärer Strukturen bis auf monoidale Äquivalenz ihrer Modul-Kategorien ist.
• Kategorischer Zusammenhang: Die Arbeit offenbart eine direkte Verbindung zwischen der augmentierten braidierten Kategorie und der Kohomologie braidierter Co-Algebren und adressiert damit ein Problem, das Singh im Kontext von Braid-Gruppen-Darstellungen aufgeworfen hat.
• Zukünftige Richtungen: Die Autoren merken an, dass ihre Konstruktionen auch in nicht-additiven Situationen (z. B. simpliziale Mengen, Spektren) anwendbar sind, und legen nahe, dass die braidierte Kohomologie eine $\infty$-kategorielle Verallgemeinerung zulässt, diese jedoch im aktuellen Werk nicht entwickelt wird.

Das Paper behauptet nicht, die Klassifizierung aller quasi-triangulären Bialgebren gelöst zu haben, sondern stellt ein kohomologisches Werkzeug bereit, das unter den natürlichen Äquivalenzen (braidierte Morita-Äquivalenz) stabil bleibt, die zur Klassifizierung dieser Strukturen verwendet werden. Die Ergebnisse werden als theoretische Verallgemeinerungen bestehender Konstruktionen der Gruppen- und Hopf-Algebra-Kohomologie präsentiert.