[论文解读] Apolar Ideal and Normal Bundle of Rational Curves

Alessandro Bernardi|arXiv (Cornell University)|Mar 22, 2012

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

一句话总结

本文利用配极理论刻画了在射影空间中关于有理曲线的希尔伯特簇中子簇的性质，其参数由法丛或受限切丛的分裂类型决定。通过分析从线性子空间投影有理正则曲线的几何结构，本文在投影中心满足特定几何条件（如位于指定维数的割线空间上）时，建立了这些丛的分裂类型的精确公式。

ABSTRACT

As in our previous work [1] we address the problem to determine the splitting of the normal bundle of rational curves. With apolarity theory we are able to characterize some particular subvarieties in some Hilbert scheme of rational curves, defined by the splitting type of the normal bundle and the restricted tangent bundle.

研究动机与目标

• 通过法丛和受限切丛的分裂类型，对 P^m 中度数 n ≥ m 的有理曲线进行分类。
• 研究希尔伯特簇 H^{m,n} 中由法丛和受限切丛的固定分裂类型参数化的子簇。
• 利用配极理论，将投影中心的几何条件（例如位于割线空间上）与法丛及切丛的分裂类型联系起来。
• 确定此类子簇在投影中心的格拉斯曼簇中的余维数与不可约性。
• 在对投影中心施加特定几何假设的前提下，给出法丛与受限切丛分裂类型的显式公式。

提出的方法

• 从线性子空间 L ≅ P^{k-1} 投影有理正则曲线 C_n ⊂ P^n，得到有理曲线 π_L(C_n) ⊂ P^{n-k}。
• 利用配极理论分析 syzygy 模 Syz(J(ν_n)) 和映射 (N^L_{n,k})^t，后者编码了投影曲线的法丛。
• 通过条件 rank(N^L_{n,k}) = 3k - r，将矩阵 N^L_{n,k} 的秩与结构与法丛的分裂类型关联起来。
• 分析 N^L_{n,k} 的核，以检测某些形式何时消去曲线，从而与割线空间的存在性建立联系。
• 通过关联簇计算格拉斯曼簇 Gr(P^{k-1}, P^n) 中位于割线空间（如 (k+1)-secant P^k）上的中心 L 的余维数。
• 应用 Chiantini 与 Ciliberto 关于割线簇非缺陷性的结果，计算余维数并确立这些簇的不可约性。

实验结果

研究问题

• RQ1 当投影中心 L ⊂ P^n 满足何种几何条件时，投影有理曲线 π_L(C_n) ⊂ P^{n-k} 的法丛具有特定分裂类型？
• RQ2 若 L 位于有理正则曲线的 (k+1)-secant 或 (k+2)-secant 空间中，对法丛的分裂类型有何影响？
• RQ3 在格拉斯曼簇 Gr(P^{k-1}, P^n) 中，满足受限切丛 T P^{n-k}|_{π_L(C_n)} 具有给定分裂类型的中心 L 的集合的余维数是多少？
• RQ4 配极理论能否通过点在 L 中的消去形式的代数条件，用于刻画法丛的分裂类型？
• RQ5 希尔伯特簇中参数化具有固定法丛或受限切丛分裂类型的曲线的子簇在何时是不可约的，且具有给定余维数？

主要发现

• 若 L ⊂ P^{k+1} 是 C_n ⊂ P^n 的 (k+2)-secant，且 n−1 ≤ 3k ≤ 3(n−3)，则投影曲线 π_L(C_n) ⊂ P^{n-k} 的法丛分裂为 O(n+2)^{n−k−2} ⊕ O(n+1+2k)。
• 若 L ⊂ P^k 是 C_n 的 (k+1)-secant，且 2k < n−1，则受限切丛 T P^{n-k}|_{π_L(C_n)} 分裂为 O(n+1)^{n−k−1} ⊕ O(n+1+k)。
• 位于某个 (k+1)-secant P^k 上的中心 L ⊂ P^n 的簇在 Gr(P^{k−1}, P^n) 中的余维数为 kn − k² − k − 1，且该簇在希尔伯特簇中支持一个不可约子簇，该子簇参数化具有给定切丛分裂类型的曲线。
• 当 L 位于 (k+1)-secant P^k 中时，矩阵 N^L_{n,k} 的秩满足 rank(N^L_{n,k}) = 3k − r，其中 1 < r ≤ 2k−1，当且仅当法丛为 O(n+3)^{2k−2r} ⊕ F' 且 deg(F'^∨(n+2)) = −2k。
• 当 rank(N^L_{n,k}) = k+1 时，法丛分裂为 O(n+2+2k)，对应于 L 位于 (k+2)-secant P^{k+1} 的情形。
• 位于某个 (n−2)-secant P^{n−3} 上的中心 L 的簇的余维数为 3k − n + 1，当 3k < n−1 时该值为负，表明在此范围内条件为通用的。