[論文レビュー] Elliptic K3 surfaces with geometric Mordell-Weil rank 15

Remke Kloosterman|ArXiv.org|Feb 21, 2005

Algebraic Geometry and Number Theory参考文献 9被引用数 6

ひとこと要約

この論文は、クワタのリストを完成させるために、幾何学的モーデル・ヴェイユランク15をもつ楕円的K3表面の最初の明示的ワイエルシュトラス方程式を構成する。有限体上のフロベニウス点数えとベースチェンジを用いて、ピカール数が正確に17であることを証明し、シオダ＝タウ公式およびアーティン＝テイト予想の修正を用いて、モーデル・ヴェイユランクが15であることを確認する。

ABSTRACT

We prove that the elliptic surface y^2=x^3+2(t^8+14t^4+1)x+4t^2(t^8+6t^4+1) has geometric Mordell-Weil rank 15. This completes a list of Kuwata, who gave explicit examples of elliptic K3-surfaces with geometric Mordell-Weil rank 0,1,..., 14, 16, 17,18.

研究の動機と目的

• クワタの、幾何的モーデル・ヴェイユランク0〜18の明示的楕円的K3表面のリストを完成させるために、ランク15の例を構成すること。
• 幾何的モーデル・ヴェイユランク15をもつジャコビアン楕円的K3表面の、ℚ上での明示的ワイエルシュトラス方程式を提供すること。
• 構成された表面のピカール数が正確に17であることを証明し、これによりシオダ＝タウ公式を用いてモーデル・ヴェイユランクが15であることを示すこと。
• アーティン＝テイト予想と有限体上のフロベニウス点数えを用いて、ピカール数が18である可能性を除外し、正確なランクを確立すること。

提案手法

• パrameter (a,b,c) でパrameter化されたワイエルシュトラス方程式を用いて、少なくとも15個の独立した節を持つ1パラメータ族の楕円的K3表面を構成し、幾何的モーデル・ヴェイユランク ≥15 を示すこと。
• その族に8次のベースチェンジを適用して、非可約なファイバーのみをもち、ネロン＝セバール群が同型となる新しいK3表面を得ることで、モーデル・ヴェイユランクの下界を保つこと。
• レフシェッツの固定点公式を用いて、𝔽₁₇および𝔽₁₉での点数えによって、エタールコホロロジー上のフロベニウスの特性多項式を計算すること。
• アーティン＝テイト予想を適用して、𝔽₁₇⁶および𝔽₁₉⁶上でネロン＝セバール格子の行列式を平方数で割った剰余類を計算し、それが平方数でないことを示すことにより、ピカール数18の可能性を除外すること。
• シオダ＝タウ公式を用いてピカール数とモーデル・ヴェイユランクを関連づけ、ピカール数が17のとき、モーデル・ヴェイユランクが正確に15であると結論づけること。
• 特定の表面 y² = x³ + 2(t⁸ + 14t⁴ + 1)x + 4t²(t⁸ + 6t⁴ + 1) が、定理1.1の一般族において (a,b,c) = (2,4,2) に対応することを確認し、ランク結果を裏付けること。

実験結果

リサーチクエスチョン

• RQ1 ℚ上に、幾何的モーデル・ヴェイユランク15をもつ楕円的K3表面の明示的ワイエルシュトラス方程式が存在するか？
• RQ2 有限体還元とアーティン＝テイト予想を用いて、そのような表面のピカール数を17以下に上界で抑えられるか？
• RQ3 ピカール数が17のとき、シオダ＝タウ公式が示唆するように、モーデル・ヴェイユランクは正確に15か？
• RQ4 有限体上でのネロン＝セバール格子の行列式を平方数で割った剰余類を用いて、ピカール数が18である可能性を除外できるか？
• RQ5 𝔽₁₇および𝔽₁₉上で、表面のエタールコホロロジー上のフロベニウスの正確な特性多項式は何か？ そして、それはピカール数にどのように寄与するか？

主な発見

• y² = x³ + 2(t⁸ + 14t⁴ + 1)x + 4t²(t⁸ + 6t⁴ + 1) で定義される楕円的K3表面は、幾何的モーデル・ヴェイユランクを正確に15もつ。
• この表面のピカール数は正確に17であり、ρ(X) ≤ 17 および ρ(X) ≥ 17 を示すことによって証明された。
• 𝔽₁₇および𝔽₁₉で、還元された表面はピカール数18をもつが、ネロン＝セバール格子の行列式を平方数で割った剰余類は平方数でないため、ρ(X) ≤ 17 であることが示された。
• 𝔽₁₇⁶および𝔽₁₉⁶上でエタールコホロロジー H²ét 上のフロベニウスの特性多項式が計算され、得られたネロン＝セバール格子の行列式を平方数で割った剰余類が平方数でないことが確認され、境界が裏付けられた。
• 表面は定理1.1の一般族において (a,b,c) = (2,4,2) に対応しており、少なくとも15個の独立した節が保証される。
• モーデル・ヴェイユランクが正確に15であるのは、シオダ＝タウ公式により rank MW(π) = ρ(X) - 17 = 17 - 17 = 0 と導かれるが、これは以前の下界と矛盾するため、ρ(X) = 17 かつ rank MW(π) = 15 でなければならない。