[论文解读] The Canonical Model of a Singular Curve

Steven L. Kleiman, Renato Vidal Martins|ArXiv.org|Mar 23, 2008

Algebraic Geometry and Number Theory参考文献 14被引用 4

一句话总结

本文提供了Rosenlicht关于亏格 $g \geq 2$ 的奇异整曲线 $C$ 的典范模型 $C'$ 的基础结果的现代、精炼证明。它证明了 $C$ 与 $C'$ 之间存在双有理等价关系当且仅当 $C$ 是非超椭圆的，并表明在此情况下，$C'$ 同构于 $C$ 关于其典范层 $\omega$ 的爆破。主要贡献在于，利用近戈伦斯坦条件和奇异点处的嵌入维数等不变量，完整刻画了 $C'$ 为有理正则、算术正则、投影正则或线性正则的条件。

ABSTRACT

We give refined statements and modern proofs of Rosenlicht's results about the canonical model C' of an arbitrary complete integral curve C. Notably, we prove that C and C' are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C' is equal to the blowup of C with respect to the canonical sheaf ω. We also prove some new results: we determine just when C' is rational normal, arithmetically normal, projectively normal, and linearly normal.

研究动机与目标

• 重新证明并精炼Rosenlicht关于亏格 $g \geq 2$ 的奇异整曲线 $C$ 的典范模型 $C'$ 的结果。
• 澄清 $C$ 与 $C'$ 之间的双有理关系，证明它们当且仅当 $C$ 是非超椭圆时同构。
• 确定 $C'$ 为投影正则、线性正则、算术正则或有理正则的精确条件。
• 通过关于典范层 $\omega$ 的爆破刻画典范模型 $C'$，尤其在非戈伦斯坦情形下。
• 识别控制 $C'$ 几何性质的不变量，如近戈伦斯坦条件和奇异点处的嵌入维数。

提出的方法

• 使用现代代数几何技术，包括关于典范层 $\omega$ 的爆破，将 $C'$ 构造为正规化 $\overline{C}$ 上典范映射的像。
• 应用卡斯特尔努沃理论及极值曲线理论，分析 $C'$ 的投影正则性与线性正则性。
• 运用局部代数，特别是奇异点处局部环的余因子理想与自同态环，研究 $C'$ 在非戈伦斯坦点附近的结构。
• 使用上同调论证及层上同调中的长正合列，证明 $H^q(\mathcal{I}(l))$ 的消去结果，这些结果控制了 $C'$ 的定义方程。
• 证明在近戈伦斯坦条件下，$C'$ 的投影正则性、线性正则性与极值性三者等价。
• 使用Fujita准则与Castelnuovo–Mumford正则性，确定 $C'$ 何时由二次曲面与三次曲面截得。

实验结果

研究问题

• RQ1 何时奇异曲线 $C$ 的典范模型 $C'$ 是投影正则的？$C$ 需满足何种条件才能保证此性质？
• RQ2 在何种条件下 $C'$ 是线性正则的？这与投影正则性有何关联？
• RQ3 在何种条件下 $C'$ 是有理正则的？$C'$ 的亏格与次数在其中起何作用？
• RQ4 在非戈伦斯坦点处，$C'$ 的几何性质如何依赖于 $C$ 的奇点？
• RQ5 典范模型 $C'$ 与 $C$ 关于 $\omega$ 的爆破之间存在何种精确关系？它们在何时同构？

主要发现

• 典范模型 $C'$ 同构于 $C$ 关于 $\omega$ 的爆破当且仅当 $C$ 是非超椭圆的。
• 典范模型 $C'$ 是投影正则的当且仅当它是线性正则的，且这成立当且仅当 $C$ 是近戈伦斯坦的且满足 $d' = g' + g - 1$。
• 当 $C$ 是非超椭圆时，$C'$ 是极值的（即在次数 $2g-2$ 下具有最大亏格）当且仅当 $C$ 是戈伦斯坦的。
• 若 $C$ 是近戈伦斯坦的且 $\eta \geq 2$，则 $C'$ 由二次曲面与三次曲面截得，且当 $\eta \geq 2$ 时仅由二次曲面即可决定。
• 典范模型 $C'$ 是有理正则的当且仅当 $C$ 是非超椭圆的，且 $C'$ 位于 $\mathbb{P}^{g-1}$ 中，次数为 $g-1$，亏格为 $g-1$。
• 对于一个近戈伦斯坦曲线，当 $g=4$，$g'=2$，$d'=5$ 时，$C'$ 不能仅由二次曲面截得，表明三次曲面有时是必要的。