Braided cohomology of quasi-triangular bialgebras and braided Morita invariance

Sintesi Tecnica: Coomologia Braidata di Bialgere Quasi-Triangolari e Invarianza di Morita Braidata

Enunciato del Problema
Il saggio affronta la generalizzazione della coomologia simmetrica, originariamente definita per i gruppi da Staic e estesa alle algebre di Hopf cocommutative da Shiba, Sanada e Itaba, nell'ambito delle bialgere quasi-triangolari. Nella configurazione classica e cocommutativa, il complesso di coomacchia coinvolge azioni per grado dei gruppi simmetrici derivati dalle morfismi di flip nella categoria monoidale simmetrica dei moduli. Tuttavia, per le bialgere quasi-triangolari, la struttura rilevante è una bradata (una matrice $R$) piuttosto che una simmetria, e la categoria sottostante è una categoria monoidale braidata piuttosto che una simmetrica. Gli autori mirano a definire una "coomologia braidata" per le coalgebre braidate in arbitrarie categorie monoidali lineari e a investigare se tale coomologia sia invariante rispetto alla equivalenza di Morita braidata (ovvero l'equivalenza monoidale lineare delle categorie di moduli).

Metodologia
Gli autori impiegano un quadro categorico centrato sulla categoria braidata aumentata $(\Delta B)_+$, un gruppo simpliciale incrociato introdotto da Krasauskas e Fiedorowicz–Loday. La metodologia procede attraverso i seguenti passaggi:

1. Costruzione Categorica: Definiscono una coalgebra braidata $(C, c)$ in una categoria monoidale lineare $\mathcal{C}$, dove $C$ è un oggetto e $c$ è un isomorfismo di braiding che soddisfa specifiche condizioni di compatibilità con la struttura di coalgebra.
2. Associazione Functoriale: A ogni coalgebra braidata, associano un funtore strettamente monoidale $\tilde{T}_\bullet(C, c): (\Delta B)_+^{op} \to [\mathcal{C}, \mathcal{C}]$. Questo funtore mappa la categoria braidata aumentata nella categoria dei funtori endiomorfici di $\mathcal{C}$.
3. Definizione del Complesso: Utilizzando questo funtore, costruiscono il complesso di coomacchia braidata $KB^\bullet(C, c, M)$ con coefficienti in un oggetto $M$. Ciò viene ottenuto:
   • Restringendo il funtore alla sottocategoria $(\Delta_{inj}B)_+$ (iniezioni braidate).
   • Valutandolo nell'oggetto unità e applicando il funtore $\text{Hom}_\mathcal{C}(-, M)$ per approdare nella categoria dei $k$-moduli ($\mathcal{V}$).
   • Definendo la differenziale come la somma alternata delle mappe di faccia.
   • Prendendo il sottocomplesso degli elementi invarianti sotto un'azione specifica del gruppo braid $B_{n+1}$ (specificamente, elementi $\phi$ tali che $K(\tau_i^n)(\phi) = -\phi$), che generalizza gli invarianti simmetrici usati nella coomologia simmetrica classica.
4. Morfismi Relativi: Per studiare l'invarianza, gli autori introducono la nozione di morfismi relativi tra funtori strettamente monoidali. Essi stabiliscono una corrispondenza biettiva tra i morfismi relativi da $\tilde{T}_\bullet(C, c)$ a $\tilde{T}_\bullet(D, c')$ e specifici morfismi $\alpha: D \to F(C)$ nella categoria target che soddisfano condizioni analoghe a quelle dei morfismi di coalgebra, ma adattate al funtore monoidale $F$.

Contributi Chiave e Risultati

• Definizione di Coomologia Braidata: Il saggio definisce il complesso di coomacchia braidata e la coomologia braidata per le coalgebre braidate in qualsiasi categoria monoidale lineare. Questo quadro comprende bialgere quasi-triangolari (viste come coalgebre braidate nei loro moduli), contesti differenziali graduati e moduli di Yetter-Drinfel'd.
• Teorema A (Caratterizzazione dei Morfismi Relativi): Gli autori dimostrano che i morfismi relativi tra i funtori associati alle coalgebre braidate sono in corrispondenza biettiva con morfismi $\alpha$ che soddisfano specifiche equazioni strutturali coinvolgenti la struttura monoidale del funtore e il braiding. Ciò riduce lo studio delle trasformazioni naturali tra complessi funtori allo studio di un singolo morfismo nella categoria sottostante.
• Teorema B (Invarianza di Morita Braidata): Per bialgere quasi-triangolari $k$-definite $(A, R)$ e $(B, R')$, se esiste un'equivalenza monoidale braidata $k$-definita $F: (A\text{-Mod}, c_R) \to (B\text{-Mod}, c_{R'})$ che commuta con i funtori di dimenticanza (fino a isomorfismo naturale), allora esiste un isomorfismo di complessi di coomacchia $KB^\bullet(A, R, M) \cong KB^\bullet(B, R', F(M))$. Di conseguenza, la coomologia braidata è invariante sotto tali equivalenze.
• Corollario C (Caso a Dimensione Finita): La condizione riguardante la commutazione con i funtori di dimenticanza è automaticamente soddisfatta per le bialgere quasi-triangolari a dimensione finita. Pertanto, la coomologia braidata delle bialgere quasi-triangolari a dimensione finita è un invariante di Morita braidata.
• Calcolo Esplicito: Gli autori forniscono un calcolo esplicito per l'algebra di Sweedler, un esempio non cocommutativo. Dimostrano che per diverse matrici $R$ parametrizzate da $\lambda \in k$, i primi gruppi di coomacchia braidata $KB^1(A, R_\lambda, M)$ sono isomorfi come $k$-spazi vettoriali, costruendo esplicitamente l'isomorfismo tramite l'equivalenza di Morita braidata indotta da un twist di bialgebra.

Significato e Rivendicazioni
Il saggio sostiene di fornire un quadro unificato che generalizza la coomologia simmetrica dalle alge di Hopf cocommutative alle più ampie classi di bialgere quasi-triangolari, sostituendo i gruppi simmetrici con i gruppi braid e i morfismi di flip con braiding arbitrari.

• Generalizzazione: Estende l'ambito della coomologia simmetrica a contesti non cocommutativi, inclusi esempi come l'algebra di Sweedler, l'algebra di Kac-Paljutkin e i doppi di Drinfel'd.
• Invarianza: Stabilisce che la coomologia braidata è un invariante robusto sotto l'equivalenza di Morita braidata, un concetto cruciale per classificare le strutture quasi-triangolari fino all'equivalenza monoidale delle loro categorie di moduli.
• Connessione Categorica: Il lavoro rivela una connessione diretta tra la categoria braidata aumentata e la coomologia delle coalgebre braidate, affrontando un problema posto da Singh nel contesto delle rappresentazioni dei gruppi braid.
• Direzioni Future: Gli autori notano che le loro costruzioni sono applicabili in situazioni non additive (ad esempio, insiemi simpliciali, spettri) e suggeriscono che la coomologia braidata ammetta una generalizzazione $\infty$-categorica, sebbene ciò non sia sviluppato nel presente lavoro.

Il saggio non pretende di risolvere la classificazione di tutte le bialgere quasi-triangolari, ma piuttosto fornisce uno strumento coomologico che rimane stabile sotto le naturali equivalenze (equivalenza di Morita braidata) utilizzate per classificare queste strutture. I risultati sono presentati come generalizzazioni teoriche di costruzioni esistenti della coomologia di gruppi e di alge di Hopf.