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

以下是论文《实数域上的局部 Gross–Prasad 猜想：ε 二分法》（作者：陈成、罗志林）的详细技术总结。

1. 问题陈述

本文针对实约化群的局部 Gross–Prasad (GP) 猜想，特别关注** tempered 局部 L-参数的ε 二分法**（第二部分）。

• 背景：设 $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（第一部分），并根据特征标 $\chi_\phi$ 确定包中哪一个特定表示具有重数 1（第二部分，即ε 二分法）。
• 现状：
  • 第一部分（重数之和）已由第二位作者（罗志林）在 [Luo21] 中针对 $\mathbb{R}$ 上的 tempered 参数证明。
  • 第二部分（ε 二分法）在 $p$-进域（Waldspurger）和复域上已知，但在$\mathbb{R}$ 上的 tempered 参数情形下仍为未解决问题。
• 目标：证明对于 $\mathbb{R}$ 上的 tempered 局部 L-参数，具有 $m(\pi_\phi)=1$ 的唯一表示 $\pi_\phi$ 满足特征标关系 $\chi_{\pi_\phi} = \chi_\phi$。

2. 方法论

作者遵循 Waldspurger 为 $p$-进情形建立的策略 ([Wal12b])，并将其适配到 archimedean 情形。证明通过三步约化进行：

A. 约化到好奇偶性 (Good Parity)

利用 [MR20] 和 [Ren24] 的结果，作者将一般的 tempered 情形约化到好奇偶性参数。

• 机制：他们将 L-参数的标准表示分解为“好奇偶性”（O-型）和“坏奇偶性”（Sp-型和 GL-型）分量。
• 结果：抛物诱导在完整群的 L-包与限制到好奇偶性部分的群的 L-包之间建立了双射，保持了重数和根数。这将问题约化到仅由 O-型不可约成分构成的像的参数。

B. 端点约化 (Endoscopic Reduction)

对于好奇偶性参数，作者应用普通端点理论将问题约化到分量群 $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. Archimedean 修正（核心技术贡献）

$p$-进证明依赖于扭曲端点理论和特定引理，这些无法直接翻译到 $\mathbb{R}$。作者引入了两个关键修正：

1. Kottwitz 符号组织：与 $p$-进情形（内形式较少）不同，$\mathbb{R}$ 有许多纯内形式。作者通过固定Kottwitz 符号 $e(G_\alpha)$ 来组织纯内形式上正则半单共轭类的并集。他们证明了命题 3.2.4，明确地用参数数据描述了这些类的并集。
2. 几何重数公式与胚 (Germs)：证明需要从特征标本身恢复分布特征标的“胚”。
   • 在 $p$-进情形中，这依赖于 Waldspurger 的一个猜想。
   • 在 $\mathbb{R}$ 上，作者证明了引理 4.2.2，这是 [Wal10b, Lem. 13.4 (ii)] 的 archimedean 类比，使用了轨道积分的Rossmann 公式 [Ros78]。这使得他们能够将胚 $c_\Theta(x)$ 表示为拟特征标 $\Theta$ 的极限。
   • 他们建立了推论 4.2.3，将稳定几何重数与稳定重数联系起来。

D. 基本情形的验证

经过约化后，问题被约化到“基本情形”，其中 L-参数要么是不可约的，要么是不可约表示与其对偶表示之和（例如 $SO(2,2) \times SO(2,1)$）。

• 作者利用theta 对应和低秩巧合（例如 $SO(2,2) \cong SL_2 \times SL_2 / \{\pm 1\}$）直接验证了这些低秩情形。
• 他们利用跷跷板对偶对以及 theta 对应下通用性的保持，证明了被区分的成员确实是通用成员。

3. 主要贡献

1. $\mathbb{R}$ 上 ε 二分法的证明：本文完成了实数上 tempered 参数的局部 Gross–Prasad 猜想的证明，解决了 archimedean 情形下该猜想的最后一个未解案例。
2. Archimedean 几何重数公式：作者成功地将 Waldspurger 的几何重数公式适配到实数情形。这包括：
   • 利用 Rossmann 公式证明了关于轨道积分特殊值的关键引理的 archimedean 类比（引理 4.2.2）。
   • 建立了稳定几何重数与稳定重数之间的关系（推论 5.3.6）。
3. 内形式的参数化：他们提供了具有固定 Kottwitz 符号的纯内形式上正则半单共轭类并集的精确描述（命题 3.2.4），这是处理 $\mathbb{R}$ 中比 $p$-进域更大的内形式集合的必要步骤。
4. $\mathbb{R}$ 上的端点约化：他们证明了此前在 $p$-进情形中成功的端点约化策略，只要正确处理几何输入，就可以成功适配到 $\mathbb{R}$，而无需扭曲端点理论。

4. 主要结果

• 定理 1.0.2 / 定理 2.3.2：在 $\mathbb{R}$ 上，局部 Gross–Prasad 猜想的部分 (2) 对 tempered 局部 L-参数成立。具体而言，如果 $\pi_\phi$ 是相关 Vogan L-包中具有重数 1 的唯一表示，那么其在分量群 $S_\phi$ 上的特征标 $\chi_{\pi_\phi}$ 与 Gross 和 Prasad 定义的显式特征标 $\chi_\phi$ 一致。
• 命题 3.2.4：具有固定 Kottwitz 符号的纯内形式上正则半单共轭类并集的分类。
• 引理 4.2.2 与推论 4.2.3：在 archimedean 情形下从特征标本身推导分布特征标胚的推导，使得几何重数公式得以使用。
• 命题 5.3.4：将加权和的重数之和与端点群上的稳定几何重数之积联系起来的端点恒等式。

5. 意义

• GP 猜想的完成：这项工作与之前的结果（罗志林 [Luo21] 的第一部分、陈成 [Che21] 的通用约化以及 Waldspurger 的 $p$-进结果）相结合，确立了 $\mathbb{R}$ 和 $\mathbb{C}$ 上 tempered 表示的完整局部 Gross–Prasad 猜想。
• $p$-进与 Archimedean 之间的桥梁：本文证明了 Langlands 纲领的深层结构结果（特别是端点理论和 Gross–Prasad 猜想）在局部域上具有一致性，尽管 $p$-进域与实域在调和分析（轨道积分、特征标公式）方面存在显著的技术差异。
• 方法论进步：成功应用 Rossmann 公式解决实数情形下的“胚”问题，为处理其他 $p$-进组合工具失效的 archimedean 背景下的类似几何重数问题提供了模板。
• 未来工作的基础：此处发展的技术，特别是 $\mathbb{R}$ 上 Kottwitz 符号和稳定几何重数的处理，对于将这些结果扩展到通用（非 tempered）参数以及进一步研究全局 Gross–Prasad 猜想至关重要。