[论文解读] Counting curves which move with threefolds

Herbert Clemens, Holger P. Kley|ArXiv.org|Jul 20, 1998

Algebraic Geometry and Number Theory参考文献 10被引用 11

一句话总结

本文推导出一个公式，用于计算当K-平凡三叉三叉X在固定环境空间P中包含满足无阻碍条件的曲线连续族时，其通用形变下虚拟曲线数。该方法运用形变理论与障碍理论，推导出一个校正项，以考虑移动族对虚拟计数的贡献，从而为形变三叉三叉上的曲线提供精确的枚举不变量。

ABSTRACT

Let X be a (possibly nodal) K-trivial threefold moving in a fixed ambient space P. Suppose X contains a continuous family of curves, all of whose members satisfy certain unobstructedness conditions in P. A formula is given for computing the corresponding virtual number of curves, that is, the number of curves on a generic deformation of X "contributed by" the continuous family on X.

研究动机与目标

• 确定包含连续曲线族的K-平凡三叉三叉X的通用形变下虚拟曲线数。
• 在形变过程中，考虑移动曲线族对枚举计数的贡献。
• 建立一个校正几何与上同调障碍的公式。
• 在无阻碍性假设下，将曲线计数不变量推广至具有奇点（如节点）的三叉三叉。
• 通过形变理论技术，为三叉三叉族提供系统化的虚拟曲线计数计算方法。

提出的方法

• 使用形变理论分析三叉三叉X在固定环境空间P中发生小形变时曲线的行为。
• 应用障碍理论，计算形变三叉三叉上曲线模空间的虚拟维数。
• 基于环境空间P中移动曲线族的法丛与上同调，推导出校正项。
• 实施一个涉及欧拉示性数与陈类的公式，以计算虚拟曲线数。
• 利用P中曲线的无阻碍性条件，确保模空间光滑且维数符合预期。
• 依赖X的K-平凡性以保证其典范丛平凡，从而简化障碍空间的计算。

实验结果

研究问题

• RQ1 K-平凡三叉三叉上的连续曲线族如何影响其通用形变下虚拟曲线计数？
• RQ2 此类移动族所产生虚拟曲线数的精确计算公式是什么？
• RQ3 当对具有节点奇点的三叉三叉进行形变时，障碍理论校正如何影响枚举计数？
• RQ4 环境空间P中曲线的无阻碍性在虚拟计数中起什么作用？
• RQ5 三叉三叉的典范丛平凡性在确保曲线计数公式的自洽性方面起什么作用？

主要发现

• 本文推导出一个公式，可计算X的通用形变下虚拟曲线数，同时考虑X上连续曲线族的贡献。
• 该公式整合了来自环境空间P中曲线法丛上同调的校正项。
• 即使X具有节点奇点，只要曲线在P中满足无阻碍性条件，结果依然成立。
• 虚拟计数被证明与X的具体形变无关，仅依赖于初始的曲线族。
• 该方法产生一个明确定义的枚举不变量，推广了卡拉比-丘三叉三叉中的经典曲线计数。
• 定理3.3（在v2中得到强化）在稍弱的假设下确立了该公式，增强了其适用性。