[論文レビュー] On singular cubic surfaces

Ivan Cheltsov|ArXiv.org|Jun 19, 2007

Geometry and complex manifolds参考文献 6被引用数 5

ひとこと要約

この論文は、特異点が正則な立方曲面のグローバルな対数正則特異点閾値（lct）を計算し、特異点の型に応じて正確な値を特定する。特に、S₄およびS₃×ℤ₃の対称性を持つ2つの特異立方曲面に対して、lctが1に等しいことを示し、Kähler–Einstein計量の存在が保証される条件を満たしていることから、それらの曲面にKähler–Einstein計量が存在することを証明する。

ABSTRACT

We study global log canonical thresholds of cubic surfaces with canonical singularities, and we prove the existence of a Kahler-Einstein metric on two singular cubic surfaces.

研究の動機と目的

• ℙ³における正則特異点をもつすべての立方曲面のグローバルな対数正則特異点閾値（lct）を計算すること。
• lct閾値基準を用いて、どの特異立方曲面がKähler–Einstein計量をもつかを特定すること。
• 特異点の型（例：𝔸₁、𝔸₄、𝔻₄、𝔼₆）とその配置に基づいてlct値を分類すること。
• lct値に基づいて、立方曲面の族間の有理写像が同型である条件を確立すること。
• lct(X) > dim(X)/(dim(X)+1) というlct閾値条件がKähler–Einstein計量の存在を示すことを検証し、特異なデル・ペッツォ曲面に適用すること。

提案手法

• G不変なQ-除的D ≡ −K_XをすべてのG不変Q-除的に対して、(X, λD)が対数正則であるようなλの上界として、グローバルG不変対数正則特異点閾値の定義を用いる。
• −(K_S + D)が豊富であるとき、対数正則特異点の集合（LCS）の連結性定理を適用する。
• 多変量PLT（純粋に対数正則）基準と付随の反転を用いて、点および曲線上の特異点を分析する。
• MMPにおける canonical model の一意性を応用し、対数対が canonical 特異点をもつならば、有理写像が双正則であることを導く。
• ℂ¹上での立方曲面の族間の明示的な有理写像ρ: V ⇢ V̄を、単項変換によって誘導し、中心ファイバーのlct値を比較する。
• 既知の結果 [12]、[16]、[5] を用いて、滑らかでない特別な特異曲面のlct値を確立し、それらを変形および退化技術を用いて特異ケースに応用する。

実験結果

リサーチクエスチョン

• RQ1 さまざまな型の正則特異点をもつ立方曲面のグローバルな対数正則特異点閾値の正確な値は何か？
• RQ2 どの特異立方曲面がKähler–Einstein計量をもつか？また、lctがこの性質を保証する条件は何か？
• RQ3 立方曲面の族間の有理写像が同型であるための条件は何か？
• RQ4 滑らかな立方曲面が特異なものに退化するとき、lct値はどのように変化するか？
• RQ5 lct閾値条件 lct(X) > dim(X)/(dim(X)+1) は、特異なデル・ペッツォ曲面上でKähler–Einstein計量の存在を示すために用いることができるか？

主な発見

• 特異立方曲面Sのグローバル対数正則特異点閾値は、Sing(S) = {𝔸₁} のとき2/3、Sing(S) ⊇ {𝔸₄} または Sing(S) = {𝔻₄} のとき1/3、Sing(S) ⊇ {𝔸₅} または Sing(S) = {𝔻₅} のとき1/4である。
• Sing(S) = {𝔼₆} のときlctは1/6、特異点集合が空でない他のすべての場合は1/2である。
• xyz + xyt + xzt + yzt = 0 で定義される立方曲面𝔁̌Sは、lct(𝔁̌S, S₄) = 1 を満たし、Kähler–Einstein計量をもつことが示される。
• xyz = t³ で定義される立方曲面𝔷̌Sは、lct(𝔷̌S, S₃×ℤ₃) = 1 を満たし、Kähler–Einstein計量をもつことが示される。
• 対数正則特異点の仮定の下で、lct(X) + lct(X̄) > 1 または lct(X) ≥ 1 ならば、立方曲面の族間の有理写像ρ: V ⇢ V̄は同型である。
• 退化において、中心ファイバーXのlctは一般ファイバーX̄のlctより厳密に小さいことがある（例：lct(X) = 1/6、lct(X̄) = 2/3）。これは、lctが退化において保存されないことを示している。