[論文レビュー] Stabilisation de la formule des traces tordue X: stabilisation spectrale

Colette Mœglin, Jean-Loup Waldspurger|arXiv (Cornell University)|Dec 9, 2014

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

ひとこと要約

本稿は、固定された無限小的特徴と、有限個の場所を除く非分岐ヘッケ固有値を持つ自動形式表現に関して、精緻化されたスペクトル転送恒等式を確立することで、ねじれトレース公式の安定化を完了する。幾何的還元とスペクトル解析を用いて、ねじれ自動形式表現のトレースが、内部的群上の安定トレースの重み付き和に等しいことを証明する。主な革新点は、随伴群の特徴によって精緻化されたものであり、非自明な内部的トーラスによる障害を解消する。

ABSTRACT

It is the last paper of a long series. We present the spectral side of the twisted trace formula and its stable version. Using the method of Arthur, we finish the proof of the stabilization of the two sides of this twisted trace formula.

研究の動機と目的

• ねじれトレース公式の安定化を、残りのスペクトル幾何的不整合を解消することで完遂すること。
• 内部的データに非自明な非分岐トーラスが含まれる場合に生じる障害に対処すること。
• 随伴群の自動形式的特徴を組み込むことで、スペクトル転送恒等式を精緻化し、すべての場所で整合性を保証すること。
• ある有限場所でカスプ成分がゼロである関数に対しても有効な、特徴別スペクトル転送により、ねじれトレース公式の安定化を証明すること。
• 随伴群の作用に関して不変であり、ラングランズの非アーチメデス的ファンクター理論と整合するスペクトル転送恒等式を確立すること。

提案手法

• 有限個の場所 $V$ を固定し、$V_{\text{ram}}$ を含むようにし、$V$ を除く場所で非分岐な関数に制限することで、不変性と安定性を保証する。
• $\pi^{\tilde{G}}_{\nu}[c^V]$ を、固定された無限小的特徴 $\nu$ と $V$ を除く場所で非分岐なヘッケ固有値 $c^V$ を持つ離散スペクトル内の $\omega$-表現の和として定義する。
• 式 (3) の精緻化されたスペクトル転送恒等式を証明する。左辺のトレースは、自動形式的特徴 $\chi_\sharp$ を持つ内部的データ $\mathbf{G}'$ の和に一致し、$(G/Z(G)^\theta)(\mathbb{A}_F)$ の作用を用いる。
• 群の作用により、ある成分 $f_v$ が自明なカスプ成分を持つ場合に還元し、ペイリー＝ウィーナー理論の適用を可能にする。
• $\chi_\sharp$ が自明な場所 $v \in V$ で関数を変更し、$1_{\tilde{K}_v}$ を $g_\sharp$ 上のねじれ和 $\sum_{g_\sharp} 1_{\tilde{K}_v}(\text{ad}(g_\sharp)\gamma) \chi_\sharp^{-1}(g_\sharp)$ に置き換える。これによりトレースは保存され、カスプ成分が消滅する。
• 以前の論文からの幾何的還元を活用し、重み付き局所積分の安定化および軌道積分の内部的転送に問題を還元する。

実験結果

リサーチクエスチョン

• RQ1 内部的データに非自明な非分岐トーラスが含まれる場合、ねじれトレース公式のスペクトル側はどのように安定化されるか？
• RQ2 離散スペクトル分布と幾何的項の間の不整合を解消するために、スペクトル転送恒等式に必要な精緻化は何か？
• RQ3 スペクトル転送は、随伴群 $ (G/Z(G)^\theta)(\mathbb{A}_F) $ の作用と整合するようにできるか？ その場合、障害はどのように解消されるか？
• RQ4 カスプ成分が有限場所でゼロである関数に対しても、スペクトル転送恒等式は有効か？ 一般の場合の証明にどのように利用できるか？
• RQ5 随伴群上の特徴 $\chi_\sharp$ はスペクトル転送をどのように精緻化し、公式の安定化に果たす役割は何か？

主な発見

• 本稿は、式 (3) の特徴別スペクトル転送恒等式を証明する：$ \text{tr}\, \pi^{\tilde{G}}_{\nu,\chi_\sharp}[c^V](f) = \sum_{\mathbf{G}'; \omega_\sharp^{\mathbf{G}'} = \chi_\sharp} i(\tilde{G}, \mathbf{G}') \text{tr}\, \pi^{G'}_{\nu,\text{st}}[c^V](f^{\mathbf{G}'}) $。この恒等式により、ねじれトレース公式が安定化される。
• 精緻化された転送は、すべての関数 $ f = f_V \cdot 1_{\tilde{K}^V} $ に対して成り立ち、ある成分 $ f_v $ がカスプ成分がゼロである場合に還元することで証明され、ペイリー＝ウィーナー理論の適用が可能になる。
• $ (G/Z(G)^\theta)(\mathbb{A}_F) $ のスペクトル側への作用は、有限個の自動形式的特徴 $ \chi_\sharp $ に分解され、それぞれが一意な内部的データ $ \mathbf{G}' $ に対応し、整合性が保証される。
• $ f_v $ を、$ \gamma \mapsto \sum_{g_\sharp} 1_{\tilde{K}_v}(\text{ad}(g_\sharp)\gamma) \chi_\sharp^{-1}(g_\sharp) $ というねじれ和に置き換えることで、新しい関数は $ v $ でカスプ成分が消滅し、転送が検証可能になる。
• 証明により、式 (3) の左辺と右辺の差が、$ \omega $-表現の離散和であることが示され、スペクトル転送が安定的かつ幾何的に整合的であることが確認される。
• スペクトルの精緻化と幾何的還元を組み合わせることで、ラングランズとアーバートが開始したプログラムの最終障害が解消され、安定化の手続きが完了する。