[論文レビュー] Definite Determinantal Representations of Ternary Hyperbolic Forms

Christoph Hanselka|arXiv (Cornell University)|Nov 6, 2014

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

ひとこと要約

本稿は、ヘイツォン＝ヴィニコフの定理について、完全に代数的で初等的な証明を提示する。これは、任意の3変数の双曲的多項式が、定符号の線形行列式表現をもつことを確立する。対称的 $T$-スペクトル行列式表現をアフィン曲線上で用い、係数解析による行列の次数の上限を設定することで、$\mathbb{R}[X,T]$ 内の有界次数の $T$-実根を持つ多項式が、制御可能なエントリ次数を持つ対称行列表現をもつことを示した。これにより、三変数におけるラクス予想が代数的手法によって再証明された。

ABSTRACT

We give a new and completely algebraic proof of the Helton-Vinnikov Theorem stating that every hyperbolic polynomial in three variables admits a definite linear determinantal representation.

研究の動機と目的

• ヘイツォン＝ヴィニコフの定理の完全に代数的で初等的な証明を提供し、ヤコビアン上のテータ関数などの高度な道具を避ける。
• 任意の3変数双曲的多項式が、双曲的性質の方向で定符号となる線形行列式表現をもつことを確立する。
• $\mathbb{R}[X,T]$ 内の有界次数の $T$-実根を持つ多項式の集合を特徴づけ、その多項式が有界な行列エントリ次数を持つ対称的 $T$-スペクトル行列式表現をもつことを示す。
• 元々のヘイツォン＝ヴィニコフの証明で用いられた解析的・幾何的技法を、分数イデアルと次数の上限に基づく代数的技法に置き換える。

提案手法

• 2変数多項式における $T$-実根性を定義し、$\mathbb{R}[X]$ 上の対称行列のモニック固有多項式を用いて対称的 $T$-スペクトル行列式表現を導入する。
• $\mathbb{R}[X,T]_{(k,d)}$ 内の $X$ に関する次数が高々 $k$ の対称行列からその固有多項式への写像 $\chi_{k,d}$ を定義し、その像がこの次数クラスに属するすべての $T$-実根多項式を含み、かつ閉じていることを証明する。
• $T$-根の係数の上限を分析し、それらを対称行列の作用素ノルムに関連付けることで、$\chi_{k,d}$ の逆像の有界性を確立する。
• $\mathbb{R}[T]_{\leq d}$ 内の係数の有界性が、$X$ に関する行列エントリの有界性を意味することを、区間 $[0,1]$ および $(1,\infty)$ 上でのスケーリングとコンパクトネスの議論を用いて示す。
• 補題25の次数の上限を用い、$\mathbb{R}[X,Y,Z]$ 内の全次数 $d$ の $T$-実根多項式が、$X$ に関して線形の行列エントリを持つ線形行列式表現をもつことを示す。
• $\operatorname{im}\chi_{k,d}$ の閉性とデュアリティの議論を用いて、$H_{k,d} = \operatorname{im}\chi_{k,d}$ を結論づけ、有界次数の対称的表現の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 ヘイツォン＝ヴィニコフの定理は、テータ関数や複素幾何を用いずに、完全に代数的手法によって証明可能か？
• RQ2 $\mathbb{R}[X,T]$ 内の有界次数の $T$-実根多項式に対して、$X$ に関して制御可能な次数のエントリを持つ対称行列表現が存在するか？
• RQ3 対称行列からその固有多項式への写像 $\chi_{k,d}$ の像が、次数 $d$ で $X$-次数が高々 $k$ の $T$-実根多項式の空間で閉じているか？
• RQ4 固有多項式の係数の有界性から、行列式表現における行列エントリの次数を単独で有界化できるか？
• RQ5 任意の3変数双曲的形式は、代数的および解析的道具のみを用いて、双曲的性質の方向で定符号となる線形行列式表現をもつのか？

主な発見

• $\mathbb{R}[X,T]$ 内の次数 $d$ で $X$-次数が有界な $T$-実根多項式は、すべて $X$ に関して次数が高々 $k$ の対称的 $T$-スペクトル行列式表現をもつ。
• $\chi_{k,d}$ が対称行列をその固有多項式へ写像する写像の像は、次数 $d$ で $X$-次数が高々 $k$ の $T$-実根多項式の空間で閉じている。
• $\mathbb{R}[X,T]_{(k,d)}$ 内の $T$-実根多項式の集合 $H_{k,d}$ は $\operatorname{im}\chi_{k,d}$ に等しい。これは、有界次数の対称的表現の存在を証明する。
• $T$-多項式の係数の有界性は、ノルムとスケーリングの議論を経て、対応する対称表現における行列エントリの有界性を意味する。
• ヘイツォン＝ヴィニコフの定理が代数的に再証明された：任意の3変数双曲的多項式は、定符号の線形行列式表現をもつ。証明は、次数の上限とアフィン曲線の代数的位相的性質にのみ依存する。
• 証明の代数的性質により、$\mathbb{R}$ に限らず任意の実閉体上でもこの結果は成り立つ。これは、分数イデアルと類群の可除性に基づく証明の性質による。