arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2605.08097math.RA
收藏

C4*模 over交换环的局部化、局部-全局转移和壳理论

Localization, Local--Global Transfer, and Hull Theory for $C4^{\ast}$-Modules over Commutative Rings

Department of Mathematics, Government College (Autonomous), Rajamahendravaram, Andhra Pradesh, India(拉贾马亨德拉瓦ラム安得拉邦政府学院(自治)数学系)

Chandrasekhar Gokavarapu

AI总结:

本文研究了C4-模、C4*模及其强C4*模的局部化与局部-全局转移理论,探讨了壳的结构及在交换环上的应用。

摘要:

设R为交换环,M为R-模。我们开发了C4-模、C4*模、强C4*模、C4-壳和伪连续壳在交换环上的局部化和局部-全局理论。问题的结构在于这些概念通过分解、和项条件和最小扩展定义,而局部化改变分解数据、支撑和壳的最小性。我们证明了在精确提升假设下C4、C4*和强C4*条件的前向局部化定理,并在降级和拼接假设下证明了反向局部-全局定理,展示了当素因子或极大局部C4*行为如何推导出全局C4*行为。此外,我们建立了障碍结果,表明无法存在无限制的局部-全局原理。我们比较了全局C4-壳或伪连续壳的局部化与局部化后的壳。我们证明壳交换需要壳类的局部化稳定性以及壳最小性和唯一性的包络型公理,并证明了从兼容的局部壳重建全局壳的条件拼接定理。我们的方法是纯粹的代数和支撑理论,基于和项降级、局部见证的拼接、支撑控制和在Spec R上的维度分层转移。作为应用,我们显示对于交换艺术环这些性质恰好在局部因子上检测到,并且对于有限生成 torsion 模块在 Dedekind 域上它们恰好在主理想因子上检测到,等价于在支撑上的局部化。

英文摘要:

Let \(R\) be a commutative ring and \(M\) an \(R\)-module. We develop a localization and local-global theory for \(C4\)-modules, \(C4^{\ast}\)-modules, strongly \(C4^{\ast}\)-modules, \(C4\)-hulls, and pseudo-continuous hulls over commutative rings. The problem is structural: these notions are defined through decompositions, summand conditions, and minimal extensions, while localization changes decomposition data, support, and hull minimality. We prove forward localization theorems for the \(C4\), \(C4^{\ast}\), and strongly \(C4^{\ast}\) conditions under exact lifting hypotheses formulated through decomposition lifting, morphism lifting, and submodule lifting. We also prove converse local-global theorems under descent and patching hypotheses, showing when primewise or maximal-local \(C4^{\ast}\) behavior implies global \(C4^{\ast}\) behavior. In addition, we establish obstruction results showing that no unrestricted local-global principle can hold. We compare the localization of a global \(C4\)-hull or pseudo-continuous hull with the hull formed after localization. We show that hull commutation requires both localization stability of the hull class and envelope-type axioms for hull minimality and uniqueness, and we prove conditional patching theorems for reconstructing global hulls from compatible local hulls. Our method is purely algebraic and support-theoretic, based on summand descent, patching of local witnesses, support control, and dimension-stratified transfer on \(\operatorname{Spec} R\). As applications, we show that for commutative artinian rings these properties are detected exactly on the local factors, and that for finitely generated torsion modules over a Dedekind domain they are detected exactly on the primary components, equivalently on the localizations at maximal ideals in the support.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑