[論文レビュー] On the ideals of secant varieties of Segre varieties

J. M. Landsberg, L. Manivel|ArXiv.org|Nov 21, 2003

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

ひとこと要約

本稿では、セグレ多様体の接続多様体のイデアルを計算するための技法を開発し、三因子セグレ積の最初の接続多様体の生成子に関する予想を解決するとともに、すべての状況で3次成分が第二接続多様体を集合論的に、三因子の場合にはイデアル論的に定義することを証明した。また、イデアル生成子を求める決定的アルゴリズムを提供し、$
𝔵^3 \times
𝔵^3 \times
𝔵^3$ の6番目の接続多様体のイデアルには9次未満の多項式が存在しないことを示した。

ABSTRACT

We establish basic techniques for studying the ideals of secant varieties of Segre varieties. We solve a conjecture of Garcia, Stillman and Sturmfels on the generators of the ideal of the first secant variety in the case of three factors and solve the conjecture set-theoretically for an arbitrary number of factors. We determine the low degree components of the ideals of secant varieties of small dimension in a few cases.

研究の動機と目的

• 有理型均一多様体、特にセグレ積の接続多様体のイデアルを研究するための一般的手法を確立すること。
• ガルシア、スティルマン、シュトゥルムフェルズが提起した、三因子セグレ積の最初の接続多様体の生成子に関する予想を解決すること。
• セグレ積の小次元接続多様体のイデアルの低次の成分を特定すること。
• セグレ多様体の接続多様体のイデアルの生成子を計算する決定的アルゴリズムを提供すること。
• 行列乗算の複雑さに関連する、$
  𝔵_6(
  𝔵^3 \times \u0001𝔵^3 \times \u0001𝔵^3)$ のイデアルに低次の多項式が存在しないことの分析。

提案手法

• 対称および外積のテンソル積の冪におけるイデアルの構造を解析するため、シュール双対性と表現論を活用する。
• テラチーニの補題と3番目の基本形式の計算を用いて、接続多様体の期待次元を決定する。
• 接続多様体のイデアルにおける多重線形形式の消滅を解析するため、グラフ論的および組合せ論的アプローチを用いる。
• 対称化および反対称化の技法を用いて、接続多様体上に消える不変量を同定する。
• セグレ積の接続多様体のイデアルの生成子を計算する決定的アルゴリズムを開発する。
• 特に $
  𝔵^3 \times \u0001𝔵^3 \times \u0001𝔵^3$ の12次において、C++コードによる計算的検証を実施して結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 三因子セグレ積の最初の接続多様体のイデアルの生成子は何か？ また、それらは集合論的にもしくはイデアル論的に多様体を定義するか？
• RQ2 セグレ積の第二接続多様体のイデアルの3次成分が、一般には多様体を集合論的に、三因子の場合にはイデアル論的に定義できるか？
• RQ3 $\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ のイデアルに9次未満の多項式は存在するか？
• RQ4 シュール双対性および表現論的分解は、セグレ積の接続多様体のイデアルを特徴付ける上で果たす役割は何か？
• RQ5 $S^{12}(A \otimes B \otimes C)$ の中で、$\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ 上に消える具体的な対称テンソルは何か？

主な発見

• 任意のセグレ積に対して、$I_3(\sigma_2(X))$ の3次成分は $\sigma_2(X)$ を集合論的に定義する。三因子の場合には、イデアル論的にも定義する。
• ガルシア、スティルマン、シュトゥルムフェルズの予想は、三因子セグレ積に対して肯定的に解決された。
• $\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ のイデアルには9次未満の多項式が存在しない。
• $S_{3333}A \otimes S_{3333}B \otimes S_{3333}C$ は $\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ のイデアルに含まれないため、12次形式だけでは低次の多様体を定義するには不十分であることが示された。
• 本稿では、セグレ積の接続多様体のイデアルの生成子を計算する決定的アルゴリズムを提供し、低次の系統的計算を可能にした。
• C++コードによる計算的検証により、$\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ の9次において低多重度項が消えることはなく、9次未満の多項式が存在しないことを裏付けた。