[論文レビュー] On a certain hypergeometric motive of weight 2 and rank 3

Bartosz Naskręcki|arXiv (Cornell University)|Feb 24, 2017

Algebraic Geometry and Number Theory参考文献 16被引用数 7

ひとこと要約

本稿では、パラメータ α = (1/4, 1/2, 3/4) および β = (0, 0, 0) で定義される、重み 2、ランク 3 の超幾何的モチーフを、楕円曲線ファイブレーションを介して K3 表面 Vₜ のエタールコホロロジーの超越的部品として明示的に実現する。主な結果は、ℓ-進実現における幾何的フロベニウスのトレースが、有限体上の超幾何和 Hₚ(1/4,1/2,3/4;0,0,0|t) と一致することであり、この同一性は ℚ 上のガロア構造を尊重するため、有理数 t に対して正確な L 関数の記述が可能になる。

ABSTRACT

We study a family of hypergeometric motives $H(α,β|t)$ attached to a pair of tuples $α=(1/4,1/2,3/4)$, $β=(0,0,0)$. To each such motive we can attach a system of $\ell$--adic realisations with the trace of geometric Frobenius given by the evaluation of the finite field analogue of complex hypergeometric function. Geometry of elliptic fibrations makes it possible to to realise the motive $H(α,β|t)$ as a pure Chow motive attached to a suitable K3 surface $V_{t}$.

研究の動機と目的

• 代数幾何学を用いて、重み 2、ランク 3 の特定の超幾何的モチーフの幾何的実現を構成すること。
• ガロア表現の整合性を介して、このモチーブの ℓ-進実現が有限体上の超幾何和 Hₚ(α,β|t) と一致することを確立すること。
• このモチーブが、3 変数の三次方程式で定義される K3 表面 Vₜ の第二エタールコホロロジーの直接和成分として記述されること。
• コホロロジーの超越的部品が、2 つの非 CM 楕円曲線の積からの誘導されたガロア表現に同型であることを示すこと。
• 幾何的構成と L 関数の比較を用いて、S = √((t−1)/t) を含む超幾何和の恒等式を導出すること。

提案手法

• モチーブ H(Φ₂Φ₄, Φ₁³|t) は、アフィン方程式 xyz(1 - (x+y+z)) = 1/(256t) から得られる K3 表面 S = Ṽₜ⁻¹ の第二エタールコホロロジーの超越的部品 h²ᵗʳ(S) として実現される。
• 変数の変換とワイエルシュトラスモデルを用いて、Vₜ 上に楕円曲線ファイブレーションを導入し、シオダ–イノセ構造を持つ K3 表面の族を得る。
• K3 表面が、j-不変が t に依存する ℚ(t) 上に定義された 2 つの楕円曲線 E₁ と E₂ に関連するクマーモジュラー表面の 2 次被覆であることが示される。
• クラッカー理論と誘導表現を用いて、H²(·, ℚₗ) 上のガロアモジュール構造を分析し、非 CM 曲線に対して超越的部品が ℚₗ[G]-加群として既約であることを示す。
• 有限体 𝔽_q 上の多様体上の点数の計算によりフロベニウスのトレースを計算し、ネロン–セバーライの分解と組み合わせて、Corollary 6.5 を用いて、有限体上の超幾何和 H_q(α,β|t) と一致させることを確認する。
• 楕円曲線の j-不変を用いてモジュラーパラメータ t を導入し、この族が X₀(2) と関連することを示し、2 つの同種な楕円曲線から得られる他の K3 表面へのトレース公式の一般化に関する疑問を提起する。

実験結果

リサーチクエスチョン

• RQ1 超幾何的モチーブ H(1/4,1/2,3/4;0,0,0|t) は、K3 表面に付随するチャウモチーブとして幾何的に実現可能か？
• RQ2 このモチーブの ℓ-進実現におけるフロベニウスのトレースは、有限体上の超幾何和 H_q(α,β|t) に等しいか？
• RQ3 コホロロジーの超越的部品上のガロア表現は、2 つの非 CM 楕円曲線の積からの誘導表現と同型か？
• RQ4 S = √((t−1)/t) を含む超幾何和の恒等式は、幾何的構成と L 関数の比較から導出可能か？
• RQ5 2 つの同種な楕円曲線から得られる他の K3 表面への、この構成をモジュラーパラメトライゼーションを用いて一般化可能か？

主な発見

• モチーブ H(Φ₂Φ₄, Φ₁³|t) は、方程式 xyz(1 - (x+y+z)) = 1/(256t) で定義される K3 表面 S = Ṽₜ⁻¹ の第二エタールコホロロジーの超越的部品 h²ᵗʳ(S) として実現される。
• このモチーブの ℓ-進実現における、素数 p ≠ ℓ における幾何的フロベニウスのトレースは、定理 7.4 により H_p(1/4,1/2,3/4;0,0,0|t) に等しい。
• t ∈ ℚ× で、関連する楕円曲線 E₁ と E₂ が非 CM である場合、H²(·, ℚₗ) の超越的部品は、G がガロア群で、W が 3 次元既約表現であるとき、6 次元の既約表現として Ind_N^G W に同型である。
• この構成により、モチーブと K3 表面のコホロロジーの ℓ-進実現の間のガロア-equivariant 同型が得られ、L 関数構造が保存される。
• 恒等式が確立された：q² × H_q(1/6,5/6;1/4,3/4|2(7±9S)²/(5±3S)³)² − q = H_q(1/4,1/2,3/4;0,0,0|1−S²) は、良い還元の素数 q に対して成り立つ。
• K3 表面の族は、有理数パラメータ t = a⁴/(16(a²−4b)b) を用いて X₀(2) と関連づけられ、2 つの同種な楕円曲線から得られる他の K3 表面への一般化の可能性を示唆する。