The local Gross-Prasad conjecture over $\mathbb{R}$: Epsilon dichotomy

以下は、Cheng Chen と Zhilin Luo による論文「The Local Gross–Prasad Conjecture over $\mathbb{R}$: Epsilon Dichotomy」の詳細な技術的要約である。

1. 問題設定

本論文は、実簡約群に対する局所グロス・プラダ（GP）予想、特にテンパード局所 L-パラメータに対する**エプシロン二項性（Part 2）**に焦点を当てている。

• 文脈: $F = \mathbb{R}$ とする。$\mathbb{R}$ 上の非退化二次空間の対 $(W, V)$ を考え、$W \subset V$ かつ $W^\perp$ が奇数次の分裂二次空間であると仮定する。$G = SO(W) \times SO(V)$ および $H = SO(W) \ltimes N$（ここで $N$ は単葉根基）とする。$G(\mathbb{R})$ の既約許容表現 $\pi$ に対して、重複度は $m(\pi) = \dim \text{Hom}_{H(\mathbb{R})}(\pi, \xi)$ と定義される。ただし、$\xi$ は汎用性を持つ指標である。
• 予想: GP 予想は、汎用的な局所 L-パラメータ $\phi$ に対して、関連する Vogan L-パケット上の重複度の和が 1 であること（Part 1）を予測し、さらにパケット内のどの特定の表現が重複度 1 を持つかを、指標 $\chi_\phi$ に基づいて同定する（Part 2、すなわちエプシロン二項性）。
• 現状:
  • Part 1（重複度の和）は、第 2 著者（Luo）によって [Luo21] において、$\mathbb{R}$ 上のテンパードパラメータに対して証明された。
  • Part 2（エプシロン二項性）は、$p$-進体（Waldspurger）および複素体については既知であったが、$\mathbb{R}$ 上のテンパードパラメータについては未解決であった。
• 目的: $\mathbb{R}$ 上のテンパード局所 L-パラメータに対して、重複度 $m(\pi_\phi)=1$ を満たす一意の表現 $\pi_\phi$ が、指標関係 $\chi_{\pi_\phi} = \chi_\phi$ を満たすことを証明すること。

2. 手法

著者らは、Waldspurger によって $p$-進体の場合に確立された戦略 [Wal12b] に従い、これをアーキメデス的な設定に適合させている。証明は以下の 3 段階の還元によって行われる。

A. 良好なパリティへの還元

[MR20] および [Ren24] の結果を用いて、著者らは一般的なテンパードの場合を良好なパリティを持つパラメータに還元する。

• メカニズム: L-パラメータの標準表現を「良好なパリティ」（O 型）と「不良なパリティ」（Sp 型および GL 型）の成分に分解する。
• 結果: パラボリック誘導により、完全群の L-パケットと、良好なパリティ部分に制限された群の L-パケットとの間に、重複度および根数を保存する全単射が確立される。これにより、問題が像が O 型の既約成分のみからなるパラメータに還元される。

B. 端性還元

良好なパリティを持つパラメータに対して、著者らは通常の端性を適用し、成分群 $S_\phi$ が小さい（自明または $\mathbb{Z}/2\mathbb{Z}$）場合に問題を還元する。

• 戦略: $s \in S_\phi$ の元に対して、$G$ 上の重複度を端性群 $G^s = SO(V^+) \times SO(V^-) \times SO(W^+) \times SO(W^-)$ 上の安定幾何学的重複度に関連付ける。
• 主要な恒等式: 彼らは以下の恒等式の証明を目指す：
  $$\sum_{\pi \in \Pi_{rel}} \chi_\pi(s) m(\pi) = \chi_\phi(s)$$
  これは安定幾何学的重複度（$m^S_{geom}$）を含む恒等式に変換される。

C. アーキメデス的な修正（核心的な技術的貢献）

$p$-進体における証明は、ねじれ端性および特定の補題に依存しており、これらは直接 $\mathbb{R}$ には適用できない。著者らは 2 つの決定的な修正を導入する。

1. Kottwitz 符号の整理: $p$-進体の場合（内部形式がほとんど存在しない）とは異なり、$\mathbb{R}$ には多くの純粋な内部形式が存在する。著者らは、Kottwitz 符号 $e(G_\alpha)$ を固定することで、純粋な内部形式にわたる正則半単純共役類の和集合を整理する。彼らはパラメータデータを用いてこれらの共役類の和集合を明示的に記述する命題 3.2.4を証明する。
2. 幾何学的重複度公式とゲルム: 証明には、分布指標そのものからその「ゲルム」を回復する必要がある。
   • $p$-進体の場合、これは Waldspurger の予想に依存していた。
   • $\mathbb{R}$ において、著者らは軌道積分に関する Rossmann の公式 [Ros78] を用いて、[Wal10b, Lem. 13.4 (ii)] のアーキメデス的な analogue である補題 4.2.2を証明する。これにより、準指標 $\Theta$ の極限としてゲルム $c_\Theta(x)$ を表現することが可能になる。
   • 彼らは、安定幾何学的重複度を安定重複度に関連付ける系 4.2.3を確立する。

D. 基本ケースの検証

還元後、問題は L-パラメータが既約であるか、既約表現とその双対の和である（例えば $SO(2,2) \times SO(2,1)$）ような「基本ケース」に還元される。

• 著者らは、テータ対応および低ランクの一致（例えば $SO(2,2) \cong SL_2 \times SL_2 / \{\pm 1\}$）を用いて、これらの低ランクケースを直接検証する。
• 彼らは、テータ対応における見事な双対ペア（see-saw dual pairs）および汎用性の保存を利用して、区別されたメンバーが実際に汎用的なものであることを示す。

3. 主要な貢献

1. $\mathbb{R}$ 上でのエプシロン二項性の証明: 本論文は、実数体上のテンパードパラメータに対する局所グロス・プラダ予想の証明を完了させ、アーキメデス設定における予想の最終的な未解決ケースを解決した。
2. アーキメデス的な幾何学的重複度公式: 著者らは Waldspurger の幾何学的重複度公式を実の場合に成功裏に適応させた。これには以下が含まれる：
   • Rossmann の公式を用いて、軌道積分の特殊値に関する決定的な補題のアーキメデス的な analogue（補題 4.2.2）を証明すること。
   • 安定幾何学的重複度と安定重複度の間の関係を確立すること（系 5.3.6）。
3. 内部形式のパラメータ化: 彼らは、固定された Kottwitz 符号を持つ純粋な内部形式にわたる正則半単純共役類の和集合の正確な記述（命題 3.2.4）を提供した。これは、$p$-進体と比較して $\mathbb{R}$ においてより大きな内部形式の集合を扱うために必要なステップである。
4. $\mathbb{R}$ 上での端性還元: 彼らは、以前 $p$-進体の場合に成功した端性還元戦略が、幾何学的入力が適切に処理されれば、ねじれ端性なしで $\mathbb{R}$ にも成功裏に適応できることを示した。

4. 主要な結果

• 定理 1.0.2 / 定理 2.3.2: $\mathbb{R}$ において、局所グロス・プラダ予想の Part (2) はテンパード局所 L-パラメータに対して成り立つ。具体的には、関連する Vogan L-パケット内で重複度 1 を持つ一意の表現 $\pi_\phi$ に対して、その成分群 $S_\phi$ 上の指標 $\chi_{\pi_\phi}$ は、Gross と Prasad によって定義された明示的な指標 $\chi_\phi$ と一致する。
• 命題 3.2.4: 固定された Kottwitz 符号を持つ純粋な内部形式にわたる正則半単純共役類の和集合の分類。
• 補題 4.2.2 および系 4.2.3: アーキメデス的な設定において、分布指標そのものからそのゲルムを導出すること。これにより幾何学的重複度公式の使用が可能になる。
• 命題 5.3.4: 指標で重み付けされた重複度の和を、端性群上の安定幾何学的重複度の積に関連付ける端性恒等式。

5. 意義

• GP 予想の完了: 本成果は、以前の結果（Part 1 に対する Luo [Luo21]、汎用的還元に対する Chen [Che21]、および $p$-進体に対する Waldspurger）と組み合わさることで、$\mathbb{R}$ および $\mathbb{C}$ 両方におけるテンパード表現に対する完全な局所グロス・プラダ予想を確立する。
• $p$-進体とアーキメデス的なものとの架け橋: 本論文は、調和解析における顕著な技術的差異（軌道積分、指標公式など）にもかかわらず、ラングランズプログラムの深遠な構造的結果（特に端性およびグロス・プラダ予想）が局所体全体で一様に成り立つことを示している。
• 方法論的進展: 実の場合における「ゲルム」の問題を解決するために Rossmann の公式を適用した成功は、$p$-進体の組み合わせ論的ツールが機能しない他のアーキメデス的な文脈における同様の幾何学的重複度問題に対処するための手本を提供する。
• 将来の研究の基盤: ここで作成された技術、特に $\mathbb{R}$ 上での Kottwitz 符号および安定幾何学的重複度の扱いは、これらの結果を汎用的（非テンパード）パラメータへ拡張し、大域的グロス・プラダ予想へのさらなる調査を行うために不可欠である。