[論文レビュー] Constant polynomial Hessian determinants in dimension three

Michiel de Bondt|arXiv (Cornell University)|Mar 29, 2012

Advanced Differential Equations and Dynamical Systems参考文献 6被引用数 1

ひとこと要約

本稿は、特性が0の体上の3次元において、勾配写像に対するヤコビアン予想を証明し、多項式の重み付き主要部のヘッセ行列式が消えない場合、写像が可逆であることを示している。これは、実勾配写像で線形部が単位行列である場合に、それらが翻訳（次数1）であるという以前の結果を拡張し、特性が0の任意の体へ一般化している。

ABSTRACT

In this paper, we show that the Jacobian conjecture holds for gradient maps in dimension n 0, then after a suitable linear transformation, there exists a positive weight function w on the variables such that the Hessian determinant of the w-leading part of f is nonzero. This result does not hold for larger n either (even if we replace `positive' by `nontrivial' above). In the last section, we show that the Jacobian conjecture holds for gradient maps over the reals whose linear part is the identity map, by proving that such gradient maps are translations (i.e. have degree 1) if they satisfy the Keller condition. We do this by showing that this problem is the polynomial case of the main result of [Pog]. For polynomials in dimension n <= 3, we generalize this result to arbitrary fields of characteristic zero.

研究の動機と目的

• 特性が0の体上での3次元における勾配写像に対するヤコビアン予想を確立すること。
• 多項式のw-主要部のヘッセ行列式が非ゼロとなる条件を特定し、可逆性を保証すること。
• 線形部が単位行列である実勾配写像がケラー条件を満たす場合、それが翻訳（次数1）であることを証明すること。
• 文献[Pog]の結果の多項式の場合を、特性が0の任意の体へ一般化すること。
• 定数ヘッセ行列式が低次元勾配写像の可逆性を示す条件を同定すること。

提案手法

• 変数に正の重み関数wを導入し、多項式fのw-主要部を定義すること。
• fのw-主要部のヘッセ行列式を分析し、非消える条件を特定すること。
• 線形変換を用いて多項式構造を単純化し、重要な代数的性質を抽出すること。
• [Pog]の主結果を多項式設定に応用し、実数体上での可逆性を導出すること。
• 線形部が単位写像である場合に還元することで解析を単純化すること。
• 代数的技法を用いて、実数の場合の結果を特性が0の任意の体へ一般化すること。

実験結果

リサーチクエスチョン

• RQ1 3次元において、重み関数wがヘッセ行列式の非消える性質を満たす条件は何か？
• RQ2 w-主要部のヘッセ行列式が非ゼロであれば、3次元における勾配写像の可逆性が保証されるか？
• RQ3 線形部が単位行列でケラー条件を満たす実勾配写像が、ヘッセ行列分析により翻訳（次数1）であることが示せるか？
• RQ4 3次元における定数ヘッセ行列式に関する結果は、特性が0の任意の体へどの程度まで拡張可能か？
• RQ5 「正の」重み関数を「非自明な」重み関数に置き換えても、高次元ではなぜ結果が成立しなくなるのか？

主な発見

• 特性が0の体上での3次元における勾配写像に対して、ヤコビアン予想は、w-主要部のヘッセ行列式が非ゼロである場合に成立する。
• 線形部が単位行列でケラー条件を満たす実勾配写像に対して、写像は翻訳であるため、次数1である。
• w-主要部のヘッセ行列式が非ゼロであれば、適切な線形変換を施すことにより可逆性が保証される。
• 重み関数が非自明である場合ですら、結果は高次元へは拡張できない。
• 文献[Pog]の主結果の多項式ケースが、3次元における特性が0の任意の体へ一般化された。
• w-主要部の構造とそのヘッセ行列式は、低次元勾配写像の可逆性を決定する重要な不変量である。