[論文レビュー] Severe right Ore sets and universal localisation

Aidan Schofield|ArXiv.org|Aug 1, 2007

Rings, Modules, and Algebras参考文献 6被引用数 5

ひとこと要約

この論文は、余核を備えた加法的圏における深刻な右オア集合を導入し、環の普遍局所化のモジュール論的記述を提供する。普遍局所化上の有限生成表示モジュールの圏が、有限生成射影モジュール間の写像によって生成される深刻な右オア集合における右オア局所化と同値であることを証明し、元の環上のこれらのモジュールの完全な記述を可能にする。主な貢献は、普遍局所化が安定平坦である十分条件を特定することであり、これによりトール群の消失が保証され、代数的K理論における長完全系列の構成が可能になる。

ABSTRACT

We introduce the notion of a severe right Ore set in the main as a tool to study universal localisations of rings but also to provide a short proof of P. M. Cohn's classification of homomorphisms from a ring to a division ring. We prove that the category of finitely presented modules over a universal localisation is equivalent to a localisation at a severe right Ore set of the category of finitely presented modules over the original ring. This allows us to describe the structure of finitely presented modules over the universal localisation as modules over the original ring.

研究の動機と目的

• 深刻な右オア集合を用いた新しい圏的枠組みを構築し、環の普遍局所化を研究すること。
• P. M. コーンの除法環への環準同型の分類を、短く構造的な証明で与えること。
• 普遍局所化上の有限生成表示モジュールを、元の環上のモジュールの観点から記述すること。
• 局所化写像の核が、逆転させた写像の余核に関して定義される torsion 部分モジュールと一致する条件を同定すること。
• 前局所化部分圏条件を満たす普遍局所化に対して、代数的K理論における長完全系列を確立すること。

提案手法

• 余核を備えた加法的圏における深刻な右オア集合の概念を導入し、標準的な右オア集合を一般化する、より強い閉包性および上昇性の性質を持つ。
• 普遍局所化上の有限生成表示モジュールの圏が、有限生成射影モジュール間の写像によって生成される深刻な右オア集合における元の圏の右オア局所化と同値であることを確立する。
• 右完全関手およびテンソル-ホム随伴を用いて誘導されたモジュール構造を記述し、すべてのこのような関手が、環の像とのテンソル積と自然同型であることを示す。
• 有限生成表示モジュールの前局所化部分圏に理論を適用し、部分圏内の写像の核が誘導された torsion 理論に関して torsion であることを仮定する。
• 部分圏内の写像の核が torsion であるという条件下で、普遍局所化が安定平坦である、すなわちすべての i > 0 に対して Tor_i^R(R_E, R_E) = 0 であることを証明する。
• この消失するトール条件を活用し、[5]の導来圏および直交部分圏に関する結果に従って、代数的K理論における長完全系列を構成する。

実験結果

リサーチクエスチョン

• RQ1 環の普遍局所化は、元の環上のモジュール圏の観点からどのように記述できるか？
• RQ2 局所化写像の核が、逆転させた写像の余核に関して定義される torsion 部分モジュールと一致する条件は何か？
• RQ3 普遍局所化が安定平坦条件を満たすのはいつか、すなわちすべての i > 0 に対して Tor_i^R(R_E, R_E) = 0 となるのはいつか？
• RQ4 普遍局所化上の有限生成表示モジュールの圏と元の圏との間の関係は、右オア局所化によってどのように記述できるか？
• RQ5 前局所化部分圏条件を満たす普遍局所化に対して、代数的K理論における長完全系列を構成できるか？

主な発見

• 普遍局所化上の有限生成表示モジュールの圏は、逆転させたい写像によって生成される深刻な右オア集合における、元の環上の有限生成表示モジュールの圏の右オア局所化と同値である。
• 局所化写像の核が torsion 部分モジュールと一致する十分条件は、前局所化部分圏内の写像の核が誘導された torsion 理論に関して torsion であることである。
• この条件が成立するとき、普遍局所化はすべての i > 0 に対して Tor_i^R(R_E, R_E) = 0 を満たし、安定平坦拡張が保証される。
• この消失するトール条件は、導来圏における普遍局所化の導来圏が、逆転させた写像の直交部分圏に一致することを示し、導来手法の正当性を裏付ける。
• その結果、定理5.8で確立されたように、このような普遍局所化に対して代数的K理論における長完全系列が存在する。
• 結果として、普遍局所化上の有限生成射影モジュールは、逆転させた写像の余核の部分モジュールとして明確に記述できる。