[论文解读] Severe right Ore sets and universal localisation

Aidan Schofield|ArXiv.org|Aug 1, 2007

Rings, Modules, and Algebras参考文献 6被引用 5

一句话总结

本文引入了在具有余核的加法范畴中的严重右奥雷集，以提供环的普遍局部化之模理论描述。证明了普遍局部化上有限表现模的范畴与在由有限生成投射模之间映射生成的严重右奥雷集上的右奥雷局部化等价，从而实现了对原始环上这些模的完整描述。关键贡献在于提出了一项充分条件，使得普遍局部化为稳定平坦，确保Tor群的消失，并支持代数K-理论中的长正合序列。

ABSTRACT

We introduce the notion of a severe right Ore set in the main as a tool to study universal localisations of rings but also to provide a short proof of P. M. Cohn's classification of homomorphisms from a ring to a division ring. We prove that the category of finitely presented modules over a universal localisation is equivalent to a localisation at a severe right Ore set of the category of finitely presented modules over the original ring. This allows us to describe the structure of finitely presented modules over the universal localisation as modules over the original ring.

研究动机与目标

• 开发一种新的范畴框架，利用严重右奥雷集研究环的普遍局部化。
• 为P. M. 科恩关于环同态到除环的分类提供一个简短且结构化的证明。
• 以原始环上的模来描述普遍局部化上有限表现模的结构。
• 识别出局部化映射的核与被逆映射的余核相关的挠子模重合的条件。
• 为满足预局部化子范畴条件的普遍局部化建立代数K-理论中的长正合序列。

提出的方法

• 在具有余核的加法范畴中引入严重右奥雷集的概念，通过更强的闭包与提升性质，推广标准右奥雷集。
• 证明普遍局部化上有限表现模的范畴与原始范畴在由有限生成投射模之间映射生成的严重右奥雷集上的右奥雷局部化等价。
• 利用右正合函子与张量-对偶伴随关系描述诱导的模结构，表明每个此类函子自然同构于与环像的张量积。
• 将该理论应用于有限表现模的预局部化子范畴，其中子范畴中映射的核相对于诱导的挠理论为挠。
• 证明当子范畴中映射的核为挠时，普遍局部化为稳定平坦，即对所有 i > 0，有 Tor_i^R(R_E, R_E) = 0。
• 利用此Tor群消失的条件，依据[5]中关于导出范畴与正交子范畴的结果，构造代数K-理论中的长正合序列。

实验结果

研究问题

• RQ1 如何以原始环上的模范畴来描述环的普遍局部化？
• RQ2 在何种条件下，局部化映射的核与被逆映射的余核相关的挠子模重合？
• RQ3 在何种条件下，普遍局部化满足稳定平坦条件，即对所有 i > 0，有 Tor_i^R(R_E, R_E) = 0？
• RQ4 普遍局部化上有限表现模的范畴与原始范畴之间通过右奥雷局部化存在何种关系？
• RQ5 对于满足预局部化子范畴条件的普遍局部化，能否构造代数K-理论中的长正合序列？

主要发现

• 普遍局部化上有限表现模的范畴与原始环上有限表现模范畴在由被逆映射生成的严重右奥雷集上的右奥雷局部化等价。
• 局部化映射的核为挠子模的充分条件是：预局部化子范畴中映射的核相对于诱导的挠理论为挠。
• 当此条件成立时，普遍局部化满足对所有 i > 0，有 Tor_i^R(R_E, R_E) = 0，确保其为稳定平坦扩张。
• 此Tor群消失的条件意味着普遍局部化的导出范畴是导出范畴中被逆映射的右正交子范畴，从而验证了导出方法的适用性。
• 作为推论，此类普遍局部化存在代数K-理论中的长正合序列，如定理5.8所确立。
• 结果为普遍局部化上有限生成投射模提供了精确描述，即其可表示为被逆映射的余核的子模。