[论文解读] 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

一句话总结

本文明确定義了一個權重為2、秩為3的超幾何動機，參數為 α = (1/4, 1/2, 3/4) 和 β = (0, 0, 0)，透過橢圓纖化將其實現為 K3 曲面 Vₜ 的 étale 上同調的超越部分。主要結果為：在 ℓ-進實現在上幾何 Frobenius 的跡與有限域上的超幾何和 Hₚ(1/4,1/2,3/4;0,0,0|t) 相符，且此同構在 ℚ 上保持 Galois 結構，進而可對有理數 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的超幾何動機的幾何實現。
• 建立此動機的 ℓ-進實現在 Galois 表示相容性下與有限域上的超幾何和 Hₚ(α,β|t) 相符。
• 將此動機描述為由三元變數中三次方程定義的 K3 曲面 Vₜ 的第二 étale 上同調的直和分量。
• 證明上同調的超越部分對應於兩個非 CM 橢圓曲線的乘積所誘導的 Galois 表示。
• 透過幾何構造與 L-函數比較，推導出超幾何和之間的恆等式。

提出的方法

• 動機 H(Φ₂Φ₄, Φ₁³|t) 被實現為 K3 曲面 S = Ṽₜ⁻¹ 的第二 étale 上同調的超越部分 h²ᵗʳ(S)，其由仿射方程 xyz(1 - (x+y+z)) = 1/(256t) 建構而成。
• 透過變數變換與 Weierstrass 模型，在 Vₜ 上引入橢圓纖化，產生具有 Shioda–Inose 結構的 K3 曲面族。
• 證明 K3 曲面是兩個定義在 ℚ(t) 上的橢圓曲線 E₁ 和 E₂ 之 Kummer 曲面的二度覆蓋，其 j-不變量依賴於 t。
• 利用 Clifford 理論與誘導表示分析 H²(·, ℚₗ) 上的 Galois 模結構，顯示當曲線非 CM 時，超越部分作為 ℚₗ[G]-模是不可約的。
• 透過在 𝔽_q 上的點數計算 Frobenius 迴圈跡，並根據引理 6.5 及 Néron–Severi 網格的分解，證明其與有限域上的超幾何和 H_q(α,β|t) 相符。
• 透過橢圓曲線的 j-不變量引入模參數 t，將族連結至 X₀(2)，並提出問題：能否將此跡公式推廣至其他由兩條 2-同源曲線產生的 K3 曲面？

实验结果

研究问题

• RQ1 超幾何動機 H(1/4,1/2,3/4;0,0,0|t) 能否作為與 K3 曲面相關的 Chow 動機被幾何實現？
• RQ2 此動機的 ℓ-進實現在上 Frobenius 迴圈跡是否等於有限域上的超幾何和 H_q(α,β|t)？
• RQ3 上同調的超越部分上的 Galois 表示是否同構於兩個非 CM 橢圓曲線乘積所誘導的表示？
• RQ4 能否從幾何構造與 L-函數比較推導出涉及 S = √((t−1)/t) 的超幾何和恆等式？
• RQ5 此構造能否推廣至其他由兩條 2-同源曲線透過模參數化產生的 K3 曲面？

主要发现

• 動機 H(Φ₂Φ₄, Φ₁³|t) 被實現為 K3 曲面 S = Ṽₜ⁻¹ 的第二 étale 上同調的超越部分 h²ᵗʳ(S)，其中 S 由方程 xyz(1 - (x+y+z)) = 1/(256t) 定義。
• 此動機的 ℓ-進實現在在素數 p ≠ ℓ 時的幾何 Frobenius 迴圈跡等於 H_p(1/4,1/2,3/4;0,0,0|t)，如定理 7.4 所證。
• 對於 t ∈ ℚ× 使得對應的橢圓曲線 E₁ 和 E₂ 為非 CM 時，H²(·, ℚₗ) 的超越部分為 6 維不可約表示，同構於 Ind_N^G W，其中 G 為 Galois 群，W 為 3 維不可約表示。
• 此構造產生動機與 K3 曲面上同調之間的 Galois-相容同構，並保持 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 曲面。