[論文レビュー] Grothendieck Categories

Grigory Garkusha|ArXiv.org|Sep 5, 1999

Pain Management and Placebo EffectNeuroscience被引用数 19

ひとこと要約

この論文は、局所化部分カテゴリ、ガブリエル位相、および加群表現に注目したグローテンディーク圏の包括的理論を構築する。環に有限生成の射影生成子を備える場合、そのガブリエル位相と局所化部分カテゴリの間には双対写像が存在し、環が弱いクーリエ・フロベニウス環であるための必要十分条件として、絶対純粋かつ両側コherentlyであること、ならびに平坦加群と絶対純粋加群が一致することを示している。

ABSTRACT

The general theory of Grothendieck categories is presented. We systemize the principle methods and results of the theory, showing how these results can be used for studying rings and modules.

研究の動機と目的

• 有限生成射影生成子を基礎構造として用いることで、グローテンディーク圏の理論を一般化・体系化すること。
• 環上のガブリエル位相と関連加群圏における局所化部分カテゴリの間の対応関係を確立すること。
• 平坦加群と絶対純粋加群が一致する環を特徴付け、有限生成左加群と右加群の間で双対性が成立する条件を特定すること。
• 商圏とテンソル積を用いた一般化された加群圏における局所構造の分析を通じて、ポプロスキー＝ガブリエルの定理を拡張すること。
• コherency、絶対純粋性、平坦性の条件を通じて、環が弱いクーリエ・フロベニウス環であるための基準を提供すること。

提案手法

• axioms T1–T3 を満たす部分対象族を用いて、有限生成射影生成子 $\mathcal{A} = \{P_i\}_{i \in I}$ を持つ環上のガブリエル位相を定義する。
• コロイムを用いて局所化関手 $(-)_{\mathcal{S}}$ を構成し、$M_{\mathcal{S}}(P_i) = \varinjlim_{\mathfrak{a} \in \mathfrak{F}^i} \operatorname{Hom}_{\mathcal{A}}(\mathfrak{a}, M/t_{\mathcal{S}}(M))$ を用いる。
• torsion 関手 $t_{\mathcal{S}}$ を用いて商圏 $\operatorname{Mod}\mathcal{A}/\mathcal{S}$ を定義し、$\mathfrak{F}(\mathcal{S})$ を介してガブリエル位相と結びつける。
• アーランダー＝グロスン＝ジンセン双対性を用い、特にコherently かつ絶対純粋な加群の文脈で $\operatorname{Mod}{\mathcal{A}}$ と $\operatorname{Mod}{\mathcal{A}^{\text{op}}}$ を関連付ける。
• Ziegler 位相を特徴付け、一般化された加群圏における有限生成およびコherently な対象の構造を分析する。
• $fp$-平坦性およびコherency 条件の分析を通じて、加群圏における平坦性と絶対純粋性の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限生成射影生成子を備える環 $\mathcal{A}$ 上にガブリエル位相をどのように定義できるか、そしてそれが局所化部分カテゴリとどのような関係にあるか。
• RQ2 グローテンディーク圏において平坦加群と絶対純粋加群が一致する条件は何か。
• RQ3 関手 $\operatorname{Hom}_{\mathcal{A}}(-, \mathcal{A})$ が有限生成左 $\mathcal{A}$-加群と右 $\mathcal{A}$-加群の間で双対性を誘導するのはいつか。
• RQ4 コherency および絶対純粋性が弱いクーリエ・フロベニウス環を特徴付ける上で果たす役割は何か。
• RQ5 ポプロスキー＝ガブリエルの定理を通じて、商圏 $\operatorname{Mod}A / \mathcal{S}$ と元のグローテンディーク圏との関係は何か。

主な発見

• 有限生成射影生成子を備える環 $\mathcal{A}$ 上のガブリエル位相と $\operatorname{Mod}\mathcal{A}$ の局所化部分カテゴリの間には、自然な双対写像が存在し、$\mathfrak{F}(\mathcal{S}) = \{\mathfrak{a} \subseteq P_i \mid P_i / \mathfrak{a} \in \mathcal{S}\}$ によって誘導される。
• 環 $\mathcal{A}$ が弱いクーリエ・フロベニウス環であるための必要十分条件は、左および右両方で絶対純粋かつ左および右両方でコherently であることである。
• 右側で平坦な $\mathcal{A}$-加群のクラスと右側で絶対純粋な $\mathcal{A}$-加群のクラスが一致するための必要十分条件は、$\mathcal{A}$ が絶対純粋かつコherently であることである。
• $\mathcal{A}$ が右側で絶対純粋かつ右側でコherently であり、かつすべての右絶対純粋加群が平坦であるならば、$\mathcal{A}$ は弱いクーリエ・フロベニウス環である。
• 環 $\mathcal{B} = \{(M, -)\}_{M \in \operatorname{mod}A^{\text{op}}}$ が右側で絶対純粋であるための必要十分条件は、$A$ がヴォン・ノイマン正則であることである。
• $\operatorname{Mod}\mathcal{A}$ 上のZiegler 位相は、コherently な対象の構造を制御し、双対性およびテンソル積を用いた $fp$-平坦加群および絶対純粋加群の特徴付けを可能にする。