[論文レビュー] Self Rational Maps of K3 Surfaces

Xi Chen|arXiv (Cornell University)|Aug 10, 2010

Algebraic Geometry and Number Theory参考文献 4被引用数 12

ひとこと要約

この論文は、非常に一般な種数 $ g \geq 2 $ の射影的K3表面が、1より大きい次数の支配的有理自己写像をもたないことを証明する。退化技術を用いて、筆者はK3表面を、滑らかな楕円曲線に沿って接続されたデル・ペッツォ表面の和集合へ退化させ、その上での有理写像の誘導写像を解析する。最終的に、その写像が存在すると、Néron-Severi群上の除数類の振る舞いとネフ性条件に矛盾が生じるため、このような写像は存在しえないことを示す。

ABSTRACT

We prove that a very general projective K3 surface does not admit a dominant self rational map of degree at least two.

研究の動機と目的

• 種数 $ g \geq 2 $ の非常に一般なK3表面に、1より大きい次数の支配的有理自己写像が存在しないという予想を解決すること。
• K3表面における自己有理写像の幾何学的・算術的意味、特に有理点の密度と $ \mathbb{C}^2 $ による正則的支配との関係を理解すること。
• K3表面を、滑らかな楕円曲線に沿って接続されたデル・ペッツォ表面の和集合に退化させることで、自己有理写像を解析する退化技術を用いること。
• 退化した中央ファイバー上の誘導有理写像を研究し、 blown-up による不定性を解消して、除数類の振る舞いを解析すること。
• このような写像の存在が、Néron-Severi群上の矛盾を引き起こし、ネフ性条件に反するため、非存在性を示すこと。

提案手法

• 非常に一般なK3表面を、滑らかな楕円曲線 $ D $ に沿って横断的に接続された2つのデル・ペッツォ表面 $ S_1 \cup S_2 $ からなる $ W_0 = S_1 \cup S_2 $ に退化させ、次数 $ 2g-2 $ のアーマー線分束を保存する。
• 写像 $ \operatorname{Ext}(\Omega_{W_0}, \mathcal{O}_{W_0}) \to H^0(\mathcal{E}xt(\Omega_{W_0}, \mathcal{O}_{W_0})) \cong H^0(\mathcal{O}_D(-K_{S_1} - K_{S_2})) $ の全射性を用いて、$ W_0 $ がK3表面に滑らかに変形可能であることを保証する。
• 一般ファイバー $ X_t $ 上の有理写像 $ \phi_t: X_t \dashrightarrow X_t $ を、基底変換の後、全体空間上への有理写像 $ \phi: X \dashrightarrow X $ に引き上げて研究する。
• 有理写像 $ \phi $ の不定性を、有理型写像 $ f: Y \to X $ を用いて解消し、正則写像 $ \varphi = \phi \circ f $ を得る。その後、有理曲面の blown-up 上での除数類の押し出しを解析する。
• 特に、$ \mathbb{P}^2 $、$ \mathbb{F}_0 $、$ \mathbb{F}_1 $ の blown-up のNéron-Severi群上での $ \varphi_* $ の振る舞いを解析し、特に、ハイパープランの除数と例外曲線の像に注目する。
• ネフ性と大きさの条件から矛盾を導出し、特に $ \varphi_* $-像が要求される交差条件を満たさないことを示す。これは $ \beta = 1 $ でなければ成立せず、$ \deg \phi > 1 $ に反する。

実験結果

リサーチクエスチョン

• RQ1 非常に一般な射影的K3表面（種数 $ g \geq 2 $）は、1より大きい次数の支配的有理自己写像をもつか？
• RQ2 自己有理写像は、デル・ペッツォ表面の和集合への退化を用いて理解可能か？
• RQ3 Néron-Severi群とネフ性条件は、このような写像による除数類の押し出しにどのような制約を課えるか？
• RQ4 有理曲面 $ \mathbb{P}^2 $、$ \mathbb{F}_0 $、$ \mathbb{F}_1 $ の blown-up 上で、次数 $ \beta > 1 $ の有理写像が、線束と例外曲線の構造を保存しつつ存在可能か？
• RQ5 写像 $ \delta $ における双対化曲線 $ D $ の写像の振る舞いを解析することで、このような写像の存在を排除できるか？

主な発見

• 種数 $ g \geq 2 $ の非常に一般な射影的K3表面 $ X $ に対して、1より大きい次数の支配的有理自己写像 $ \phi: X \dashrightarrow X $ は存在しない。
• デル・ペッツォ表面の和集合への退化は、自己有理写像の解析を、有理曲面およびその blown-up 上での振る舞いに還元することで可能にする。
• 誘導写像 $ \varphi $ による除数類の押し出しは、$ \deg \phi > 1 $ を仮定すると、ネフ性と大きさの条件の両方に矛盾を引き起こす。
• すべてのケース（$ R_2 \cong \mathbb{P}^2 $、$ \mathbb{F}_0 $、$ \mathbb{F}_1 $）において、$ \beta > 1 $ は不可能な除数類の関係（例：$ \beta = \beta^2 $）を引き起こし、結果として $ \beta = 1 $ を強制する。
• 写像 $ \phi $ が接続曲線 $ D $ に沿って正則でない場合、$ \phi $ による点の逆像の像は例外曲線 $ E $ でなければならないが、これは $ \beta = 1 $ でなければ矛盾を生じる。
• 最終的な矛盾は、$ \operatorname{Exec}(\phi_{R_2}) = \emptyset $ を仮定したときに生じ、Néron-Severi群上の連立方程式系が $ \beta = 1 $ のみの解をもつことから、$ >1 $ の次数の写像は排除される。