[論文レビュー] On the isotriviality of families of elliptic surfaces

Keiji Oguiso, Eckart Viehweg|ArXiv.org|Dec 13, 1999

Algebraic Geometry and Number Theory参考文献 15被引用数 19

ひとこと要約

この論文は、複素楕円曲線または穿孔付き複素直線（ℂ*）上に、非負のコルダイラ次元をもつ滑らかで極小な代数的表面の族が、すべて同型的（isotrivial）であることを証明している。すなわち、有限次数の基底変換により、族は自明になる。証明は、カワマタ、フジタ、ヴィエヘグらの手法を拡張し、直接像の正則性と対数微分形式を用いる。特に、局所トーレリ定理とヤコビアン被覆を活用して、非同型的変形の存在を除外する。

ABSTRACT

We study non-isotrivial projective families of elliptic surfaces of Kodaira dimension one, over complex projective curves. If the base is an elliptic curve, we show that the family must have a singular fibre, and that over the projective line it must have at least three singular fibres. Similar results, for families of surfaces of general type, have been obtained by Migliorini and Kovács, and they are well-known for projective families of surfaces of Kodaira dimension zero. Revised version: We corrected some minor errors and ambiguities, and we completed the list of references.

研究の動機と目的

• 複素楕円曲線または ℂ* 上に、非負のコルダイラ次元をもつ滑らかで極小な代数的表面族の同型的性を確立すること。
• 一般型の表面に対する既存の同型的性の結果を、コルダイラ次元が1の状況にまで拡張すること。
• 非負のコルダイラ次元をもつ極小な代数的表面の文脈において、同型的族の分類を完成させること。
• 全空間の射影性が本質的であることを、例えばツイスター空間を含む非射影的 K3 表面族と対比することで検証すること。

提案手法

• 双対層の直接像の正則性結果、特に $ \nu \geq 1 $ のときの $ f_*\omega^{\nu}_{X/B} $ の数値的効果性を用いる。
• 開かつ稠密な部分集合に関する半正則性と正則性の概念を用いて、ホッジ構造の変動を分析する。
• 対数微分形式 $ \Omega^i_X(\log D) $ 及びその層論的性質を用いて、相対 canonical 層 $ \omega_{X/B} $ を研究する。
• 元の族の幾何をより構造的な設定に結びつけるために、有限被覆上にヤコビアン被覆 $ \gamma': J' \to W' $ を構成する。
• 同型 $ \gamma'_{0*}\omega'_{J'/B} \simeq g'_{0*}\omega'_{X'/B} $ を用いて、$ X' $ から $ J' $ へ正則性の性質を移す。
• 非同型的族が存在すると仮定した場合に、$ H^0(J', \Omega^2_{J'/B}(\log \nabla')^\prime \otimes \gamma^{\prime*}\mathcal{L}^{-1} \otimes \mathcal{O}_{J'}(\Upsilon)) = 0 $ となることで、矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 楕円曲線または ℂ* 上に、非負のコルダイラ次元をもつ滑らかで極小な代数的表面族は、すべて同型的であるか？
• RQ2 一般型表面に対する同型的性の結果を、コルダイラ次元が1の表面へ拡張できるか？
• RQ3 局所トーレリ定理は、ℂ* や楕円曲線上の族の同型的性を保証するために果たす役割は何か？
• RQ4 グローバルなトーレリ定理が成り立たない状況において、対数微分形式とヤコビアン被覆は同型的性の証明にどのように寄与するか？
• RQ5 $ f_*\omega^{\nu}_{X/B} $ の正則性が同型的性を示すために必要な条件は何か？

主な発見

• 複素楕円曲線または ℂ* 上に、非負のコルダイラ次元をもつ滑らかで極小な代数的表面族は、すべて同型的である。
• すべてのファイバーが極小モデルであるという仮定のもとで、同型的性が成り立ち、全空間の射影性が本質的である。
• 証明は、$ f_*\omega^{\nu}_{X/B} $ の正則性と、ある対数層に非ゼロの切断が存在することに依存し、非同型的族が存在すると仮定した場合に矛盾を導く。
• ヤコビアン被覆 $ \gamma': J' \to W' $ の構成により、元の族から正則性の性質を、局所トーレリ定理が適用可能な設定へ移すことができる。
• 矛盾は、$ H^0(J', \Omega^2_{J'/B}(\log \nabla')^\prime \otimes \gamma^{\prime*}\mathcal{L}^{-1} \otimes \mathcal{O}_{J'}(\Upsilon)) $ の消滅から生じ、期待される正則性を破る。
• この結果により、極小な代数的表面の場合の同型的族の分類が完成し、一般型表面に対する既存の結果が拡張された。