[論文レビュー] The Gaussian Moments Conjecture and the Jacobian Conjecture

Harm Derksen, Arno van den Essen+1 more|arXiv (Cornell University)|Jun 17, 2015

Advanced Differential Equations and Dynamical Systems参考文献 9被引用数 7

ひとこと要約

本稿では、標準的多変量正規測度の下で多項式のすべてのモーメントが消えるならば、その多項式の任意の他の多項式との高階モーメントも消えるという仮説であるガウスモーメント予想（GMC）を提唱する。GMCがすべての次元で成り立つならば、代数幾何学における主要な未解決問題であるヤコビアン予想が成り立つことが示され、また高次元におけるより広いバージョンの予想に対して反例が提示されている。

ABSTRACT

We first propose what we call the Gaussian Moments Conjecture. We then show that the Jacobian Conjecture follows from the Gaussian Moments Conjecture. We also give a counter-example to a more general statement known as the Moments Vanishing Conjecture .

研究の動機と目的

• ヤコビアン予想への新しいアプローチとして、ガウスモーメント予想（GMC）を提唱すること。
• 正規測度の下でのモーメントの消滅と多項式写像のグローバルな逆写像可能性との間の関係を確立すること。
• 代数幾何学および調和解析における既知の予想と関連して、GMCの妥当性を検討すること。
• GMCがヤコビアン予想を含むことの証明を通じて、その解決への可能性ある道筋を提示すること。
• 2変数における反例を用いて、より広い予想の限界を明確にすること。

提案手法

• 標準的多変量正規分布の下での多項式のモーメントの消滅に関する条件として、ガウスモーメント予想（GMC）を定式化すること。
• 線形代数および変換不変性を用いて、ガウス測度を平均0、分散1に正規化すること。
• GMCをMathieu-Zhao（MZ）空間の観点から再定式化し、多項式環内の代数的構造とモーメントの消滅を結びつけること。
• ヒルベルト＝マウムフォードの基準および直交群の1パrameter部分群を用いて、多項式の軌道閉包を分析すること。
• 複素係数多項式を用いた半円板上での積分を用いて、より広いバージョンの予想を反証する反例を構成すること。
• p進付値および合同算術を用いて数論的議論において矛盾を導出し、特定のモーメントの消滅が成立しないことを支持すること。

実験結果

リサーチクエスチョン

• RQ1 ガウス測度の下で多項式のすべてのモーメントが消えるならば、その高階モーメントが任意の他の多項式と消えるかどうか？
• RQ2 ガウスモーメント予想からヤコビアン予想を導くことは可能か？
• RQ3 文献[11, 予想3.2]におけるより広い予想は、2変数を超えるすべての多項式に対して成り立つか？
• RQ4 直交群の作用および1パラメータ部分群がモーメント消滅を特徴付ける役割を果たすか？
• RQ5 高次元におけるモーメント消滅条件に代数的または数論的障害は存在するか？

主な発見

• ガウスモーメント予想はヤコビアン予想を含む：すべての n ≥ 1 に対して GMC(n) が成り立つならば、すべての n ≥ 1 に対して JC(n) が成り立つ。
• 2変数における反例が構成され、半円板のような非対称領域では、より広い予想 [11, 予想3.2] が成り立たないことが示された。
• 単変数多項式および原点中心の全円板や正方形などの対称領域では、予想は未解決のままである。
• 特定の代数的設定において、モーメント消滅条件はリーマン作用素の核がMathieu-Zhao空間に等しいことと同値である。
• p進付値およびモジュラー還元を用いた証明技法により、特定の条件下でモーメントの消滅を仮定すると矛盾が生じる。
• 命題4.7では、支配的単項式を持つ多項式に対して、無限に多くの m に対してモーメントが消えないことが示され、単変数の場合のGMCの支持が得られた。