[論文レビュー] Similarity, Codepth Two Bicomodules and QF Bimodules

Florencio Castaño Iglesias, Lars Kadison|ArXiv.org|Dec 28, 2007

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

ひとこと要約

この論文は、$k$-coalgebra 上の類似した準有限コモジュールは、強いつながりをもつコエンドモルフィズムコアリズムを持つことを確立し、Hirataの自己同型的同値の結果を一般化する。コードープ2バイモジュールの概念を導入し、QFバイモジュールおよび環拡大に適用することで、QF拡大では左・右のコードープ2が同値であり、分離可能性とコードープ2を用いてコードープ3を特徴づけることを証明する。

ABSTRACT

For any k-coalgebra C it is shown that similar quasi-finite C-comodules have strongly equivalent coendomorphism coalgebras; (the converse is in general not true). As an application we give a general result about codepth two coalgebra homomorphisms. Also a notion of codepth two bicomodule is introduced. The last section applies similarity to an endomorphism ring theorem for quasi-Frobenius (QF) bimodules and then to finite depth ring extensions. For QF extensions, we establish that left and right depth two are equivalent notions as well as a converse endomorphism theorem, and characterize depth three in terms of separability and depth two.

研究の動機と目的

• 自己同型的同値の結果を、エンドモルフィズム環のモジュール理論からコアリズムおよびコモジュールの文脈に拡張すること。
• コードープ2バイモジュールの概念を定義し、その役割をコードープ2コアリズム準同型の特徴づけに用いること。
• バイモジュールの類似性を用いて、Frobenius拡大に関する結果を擬Frobenius（QF）拡大へ一般化すること。
• QF拡大において左・右のコードープ2条件が同値であることを確立し、分離可能性とコードーブ2を用いてコードーブ3を特徴づけること。
• QF拡大において、テンソル平方がそのエンドモルフィズム環と類似していることを証明し、FrobeniusからQFへのコードーブ結果の一般化を可能にすること。

提案手法

• 有限乗数の直和成分の相互関係を用いて、コモジュールの類似性を定義し、モジュール理論の概念をコモジュールへ拡張する。
• 準有限コモジュール $M$ に対してコエンドモルフィズムコアリズム構成 $e_{-C}(M) = \text{h}_{-C}(M,M)$ を用い、類似性とコアリズムの強いつながりの関係を確立する。
• コードーブ2バイモジュールの概念を導入し、コアリズム準同型 $\varphi: C \to D$ がコードーブ2であるための必要十分条件として、${}_D C_C$ がコードーブ2バイモジュールであることであることを示す。
• コエンドモルフィズムコアリズムおよび類似性の理論をQFバイモジュールに適用し、QFバイモジュールに対するエンドモルフィズム環の定理を証明する。
• 分離可能性と類似性の技法を用いて、QF拡大がコードーブ3であるための必要十分条件が、分離可能かつそのエンドモルフィズム環拡大がコードーブ2であることであることを証明する。
• 環拡大に理論を適用し、QF拡大では左・右のコードーブ2が同値であり、反復エンドモルフィズム環を用いてコードーブ$n$拡大がコードーブ2拡大へ埋め込まれることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、コアリズム上の類似した準有限コモジュールが、Linの意味で強いつながりをもつコエンドモルフィズムコアリズムを持つのか？
• RQ2 コードーブ2の概念をコアリズム準同型からバイモジュールへどのように拡張できるか、そしてその意義は何か？
• RQ3 バイモジュールの類似性を用いて、QFバイモジュールに対するエンドモルフィズム環の定理を確立できるか？
• RQ4 QF環拡大において、左・右のコードーブ2条件は同値であるか。もしそうならば、どのような条件下で成立するか？
• RQ5 QF拡大のコードーブ3性は、そのエンドモルフィズム環拡大の分離可能性とコードーブ2性を用いて特徴づけられるか？

主な発見

• 二つの準有限 $C$-コモジュールが類似しているならば、それらのコエンドモルフィズムコアリズムは、Linの意味で強いつながりをもつ。
• コアリズム準同型 $\varphi: C \to D$ がコードーブ2であるための必要十分条件は、バイモジュール ${}_D C_C$ がコードーブ2バイモジュールであることである。
• QF環拡大 $A/B$ において、左・右のコードーブ2条件は同値である。
• QF拡大 $A/B$ がコードーブ3であるための必要十分条件は、分離可能かつ $E/B$（ここで $E = \mathrm{End}\, A_B$）がコードーブ2であることである。
• QF拡大において、テンソル平方 $A \otimes_B A$ は、$(A,A)$-バイモジュールとしてそのエンドモルフィズム環 $E$ と類似している。
• 任意のコードーブ$n$ QF拡大 $A/B$ は、反復エンドモルフィズム環の構成を用いてコードーブ2拡大へ埋め込まれる。十分に大きな $m \geq n-2$ に対して、$E_m/B$ はコードーブ2である。