[論文レビュー] Uniformly Flat Semimodules

Jawad Abuhlail|arXiv (Cornell University)|Jan 3, 2012

Rings, Modules, and Algebras参考文献 13被引用数 3

ひとこと要約

本稿では、自然なテンソル積と洗練された完全系列の概念を用いて、半環上の均等に平坦な半加群を導入し、古典的な平坦性を半加群へ一般化する。主な貢献は、半加群が均等に平坦であることと、均等に内埋可能な余生成子に関してその双対が均等に内埋可能であることの必要十分条件を確立し、半環上の半加群へバーゲン型の基準を拡張することにある。

ABSTRACT

We revisit the notion of flatness for semimodules over semirings. In particular, we introduce and study a new notion of uniformly flat semimodules based on the exactness of the tensor functor. We also investigate the relations between this notion and other notions of flatness for semimodules in the literature.

研究の動機と目的

• 半環上の半加群に対して、自然でカテゴリ的整合性のある平坦性の概念が欠如しているという問題に取り組む。
• タカハシのテンソル積に基づく既存の平坦性概念の限界を克服する。これらはモノイド構造や随伴関手を生じさせない。
• 古典的モジュール理論、特に完全性と平坦性の文脈において、半加群のホモロジー理論を構築する。
• 均等に内埋可能な余生成子に関してその双対を用いた、均等に平坦な半加群の特徴付けを確立する。これはバーゲンの基準を一般化する。

提案手法

• 均等な準同型および均等なイデアルに関してテンソル関手の完全性を用いて、均等に平坦な半加群を定義する。
• カテゴリ的随伴関係との整合性を保証するため、タカハシのテンソル積ではなく、カツォフが定義した自然な半加群のテンソル積を用いる。
• タカハシやゴルーブィツキーのものとは異なる、均等な準同型に基づく新しい完全系列の概念を導入する。
• 均等に内埋可能な余生成子を用いて、均等に平坦な半加群と均等に内埋可能な半加群の間の双対性を確立する。
• 半加群が均等に平坦であることと、均等に内埋可能な余生成子に関してそのHom双対が均等に内埋可能であることの必要十分条件を証明する。
• 直接極限を用いて、均等平坦性が余極限においても保存されることを示し、すべての平坦な半加群が均等に平坦であることを導く。

実験結果

リサーチクエスチョン

• RQ1 半環上の半加群に対して、テンソル-ホム随伴関手の観点からカテゴリ的期待に適合する平坦性の再定式化はどのように可能か？
• RQ2 均等に平坦な半加群と、文献に既存する平坦性やk-平坦性などの他の平坦性概念との関係は何か？
• RQ3 古典的な内埋可能モジュールのバーゲン基準に類似した、均等平坦性のバーゲン型基準を確立できるか？
• RQ4 すべての均等に平坦な半加群が平坦であるような条件は何か？また、その逆はいつ成り立つか？
• RQ5 タカハシのテンソル積ではなく自然なテンソル積を用いることで、半加群の圏のホモロジー的構造はどのように改善されるか？

主な発見

• 均等に平坦な半加群は、均等な準同型に関してテンソル関手の完全性を用いて定義され、平坦性のカテゴリ的整合性のある一般化を提供する。
• 半加群 $ F_S $ が均等に平坦であることと、$ ext{Hom}_T(F, extbf{Q}) $ が均等に内埋可能であること（$ extbf{Q} $ は左 $ T $-半加群の圏における均等に内埋可能な余生成子）は同値である。
• 適切な余生成子条件のもとで、半環上の半加群の圏において、均等平坦性と均等内埋可能性の双対性が成立する。
• すべての平坦な半加群は均等に平坦である。これは、均等平坦性が古典的平坦性よりも強い条件であることを示している。
• 均等平坦性は直接極限において保存され、すべての有限生成部分半加群が均等に平坦である半加群は、自身も均等に平坦である。
• 本稿では、均等平坦性のバーゲン型基準を提供する：$ S $ が左均等にバーゲン半環であれば、$ F_S $ が均等に平坦であることと、すべての左均等イデアル $ I rianglelefteq S $ に対して $ F igotimes_S I o F igotimes_S S $ が均等であることは同値である。