[论文解读] Artin approximation property and the General Neron Desingularization

Dorin Popescu|arXiv (Cornell University)|Nov 22, 2015

Algebraic Geometry and Number Theory参考文献 19被引用 4

一句话总结

本文對一般Néron消去奇點定理及其在優異Hensel局部環上建立Artin逼近性質中的作用提供了全面的闡述。它證明了在這些環上，多項式系統的解可透過一維情形下的構造性演算法，以原環中的解來逼近，從而透過光滑代數的過濾歸納極限解決了一個長期存在的猜想。

ABSTRACT

This is an exposition on the General Neron Desingularization and its applications. We end with a recent constructive form of this desingularization in dimension one

研究动机与目标

• 提供一般Néron消去奇點及其在Artin逼近中基礎性作用的統一闡述。
• 利用一般Néron消去奇點定理，建立優異Hensel局部環的Artin逼近性質。
• 提出一維情形下消去奇點的最新構造形式，以實現演算法應用。
• 釐清正則態射、光滑代數與環同態透過光滑擴張因子分解之間的關係。

提出的方法

• 使用一般Néron消去奇點定理：任何從Noether環上有限型代數到正則擴張的態射，均可透過基環上的光滑代數因子化。
• 在透過因子分解簡化至光滑代數的情形後，應用隱函數定理。
• 使用雅可比子式進行局部化技巧，以確保在最大理想模下可逆。
• 透過附加變數與關係構造新代數，以提升模理想冪次的解。
• 使用截斷環 $\bar{A} = A/(d^3)$ 和 $\bar{A}' = A'/d^3A'$，將問題簡化至Artinian環，使消去奇點在演算法上可行。
• 應用泰勒展開與矩陣伴隨式，構造涉及新變數與截斷項的方程組解的提升。

实验结果

研究问题

• RQ1 每一個優異Hensel局部環上的多項式方程有限系統，若在完成環中有解，是否在原環中也有解？
• RQ2 一般Néron消去奇點在Noether局部環的一維情形下能否實現演算法化？
• RQ3 透過光滑代數因子化一個態射與Artin逼近性質之間有何關係？
• RQ4 何種條件可確保Noether環的正則態射誘導出平坦的微分模？
• RQ5 雅可比判別法是否可用於構造模最大理想逐次冪次的解？

主要发现

• 一般Néron消去奇點定理提供了從有限型$A$-代數到正則$A$-代數的任何$A$-態射，透過光滑$A$-代數因子化的結果。
• 透過一般Néron消去奇點定理，所有優異Hensel局部環均滿足Artin逼近性質。
• 在一維情形下提供了消去奇點的構造性演算法，其依賴於模$d^3$的截斷與透過雅可比條件的提升。
• 當$u: A \to A'$是Noether環的正則態射時，微分模$\Omega_{A'/A}$始終平坦。
• 多項式系統的解可透過一系列涉及雅可比矩陣子式的代數變換，模$\mathfrak{m}^c$提升。
• 在一維情形下，透過構造包含額外變數與關係的新代數，使雅可比行列式保持為單位元，可將模$d^3$的解提升至原環中的解。