[論文レビュー] Descending the ground field in sums of squares representations

Claus Scheiderer|arXiv (Cornell University)|Sep 13, 2012

Advanced Differential Equations and Dynamical Systems被引用数 1

ひとこと要約

この論文は、スターマンフェルスが提起した未解決問題を解決するため、実数上で平方和であるが有理数上でそうでない、有理数係数多項式の明示的族を構成する。さらに、有理関数における平方和表現を分析し、3変数4次多項式の場合には、構築された反例が唯一のものであることを証明する。

ABSTRACT

We construct families of explicit polynomials f with rational coefficients that are sums of squares of polynomials over the real numbers, but not over the rational numbers. Whether or not such examples exist was an open question originally raised by Sturmfels. We also study representations of f as sums of squares of rational functions with rational coefficients. In the case of ternary quartics, we prove that our counterexamples to Sturmfels' question are the only ones.

研究の動機と目的

• 有理数係数多項式が実数上で平方和である場合、必ずしも有理数上で平方和でないかどうかを特定するスターマンフェルスの未解決問題を解決すること。
• 反例としての明示的族を構築すること。
• 有理数係数の有理関数における平方和表現を研究すること。
• 3変数4次多項式の場合に、すべての可能な反例を分類すること。

提案手法

• 代数的幾何学と降下技法を用いて、実数上で平方和であるが有理数上でそうでない有理数係数多項式を構築する。
• 有理関数体 ℚ(r) における平方和表現の構造を分析する。
• 二次形式の理論とハッセの原理を用いて、有理数上の平方和表現の失敗を検出する。
• 3変数4次多項式の幾何学的性質と関連する対称行列を用いて、すべての可能な反例を分類する。
• 明示的パラメータ化とグレブナー基底技法を用いて、有理数上の表現不可能性を検証する。
• 分類定理を用いて、3変数4次多項式の場合に、構築された例が唯一の可能性であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有理数係数多項式が実数上で平方和であるが有理数上でそうでないもの是否存在し、もしあるなら、それらを明示的に構成できるか？
• RQ2 有理数係数の有理関数における平方和表現の構造はいかなるものか？
• RQ3 スターマンフェルスの問いに対するすべての反例は、3変数4次多項式の場合に分類可能か？
• RQ4 基底体の降下が、有理数上の平方和表現の失敗に果たす役割は何か？
• RQ5 固定された次数と変数の数をもつ多項式について、有理数と実数における平方和の集合はどのように異なるか？

主な発見

• この論文は、実数上で平方和であるが有理数上でそうでない有理数係数多項式の明示的族を構成し、スターマンフェルスの問いに対して否定的な答えを与える。
• 3変数4次多項式の場合、構築された反例が唯一の可能性であることが証明され、完全な分類が確立される。
• 有理数上の平方和表現の失敗は、あるガロアコhomology類の非ゼロ性に関連している。
• 研究は、多項式では不可能な場合でも、有理数係数の有理関数が平方和を表現できることを示し、表現論における重要な違いを浮き彫りにする。
• 結果は、有理数上の平方和の算術を理解する上で、基底体における降下技法が不可欠であることを示している。