[論文レビュー] On the theory of Gordan-Noether on homogeneous forms with zero Hessian (Improved version)

Junzo Watanabe, Michiel de Bondt|arXiv (Cornell University)|Mar 22, 2017

Advanced Combinatorial Mathematics参考文献 11被引用数 4

ひとこと要約

この論文は、Gordan と Noether の、斉次多項式のヘッセ行列式が消えるという基礎的結果について、包括的で是正され、現代的な証明を提供する。このような形式は、その形式と偏導関数から1つの変数を消去する有理写像を許容することを確立する。主な貢献は、5変数形式におけるヘッセ行列式がゼロであるものの完全な分類であり、元の証明に長年の穴が存在していたのを解消し、自己消滅系とヤコビアンのランク解析を通じて新たな構造的洞察を導入する。

ABSTRACT

We give a detailed proof for Gordan-Noether's results in "Ueber die algebraischen Formen, deren Hesse'sche Determinante identisch verschwindet" published in 1876 in Mathematische Annahlen. C. Lossen has written a paper in a similar direction as the present paper, but did not provide a proof for every result. In our paper, every result is proved. Furthermore, our paper is independent of Lossen's paper and includes a considerable number of new observations. An earlier version of this paper has been printed in Proceedings of the School of Science of Tokai University, Vol.49, Mar. 2014. In this version, a serious error has been corrected and some new results have been added.

研究の動機と目的

• 1876年のGordanとNoetherの結果について、ヘッセ行列式が恒等的に消える斉次形式に関する完全で厳密な修正証明を提供すること。これは、元の証明に穴があったため、以前は懸念を伴って受け入れられていた。
• 論文の以前の版における重大な誤り、特に補題5.2を修正するため、命題7.2の証明を完成させるために、新しい第8節を導入すること。
• 5変数における斉次多項式でヘッセ行列式が恒等的にゼロであるものの完全な分類を確立すること。これは、変数が少ない場合の既知の結果を拡張する。
• 自己消滅系の理論を導入・発展させ、ヘッセ行列式がゼロである条件と関連づけ、背後にある代数幾何学的構造に対する新たな洞察を提供すること。
• ヘッセ行列式がゼロである形式を特徴づける際、ベクトル場 $\mathbf{h} = (h_1, \dots, h_n)$ のヤコビアン行列の役割を明確化・一般化すること。特にランクと超越次数の議論を通じて。

提案手法

• 論文は、ヘッセ行列式がゼロである斉次多項式が、ヘッセ行列の核から得られる有理関数 $ h_i $ を用いて $ \sum_{i=1}^n h_i \frac{\partial F}{\partial x_i} = 0 $ の形の1階線形偏微分方程式を満たすという事実を利用する。
• 冗長性を排除し、PDEの表現の一意性を保証するために、$ \gcd(h_1, \dots, h_n) = 1 $ である「縮約された自己消滅系」$ \mathbf{h} $ の概念を導入する。
• ヤコビアン行列 $ M = (\partial h_i / \partial x_j) $ を解析し、ランク $ k $ を特定する。このランクは、係数体における独立変数の数に関連し、形式 $ f $ の構造を制御する。
• 変数 $ x_{i_1}, \dots, x_{i_k} $ に関する $ h_{r+1}, \dots, h_n $ の偏導関数からなる行列を構成し、$ f $ がこの行列の $ (k+1) \times (k+1) $ 小行列式の多項式であるための必要十分条件が、命題9.1(b)の条件を満たすことであることを示す。
• 体の拡張と超越基底を用いた代数幾何学的技法を用い、導出された形式が基本体上で正しく定義されており、有理写像が正当化されることを保証する。
• 命題7.2における鍵となる結果 $ \dim W \leq 1 $ の証明が、新しい第8節によって完了され、元の証明の欠陥が是正され、5変数形式の分類が完全に厳密に保証される。

実験結果

リサーチクエスチョン

• RQ1 $ n \leq 5 $ 変数におけるヘッセ行列式が恒等的にゼロである斉次多項式の正しい完全な特徴づけは何か？
• RQ2 GordanとNoetherの1876年の証明は、補題5.2の誤りを是正し、命題7.2の証明を完成させるために、どのように現代的かつ修正可能になるか？
• RQ3 ヘッセ行列式がゼロである形式を特徴づけるPDEを定義する際、ベクトル場 $ \mathbf{h} = (h_1, \dots, h_n) $ の正確な役割は何か？また、そのヤコビアンのランクは、このような形式の構造にどのように影響を与えるか？
• RQ4 自己消滅系 $ \mathbf{h} $ が縮約可能であるための条件は何か？また、これは、$ f $ とその偏導関数から1つの変数を消去する有理写像の存在とどのように関連するか？
• RQ5 5変数におけるヘッセ行列式がゼロである形式の分類は、ヤコビアン行列の小行列式と超越基底の枠組みを用いて完全に確立可能か？

主な発見

• 論文は、以前の版における重大な誤り、特に補題5.2の誤りを是正し、命題7.2の証明を完成させるために、新しい第8節を提供した。これにより、5変数形式でヘッセ行列式がゼロであるものの分類が完全に正当化された。
• ヘッセ行列式がゼロである斉次多項式 $ f $ が、$ h_{r+1}, \dots, h_n $ の偏導関数を $ k $ 個の選択された変数に関してとった行列の $ (k+1) \times (k+1) $ 小行列式の多項式であるための必要十分条件が、命題9.1(b)の条件を満たすことであることを証明した。
• もし $ \gcd(h_1, \dots, h_n) = 1 $ かつ $ \mathcal{I}(f) $ が単項イデアルであれば、$ \mathbf{h} $ は $ f $ から生じる縮約された自己消滅系であり、これらの条件下ではそのような系は一意的であることを確立した。
• 5変数におけるヘッセ行列式がゼロである形式の分類が完全に完了され、このような形式は、定理9.2の条件の下で、ランク $ k $ のヤコビアン行列の小行列式で表現可能な形式に限り、正確に一致することが示された。
• ヘッセ行列式の左核から得られるベクトル場 $ \mathbf{h} $ は、$ f $ と同じPDEを満たすことが示され、これにより $ f $ とその偏導関数から1つの変数を消去する有理写像の構成が可能になった。
• 命題7.2の証明における条件 $ \dim W \leq 1 $ が、新しい第8節によって完全に正当化された。これにより、Gordan-Noether理論における長年の穴が解消された。