[论文解读] 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

一句话总结

该论文开发了计算Segre簇的割线簇理想的技术，解决了关于三因子Segre积的第一割线簇生成元的一个猜想，并证明了在所有情况下，三次分量在集合意义上截取出第二割线簇，且在有三个因子时在理想理论意义上也成立。论文提供了一种确定性算法来寻找理想生成元，并证明了$\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$的第六割线簇的理想在九次以下无方程。

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.

研究动机与目标

• 建立研究有理齐次簇割线簇理想的一般技术，特别是Segre积。
• 解决Garcia、Stillman和Sturmfels关于三因子Segre积第一割线簇生成元的猜想。
• 确定小维割线簇的Segre积理想中低次分量。
• 提供一种确定性算法，用于计算Segre簇割线簇理想的生成元。
• 分析$\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$理想中低次方程的缺失，该问题与矩阵乘法复杂度相关。

提出的方法

• 利用Schur对偶性和表示论分析张量积的对称幂与外幂中理想结构。
• 应用Terracini引理和三阶基本形式计算以确定割线簇的期望维数。
• 采用图论与组合方法分析理想中多重线性形式的消失。
• 使用对称化与反对称化技术识别在割线簇上消失的不变量。
• 开发一种确定性算法，以计算Segre积割线簇理想的生成元。
• 通过C++代码对特定情况进行计算验证，尤其在$\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3$的十二次情形下进行验证。

实验结果

研究问题

• RQ1 三因子Segre积的第一割线簇的理想生成元是什么？它们是否在集合意义上或理想理论上截取出该簇？
• RQ2 能否证明Segre积第二割线簇理想中的三次分量在一般情况下集合意义上定义该簇，并在三因子情况下理想理论上也成立？
• RQ3 $\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$的理想中是否存在九次以下的方程？
• RQ4 Schur对偶性与表示理论分解在刻画Segre积割线簇理想中的作用是什么？
• RQ5 在$S^{12}(A \otimes B \otimes C)$中，哪些特定对称张量在$\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$上消失？

主要发现

• 对于任意Segre积，三次分量$I_3(\sigma_2(X))$在集合意义上截取出$\sigma_2(X)$，且在恰好三个因子时在理想理论上也成立。
• Garcia、Stillman和Sturmfels关于第一割线簇生成元的猜想在三因子Segre积情况下被肯定地解决。
• $\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$的理想中在九次以下无方程。
• 模$S_{3333}A \otimes S_{3333}B \otimes S_{3333}C$不在$\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$的理想中，表明十二次形式不足以在低次下定义该簇。
• 本文提供了一种确定性算法，用于计算Segre积割线簇理想的生成元，使得低次下的系统计算成为可能。
• 使用C++代码进行的计算验证表明，九次下无低重数项在$\sigma_6(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$上消失，支持了九次以下无方程的结论。