[论文解读] Castelnuovo function, zero-dimensional schemes and singular plane curves

Gert–Martin Greuel, Christoph Lossen+1 more|ArXiv.org|Mar 30, 1999

Advanced Numerical Analysis Techniques被引用 10

一句话总结

本文引入Castelnuovo函数以研究具有指定奇点的奇异平面曲线族，利用零维概形与簇理论，推导出T-光滑性与不可约性的新充分条件。证明了关于无穷近点簇的希尔伯特概形的不可约性，并建立了理想层的消去定理，从而为曲线族成为预期维数的光滑簇提供了渐近最优的条件。

ABSTRACT

We study families V of curves in P^2 of degree d having exactly r singular points of given topological or analytic types. We derive new sufficient conditions for V to be T-smooth (smooth of the expected dimension), respectively to be irreducible. For T-smoothness these conditions involve new invariants of curve singularities and are conjectured to be asymptotically proper, i.e., optimal up to a constant factor. To obtain the results, we study the Castelnuovo function, prove the irreducibility of the Hilbert scheme of zero-dimensional schemes associated to a cluster of infinitely near points of the singularities and deduce new vanishing theorems for ideal sheaves of zero-dimensional schemes in P^2. Moreover, we give a series of examples of cuspidal curves where the family V is reducible, but where the fundamental groups of P^2 \ C coincide (and are abelian) for all C in V.

研究动机与目标

• 使用代数几何工具理解具有指定奇点的平面曲线族的几何结构。
• 确定此类曲线族在何种情况下为光滑（T-光滑）或不可约，特别是针对具有拓扑或解析奇点的曲线。
• 发展奇点的不变量——特别是Castelnuovo函数——以预测曲线族的维数与光滑性。
• 证明由奇点导出的无穷近点簇所对应的希尔伯特概形的不可约性。
• 建立P^2中零维概形的理想层的消去定理，以支持主要结果。

提出的方法

• 引入并分析Castelnuovo函数作为奇点的新不变量，将其与曲线族的预期维数联系起来。
• 利用簇理论建模奇点中的无穷近点，并研究相关的零维概形。
• 通过形变理论与上同调技术，证明此类零维概形的希尔伯特概形的不可约性。
• 建立P^2中零维概形的理想层的高阶上同调的消去定理，这对维数计数论证至关重要。
• 将这些结果应用于推导具有固定奇点的平面曲线族的T-光滑性与不可约性的充分条件。
• 利用Castelnuovo函数对先前的判别准则进行改进与推广，并推测其在渐近意义下达到常数因子范围内的最优性。

实验结果

研究问题

• RQ1 在何种条件下，具有r个给定类型奇点的平面曲线族是T-光滑的（即为预期维数的光滑簇）？
• RQ2 Castelnuovo函数如何用于刻画奇异平面曲线族的维数与光滑性？
• RQ3 在何种条件下，与无穷近点簇相关的零维概形的希尔伯特概形是不可约的？
• RQ4 P^2中零维概形的理想层满足哪些消去定理？它们与曲线族有何关联？
• RQ5 所导出的新不变量与条件对于曲线族的T-光滑性是否渐近最优？

主要发现

• 引入Castelnuovo函数作为奇点的新不变量，使对曲线族维数的精细分析成为可能。
• 证明了与无穷近点簇相关的零维概形的希尔伯特概形的不可约性。
• 建立了P^2中零维概形的理想层的高阶上同调的新消去定理。
• 推导出平面曲线族T-光滑性的充分条件，涉及Castelnuovo函数，且推测其渐近最优。
• 构造了某些cuspidal曲线的例子，其曲线族虽不可约，但其补集的基本群为阿贝尔群且在所有曲线中相同。
• 结果为通过概形理论与上同调方法系统研究奇异平面曲线的模空间提供了框架。