[论文解读] On the third secant variety

Jarosław Buczyński, J. M. Landsberg|arXiv (Cornell University)|Nov 29, 2011

Tensor decomposition and applications被引用 4

一句话总结

本文对边界秩至多为三的张量的正规形式和秩进行了完整分类，特别关注Segre嵌入的三阶切触面。研究证明，σ₃(Seg(ℙA×ℙB×ℙC)) 的奇异点集的余维数至少为二，并在共极小性流形上识别出极限三重切面平面中四类不同的点，对每一类点给出了明确的几何与代数刻画。

ABSTRACT

We determine normal forms and ranks of tensors of border rank at most three. We present a differential-geometric analysis of limits of secant planes in a more general context. In particular there are at most four types of points on limiting trisecant planes for cominuscule varieties such as Grassmannians. We also show the singular locus of the first two secant varieties of all triple Segre products has codimension at least two.

研究动机与目标

• 对边界秩至多为三的张量的正规形式和秩进行分类，尤其关注Segre流形的三阶切触面背景。
• 在一般设定下分析切面平面极限的几何结构，特别针对如格拉斯曼流形等共极小性流形。
• 确定张量空间在小维度下 σ₃(Seg(ℙA×ℙB×ℙC)) 的奇异点集的结构与余维数。
• 对三重切面平面及其极限进行微分几何分析，拓展关于切触面与切线面结果的研究。
• 解决关于小边界秩张量可能秩的开放问题，尽管已有充分的边界秩测试，但其秩的可能取值仍理解不足。

提出的方法

• 使用Segre流形上 σ₃(X)∖σ₂(X) 中点的正规形式分类，区分四类：(i) 三个秩一张量之和，(ii) 一个切向量与一个秩一 张量之和，(iii) 沿曲线上两个切向量之和，(iv) 在X中一条直线上两个不同点处的切向量之和。
• 应用微分几何技术研究切面平面的极限，特别分析切向量及其在切触面背景下的极限行为。
• 利用参数化 φ: W → ℙ(A⊗B⊗C) 的切映射，计算该点处微分的像，证明其具有满秩，从而证明一般点处的光滑性。
• 通过显式计算切映射的像及生成元之间的线性相关性，分析 σ₃(Seg(ℙA×ℙB×ℙC)) 奇异点集的维数。
• 使用 2×2 子式与截面矩阵，重构三元组 (a₁,a₂,a₃), (b₁,b₂,b₃), (c₁,c₂,c₃) 的顺序与缩放，证明原像有六个分支。
• 构建一张表格（表2），基于理论与计算结果，总结不同张量空间下 σ₃ 的维数及奇异点集维数的上界。

实验结果

研究问题

• RQ1 边界秩至多为三的张量可能的正规形式与秩是什么，尤其在Segre嵌入的三阶切触面中？
• RQ2 对于如格拉斯曼流形等共极小性流形，三重切面平面的极限行为如何？在这些极限平面上会涌现出多少类不同的点？
• RQ3 对于不同维度的 A、B 和 C，σ₃(Seg(ℙA×ℙB×ℙC)) 的奇异点集的余维数是多少？
• RQ4 能否利用Segre积的切线面来刻画第二阶切触面的光滑点？这又对奇异点集结构意味着什么？
• RQ5 σ₃(X)∖σ₂(X) 中不同类型的点在拓扑与几何上如何关联？特别是它们的余维数与闭包关系是什么？

主要发现

• 对于所有维度的 A、B 和 C，σ₃(Seg(ℙA×ℙB×ℙC)) 的奇异点集余维数至少为二，当其中一个因子为 ℂ³ 且其余因子维度至少为 3 时，余维数恰好为二。
• 在 X = Seg(ℙA₁×⋯×ℙAₙ) 时，σ₃(X)∖σ₂(X) 中恰好存在四类点，类型 (i) 至 (iv) 对应于秩一张量与切向量的不同几何构型。
• 类型 (i) 的点，即三个秩一 张量之和，包含 σ₃(X)∖σ₂(X) 的一个Zariski开子集，是该流形的一般点。
• 类型 (ii) 的点在 σ₃(X) 中余维数为一，类型 (iii) 余维数为二，类型 (iv) 余维数为四，且类型 (iv) 位于类型 (iii) 的闭包中。
• 当 n=2 时，所有属于 σ₃(Seg(ℙA₁×ℙA₂))∖σ₂(Seg(ℙA₁×ℙA₂)) 的点均为类型 (i)，表明在该情形下高阶切触结构发生坍缩。
• 一般点在 σ₃(Seg(ℙA×ℙB×ℙC)) 下参数化映射 φ 的原像有六个分支，每个分支同构于 (ℂ*)⁷，表明为6:1覆盖且单值群离散。