[論文レビュー] Algorithms in the classical Néron Desingularization

Asma Khalid, Adrian Popescu+1 more|arXiv (Cornell University)|Feb 5, 2017

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

ひとこと要約

本稿は、分離的残渣および分数体拡張を伴う離散賦値環（DVR）の状況におけるネロン特異点解消の構成的アルゴリズムを提示する。ジャコビアン基準およびヘンゼル性の性質を用いて、べき級数近似と局所化により、有限型代数準同型を基本環上の滑らか代数を通すように因数分解する明示的手順を提供する。

ABSTRACT

We give algorithms to construct the Néron Desingularization and the easy case from \cite{KK} of the General Néron Desingularization.

研究の動機と目的

• 未分岐DVR拡張の古典的設定におけるネロン特異点解消の明示的アルゴリズムの開発を目的とする。
• 文献[3]で提示された一般ネロン特異点解消の「簡単なケース」に対する構成的証明とアルゴリズム的実装を提供すること。
• 有限型代数準同型を基本DVR上の滑らか代数を通じて因数分解可能にするためのアルゴリズム的枠組みを提供すること。
• 計算代数幾何学およびアーティン近似へのネロン特異点解消の適用範囲を拡大し、実装可能な手順を提供すること。

提案手法

• ジャコビアン行列の非消滅小行列式を用いて、準同型の像における正則性条件を同定する。
• 係数 $ y_{i\alpha} \in k[[x]] $ を用いて $ v(Y_i) $ のべき級数展開から得られる、$ k[[x]] $ を通じた準同型 $ v: B \to A' $ の持ち上げを用いて、新たな代数 $ C $ を構成する。
• 微分のモジュール $ \Omega_{B/A} \otimes_B A' $ に不変因子定理を適用し、 valuation 不変量 $ l(B) $ を分離する分解を導出する。
• 逐次近似と局所化に基づく再帰的アルゴリズムを実装し、$ v: B \to A' $ が $ C $ を通じて因数分解されるような滑らか $ A $-代数 $ C $ を構成する。
• 第3節のネロン特異点解消アルゴリズムを、簡単なケースの高レベルなアルゴリズムにおけるサブルーチンとして使用する。
• 残渣体のケースを、関係式の持ち上げと局所化により得られる $ \tilde{C} $ を用いた基底拡張 $ A \otimes_k \tilde{C} $ を通じて滑らか代数に変換する。

実験結果

リサーチクエスチョン

• RQ1 未分岐DVR拡張で分離的残渣および分数体を伴う場合のネロン特異点解消を、どのようにアルゴリズム的に行えるか？
• RQ2 一般ネロン特異点解消の「簡単なケース」（$ \dim A = 0 $, $ \dim A' = 1 $, 残渣体が等しい）を、明示的な計算手順によって実現可能か？
• RQ3 ジャコビアン行列の valuation 不変量 $ l(B) $ は、特異点解消の可能性と構造を決定づける役割を果たすか？
• RQ4 準同型 $ v: B \to A' $ のべき級数近似を、どのようにして基本環 $ A $ 上の滑らか代数へ一貫的に持ち上げられるか？
• RQ5 結果として得られる代数 $ C $ が $ A $ 上で滑らかであることを保証するアルゴリズム的ステップは何か？ また、その構成的検証はどのように行えるか？

主な発見

• 本稿は、$ B $ が $ A $-代数として有限型であり、$ A \subset A' $ が分離的残渣および分数体を伴う未分岐DVR拡張であるような準同型 $ v: B \to A' $ が与えられたとき、$ v $ が $ C $ を通じて因数分解されるような滑らか $ A $-代数 $ C $ を構成するアルゴリズムを提示する。
• 準同型 $ v $ が $ A' = k[[x]] $ のべき級数で与えられ、その係数 $ y_{i\alpha} $ が新しい代数 $ \bar{B}_1 \subset k[[x]] $ を定義するために用いられる場合、アルゴリズムは成功する。
• 得られる代数 $ \bar{C} $ は、関係式の持ち上げと局所化により得られる滑らか $ k $-代数 $ \tilde{C} $ を用いて構成され、$ k $ 上の滑らか性が保証される。
• 最終的な $ A $-代数 $ C $ は $ A \otimes_k \tilde{C} $ に同型であり、因数分解 $ B \to C \to A' $ は明示的に計算可能である。
• べき級数の次数の上限 $ N $ が小さすぎる場合、アルゴリズムは失敗するように設計されており、明確な停止条件が得られる。
• 例6および7は、アルゴリズムが滑らか $ A $-代数 $ C $ を生成し、特異点解消を実現することを示しており、直接計算とアルゴリズム出力が一致する明示的構成が得られている。