[論文レビュー] Toward resolution of singularities over a field of positive characteristic Part I. Foundation of the program: the language of the idealistic filtration

Hiraku Kawanoue|ArXiv.org|Jul 1, 2006

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

ひとこと要約

本稿は、正標数における特異点解消を解決する基盤言語として、理想的フィルトレーション枠組みを導入し、Hironakaのプログラムを拡張する。主要な不変量を確立し、特異点の非特異性原理を証明することで、特定の条件下ではフィルトレーションが基本環上に支持されることを示し、これは特異点解消アルゴリズムにおけるアルゴリズム的終了性に不可欠である。

ABSTRACT

This paper represents the main portion of the Ph.D. Thesis of the author, and is the first of the series of four papers, which is a joint work with K. Matsuki as a whole. We present a program toward constructing an algorithm for resolution of singularities in positive characteristic. We would like to emphasize, however, that the program is actually valid in all characteristics. As such, it leads in characteristic zero to a complete algorithm, which is slightly different from the existing ones. In positive characteristic, almost all the ingredients work nicely forming a perfect parallel to the case in characteristic zero, except for the problem of termination, which remains as the only missing piece toward the completion of our algorithm.

研究の動機と目的

• すべての標数にわたる特異点解消の均一な枠組みの構築、特に正標数における未解決の終了問題の解決を目的とする。
• 特異点の記述とその変換を記述する中心的言語として、理想的フィルトレーションを形式化すること。
• 特異点の非特異性原理の証明。これは、正標数における特異点解消アルゴリズムの終了性を保証するための重要なステップである。
• 不変量と飽和性の性質を導入することで、アルゴリズム的解消プロセスの基盤を築くこと。
• 既知の技法を新しい枠組みに適応することで、標数0と正標数の間のギャップを埋めること。

提案手法

• 理想的フィルトレーションをイデアルの一般化として導入し、実数によって添え字付けられたイデアルの族として特異点を符号化する。
• ${\mathfrak{D}}$-飽和、${\mathfrak{R}}$-飽和、整閉包、${\mathfrak{B}}$-飽和といった飽和性を定義・研究し、ブローアップおよび微分作用素に対して堅牢性を保証する。
• 先行生成子系と不変量 $\sigma$ および $\widetilde{\mu}$ を確立し、解消過程における特異点の複雑さを追跡する。
• 正標数におけるFrobeniusに類似した作用の下でのイデアルの挙動を分析するために、微分作用素と $p^e$-冪構造を適用する。
• 局所環におけるフィルトレーションの構造を分析するために、係数補題および補助補題を用いる。
• 背理法により非特異性原理を証明する：フィルトレーションが基本環上に支持されていないと仮定すると、先行項の構造に矛盾が生じる。

実験結果

リサーチクエスチョン

• RQ1 理想的フィルトレーション枠組みは、標数0および正標数の両方における特異点解消に一様なアプローチを提供できるか？
• RQ2 ${\mathfrak{R}}$-飽和および ${\mathfrak{D}}$-飽和の下で、非特異性原理はフィルトレーションが基本環上に支持されていることを保証するか？
• RQ3 正標数におけるブローアップおよび変換の下で、不変量 $\sigma$ と $\widetilde{\mu}$ はどのように振る舞うか？
• RQ4 ${\mathfrak{R}}$-飽和は整性およびブローアップ操作との適合性を保証するために果たす役割は何か？
• RQ5 不変量の分母が有界でない可能性があるにもかかわらず、この枠組みは正標数における終了障害を克服できるか？

主な発見

• 非特異性原理が証明された：フィルトレーションが ${\mathfrak{R}}$-飽和および ${\mathfrak{D}}$-飽和である場合、そのサポートは $R \times \{1\}$ に含まれる。これは、それがより大きなイデアル的フィルトレーションに真に含まれないことを意味する。
• 理想的フィルトレーション $({\mathcal{H}})$ は $({\mathcal{H}}) = \sqrt{({\mathcal{H}})}$ を満たす。これは幾何的解釈にとって不可欠である。
• フィルトレーションは $({\mathcal{H}}) = ({\mathcal{H}}_0) + (({\mathcal{H}}) \cap R^{p^e})$ を満たし、フィルトレーションの構造が $p^e$-冪によって制御されることを示している。
• 証明における矛盾は $\mathbb{H}_0 \neq \mathbb{H}$ を仮定することで生じ、$x_{L+1}^{p^e}$ という先行項が $({\mathcal{H}})$ には属するが $({\mathcal{H}}_0)$ には属さないことが示され、商環における包含関係に反する。
• 証明は $\overline{({\mathcal{H}})} = \overline{({\mathcal{H}})} \cap \overline{R}^{p^e}$ が成り立つことに依存しており、これは係数補題および微分作用素の作用から導かれる。
• この枠組みにより、不変量 $\sigma$ および $\widetilde{\mu}$ はブローアップの下で厳密に減少するが、不変量に有界でない分母が存在する可能性があるため、終了性は未解決のままである。