[论文解读] Equations for secant varieties via vector bundles

J. M. Landsberg, Giorgio Ottaviani|arXiv (Cornell University)|Oct 9, 2010

Tensor decomposition and applications参考文献 19被引用 4

一句话总结

本文引入向量丛技巧以推导关于连通集的方程，建立了一个判别准则，用以确定这些方程是否将连通集作为不可约分支定义。本文证明了非弱缺陷流形的归纳定理，并将该方法应用于齐次流形，从而得出一个算法，可将一般三元五次型分解为七个五次幂之和。

ABSTRACT

We introduce vector bundle techniques for finding equations of secant varieties. A test is established that determines when a secant variety is an irreducible component of the zero set of the equations found. We also prove an induction theorem for varieties that are not weakly defective, that allows one to conclude that the zero set of the equations found for s_{r-1}(X) have s_{r-1}(X) as an irreducible component when s_r(X) is an irreducible component of the equations found for it. The techniques are illustrated with examples of homogeneous varieties. We give an algorithm to decompose a general ternary quintic as the sum of seven fifth powers.

研究动机与目标

• 开发一种系统化方法，利用向量丛计算连通集的定义方程。
• 建立一个判别准则，用以确定所导方程的零点集是否恰好为连通集作为不可约分支。
• 证明一个归纳定理，该定理允许在流形 X 非弱缺陷时，从 s_r(X) 推出 s_{r-1}(X) 的不可约性。
• 在齐次流形上展示该方法，并推导出多项式分解的显式算法。

提出的方法

• 利用代数流形上的向量丛构造系数关系，推导在连通集上消失的多项式方程。
• 应用上同调技术检验所导方程的零点集是否包含连通集作为不可约分支。
• 基于非弱缺陷性质引入一种归纳机制，将不可约性从较高阶连通集传播至较低阶连通集。
• 利用齐次流形的表示论性质，简化并显式计算方程。
• 构建一个算法程序，利用所导方程将一般三元五次型分解为七个五次幂之和。
• 依赖于流形及其连通集的几何结构，确保在给定条件下方程既充分又必要。

实验结果

研究问题

• RQ1 如何利用向量丛技巧系统地推导连通集的方程？
• RQ2 在何种条件下，所导方程的零点集恰好为连通集作为不可约分支？
• RQ3 能否建立一个归纳原理，使得当 X 非弱缺陷时，可由 s_r(X) 推出 s_{r-1}(X) 的不可约性？
• RQ4 能否利用该方法为齐次流形推导出显式方程与算法？
• RQ5 该方法能否应用于求解三元五次型的 Waring 问题？

主要发现

• 本文建立了一个上同调判别准则，用于验证所导方程的零点集是否恰好为连通集作为不可约分支。
• 证明了归纳定理：若 s_r(X) 是方程零点集的不可约分支，则在非弱缺陷条件下，s_{r-1}(X) 也是其不可约分支。
• 该方法成功利用向量丛技巧计算了齐次流形连通集的定义方程。
• 提供了一个算法，可将一般三元五次型表示为七个五次幂之和，从而解决了 Waring 问题的一个具体实例。
• 该方法确认，在给定条件下，所导方程足以将连通集作为约化概形截出。
• 结果表明，向量丛方法在解决涉及连通集的经典代数几何问题方面具有显著有效性。