[論文レビュー] 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

ひとこと要約

本稿は、特性0の体上の有限次元ホップ代数が双対チェバリィ性質を満たす場合に、その代数がラドフォード＝マジャドのボソン化と準同型であるためのコhomologicalな基準を確立する。もしイェッター＝ドリンフェルトカテゴリ内の図式の3番目のホッフチルドコホモロジー群が消えるならば、その代数はそのカテゴリ内に存在する連結なバイアルゲブラのボソン化と準同型であることを示している。主な貢献は、ゲージ同値を介したボソン化実現可能性に対するコホモロジー的障害条件の特定である。

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.

研究の動機と目的

• 有限次元ホップ代数が双対チェバリィ性質を満たす場合に、それがラドフォード＝マジャドのボソン化と準同型である条件を特定すること。
• イェッター＝ドリンフェルトカテゴリ内のコクァシバイアルゲブラのゲージ変形がバイアルゲブラを導くためのコホモロジー的条件を同定すること。
• イェッター＝ドリンフェルトカテゴリ内のホッフチルドコホモロジーとボソン化代数のコホモロジーの不変量との関係を分析すること。
• イェッター＝ドリンフェルトカテゴリ内での3番目のホッフチルドコホモロジー群が消えるが、ボソン化代数では非自明なコホモロジーを持つ具体例を提示すること。

提案手法

• イェッター＝ドリンフェルトモジュールの圏におけるコラディカルフィルトレーションおよび関連する順次コモジュール構造の使用。
• イェッター＝ドリンフェルトカテゴリ内のコクァシバイアルゲブラに対してゲージ変換を適用し、変形不変性を検討すること。
• ボソン化代数のコホモロジーの不変量を用いて、イェッター＝ドリンフェルトカテゴリ内でのホッフチルドコホモロジーを計算すること。
• スペクトル系列とフィルトレーションの議論を活用し、元の代数のコホモロジーとその順次コモジュールおよびボソン化形との関係を結ぶこと。
• ブラインドバイアルゲブラおよびニコルズ代数を、特にカルタン型および非対角型の例として用いること。
• D作用を介して、イェッター＝ドリンフェルトカテゴリ内のコホモロジーとボソン化代数のコホモロジーの不変量との間の同型を証明すること。

実験結果

リサーチクエスチョン

• RQ1 有限次元ホップ代数が双対チェバリィ性質を満たす場合に、それがラドフォード＝マジャドのボソン化と準同型であるためのコホモロジー的条件は何か？
• RQ2 イェッター＝ドリンフェルトカテゴリ内での3番目のホッフチルドコホモロジー群の消える条件は、ゲージ同値なバイアルゲブラの存在とどのように関係するか？
• RQ3 イェッター＝ドリンフェルトカテゴリ内のニコルズ代数のコホモロジーは、そのボソン化代数のコホモロジーが非自明である場合でも消えることがあるか？
• RQ4 D作用は、イェッター＝ドリンフェルトカテゴリ内でのホッフチルドコホモロジーの不変量を計算する際に果たす役割は何か？
• RQ5 ブラインド代数のどのクラス（例えばカルタン型、非対角型）において、イェッター＝ドリンフェルトカテゴリ内での3番目のコホモロジー群が消えるか？

主な発見

• 本稿は、H³_YD(D(A), k) = 0 ならば、双対チェバリィ性質を満たす有限次元ホップ代数 A は、gr(E) ≅ D(A) を満たすイェッター＝ドリンフェルトカテゴリ内の連結バイアルゲブラ E と、E#H としてのラドフォード＝マジャドのボソン化と準同型であることを証明している。
• カルタン型の量子群 Bq に対しては、H³_YD(Bq, k) = 0 であるが、H³(Bq#kΓ, k) が非自明である可能性があるため、非自明なコホモロジー的差異が示されている。
• n=3 の非対角型の FKn 代数に対しては、H³_YD(FK3, k) = 0 であるため、この基準が対角型でないブラインド型にも適用可能であることが示された。
• 同型 H³_YD(B, k) ≅ H³(B, k)^D が成り立ち、ここで D は作用する群の群代数である。この同型は不変量の計算と消滅の検証に用いられている。
• イェッター＝ドリンフェルトカテゴリ内に存在する連結なコクァシバイアルゲブラの関連する順次コモジュールは、連結バイアルゲブラである。これは重要な構造的結果である。
• 本稿は、元の代数のコホモロジーとその順次コモジュールのコホモロジーとの関係を示すスペクトル系列の議論を構築し、特定の状況での消滅結果の証明を可能にしている。