[论文解读] 3x3 Minors of Catalecticants

Claudiu Raicu|arXiv (Cornell University)|Nov 6, 2010

Tensor decomposition and applications参考文献 9被引用 18

一句话总结

本文证明了在射影空间的 d 次 Veronese 嵌入中，对于任意 t ∈ [2, d−2]，中间型 catalecticant 矩阵的 3×3 子式所生成的理想全部相等。这一结果证实了 Geramita 的一个猜想，即这些子式生成了切线直线簇的理想，并通过表示理论与组合学方法，将已知关于有理正则曲线的结果推广至更高维的 Veronese 变换。

ABSTRACT

Secant varieties to Veronese embeddings of projective space are classical varieties whose equations are not completely understood. Minors of catalecticant matrices furnish some of their equations, and in some situations even generate their ideals. Geramita conjectured that this is the case for the secant line variety of the Veronese variety, namely that its ideal is generated by the 3x3 minors of any of the "middle" catalecticants. Part of this conjecture is the statement that the ideals of 3x3 minors are equal for most catalecticants, and this was known to hold set-theoretically. We prove the equality of 3x3 minors and derive Geramita's conjecture as a consequence of previous work by Kanev.

研究动机与目标

• 解决 Geramita 关于射影空间 d 次 Veronese 嵌入的切线直线簇理想的一个猜想。
• 确立所有‘中间’型 catalecticant 矩阵（t 从 2 到 d−2）的 3×3 子式所生成的理想彼此相等。
• 证明由第一类 catalecticant（t=1）的 3×3 子式生成的理想严格包含于第二类（t=2）所生成的理想中，从而确认 Geramita 猜想的关键部分。
• 将结果与关于行列式理想与切线簇的更广泛猜想联系起来，特别是 Sidman 与 Smith 的猜想 1.2 和猜想 1.3。
• 提供一种适用于高阶子式与广义 Veronese 嵌入的表示理论证明方法。

提出的方法

• 利用表示理论与对称群表示的技术，将问题约化至一般情形。
• 使用 Young 表与 Specht 模来比较不同 catalecticant 矩阵的 3×3 子式空间。
• 应用化简律与标准单项式理论，分析子式的结构。
• 证明某些对称群表示相等，从而推出子式理想相等。
• 利用 Kanev 已知结果：切线直线簇的理想由第一与第二类 catalecticant 的 3×3 子式生成。
• 利用 n=2 时所有 t 的子式相等（由经典结果已知）作为归纳论证的基底。

实验结果

研究问题

• RQ1 在射影空间的 d 次 Veronese 嵋入中，所有中间型 catalecticant 矩阵（t 从 2 到 d−2）的 3×3 子式所生成的理想是否相等？
• RQ2 由第一类 catalecticant（t=1）的 3×3 子式生成的理想是否严格包含于第二类（t=2）所生成的理想中？
• RQ3 能否通过表示理论方法证明中间型 catalecticant 矩阵之间子式的相等性？
• RQ4 这些理想之间的相等性是否意味着它们生成了 Veronese 嵌入的切线直线簇的理想？
• RQ5 该结果是否与关于切线簇行列式理想的更广泛猜想一致？

主要发现

• 在任意特征为零的域上，所有中间型 catalecticant 矩阵 Cat(t,d−t;n)（2 ≤ t ≤ d−2）的 3×3 子式所生成的理想均相等。
• 当 d ≥ 4 时，由第一类 catalecticant Cat(1,d−1;n) 的 3×3 子式生成的理想严格包含于第二类 Cat(2,d−2;n) 所生成的理想中。
• 中间型 catalecticant 矩阵之间子式相等，证实了 Geramita 关于 Veronese 嵌入切线直线簇理想的部分猜想。
• 该结果表明，对于任意 t ∈ [2, d−2]，理想 I₃(Cat(t,d−t;n)) 均可生成射影空间 Pⁿ⁻¹ 的 d 次 Veronese 嵌入的切线直线簇的理想。
• 该证明方法建立了一种通过表示理论与 Young 表比较 catalecticant 矩阵子式的通用方法。
• 该工作支持 Geramita 的猜想 1.2，并为 Sidman 与 Smith 的猜想 1.3 在 Veronese 嵌入情形下提供了证据。