[論文レビュー] 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-adic自由モジュラスという新しい概念を用いて、平坦性とadic完全性を考察する。ノエター環では、任意のモジュラスの完成が完全であることを証明し、a-adic完全モジュラスがa-adic自由モジュラスの商であることを示し、無限次元モジュラスにおけるadic完成理論における長年の曖昧さを解消する。

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.

研究の動機と目的

• adic位相における代数的完成と位相的完成の違いを明確化すること、特に無限生成モジュラスに対して。
• モジュラスが有限生成でない、または環がノエターでない場合のadic完成における曖昧さを解消すること。
• ノエター設定において、adic完成が平坦性と完全性を保存する条件を確立すること。
• adic文脈における自由モジュラスの一般化として、a-adic自由モジュラスのクラスを導入し、その研究を行うこと。
• 代数的幾何における変形量子化および層論的応用のための基礎的道具を提供すること。

提案手法

• 集合Zからa-adically分離されたA-モジュラスMへの衰退関数の概念を導入し、モジュラスF_dec(Z,M)を構成する。
• ノエター環Aとその完成Âに対して、F_dec(Z, Â)としてa-adically自由A-モジュラスを定義する。
• 逆極限とA_i = A/a^{i+1}の構造を用いて、逆システムM_i = A_i ⊗_A Mを介してadic完成を分析する。
• モジュラスの衰退関数に完全版のNakayamaの補題を適用する。
• 平坦性と完全性の逆極限の保存を保証するため、局所的にN-単純接続された空間の幾何的概念を導入する。
• 完全ノエター局所環において、平坦性と完全性が基底変換に関して保存されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 無限生成A-モジュラスのa-adic完成が、自身でa-adically完全であるための条件は何か？
• RQ2 a-adically完全モジュラスの圏は、a-adically自由モジュラスのクラスによって生成可能か？
• RQ3 代数的完成と位相的完成の違いが、非ノエター設定における導来関手の挙動にどのように影響するか？
• RQ4 平坦モジュラスの完成がadic位相において平坦のままであるための条件は何か？
• RQ5 幾何的設定において、層の逆極限における平坦性と完全性の類似物がどのように保存されるか？

主な発見

• 任意のノエター環A上のA-モジュラスMに対して、a-adic完成Â(M)は常にa-adically完全である。これは、文献における長年の曖昧さを解消する。
• 任意の集合Zに対して、F_dec(Z, Â)である衰退関数のモジュラスは平坦かつa-adically完全である。これにより、平坦モジュラスの新しいクラスが確立される。
• 任意のa-adically完全A-モジュラスは、a-adically自由A-モジュラスの商である。これにより、adic圏における射影的類似の分解が得られる。
• Aが完全ノエター局所環であるとき、A-モジュラスPがa-adically自由であることと、平坦かつa-adically完全であることは同値である。
• 局所的にN-単純接続された空間Xに対して、平坦なm-adic層の逆極限は平坦かつm-adically完全であり、全体切断はm-adically自由モジュラスをなす。
• 完成関手M ↦ Â(M)は右完全でない。例3.20で反例が示されている。