[论文解读] The Coolidge-Nagata conjecture holds for curves with more than four cusps

Karol Palka|arXiv (Cornell University)|Feb 16, 2012

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

一句话总结

本文證明了複射影平面中具有超過四個尖點的有理尖點曲線的Coolidge-Nagata猜想，顯示此類曲線可透過ℙ²的雙有理自同構實現直線化。透過奇點的嵌入解析與例外除子樹結構的分析，作者建立非直線化曲線在解析樹中最多僅有九個最大分枝，從而確認多尖點情形下的猜想。

ABSTRACT

Let E be a plane rational curve defined over complex numbers which has only locally irreducible singularities. The Coolidge-Nagata conjecture states that E is rectifiable, i.e. it can be transformed into a line by a birational automorphism of the plane. We show that if it is not rectifiable then the tree of the exceptional divisor for its minimal embedded resolution of singularities has at most nine maximal twigs. This settles the conjecture in case E has more than four singular points.

研究动机与目标

• 解決複射影平面ℙ²中具有超過四個尖點的有理尖點曲線的Coolidge-Nagata猜想。
• 確定非直線化有理尖點曲線的最小嵌入奇點解析中例外除子結構的約束條件。
• 證明若此類曲線為非直線化，則其例外除子樹中最多僅有九個最大分枝。
• 建立該猜想在所有具有超過四個尖點的曲線中普遍成立，不論此類曲線是否存在。

提出的方法

• 分析有理尖點曲線 E ⊆ ℙ² 的最小嵌入奇點解析。
• 對 canonical 除子 K + E 應用 Zariski 分解，並研究 Iitaka-Kodaira 維數 κ(K + E)。
• 透過公式 Bk T · T₀ = β_T(T₀) - 2 定義例外除子的「樹皮」，其中 T₀ 為最大分枝的分量。
• 應用 Noether 公式與分枝及樹的判別式不變量 d(T)，以約束可能的配置。
• 使用類型 *(n,k) 的特徵對序列來模擬奇點處的解析過程，並計算不變量如 M(q) 與 I(q)。
• 在假設存在十個或以上最大分枝時，透過模運算（mod 5、mod 11）導出矛盾，特別是在四尖點與五尖點情形。

实验结果

研究问题

• RQ1 複射影平面ℙ²中具有超過四個尖點的有理尖點曲線，是否可能無法透過ℙ²的雙有理自同構實現直線化？
• RQ2 非直線化有理尖點曲線的例外除子樹具有何種結構限制？
• RQ3 非直線化有理尖點曲線的解析樹中，最大分枝的數目是否受到限制？
• RQ4 若存在具有超過四個尖點的曲線，是否能推出其必然可直線化，不論此類曲線是否存在？
• RQ5 能否使用類型 *(n,k) 的特徵對序列來模擬奇點處的解析過程，進而於高分枝數下導出矛盾？

主要发现

• 若複射影平面ℙ²中的有理尖點曲線具有超過四個尖點，則其必然可透過ℙ²的雙有理自同構實現直線化。
• 任何非直線化有理尖點曲線在ℙ²中，其最小嵌入解析中的例外除子樹最多僅有九個最大分枝。
• 五尖點且具十個最大分枝的情形，透過對不變量 M(q) 與 I(q) 應用模運算導出矛盾，從而排除此類配置。
• 四尖點且具十個最大分枝的情形亦導出矛盾，確認非直線化曲線的最大分枝數上限為九。
• 對類型 *(n,k) 的特徵對序列之分析，可導出解析鏈自交數與長度的精確公式，進而透過矛盾法排除高分枝配置。
• Noether 公式 K² + #D = 10，搭配不變量 K·(K+D) 與 δ(D)，在假設過多分枝時極具助益，用以導出矛盾。