[論文レビュー] A polyhedral approach to the invariant of Bierstone and Milman

Bernd Schober|arXiv (Cornell University)|Oct 24, 2014

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

ひとこと要約

本稿では、特徴的零点における特異点の構成的解消に用いられる、BierstoneおよびMilmanによって導入された不変量を、完全に多面体的手法によって計算する手法を提示する。特徴的多面体とその射影の分析を通じて、著者らは、高次乗法的多重度および例外的除因子の数といった、主要な不変量が、代数幾何学的技法（最大接触や係数イデアルなど）に依存せずに、多面体的データから組合せ的に導出可能であることを示している。

ABSTRACT

Based on previous work by the author we deduce that the invariant introduced by Bierstone and Milman in order to give a proof for constructive resolution of singularities in characteristic zero can be determined purely by considering certain polyhedra and their projections.

研究の動機と目的

• 特徴的零点における特異点の構成的解消に用いられるBierstone-Milman不変量の、完全な組合せ的・多面体的特徴付けを提供すること。
• 最大接触や係数イデアルといった幾何的構成に依存することを排除し、それらを多面体の射影に置き換えること。
• 不変量の各成分（高次乗法的多重度および例外的除因子寄与）が、特徴的多面体の構造からどのように導出可能であるかを示すこと。
• 解消戦略を、格子幾何学および多面体上の凸解析に還元することで統一的かつ簡素化すること。
• 解消プロセスが、多面体の射影と順序条件に完全に支配される枠組みを確立すること。

提案手法

• 本稿では、許容的ブローアップの下での同値類として表現される、Hironakaのペアおよびイデアル的指数の理論を用いる。
• ペア 𝔼 = (J,b) に関連する特徴的多面体 Δ(𝔼) の概念を導入し、これがイデアルの局所的構造とブローアップにおける挙動を符号化していることを示す。
• 不変量の成分 ν_i は、座標部分空間へのこれらの多面体の射影を用いて計算され、β_j = (ν_2⋯ν_j)^{-1} で定義される重み付き格子ノルムが用いられる。
• 定義関数の z-変数および例外的除因子に関する準同次分解を分析することで、繰り返しのブローアップを通じた多面体的データの変化を追跡する。
• 各段階でのイデアル的指数データを、多面体の射影を用いて追跡する再帰的構成（例：𝒢_r(x), 𝒻_r(x), 𝒽_r(x)）を定義する。
• E部（例外的除因子）とD部（定義イデアル）を区別する手法に依拠し、E部が空集合である場合に多面体的構造が次なる段階を完全に決定するという、核心的な洞察を得る。

実験結果

リサーチクエスチョン

• RQ1 Bierstone-Milman不変量は、最大接触や係数イデアルに依存せずに計算可能か？
• RQ2 解消不変量は、特徴的多面体の組合せ的構造からどの程度再構成可能か？
• RQ3 多面体の射影は、高次乗法的多重度 ν_i および例外的除因子寄与 s_i をどのように符号化するか？
• RQ4 重み付き格子ノルム L_ν(B) は、次回のブローアップ中心を決定する上で果たす役割は何か？
• RQ5 E部が存在しない状況において、多面体的構造が解消プロセスを完全に決定する条件は何か？

主な発見

• 不変量の成分 ν_i ∈ ℚ₀ ∪ {∞} は、特徴的多面体の幾何学的性質とその射影から、完全に多面体的データに基づいて計算可能である。
• 例外的除因子データ 𝒟_r+1 が非自明（すなわち D_r+1 ≠ 1）である場合、次回の不変量 ν_r+1 は μ_r+1 より厳密に小さくなり、解消プロセスにおける進行が示される。
• E部が空集合の場合、多面体的構造が次回のブローアップ中心を完全に決定し、問題が格子射影に還元される。
• 𝒢_r(x), 𝒻_r(x), 𝒽_r(x) の再帰的構成は、多面体的データによって完全に決定され、準同次成分 F_B,i(u) および重み付き次数を含む明示的公式が得られる。
• ν_r+1 = ∞ の場合、ブローアップ中心は V(z_1,…,z_r) であり、これは不変量の最大の減少に対応する。
• 解消戦略全体が、代数的または微分幾何学的構成（最大接触や係数イデアルなど）に依存することなく、多面体的データから再構成可能である。