[論文レビュー] 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

ひとこと要約

本稿は、複素射影平面における4つより多くの尖点をもつ有理尖点曲線について、Coolidge-Nagata予想を証明する。このような曲線は、ℙ² 上の有理型自己同型を用いて直線化可能であることを示す。特異点の埋め込み解消と特異点の例外的除算の木構造の分析を通じて、非直線化可能な曲線は、その解消木において最大9本の最大の枝をもつことが示され、多尖点の場合に予想が確認される。

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.

研究の動機と目的

• ℙ² における4つより多くの尖点をもつ有理尖点曲線について、Coolidge-Nagata予想を解消する。
• 非直線化可能な有理尖点曲線の最小埋め込み特異点解消における例外的除算の木構造にかかる構造的制約を特定する。
• このような曲線が非直線化可能でない場合、その例外的除算の木構造は最大9本の最大の枝をもつことを示す。
• より多くの尖点をもつ曲線が存在するかどうかに関わらず、その曲線が常に直線化可能であることを確立する。

提案手法

• 有理尖点曲線 E ⊆ ℙ² の最小埋め込み特異点解消を分析する。
• canonical divisor K + E にZariski分解を適用し、Iitaka-Kodaira次元 κ(K + E) を研究する。
• 例外的除算の「幹」を、T₀ を最大の枝の成分とする式 Bk T · T₀ = β_T(T₀) - 2 で定義する。
• Noetherの公式と有理的鎖および木構造のための判別式不変量 d(T) を用いて、可能な構成の制約を求める。
• 特異点における解消プロセスをモデル化するため、型 *(n,k) の特徴的対列列を用い、M(q) や I(q) などの不変量を計算する。
• 10本以上の最大の枝を仮定した場合、特に4尖点および5尖点の場合に、mod 5 や mod 11 における整数論的矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 ℙ² における4つより多くの尖点をもつ有理尖点曲線が、ℙ² の有理型自己同型によって直線化できないことはあり得るか？
• RQ2 非直線化可能な有理尖点曲線の例外的除算の木構造にどのような構造的制限が存在するか？
• RQ3 非直線化可能な有理尖点曲線の解消木における最大の枝の数は、有界であるか？
• RQ4 より多くの尖点をもつ曲線の存在が、その曲線が直線化可能であることを保証するのか、そのような曲線が実際に存在するかどうかに関わらず？
• RQ5 特異点における解消プロセスを型 *(n,k) の特徴的対列列でモデル化し、多くの枝をもつ場合に矛盾を導くことは可能か？

主な発見

• ℙ² における4つより多くの尖点をもつ有理尖点曲線は、必ずℙ² の有理型自己同型によって直線化可能である。
• 非直線化可能なℙ² における有理尖点曲線は、その最小埋め込み特異点解消において、例外的除算の木構造が最大9本の最大の枝をもつ。
• 5尖点で10本の最大の枝をもつ場合、不変量 M(q) と I(q) に対して整数論的矛盾（mod 5 や mod 11）が生じ、このような構成は排除される。
• 4尖点で10本の最大の枝をもつ場合も同様に矛盾が生じ、非直線化可能な曲線の最大の枝の数が9であるという上限が確認される。
• 型 *(n,k) の特徴的対列列の分析により、解消鎖の自己交差数および長さの明確な公式が導出され、高密度の枝構成の矛盾に基づく除外が可能になる。
• Noetherの公式 K² + #D = 10 に加え、不変量 K·(K+D) と δ(D) を用いることで、枝が多すぎると仮定した場合に矛盾を導くことが重要である。