[论文解读] Rational curves on generic quintic threefolds

Bin Wang|arXiv (Cornell University)|Feb 13, 2012

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文证明，在 ℙ⁴ 中的一般五次三复叠上，任意不可约有理曲线必为浸入映射，且其法丛的 H¹ 上同调群为零。通过使用涉及爆破和微分形式不变量 ω(M,t) 的代数几何技巧，作者证明了 H¹(N_{c₀/X₀}) = 0，从而推出法丛分解为 O(−1)⊕O(−1)，确认了卡拉比–丘三复叠上关于有理曲线模空间的一个关键性质。

ABSTRACT

Let $X_0$ be a generic quintic threefold in projective space $\mathbf P^4$ over complex numbers and $C_0$ be an irreducible rational curve on $X_0$. Let $$c_0: \mathbf P^1 o C_0\subset X_0$$ be its normalization. In this paper, we show (1) $c_0$ must be an immersion, i.e. the differential $(c_0)_\ast: T_{t}\mathbf P^1 o T_{c_0(t)} X_0$ is injective at each $t\in \mathbf P^1$, (2) the normal bundle of $c_0$ satisfies $$H^1(N_{c_0/X_0})=0.$$

研究动机与目标

• 建立在一般五次三复叠上的有理曲线为浸入映射，即其正规化映射的微分在 ℙ¹ 上每点处均为单射。
• 证明此类曲线的法丛的一阶上同调群为零，即 H¹(N_{c₀/X₀}) = 0。
• 证明该上同调群的消失性意味着法丛分解为 O(−1)⊕O(−1)，这是关于模空间结构的一个关键结果。
• 通过连续爆破构造几何不变量 ω(M,t)，以分析有理映射的模空间。
• 将 H¹(N_{c₀/X₀}) = 0 的消失性结果从五次曲面推广至一般超曲面，包括法诺、卡拉比–丘及一般型情形。

提出的方法

• 利用射影空间 P(M) 上的有理映射的紧化模空间，其中 M = ℂ^{5d+5} 参数化从 ℙ¹ 到 ℙ⁴ 的 d 次映射。
• 构造一个关联方案 Γ_ℒ ⊂ M_d × ℒ，参数化满足 c*(f) = 0 的映射 c 与五次曲面 f，其中 ℒ 是五次曲面空间中的一个 3-平面。
• 在模空间上定义一个微分形式 ω(M,t)，其零点集在 PGL(2) 作用下不变，且与一般 t_i 无关。
• 通过沿子簇进行爆破，以解析在“边界点”处映射变为非浸入或常值时的奇点。
• 应用维数理论：通过 dim(𝒩⊗k(c_g)) = 5d−1 及其在 ℂ^{5d+5} 中的余维数 5d−1，证明 dim(T_{c_g}P(Γ_ℒ)) = 6。
• 利用引理 3.3 及轨道结构，推得在一般 X₀ 上所有有理曲线均为 GL(2)-轨道，因此上同调结果可整体提升。

实验结果

研究问题

• RQ1 在 ℙ⁴ 中的一般五次三复叠上，任意不可约有理曲线是否必然通过其正规化映射成为浸入映射？
• RQ2 此类曲线的法丛 N_{c₀/X₀} 的上同调结构如何，特别是 H¹(N_{c₀/X₀})？
• RQ3 H¹(N_{c₀/X₀}) 的消失性是否可统一地适用于一般五次三复叠上所有有理曲线，而不仅限于一般情形？
• RQ4 控制一般超曲面上有理曲线模空间的几何不变量是什么？它如何区分浸入与非浸入行为？
• RQ5 H¹(N_{c₀/X₀}) 的消失性在多大程度上可推广至其他类型的超曲面，如法诺或卡拉比–丘类型？

主要发现

• 正规化映射 c₀: ℙ¹ → X₀ 是浸入映射，即 (c₀)* 在 ℙ¹ 的每点处均为单射。
• 法丛的一阶上同调群为零：H¹(N_{c₀/X₀}) = 0。
• 法丛分解为 N_{c₀/X₀} ≅ 𝒪(−1) ⊕ 𝒪(−1)，这是由其次数为 −2 且 H¹ 为零的直接推论。
• 模空间 P(Γ_ℒ) 在一般点处切空间的维数为 6，由 dim(𝒩⊗k(c_g)) = 5d−1 推出。
• 该结果 H¹(N_{c₀/X₀}) = 0 对一般 X₀ 上所有有理曲线均成立，而不仅限于一般情形，这是由于此类曲线数量有限且具有轨道结构。
• 微分形式 ω(M,t) 在陈的 K3 曲面情形下恒为零，但在范森彻的五次曲面情形下非零，从而在几何上区分了这两类族。