[論文レビュー] Universal localisations of hereditary rings

Aidan Schofield|ArXiv.org|Aug 2, 2007

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

ひとこと要約

本稿は、有限生成表現モジュールの適切に配置された部分カテゴリを通じて、遺伝的環のすべての普遍局所化を特徴づける。局所化後の有限生成束モジュールの圏が、元の環の束モジュールの完全部分圏に同値であることを示し、普遍局化における有限生成射影モジュールのアーベルモノイドを、元の環の有限生成表現モジュールの部分カテゴリを用いて記述する。これにより、行列に基づく既存の手法を一般化・明確化するモジュール論的枠組みを提供する。

ABSTRACT

We describe all possible universal localisations of a hereditary ring in terms of suitable full subcategories of the category of finitely presented modules. For these universal localisations we then identify the category of finitely presented bound modules over the universal localisation as being equivalent to a certain full subcategory of the category of finitely presented bound modules over the original ring. We also describe the abelian monoid of finitely generated projective modules over the universal localisation.

研究の動機と目的

• 遺伝的環のすべての普遍局化を、有限生成表現モジュールの適切に配置された部分カテゴリを用いて特徴づけること。
• 普遍局化における有限生成束モジュールの圏が、元の環の束モジュールの完全部分圏に同値であることを示すこと。
• 普遍局化における有限生成射影モジュールの同型類のアーベルモノイドを、元の環の有限生成表現モジュールの部分カテゴリを用いて記述すること。
• Cohn や他の研究者の firs における普遍局化に関する研究を、行列ではなくモジュール圏に注目することで一般化・明確化すること。
• 特に垂直カテゴリから生じる非可換遺伝的環における普遍局化の射影モジュールを理解するための枠組みを提供すること。

提案手法

• 本稿は、遺伝的環における有限生成表現モジュールの圏 fpmod(R) を分析の基盤として用いる。
• 「適切に配置された部分カテゴリ」という概念を導入する。これは、fpmod(R) の完全なアーベル部分カテゴリであり、核、像、余像、拡張に関して閉じている。この概念が普遍局化のパrametrizationに使われる。
• 普遍局化 RΣ は、有限生成射影モジュール間の写像の集合 Σ を用いて構成される。主な洞察は、任意のこのような局化が、単射写像のみで定義されるものと同型であるということである。
• RΣ における有限生成束モジュールの圏が、RΣ-自明モジュールの直交カテゴリに定義される fpmod(R) の完全部分圏に同値であることが示される。
• RΣ における有限生成射影モジュールのアーベルモノイドは、fpmod(R) の部分カテゴリを用いて記述され、射影モジュールの分類がモジュール論的データによって可能になる。
• 有限長の圏 E におけるモジュールの長さに関する帰納法を用いて、RΣ 上の同型な射影モジュールが、S-関連であることが示される。ここで S は E の単純対象の集合である。

実験結果

リサーチクエスチョン

• RQ1 遺伝的環のすべての普遍局化は、その有限生成表現モジュールの部分カテゴリによってどのようにパrametrized されるか？
• RQ2 遺伝的環の普遍局化における有限生成束モジュールの圏の構造は何か？
• RQ3 普遍局化における有限生成射影モジュールのアーベルモノイドは、元の環のモジュール圏とどのように関係しているか？
• RQ4 E⊥ における相対射影圏の2つの遅延対象が、R_E とテンソル積を取った後同型になる条件は何か？
• RQ5 S-関連性は、R_E 上の射影モジュールの同型類を決定する上で果たす役割は何か？

主な発見

• すべての遺伝的環の普遍局化は、fpmod(R) の適切に配置された部分カテゴリによってパrametrized される。これらは、拡張に関して閉じた完全なアーベル部分カテゴリである。
• 普遍局化 RΣ における有限生成束モジュールの圏は、RΣ-自明モジュールの直交カテゴリに一致する fpmod(R) の完全部分圏に同値である。
• RΣ における有限生成射影モジュールの同型類のアーベルモノイドは、fpmod(R) のある部分カテゴリのグロテンディーク群に同型であり、局所化における射影モジュールのモジュール論的記述を提供する。
• 任意の有限長部分圏 E を持つ普遍局化 R_E に対して、relproj(E⊥) に属する2つの遅延対象 A と B について、A⊗R_E ≅ B⊗R_E が成り立つのは、S が E の単純対象の集合であるとき、かつ A と B が S-関連であるとき、かつ射影モジュールが非分解的である限りに限る。
• A⊗R_E が R_E 上の非分解的有限生成射影モジュールであるとき、A⊗R_E ≅ B⊗R_E ならば A と B は S-関連である。これは、部分モジュールおよび商構造に基づく同型の決定的基準を確立する。
• 本稿は、任意の遺伝的環の普遍局化が、有限生成射影モジュール間の単射写像の集合によって実現可能であることを示し、イデアルを商取る必要がなくなるため、構成を単純化する。