[论文解读] Cohomology and Coquasi-bialgebras in the category of Yetter-Drinfeld Modules

Iván Angiono, Alessandro Ardizzoni+1 more|arXiv (Cornell University)|Sep 16, 2015

Algebraic structures and combinatorial modelsMathematics参考文献 27被引用 19

一句话总结

本文為特征零域上具有對偶 Chevalley 性質的有限維 Hopf 代數建立了一個上同調準則，使其 quasi-isomorphic 於 Radford-Majid 的玻色化。證明指出，若在 Yetter-Drinfeld 類別中的圖形的第三 Hochschild 上同調群為零，則該代數 quasi-isomorphic 於該類別中連通雙代數的玻色化。其主要貢獻在於透過規範等價實現玻色化的上同調障礙條件。

ABSTRACT

We prove that a finite-dimensional Hopf algebra with the dual Chevalley Property over a field of characteristic zero is quasi-isomorphic to a Radford-Majid bosonization whenever the third Hochschild cohomology group in the category of Yetter-Drinfeld modules of its diagram with coefficients in the base field vanishes. Moreover we show that this vanishing occurs in meaningful examples where the diagram is a Nichols algebra.

研究动机与目标

• 確定具有對偶 Chevalley 性質的有限維 Hopf 代數在何種條件下 quasi-isomorphic 於 Radford-Majid 玻色化。
• 識別在 Yetter-Drinfeld 類別中，coquasi-bialgebra 的規範變形何時產生 bialgebra 的上同調條件。
• 分析 Yetter-Drinfeld 類別中的 Hochschild 上同調與玻色化代數上同調不變量之間的關係。
• 提供具體例子，顯示在 Yetter-Drinfeld 類別中第三 Hochschild 上同調群為零，即使玻色化代數的上同調非平凡。

提出的方法

• 在 Yetter-Drinfeld 模塊類別中使用余根基濾過結構與相關的分次余代數結構。
• 將規範變換應用於 Yetter-Drinfeld 類別中的 coquasi-bialgebra，以研究變形不變性。
• 透過玻色化代數上同調的不變量計算 Yetter-Drinfeld 類別中的 Hochschild 上同調。
• 利用譜序列與濾過論證，將原始代數的上同調與其分次形式及玻色化形式的上同調聯繫起來。
• 以 braided bialgebras 與 Nichols 代數為關鍵例子，特別是 Cartan 類型與非對角類型。
• 透過 D-作用證明 Yetter-Drinfeld 類別中的上同調與玻色化代數上同調不變量之間的同構。

实验结果

研究问题

• RQ1 在何種上同調條件下，具有對偶 Chevalley 性質的有限維 Hopf 代數 quasi-isomorphic 於 Radford-Majid 玻色化？
• RQ2 Yetter-Drinfeld 類別中第三 Hochschild 上同調群的消失與存在規範等價 bialgebra 之間有何關係？
• RQ3 Yetter-Drinfeld 類別中 Nichols 代數的上同調是否可能為零，即使其玻色化代數的上同調非平凡？
• RQ4 D-作用在計算 Yetter-Drinfeld 類別中 Hochschild 上同調不變量時扮演何種角色？
• RQ5 在哪些類別的 braided 代數中（例如 Cartan 類型、非對角類型），Yetter-Drinfeld 類別中的第三上同調群會消失？

主要发现

• 本文證明：若 H³_YD(D(A), k) = 0，則具有對偶 Chevalley 性質的有限維 Hopf 代數 A quasi-isomorphic 於 Radford-Majid 玻色化 E#H，其中 E 為 Yetter-Drinfeld 類別中的一個連通雙代數，且 gr(E) ≅ D(A)。
• 對於 Cartan 類型的量子群 Bq，有 H³_YD(Bq, k) = 0，即使 H³(Bq#kΓ, k) 可能非平凡，顯示出非平凡的上同調差異。
• 在 n=3 時，非對角類型的 FKn 代數，有 H³_YD(FK3, k) = 0，顯示該準則不僅適用於對角類型的 braided 類型。
• 同構 H³_YD(B, k) ≅ H³(B, k)^D 成立，其中 D 為作用群的群代數，此同構用於計算不變量並驗證消失性。
• Yetter-Drinfeld 類別中連通 coquasi-bialgebra 的相關分次余代數為連通雙代數，為一項關鍵結構結果。
• 本文構造譜序列論證，將原始代數的上同調與其分次形式的上同調聯繫起來，進而證明特定情況下的消失性結果。