[論文レビュー] Extending Structures II: The Quantum Version

A. L. Agore, G. Militaru|arXiv (Cornell University)|Nov 9, 2010

Advanced Topics in Algebra参考文献 8被引用数 5

ひとこと要約

本稿では、ホップ代数の交叉積および双交叉積を一般化する新しい構成である統一積（unified product）を導入し、与えられたホップ代数 $A$ と余代数 $H$ を通じて分解するすべてのホップ代数 $E$ を分類する。この分類は、余代数写像とラジカル1-コサイクルを用いたシュライヤー型定理によって達成され、$E$ が $A$ と $H$ の統一積に同型であるための必要十分条件は、作用と一般化されたコサイクルを含む特定の適合条件を満たすことであることが示されている。

ABSTRACT

Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E with 1_{E} \in H and the multiplication map $A\otimes H o E$ is bijective. The tool we use is a new product, we call it the unified product, in the construction of which A and H are connected by three coalgebra maps: two actions and a generalized cocycle. Both the crossed product of an Hopf algebra acting on an algebra and the bicrossed product of two Hopf algebras are special cases of the unified product. A Hopf algebra E factorizes through A and H if and only if E is isomorphic to a unified product of A and H. All such Hopf algebras E are classified up to an isomorphism that stabilizes A and H by a Schreier type classification theorem. A coalgebra version of lazy 1-cocycles as defined by Bichon and Kassel plays the key role in the classification theorem.

研究の動機と目的

• ホップ代数 $E$ がホップ部分代数 $A$ と部分余代数 $H$ を通じて分解するという制限付き拡張構造問題を解くこと。ただし $1_E \in H$ を満たすものとする。
• 交叉積と双交叉積の両方の構成を統合する単一の枠組みとして、統一積を定義すること。この際、二つの作用（左作用と右作用）と一般化されたコサイクルの三つの余代数写像を用いる。
• $A$ と $H$ を安定化するようなすべてのホップ代数 $E$ を、シュライヤー型分類定理を用いて同型を除いて分類すること。
• 余代数値のラジカル1-コサイクルが分類に果たす役割を特定すること。これは、ビホンとカッセルの概念をホップ代数の文脈に拡張したものである。

提案手法

• 左作用 $\triangleright: H \otimes A \to A$、右作用 $\triangleleft: H \otimes A \to H$、一般化されたコサイクル $f: H \otimes H \to A$ の三つの構造写像を用いて、ホップ代数 $A$ と余代数 $H$ の統一積を定義する。これらは正規化および適合条件を満たす必要がある。
• 統一積構成が $A \otimes H$ 上にホップ代数構造を定めるための必要十分条件として、12個の適合条件（バイアルゲブラおよびアンチポーダの公理を含む）を特定する。
• ラジカル1-コサイクル $u \in H^1_{l,c}(H,A)$ の概念を用いて、統一積同士の同型写像をパrametrizeする。これは、群拡張の古典的シュライヤー法の一般化である。
• 任意のホップ代数 $E$ が $A$ と $H$ を通じて分解可能であるならば、$E$ は $A$ と $H$ の統一積に同型であることを証明する。これにより、完全な分類が得られる。
• 特殊ケースに応用する：$f$ が自明な場合、双交叉積が得られる。$\triangleleft$ の作用が自明な場合、交叉積が得られる。
• 具体的な例を構成する：$k[A_4] \ltimes k[S] \cong k[A_6]$。ここで $A_6$ は6個の要素の交代群であり、$S$ は30個の陪集合代表元の集合である。これは、交叉積でも双交叉積でもない統一積の例を示しており、$A_6$ はそれ以上分解できない単純群である。

実験結果

リサーチクエスチョン

• RQ1 ホップ代数 $E$ がホップ部分代数 $A$ と部分余代数 $H$ を通じて分解可能であり、$A$ がホップ部分代数で $H$ が $1_E \in H$ を満たすような統一積として構成可能であるための条件は何か？
• RQ2 統一積構成は、ホップ代数の交叉積と双交叉積を統合する単一の枠組みとして、どのように一般化されるか？
• RQ3 余代数値のラジカル1-コサイクルは、$A$ と $H$ の統一積同士の同型分類において、どのように役立つか？
• RQ4 統一積構成によって、交叉でも双交叉でもないホップ代数が得られるか？ もし可能であれば、そのような例を明示的に構成できるか？
• RQ5 統一積がホップ代数となるために、三つの写像（$\triangleright$, $\triangleleft$, $f$）が満たすべき正確な適合条件の集合は何か？

主な発見

• ホップ代数 $E$ がホップ部分代数 $A$ と部分余代数 $H$ を通じて分解可能である（$1_E \in H$ を満たす）ための必要十分条件は、$E$ が $A$ と $H$ の統一積に同型であることである。
• 統一積構成は、交叉積と双交叉積を一般化するものであり、前者は作用 $\triangleleft$ が自明な場合、後者はコサイクル $f$ が自明な場合にそれぞれ得られる。
• $A$ と $H$ を安定化するようなすべてのホップ代数 $E$ の同型を除いた分類は、余代数値のラジカル1-コサイクルを含むシュライヤー型定理によって与えられる。
• 双交叉積の場合、$A \bowtie H$ と $A \bowtie' H$ が同型であるための必要十分条件は、作用が同一であり、かつアンチポーダと積を含む三つの特定の式を満たすラジカル1-コサイクル $u$ が存在することである。
• 明示的な例を構成した：$k[A_4] \ltimes k[S] \cong k[A_6]$。ここで $A_6$ は6要素の交代群であり、$S$ は30個の陪集合代表元の集合である。これは、交叉でも双交叉でもない統一積の例を示しており、$A_6$ はそれ以上分解できない単純群である。
• 統一積の構成は、最小限のデータで可能である：ホップ代数 $A$、単位的で非可換でないバイアルゲブラ $H$、および四つの技術的適合条件を満たす余代数写像 $\gamma: H \to A$ が与えられればよい。