[論文レビュー] Formule des Traces et Fonctorialité: le Début d'un Programme

Edward Frenkel, R. P. Langlands+1 more|arXiv (Cornell University)|Mar 24, 2010

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

ひとこと要約

この論文は、安定トレース公式とポアソン和公式の技術を活用して、ラングランズプログラムにおける函手性を確立するプログラムを開始する。トレース公式における主要寄与は1次元の自己形式に由来することを示しており、トレース公式のアデール化を導入し、安定設定において測度因子が単純化されることを示す。これにより、ポアソン和公式のような解析的技法を適用可能にし、トレース公式の幾何学的・算術的応用への基盤を築く。

ABSTRACT

We outline an approach to proving functoriality of automorphic representations using trace formula. More specifically, we construct a family of integral operators on the space of automorphic forms whose eigenvalues are expressed in terms of the L-functions of automorphic representations and begin the analysis of their traces using the orbital side of the stable trace formula. We show that the most interesting part, corresponding to regular conjugacy classes, is nothing but a sum over a finite-dimensional vector space over the global field, which we call the Steinberg-Hitchin base. Therefore it may be analyzed using the Poisson summation formula. Our main result is that the leading term of the dual sum (the value at 0) is precisely the dominant term of the trace formula (the contribution of the trivial representation). This gives us hope that the full Poisson summation formula would reveal the patterns predicted by functoriality.

研究の動機と目的

• 安定トレース公式を通じて、自己形式と代数幾何学を結ぶプログラムを開始すること。
• トレース公式の技法を用いて、ラングランズプログラムにおける函守性を証明するための枠組みを確立すること。
• トレース公式における主要寄与が1次元の自己形式表現に由来することを示すこと。
• 安定トレース公式における測度因子を単純化し、ポアソン和公式のような解析的技法を可能にすること。
• 関数体および複素代数曲線における今後の研究の基盤を築くこと。

提案手法

• アデール測度を取り扱い、解析的技法を可能にするために、安定トレース公式のアデール化。
• ベクトル空間構造を活かして、空間 $ V \otimes \mathbb{A}_F $ にポアソン和公式を適用。
• コットヴィッツの公式を用いて、安定設定において測度因子が定数であることを示し、重要な単純化を達成。
• ジェイシ・ゲッツのアイデアを用いてアデール空間を切断し、ポアソン和公式の適用を可能に。
• $ L $-関数の対数微分を組み込み、類体論および函守性プログラムへの接続を図る。
• 関数体における $ \ell $-進ガロア表現を通じたラングランズ対応の幾何的予感を提示。

実験結果

リサーチクエスチョン

• RQ1 安定トレース公式を、測度因子を単純化し、解析的技法を可能にする方法でアデール化できるか？
• RQ2 1次元の自己形式表現からの寄与が、トレース公式においてどの程度支配的であるか？
• RQ3 トレース公式の文脈において、アデール空間 $ V \otimes \mathbb{A}_F $ にポアソン和公式をどのように適用できるか？
• RQ4 対数微分された $ L $-関数は、函守性プログラムを導く上で果たす役割は何か？
• RQ5 安定トレース公式における測度因子の単純化を、高ランク群および幾何的設定に一般化できるか？

主な発見

• 測度因子が安定設定で定数であることは、コットヴィッツに帰属する結果であり、ポアソン和公式の適用に不可欠である。
• トレース公式における主要寄与は1次元の自己形式表現に由来し、これは先導項 $ \hat{\theta}(0) $ として確認された。
• 切断を経て、アデール空間 $ V \otimes \mathbb{A}_F $ はポアソン和公式に適した構造を持つようになり、解析的取り扱いが可能になった。
• 対数微分された $ L $-関数の使用により、古典的類体論との関係が明らかになり、函守性への道筋が示唆された。
• 測度因子の単純化は、安定設定でのみ成立するため、安定化の必要性が強調された。
• 本論文は、関数体における幾何ラングランズプログラムへの第一歩を確立し、複素曲線への拡張が可能であると示唆した。