[論文レビュー] Equations for secant varieties via vector bundles

J. M. Landsberg, Giorgio Ottaviani|arXiv (Cornell University)|Oct 9, 2010

Tensor decomposition and applications参考文献 19被引用数 4

ひとこと要約

この論文は、接続多様体の定義方程式を導出するためにベクトル束の技法を導入し、それらの方程式が接続多様体を既約成分として定義するかどうかを判定する基準を確立する。非弱く欠損していない多様体に対しては、帰納定理を証明し、同様の手法を同次多様体に適用することで、一般の三変数五次式を七つの五次式の和に分解するためのアルゴリズムを導出する。

ABSTRACT

We introduce vector bundle techniques for finding equations of secant varieties. A test is established that determines when a secant variety is an irreducible component of the zero set of the equations found. We also prove an induction theorem for varieties that are not weakly defective, that allows one to conclude that the zero set of the equations found for s_{r-1}(X) have s_{r-1}(X) as an irreducible component when s_r(X) is an irreducible component of the equations found for it. The techniques are illustrated with examples of homogeneous varieties. We give an algorithm to decompose a general ternary quintic as the sum of seven fifth powers.

研究の動機と目的

• 接続多様体の定義方程式を計算するための体系的な手法を、ベクトル束を用いて開発すること。
• 導出された方程式の零点集合が、接続多様体としての既約成分に等しいかどうかを判定する基準を確立すること。
• X が弱く欠損していない場合に、s_r(X) が零点集合の既約成分であれば、s_{r-1}(X) も同様に既約成分であることを保証する帰納定理を証明すること。
• 同次多様体にこの手法を適用し、多項式の分解のための明示的アルゴリズムを導出すること。

提案手法

• 代数多様体上のベクトル束を用いて、接続多様体上に消える関係式（シュリッツ）を構成し、多項式方程式を導出する。
• コhomオロジー的技法を用いて、導出された方程式の零点集合に接続多様体が既約成分として含まれるかどうかを検証する。
• 非弱く欠損している性質に基づく帰納的メカニズムを導入し、高次の接続多様体から低次の接続多様体への既約性の伝播を可能にする。
• 同次多様体の表現論的性質を活用して、方程式を簡略化・明示的に計算する。
• 導出された方程式を用いて、一般の三変数五次式を七つの五次式の和に分解するためのアルゴリズム的手順を構築する。
• 多様体の幾何構造とその接続多様体の性質に依拠することで、与えられた条件下で方程式が必要かつ十分であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 ベクトル束技法をどのようにして接続多様体の定義方程式を体系的に導出するのに用いることができるか？
• RQ2 導出された方程式の零点集合が、ちょうど接続多様体としての既約成分に一致するのはどのような条件下か？
• RQ3 X が弱く欠損していない場合に、s_r(X) から s_{r-1}(X) の既約性を帰納的に導く原則を確立できるか？
• RQ4 この手法を用いて、同次多様体に対して明示的な方程式とアルゴリズムを導出できるか？
• RQ5 この手法を用いて、三変数五次式のワーリング問題を解くことができるか？

主な発見

• 論文は、導出された方程式の零点集合が接続多様体としての既約成分に等しいかどうかを検証するコhomオロジー的基準を確立した。
• 帰納定理が証明された：s_r(X) が方程式の零点集合の既約成分であれば、X が弱く欠損していない限り、s_{r-1}(X) も同様に既約成分である。
• この手法により、同次多様体の接続多様体の定義方程式を、ベクトル束技法を用いて明示的に計算できた。
• 一般の三変数五次式を七つの五次式の和に分解するためのアルゴリズムが提供された。これはワーリング問題の特定の例を解いたものである。
• 導出された方程式が、提示された条件下で接続多様体を「通常のスキーム」として正確に切り出すのに十分であることが確認された。
• ベクトル束技法が、接続多様体を含む古典的代数幾何学的問題を解く上で効果的であることが、本研究で示された。