[論文レビュー] Elliptic K3 surfaces admitting a Shioda-Inose structure

Kenji Koike|arXiv (Cornell University)|Apr 8, 2011

Finite Group Theory Research参考文献 2被引用数 6

ひとこと要約

この論文は、2-torsionセクションを有し、シュイダ＝イノウゼ構造を許容する楕円的K3表面を分類し、モーデル＝ヴェイユランクが0のとき、そのような構造がd = 1, 2, 3, 5, 7にしか存在しないことを証明する。これらのケースについて明示的なワイエルシュトラスモデルを構成し、関連するK3表面の超越格子がM_d = U⊕U⊕⟨-2d⟩に等長であることを示し、複素数体ℂ(t)上の楕円曲線の準同型を介してシュイダ＝イノウゼ対応を確認する。

ABSTRACT

We study elliptic K3 surfaces with Mordell Weil rank 0, and which has a 2-torsion section $σ$ such that the translation by $σ$ gives a Shioda-Inose structure.

研究の動機と目的

• 2-torsionセクションを有し、モーデル＝ヴェイユランクが0であるK3表面がシュイダ＝イノウゼ構造を許容するすべての楕円的K3表面を分類すること。
• このようなK3表面が存在するdの正確な値を特定し、既知の例をd=1とd=2を超えて拡張すること。
• これらのK3表面およびそれらに関連するクラスマン表面に対して、明示的なワイエルシュトラス方程式を構成すること。
• d=1,2,3,5,7に対して、K3表面の超越格子T_XがM_d = U⊕U⊕⟨-2d⟩に等長であることを確認すること。
• 複素数体ℂ(t)上の楕円曲線の2次双対準同型を介して、クラスマンサンドイッチ定理の幾何的実現を確認すること。

提案手法

• 2-torsionセクションσ = {x=y=0}を有する楕円的K3表面のワイエルシュトラスモデルy² = x(x² + a(t)x + b(t))を用い、これを平行移動によりニコリンインボリューションιを誘導する。
• 体ℂ(t)上の楕円曲線間の2次準同型φ: X ⇢ Yを有理的商写像として適用し、その双対準同型φ̂: Y ⇢ Xを定義する。
• Yのワイエルシュトラスモデルをy² = x(x² - 2a(t)x + a(t)² - 4b(t))として計算し、準同型の公式を明示的に導出する。
• 特異ファイバー構成をKodaira型I_n, I_n^*, III, III^*を用いて分析し、ord_ν(Δ_X), ord_ν(Δ_Y), m_ν^(1)などの不変量を計算して、可能なdを制限する。
• ネロン＝セベール群と超越格子を用いて判別式を計算し、特にT_X ≅ M_d = U⊕U⊕⟨-2d⟩の等長性を検証する。
• 島田らの特異ファイバー型およびねじれセクションに関する結果を応用し、可能な構成を分類し、不可能なd値を除外する。

実験結果

リサーチクエスチョン

• RQ1 モーデル＝ヴェイユランクが0で2-torsionセクションを有するK3表面がシュイダ＝イノウゼ構造を許容するdの値は何か？
• RQ2 与えられた制約のもとで、超越格子T_XがM_d = U⊕U⊕⟨-2d⟩に等長であるdの値は何か？
• RQ3 d=1,2,3,5,7に対して、このようなK3表面の明示的ワイエルシュトラスモデルを構成できるか？
• RQ4 準同型φ: X ⇢ Yおよびその双対φ̂: Y ⇢ Xは、どのようにクラスマンサンドイッチ定理を幾何的に実現するか？
• RQ5 特異ファイバー構成および判別式の位数は、dの可能な値をd=1,2,3,5,7に制限するか？

主な発見

• 2-torsionセクションを有し、モーデル＝ヴェイユランクが0である楕円的K3表面は、シュイダ＝イノウゼ構造を許容するためのd = 1, 2, 3, 5, 7に限られる。
• d=1,3,5に対して、超越格子T_XはM_d = U⊕U⊕⟨-2d⟩に等長であり、関連するK3表面X_dは準同型φを介してシュイダ＝イノウゼ構造を持つ。
• d=2,4,6に対して、Y_dの超越格子はT_Y ≅ U(2)⊕U(2)⊕⟨-d⟩であり、T_X(2) ≅ T_Yであることが確認され、準同型に起因する等長性が裏付けられる。
• d=1,2,3,5,7に対して明示的なワイエルシュトラスモデルが構成された：d=5,7に対しては、モデルがy² = x(x² + P(t)x + t^n(t-1)^{8-n})（P(t)は4次多項式）として与えられる。
• NS(X_d)の判別式は2d(8−d)であり、d=5,7では平方自由であるため、X_d(K) = {o,σ}であり、ρ(X_d)=17が確認される。
• 格子M = U⊕[[2,1],[1,-2]]⊕⟨-6⟩の判別群はℤ/30ℤであり、δ·δ = 7/30であることから、d=5に対してCorollary 1.13.3 in [N2]によりT_X ≅ Mが確認される。