Relative Character Asymptotics Beyond Stability for $\mathrm{PGL}_2 \times \mathrm{GL}_1$

这是一份关于 Trajan Hammonds 论文《PGL2 × GL1 相对特征渐近性：超越稳定性》（Relative Character Asymptotics Beyond Stability for PGL2 × GL1）的详细技术总结。

1. 研究背景与问题 (Problem)

核心问题：
对于实李群，Nelson 和 Venkatesh 已经研究了 Gan-Gross-Prasad (GGP) 对 $(G, H)$ 的相对特征（Relative Characters）的渐近行为。然而，他们的理论依赖于稳定性假设（Stability Hypothesis），即关联的 Rankin-Selberg $L$-函数 $L(\pi \boxtimes \sigma^\vee)$ 的导子（conductor）处于“稳定”区域，不发生导子下降（conductor dropping）。当稳定性失效（即导子显著下降）时，相对轨道变得奇异，现有的微局部分析方法失效。

本文目标：
在非阿基米德局部域（$F$ 为非阿基米德局部域，如 $\mathbb{Q}_p$）上，针对对 $(G, H) = (\text{PGL}_2(F), \text{GL}_1(F))$，研究相对特征 $H_{\pi, \chi}$ 的渐近行为。
关键突破： 克服稳定性假设，处理导子显著下降的情况。

具体对象：

• $G = \text{PGL}_2(F)$，$H = \text{GL}_1(F)$（对角嵌入）。
• $\pi$ 是 $G$ 的不可约酉表示（主级数或超尖点表示）。
• $\chi$ 是 $H$ 的特征标。
• 相对特征定义为分布：
  $$H_{\pi, \chi}(a) = \sum_{v \in B(\pi)} \ell_\chi(\text{Op}(a)v) \overline{\ell_\chi(v)}$$
  其中 $\ell_\chi$ 是 $H$-不变线性泛函，$\text{Op}(a)$ 是基于测试函数 $a$ 定义的积分算子。

2. 方法论 (Methodology)

本文采用非阿基米德微局部分析（Non-archimedean Microlocal Analysis）结合表示论中的具体计算，主要步骤如下：

2.1 测试函数与算子分解

• 微局部向量： 定义了非阿基米德微局部向量，即满足 $\pi(\exp x)v = \langle -x, \tau \rangle v$ 的向量，其中 $\tau \in \mathfrak{g}^*$ 是频率参数。
• 波包分解（Wavepacket Decomposition）： 将测试函数 $a$ 分解为围绕特定频率 $\tau$ 的波包 $a_\tau$（特征函数形式）。
• Iwahori 分解与算子因子化： 利用 $K(N)$ 的 Iwahori 分解 $K(N) = K_- K_0 K_+$，将算子 $\text{Op}(a)$ 分解为三个方向的算子乘积：
  $$\text{Op}(a) = \text{Op}_-(a_+) \text{Op}_0(a_0) \text{Op}_+(a_-)$$
  这种分解允许分别处理负单式、对角和正单式方向。

2.2 相对特征的计算策略

利用 Parseval 恒等式，将相对特征转化为内积计算：
$$\langle \text{Op}(a)\ell_\chi, \ell_\chi \rangle$$
通过以下步骤进行计算：

1. Kirillov 模型： 将表示 $\pi$ 实现为 Kirillov 模型 $K(\pi, \psi)$，在此模型中，未幂零子群 $G_+$ 的作用是对角化的。
2. Weyl 元素与函数方程： 利用 Weyl 元素 $w = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}$ 和 $\text{GL}_2 \times \text{GL}_1$ 的局部函数方程（Local Functional Equation），将负单式方向 $\text{Op}_-$ 的计算转化为正单式方向 $\text{Op}_+$ 的计算。
   • 关键关系：$\text{Op}_+ = \pi(w) \text{Op}_- \pi(w)$。
   • 引入 $\epsilon$-因子（Epsilon factor）和 $\gamma$-因子。
3. 分情况讨论： 根据频率参数 $\tau$ 的坐标 $\tau_y, \tau_z$ 是否属于整数环 $\mathcal{O}$，分四种情况详细计算内积：
   • $\tau_y, \tau_z \in \mathcal{O}$
   • $\tau_y \in \mathcal{O}, \tau_z \notin \mathcal{O}$
   • $\tau_y \notin \mathcal{O}, \tau_z \in \mathcal{O}$
   • $\tau_y, \tau_z \notin \mathcal{O}$
4. 主级数与超尖点表示的分别处理：
   • 超尖点表示： 利用局部朗兰兹对应（LLC），将 $\pi$ 对应到二次扩张 $E/F$ 上的特征标 $\xi$，利用 $\epsilon$-因子的性质进行计算。
   • 主级数表示： $\pi = \chi_0 \boxplus \chi_0^{-1}$，利用 $\gamma$-因子的乘积性质，并引入“通用对”（generic pair）假设以避免 $L$-函数极点。

2.3 相空间积分 (Phase Space Integral)

计算定理右侧的几何积分，即沿双曲线 $Hyp(\pi, \chi)$ 对测试函数 $a$ 进行积分，验证其与左侧算子计算结果的一致性。

3. 主要结果 (Key Results)

定理 1.3 (Main Theorem)：
设 $\pi$ 是 $\text{PGL}_2(F)$ 的主级数或超尖点酉表示，$\chi$ 是 $\text{GL}_1(F)$ 的酉特征标。在满足一定非退化条件（主级数情况下 $\chi$ 不与 $\chi_0, \chi_0^{-1}$ 及其无分歧扭曲重合）下，对于在特定尺度 $|T|=q^N$ 上为常数的测试函数 $a$，存在一条双曲线 $Hyp(\pi, \chi) \subset \mathfrak{g}^*$，使得：
$$H_{\pi, \chi}(a) = \int_{Hyp(\pi, \chi)} a(\xi) d\xi$$

关键几何对象：

• 相对共伴轨道（Relative Coadjoint Orbit）： 在稳定情况下，相对轨道是光滑的。在本文处理的非稳定情况下（导子下降），相对轨道退化为双曲线（Hyperbola）。
• 双曲线定义：
  $$Hyp(\pi, \chi) = \{ (x, y, z) \in \mathfrak{g}^* : x = \alpha_\chi, \quad yz = \alpha_{\pi, \chi} \}$$
  其中 $\alpha_{\pi, \chi}$ 是由 $\pi$ 和 $\chi$ 的导子决定的常数（涉及 $\epsilon$-因子中的参数）。
• 稳定性失效的几何解释： 当导子下降时，相对轨道不再是 $H$-主丛（torsor），而是在原点处出现奇点（如十字形结构），但除去原点外的部分仍由有限稳定子群控制，且渐近行为仍由该非闭轨道主导。

具体计算结果（命题 5.8）：
给出了内积 $\langle \text{Op}(a)\ell_\chi, \ell_\chi \rangle$ 在不同 $\tau$ 取值下的精确值，这些值与相空间积分的结果完全匹配。例如，当 $\tau_y, \tau_z \in \mathcal{O}$ 时，结果为 $(2N - c(\pi, \chi)) \cdot \mathbb{1}_{2N \ge c(\pi, \chi)}$。

4. 创新点与贡献 (Key Contributions)

1. 突破稳定性限制： 首次在非阿基米德设置下，成功处理了 GGP 对中导子显著下降（即稳定性失效）的情况。之前的理论（Nelson-Venkatesh）要求导子保持分离，而本文证明了即使导子下降，相对特征的渐近性仍由特定的几何轨道（双曲线）控制。
2. 非阿基米德微局部分析的具体化： 建立了一套完整的非阿基米德微局部算子演算（Op-calculus），包括波包分解、Iwahori 因子化以及 Kirillov 模型中的精确计算，为处理非稳定情形提供了技术框架。
3. 几何解释的深化： 揭示了在非稳定情形下，相对特征渐近性背后的几何对象是“非闭轨道”（non-closed orbit），其稳定子群有限但非平凡。这为理解更广泛的非稳定对称空间提供了新的视角。
4. 精确公式： 给出了相对特征在特定测试函数下的精确表达式，不仅包含渐近项，还包含了精确的常数项和支撑集条件。

5. 意义与影响 (Significance)

1. 亚凸性问题（Subconvexity Problem）的潜在应用： 相对特征渐近性是解决 $L$-函数亚凸性问题的关键工具（如 Nelson 和 Venkatesh 的工作）。导子下降的情况通常对应于 $L$-函数导子较小的情形，这在解析数论中至关重要。本文的结果为处理这些“困难”情形提供了理论基础，可能有助于推广亚凸性界限。
2. 相对迹公式的补充： 本文完全避免了相对迹公式（Relative Trace Formula）技术，而是通过直接的表示论计算和微局部分析得出结论。这提供了一种替代视角，可能适用于迹公式难以处理的情形。
3. 几何与表示论的桥梁： 进一步验证了 Kirillov 轨道方法在非阿基米德群表示论中的有效性，即使在轨道几何结构退化（非稳定）的情况下，轨道方法依然能给出正确的渐近描述。
4. 未来方向： 作者 conjecture 这一结果可以推广到其他非稳定情形，特别是那些具有有限稳定子群的非闭轨道情形，这为研究更高秩群或更复杂的对称对提供了路线图。

总结：
Trajan Hammonds 的这篇论文通过精细的非阿基米德微局部分析，成功地将相对特征渐近理论扩展到了导子下降的非稳定区域。对于 $(\text{PGL}_2, \text{GL}_1)$ 对，证明了即使稳定性失效，相对特征仍由一条特定的双曲线轨道控制。这一成果不仅填补了理论空白，也为解决 $L$-函数亚凸性问题中的关键难点提供了新的工具和视角。