[論文レビュー] On the structure of (co-Frobenius) Hopf algebras

Nicolás Andruskiewitsch, Juan Cuadra|arXiv (Cornell University)|Nov 15, 2010

Algebraic structures and combinatorial models参考文献 39被引用数 3

ひとこと要約

この論文は、単射的アンチポードを持つホップ代数に対して、コラジカルフィルトレーションの一般化である標準フィルトレーションを導入し、任意のこのようなホップ代数が、そのホップコラジカルのボソン化として、ヤッター＝ドラフィン・モジュールにおける連結な次数付き図式による変形として構造定理を可能にする。主な貢献は、ホップ代数がコフロベニウスであることと、そのホップコラジカルがコフロベニウスであり、図式が有限次元であることの必要十分条件である。この場合、標準フィルトレーションは有限である。

ABSTRACT

We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf algebra with injective antipode is a deformation of the bosonization of the Hopf coradical by its diagram, a connected graded Hopf algebra in the category of Yetter-Drinfeld modules over the latter. We discuss the steps needed to classify Hopf algebras in suitable classes accordingly. For the class of co-Frobenius Hopf algebras, we prove that a Hopf algebra is co-Frobenius if and only if its Hopf coradical is so and the diagram is finite dimensional. We also prove that the standard filtration of such Hopf algebras is finite. Finally, we show that extensions of co-Frobenius (resp. cosemisimple) Hopf algebras are co-Frobenius (resp. cosemisimple).

研究の動機と目的

• 単射的アンチポールを持つホップ代数に適用可能な、新たなフィルトレーション（標準フィルトレーション）を用いてコラジカルフィルトレーションを一般化すること。
• このようなホップ代数の構造的分解を、そのホップコラジカルのボソン化として、ヤッター＝ドラフィン・モジュールにおける連結な次数付き図式による変形として与えること。
• 関連するヤッター＝ドラフィン・カテゴリにおけるコフロベニウスのホップコラジカルと有限次元連結な次数付きホップ代数の分類に帰着することで、コフロベニウスのホップ代数を分類すること。
• コフロベニウスまたはコセミシンプルなホップ代数の拡張が、それぞれコフロベニウスまたはコセミシンプルの性質を保つ条件を確立すること。
• コフロベニウスのホップ代数におけるコラジカルフィルトレーションの有限性に関する予想を、この場合の標準フィルトレーションが有限であることを示すことによって解決すること。

提案手法

• コラジカルから出発し、ホップコラジカル（コラジカルにより生成される部分代数）を用いて反復的なウェッジ作用を定義することで、標準フィルトレーションを定義する。
• アンチポールが単射である場合、標準フィルトレーションがホップ代数のフィルトレーションであることを示し、関連する次数付きホップ代数 $\operatorname{gr}H$ の構成を可能にする。
• $\operatorname{gr}H$ を、ホップコラジカル $H_{[0]}$ と、ヤッター＝ドラフィン $H_{[0]}$-モジュールのカテゴリにおける連結な次数付きホップ代数 $R$（$H$ の図式）によるボソン化として特定する。
• この構造を用いて、$H$ を適切なコホモロジー的枠組みにおいて $\operatorname{gr}H$ の変形として解釈する。
• 構造定理をコフロベニウスのホップ代数のクラスに適用し、単純なコモジュールの有限次元インジェクティブ包因の表現論的特徴づけを用いる。
• 特に、商コモジュールに関する忠実なコフラット性の仮定の下で、コフロベニウスとコセミシンプルの性質の双対性を拡張理論を通じて確立する。

実験結果

リサーチクエスチョン

• RQ1 単射的アンチポールを持つホップ代数が、そのホップコラジカルのボソン化として、ヤッター＝ドラフィン・モジュールにおける連結な次数付き図式による変形として分解可能となる条件は何か？
• RQ2 ホップ代数がコフロベニウスであるとはどのような状況か？ その性質は、ホップコラジカルおよび図式とどのように関係するか？
• RQ3 コフロベニウスのホップ代数の標準フィルトレーションは有限か？ そして、これはコラジカルフィルトレーションの有限性を示唆するか？
• RQ4 コフロベニウス（またはコセミシンプル）なホップ代数の拡張が、それぞれコフロベニウス（またはコセミシンプル）であるための条件は何か？
• RQ5 ホップ代数の拡張において、非ゼロの積分の存在やコモジュールの有限次元インジェクティブ包因の性質がどのように相互作用するか？

主な発見

• 単射的アンチポールを持つホップ代数は、そのホップコラジカルのボソン化として、ヤッター＝ドラフィン・モジュールのカテゴリにおける連結な次数付きホップ代数（図式）による変形と同型である。
• ホップ代数がコフロベニウスであることと、そのホップコラジカルがコフロベニウスであり、図式が有限次元であることとは同値である。
• コフロベニウスのホップ代数の標準フィルトレーションは有限であり、このクラスにおけるコラジカルフィルトレーションの有限性に関する予想を確認した。
• ホップ代数の拡張 $1 \to A \to B \to C \to 1$ において、$B$ が $C$-コモジュールとして忠実にコフラットであるとき、$B$ がコフロベニウスであることと、$A$ と $C$ が両方ともコフロベニウスであることとは同値である。
• このような拡張において、$B$ が $C$-コモジュールとして忠実にコフラットである限り、ホップ代数 $B$ がコセミシンプルであることと、$A$ と $C$ が両方ともコセミシンプルであることとは同値である。
• ホップ代数の準同型 $g: K \to H$ において、$H$ が右 $K$-モジュールとして有限生成であるとき、$H^0$ がコフロベニウスであることと、$K^0$ がコフロベニウスであることとは同値であり、$H$ が $K$-上に平坦である場合には逆も成り立つ。