[论文解读] On the ideals and singularities of secant varieties of Segre varieties

J. M. Landsberg, Jerzy Weyman|ArXiv.org|Jan 18, 2006

Polynomial and algebraic computation参考文献 4被引用 7

一句话总结

本文确定了多重射影空间乘积的塞格雷嵌入的割线簇的定义方程，重点关注三种情形：$σ_k(\mathbb{P}^1 \times \mathbb{P}^n \times \mathbb{P}^m)$，$\sigma_2(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p \times \mathbb{P}^r)$，以及$\sigma_3(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p)$，证明它们是算术柯本-麦克唐纳环，且具有有理奇点。研究使用子空间簇和表示论将问题约化为基本情形，随后通过计算解析确认理想生成与正规性。

ABSTRACT

We find generators for the ideals of secant varieties of Segre varieties in several the cases including the Garcia-Stillmann-Ssturmfels conjecture for four factors and prove results about their singularities.

研究动机与目标

• 确定特定小秩情形下塞格雷簇割线簇的定义理想。
• 确立这些割线簇为正规环，具有有理奇点或算术柯本-麦克唐纳性质。
• 当维度受割线秩限制时，通过子空间簇将一般问题约化为基本情形。
• 利用表示论与等变解析识别生成元并验证理想成员资格。
• 确认定义理想为约化形式，并使用计算代数工具计算其最小自由解析。

提出的方法

• 使用子空间簇$Sub_{b_1,\dots,b_n}$作为辅助簇，以简化割线簇的理想结构。
• 应用表示论识别生成子空间簇理想的不可约$GL$-模。
• 利用$SL(A_1) \times \cdots \times SL(A_n)$的不变性，将问题约化为所有$\dim A_j = r$的基本情形。
• 采用展平技术，将高阶割线簇与较小乘积的已知行列式理想关联。
• 通过Macaulay2计算最小自由解析，以验证余维数与柯本-麦克唐纳性质。
• 分析生成多项式（如斯特拉斯恩方程）的微分，以确认其在集合论与方案论意义下的生成性。

实验结果

研究问题

• RQ1 对所有$k,n,m$，$\sigma_k(\mathbb{P}^1 \times \mathbb{P}^n \times \mathbb{P}^m)$的定义方程是什么？
• RQ2 $\sigma_2(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p \times \mathbb{P}^r)$是否为算术柯本-麦克唐纳环，且正规具有有理奇点？
• RQ3 $\sigma_3(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p)$的定义理想结构如何？是否为约化理想？
• RQ4 理想解析的不可约分量如何反映割线簇的表示论结构？
• RQ5 能否显式计算理想的最小自由解析？其是否确认了预期的余维数与柯本-麦克唐纳性质？

主要发现

• 在$\sigma_k(\mathbb{P}^1 \times \mathbb{P}^n \times \mathbb{P}^m)$中，理想由第一部分至多为$k+1$的不可约$SL$-模生成，且该簇为正规环，具有有理奇点。
• $\sigma_2(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p \times \mathbb{P}^r)$的理想是算术柯本-麦克唐纳环，且正规具有有理奇点。
• 在$\sigma_3(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2)$中，定义理想由斯特拉斯恩多项式生成，且解析中各项在每个因子中的权值有界于6。
• $\sigma_3(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2)$的$\mathbb{A}/I$的最小自由解析被显式计算，其中$G_6 = \mathfrak{S}[(5,5,5)(5,5,5)(5,5,5)] \oplus \mathfrak{S}[(6,3,3)(4,4,4)(4,4,4)]$，确认余维数为6。
• 在一般点处，生成多项式的微分张成余切空间，证明理想为约化形式，且方案论意义下定义了割线簇。
• 等变解析结构确认，解析中所有不可约分量的最高权值有界于6，与预期余维数一致。