[论文解读] An effective criterion for algebraic contractibility of rational curves

Pinaki Mondal|arXiv (Cornell University)|Jan 1, 2013

Algebraic Geometry and Number Theory参考文献 28被引用 5

一句话总结

本文提出了一种针对有理曲面中特定有理曲线代数可收缩性的有效非数值准则，具体针对 ℂℙ² 的一次爆破中一条直线的严格提升与除一个例外除子外的所有例外除子的并集。该准则基于 MacLane 关键多项式的全局变体，既必要又充分，并建立了具有一个无穷远曲线的 ℂ² 的正规代数紧化与具有一个无穷远点的 ℂ² 中代数曲线之间的一一对应关系。

ABSTRACT

Let f: Y -> CP^2 be a birational morphism of non-singular (rational) surfaces. We give an effective (necessary and sufficient) criterion for algebraicity of the surfaces resulting from contraction of the union of the strict transform of a line on CP^2 and all but one of the exceptional divisors of f. As a by-product we construct normal non-algebraic Moishezon surfaces with the `simplest possible' singularities, which in particular completes the answer to a remark of Grauert. Our criterion involves `global variants' of `key polynomials' introduced by MacLane. The geometric formulation of the criterion yields a correspondence between normal algebraic compactifications of C^2 with one irreducible curve at infinity and algebraic curves in C^2 with one place at infinity.

研究动机与目标

• 填补现有数值准则失效时，有理曲线代数可收缩性有效准则的空白。
• 在特定几何设定下，提供代数可收缩性的必要且充分条件：即 ℂℙ² 的一次爆破中，直线的严格提升与除一个例外除子外的所有例外除子的收缩。
• 构造新的非代数正规 Moishezon 曲面例子，其奇点为“最简可能”形式，从而回答 Grauert 提出的问题。
• 证明原本为局部工具的关键多项式，在全局坐标系中计算时仍能保留全局几何信息。
• 建立具有一个无穷远曲线的 ℂ² 的正规代数紧化与具有一个无穷远点的 ℂ² 中代数曲线之间新的几何对应关系。

提出的方法

• 引入适用于曲面与待收缩曲线全局几何的 MacLane 关键多项式的全局变体。
• 通过 ℂ² 坐标环上的加权分次结构定义滤子及其关联的首项形式，从而在全局设定中构造关键多项式。
• 应用 Buchberger 算法证明某一多项式集合关于某单项序构成 Gröbner 基，确保计算的有效性。
• 建立从曲面坐标环到分次环的满同态，其核通过关键多项式生成的理想被识别。
• 利用权函数的正性及关键形式的性质，确保核中最小次数元素被唯一确定。
• 利用例外除子与直线严格提升的结构，定义一个双有理态射并分析收缩过程。

实验结果

研究问题

• RQ1 在 ℂℙ² 的一次爆破中，直线的严格提升与除一个例外除子外的所有例外除子的并集何时是代数可收缩的？
• RQ2 当数值不变量不足以判断时，能否给出代数可收缩性的有效（可计算）准则？
• RQ3 具有一个无穷远曲线的 ℂ² 的正规代数紧化与具有一个无穷远点的 ℂ² 中代数曲线之间存在何种几何关系？
• RQ4 能否通过收缩有理曲线的树来构造非代数正规 Moishezon 曲面？它们可能具有何种最简奇点？
• RQ5 当在全局坐标系中使用时，MacLane 的局部关键多项式如何保留全局几何信息？

主要发现

• 本文首次在指定几何设定下提供了代数可收缩性的有效且必要充分准则，解决了文献中长期存在的空白。
• 该准则基于全局关键多项式的构造及其关联的 Gröbner 基结构，确保了可计算性与有效性。
• 该准则在具有一个不可约无穷远曲线的 ℂ² 的正规代数紧化与具有一个无穷远点的 ℂ² 中代数曲线之间建立了一一对应关系。
• 作者构造了新的非代数正规 Moishezon 曲面例子，其奇点为复杂度最小的形式，从而回答了 Grauert 提出的问题。
• 该方法表明，原本为局部赋值理论而定义的关键多项式，当在全局坐标系中使用时，仍能携带全局几何信息。
• 证明表明，某一环同态的核由关键多项式生成的理想所生成，且该理想恰好是被收缩曲面的定义理想。