[論文レビュー] Bounds for global coefficients in the fine geometric expansion of Arthur's trace formula for GL(n)

Jasmin Matz|arXiv (Cornell University)|Aug 25, 2013

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

ひとこと要約

本稿は、数体上の $ \mathrm{GL}(n) $ に対するアーバートのトレース公式の微細幾何的展開における全局的係数 $ a^M(\gamma,S) $ の絶対値に対して明示的な上界を確立する。この上界は、単位的軌道積分とゼータ関数の導関数に関する推定に基づく。主な結果として、これらの係数が数体の判別式のべき乗と、局所ゼータ関数の導関数の和によって抑えられることを示し、任意のレヴィ部分群および共役類にわたって一様に成り立つ。

ABSTRACT

We give upper bounds for the absolute value of the global coefficients appearing in the fine geometric expansion of Arthur's trace formula for GL(n).

研究の動機と目的

• アーバートのトレース公式の $ \mathrm{GL}(n) $ における微細幾何的展開における全局的係数 $ a^M(\gamma,S) $ の絶対値に対して一様な上界を確立すること。
• 一般の場合、特に非半単純な要素に対して、これらの係数の明示的公式の欠如に対処すること。
• 単位的の場合への還元を用いて、既知の単位的および半単純の場合の上界を、任意の共役類へと拡張すること。
• $ \mathrm{GL}(n) $ 上のヘッケ作用素のトレース漸近展開における誤差項に対して定量的制御を提供すること。

提案手法

• 数体上の還元論および軌道積分の推定を用いて、単位的寄与の上界を導出すること。
• 特に $ s_v \geq 0 $ に対して $ \left| \frac{\zeta_{F,v}^{(s_v)}(1)}{\zeta_{F,v}(1)} \right| $ を評価する有限場での局所ゼータ関数の推定を適用すること。
• $ \mathrm{GL}_n $ におけるレヴィ部分群および共役類の構造を用いて、スカラーの制限を用いて一般係数を単位的係数へ還元すること。
• 正則な楕円的要素を半単純部と単位的部に分解し、体拡張を通じて係数を関連付けること。
• 一様性を保つために、標準的測度正規化を固定すること。
• $ a^M(\gamma,S) $ に依存する重み付き軌道積分 $ J_M^G(\gamma,f) $ の理論を適用すること。

実験結果

リサーチクエスチョン

• RQ1 数体 $ F $ と場所の集合 $ S $ を変数とするとき、$ \mathrm{GL}(n) $ におけるアーバートのトレース公式の全局的係数 $ a^M(\gamma,S) $ の成長率はどのようになるか？
• RQ2 すべてのレヴィ部分群 $ M \subseteq \mathrm{GL}_n $ および共役類 $ \gamma \in M(F) $ にわたって、$ |a^M(\gamma,S)| $ を一様に上界で抑えられるか？
• RQ3 代数的数論を用いて、スカラーの制限による単位的場合への還元によって、任意の $ \gamma \in \mathrm{GL}_n(F) $ の係数を上界で抑えられるか？
• RQ4 リーマン・ゼータ関数の導関数が $ s=1 $ でどのようにしてこれらの係数の大きさを制御するか？
• RQ5 判別式と局所ゼータ関数の導関数の両方を用いた一様な上界が存在するか？

主な発見

• 任意の次数 $ d $、判別式 $ D_F $ の数体 $ F $ に対して、定数 $ \kappa(n,d) \geq 0 $ および $ C(n,d) \geq 0 $ が存在し、単位的軌道 $ \mathcal{V} \in \mathfrak{U}^M $ に対して $ |a^M(\mathcal{V},S)| \leq C D_F^\kappa \sum_{\sum s_v \leq \eta} \prod_{v \in S_{\text{fin}}} \left| \frac{\zeta_{F,v}^{(s_v)}(1)}{\zeta_{F,v}(1)} \right| $ が成り立つ。
• 上界は判別式 $ D_F $、$ S $ に含まれる場所の数、および $ s=1 $ における局所ゼータ関数の導関数の和に依存し、$ \eta = \dim \mathfrak{a}_0^M $ である。
• 一般の $ \gamma \in M(F) $ に対して、係数 $ a^M(\gamma,S) $ は体拡張上の係数の積によって抑えられ、スカラーの制限を用いて単位的の場合へ還元される。
• $ a^M(\gamma,S) $ の上界は、$ \gamma_s $（$ \gamma $ の半単純部）の $ \mathrm{discr}^{M_1}(\gamma_s) $ の無限遠場での絶対値の $ \kappa $ 乗によって制御され、$ \kappa > 0 $ は任意である。
• 比 $ \left| \frac{a^M(\gamma,S)}{a^{L^\gamma}(\gamma_s,S)} \right| $ も同様の判別式およびゼータ導関数の項によって抑えられ、レヴィ部分群全体にわたる一貫性が示された。
• 本結果は、特にヘッケ作用素のトレースに対して、$ \mathrm{GL}_n $ の文脈で一様な誤差項を有する漸近的トレース公式の定量的基盤を提供する。