[論文レビュー] Equations for the third secant variety of the Segre product of n projective spaces

Qi Yang|arXiv (Cornell University)|Nov 11, 2013

Tensor decomposition and applications参考文献 9被引用数 3

ひとこと要約

本稿では、$n$ 個の射影空間のセグレ積の3番目のセカント多様体が、すべての三重分割のインデックスに対してストラッセングの式によって、および $4\times4$ フラットテニングの小行列式によって、集合論的に定義されることを確立している。主な貢献は、これらの定義式の次数に対する一様な上界を示したことであり、これにより、任意の $n$ に対して以前の結果が拡張され、境界ランクが3以下のテンソルの完全な幾何的特徴付けが得られた。

ABSTRACT

We determine set theoretic defining equations for the third secant variety of the Segre product of $n$ projective spaces, and from the proof of the main statement we derive an upper bound for the degrees of these equations.

研究の動機と目的

• 3番目のセカント多様体 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ の完全な定義式の集合を特定すること。
• 従来 $n=3$ の場合にのみ知られていたストラッセングの式を、一般の $n$ 個の射影空間の状況にまで拡張すること。
• 3番目のセカント多様体 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ の定義式の次数に対する一様な上界を提供すること。
• 境界ランクが3以下のテンソルのすべての標準形を、セカント多様体内の幾何的配置に基づいて特徴付けること。
• 多様体が、$\dim A_i \leq 3$ の場合でさえも、ストラッセングの式と $4\times4$ フラットテニングの小行列式によって集合論的に切り出されることを証明すること。

提案手法

• セカント多様体と射影空間の積のセグレ埋め込みの幾何的枠組みを用いる。
• すべての三重分割インデックス $I \cup J \cup K = \{1,\dots,n\}$ に対して、写像 $T^\wedge_{BA}: A \otimes B^* \to \wedge^2 A \otimes C$ のランク条件から導かれるストラッセングの式を適用する。
• ブーツィンスキーとランズバーグによる標準形分類を用いて、$\sigma_3(X) \setminus \sigma_2(X)$ 内の点を分析する。
• 再帰的テンソル分解を用いて、$k$ に関する帰納法により問題を $\sigma_3(X_k)$ への属性の確認に還元する。
• 特に $4\times4$ 小行列式とストラッセング構成からのランク制約に注目して、フラットテニングと補助写像のランク条件を通じてテンソル分解を分析する。
• 標準形に基づくケース解析を実施し、成分テンソルの線形従属性とランク構造に基づいてタイプを区別する。

実験結果

リサーチクエスチョン

• RQ1 ストラッセングの式と $4\times4$ フラットテニングの小行列式は、任意の $n$ に対して $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ を集合論的に完全に定義するか？
• RQ2 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ の定義式の最大次数は何か？
• RQ3 $n$ 要因テンソル空間における境界ランク3のテンソルの標準形は、セカント多様体の幾何とどのように関係するか？
• RQ4 すべての三重分割 $I \cup J \cup K = \{1,\dots,n\}$ に対するストラッセングの式は、$\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ のイデアルを生成するか？
• RQ5 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ の集合論的定義イデアルは、次数が4以下の式によって生成されるか？

主な発見

• 3番目のセカント多様体 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ は、すべての三重分割インデックス $I \cup J \cup K = \{1,\dots,n\}$ に対するストラッセングの式およびすべての $4\times4$ フラットテニングの小行列式によって、集合論的に定義される。
• $\dim A_i \leq 3$ がすべての $i$ に対して成り立つ場合、多様体は、形 $\{i\} \cup \{j\} \cup \{1,\dots,\hat{i},\dots,\hat{j},\dots,n\}$ の分割に対する次数4のストラッセングの式と $4\times4$ 小行列式によって集合論的に定義される。
• 定義式の次数は一様に7未満で抑えられ、特に $\dim A_i = 3$ の場合に次数4の式が現れる。
• 証明は、境界ランク3のテンソルの標準形を分類し、再帰的分解とランク解析により、各標準形が $\sigma_3(X_k)$ に属することを確認することに依拠している。
• $\dim A_i \leq 3$ の場合、定義式には次数4のストラッセングの式と $4\times4$ 小行列式が含まれ、それらの零点集合は $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ と一致する。
• この結果は、ストラッセングとオッタヴィアーニの先行研究を一般化し、任意の $n$ に対して定義式を拡張し、式の次数に対する一様な上界を提供した。