[論文レビュー] Comodules over semiperfect corings

S. Caenepeel, Miudrag Iovanov|arXiv (Cornell University)|Sep 14, 2011

Rings, Modules, and Algebras参考文献 12被引用数 9

ひとこと要約

本稿では、半完備コールベッグの上でのコモジュールを調査し、モジュールの最大の合理的な部分モジュールを与えるRat関手が正確であるための条件を確立する。Artin環およびqF環上の半完備コールベッグを特徴づけ、Rat関手の正確性が、底環がqF環であるとき、コールベッグが有限生成コモジュールの直和に分解できるという条件と同値であることを示し、半完備コボルトの理論をコールベッグの文脈へ一般化する。

ABSTRACT

We discuss when the Rat functor associated to a coring satisfying the left $α$-condition is exact. We study the category of comodules over a semiperfect coring. We characterize semiperfect corings over artinian rings and over qF-rings.

研究の動機と目的

• 体上の半完備コボルトの性質を、より一般の環上での半完備コールベッグへ拡張すること。
• 左α条件を満たすコールベッグに関連するRat関手の正確性を調査すること。
• カテゴリカルおよびホモロジー的性質を用いて、Artin環およびqF環上の半完備コールベッグを特徴づけること。
• 特定の環設定における射影被覆の存在、直和分解、およびRat関手の正確性の間の同値関係を確立すること。

提案手法

• Rat^C(M)を明示的に記述するために、Sweedlerコールベッグの双対とSの自己準同型環との同型を用いる。
• qF環上の有限生成左・右モジュール間の双対性を用いて、Rat関手の正確性に関する逆結果を証明する。
• Sweedlerコールベッグを用いて具体的な例を提供し、主要定理における条件の妥当性を検証する。
• コールベッグCが有限生成コモジュールの直和に分解できる場合、Rat^Cが正確であることを確立する。特に、RがqF環である場合に有効である。
• コールベッグの双対における有限位相（またはC-位相）を用いて、合理性および密度の性質を研究する。
• σ[M]の圏を用いて合理的モジュールと、Mによって部分生成される部分モジュールを特定するトレース関手T^Mを分析する。

実験結果

リサーチクエスチョン

• RQ1 左α条件を満たすコールベッグに対して、Rat関手が正確であるのはどのような条件下か？
• RQ2 Artin環上の半完備コールベッグは、射影被覆および直和分解の観点からどのように特徴づけられるか？
• RQ3 qF環上でのRat関手の正確性と、コールベッグが有限生成左コモジュールの直和に分解可能であるという条件との関係は何か？
• RQ4 体上の半完備コボルトに関する結果は、qF環などのより一般の環上での半完備コールベッグへどの程度拡張可能か？
• RQ5 Sweedlerコールベッグの構造は、Rat関手の正確性およびモジュールの合理性にどのように影響するか？

主な発見

• Artin環上のコールベッグは、右半完備であるための必要十分条件は、右コモジュールの圏が十分な射影的対象を持つことである。
• Artin環上のコールベッグに対して、射影的生成対象の存在は、任意の有限生成コモジュールが有限生成射影被覆を持つことと同値である。
• qF環上では、Rat関手が正確であるための必要十分条件は、コールベッグが有限生成左コモジュールの直和に分解できることである。
• 環準同態ι: R → Sに対応するSweedlerコールベッグに対して、Sが局所的射影的であり、コールベッグの双対が自己準同型環に稠密であるとき、Rat関手は正確である。
• cosemisimpleコールベッグの場合は、底環がqF環でなくても、Rat関手は正確であり、コールベッグは有限生成コモジュールの直和に分解する。
• Sが忠実平坦かつ局所的射影的であるとき、Rat^C(M)はRat^C(M)^coC ⊗_R Sと同型であり、合理的モジュールの明示的記述が得られる。