[论文解读] Categories of imaginaries for definable additive categories

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

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

一句话总结

本文将 pp-imaginaries 的模型论框架从环推广至骨架构造小的预加法范畴（环类）上的可定义加法范畴，证明了平坦左 ℛ-模的 pp-imaginaries 的范畴 𝒜(ℛ) 同构于由投射 ℛ-模生成的可定义子范畴的函子范畴。主要贡献在于 𝒜(ℛ) 对平坦模的 pp-公式实现分类，且通过其对偶范畴实现了与纯粹绝对模的对偶性，从而将经典环论结果推广至环类范畴。

ABSTRACT

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

研究动机与目标

• 将 pp-imaginaries 的模型论框架从环推广至骨架构造小的预加法范畴（环类），推广模理论中的经典结果。
• 以函子范畴与塞尔子范畴的形式刻画平坦左 ℛ-模理论的 pp-imaginaries 范畴 𝒜(ℛ)。
• 通过范畴的对偶范畴建立平坦模的 pp-imaginaries 范畴与纯粹绝对模的 pp-imaginaries 范畴之间的对偶性。
• 证明 𝒜(ℛ) 同构于由投射 ℛ-模生成的可定义子范畴的函子范畴，即使 ℛ 不是右诺特性亦成立。
• 澄清在非诺特性情形下，pp-imaginaries、有限表示模与齐格勒谱之间的关系。

提出的方法

• 将预加法范畴用作环的推广，其中态射为阿贝尔群同态，且复合运算是双线性的。
• 将左 ℛ-模与右 ℛ-模定义为从 ℛ 或 ℛᵒᵖ 到阿贝尔群范畴的加法函子。
• 将范畴 𝒜(ℛ) 构造为 ℛ 上阿贝尔函子范畴模去在可表示函子上消失的塞尔子范畴。
• 应用 pp-imaginaries 的塞尔子范畴与模范畴的可定义子范畴之间的自然双射。
• 利用 pp-公式与 pp-对定义可定义子范畴，并刻画模中解集的性质。
• 通过函子 Ex(−, Ab) 建立对偶性，证明 Ex(𝒜(ℛ)ᵒᵖ, Ab) ≅ ⟨Abs-ℛ⟩，即纯粹绝对右 ℛ-模的可定义范畴。

实验结果

研究问题

• RQ1 如何将经典环上模的 pp-imaginaries 模型论框架推广至骨架构造小的预加法范畴上的模？
• RQ2 当 ℛ 不一定是右诺特性时，平坦左 ℛ-模理论的 pp-imaginaries 范畴的结构如何？
• RQ3 在预加法范畴中，平坦模与纯粹绝对模之间的对偶性如何在 pp-imaginaries 范畴中体现？
• RQ4 范畴 𝒜(ℛ) 与由投射 ℛ-模生成的可定义子范畴之间存在何种关系？
• RQ5 在何种条件下 𝒜(ℛ) 与 mod-ℛ 重合，以及 𝒜(ℛ) 与 𝒜(ℛᵒᵖ) 之间的对偶性何时失效？

主要发现

• 平坦左 ℛ-模的 pp-imaginaries 范畴 𝒜(ℛ) 同构于由投射 ℛ-模生成的可定义子范畴的函子范畴，即 𝒜(ℛ) ≅ ⟨ℛ-Flat⟩。
• 当 ℛ 是右诺特性时，𝒜(ℛ) ≅ mod-ℛ，即平坦左 ℛ-模的 pp-imaginaries 范畴同构于有限表示右 ℛ-模的范畴。
• 对偶范畴 𝒜(ℛ)ᵒᵖ 同构于纯粹绝对右 ℛ-模理论的 pp-imaginaries 范畴，即 Ex(𝒜(ℛ)ᵒᵖ, Ab) ≅ ⟨Abs-ℛ⟩。
• 范畴 𝒜(ℛ) 分类所有形如 ϕ(ℛ)/ψ(ℛ) 的右 ℛ-模，其中 ϕ/ψ 是左 ℛ-模的 pp-对公式。
• 从 Ab(ℛ) 到 Mod-ℛ 的求值函子的核是塞尔子范畴 𝒻𝒻ℛ = {F ∈ Ab(ℛ) : F(ℛ) = 0}，因此 𝒜(ℛ) ≅ Ab(ℛ)/𝒻𝒻ℛ。
• 存在环 R（例如 ℤ）使得 𝒜(Rᵒᵖ) 不同构于 𝒜(R)ᵒᵖ，表明该构造在一般情况下不具备自对偶性。