[論文レビュー] A template method for Fourier coefficients of Langlands Eisenstein series

Dorian Goldfeld, Stephen D. Miller+1 more|arXiv (Cornell University)|Jul 27, 2020

Advanced Algebra and Geometry参考文献 10被引用数 6

ひとこと要約

本稿は、GL(n,R) 上のボレル・エーゼンスタイン級数とアデール上のカーリー代数群におけるエーゼンスタイン級数を用い、初めのフーリエ係数を初等的な線形代数によってより一般的なラングランズ・エーゼンスタイン級数から計算するための「テンプレート法」を導入する。主な貢献は、ジャケットの積分表現における消滅問題を回避する正規化済みのガンマ関数を備えた標準的正規化Whittaker関数であり、フーリエ係数におけるΓ-因子およびπの累乗の明示的公式を提供することで、高ランクの自己形式における精密な制御を可能にする。

ABSTRACT

This paper introduces the template method for computing the first coefficient of Langlands Eisenstein series on $\GL(n,\mathbb R)$ and more generally on Chevalley groups over the adele ring of $\mathbb Q.$ In brief, the first coefficient of Borel Eisenstein series can be used as a template to compute the first coefficient of more general Eisenstein series by elementary linear algebra calculations.

研究の動機と目的

• GL(n,R) および Q のアデール環上のカーリー代数群におけるラングランズ・エーゼンスタイン級数の初めのフーリエ係数を体系的に計算するための方法を開発すること。
• 文献においてアーキメデス的Whittaker関数の直接的計算が不足していた問題を解決し、以前はシャハイディの汎関数からの間接的導出に依存していたものである。
• フーリエ係数におけるΓ-因子およびπの累乗の明示的公式を提供すること。これは、高ランク自己形式における解析的応用にとって不可欠である。
• 負のワイル・チェンバ−における消滅を回避する標準的正規化Whittaker関数を確立し、フーリエ展開の定義を簡素化すること。

提案手法

• ボレル・エーゼンスタイン級数の初めのフーリエ係数をテンプレートとして用い、その既知の構造を活用して、ルート系およびラングランズパラメータに基づく線形代数により、より一般的なエーゼンスタイン級数の係数を計算する。
• ジャケットの積分表現における制限を克服するため、非消滅で負のワイル・チェンバ−における漸近挙動が単純な標準的正規化Whittaker関数を導入する。
• ラングランズパラメータ α = (α₁, α₂, α₃) ∈ ℂ³ で ∑αᵢ = 0 を満たすものを使い、GL(3,R) 上の不変微分作用素の環の固有関数をパrametrizeする。
• GL(3) の場合、I(g,α) = y₁¹⁻ᵃ³ y₂¹⁺ᵃ¹ が基本的構成要素として用いられ、そのラプラス固有値は 1 − (α₁² + α₂² + α₃²)/2 で与えられる。
• Satakeパラメータ、コルート、基本的ウェイトを含むルート系データを用いて、GL(4) や SL(4)、さらには E₈ のような例外的群に対しても一般化される。
• 標準L関数の関数等式を用い、既知のEuler因子と組み合わせて、局所L因子を計算し、Γ-因子を正規化Whittaker関数から直接導出する。

実験結果

リサーチクエスチョン

• RQ1 初めのフーリエ係数が、ルート系データと線形代数のみを用いてボレル・エーゼンスタイン級数から直接計算可能か。
• RQ2 ジャケットの積分表現における消滅問題を回避し、取り扱いやすい漸近挙動を示す標準的正規化Whittaker関数とは何か。
• RQ3 特に高ランクの場合に、アーキメデス的ケースにおけるフーリエ係数の正確なΓ-因子およびπの累乗を明示的に導出する方法は何か。
• RQ4 一般エーゼンスタイン級数のフーリエ係数の局所因子が、ボレル級数のそれらをどの程度模倣するか。
• RQ5 SL(4) や E₈ のような例外的群におけるエーゼンスタイン級数のフーリエ係数の正確な構造は、ルート系パラメータおよびL関数の観点からどのように記述できるか。

主な発見

• 本稿は、恒等的に消えない標準的正規化Whittaker関数を用いて、アーキメデス的Whittaker関数のΓ-因子およびπの累乗を直接計算し、重要な技術的障壁を解消する。
• GL(3) の場合、初めのフーリエ係数が L*(s+1,π)⁻¹ に比例することが示され、正規化Whittaker関数から明示的なΓ-因子が得られる。
• SL(4) の場合、(3,1) のパラボリックでは L*(s+1,φ)⁻¹ が得られ、φ はGL(2) 上のカスプ形式である。また、(2,2) のパラボリックでは L*(s+1,φ₁×φ₂)⁻¹ が得られる。
• E₈ の D₇ パラボリックでは、係数は L*(s+1,π,Spin)⁻¹L(2s+1,π,Stan)⁻¹ であり、L関数は64次元スピン表現および14次元「Stan」表現に付随する。
• E₈ 上のエーゼンスタイン級数のフーリエ係数は、E₇ および D₇ パラボリックを用いて正しく計算され、標準的および随伴L関数の観点から表現される。
• この枠組みにより、関数等式のΓ-因子を明示的に制御可能となり、[GSHW19] における応用のように、正確な解析的挙動が求められる状況において極めて重要である。