[論文レビュー] Artin approximation property and the General Neron Desingularization

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

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

ひとこと要約

本稿は、優れたヘンゼル的局域環におけるアーツィン近似性質を確立する上で中心的な役割を果たす一般ネロン特異点解消に関する包括的な解説を提示する。この研究では、このような環上の多項式系の解が、1次元における構成的アルゴリズムを用いて元の環内の解によって近似可能であることを示し、滑らかな代数のフィルター付き帰納極限を通じて長年の予想を解決する。

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

研究の動機と目的

• 一般ネロン特異点解消とそのアーツィン近似における基礎的役割を統一的に解説すること。
• 一般ネロン特異点解消を用いて、優れたヘンゼル的局域環に対するアーツィン近似性質を確立すること。
• 1次元における最近の構成的形態の特異点解消を提示し、アルゴリズム的応用を可能にする。
• 正則な準同型、滑らかな代数、および環準同型の滑らかな拡大を通した因数分解の関係を明確にすること。

提案手法

• 一般ネロン特異点解消定理を用いる：ノエター環上の有限型代数から正則拡大への任意の準同型は、基本環上の滑らかな代数を通じて因数分解可能である。
• 因数分解により滑らかな代数の状況に還元した後、陰関数定理を適用する。
• ヤコビアンの小行列式を用いた局所化のテクニックを用い、極大イデアルを法として可逆性を保証する。
• イデアルのべきを法として解を上げるために、変数と関係式を追加して新たな代数を構成する。
• 問題をアルティン環に還元するため、$\bar{A} = A/(d^3)$ および $\bar{A}' = A'/d^3A'$ のような切断された環を用いる。ここで、特異点解消はアルゴリズム的に可能となる。
• テイラー展開と行列の随伴行列を用いて、新しい変数と切断された項を含む方程式系を通じて解の上昇を構成する。

実験結果

リサーチクエスチョン

• RQ1 すべての優れたヘンゼル的局域環上の多項式系が完備化において解を持つならば、元の環に対しても解が存在するか？
• RQ2 1次元ノエター局域環の場合に、一般ネロン特異点解消をアルゴリズム的に可能にすることができるか？
• RQ3 準同型が滑らかな代数を通じて因数分解することは、アーツィン近似性質とどのように関係するか？
• RQ4 ノエター環の正則な準同型が平坦な微分モジュールを誘導するための条件は何か？
• RQ5 ヤコビアンの基準を用いて、極大イデアルの累乗を法とする解を段階的に構成できるか？

主な発見

• 一般ネロン特異点解消定理により、任意の $A$-代数の有限型 $A$-代数から正則 $A$-代数への $A$-準同型は、$A$-上の滑らかな代数を通じて因数分解可能である。
• アーツィン近似性質は、一般ネロン特異点解消を用いることで、すべての優れたヘンゼル的局域環において成立することが示された。
• 1次元においては、$d^3$ を法とする切断とヤコビアン条件による上昇に依存する構成的アルゴリズムが提供された。
• $u: A \to A'$ がノエター環の正則な準同型である限り、微分モジュール $\Omega_{A'/A}$ は平坦である。
• 多項式系の解は、ヤコビアン行列の小行列式を含む代数的変更の系列を通じて $\mathfrak{m}^c$ を法として上昇可能である。
• 1次元において、$d^3$ を法とした解は、ヤコビアン行列式を単元まで保つように追加の変数と関係式を含む新たな代数を構成することで、元の環内の解に上昇可能である。