[論文レビュー] Constructions of global integrals in the exceptional groups

David Ginzburg, Joseph Hundley|arXiv (Cornell University)|Aug 5, 2011

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

ひとこと要約

本稿は、例外的群における自動形式L関数のグローバルな積分表現を構成する体系的な枠組みを提示する。ユニポテンツ軌道と最大パラボリック部分群を用いてフーリエ係数とイーゼンスタイン級数を定義し、主要な貢献は、Gelfand-Kirillov次元とユニポテンツ軌道の関係を結ぶ次元条件を提示し、その条件が積分がEulerianであるかどうかを予測することにある。F4およびE6において、2つの新しいEulerian積分を明示的に構成した。

ABSTRACT

Motivated by known examples of global integrals which represent automorphic L-functions, this paper initiates the study of a certain two-dimensional array of global integrals attached to any reductive algebraic group, indexed by maximal parabolic subgroups in one direction and by unipotent conjugacy classes in the other. Fourier coefficients attached to unipotent classes, Gelfand-Kirillov dimension of automorphic representations, and an identity which, empirically, appears to constrain the unfolding process are presented in detail with examples selected from the exceptional groups. Two new Eulerian integrals are included among these examples.

研究の動機と目的

• 例外的群における自動形式L関数を表すグローバル積分を体系的に構成するための方法を開発すること。
• ユニポテンツ軌道とパラボリック部分群に基づく統一的枠組みにおいて、ランキン＝セルバーグ法とラングランズ＝シャーディ法を統合・一般化すること。
• このような積分がEulerianである条件を特定すること、特にGelfand-Kirillov次元を含む次元等式を通じて。
• 例外的群F4およびE6において、新しいEulerian積分を明示的に構成すること。
• theta関数とWeil表現が、自動形式を含む展開過程における役割を調査すること。

提案手法

• 例外的群におけるユニポテンツ軌道の分類を用いて、パラボリック部分群P_O = M_O U_Oと、U_O(A)/U_O(F) 上の特性ψ_U_Oを定義する。
• ψ_U_Oの安定化子Cにおけるカスプ的表現πと、τから誘導されるイーゼンスタイン級数E_τ(g,s)に対して、グローバル積分を∫_{C(F)\C(A)} ∫_{U_O(F)\U_O(A)} φ_π(g) E_τ(ug,s) ψ_U_O(u) du dg として定義する。
• ユニポテンツルートの構造とWeil表現の作用を用いて、特にtheta関数を含む場合の展開過程を分析する。
• 主要な技術的道具として、Gelfand-Kirillov次元を用いて、次元条件 dim C + dim U_O = dim π + dim E_τ(·,s) を導出し、τの選択を制約する。
• F4およびE6において明示的な計算を実施し、ヘイゼンベルク群の構造とtheta関数を用いて、Weil表現を含む積分の展開を分析する。
• 展開がWhittaker積分に還元されることを条件として、Eulerianであるための基準を提示する。この条件は、次元条件と同値であることが示された。

実験結果

リサーチクエスチョン

• RQ1 形式 ∫ φ_π(g) E_τ(ug,s) ψ_U_O(u) du dg のグローバル積分がいつEulerianであるか？
• RQ2 次元条件 dim C + dim U_O = dim π + dim E_τ(·,s) は、例外的群におけるEulerian積分の存在を予測するためにどのように利用できるか？
• RQ3 theta関数とWeil表現は、非一般的表現を含むグローバル積分の展開において、どのように機能するか？
• RQ4 本フレームワークは、既知の例を超えて、例外的群における新しいEulerian積分を構成するために拡張可能か？
• RQ5 自動形式のフーリエ係数がなぜ一般に自動形式でないのか、そしてこれは普遍包あらゆる代数の中心のスペクトルとどのように関係するか？

主な発見

• 本稿では、例外的群F4およびE6において、2つの新しいEulerianグローバル積分を構成し、提示されたフレームワークの明示的例を提供した。
• グローバル積分がEulerianであるための必要条件として、次元条件 dim C + dim U_O = dim π + dim E_τ(·,s) が同定され、この条件がτの可能な選択を決定する。
• グローバル積分がWhittaker積分に展開されることと、この次元条件が同値であることが示され、Eulerianであるための基準が得られた。
• theta関数を含む場合、積分はWeil表現を含むペアリングに展開され、Heisenberg群の作用は特性ψ_{-2a}(x) = ψ(-2ax) を用いて明示的に計算された。
• 解析により、自動形式のフーリエ係数は一般に自動形式でないことが示された。これは、z-有限性の失敗に起因し、Eisenstein級数とのペアリングにおいて、z-有限性を仮定すると矛盾が生じることで示された。
• 本手法により、ランキン＝セルバーグ法とラングランズ＝シャーディ法が、ユニポテンツ軌道とパラボリック部分群に基づく枠組みにおいて、例外的群へと体系的に一般化された。