[論文レビュー] Kangaroo points and oblique polynomials in resolution of positive characteristic

H. Hauser|ArXiv.org|Nov 25, 2008

Algebraic and Geometric Analysis参考文献 27被引用数 11

ひとこと要約

この論文は、正標数代数幾何における珍しい特異点、すなわち標準的解消不変量が予期せず増加し、帰納的証明を破壊する「カンガルーポイント」を調査する。偏角多項式の分析とフラグおよびボーナス項を用いた refined 不変量の導入により、著者はこれらの点の分類を提供し、正標数における特異点解消の解決への可能性ある道筋を提示する。これは代数幾何学における長年の未解決問題である。

ABSTRACT

Updated version. Includes comments on the advances in the field from the Kyoto workshop on Resolution of Singularities in Positive Characteristic, December 2008. The article surveys the theory of kangaroo points as they appear in the resolution of singularities in positive characteristic. They represent one of the main obstructions for transcribing the characteristic zero proof of resolution to positive characteristic. Kangaroo points are classified through the concept of oblique polynomials. The results of the article are used in Hironaka's recent program towards the resolution of singularities in positive characteristic.

研究の動機と目的

• カンガルーポイント（解消不変量が減少するのではなく増加する正標数における特異点）を理解し、分類すること。
• 係数算術と特異点の多重度がカンガルーポイントの形成に果たす役割を調査すること。
• フラグとボーナス項を用いた refined 解消不変量を構築し、カンガルーポイントの発生にもかかわらず帰納法の安定を保証すること。
• ヒロナカが後で述べた「カンガルーポイントの特徴付けが正標数における完全な解消証明に至る可能性がある」という主張の理論的基盤を提供すること。
• 以前は専門家間でのみ回されていた、2003年の未発表のカンガルーポイント分類を一般公開すること。

提案手法

• カンガルーポイントにおける特異点の局所的構造を記述するための主要な道具として、偏角多項式の概念を導入する。
• 対称性を破り、ブLOWアップに対して安定性を保証する局所的フラグ構造を用いた修正された解消不変量を定義する。
• フラグから導かれるボーナス項を用いて不変量を安定化させ、シャドー（解消不変量の一部）の一時的な増加に対しても帰納法を進行可能にする。
• 座標変換 $ x \to x + yz^3 $ を用いて弱最大接触を回復させ、カンガルーポイントにおける真の不変量値を明らかにする。
• シャドーおよび二次的シャドー成分の辞書的還元を用いて、解消プロセスの最終的終了を保証する。
• フラグの安定性を活用して、三様体における埋め込み解消のテストベッドとして、高さ不変量（シャドーより単純）を用いる。

実験結果

リサーチクエスチョン

• RQ1 正標数における解消において、カンガルーポイントが発生するための構造的・算術的条件は何か？
• RQ2 定義多項式の係数が、正標数における解消不変量の振る舞いに及ぼす影響は、特標数0とはどのように異なるか？
• RQ3 カンガルーポイントが存在しても非増加を保つ解消不変量を構築できるか？
• RQ4 偏角多項式は、カンガルーポイントの局所的幾何をどの程度にまで符号化しているか？
• RQ5 カンガルーポイントの分類が、正標数における一般解消アルゴリズムの基盤として機能できるか？

主な発見

• カンガルーポイントは、解消不変量（特にシャドー）が特異点で増加することで生じ、帰納的降下を破壊するが、まれではあるが構造的に制約されている。
• カンガルーポイントの出現は、特に $ p $-進展開と関数 $ \phi_p(r) $ を含む、特異点の多重度に関する算術的条件によって支配され、その発生を制限する。
• 偏角多項式（例：$ y^3z^3(y^2 + z^2) $）は、カンガルーポイントの局所的記述の中心的役割を果たし、不変量の非単調性を符号化する。
• フラグとボーナス項の使用により、解消不変量が安定化され、カンガルーポイントが発生しても帰納法が進行可能になる。
• 特標数2では、$ a^3 $ でカンガルーポイントが観察され、シャドーが2から3に増加するが、座標変換により正しい不変量値が回復される。
• ヒロナカは後に、この分類が正標数における完全な解消証明を可能にする可能性があると引用したが、まだ書かれた証明は発表されていない。