[論文レビュー] Multiplicity estimates, analytic cycles and Newton polytopes

Gal Binyamini|arXiv (Cornell University)|Jul 4, 2014

Polynomial and algebraic computation参考文献 25被引用数 9

ひとこと要約

本稿は、多項式ベクトル場の滑らかな解析的軌道に制限された多項式の重複度推定について、ニュートン多面体と局所的解析的サイクルを用いた、新しい代数的幾何的アプローチを提示する。次に、次元に指数関数的依存性が単一の指数関数的関係にまで低下することを達成し、ネステルケンの二重指数関数的境界を改善する。同時に、証明が簡素化され、ニュートン多面体理論を用いて混合次数の推定を一般化する。

ABSTRACT

We consider the problem of estimating the multiplicity of a polynomial when restricted to the smooth analytic trajectory of a (possibly singular) polynomial vector field at a given point or points, under an assumption known as the D-property. Nesterenko has developed an elimination theoretic approach to this problem which has been widely used in transcendental number theory. We propose an alternative approach to this problem based on more local analytic considerations. In particular we obtain simpler proofs to many of the best known estimates, and give more general formulations in terms of Newton polytopes, analogous to the Bernstein-Kushnirenko theorem. We also improve the estimate's dependence on the ambient dimension from doubly-exponential to an essentially optimal single-exponential.

研究の動機と目的

• 多項式ベクトル場の解析的軌道に沿った多項式の重複度推定に対する新しいアプローチを開発すること。特に特異点における推定を目的とする。
• ネステルケンの除去理論的アプローチを、証明を簡素化し結果を一般化する代数的サイクルに基づく枠組みに置き換えること。
• 環境次元に依存する重複度推定の依存性を、二重指数関数的から単一指数関数的へと低減し、既知の境界を改善すること。
• 重複度推定をニュートン多面体の観点から定式化し、純次数および混合次数のケースを統一すること。

提案手法

• 本稿は、局所的解析的サイクルとその交差理論的性質に基づく枠組みを導入し、軌道に沿った重複度を推定する。
• ニュートン多面体を用いて次数条件をパラメータ化し、混合次数の推定を統一的枠組みへ一般化する。
• 本アプローチは、混合でないイデアルとその軌道に沿った位数に関する精密な解析に依存し、除去理論の代わりに幾何的不変量を用いる。
• 主要な技術的ステップとして、ガブリエルーヴのイデアル鎖に関する結果を応用し、次元に伴う定数の増大を制御する。
• 重み付き射影空間における次数とコhomological成分の分析を通じて、軌道に沿ったイデアルの位数に関する境界を確立する。
• D性質が成り立つ場合、多項式の軌道に沿った重複度は次元の単一指数関数的関数によって有界であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 多項式ベクトル場の解析的軌道に沿った多項式の重複度推定を、除去理論の代わりに代数的サイクルを用いて行うことは可能か？
• RQ2 重複度推定の環境次元 $ n $ への依存性の最適な形は何か？ 二重指数関数的から単一指数関数的へ改善可能か？
• RQ3 ニュートン多面体を用いて、混合次数の推定をどのように統一的かつ一般化できるか？
• RQ4 D性質をどの程度まで、幾何的不変量を用いて軌道に沿ったイデアルの位数を有界化できるか？

主な発見

• 本稿は、$ (d + ilde{a}_{n, u})^n + (2 + ilde{ ho})(d + ilde{a}_{n, u})^{n-1} $ の形の重複度境界を確立した。ここで $ ilde{a}_{n, u} $ は $ u $ に対して多項式的であり、$ n $ に対して単一指数関数的である。これはネステルケンの二重指数関数的境界を改善する。
• 次元 $ n $ への依存性は、二重指数関数的から単一指数関数的へ低減され、ガブリエルーヴの研究から得られる既知の最良理論的境界と一致する。
• 既知の重複度推定（ネステルケンの研究およびその混合次数への拡張を含む）の証明が、本手法により簡素化される。
• フレームワークは任意のニュートン多面体へ一般化可能であり、純次数および混合次数のケースを一つの幾何的定式化で統一する。
• D性質定数 $ ilde{ ho} $ への依存性が最適化され、重複度境界は $ ilde{ ho} $ に対して線形に増大する。
• 結果は複数の点へ拡張可能であり、解析的サイクルとコhomological次数を用いた重複度推定の新しい幾何的解釈を提供する。