[論文レビュー] An action-free characterization of weak Hopf-Galois extensions

Lars Kadison|ArXiv.org|Sep 29, 2004

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

ひとこと要約

この論文は、Frobenius拡張 $A|B$ が弱ホップ＝ガロア拡張であることと、深さ2かつ右 $B$-加群 $A_B$ がバランス型であることの同値性を示すことによって、弱ホップ＝ガロア拡張の作用を含まない特徴づけを提供する。この特徴づけは、中心化子 $R = C_A(B)$ 上の双代数体構造に依拠し、群やホップ代数の作用に依存しないモジュール論的条件を用いる。これは、従来の普通および弱ホップ＝ガロア拡張に関する結果を一般化するものである。

ABSTRACT

We define comodule algebras and Galois extensions for actions of bialgebroids. Using just module conditions we characterize the Frobenius extensions that are Galois as depth two and right balanced extensions. As a corollary, we obtain characterizations of certain weak and ordinary Hopf-Galois extensions without reference to action in the hypothesis.

研究の動機と目的

• 弱ホップ代数の文脈に、作用を含まないガロア拡張の特徴づけを一般化すること。
• 弱ホップ＝ガロア拡張を定義する際に、群やホップ代数の作用に依存しないようにすること。
• Frobenius拡張が、ちょうど深さ2かつ右バランス型であるとき、弱ホップ＝ガロア拡張であることを確立すること。
• 双代数体双対性を用いて、従来の普通および弱ホップ＝ガロア拡張に関する結果を統合・拡張すること。
• 制限のない中心化子 $R = C_A(B)$ を用いたモジュール論的枠組みを、弱ホップ＝ガロア拡張に提供すること。

提案手法

• $A|B$ が深さ2（D2）であるとは、$A \bigotimes_B A$ が $A$ の有限個の直和の部分加群として、$B$-$A$ および $A$-$B$ 双加群として直和成分をもつこと。
• 右 $R$-双代数体 $T = (A \bigotimes_B A)^B$ と左 $R$-双代数体 $S = \mathrm{End}_B A_B$ を構成し、これらは互いに双対である。
• D2 条件を用いて、$\delta(a) = \sum_j \gamma_j(a) \otimes u_j$ により定義される $A$ への右 $T$-コアクションを用い、$A \bigotimes_R T$ に値をとる右 $T$-コモジュール代数構造を定義する。
• $A$ が右 $T$-コモジュール代数であり、余不変量が $A^{\mathrm{co}T} = B$ であることは、ちょうど $A_B$ がバランス型であることと同値であることを示す。
• $\beta: A \bigotimes_B A \to A \bigotimes_R T$ を $\beta(a \bigotimes a') = a a'_{(0)} \bigotimes a'_{(1)}$ で定義するガロア写像が、ちょうど $A|B$ が D2 かつ $A_B$ がバランス型であるとき、同型であることを証明する。
• Larson-Sweedler-Vecsernyes の定理を用いて、$R$ が分離的かつ $A|B$ が Frobenius であるとき、$T$ が弱ホップ代数に成り、弱ホップ＝ガロア構造が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 群やホップ代数の作用に依存しないモジュール論的条件下で、Frobenius拡張 $A|B$ が弱ホップ＝ガロア拡張である条件は何か？
• RQ2 ガロア性質が、ちょうど深さ2およびバランス型モジュール条件によってどのように特徴づけられるか？
• RQ3 中心化子 $R = C_A(B)$ は、弱ホップ＝ガロア拡張を支配する双代数体を構成する際に果たす役割は何か？
• RQ4 モジュール構造のみを用いて、普通のホップ代数を超えて弱ホップ代数の文脈にまで、弱ホップ＝ガロア拡張の特徴づけを拡張できるか？
• RQ5 $T = (A \bigotimes_B A)^B$ を通じた $A$ 上の双対性およびコアクション構造は、ガロア性とどのように関係するか？

主な発見

• Frobenius拡張 $A|B$ が弱ホップ＝ガロア拡張であることと、ちょうど深さ2かつ右 $B$-加群 $A_B$ がバランス型であることの同値である。
• $R$ が分離的かつ $A|B$ が Frobenius であるとき、右 $R$-双代数体 $T = (A \bigotimes_B A)^B$ は弱ホップ代数となり、弱ホップ＝ガロア構造が得られる。
• ガロア写像 $\beta: A \bigotimes_B A \to A \bigotimes_R T$ が同型であることは、ちょうど $A|B$ が D2 かつ $A_B$ がバランス型であることと同値である。
• $T$-コアクションの余不変量は $A^{\mathrm{co}T} = B$ であるが、これはちょうど $A_B$ がバランス型であることと同値であり、ガロア条件とも同値である。
• $R = k1$ である（非可約拡張の場合）、$A|B$ が有限ホップ＝ガロア拡張であることと、ちょうど D2 かつ右バランス型であることの同値である。これは、以前の結果を回復・拡張する。
• 基底体の特性が 0 であるとき、'右バランス型'という条件は、Larson-Radford の定理により、'分離的拡張'に置き換え可能である。