[论文解读] Genus of curves in generic hypersurfaces

Bin Wang|arXiv (Cornell University)|Oct 2, 2011

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

一句话总结

本文提出了一种关于射影空间中光滑超曲面上光滑曲线的一阶形变的新障碍公式，导出一个亏格公式，并证明在 $ n \geq 3 $ 时，光滑椭圆曲线无法存在于度数 $ h \geq 2n-1 $ 的通用超曲面上。该结果改进了克莱门斯的界限，并揭示了代数对变形理论中的微妙几何障碍。

ABSTRACT

This is the continuation of our paper [10]. In this paper which is self contained, we would like to give a different obstruction formula to the FIRST order deformation of the pair of a smooth curve and a smooth hypersurface. This obstruction formula leads to a genus formula for a smooth curve in a smooth hypersurface. As an application we show that smooth elliptic curves in a smooth hypersurface of degree $$h\geq 2n-1$$ in the projective space $\mathbf P^n, n\geq 3,$ can't deform in the first order to all hypersurfaces of the same degree. In particular, there are no smooth elliptic curves in generic hypersurfaces of degree $$h\geq 2n-1.$$ This application in return leads to a study of the deformation of the pair mentioned above.

研究动机与目标

• 为射影空间 $ \mathbf{P}^n $ 中光滑超曲面上的光滑曲线的一阶形变发展一种新的障碍公式，该公式与以往工作不同。
• 通过这种新的障碍条件，推导出嵌入光滑超曲面中的光滑曲线的亏格公式。
• 研究形变对 $ (C_0, f_0) $ 的一阶形变与超曲面模空间中完整形变之间的几何差异。
• 建立光滑椭圆曲线无法形变至所有度数 $ h \geq 2n-1 $ 的超曲面上，意味着它们在通用此类超曲面上不存在。

提出的方法

• 通过映射 $ P_S^s: H^0(\bar{c}_0^*(TX_S)) \to T_{f_0}S $ 形式化对偶对 $ C_0 \subset f_0 $ 的一阶形变，表示该对的无穷小形变。
• 考虑两个参数空间：$ S = \mathbf{C}^{h+1} $，参数化形如 $ f_0 + \sum a_i L_0 \cdots \hat{L}_i \cdots L_h $ 的超曲面；以及 $ S = \mathbf{P}(H^0(\mathcal{O}_{\mathbf{P}^n}(h))) $，即全部度数为 $ h $ 的超曲面空间。
• 在点 $ q \in C_0 $ 处构造一个子空间 $ E_q \subset T_{f_0}|_q $，其余维数为 2，使得某些单项式 $ <L_0L\cdots L> $ 属于 $ E_q $，但 $ <L_0JL\cdots L> $ 不属于。
• 通过局部解析参数化 $ U_i = \{ L + x_i J \} $ 定义子簇 $ S_{E_q,\epsilon} $，利用非零雅可比行列式证明其在 $ (L_0, L, \dots, L) $ 附近光滑且不可约。
• 应用 $ GL(n+1) $-对称性，构造 $ H^0(c_0^*(N_{C_0}f_0(1))) $ 中的截面，其不在障碍映射的像中，从而证明维度不等式 $ \dim H^0(c_0^*(N_{C_0}f_0(1))) > \dim B $。
• 证明若在点 $ q $ 处有 $ L_0 <L_1 \cdots L_h> - L_k <L_0L_1 \cdots \hat{L}_k \cdots L_h> \notin E_q $，则相应截面不在障碍子空间 $ B $ 中，意味着障碍非零。

实验结果

研究问题

• RQ1 光滑曲线 $ C_0 $ 在 $ \mathbf{P}^n $ 中固定度数的光滑超曲面族中的一阶形变，其必要条件（障碍）是什么？
• RQ2 该新障碍公式与文献 [9] 中的公式有何不同？它为对 $ (C_0, f_0) $ 的形变提供了何种几何洞见？
• RQ3 在度数 $ h $ 和维数 $ n $ 满足何种条件时，光滑椭圆曲线无法存在于 $ \mathbf{P}^n $ 中度数为 $ h $ 的通用超曲面上？
• RQ4 当 $ H^1(N_{C_0}f_0) \neq 0 $ 时，$ H^1(N_{C_0}f_0) $ 的消失与对 $ C_0 \subset f_0 $ 的完整形变的存在性之间的确切关系是什么？尤其当 $ H^1(N_{C_0}f_0) \neq 0 $ 时，该关系如何？
• RQ5 一对曲线的一阶形变空间的维数是否可能严格大于障碍子空间 $ B $ 的维数？这对其存在性意味着什么？

主要发现

• 推导出一种关于光滑曲线在光滑超曲面上一阶形变的新障碍公式，该公式与文献 [9] 中的不同，适用于研究代数对中形变障碍的几何性质。
• 证明了光滑曲线在光滑超曲面上的亏格依赖于嵌入的几何结构和障碍结构，通过新障碍条件导出亏格公式。
• 证明在 $ n \geq 3 $ 时，光滑椭圆曲线无法存在于度数 $ h \geq 2n - 1 $ 的 $ \mathbf{P}^n $ 中的通用超曲面上，比克莱门斯的界限改进了一步。
• 当 $ h \geq 2n - 1 $ 时，一阶形变的障碍非零，意味着此类曲线无法形变至所有同度数的邻近超曲面。
• $ H^0(c_0^*(N_{C_0}f_0(1))) $ 的维数超过障碍子空间 $ B $ 的维数，表明一阶形变空间严格大于障碍映射的像。
• 该结果揭示了形变理论中一个微妙的几何差异：即使 $ H^1(N_{C_0}f_0) \neq 0 $，由于高阶障碍的存在，该对仍可能无法形变，从而挑战了科达伊消失条件的必要性。