[論文レビュー] On the geometry of anticanonical pairs

Robert Friedman|arXiv (Cornell University)|Feb 9, 2015

Advanced Differential Equations and Dynamical Systems参考文献 22被引用数 23

ひとこと要約

本稿は、$Y$ が滑らかな有理被覆面で、$D$ が $D \sim -K_Y$ を満たす有理曲線のサイクルであるような反標準対 $(Y,D)$ の幾何を調査する。特定の構成、たとえば $D^2 = -1$ かつ $r=8$ の場合に、$(-2)$-曲線（根）に関する反射で生成されるワイル群が、自己同型群 $\Gamma(Y,D)$ に対して無限大指数を持つことを確立し、これは無限個の $(-2)$-曲線が存在することを示唆する。この結果は、このような対の変形型における深い算術的・幾何的複雑性を明らかにし、Calabi-Yau 3-fold に対する「Clemens-Reidの夢」と類似している。

ABSTRACT

The systematic study of rational surfaces $Y$ with an anticanonical cycle $D$ dates back to a fundamental paper of Looijenga in 1981. Recently, Gross, Hacking and Keel have introduced new ideas into the subject. The goal of this mainly expository paper is to survey some results about such surfaces, old and new. We discuss the birational geometry and deformation theory of such pairs as well as the behavior of nef and big linear systems. We prove a theorem of Torelli type due to Gross-Hacking-Keel and describe some consequences. Among the new results in this paper are (1) a proof that the diffeomorphism type of a pair $(Y,D)$ is the same as its deformation type, and (2) a new characterization of the roots of the pair, i.e. the integral classes of square $-2$ in $H^2(Y)$ orthogonal to the components of $D$ which become the class of a smooth rational curve in some deformation.

研究の動機と目的

• 反標準対 $(Y,D)$ の被約的および変形幾何を理解すること、ここで $D$ は有理曲線のサイクルである。
• 互いに $D$ と分離する $(-2)$-曲線の類としての Looijenga の根が、このような対のモジュライおよび位相に果たす役割を明確化すること。
• 根のワイル群が自己同型群 $\Gamma(Y,D)$ に対して無限大指数をもつことを証明し、古典的な有限性の期待に反する事実を明らかにすること。
• これらの特異的 $K3$-類の表面に対し、Torelli 型定理および周期写像の解析を拡張すること。
• Calabi-Yau 3-fold が有限個の変形型しか持たないという予想（「Clemens-Reidの夢」）の玩具的モデルを提供すること。本稿では、この表面設定において無限族が存在することを示す。

提案手法

• $Y$ と $D$ の幾何を分析するために、特に $H^2(Y,\mathbb{Z})$ 内の直交補空間 $\Lambda = [D]^\perp$ を用いた格子論的技法を用いる。
• Vinberg の基準を適用し、$(-2)$-類における反射で生成される群が $O^+(\Lambda)$ において有限または無限大指数をもつ条件を同定する。
• $\mathbb{P}^2$ のノードおよび無限に近い点での吹き上げを用いて、特定の自己交わりの列を実現する具体的な例を構成する。
• 周期写像とその微分を分析し、変形理論とホッジ理論を結びつけるために、写像の上への性質を確立する。
• 根を、互いに分離する例外的曲線の類の差として特徴づける（$\mathbb{F}_0, \mathbb{F}_2$ の特別な場合を除く）。
• 一般にアーモニック錐と変形理論を用いて、$(Y,D)$ の幾何、位相、モジュライの関係を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 根のワイル群が、対 $(Y,D)$ を保存する自己同型群 $\Gamma(Y,D)$ に対して無限大指数をもつのはどのような条件下か？
• RQ2 有理曲線のサイクル $D$ をもつ反標準対 $(Y,D)$ の変形型は、$[D]^\perp$ への $A_r$ 格子の埋め込みとどのように関係するか？
• RQ3 このような対の周期写像が上への写像であることを示せるか？ そしてこれはモジュライ空間にどのような意味を持つのか？
• RQ4 根（$D$ と分離する $(-2)$-曲線の類）と一般にアーモニック錐の幾何との正確な関係は何か？
• RQ5 Torelli 定理が、$(Y,D)$ をそのホッジ構造とアーモニック錐からどれほど正確に回復できるか？

主な発見

• $D^2 = -1$ かつ $r=8$ の場合、ワイル群 $\mathsf{W}(R_Y)$ は $\Gamma(Y,D) = O^+(\Lambda)$ に対して無限大指数をもち、$Y$ 上に無限個の $(-2)$-曲線が存在することを示唆する。
• この場合の格子 $\Lambda$ は $U \oplus (-8)$ に同型であり、Vinberg の基準により、$n = -8 \neq -2$ であるため、反射群は無限大指数をもつ。
• $Y_0$ 上に無限個の $(-2)$-曲線が存在する。これは、すべての $k \in \mathbb{Z}$ に対して、$(4k^2 - 1)\gamma_1 + \gamma_2 + k\gamma_3$ という類が $(-2)$-曲線であることを示すことで証明される。
• $A_7$ が $E_{10}$ に非原始的埋め込みされる場合、$\Lambda \cong U \oplus (-2)$ であり、$\Gamma(Y,D) = \mathsf{W}(R_Y)$ であるため、ワイル群は有限大指数をもつ。
• 一般にアーモニック錐は変形のもとで保存され、ペア $(Y,D)$ の滑らかな位相的・幾何的性質を決定する。この錐はモジュライ空間においてザリスキ・ズダントである。
• $(Y,D)$ に対する Torelli 定理が成り立つ：ペアはそのホッジ構造と一般にアーモニック錐によって決定され、自己同型は両者を保存する整数等長写像に対応する。