[论文解读] Counting conics in complete intersections

Laurent Bonavero, Andreas Höring|arXiv (Cornell University)|Apr 10, 2008

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

一句话总结

本文为在维数 $ n $、多度 $ (d_1,\ldots,d_r) $ 且指标条件 $ d_1 + \cdots + d_r = \frac{n+1}{2} + r $ 的一般光滑完备交中，通过两个一般点的圆锥曲线数量提供了初等证明。它证明了此类圆锥曲线为拟直线，并计算出数量为 $ \frac{1}{2} \prod_{i=1}^r (d_i - 1)! \, d_i! $，并将其应用于形式几何与法诺簇中圆锥曲线的 G3 性质。

ABSTRACT

We count the number of conics through two general points in complete intersections when this number is finite and give an application in terms of quasi-lines.

研究动机与目标

• 确定在维数 $ n $、多度 $ (d_1,\ldots,d_r) $ 且满足 $ \sum d_i = \frac{n+1}{2} + r $ 的一般光滑完备交中，通过两个一般点的圆锥曲线数量。
• 证明此类圆锥曲线在该簇中为拟直线，即其正规丛与射影空间中直线的正规丛一致。
• 确立圆锥曲线族构成 Chow 簇 $ \mathcal{C}(X) $ 的非空、光滑且不可约分支。
• 将结果应用于形式几何，证明此类簇中的一般圆锥曲线为 G3，意味着圆锥曲线邻域的形式同构蕴含整体同构。

提出的方法

• 使用退化论证与几何约化：通过计数包含连接两点的直线且与簇相交于一条圆锥曲线和一条剩余曲线的 2-平面，来计数通过两点的圆锥曲线。
• 固定两个一般点 $ p $ 和 $ q $，考虑直线 $ [pq] $，其再次与簇相交于第三点 $ u $；通过 $ p $ 和 $ q $ 的圆锥曲线对应于通过 $ u $ 的直线。
• 对每条通过 $ u $ 的直线 $ l $，构造一个包含 $ l $ 和 $ [pq] $ 的 2-平面 $ \pi_l $；交 $ X \cap \pi_l $ 为一条通过 $ p $ 和 $ q $ 的圆锥曲线 $ C $。
• 利用条件 $ \sum d_i = \frac{n+1}{2} + r $ 确保 $ -K_X \cdot C = n+1 $，这是 $ C $ 为拟直线的必要条件。
• 使用维数计数与上同调论证，证明圆锥曲线族在 Chow 簇中不可约且光滑。
• 应用 Ionescu 关于 G3 子簇的结果：若 $ e_0(X,C) = e(X,C) $，则圆锥曲线在 $ X $ 中为 G3，此等式成立是因为两个计数相等。

实验结果

研究问题

• RQ1 在维数 $ n $、多度 $ (d_1,\ldots,d_r) $ 且满足 $ \sum d_i = \frac{n+1}{2} + r $ 的一般光滑完备交中，通过两个一般点的圆锥曲线数量是多少？
• RQ2 在何种条件下，此类完备交中的圆锥曲线为拟直线，即其正规丛与射影空间中直线的正规丛一致？
• RQ3 此类簇中圆锥曲线族是否构成 Chow 簇的不可约且光滑分支？
• RQ4 在何种条件下，此类簇中的圆锥曲线为 G3，即其形式邻域决定其周围簇的同构？

主要发现

• 此类完备交中通过两个一般点的圆锥曲线数量为 $ \frac{1}{2} \prod_{i=1}^r (d_i - 1)! \, d_i! $。
• 当 $ \sum d_i = \frac{n+1}{2} + r $ 且 $ n \geq 5 $ 时，$ X $ 中的圆锥曲线族是 Chow 簇 $ \mathcal{C}(X) $ 的非空、光滑且不可约分支。
• 所有此类圆锥曲线均为拟直线，因为其满足 $ -K_X \cdot C = n+1 $ 且其正规丛为正。
• 等式 $ e_0(X,C) = e(X,C) $ 成立，意味着圆锥曲线在 $ X $ 中为 G3，因此其形式邻域同构蕴含整体簇的同构。
• 该结果以初等方法证明，不依赖于量子上同调，尽管该公式此前已通过 Givental 的量子上同调计算得出。