[論文レビュー] Generalizations of Strassen's equations for secant varieties of Segre varieties

J. M. Landsberg, L. Manivel|ArXiv.org|Jan 5, 2006

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

ひとこと要約

本稿は、三重セグレ埋め込みのストラッセング・バニティの一般化を、特定の可換性性質を満たすテンソル部分空間を用いて新しい方程式モジュールを構成することによって行っている。主な貢献は、$\sigma_r(\mathbb{P}A^* \times \mathbb{P}B^* \times \mathbb{P}C^*)$ の独立な $G$-モジュール方程式の体系的構成であり、これは明示的に $S_{r-s,s,s}A \otimes \Lambda_{r,s}B \otimes \Lambda_{r,s}C$ として実現され、$r$ が偶数のとき $s \leq r/2$、$r$ が奇数のとき $s \leq r/3$ の条件下で、$r$-次セカント多様体を集合論的に定義する。

ABSTRACT

We define many new examples of modules of equations for secant varieties of Segre varieties that generalize Strassen's commutation equations. Our modules of equations are obtained by constructing subspaces of matrices from tensors that satisfy various commutation properties.

研究の動機と目的

• 既知の $\sigma_3$ および $\sigma_4$ の場合を越えて、三重セグレ多様体のセカント多様体に対するストラッセング方程式を拡張すること。
• テンソルの部分空間間の可換関係を用いて、$\sigma_r(\mathbb{P}A^* \times \mathbb{P}B^* \times \mathbb{P}C^*)$ の新しい $G$-モジュール方程式を構成すること。
• コンピュータ代数システムに依存せずに、ストラッセング型方程式が $\sigma_3(\mathbb{P}^{a-1} \times \mathbb{P}^{b-1} \times \mathbb{P}^{c-1})$ を集合論的に定義することを証明すること。
• 古典的な小行列式および可換性に基づく方程式を一般化する、セカント多様体のイデアルに現れる新しいクラスの既約 $G$-モジュールを同定すること。
• 可換な行列三重の幾何学的性質とセカント多様体の定義方程式との関係を調査すること。

提案手法

• 特定の可換性性質を満たすテンソルから得られる行列の部分空間を用いて、方程式モジュールを構成する。
• 表現論を用いて、$S_{r-s,s,s}A \otimes \Lambda_{r,s}B \otimes \Lambda_{r,s}C$ を $A \otimes B \otimes C$ の座標環内に $G$-モジュールとして実現し、$S^{r+s}(A \otimes B \otimes C)$ に埋め込む。
• 組合せ的恒等式と符号解析を用いて、単項式展開における構造定数の非消滅を検証する。
• 符号反転の対合を用いた議論により、重要な和 $T_{s,t}$ の非消滅を証明し、これが方程式の既約性と独立性に不可欠であることを示す。
• 可換行列対の多様体の既約性を用いて、ストラッセング方程式が $\sigma_3(\mathbb{P}^{a-1} \times \mathbb{P}^{b-1} \times \mathbb{P}^{c-1})$ のイデアルを生成することを証明する。
• インデックス集合 $A_i, B_i, C_i$ 及びその双対を、対合 $k \mapsto \bar{k} = r+1-k$ で分割し、集合の disjoint 和と符号の一貫性を保証することで、集合論的包含関係を分析する。

実験結果

リサーチクエスチョン

• RQ1 ストラッセングの可換性方程式 $\sigma_3(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2)$ は、三重セグレ埋め込みの高次セカント多様体へ一般化可能か？
• RQ2 既知のケースを越えて、$\sigma_r(\mathbb{P}A^* \times \mathbb{P}B^* \times \mathbb{P}C^*)$ の既約 $G$-モジュール方程式は何か？
• RQ3 可換な行列三重の多様体は既約か？ そしてこれはセカント多様体の定義方程式とどのように関係するか？
• RQ4 コンピュータ代数システムに依存せずに、新しい方程式の独立性および集合論的妥当性を証明可能か？
• RQ5 特に $s,t$ が奇数のとき、和 $T_{s,t} = \sum_{\alpha+\beta+\gamma=s} (-1)^\alpha \frac{(\alpha+t)!(\alpha+\beta)!(\alpha+\gamma)!}{\alpha!\alpha!}$ が非ゼロである条件は何か？

主な発見

• 本稿は、$r$ が偶数のとき $s \leq r/2$、$r$ が奇数のとき $s \leq r/3$ の条件下で、$\sigma_r(\mathbb{P}A^* \times \mathbb{P}B^* \times \mathbb{P}C^*)$ のイデアル内で独立である明示的な $G$-モジュール $S_{r-s,s,s}A \otimes \Lambda_{r,s}B \otimes \Lambda_{r,s}C$ を構成した。
• コンピュータ代数システムに依存せずに、ストラッセング方程式が $\sigma_3(\mathbb{P}^{a-1} \times \mathbb{P}^{b-1} \times \mathbb{P}^{c-1})$ を集合論的に定義するイデアルを生成することを証明した。この証明は、可換行列対の多様体の既約性に依拠している。
• $s,t$ が奇数で $t \geq s$ のとき、和 $T_{s,t} = \sum_{\alpha+\beta+\gamma=s} (-1)^\alpha \frac{(\alpha+t)!(\alpha+\beta)!(\alpha+\gamma)!}{\alpha!\alpha!}$ が非ゼロであることが示された。特に $s = 2m+1$ のとき $t \geq 2m+1$ ならば $T_{s,t} \neq 0$ であることを、$\beta=0$ 項の解析により証明した。
• 構成法により、方程式モジュールが独立であり、可換性関係を満たす行列部分空間に対する自然な幾何的条件から生じることを示した。
• 本稿では、可換な行列三重の多様体は既約ではないが、可換行列対の多様体の既約性が主結果の証明に十分であることを確立した。
• 著者らは、すべての奇数 $s,t > 1$ に対して $T_{s,t} \neq 0$ であると予想しているが、未解決であり、符号の一貫性が保証される $t=1$ の場合の証明が十分であると指摘している。