[論文レビュー] Algebraic surfaces and hyperbolic geometry

Burt Totaro|arXiv (Cornell University)|Aug 23, 2010

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

ひとこと要約

この論文は、双曲幾何を用いて代数的表面に対する Kawamata-Morrison コーン予想を確立し、有理的表面のネフおよびアンプルコーンが、双曲空間上に作用する離散自己同型群によって支配されることを示している。特定の K3 表面および有理的表面に対して、自己同型群が双曲的 3 次元空間上で有限体積をもつように作用することを証明し、算術群との共役性について反例を提示している。

ABSTRACT

This is a survey of the Kawamata-Morrison cone conjecture on the structure of Calabi-Yau varieties and more generally Calabi-Yau pairs. We discuss the proof of the cone conjecture for algebraic surfaces, with plenty of examples. We show that the automorphism group of a K3 surface need not be commensurable with an arithmetic group, which answers a question by Mazur.

研究の動機と目的

• 双曲幾何を用いて代数的表面に対する Kawamata-Morrison コーン予想を証明すること。
• 幾何的および群論的技法を用いて、有理的および K3 表面におけるネフおよびアンプルコーンの構造を記述すること。
• 有理的表面の自己同型群の構造を分析し、それが双曲空間上にどのように作用するかを特定すること。
• 双曲的 3 次元空間上に非アーベル的で離散的な自己同型群をもつ有理的表面の例を構成すること。
• K3 表面の自己同型群が算術群と共役であるかどうかという問題を解決し、一般にはそうではないことを示すこと。

提案手法

• 代数的表面の幾何的性質をエンコードするため、特にネフコーンおよびアンプルコーンを用いた凸コーンを、Néron-Severi 空間で用いる。
• コーン定理および Kleiman の基準を適用し、除数および曲線の数値同値性とアンプルネスおよびネフ性を関連付ける。
• 特に、自明な正則標準束をもつ表面に対して、ネフコーンを双曲空間内の凸コーンとしてモデル化する。
• K3 表面の Torelli 定理を用いて、表面の幾何とそのコホロロジーおよび自己同型群との関係を関係づける。
• 負の自己交叉をもつ曲線を収縮することで、滑らかな有理的表面から特異的 Calabi-Yau 表面へ移行し、その後、解像度に戻して結果を持ち上げる。
• 自己同型群のネフコーン上への作用を分析し、GL(2,\mathbb{Z}[\zeta]) および PGL(2,\mathbb{Z}[\zeta]) 上の群作用を通じて、双曲的 3 次元空間上での有限体積を示す。

実験結果

リサーチクエスチョン

• RQ1 有理的表面におけるネフコーンの構造は、どのように双曲幾何と関係するか？
• RQ2 K3 表面の自己同型群が算術群と共役でないことがあるか？
• RQ3 κ(X, -K_X) = 0 をみたす有理的表面のネフコーン上での自己同型群の作用は何か？
• RQ4 コーン予想は、正則標準束が数値的に自明な多様体上の曲線の構造をどのように記述するか？
• RQ5 特異的 Calabi-Yau 表面と滑らかなものとの関係において、グローバルインデックス I は果たす役割は何か？

主な発見

• K3 表面の自己同型群は一般に算術群と共役でないことが示され、Barry Mazur の問いに答えている。
• 特定の 12 点に於いて \mathbb{P}^2 を blown up して得られる有理的表面に対して、自己同型群は有限指数で GL(2,\mathbb{Z}[\zeta]) に同型である。
• PGL(2,\mathbb{Z}[\zeta]) の指数 24 の部分群による双曲的 3 次元空間の商は、図形的 8 字結びの補集合と位相的に同型である。
• 特異的表面 Y のネフコーンは \mathbb{R}^4 内の丸いコーンであり、Nef(Y) = Nef(M) が成り立つ。ここで M は ADE 特異点をもつ Calabi-Yau 表面である。
• PGL(2,\mathbb{Z}[\zeta]) は双曲的 3 次元空間上で有限体積をもつように作用し、κ(X, -K_X) = 0 の場合にコーン予想が確認された。
• Y の最小解像度 X は無限個の (-1)-曲線をもつが、自己同型群 Aut(X, \Delta) はそれらの上に有限個の軌道しか持たないため、コーン予想が成立することが保証される。