[论文解读] Appendix: On linear subspaces contained in the secant varieties of a projective curve

Claire Voisin|arXiv (Cornell University)|Oct 23, 2001

Tensor decomposition and applications被引用 4

一句话总结

本文研究了通过 |L ⊗ ω_C| 嵌入的光滑射影曲线 C ⊂ ℙ^N 的切触曲面中的线性子空间，证明当 deg L ≥ 2d+3 时，若 δ ≥ d，则不存在任何项目空间 ℙ^δ 位于 d 次切触曲面 Σ_d 中，且任何满足 δ ≥ d−1 的 ℙ^δ 必须是 C^{(d)} 中某点集 Z 的线性张成 ⟨Z⟩。该结果解决了关于切触曲面在预期线性张成之外是否包含极大线性子空间的几何问题。

ABSTRACT

We show that the d-th secant variety of a projective curve of genus g imbedded in projective space by a complete linear system of degree 2g-2+m, with m at least 2d+3, does not contain linear spaces of dimension bigger than d-1, and that the only linear subspaces of dimension d-1 contained in it are the obvious ones.

研究动机与目标

• 确定光滑射影曲线 C ⊂ ℙ^N 的 d 次切触曲面 Σ_d 是否包含不被任何 Z ∈ C^{(d)} 的线性张成 ⟨Z⟩ 所包含的线性子空间 ℙ^δ。
• 回应 C. Soulé 提出的关于 Σ_d 中线性子空间最大维数的问题。
• 建立线丛 L 的度的精确条件，使得 Σ_d 不包含超出预期的额外线性子空间。
• 基于形变理论与上同调估计提供几何论证，而非依赖解析界。

提出的方法

• 使用映射 α: ℙ(E^*) → ℙ^N，其像为 Σ_d，其中 E 是线丛 L ⊗ ω_C 在 C^{(d)} 中除子上的截面所张成的向量丛。
• 分析 Σ_d 在光滑点处的射影切空间，证明其同构于 ⟨2Z⟩（其中 Z ∈ C^{(d)}）。
• 假设存在一个 ℙ^δ ⊂ Σ_d，不被任何 ⟨Z⟩ 包含，将其上拉至 ℙ(E^*) 中的子簇 𝔀ℙ^δ ⊂ ℙ(E^*)，该子簇支配 C^{(d)} 中维数 w > 0 的子簇 W。
• 通过 α 的微分研究线性张成 ⟨2Z_v⟩ 的无穷小变化，将形变映射识别为乘以 𝒪_C(Z_v)|_{Z_v} 的截面。
• 对乘法映射 𝔀μ: 𝔀V ⊗ H^0(C, L ⊗ ω_C(−2Z_v)) → H^0(C, L ⊗ ω_C(−Z_v)) 应用霍普夫引理，导出一个秩不等式。
• 在假设 deg L ≥ 2d+3 的条件下，通过结合秩估计与不等式 w > δ − w，导出矛盾。

实验结果

研究问题

• RQ1 在何种线丛 L 的条件下，曲线 C ⊂ ℙ^N 的 d 次切触曲面 Σ_d 不包含满足 δ ≥ d 的线性子空间 ℙ^δ？
• RQ2 是否存在满足 δ ≥ d−1 的线性子空间 ℙ^δ ⊂ Σ_d，其不位于任何 Z ∈ C^{(d)} 的线性张成 ⟨Z⟩ 之外？
• RQ3 L 的度在控制 Σ_d 中此类额外线性子空间的存在性方面起何作用？
• RQ4 线性张成 ⟨2Z⟩ 的无穷小变化如何约束 ℙ^δ ⊂ Σ_d 的存在性？

主要发现

• 当 deg L ≥ 2d+3 且 δ ≥ d−1 时，任何 ℙ^δ ⊂ Σ_d 必须是 C^{(d)} 中某 Z 的线性张成 ⟨Z⟩，即不存在额外的线性子空间。
• 在相同度条件之下，d 次切触曲面 Σ_d 不包含任何满足 δ ≥ d 的项目空间 ℙ^δ。
• 矛盾源于将霍普夫引理由乘法映射 𝔀μ 的秩估计与由 W 上一般点的纤维不相交性导出的几何不等式 w > δ − w 联合使用。
• 证明依赖于当 deg L ≥ 2d+3 时，H^1(C, L ⊗ ω_C(−2Z_v)) = 0，从而保证 Z_v 的线性张成维数为 d−1。
• 该结论对亏格 g > 0 的曲线成立，且论证利用了 L ⊗ ω_C(−2Z_v) 的非常正性，以确保霍普夫引理中不等式的严格性。
• 结论是精确的：当 deg L < 2d+3 时，此类额外线性子空间可能存在，因为上同调消去性不再成立。