[论文解读] On the ideals of Secant Varieties to certain rational varieties

Maria Virginia Catalisano, Anthony V. Geramita+1 more|ArXiv.org|Sep 2, 2006

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

一句话总结

本论文确定了特定有理曲面的高阶切触曲面的定义理想，包括射影空间乘积的塞列伯嵌入、含两个或三个因子的塞列伯-韦罗内塞嵌入，以及德尔·皮埃索曲面。研究证明，这些理想由关联张量的展平矩阵的行列式方程生成，将此前针对双因子乘积的结果推广至高阶张量，并验证了关于切线直线与平面曲面的猜想。

ABSTRACT

If $\X \subset ¶^n$ is a reduced and irreducible projective variety, it is interesting to find the equations describing the (higher) secant varieties of $\X$. In this paper we find those equations in the following cases: $\X = ¶^{n_1} imes... imes¶^{n_t} imes¶^n$ is the Segre embedding of the product and $n$ is "large" with respect to the $n_i$ (Theorem 2.4); $\X$ is a Segre-Veronese embedding of some products with 2 or three factors; $\X$ is a Del Pezzo surface.

研究动机与目标

• 确定具有三个以上因子的射影空间乘积的塞列伯嵌入的高阶切触曲面的定义理想。
• 将此前仅适用于双因子乘积的切触曲面理想行列式描述结果，推广至三因子或更多因子的情形。
• 验证并推广关于切触曲面理想由张量展平矩阵的子式生成的猜想，特别是针对切线直线与平面曲面。
• 利用已知公式与计算工具，分析这些理想在代数与几何上的性质，包括科亨-麦克aul伊性、自由解析列与次数。
• 通过数值不变量与理想结构，比较德尔·皮埃索曲面及其相关有理曲面的切触曲面。

提出的方法

• 利用与塞列伯嵌入相关的齐次坐标张量的张量展平，生成切触曲面理想候选方程。
• 应用 [GSS] 中的猜想：切触曲面理想由展平矩阵的 (s+1)×(s+1) 子式生成，并在包括三因子乘积在内的特定情形下证明该猜想。
• 运用投影技巧与引理 4.1（投影的切触曲面等于原曲面的投影）来关联投影曲面与其原始曲面的理想。
• 利用 CoCoA 等计算代数系统，验证理想生成、贝蒂数与次数等具体例子。
• 应用关于希尔伯特级数与行列式曲面次数的已知结果，以及吉安贝利公式，计算不变量。
• 依赖伊顿-诺斯科特复形描述行列式理想在一般余维情形下的最小自由解析列。

实验结果

研究问题

• RQ1 对于 t ≥ 3 个因子的乘积 Pⁿ₁×⋯×Pⁿₜ 的塞列伯嵌入，其高阶切触曲面的定义理想是否由关联张量所有可能展平矩阵的 (s+1)×(s+1) 子式生成？
• RQ2 对于含两个或三个因子的塞列伯-韦罗内塞嵌入乘积，其切线直线与平面曲面的理想是否由展平矩阵的行列式方程生成？
• RQ3 德尔·皮埃索曲面 S₉ 的切触曲面理想是否由一个特定矩阵的 3×3 子式生成？
• RQ4 对于投影有理曲面如 S₈ 与 D₈，尽管其在高阶切触曲面中表现出不同的几何行为，其切触曲面理想是否仍与 3×3 子式矩阵生成的理想一致？
• RQ5 度数与贝蒂数等数值不变量能否区分不同有理曲面（如 S₈ 与 D₈）的切触曲面？

主要发现

• 当 n 足够大时，对于 t ≥ 3 的 Pⁿ₁×⋯×Pⁿₜ 的塞列伯嵌入，其切触曲面 σ₂(X) 的理想由关联张量所有展平矩阵的 3×3 子式生成。
• 对于 P¹×P¹×P¹ 的塞列伯-韦罗内塞嵌入，σ₂(X) 的理想由一个显式构造的 4×4 矩阵 B 的 3×3 子式生成。
• 德尔·皮埃索曲面 S₉ 的切触曲面 σ₂(S₉) 由一个 4×4 矩阵 A₀ 的 3×3 子式定义，该理想为算术科亨-麦克aul伊环，且具有已知的伊顿-诺斯科特解析列。
• σ₂(S₈) 的度数为 10，与 σ₂(D₈) 一致，且两者具有完全相同的分次贝蒂数，表明这些数值不变量无法区分二者。
• 虽然 σ₃(S₈) 如预期填满 P⁸，但 σ₃(D₈) 是由 det(B) = 0 定义的超曲面，显示出高阶切触行为的关键差异。
• σ₃(S₉) 的理想由阿龙霍尔德不变量（一个四次型）生成，确认其为参数化费马三次曲面的超曲面。