[論文レビュー] Fano threefolds and K3 surfaces

Arnaud Beauville|ArXiv.org|Nov 20, 2002

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

ひとこと要約

本稿は、一般の極化的 K3 表面が genus $ g $ のファノ3-fold に滑らかな反 canonical 戦利として現れるための必要十分条件を確立している。その条件は、その Picard ラティスと極化類が、あるファノ3-fold のそれと一致することである。主な結果は、固定された Picard ラティスを持つファノ3fold のモジュライスタックから極化的 K3 表面のモジュライスタックへの忘却写像 $ s_g^R: \mathcal{F}_g^R \to \mathcal{K}_g^R $ が滑らかで一般に全射であり、相対次元が $ b_3(V)/2 $ に等しいことである。これにより、ファノ3fold の反 canonical 戦利として現れる K3 表面の完全な特徴付けが得られる。

ABSTRACT

We discuss in this note which K3 surfaces appear as anticanonical divisors in a Fano threefold. We prove in particular that a general K3 surface with given Picard lattice P and polarization class h in P is an anticanonical divisor in a Fano threefold if and only if (P,h) is isomorphic to (Pic(V), c_1(V)) for some Fano threefold V, where Pic(V) is equipped with the intersection product (L,M) --> (L.M.c_1(V)).

研究の動機と目的

• 極化的 K3 表面がどのファノ3fold に滑らかな反 canonical 戦利として現れるかを特定すること。
• Picard ラティスの制約を介して、ファノ3fold とその K3 戦利表面との間のモジュライ的関係を分析すること。
• 与えられた Picard ラティスと極化類を備えた K3 表面が、ファノ3fold の超平面切断として実現可能であるための条件を確立すること。
• 与えられた K3 表面に対して、そのようなファノ3fold が存在する背後にある変形論的メカニズムを明確にすること。
• ファノ3fold のモジュライから極的な K3 表面のモジュライへの忘却写像の像を完全に特徴づけること。

提案手法

• 固定されたラティス同型 $ R \cong \mathop{\rm Pic}(V) $ が $ \rho \mapsto K_V^{-1} $ を満たすように、 genus $ g $ のファノ3fold $ V $ とその反 canonical 線形系統 $ |K_V^{-1}| $ 内の滑らかな反 canonical 戦利 $ S \subset |K_V^{-1}| $ の対 $ (V,S) $ をパラメトライズするモジュライスタック $ \mathcal{F}_g^R $ を構成する。
• Picard 群に $ R $ の原始的埋め込みが存在し、$ \rho $ が非常に類に写されるような極的な K3 表面 $ (S, \mathcal{O}_S(\rho)) $ をパラメトライズするモジュライスタック $ \mathcal{K}_g^R $ を定義する。
• 変形理論を適用して、忘却写像 $ s_g^R: \mathcal{F}_g^R \to \mathcal{K}_g^R $ が滑らかで一般に全射であることを示す。
• 弱 Lefschetz 定理を用いて、制限写像 $ \mathop{\rm Pic}(V) \to \mathop{\rm Pic}(S) $ の単射性を保証し、K3 表面にラティス論的制約を課す。
• 点 $ (V,S) $ における $ s_g^R $ の相対次元を、コhomオロジー的道具と Serre 対称性を用いて $ b_3(V)/2 $ に等しいことを示す。
• ペア $ (X,Y) $ の1次変形理論、特に $ T_X\langle Y\rangle $ で制御される層を用いて、モジュライスタックの接空間を研究する。

実験結果

リサーチクエスチョン

• RQ1 どの極的な K3 表面がファノ3fold の反 canonical 戦利として現れるか？
• RQ2 K3 表面がファノ3fold の超平面切断として実現可能であるための、ラティス論的条件は何か？
• RQ3 固定された Picard ラティスを持つファノ3fold のモジュライスタックから極的な K3 表面のモジュライスタックへの忘却写像は滑らかで一般に全射か？
• RQ4 この忘却写像の相対次元は何か？また、ファノ3fold の位相とどのように関係するか？
• RQ5 ペア $ (X,Y) $ の変形理論は、与えられた K3 表面を超平面切断として含むファノ3fold の存在をどのように制御するか？

主な発見

• 忘却写像 $ s_g^R: \mathcal{F}_g^R \to \mathcal{K}_g^R $ は滑らかで一般に全射であり、一般に、固定された Picard ラティス $ R $ と平方が $ 2g-2 $ である極化類 $ \rho \in R $ を備えた K3 表面が、あるファノ3fold の反 canonical 戦利として現れる。
• $ s_g^R $ の点 $ (V,S) $ における相対次元は $ b_3(V)/2 $ に等しく、これは与えられた K3 表面を超平面切断として含むファノ3fold のモジュライの数を定量化する。
• Picard ラティス $ R $ と極化類 $ \rho $ を備えた K3 表面 $ S $ がファノ3fold の反 canonical 戦利であるための必要十分条件は、$ (R, \rho) \cong (\mathop{\rm Pic}(V), K_V^{-1}) $ を満たすあるファノ3fold $ V $ が存在することである。
• $ s_g^R $ が点 $ (V,S) $ で滑らかであるための必要十分条件は $ H^0(S, \Omega^1_S \otimes \mathcal{O}_S(\rho)) = 0 $ であり、非分岐であるための必要十分条件は $ H^1(S, \Omega^1_S \otimes \mathcal{O}_S(\rho)) = 0 $ である。これらの条件は極化 $ \mathcal{O}_S(\rho) $ のみに依存する。
• $ g \leq 9 $ および $ g = 11 $ の場合、写像 $ s_g^R $ は一般に全射であるが、$ g = 10 $ の場合、その像は Wahl 写像が双射でないような曲線のモジュライ空間内の超曲面である。
• 例えば、$ S $ が楕円線束を備え、$ L = \mathcal{O}_S(kE + \Gamma) $ であるような場合、$ \dim H^0(S, \Omega^1_S \otimes L) \geq k-1 $ となる例が存在し、これは写像が正の genus で滑らかでない可能性があることを示している。