[論文レビュー] Algebraic Montgomery-Yang Problem: the non-rational case and the del Pezzo case

JongHae Keum, DongSeon Hwang|arXiv (Cornell University)|Jun 3, 2009

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

ひとこと要約

本稿は、非有理的表面および巡回商特異点をもつ対数デル・ペッツォ表面における代数的モンゴメリー＝ヤン問題を解決する。滑らかでない部分の位相的性質を分析し、整数係数二次形式にボゴモロフ＝ミヤオカ＝ヤウ不等式を適用することで、滑らかでない部分が単連結である場合、このような表面は高々3つの特異点をもつことを証明する。これにより、予想は残りの有理的表面で canonical 線分束が正である場合に還元される。

ABSTRACT

Montgomery-Yang problem predicts that every pseudofree differentiable circle action on the 5-dimensional sphere has at most 3 non-free orbits. Using a certain one-to-one correspondence, Kollár formulated the algebraic version of the Montgomery-Yang problem: every projective surface $S$ with the second Betti number $b_2(S) = 1$ and with quotient singularities only has at most 3 singular points if its smooth locus $S^0$ is simply-connected. In a previous paper, we have confirmed the conjecture when $S$ has at least one non-cyclic quotient singularity. In this paper, we prove the conjecture either when $S$ is not rational or when $-K_S$ is ample.

研究の動機と目的

• 非有理的および対数デル・ペッツォ表面における巡回商特異点をもつ場合の代数的モンゴメリー＝ヤン問題を解決すること。
• 完全な予想を、残りの未解決事例に還元すること：正の canonical 線分束と最も悪い場合に巡回特異点をもつ有理的表面。
• 特に基本群とベッチ数に注目し、位相的および代数的幾何学的技法を用いて特異点数の上限を確立すること。
• 整数係数二次形式と自己交叉数を用いて例外的曲線の配置を分析し、3つを超える特異点をもつ配置を除外すること。
• 与えられた制約のもとで、商特異点をもつ Q-ホモロジー射影平面の分類計画を完了すること、特に4つ以上の特異点をもつ配置を除外すること。

提案手法

• コラールが確立した、5次元球面上の擬自由 S¹作用と特定の位相的不変量をもつ滑らかな4次元多様体との1対1対応を用いる。
• 巡回商特異点の解消から生じる整数係数二次形式にボゴモロフ＝ミヤオカ＝ヤウ不等式を適用する。
• 表面の最小解消における例外的曲線の配置を分析し、自己交叉数と交差パターンに注目する。
• 補題7.10および補題7.11を用いて、自己交叉数 ≤ -3 または ≤ -4 の成分をもつ配置を除外し、特定のケースで背理法を用いる。
• 表9および表10を用いて m/√D および K²_S の有理数値を計算し、m の整数性に反する非整数結果を示す。
• 命題4.2(1)を適用して交差数を評価し、canonical 線分束が複数の成分と交わる場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 Q-ホモロジー射影平面が巡回商特異点をもち、滑らかでない部分が単連結である場合、高々3つの特異点をもつだろうか？
• RQ2 b₂(S) = 1 かつ H₁(S⁰, ℤ) = 0 をみたす非有理的表面に対して、代数的モンゴメリー＝ヤン予想は証明可能だろうか？
• RQ3 −K_S が正である場合、特に対数デル・ペッツォの場合に予想は成立するだろうか？
• RQ4 canonical 線分束の整数性および正性制約のもとで、どのような例外的曲線の配置が矛盾を引き起こすだろうか？
• RQ5 残りの未解決事例である、正の K_S をもつ有理的表面と巡回特異点は、完全に特徴づけられるだろうか？

主な発見

• 著者らは、巡回特異点をもち、H₁(S⁰, ℤ) = 0 である Q-ホモロジー射影平面 S が有理的でない場合、高々3つの特異点をもつことを証明した。
• 対数デル・ペッツォの場合に予想が確認された：−K_S が正であり、S が巡回特異点をもち、H₁(S⁰, ℤ) = 0 であれば、S は高々3つの特異点をもつ。
• 定理1.4と定理1.6の組み合わせにより、完全な代数的モンゴメリー＝ヤン予想は、正の canonical 線分束と巡回特異点をもつ有理的表面のケースに還元された。
• 特定の例外的曲線の配置（ケース15、23、24）は背理法により除外された：m/√D の非整数値および負の K²_S の値が導かれ、整数性または正性に反する。
• 補題7.10および命題4.2(1)を用いた自己交叉数と交差パターンの分析により、4つ以上の特異点をもつすべてのケースで矛盾が生じた。
• 本稿は、与えられた位相的制約のもとで、巡回特異点をもつ Q-ホモロジー射影平面の分類を完了し、未解決なのは1つの事例のみとなった。