[论文解读] On Flatness and Completion for Infinitely Generated Modules over Noetherian Rings

Amnon Yekutieli|arXiv (Cornell University)|Feb 25, 2009

Commutative Algebra and Its Applications参考文献 9被引用 5

一句话总结

本文利用衰减函数和 a-进自由模的新概念，研究诺特环上无限生成模的平坦性与 a-进完备性。证明了在诺特环下，任一模的完备化均为完备的，且 a-进完备模是 a-进自由模的商模，从而解决了无限维模在 a-进完备化理论中长期存在的歧义。

ABSTRACT

Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module.

研究动机与目标

• 澄清 a-进拓扑中代数完备化与拓扑完备化之间的区别，特别是针对无限生成模。
• 解决当模非有限生成或环非诺特时，a-进完备化中的歧义。
• 在诺特设定下，确立 a-进完备化保持平坦性与完备性的条件。
• 引入并研究 a-进自由模类，作为 a-进背景下自由模的推广。
• 为代数几何中的形变量子化与层论应用提供基础工具。

提出的方法

• 引入从集合 Z 到 a-进分离 A-模 M 的衰减函数概念，构成模 F_dec(Z,M)。
• 将 a-进自由 A-模定义为 F_dec(Z, Â)，其中 A 为诺特环，Â 为其完备化。
• 利用逆极限及 A_i = A/a^{i+1} 的结构，通过逆系统 M_i = A_i ⊗_A M 分析 a-进完备化。
• 将完全版本的 Nakayama 引理由应用于衰减函数模。
• 引入局部 N-单连通空间的几何概念，以确保层的逆极限的平坦性与完备性。
• 证明在完备诺特局部环下，平坦性与完备性在基变换下保持不变。

实验结果

研究问题

• RQ1 在何种条件下，无限生成 A-模的 a-进完备化本身也是 a-进完备的？
• RQ2 a-进完备模的范畴能否由 a-进自由模类生成？
• RQ3 代数完备化与拓扑完备化之间的区别如何影响非诺特设定下导出函子的行为？
• RQ4 在何种条件下，平坦模的完备化在 a-进拓扑下仍保持平坦？
• RQ5 在几何设定下，如何在逆极限下保持层论中平坦性与完备性的类比？

主要发现

• 对于诺特环 A 上的任意 A-模 M，其 a-进完备化 Â(M) 始终是 a-进完备的，从而解决了文献中长期存在的歧义。
• 对任意集合 Z，衰减函数模 F_dec(Z, Â) 是平坦且 a-进完备的，从而确立了一类新的平坦模。
• 任意 a-进完备 A-模均为 a-进自由 A-模的商模，为 a-进范畴提供了类似投射分解的结构。
• 当 A 为完备诺特局部环时，A-模 P 是 a-进自由模当且仅当其平坦且 a-进完备。
• 对于局部 N-单连通空间 X，平坦 m-进层系的逆极限是平坦且 m-进完备的，且其整体截面构成一个 m-进自由模。
• 完成函子 M ↦ Â(M) 并非右正合，如示例 3.20 所示反例所示。