[論文レビュー] Perfect points on genus one curves and consequences for supersingular K3 surfaces

Daniel Bragg, Max Lieblich|arXiv (Cornell University)|Apr 9, 2019

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

ひとこと要約

本稿では、特徴量 ≥5 における非常に一般な超特異 K3 表面に対して、楕円曲線のファイブレーションが純粋に非分離な multisection を持つのは、それ自身に有理セクションを持つ場合に限ることを確立している。Frobenius作用と Weierstrass モデルにおける特異ファイバー構成の両方を用いて、Artin 不変量 8, 9, 10 の場合にこのような multisection が不可能であることを証明し、関数体の完備化上での有理点の存在に強い制約を与える。

ABSTRACT

We describe a method to show that certain elliptic surfaces do not admit purely inseparable multisections (equivalently, that genus one curves over function fields admit no points over the perfect closure of the base field) and use it to show that any non-Jacobian elliptic structure on a very general supersingular K3 surface has no purely inseparable multisections. We also describe specific examples of such fibrations without purely inseparable multisections. Finally, we discuss the consequences for the claimed proof of the Artin conjecture on unirationality of supersingular K3 surfaces.

研究の動機と目的

• 関数体上の種数 1 曲線が完備化上に点を持つ条件を特定すること、特に超特異 K3 表面の文脈において。
• 超特異 K3 表面の楕円ファイブレーションに純粋に非分離な multisection が存在するかを解明すること。
• Frobenius プルバックを H²(O_J) に適用するコホロロジー的基準を確立し、このような multisection の不在を検出すること。
• 非常に一般な超特異 K3 表面において、純粋に非分離な multisection が存在するならば有理セクションが存在することを示し、算術的構造と幾何的構造を結びつけること。

提案手法

• Artin–Tate の族を用いて、超特異 K3 表面の非ジャコビアン楕円ファイブレーションに関連するブレア類の変形をパラメトライズする。
• ブレア類の接空間における Frobenius の作用を、ジャコビアンファイブレーションの H²(O_J) 上のプルバックと同定する。
• 特異ファイバー型（Tate のアルゴリズムを用いて）に基づく基準を適用し、コホロロジー上の Frobenius プルバックが単射である条件を特定する。
• 指定された Kodaira ファイバー型を持つ明示的な Weierstrass モデルを構成し、単射性条件を検証し、multisection の存在を除外する。
• Weierstrass データのモジュライ空間を用いて、純粋に非分離な multisection を持つような部分集合の次元を上から押さえる。
• 非 ∞-Frobenius 分割領域を活用し、一般のファイブレーションがこのような multisection を持たないことを示す。

実験結果

リサーチクエスチョン

• RQ1 k(t) 上の種数 1 曲線が完備化 k(t)perf 上に点を持つのはどのような条件下か？
• RQ2 特徴量 ≥5 における超特異 K3 表面の楕円ファイブレーションに純粋に非分離な multisection が存在しうるか？
• RQ3 非常に一般な超特異 K3 表面において、純粋に非分離な multisection の存在は、有理セクションの存在と同値か？
• RQ4 Weierstrass モデルにおける特異ファイバー構成は、H²(O_J) 上の Frobenius プルバックの単射性にどのように影響するか？
• RQ5 純粋に非分離な multisection を持つ Weierstrass モデルの集合の次元は何か？

主な発見

• Artin 不変量 8, 9, または 10 の非常に一般な超特異 K3 表面では、純粋に非分離な multisection が存在するのは、有理セクションが存在する場合に限る。
• Artin 不変量 10 の非常に一般な超特異 K3 表面のいかなる楕円ファイブレーションに対しても、純粋に非分離な multisection は存在しない。これは有理セクションが存在しないことによる。
• 特定の特異ファイバー構成、例えば複数の III, IV, または I_n^* ファイバーを含む場合、H²(O_J) 上の Frobenius プルバックが単射となる。このため、ブレア類が消えることはない。
• 特定のファイバー型の組み合わせを持つ Weierstrass モデルを用いて、純粋に非分離な multisection を持たない超特異 K3 表面の明示的例が構成された。
• 純粋に非分離な multisection を持つ Weierstrass データの集合は、モジュライ空間において codimension ≥1 であるため、一般にはこのような multisection は存在しない。
• WD^{-2} 内の非 ∞-Frobenius 分割領域は空でなく、Frobenius プルバックが分解しない構成を含むため、存在しないことを支持する。