[論文レビュー] Categories of imaginaries for definable additive categories

Mike Prest|arXiv (Cornell University)|Feb 2, 2012

Rings, Modules, and Algebras参考文献 11被引用数 7

ひとこと要約

この論文は、pp-イマジナリのモデル理論的枠組みを、骨格的有限な前加法圏上の定義可能加法圏へ一般化し、平坦左 ℛ-加群のための pp-イマジナリの圏 𝒜(ℛ) が、射影 ℛ-加群によって生成される定義可能部分圏の関手圏と同値であることを確立する。主な貢献は、𝒜(ℛ) が平坦加群の pp-論理式を分類し、絶対純粋加群との双対性が反対圏を介して実現されることであり、これは古典的な環の結果を環oidへ拡張するものである。

ABSTRACT

We develop some aspects of the model theory of additive structures, with particular emphasis on the abelian category of pp-imaginaries.

研究の動機と目的

• 環から骨格的有限な前加法圏（環oid）への pp-イマジナリのモデル理論的枠組みの拡張を図り、加法的理論における古典的結果を一般化すること。
• 射影 ℛ-加群によって生成される定義可能部分圏の関手圏と Serre 部分圏を用いた、平坦左 ℛ-加群の理論における pp-イマジナリの圏 𝒜(ℛ) の特徴づけ。
• 反対圏 𝒜(ℛ)ᵒᵖ を介して、平坦加群の pp-イマジナリの圏と絶対純粋加群の pp-イマジナリの圏との双対性を確立すること。
• ℛ が右コherentでない場合でさえも、𝒜(ℛ) が射影 ℛ-加群によって生成される定義可能部分圏の関手圏と同値であることを示すこと。
• 非コherentな場合における pp-イマジナリ、有限生成表示加群、Zieglerスペクトルの関係を明確化すること。

提案手法

• 射の合成が双線形であるアーベル群の準同型としての射を持つ、環の一般化としての前加法圏の使用。
• 左および右 ℛ-加群を ℛ または ℛᵒᵖ からアーベル群の圏への加法的関手として定義すること。
• 表現関手に消える関手の Serre 部分圏による、Ab(ℛ) の商として圏 𝒜(ℛ) を構成すること。
• pp-イマジナリの Serre 部分圏とモジュール圏の定義可能部分圏との間の自然な全単射の応用。
• pp-論理式と pp-対を用いた定義可能部分圏の定義およびモジュール内の解集合の特徴づけ。
• 関手 Ex(−, Ab) を用いた双対性の確立により、Ex(𝒜(ℛ)ᵒᵖ, Ab) ≅ ⟨Abs-ℛ⟩ が成り立つこと、すなわち絶対純粋右 ℛ-加群の定義可能圏に同型であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 環上のモジュールにおける古典的モデル理論的枠組みである pp-イマジナリを、骨格的有限な前加法圏上のモジュールへどのように拡張できるか？
• RQ2 ℛ が右コherentでない場合に、平坦左 ℛ-加群の理論における pp-イマジナリの圏の構造はどのようになるか？
• RQ3 前加法圏における平坦加群と絶対純粋加群の双対性は、pp-イマジナリの圏においてどのように現れるか？
• RQ4 圏 𝒜(ℛ) と射影 ℛ-加群によって生成される定義可能部分圏との関係は何か？
• RQ5 𝒜(ℛ) が mod-ℛ と一致する条件は何か？また、𝒜(ℛ) と 𝒜(ℛᵒᵖ) の双対性はいつ失敗するか？

主な発見

• 平坦左 ℛ-加群の pp-イマジナリの圏 𝒜(ℛ) は、射影 ℛ-加群によって生成される定義可能部分圏の関手圏と同値である。すなわち、𝒜(ℛ) ≅ ⟨ℛ-Flat⟩ が成り立つ。
• ℛ が右コherentであるとき、𝒜(ℛ) ≅ mod-ℛ であり、平坦左 ℛ-加群の pp-イマジナリの圏は、有限生成表示右 ℛ-加群の圏と同値である。
• 反対圏 𝒜(ℛ)ᵒᵖ は、絶対純粋右 ℛ-加群の理論の pp-イマジナリの圏と同値であり、すなわち Ex(𝒜(ℛ)ᵒᵖ, Ab) ≅ ⟨Abs-ℛ⟩ が成り立つ。
• 圏 𝒜(ℛ) は、左 ℛ-加群のための pp-対 ϕ/ψ に対して、形式 ϕ(ℛ)/ψ(ℛ) で表されるすべての右 ℛ-加群を分類する。
• Ab(ℛ) から Mod-ℛ への評価関手の核は、Serre 部分圏 𝒻𝒻ℛ = {F ∈ Ab(ℛ) : F(ℛ) = 0} であるため、𝒜(ℛ) ≅ Ab(ℛ)/𝒻𝒻ℛ が成り立つ。
• ℤ などの環 R に対して、𝒜(Rᵒᵖ) が一般には 𝒜(R)ᵒᵖ と同値でない例が存在するため、この構成は一般には自己双対的でないことが示された。