[论文解读] 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) 中一个对核、像、余核和扩张封闭的精确阿贝尔子范畴，用于参数化普遍局部化。
• 通过一组在有限生成投射模之间的映射 Σ 构造普遍局部化 RΣ，关键洞见是任一此类局部化同构于仅由单射映射定义的局部化。
• 证明了 RΣ 上有限表示束缚模的范畴与 fpmod(R) 的一个全子范畴等价，该子范畴由 RΣ-平凡模的正交范畴定义。
• 通过 fpmod(R) 的一个子范畴描述 RΣ 上有限生成投射模的阿贝尔幺半群，从而实现通过模理论数据对投射模进行分类。
• 论文采用对有限长度范畴 E 中模的长度进行归纳的方法，证明 RΣ 上同构的投射模必须是 S-相关的，其中 S 是 E 中的单对象。

实验结果

研究问题

• RQ1 如何通过其有限表示模的子范畴来参数化遗传环的所有普遍局部化？
• RQ2 遗传环的普遍局部化上有限表示束缚模的范畴具有何种结构？
• RQ3 普遍局部化上有限生成投射模的阿贝尔幺半群如何与原环的模范畴相关联？
• RQ4 在 E⊥ 的相对投射范畴中，何时两个晚期对象在与 R_E 张量后同构？
• RQ5 S-相关性在确定 R_E 上投射模的同构类中起什么作用？

主要发现

• 所有遗传环的普遍局部化均由 fpmod(R) 的适当放置子范畴参数化，这些子范畴是全的、精确的、阿贝尔的，并对扩张封闭。
• 普遍局部化 RΣ 上有限表示束缚模的范畴与 fpmod(R) 的一个全子范畴等价，具体而言即与 RΣ-平凡模正交的模范畴。
• RΣ 上有限生成投射模的同构类的阿贝尔幺半群同构于 fpmod(R) 某一子范畴的格罗滕迪克群，从而为局部化上的投射模提供了模理论描述。
• 对于任意与有限长度子范畴 E 的束缚模相关的普遍局部化 R_E，若 relproj(E⊥) 中的两个晚期对象 A 和 B 满足 A⊗R_E ≅ B⊗R_E，则当且仅当它们是 S-相关时成立，其中 S 是 E 中的单对象，前提是投射模是不可约的。
• 若 A⊗R_E 是 R_E 上的不可约有限生成投射模，则当 A⊗R_E ≅ B⊗R_E 时，必有 A 和 B 是 S-相关的，从而建立了基于子模与商模结构的同构性决定性准则。
• 本文表明，任何遗传环的普遍局部化均可通过有限生成投射模之间的一组单射映射实现，无需商去理想，从而简化了构造过程。