[论文解读] Non-Defectivity of Grassmannians of planes

Hirotachi Abo, Giorgio Ottaviani+1 more|ArXiv.org|Jan 17, 2009

Coding theory and cryptography参考文献 14被引用 5

一句话总结

本文证明了在大多数情况下，射影空间中2-平面的格拉斯曼流形是非缺陷的，即对于 $s \leq s_0(n)$ 和 $s_1(n) \leq s$，其秩为 $\sigma_s(Gr(2,n))$ 的期望维数，其中 $s_0(n)$ 和 $s_1(n)$ 均渐近于 $n^2/18$。关键结果是：在 $\wedge^3 \mathbb{C}^{n+1}$ 中，通用斜对称张量的典型秩渐近于 $n^2/18$，从而解决了张量秩理论中长期存在的渐近界问题。

ABSTRACT

Let $Gr(k,n)$ be the Plücker embedding of the Grassmann variety of projective $k$-planes in $¶n$. For a projective variety $X$, let $σ_s(X)$ denote the variety of its $s-1$ secant planes. More precisely, $σ_s(X)$ denotes the Zariski closure of the union of linear spans of $s$-tuples of points lying on $X$. We exhibit two functions $s_0(n)\le s_1(n)$ such that $σ_s(Gr(2,n))$ has the expected dimension whenever $n\geq 9$ and either $s\le s_0(n)$ or $s_1(n)\le s$. Both $s_0(n)$ and $s_1(n)$ are asymptotic to $\frac{n^2}{18}$. This yields, asymptotically, the typical rank of an element of $\wedge^{3} 1pt {\mathbb C}^{n+1}$. Finally, we classify all defective $σ_s(Gr(k,n))$ for $s\le 6$ and provide geometric arguments underlying each defective case.

研究动机与目标

• 确定 $\wedge^3 \mathbb{C}^{n+1}$ 中通用斜对称张量的渐近典型秩，这对应于满足 $\sigma_s(Gr(2,n)) = \mathbb{P}^N$ 的最小 $s$。
• 证明 $\sigma_s(Gr(2,n))$ 对于大多数 $s$ 具有期望维数，仅存在有限多个缺陷情况。
• 对所有满足 $s \leq 6$ 且 $k \geq 2$ 的 $\sigma_s(Gr(k,n))$ 进行缺陷性秩为 $\sigma_s(Gr(k,n))$ 的分类，并为每种情况提供几何解释。
• 明确给出 $\sigma_3(Gr(2,6))$ 的代数描述，即作为满足 $\det(\phi_\omega) = 2[P_7(\omega)]^3$ 的 $SL(7)$-不变多项式 $P_7$ 的7次超曲面。

提出的方法

• 通过普吕克嵌入将 $Gr(2,n)$ 实现为 $\mathbb{P}^N$ 中的射影代数簇，其中 $N = \binom{n+1}{3} - 1$，并将点识别为可分解的3-张量。
• 将秩为 $s$ 的交错积 $\sigma_s(X)$ 定义为 $X$ 上 $s$ 个点的线性张量的Zariski闭包，并将其维数与期望维数 $s[(k+1)(n-k)+1] - 1$ 进行比较。
• 对 $\omega \in \wedge^3 \mathbb{C}^7$ 使用收缩算子 $\phi_\omega: \wedge^2 \mathbb{C}^7 \to \wedge^5 \mathbb{C}^7$，证明 $\det(\phi_\omega) = 2[P_7(\omega)]^3$，其中 $P_7$ 为7次不变多项式。
• 分析 $\wedge^3 \mathbb{C}^7$ 上的 $SL(7)$-轨道，以分类退化情形并确定 $\sigma_s(Gr(2,6))$ 的结构，利用 $\phi_\omega$ 的秩条件。
• 借助已知的斯坦纳三元系结果和表示论推导出典型秩 $\underline{R}(2,n)$ 的界限。
• 使用计算代数与几何论证，验证 $Gr(2,6)$ 是缺陷的，且 $\sigma_3(Gr(2,6))$ 是7次超曲面，同时确认 $Gr(3,7)$ 与 $Gr(2,8)$ 也是缺陷的。

实验结果

研究问题

• RQ1 在 $\wedge^3 \mathbb{C}^{n+1}$ 中，通用斜对称张量的渐近典型秩是多少？
• RQ2 对于哪些 $s$ 值，$\sigma_s(Gr(2,n))$ 是缺陷的？其几何原因是什么？
• RQ3 是否可以显式通过代数不变量描述 $\sigma_3(Gr(2,6))$？其次数和定义方程是什么？
• RQ4 对于 $k \geq 2$，是否存在有限多个缺陷格拉斯曼流形 $Gr(k,n)$，并可否完全分类？
• RQ5 收缩算子 $\phi_\omega$ 的秩如何与 $\omega$ 属于割线簇的性质相关？

主要发现

• 在 $\wedge^3 \mathbb{C}^{n+1}$ 中，通用斜对称张量的典型秩 $\underline{R}(2,n)$ 渐近于 $n^2/18$，解决了一个精确的渐近界。
• $\sigma_s(Gr(2,n))$ 的维数对 $s \leq s_0(n)$ 和 $s_1(n) \leq s$ 具有期望维数，其中 $s_0(n)$ 与 $s_1(n)$ 均渐近于 $n^2/18$。
• $\sigma_3(Gr(2,6))$ 是一个7次超曲面，由满足 $\det(\phi_\omega) = 2[P_7(\omega)]^3$ 的 $SL(7)$-不变多项式 $P_7$ 定义。
• $\sigma_2(Gr(2,6))$ 的理想由28个三次式生成，对应于协不变量 $C_4$，其集值方程由 $\phi_\omega$ 的 $13 \times 13$ 子式给出。
• $\sigma_3(Gr(2,6))$ 的奇点集是30维轨道，而 $\mathrm{Sing}(\sigma_2(Gr(2,6))) = Gr(2,6)$，从而确认了割线簇的几何结构。
• 所有满足 $s \leq 6$ 的缺陷性 $\sigma_s(Gr(k,n))$ 均被分类：$Gr(2,6)$、$Gr(3,7)$ 和 $Gr(2,8)$，其中 $Gr(2,8) \cong Gr(5,8)$ 通过对偶性成立。