[论文解读] Covered by Lines and Conic Connected Varieties

Simone Marchesi, Alex Massarenti+1 more|arXiv (Cornell University)|May 30, 2011

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

一句话总结

本文建立了覆盖直线的射影簇连通于奇异圆锥的数值准则，证明若其定义方程的次数之和满足 ∑di ≤ (N + m)/2，则任意两点位于一条奇异圆锥上。关键贡献在于推广并精确化了此前关于圆锥连通性的结果，提出一个精确的界限，适用于法诺、QEL 和 LQEL 族。

ABSTRACT

We study some properties of an embedded variety covered by lines and give a numerical criterion ensuring the existence of a singular conic through two of its general points. We show that our criterion is sharp. Conic-connected, covered by lines, QEL, LQEL, prime Fano, defective, and dual defective varieties are closely related. We study some relations between the above mentioned classes of objects using celebrated results by Ein and Zak.

研究动机与目标

• 建立一个数值条件，确保覆盖直线的簇上任意两点位于一条奇异圆锥上。
• 通过允许奇异与非光滑簇，推广并改进 Bonavero 与 Höring 关于圆锥连通性的现有准则。
• 利用 Ein 与 Zak 的经典结果，探讨圆锥连通性、覆盖直线簇与法诺几何之间的相互作用。
• 通过显式例子（包括 ℙ⁴ 中的三次超曲面）检验所提准则的精确性。
• 在准则取等条件下，计算通过两个一般点的奇异圆锥数量。

提出的方法

• 利用点 x 处的极小有理切线丛 Lx 分析通过 x 的直线的几何性质。
• 应用 Zak 的切触定理与 Ein 对对偶缺陷簇的分类，推导 Lx 维数的上界。
• 导出涉及定义方程 Gi 的次数 di 与环境维数 N 的数值不等式，最终得出 ∑di ≤ (N + m)/2。
• 运用 Bézout 定理与交集理论，在准则取等时计数奇异圆锥。
• 通过将 Gi 仿射化，构造迫使圆锥通过两点 x 与 y 的方程组，并分析至次数 di 的零点条件。
• 与现有结果（特别是 Bonavero 与 Höring 关于光滑完全交集的工作）比较，表明当前准则更具一般性且精确。

实验结果

研究问题

• RQ1 在定义方程的次数满足何种数值条件时，覆盖直线的簇上存在通过任意两点的奇异圆锥？
• RQ2 所提不等式 ∑di ≤ (N + m)/2 是否精确？哪些例子可证明其精确性？
• RQ3 圆锥连通性与 QEL、LQEL 及初等法诺簇等其他类之间有何关系？
• RQ4 当准则取等时，通过两个一般点的奇异圆锥数量是多少？
• RQ5 在簇覆盖直线且为法诺簇的情况下，圆锥连通性在何种情形下仍会失效？

主要发现

• 不等式 ∑_{i=1}^m d_i ≤ (N + m)/2 是射影簇 X ⊂ ℙ^N 覆盖直线时连通于奇异圆锥的充分条件。
• 该准则精确：在 ℙ⁴ 中光滑三次三复面的情形下取等，该簇是圆锥连通的，但不通过奇异圆锥连接。
• 当 ∑_{i=1}^c d_i = (N + c)/2 且为光滑完全交集时，通过两个一般点的奇异圆锥数量为有限，且等于 ∏_{i=1}^c d_i!(d_i - 1)!。
• 对于 ℙ³ 中的光滑二次曲面，恰好有 2 条奇异圆锥连接两个一般点，与公式一致。
• 对于 ℙ⁶ 中两个二次曲面的完全交集，公式预测有 4 条奇异圆锥，与切空间中各轨迹的几何交集相符。
• 该结果不仅适用于光滑完全交集，也适用于奇异簇，即使不存在光滑圆锥，仍能保证奇异圆锥的存在。