[论文解读] Coarsenings, injectives and Hom functors

Fred Rohrer|arXiv (Cornell University)|Oct 19, 2012

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

一句话总结

本文刻画了在分次模范畴之间，粗化函子在何种条件下保持内射性并与分次 Hom 函子交换。证明了当且仅当满同态的核是有限的时，内射性在粗化下被保持；并且，分次 Hom 函子之间的自然变换是同构当且仅当核是有限的或模是小模——这将关于平凡粗化（至平凡群）的已知结果推广到了任意群满同态的情形。

ABSTRACT

It is characterized when coarsening functors between categories of graded modules preserve injectivity of objects, and when they commute with graded covariant Hom functors.

研究动机与目标

• 确定粗化函子在分次模范畴中保持内射对象的条件。
• 将关于平凡粗化（至平凡群）的内射性与 Hom 函子交换性的已知结果推广至任意群满同态的情形。
• 刻画粗化 Hom 函子之间典范态射为同构的条件。
• 在适度假设下，建立满同态核的有限性是保持内射性的必要且充分条件。
• 证明：若对于具有无限核的满同态，Hom 函子与粗化交换，则对所有满同态均成立。

提出的方法

• 本文使用与群满同态 ψ: G ↠ H 关联的粗化函子，该函子通过 ψ 的纤维聚合，将 G-分次 R-模映射为 H-分次 R[ψ]-模。
• 研究粗化 Hom 函子之间的典范单射 hψ^M: Hom^G_R(M, ⋅)_[ψ] → Hom^H_R[ψ](M_[ψ], ⋅_[ψ])。
• 证明技术依赖于构造典范态射，并通过直接和与 ψ 的核的性质分析其双射性。
• 采用“小模”的概念——即任何进入可数直接和的态射都可分解为通过有限子和的态射——这是刻画 Hom 函子同构性的核心。
• 作者利用粗化的伴随函子（即细化函子）来分析分次模及其 Hom 集的结构。
• 一个关键技术工具是粗化范畴中对角线映射的分析，用于关联原始范畴与粗化范畴中的态射。

实验结果

研究问题

• RQ1 粗化函子在分次模范畴中何时保持内射对象？
• RQ2 粗化函子在何种条件下与分次协变 Hom 函子交换？
• RQ3 核的有限性条件是否为粗化下保持内射性的必要且充分条件？
• RQ4 何时粗化 Hom 函子之间的典范态射 hψ^M 为同构？
• RQ5 对于具有无限核的满同态，Hom 函子同构性具有何种含义？

主要发现

• 粗化函子保持内射性当且仅当满同态 ψ: G ↠ H 的核是有限的。
• 典范态射 hψ^M: Hom^G_R(M, ⋅)_[ψ] → Hom^H_R[ψ](M_[ψ], ⋅_[ψ]) 是同构当且仅当 Ker(ψ) 是有限的或 M 是小模。
• 若对于具有无限核的满同态 ψ，hψ^M 是同构，则对任意满同态 φ: G ↠ H，hφ^M 也是同构。
• 该结果将 Nǎstǎsescu、Raianu 与 Van Oystaeyen（2009）以及 Gómez Pardo、Militaru 与 Nǎstǎsescu（2004）的先前定理推广至任意粗化情形。
• 核的有限性条件是最优的：若无此条件，即使在非平凡粗化下，内射性通常也无法保持。
• 本文建立了核的代数有限性与粗化下 Hom 函子行为之间的强结构联系。