[論文レビュー] Mini-course on Hopf algebras--Hopf crossed products--

Akira Masuoka|arXiv (Cornell University)|Jul 6, 2012

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

ひとこと要約

本稿では、群クロスタード積をホップ代数へ一般化したホップクロスタード積の包括的なミニコースを提示し、正規基底を備えたホップ・ガロア拡大としての特徴づけを確立する。主な貢献は、超可換ホップ超代数に対する構造的分解定理であり、それらがホップクロスタード積構成を用いて外積代数と群的ホップ代数のテンソル積と同型であることを示している。

ABSTRACT

Hopf crossed products, or in other words, cleft comodule algebras form a special but important class in Hopf-Galois extensions. To discuss this interesting subject, we will start with the more familiar group crossed products, and then see that they are naturally generalized by Hopf crossed products; these Hopf crossed products are characterized as Hopf-Galois extensions with normal basis. After showing this characterization due to Doi and Takeuchi, we will proceed to two applications of Hopf crossed products---the equivariant smoothness of Hopf algebras, and the tensor product decomposition in super-commutative Hopf superalgebras.

研究の動機と目的

• ホップ代数構造を用いて、群クロスタード積をホップクロスタード積へ一般化すること。
• ドイとタケウチの古典的結果を拡張し、ホップクロスタード積を正規基底を備えたホップ・ガロア拡大として特徴づけること。
• ホップクロスタード積を用いてホップ代数の等長的滑らかさを証明し、超可換ホップ超代数を分解すること。
• 超可換ホップ超代数と外積代数および群的ホップ代数のテンソル積との間の標準的同型を確立すること。

提案手法

• 群作用と2次コサイクルが結合的および正規化条件を満たすことを前提に、群クロスタード積を定義する。
• ホップ代数 H と正規化コサイクル σ を用いて、右 H-コモジュール代数 B を用いて、群クロスタード積をホップクロスタード積へ一般化する。
• ドイ＝タケウチの定理を用い、ホップ・ガロア性および正規基底の存在を用いてホップクロスタード積を特徴づける。
• A を超可換ホップ超代数、W を双対コアルゲブラにおける奇数原始的元の空間、H を群的ホップ代数とするとき、標準的同型 α: A → ∧(W) ⊗ H を構成する。
• 双対コアルゲブラ A° と奇数原始的元の空間 U = W* を用い、中立成分上で同型 γ: B → ∧(W) を誘導する。
• α が増分的かつ右 H-余線形的、左 B-線形的同型であることを、B⁺ による剰余類での挙動を確認することで検証する。

実験結果

リサーチクエスチョン

• RQ1 ホップ代数の文脈において、群クロスタード積はどのようにホップクロスタード積へ一般化できるか？
• RQ2 ホップクロスタード積は、正規基底を備えたホップ・ガロア拡大としてどのように特徴づけられるか？
• RQ3 超可換ホップ超代数がホップクロスタード積を用いてテンソル積分解を許容する条件は何か？
• RQ4 双対コアルゲブラおよび奇数原始的元の空間は、超可換ホップ超代数の構造とどのように関係するか？
• RQ5 コサイクル σ はホップクロスタード積の結合的および代数的構造を保証するために果たす役割は何か？

主な発見

• ホップクロスタード積は、正規基底を備えたホップ・ガロア拡大として特徴づけられ、古典的ドイ＝タケウチの定理を一般化する。
• 各成分に可逆元を含む強い順序付き代数は、すべて群クロスタード積 B ⋊σ Γ として現れる。
• 超可換ホップ超代数 A に対して、A と ∧(W) ⊗ H の間の標準的同型 α: A → ∧(W) ⊗ H が存在する。ここで W は双対コアルゲブラにおける奇数原始的元の空間の双対である。
• A の中立成分 B は外積代数 ∧(W) と同型であり、B⁺ は冪零的であり、B⁺ = B₁B を満たす。
• 分解 A ≅ ∧(W) ⊗ H は超代数として成立し、H は群的ホップ代数であり、同型 α は増分的かつ右 H-余線形的である。
• 同型 α は冪零イデアル B⁺ による剰余類で同型であり、α が左 B-線形的かつ B⁺ による剰余類で同型であることから、全体としての同型である。