[論文レビュー] Pointed Hopf algebras as cocycle deformations

L. Grünenfelder, Mitja Mastnak|arXiv (Cornell University)|Oct 24, 2010

Algebraic structures and combinatorial models参考文献 14被引用数 19

ひとこと要約

この論文は、アンドルスキーイヴィッチ＝シュナイダー分類における同じ図式をもつすべての有限次元指向ホップ代数が、互いにコサイクル変形であることを証明する。braided Hopf代数構造を用いた特徴付けと、Morita-Takeuchi同値およびホップガロア拡張理論を応用することで、特定のRadford双代数 $ B(V)\#kG $ のリフトが、指数関数およびその $ q $-類似を用いた明示的構成により、コサイクルによって互いに変形可能であることが示された。

ABSTRACT

We show that all finite dimensional pointed Hopf algebras with the same diagram in the classification scheme of Andruskiewitsch and Schneider are cocycle deformations of each other. This is done by giving first a suitable characterization of such Hopf algebras, which allows for the application of results by Masuoka about Morita-Takeuchi equivalence and by Schauenburg about Hopf Galois extensions. We also outline a method to describe the deforming cocycles involved using the exponential map and its q-analogue.

研究の動機と目的

• 同じ関連付きグレーディングホップ代数（同じ図式）をもつすべての有限次元指向ホップ代数が、互いにコサイクル変形であることを確立すること。
• Morita-Takeuchi同値およびホップガロア拡張理論への適用に適した、Radford双代数 $ B(V)\#kG $ のリフトの特徴付けを提供すること。
• アンドルスキーイヴィッチ＝シュナイダークラスのホップ代数に対して、指数関数およびその $ q $-類似を用いて、変形コサイクルを明示的に記述すること。
• 奇数次元の指向ホップ代数に対して弱化されたカプランスキー予想を、有限な準同型類のクラスを示すことによって確認すること。

提案手法

• 有限アーベル群上のYetter-Drinfeldモジュールデータを用いたbraided Hopf代数構造による $ B(V)\#kG $ のリフトの特徴付け。
• 益城のプッシュアウト構成を用いて、すべてのこのようなリフトがMorita-Takeuchi同値であることを証明。
• シュアウエンブルクのホップガロア拡張理論を応用し、Morita-Takeuchi同値なホップ代数が互いにコサイクル変形であることを導出。
• 特に量子線形の場合に、指数関数およびその $ q $-類似を用いて変形コサイクルを構成。
• ホッホシールドコhomologyおよびSinger拡張を用いてコサイクルを明示的に記述し、特にニコルズ代数およびボソン化の文脈で。
• 生成元と関係式を用いた変形ホップ代数の明示的表示を提示。comultiplicationおよび関係式は $ \mu_i $、$ \lambda $、および $ q $-整数を含むように修正されている。

実験結果

リサーチクエスチョン

• RQ1 アンドルスキーイヴィッチ＝シュナイダー分類における同じ図式をもつすべての有限次元指向ホップ代数は、互いにコサイクル変形であるか？
• RQ2 固定されたRadford双代数 $ B(V)\#kG $ のリフトが、すべてMorita-Takeuchi同値であることが示せるか？
• RQ3 指数関数およびその $ q $-類似といった代数的道具を用いて、このようなリフトの変形コサイクルを明示的に記述できるか？
• RQ4 これらの結果は、このクラスの奇数次元指向ホップ代数に対して弱化されたカプランスキー予想を確認するか？
• RQ5 得られるコサイクル変形における、変形されたcomultiplicationおよびmultiplicationの構造はいかなるものか？

主な発見

• 関連付きグレーディングホップ代数 $ \operatorname{gr}^c H \cong H(V) $ が同型であるすべての有限次元指向ホップ代数は、互いにコサイクル変形である。
• 特定の $ B(V)\#kG $ のリフトは、益城のプッシュアウト構成により、すべてMorita-Takeuchi同値であることが示された。
• 指数関数およびその $ q $-類似を用いて、明示的なコサイクル変形が構成され、2変数の場合には $ \sigma = \exp(\mu_1\zeta_1 + \mu_2\zeta_2) $ となる。
• 変形ホップ代数 $ A^\sigma $ は、$ \langle g, x_1, x_2 \mid g^{mn}=1, x_1^m = \mu_1(1-g^m), x_2^m = \mu_2(1-g^m), x_2x_1 = qx_1x_2 \rangle $ として提示され、ラディカルフィルトレーションを保存する。
• 量子線形の場合には、comultiplicationは $ \Delta_\sigma(\theta) = \theta\otimes\theta + (1-\alpha^N)\zeta(\theta\otimes\theta) $ に変形され、一方 $ \Delta_\sigma(\xi) = \Delta(\xi) $ のままである。
• コサイクル $ \sigma^* $ は逆元をもち、$ \sigma^*(1) = \varepsilon\otimes\varepsilon + \zeta $ を満たし、$ \zeta^2 = 0 $ であるため、元の乗法と整合性を持つ。