[論文レビュー] Une formule intégrale reliée à la conjecture locale de Gross-Prasad, 2ème partie: extension aux représentations tempérées

Jean-Loup Waldspurger|ArXiv.org|Apr 2, 2009

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

ひとこと要約

本稿は、局所グロス＝プラザード予想の文脈において、臨界的表現のスペクトル的および幾何的等式を確立し、G(F) の表現 π における H(F) の表現 ρ の重複度 m(ρ,π) が、幾何的トレース公式の式 m_geom(ρ,π) に等しいことを証明する。これは、既存の結果を尖端的表現から臨界的表現へ拡張するものである。主な結果は、m(ρ,π) = 1 を満たすペア (ρ,π) の一意性であり、これは臨界的 L-パケッジに関する局所グロス＝プラザード予想の中心的予測を確認するものである。

ABSTRACT

Let $F$ be a non-archimedean local field, of characteristic 0. Let $V$ be a finite dimensional vector space over $F$ and $q$ be a non-degenerate quadratic form on $V$. Denote $G$ the special orthogonal group of $(V,q)$. Let $W$ a non-degenerate hyperplane of $V$, denote $H$ the special orthogonal group of $W$. Let $π$, resp. $σ$, an admissible irreducible representation of $G(F)$, resp. $H(F)$. Denote $m(σ,π)$ the dimension of the complex space $Hom_{H(F)}(π_{| H(F)},σ)$. It's know that $m(σ,π)=0$ or 1. In a first paper, we have defined another term $m_{geom}(σ,π)$. It's an explicit sum of integrals of functions that can be deduced from the characters of $σ$ and $π$. Assume that $π$ and $σ$ are tempered. Then we prove the equality $m(σ,π)=m_{geom}(σ,π)$. This generalize the result of the first paper, where $π$ was supercuspidal. As in this paper, the previous equality implies as corollary (assuming certain properties of tempered $L$-packets) a weak form of the local Gross-Prasad conjecture, now for pairs of tempered $L$-packets.

研究の動機と目的

• 局所グロス＝プラザード予想に関連する積分公式を尖端的表現から臨界的表現へ拡張すること。
• 臨界的 π および ρ に対して、m(ρ,π) = m_geom(ρ,π) の等式を確立し、先行する結果を一般化すること。
• m(ρ,π) = 1 を満たすペア (ρ,π) の一意性を証明し、臨界的 L-パケッジに関する局所グロス＝プラザード予想の主要予測を確認すること。
• 局所体上の正規直交群の文脈において、幾何的およびスペクトル的アプローチをトレース公式の文脈で統合すること。

提案手法

• G(F) 上の非常に尖端的な関数 f を用いて、H(F)U(F)\G(F) のより大きなコンパクト部分集合への積分の極限 I_N(θ_ρ, f) を導入する。
• 極限 lim_{N→∞} I_N(θ_ρ, f) を二通りの方法で計算する：幾何的に（I_geom により）およびスペクトル的に（I_spec により）。
• L-パケッジ、重み付き特性、および軌道積分 J_L^G(π_λ, f) を含むスペクトル公式 I_spec(θ_ρ, f) を導出する。
• I_geom = I_spec の等式を用いて、臨界的 π および ρ に対して m(ρ,π) = m_geom(ρ,π) を導出する。
• 補題を適用して、m_geom(ρ, Iθ_f) を m_geom(ρ, π) に、m_spec(ρ, f) を m(ρ, π) に結びつける。これにより最終的な等式が得られる。
• 臨界的表現が [W1] 13.2 の性質 (1)、(2)、(3) を満たす L-パケッジに分解可能であるという仮定に依存し、G_i, H_i の双対形式 G_a, H_a の存在を用いる。

実験結果

リサーチクエスチョン

• RQ1 尖端的状況を超えて、臨界的表現 π および ρ に対して、等式 m(ρ,π) = m_geom(ρ,π) が成り立つかどうか。
• RQ2 N → ∞ のときの積分式 I_N(θ_ρ, f) の極限のスペクトル的解釈は何か。
• RQ3 双対形式 G_a および H_a における L-パケッジを通じて、重複度 m(ρ,π) はどのように振る舞い、その一意性はいかなるものか。
• RQ4 スペクトル的および幾何的トレース公式の等式を用いて、局所グロス＝プラザード予想を臨界的 L-パケッジに対して確認できるか。
• RQ5 L-パケッジ構造および関連する特性が、I_spec のスペクトル公式において果たす役割は何か。

主な発見

• すべての臨界的で非可約な G(F) の表現 π および H(F) の表現 ρ に対して、等式 m(ρ,π) = m_geom(ρ,π) が成り立つ。これは、既存の結果を尖端的状況から臨界的状況へ拡張するものである。
• スペクトル公式 I_spec(θ_ρ, f) は、L-パケッジの和として導出され、重み付き特性および軌道積分 J_L^G(π_λ, f) を含み、t(π)^{-1} を含む補正因子を有する。
• 幾何的極限 I_geom(θ_ρ, f) がスペクトル的極限 I_spec(θ_ρ, f) に等しいことが示され、核心的な恒等式が確立される。
• 重複度 m(ρ,π) は、(Σ_i × Π_i) ∪ (Σ_a × Π_a) の中で、ちょうど一つのペア (ρ,π) に対して 1 に等しい。これは、局所グロス＝プラザード予想の予測される一意性を確認するものである。
• 証明は、[W1] 13.2 の予想される性質 (1)、(2)、(3) を満たす L-パケッジへの Temp(G_i)、Temp(G_a) などの分解に依存する。
• 双対形式 G_a、H_a が存在し、それらの L-パケッジが適切に振る舞うものと仮定すれば、結果は成り立つ。Π_a = ∅ であるのは、Π_i に対応するようなパケッジが存在しない場合に限る。