[論文レビュー] The Endomorphism Ring Theorem for Galois and D2 extensions

Lars Kadison|ArXiv.org|Mar 10, 2005

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

ひとこと要約

本稿では、右D2またはガロア拡張の自己準同型環が、基本代数の反対代数上での左ガロア拡張であることを、自己準同型代数上のバイアリジド構造を用いて確立する。主な貢献は、バイアリジド作用を通じてD2およびガロア拡張を統一する一般化された自己準同型環定理であり、Frobenius D2拡張が自己準同型環から元の拡張へと持ち上がることを示す逆定理も得られている。

ABSTRACT

Let $S$ be the left bialgebroid $\End {}_BA_B$ over the centralizer $R$ of a right D2 algebra extension $A \| B$, which is to say that its tensor-square is isomorphic as $A$-$B$-bimodules to a direct summand of a finite direct sum of $A$ with itself. We prove that its left endomorphism algebra is a left $S$-Galois extension of $A^{ m op}$. As a corollary, endomorphism ring theorems for D2 and Galois extensions are derived from the D2 characterization of Galois extension (cf. math.QA/0502188 and math.QA/0409589). We note the converse that a Frobenius extension satisfying a generator condition is D2 if its endomorphism algebra extension is D2.

研究の動機と目的

• FrobeniusおよびQF-拡張の自己準同型環定理を、より広いクラスのD2およびガロア拡張へ一般化すること。
• D2拡張と自己準同型環上のバイアリジド作用の間のガロア対応を確立すること。
• 右D2またはガロア拡張の自己準同型代数が、基本代数の反対代数上での左ガロア拡張となることを証明すること。
• 逆定理を提示する：自己準同型環拡張がD2であり、かつ元の拡張が生成子条件を満たすFrobenius拡張であれば、元の拡張もD2である。
• 自己準同型環拡張の文脈において、分離性とスプリット性の性質の双対性を調査すること。

提案手法

• 右D2拡張 $ A|B $ の中心化子 $ R $ 上の左バイアリジド $ S = \text{End}_B(A)_B $ を定義する。
• 文献[8, 定理2.1]におけるD2性質によるガロア拡張の特徴づけを用い、D2条件とガロア構造との関係を明らかにする。
• ガロア写像 $ \beta: \text{End}_B(A) \to \text{Hom}_A(A \boxtimes_B A, A) $ を構成し、図式による因数分解を用いてそれが同型であることを示す。
• Frobeniusおよび生成子条件の下で、モリタ理論と加群のキャンセレーションを適用し、自己準同型環定理の逆方向を導く。
• 同型 $ A \boxtimes_B A \to \text{Hom}(R_K, A_K) $ を用いて、例におけるH-分離性およびD2構造を検証する。
• $ A|B $ がD2であることと、 $ A \boxtimes_B A $ が $ A $ に対する有限個の直和の直和成分である $ A $-$ B $-両側加群であることとが同値であるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 右D2またはガロア拡張が、その自己準同型環上で左ガロア拡張を誘導する条件は何か？
• RQ2 自己準同型環定理は、Frobenius拡張を超えて一般D2拡張へ拡張可能か？
• RQ3 自己準同型環定理の逆は成り立つか：自己準同型環拡張がD2であれば、元の拡張もD2であると結論づけられるか？
• RQ4 中心化子 $ R $ とバイアリジド $ S $ は、D2拡張のガロア対応を実現するために果たす役割は何か？
• RQ5 右D2でない左D2拡張の例は存在するか？ これはD2性質の対称性に何を意味するか？

主な発見

• 任意の右D2拡張 $ A|B $ に対して、自己準同型環 $ \text{End}_B(A) $ は、 $ S = \text{End}_B(A)_B $ とおくとき、 $ A^{\text{op}} $ 上の左 $ S $-ガロア拡張である。
• ガロア写像 $ \beta $ は同型であり、図1に示すように、テンソル積とホモロジーの間の可換図式を介して因数分解可能である。
• Frobenius D2拡張では、左D2性と右D2性が同値であり、自己準同型環拡張はD2性を引き継ぐ。
• 逆定理が成り立つ： $ A|B $ がFrobenius拡張で $ A_B $ がプロゲネレータであり、 $ \text{End}_B(A)|A $ がD2であれば、 $ A|B $ はD2である。
• $ A|B $ がH-分離的かつD2ではあるがFrobeniusでない例が構成され、D2性がFrobenius構造を含意しないことが示された。
• 本稿では[10]の質問1を解決し、Frobenius D2拡張の定義における2つの条件が、生成子条件の下で独立でないが、同値であることを証明した。