[論文レビュー] Rational Modules for Corings

Jawad Abuhlail|ArXiv.org|Oct 6, 2002

Structural Analysis of Composite Materials被引用数 6

ひとこと要約

この論文は、任意の環上のコールバックのための有理加群の理論を一般化し、前記のコールバックのための有理加群に関する先行研究を拡張する。Cが局所的射影的であり、α条件を満たすとき、有理加群の圏はスモーズ積代数上の加群の圏と同値であることが示され、Doi-Koppinen加群およびエンティングドル加群に関する結果を一般化し、これらの圏がタイプσ[M]であることを示している。

ABSTRACT

In this paper we lay the basis of the theory of rational modules of corings extending results on rational modules for coalgebras to the case of arbitrary ground rings. We apply these results mainly to categories of entwined modules (e.g. Doi-Koppinen modules, alternative Doi-Koppinen modules) generalizing results of Y. Doi, M. Koppinen and C. Menini et al. on the categries of Doi-Hopf moduels and categories of relative Hopf modules.

研究の動機と目的

• コールバックから任意の環上のコールバックへの有理加群の理論を拡張すること。
• 射影性の仮定を局所的射影性に弱めるこみで、Doi-Koppinen加群およびエンティングドル加群に関する結果を一般化すること。
• エンティングドル加群の圏が、加群論においてよく理解されたクラスであるタイプσ[M]であることを示すこと。
• Doi, Koppinen, Meniniらの先行研究を統一的かつ一般化し、単一の枠組みで統合すること。
• 線形位相とα条件を用いて、有理加群の位相的および代数的特徴づけを確立すること。

提案手法

• 測定左および右Rペアリングを導入し、代数上に2つの線形位相（弱線形位相およびC-adic位相）を定義する。
• 測定ペアリングにおいて、弱線形位相とC-adic位相が一致することを証明し、有理加群の位相的特徴づけを可能にする。
• α条件を用いて、有理加群の圏がσ[C_A]（resp. σ[C_{*C}]）に同値となるような測定左（resp. 右）ペアリングを特徴づける。
• 有限性定理（定理2.24）を用いて、α条件のもとで測定左αペアリングに関する有理加群が有限生成であることを示す。
• 一般理論をエンティング構造、Doi-Koppinen構造、および代替的Doi-Koppinen構造に適用し、有理加群がスモーズ積代数上の加群に対応することを示す。
• σ[M]理論を用いて、得られた有理加群の圏が十分な内挿をもつグローテンディーク圏であることを示す。

実験結果

リサーチクエスチョン

• RQ1 環R上のコールバックCに対して、有理加群の圏がスモーズ積代数上の加群の圏と同値となる条件は何か？
• RQ2 α条件は、コールバックの局所的射影性およびペアリング写像の像の稠密性とどのように関係するか？
• RQ3 Cの射影性を仮定しない弱い条件下でも、Doi-Koppinen加群の圏をスモーズ積代数上の加群の圏に埋め込むことができるか？
• RQ4 コールバックのための有理加群に関する結果は、非可換基底環への一般化によってどの程度拡張可能か？
• RQ5 代数上の線形位相（弱位相およびC-adic位相）は、有理加群の構造とどのように関係するか？

主な発見

• 測定左αペアリング(A,C)に関する有理加群の圏は、C加群Aによって生成されるσ[C_A]と同値である。
• コールバックCが局所的射影的であり、α条件を満たすとき、有理加群の圏はσ[C_{*C}]と同値である。
• 有限性定理（定理2.24）により、α条件のもとで有理加群は有限生成であることが保証される。
• 右-右Doi-Koppinen構造(H,A,C)に対して、Cが局所的射影的であれば、Doi-Koppinen加群の圏はσ[(A⊗C)_{#^{op}(C,A)}]と同値である。
• Cが有限生成かつ射影的であれば、Doi-Koppinen加群の圏はスモーズ積代数A#^{op}C*上の加群の圏と同値である。
• Doi, Koppinen, Meniniらの先行研究を射影的から局所的射影的コールバックにまで拡張することで、それらを一般化した結果が得られた。