[论文解读] 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$ 个射影空间的 Segre 积的第三 secant 簇对所有指标的三元划分，由 Strassen 方程和 $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.

研究动机与目标

• 确定第三 secant 簇 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ 的完整定义方程集合。
• 将 Strassen 方程——此前仅知在 $n=3$ 时成立——推广至 $n$ 个射影空间的一般情形。
• 为 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ 的定义方程提供统一的次数上界。
• 根据 secant 簇中的几何构型，刻画所有边界秩至多为 3 的张量的规范形式。
• 证明即使当 $\dim A_i \leq 3$ 时，该代数簇仍由 Strassen 方程和 $4\times4$ 展平子式集合定义。

提出的方法

• 利用 secant 簇和射影空间积的 Segre 嵌入的几何框架。
• 对所有三元指标划分 $I \cup J \cup K = \{1,\dots,n\}$ 应用 Strassen 方程——这些方程源自映射 $T^\wedge_{BA}: A \otimes B^* \to \wedge^2 A \otimes C$ 的秩条件。
• 利用 Buczynski 和 Landsberg 的规范形式分类方法，分析 $\sigma_3(X) \setminus \sigma_2(X)$ 中的点。
• 通过归纳法将问题约化为验证其是否属于 $\sigma_3(X_k)$，利用张量的递归分解。
• 通过展平矩阵的秩条件和辅助映射分析张量分解，特别关注 $4\times4$ 子式和 Strassen 构造中的秩约束。
• 基于分量张量的线性相关性和秩结构，对规范形式进行分类讨论。

实验结果

研究问题

• RQ1 Strassen 方程和展平矩阵的 $4\times4$ 子式能否对任意 $n$ 完全集合定义 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$？
• RQ2 定义方程的最大次数是多少？
• RQ3 $n$ 因子张量空间中边界秩为 3 的张量的规范形式如何与 secant 簇的几何结构相关联？
• RQ4 所有三元划分 $I \cup J \cup K = \{1,\dots,n\}$ 的 Strassen 方程是否生成 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ 的理想？
• RQ5 集合定义理想的生成元是否均由次数至多为 4 的方程构成？

主要发现

• 第三 secant 簇 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$ 由所有三元指标划分 $I \cup J \cup K = \{1,\dots,n\}$ 的 Strassen 方程和所有展平矩阵的 $4\times4$ 子式共同集合定义。
• 当对所有 $i$ 有 $\dim A_i \leq 3$ 时，该簇由形如 $\{i\} \cup \{j\} \cup \{1,\dots,\hat{i},\dots,\hat{j},\dots,n\}$ 的划分的 Strassen 方程（次数为 4）和 $4\times4$ 子式共同集合定义。
• 定义方程的次数被统一上界控制在 7 以内，且在 $\dim A_i = 3$ 的情形下存在次数为 4 的特定方程。
• 证明依赖于对边界秩为 3 的张量的规范形式进行分类，并通过递归分解和秩分析验证每种形式均属于 $\sigma_3(X_k)$。
• 当 $\dim A_i \leq 3$ 时，定义方程包括次数为 4 的 Strassen 方程和 $4\times4$ 子式，且其零点集恰好等于 $\sigma_3(\operatorname{Seg}(\mathbb{P}A_1 \times \cdots \times \mathbb{P}A_n))$。
• 该结果推广了 Strassen 和 Ottaviani 的早期工作，将定义方程推广至任意 $n$，并为方程次数提供了统一的上界。