[论文解读] Grassmann defectivity à la Terracini

Carla Dionisi, Claudio Fontanari|ArXiv.org|Dec 14, 2001

Algebraic Geometry and Number Theory参考文献 7被引用 4

一句话总结

本文建立了簇 $V$ 的 Grassmann 非正常性与 $\mathbb{P}^k$ 的 Segre 积的常规非正常性之间的对应关系，从而通过经典的 Terracini 型方法对 Grassmann 非正常簇进行分类。关键结果为：Veronese 曲面 $V_{2,d}$ 在 $(d,h) \neq (3,4)$ 时不是 $(1,h)$-非正常，唯一例外是 $V_{2,3}$ 为 $(1,4)$-非正常，从而解决了关于二元型齐次多项式对的 Waring 型问题。

ABSTRACT

This work is a modern revisitation of a classical paper by Alessandro Terracini, going back to 1915, which suggests an elementary but powerful method for studing Grassmann defective varieties. In particular, the case of Veronese surfaces is completely understood, giving an positive answer to the so-called Waring problem for pairs of homogeneous polynomials in three variables.

研究动机与目标

• 将 Terracini 的经典方法推广至 Grassmann 非正常性，将其 1915 年的洞见扩展至更广泛的簇类。
• 建立簇 $V$ 的 $(k,h)$-Grassmann 非正常性与 $\sigma(\mathbb{P}^k \times V)$ 的 $h$-非正常性之间的精确对应关系。
• 通过分析 Veronese 曲面的非正常性，解决关于三元齐次多项式对的 Waring 型问题。
• 对 Veronese 曲面 $V_{2,d}$ 的 Grassmann 非正常性提供完整分类，识别出唯一例外点 $(d,h) = (3,4)$。

提出的方法

• 将 $(k,h)$-Grassmann 切线簇 $\operatorname{Sec}_{k,h}(V)$ 定义为 $h+1$ 个独立点在 $V$ 上的张成闭包，每个点位于一个 $k$-维线性空间中。
• 证明 $V$ 是 $(k,h)$-非正常且缺陷 $\delta_{k,h}(V) = \delta$ 当且仅当 $\sigma(\mathbb{P}^k \times V)$ 是 $h$-非正常且 $\delta_h(\sigma(\mathbb{P}^k \times V)) = \delta$，其中 $\sigma$ 为 Segre 嵌入。
• 利用雅可比判别法和局部参数化方法，分析编码 $h+1$ 个点与 $k+1$ 个系数张成的多重线性映射 $\phi$ 的像的维数。
• 应用 Alexander-Hirschowitz 定理，证明当 $d \geq 5$ 时线性系统 $|\mathcal{L}_{2,d}(2^{h+1})|$ 为非特殊，从而实现维数估计。
• 分析两种情形：当曲线族具有固定分支时与不具有时，利用 Bertini 定理与基点支集约束。
• 从线性系统与 Grassmann 流形上的维数约束推导不等式，除非 $d=3,h=4$ 为唯一例外，否则导出矛盾。

实验结果

研究问题

• RQ1 在何种条件下，Veronese 曲面 $V_{2,d}$ 为 $(1,h)$-Grassmann 非正常？
• RQ2 能否使用相同的 $h+1$ 个线性形式，对所有 $k+1$ 个多项式解决三元齐次多项式对的 Waring 问题？
• RQ3 是否存在 $V$ 的 Grassmann 非正常性与 $\sigma(\mathbb{P}^k \times V)$ 的常规非正常性之间的普遍对应关系？
• RQ4 $(k,h)$-非正常 Veronese 曲面 $V_{2,d}$ 的完整分类是什么？
• RQ5 为何 $(d,h) = (3,4)$ 是 $(1,h)$-Grassmann 设置下唯一非正常性的例外？

主要发现

• Veronese 曲面 $V_{2,d}$ 在 $d \neq 3$ 或 $h \neq 4$ 时均非 $(1,h)$-非正常，意味着 Grassmann 切线簇的期望维数得以实现。
• 唯一例外是 $V_{2,3}$，其为 $(1,4)$-非正常，此结论由存在一个通过五般点的平面三次曲线族且含固定二次曲线分支所证实。
• $V_{2,3}$ 作为 $(1,4)$-Grassmann 非正常簇的非正常性，等价于 $\sigma(\mathbb{P}^1 \times V_{2,3})$ 的 $4$-非正常性，其维数为 18 而非期望的 19。
• 当 $d \geq 5$ 时，线性系统 $|\mathcal{L}_{2,d}(2^{h+1})|$ 为非特殊，故其维数等于期望维数，从而支持矛盾论证。
• 当 $d=2$ 和 $d=3$ 时，对特殊线性系统进行逐案分析，表明当 $\delta > 0$ 时有 $\dim \mathcal{L}_{2,d}(2^{h+1}) = 0 < \delta/2$，与 $\delta$ 个独立族的存在性矛盾。
• 证明表明，除已知的例外情况外，$d=3,h=4$ 时不存在此类构型，从而确认了定理的紧致性。