[論文レビュー] Entirety of cuspidal Eisenstein series on loop groups

Howard Garland, Stephen D. Miller+1 more|arXiv (Cornell University)|Apr 17, 2013

Advanced Mathematical Identities参考文献 13被引用数 6

ひとこと要約

この論文は、Q 上の有限次元Chevalley群からのカスプ形式から誘導されるループ群上のカスプ Eisenstein 級数の絶対収束性を確立し、それらがスペクトルパラメータ ν に関して複素平面全体で整関数であることを証明する。有限次元の場合とは異なり、このような級数は右半平面でのみ収束し、極をもつが、著者たちはカスプ形式の指数的減衰推定とループ群における Iwasawa 成分の成長制御により、整関数への解析的接続を達成する。

ABSTRACT

In this paper, we prove the entirety of loop group Eisenstein series induced from cusp forms on the underlying finite dimensional group, by demonstrating their absolute convergence on the full complex plane. This is quite in contrast to the finite-dimensional setting, where such series only converge absolutely in a right half plane (and have poles elsewhere coming from $L$-functions in their constant terms). Our result is the $\Q$-analog of a theorem of A. Braverman and D. Kazhdan from the function field setting, who previously showed the analogous Eisenstein series are finite sums.

研究の動機と目的

• ループ群上のカスプ Eisenstein 級数の、複素平面全体への解析的接続を確立すること。
• ループ群設定において、自然な「障壁」となる特異点集合を超えて、そのメロモルフィック接続が失敗することを克服すること。
• 有限次元の場合とは異なり、絶対収束が常に成立することを示すこと、すなわち、右半平面でのみ収束する有限次元の場合とは対照的である。
• Braverman と Kazhdan が関数体設定でこのような級数が有限和であることを示した結果の数体版を提示すること。
• cusp 形式がコンパクト台を持たないが、数体設定では多項式的減衰しかしないという状況において、急速な減衰を取り扱うための新しい道具を構築すること。

提案手法

• Iwasawa 分解成分におけるループ群上での cusp 形式の指数的減衰推定の使用。
• ループ群の離散部分群を介した、古典的および中心方向における対角的 Iwasawa 成分の成長推定の適用。
• Maass-Selberg 型関係式をループ群設定に適応するが、著者たちはスペクトル理論に依存するのではなく収束性の議論に依存する。
• ループ群の最大パラボリック部分群のレヴィ成分における cusp 形式からの誘導を用いて Eisenstein 級数を構成すること。
• Chevalley 群の Q 上の構造を活用して、誘導された Eisenstein 級数を定義し、その収束性を分析すること。
• Iwasawa 分解とループ群の対称空間への作用を用いて、級数の項の成長を制御すること。

実験結果

リサーチクエスチョン

• RQ1 ループ群上のカスプ Eisenstein 級数が、スペクトルパラメータ ν のすべての複素値に対して絶対収束するかどうかを示せるか？
• RQ2 数体設定において、cusp 形式がコンパクト集合の外で消失しないにもかかわらず、このような級数が複素平面全体で整関数として接続可能であるという解析的メカニズムは何か？
• RQ3 ループ群 Eisenstein 級数の収束性は、有限次元の場合とはどのように異なるか？ 有限次元では収束が右半平面に制限される。
• RQ4 数体設定における cusp 形式の指数的減衰が、複素平面全体で Eisenstein 級数の絶対収束を証明するために利用可能か？
• RQ5 Braverman と Kazhdan が関数体設定でこのような Eisenstein 級数が有限和であることを示した結果の数体版は存在するか？

主な発見

• Q 上の Chevalley 群 G のループ群上のカスプ Eisenstein 級数 $ E_{\phi,\nu} $ は、すべての $ \nu \in \mathbb{C} $ で絶対収束し、$ \nu $ に関して整関数であることが証明された。
• この結果は、有限次元の場合とは根本的に異なる。有限次元では、このような級数は右半平面でのみ絶対収束し、定数項に L-関数の極が現れる。
• 証明は、カスプにおける cusp 形式の指数的減衰に依存しており、これは古典的自動形式における多項式的減衰よりも強い。
• 著者たちは、ループ群設定における対角的 Iwasawa 成分の成長推定を導出し、これは級数の無限遠点での収束を制御するために不可欠である。
• 本研究は、無限次元群における整関数 Eisenstein 級数の最初の既知の例を提供し、自動形式の範囲を有限次元リー群を超えて拡張する。
• この結果は、Braverman と Kazhdan が関数体設定でこのような級数が有限和であることを示した定理の $ \mathbb{Q} $-類似物である。その理由は、関数体設定では cusp 形式がコンパクト台を持つためである。