[論文レビュー] Legendre Transform, Hessian Conjecture and Tree Formula

Guowu Meng|ArXiv.org|Aug 28, 2003

Advanced Differential Equations and Dynamical Systems参考文献 8被引用数 5

ひとこと要約

本稿は、定数でないゼロでないヘッセ行列式を持つ多項式の形式的レジェンドル変換が多項式であるというヘッセ予想を提唱する。この予想が代数幾何学における有名なヤコビアン予想と同値であることを示し、変換の木公式を導出し、解析的・代数的手段を用いてグールジャ＝アビャンカーの逆行列公式を再構築する。実解析的条件下、特にヘッセ行列が（正または負）定値である点が存在する場合に証明を行う。

ABSTRACT

Let $ϕ$ be a polynomial over $K$ (a field of characteristic 0) such that the Hessian of $ϕ$ is a nonzero constant. Let $\barϕ$ be the formal Legendre Transform of $ϕ$. Then $\barϕ$ is well-defined as a formal power series over $K$. The Hessian Conjecture introduced here claims that $\barϕ$ is actually a polynomial. This conjecture is shown to be true when $K=\bb{R}$ and the Hessian matrix of $ϕ$ is either positive or negative definite somewhere. It is also shown to be equivalent to the famous Jacobian Conjecture. Finally, a tree formula for $\barϕ$ is derived; as a consequence, the tree inversion formula of Gurja and Abyankar is obtained.

研究の動機と目的

• 定数でないゼロでないヘッセ行列式を持つ多項式の形式的レジェンドル変換が多項式であるというヘッセ予想を提唱・検討すること。
• 代数幾何学における有名なヤコビアン予想とヘッセ予想との同値性を確立すること。
• このような多項式のレジェンドル変換に対して木公式を導出し、グールジャ＝アビャンカーの逆行列公式を新たな解析的・代数的アプローチで再構築すること。
• 実解析的条件下、特にヘッセ行列がどこかの点で定値（正定値または負定値）である場合に、ヘッセ予想が成り立つことを証明すること。
• レジェンドル変換とヘッセ構造を、摂動場理論におけるフェインマン図の技法と結びつけ、変換の組合せ的構造を明らかにすること。

提案手法

• 多項式 φ の形式的レジェンドル変換を ȳ(y) = [xy − φ(x)]|x=g(y) として定義する。ここで g(y) は ∇φ の形式的逆関数である。
• ヘッセ行列式 hφ が非ゼロ定数であるという条件を用いて、形式的逆関数 g(y) の存在と、ȳ(y) が形式的べき級数として定義可能であることを保証する。
• ヘッセ行列が任意の点で定値であれば、スペクトルフローの連続性により、それが常に定値であり、非退化でかつ符号が一定であることを証明する。
• 形式的べき級数に対する逆関数定理を適用し、既知の事実（単射な多項式写像が多項式逆写像を持つならば、その逆写像も多項式である）を用いることで、ヘッセ行列が定値である条件の下で ȳ(y) が多項式であることを証明する。
• 組合せ論的・解析的技法を用いて ȳ(y) の木公式を導出し、対称性とグラフの列挙を介してグールジャ＝アビャンカーの逆行列公式と関連付ける。
• フェインマン図の技法を用いて、レジェンドル変換の摂動展開を解釈し、頂点および辺の重みを割り当て、自動同型群の位数で割ることで寄与を定義する。

実験結果

リサーチクエスチョン

• RQ1 定数でないゼロでないヘッセ行列式を持つ多項式の形式的レジェンドル変換は、必ず多項式であるか？
• RQ2 ヘッセ予想はヤコビアン予想を含意するか、あるいはそれと同値であるか？
• RQ3 このような多項式のレジェンドル変換に対して、木公式を導出できるか？ また、その公式は既知の逆行列公式を再現するか？
• RQ4 どのような解析的条件下（例：定値ヘッセ行列）でヘッセ予想が成立するか？
• RQ5 フェインマン図の技法を用いて、レジェンドル変換を組合せ論的に解釈し、計算することは可能か？

主な発見

• K = ℝ の場合、ヘッセ行列がどこかの点で定値（正定値または負定値）であれば、符号の定数性と非退化性によりヘッセ予想は成り立つ。
• ヘッセ予想は論理的にヤコビアン予想と同値であり、代数幾何学における2つの主要な未解決問題の間の新たな橋渡しを確立する。
• レジェンドル変換のための木公式が導出され、新規な解析的・代数的アプローチによりグールジャ＝アビャンカーの逆行列公式が再構築される。
• ∇φ が単射で、その逆写像が多項式である場合に、形式的レジェンドル変換 ȳ(y) が多項式であることが示され、これはヘッセ行列が定値である条件で成立する。
• レジェンドル変換の摂動展開はフェインマン図を用いて解釈され、各連結な4価グラフがその自動同型群の位数で割った重み付き寄与を寄与する。
• 摂動展開における分配関数の対数は、各々が自動同型群の逆数で重み付けられた、連結で空でない4価閉じたグラフの和として得られる。