[论文解读] Definite Determinantal Representations of Ternary Hyperbolic Forms

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

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

一句话总结

本文提供了Helton-Vinnikov定理的完全代数化、初等的证明，表明每个三元超曲多项式均具有确定的线性行列式表示。通过在仿射曲线上使用对称$T$-谱行列式表示，并利用系数分析控制矩阵次数，作者证明了在有界次数下，$\mathbb{R}[X,T]$中的$T$-实根多项式具有矩阵元素次数受控的对称矩阵表示，从而以代数方法重新证明了三变量情形下的Lax猜想。

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.

研究动机与目标

• 提供Helton-Vinnikov定理的纯代数化、初等证明，避免使用雅可比簇上的theta函数等高级工具。
• 证明每个三元超曲多项式均具有在超曲性方向上确定的线性行列式表示。
• 刻画$\mathbb{R}[X,T]$中具有有界次数的$T$-实根多项式集合，并证明其具有有界矩阵元素次数的对称$T$-谱行列式表示。
• 用基于分式理想与次数界的代数技巧，取代原始Helton-Vinnikov证明中的解析与几何方法。

提出的方法

• 定义双变量多项式中$T$-实根性的概念，并通过$\mathbb{R}[X]$上对称矩阵的首一特征多项式引入对称$T$-谱行列式表示。
• 使用映射$\chi_{k,d}$，将$X$次数至多为$k$的对称矩阵映射到$\mathbb{R}[X,T]_{(k,d)}$中的特征多项式，并证明其像在该次数类中封闭，且包含所有$T$-实根多项式。
• 通过分析$T$-根的系数界并将其与对称矩阵的算子范数关联，建立$\chi_{k,d}$的原像有界性。
• 利用在区间$[0,1]$和$(1,\infty)$上的缩放与紧致性论证，证明$\mathbb{R}[T]_{\leq d}$中系数有界意味着对应表示中矩阵元素有界。
• 利用引理25中的次数界，证明$\mathbb{R}[X,Y,Z]$中总次数为$d$的$T$-实根多项式具有线性矩阵元素的线性行列式表示。
• 通过$\operatorname{im}\chi_{k,d}$的封闭性与逼近论证，得出$H_{k,d} = \operatorname{im}\chi_{k,d}$，从而证明有界次数对称表示的存在性。

实验结果

研究问题

• RQ1 Helton-Vinnikov定理能否仅用代数方法证明，而无需引入theta函数或复几何？
• RQ2 对于$\mathbb{R}[X,T]$中具有有界次数的$T$-实根多项式，是否存在矩阵元素在$X$中次数受控的对称矩阵表示？
• RQ3 $\chi_{k,d}$映射（将对称矩阵映射到其特征多项式）在$X$-次数至多为$k$、次数为$d$的$T$-实根多项式空间中是否具有封闭像？
• RQ4 能否仅从特征多项式的系数界，就确定行列式表示中矩阵元素的次数界？
• RQ5 每个三元超曲形式是否都具有在超曲性方向上确定的线性行列式表示，且仅使用代数与解析工具？

主要发现

• 所有$\mathbb{R}[X,T]$中次数为$d$、$X$-次数有界为$k$的$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$-多项式系数有界意味着对应对称表示中矩阵元素有界。
• 以代数方法重新证明了Helton-Vinnikov定理：每个三元超曲多项式均具有确定的线性行列式表示，且证明仅依赖于次数界与仿射曲线的代数拓扑。
• 由于证明基于分式理想与类群可除性，该结果在任意实闭域上成立，而不仅限于$\mathbb{R}$。