[論文レビュー] Towards Functoriality Of Spinor L-functions

Bernhard Heim|ArXiv.org|Aug 25, 2008

Advanced Algebra and Geometry参考文献 32被引用数 3

ひとこと要約

本論文は、GL(2) × GSp(4) から GSp(6) への関手的持ち上げについて、尖点性の基準を確立し、スピン作用L関数（3次）がこのような持ち上げから生じることを証明する。モチーフ的および解析的アプローチを用いて、デリーニュ、アンドリアノフ、パーンチシュキン、ヨシダの臨界値および関数等式に関する予想との整合性を確認する。特にホッジ型の計算とL群の準同型を用いる。

ABSTRACT

The object of this work is the spinor L-function of degree 3 and certain degeneration related to the functoriality principle. We study liftings of automorphic forms on the pair of symplectic groups $( ext{GSp}(2), ext{GSp}(4))$ to $ ext{GSp}(6)$. We prove cuspidality and demonstrate the compatibility with conjectures of Andrianov, Panchishkin, Deligne and Yoshida. This is done on a motivic and analytic level. We discuss an underlying torus and L-group homomorphism and put our results in the context of the Langlands program.

研究の動機と目的

• GL(2) × GSp(4) 上の自動形式から GSp(6) への関手的持ち上げを確立すること、特に3次スピン作用L関数について。
• 持ち上げられた表現が尖点的であり、他の形式的組み合わせを除き、特定の重みのみが現れることを証明すること。
• デリーニュ、アンドリアノフ、パーンチシュキン、ヨシダの予想による関数等式および臨界値の算術的性質と、持ち上げの整合性を示すこと。
• 自動形式に付随するモチーフのテンソル積としてL関数を理解するためのモチーフ的および解析的枠組みを提供すること。
• タイプIIのミヤワキ予想が、2つの楕円モジュラー形式の持ち上げではなく、1つの楕円モジュラー形式と2次スiegelモジュラー形式の持ち上げとして解釈できることを示すこと。

提案手法

• ラングランズの関手的性質の原理を用い、GL(2) × GSp(4) 上の自動形式表現から GSp(6) 上のそれへ写像を定義する。重みはそれぞれ k−2 および k である。
• L群の準同型を適用し、誘導されるL関数を L(s, π₁ × π₂, ρ₁ ⊗ ρ₂) = L(s, π₁ ⨂ π₂, ρ₃) の形の畳み込みL関数として分析する。
• クネンプの公式によるホッジ型の計算を用い、モチーフ M(h) ⊗ M(G) の可能なホッジ分解を特定し、それとターゲットモチーフ M(F) のホッジ型を比較する。
• モチーフのベッチ実現と H_B(M) ⊗ C = ⊕ H^{p,q}(M) の分解を用い、可能な重みおよび型を制約する。
• 自動形式L関数の理論および積分表現を用い、フールサワ、ハイメ、ボッヘラーの結果を援用する。
• ヘッケ固有値の明示的計算により持ち上げを検証し、F₁₄ に対して λ₂(F₁₄) = τ(2) · λ₂(G) が成り立つことを示す。

実験結果

リサーチクエスチョン

• RQ1 GSp(6) 上の3次スピン作用L関数は、GL(2) × GSp(4) 上の自動形式からの関手的持ち上げとして生じ得るか？
• RQ2 このような持ち上げと整合する正確な重みおよびホッジ型は何か？ また、他の組み合わせはどのように除外されるか？
• RQ3 3次スピン作用L関数の関数等式および臨界値は、デリーニュ、アンドリアノフ、パーンチシュキン、ヨシダの予想と整合するか？
• RQ4 タイプIIのミヤワキ予想は、2つの楕円形式の持ち上げではなく、1つの楕円モジュラー形式と2次スiegelモジュラー形式の持ち上げとして解釈できるか？
• RQ5 GSp(6) 上のスiegel尖点形式Fに対応するモチーフ M(F) に対して、GL(2)およびGSp(4) 上の自動形式に付随するモチーフのテンソル積 M(h) ⊗ M(G) が、M(F) に同型であるか？ これはモジュラー性に何を意味するか？

主な発見

• GL(2) × GSp(4) から GSp(6) への持ち上げは尖点的であり、重み k−2 および k のみが可能であり、他の形式的組み合わせはすべて除外される。
• ホッジ型の計算により、モチーフ M(h) ⊗ M(G) のホッジ型が、重み k = K−2 および l = K のとき、3次スiegel尖点形式Fに対応するモチーフ M(F) のホッジ型と一致することが確認された。
• 3次スピン作用L関数の関数等式および臨界値は、デリーニュ、アンドリアノフ、パーンチシュキン、ヨシダの予想と整合する。
• ヘッケ固有値 λ₂(F₁₄) = τ(2) · λ₂(G) = −24 · λ₂(G) が検証され、持ち上げに関する強い数値的証拠が得られた。
• 持ち上げられた表現のL関数が、GL(2) × GSp(4) のスピン作用L関数として特定され、予想されるL関数の恒等式が確認された。
• モチーフ的アプローチにより、GL(2)およびGSp(4) 上の自動形式に付随するモチーフのテンソル積が、GSp(6) 上のスiegel尖点形式に対応するモチーフに同型であることが確認され、モジュラー性を支持する。