[論文レビュー] P-adic L-functions and diagonal cycles for GSp(4) x GL(2) x GL(2)

David Loeffler, Sarah Livia Zerbes|arXiv (Cornell University)|Nov 30, 2020

Advanced Algebra and Geometry参考文献 29被引用数 5

ひとこと要約

本稿は、GSp(4) × GL(2) × GL(2) 上の自己形式に対する p-進 L 関数の推測的理論を提唱し、中心 L 値の平方根を補間するものであり、対角サイクルを通じてガロアコホモロジー類の族へ幾何的関係を確立する。主な貢献は、p-進レギュレーター写像による対角サイクルの像とこれらの p-進 L 関数を結ぶ推測的明示的相互法則の提唱であり、Darmon と Rotger の GL₂×GL₂×GL₂ 三重積に関する研究を一般化する。

ABSTRACT

We develop a (largely conjectural) theory of p-adic L-functions interpolating square roots of central L-values for automorphic forms on GSp(4) x GL(2) x GL(2), and a relation between these p-adic L-functions and families of Galois cohomology classes interpolating algebraic cycles. Our theory is a generalisation of the theory of "diagonal cycles" developed by Darmon and Rotger for the GL(2) triple product.

研究の動機と目的

• GL₂×GL₂×GL₂ から GSp(4)×GL(2)×GL(2) への対角サイクルおよび p-進 L 関数の理論の拡張、Darmon と Rotger の枠組みの一般化。
• GSp(4)×GL(2)×GL(2) 上の自己形式に対して、異なる重み領域で中心 L 値の平方根を補間する p-進 L 関数の構成。
• これらの p-進 L 関数と対角サイクルから生じるガロアコホモロジー類を結ぶ明示的相互法則の定式化および推測。
• 高ランク設定における Birch–Swinnerton-Dyer 猜測および関連する L 関数の特別値を、幾何的・算術的枠組みで扱うための基盤の提供。

提案手法

• 著者らは、2つの異なる重み領域 (f) と (e) において、中心 L 値の平方根の補間を用いて p-進 L 関数を定義する。ここで (f) は GSp(4) の支配的重み、(e) はバランス型重みに対応する。
• Kuga–Sato 多様体上の対角サイクルを通じて、ガロアコホモロジー類の族を構成し、3次元の Hida 家族パラメータ空間全体にわたって代数的サイクルを補間する。
• 理論は、Perrin-Riou のレギュレーター写像を用いてコホモロジー類と p-進 L 関数を関係づけるものであり、GL₂×GL₂×GL₂ の相互法則を拡張する。
• 重要な構成として、Iwasawa 環の分数体への de Rham コホモロジーの双対からの標準的評価写像を定義し、古典的特別値を補間する。
• Hida 家族を GSp(4) および GL(2) に対して用い、基底変換と双対性技術を用いてコホモロジーと L 関数の補間を関係づける。
• 明示的相互法則は、Selmer 複体 → p-進 Hodge コホモロジー → de Rham 加群 → 評価写像 という写像の鎖を通じて、p-進 L 関数と一致すると推測される。

実験結果

リサーチクエスチョン

• RQ1 GSp(4)×GL(2)×GL(2) 上の自己形式に対して、中心 L 値の平方根を補間する p-進 L 関数はどのように構成可能か？
• RQ2 これらの L 関数は、代数的サイクルおよびガロアコホモロジーの観点から、幾何的・コホモロジー的解釈をどのように持つか？
• RQ3 明示的相互法則は、p-進レギュレーター写像による対角サイクルの像と、異なる重み領域における p-進 L 関数をどのように関係付けるか？
• RQ4 技術的課題を抱える高ランク自己形式の文脈において、カスプ的 Hida 家族の場合に相互法則が証明可能か？
• RQ5 変形技術および高ランク Hida 理論は、有限個のクリスタル的点を超えて、完全な相互法則を確立するために果たす役割は何か？

主な発見

• 本稿では、3つの支配的重み領域 (f) における GSp(4)、(g) における GL(2)₁、(h) における GL(2)₂ に対して、中心 L 値の平方根を補間する3つの p-進 L 関数を構成した。
• 対角サイクルから生じるガロアコホモロジー類の族を構成し、中心 L 値が存在しないバランス型領域 (e) 全体にわたって補間可能であることを示した。
• 明示的相互法則が推測される：対角サイクル類の p-進レギュレーター写像による像は、隣接領域における p-進 L 関数に一致する。具体的には Δ(Π×G, (e)) が L_p(Π×G, (f)) に写される。
• 有限個のクリスタル的点 (φ ∈ X_e^cris) において推測が検証され、相互法則の強力な証拠が得られた。
• 著者らは、多変数 p-進 L 関数および高ランク Hida 理論を用いた将来的な証明戦略を提案しているが、現段階では有限個の点に限定された手法にとどまっている。