Epsilon dichotomy for twisted linear models

基本信息

• 论文ID: 2404.00561
• 标题: Epsilon dichotomy for twisted linear models
• 作者: Hang Xue, Pan Yan
• 分类: math.NT (Number Theory), math.RT (Representation Theory)
• 发表时间: 2024年12月10日 (最新版本v3)
• 论文链接: https://arxiv.org/abs/2404.00561

摘要

设 $E/F$ 是特征零的局部非阿基米德域的二次扩张，$D$ 是包含 $E$ 的 $F$ 上的四元数代数。本文研究 $\mathrm{GL}_n(D)$ 上扭曲线性模型的存在性与局部根数之间的关系。

研究背景与动机

本文研究的核心问题是 Prasad-Takloo-Bighash 猜想，这是表示论中一个重要的开放问题。具体而言：

1. 核心问题：该猜想预测了何时一个不可约可容许表示 $\pi$ 是 $(H,\chi^{-1})$-可区分的，其中 $H$ 是中心单代数的中心化子群。
2. 重要性：
   • 这个猜想是局部 Gross-Prasad 猜想的推广
   • 连接了表示论中的区分性质与 L-函数的解析性质
   • 在自守形式理论和算术几何中有重要应用
3. 现有局限性：
   • 当 $\chi$ 为平凡特征时，已有部分结果
   • 对于一般的 $\chi$，只有少数特殊情况被解决
   • 缺乏统一的方法处理所有情况
4. 研究动机：
   • 发展相对迹公式方法来处理扭曲线性周期
   • 建立局部根数与区分性质的精确关系
   • 为全局情况提供局部基础

核心贡献

1. 证明了前向方向：对于 $G = \mathrm{GL}_n(D)$（$D$ 是四元数代数），完全证明了 Prasad-Takloo-Bighash 猜想的前向方向（定理1.2）
2. 部分证明了逆向方向：在额外假设下（$\chi|_{F^×}$ 平凡且 $\mathrm{BC}(\pi_0)$ 是超尖的），证明了猜想的逆向方向（定理1.3）
3. 发展了新的技术方法：
   • 使用相对迹公式处理扭曲周期
   • 引入椭圆性概念和 Shalika 胚芽展开
   • 建立了分裂侧与非分裂侧的匹配理论
4. 提供了全局化构造：通过全局论证解决了某些局部问题，避免了复杂的轨道积分计算

方法详解

任务定义

研究何时不可约可容许表示 $\pi$ 满足 $\mathrm{Hom}_H(\pi, \chi^{-1}) \neq 0$，并建立这一性质与局部根数 $\varepsilon(\pi_{0,E} \otimes \chi)$ 的关系。

模型架构

1. 基本设置

• $E/F$：二次域扩张，$\eta = \eta_{E/F}$ 为相应的二次特征
• $A$：$F$ 上维数为 $4n^2$ 的中心单代数，包含嵌入 $E \to A$
• $B$：$E$ 在 $A$ 中的中心化子，维数为 $n^2$
• $G = A^×$，$H = B^×$

2. 相对迹公式方法

构造分裂侧 $G' = \mathrm{Res}_{E/F}(\mathrm{GL}_{2n})$ 和非分裂侧 $G = \mathrm{GL}_n(D)$ 的对应关系：

几何侧：

• 对称空间：$S' = \{gg^{-1} | g \in G'\} \cong G'/H''$
• 轨道积分：$O^{G'}(x, f') = \int_{(H' \times H'')_x \backslash (H' \times H'')} f'(h^{-1}xh'') \chi_{H'}(h)^{-1}\eta^{-1}(h^{-1}xh'') dh dh''$

谱侧：

• 球面特征：$I_\Pi(f') = \sum_W \ell'(\Pi(f')W)\ell''(W)$
• 其中 $\ell' \in \mathrm{Hom}_{H'}(\Pi \otimes \chi_{H'}, \mathbb{C})$，$\ell'' \in \mathrm{Hom}_{H''}(\Pi \otimes \chi\eta, \mathbb{C})$

3. 匹配理论

定义正则半单元素的匹配：$x \in G'(F)$ 和 $y \in G(F)$ 匹配当且仅当它们有相同的特征多项式。

技术创新点

1. 椭圆性理论

• 定义：表示 $\pi$ 是 $H$-椭圆的，如果存在椭圆正则半单元素使得球面特征不为零
• 关键结果：超尖表示的椭圆性（定理4.2）

2. 对合方法

定义对合 $f'^†(g) = f'({}^tg^{-1})(\chi\chi^c)(g)$，满足： $I_\Pi(f'^†) = \varepsilon(\Pi \otimes \chi)\chi(-1)^n I_\Pi(f')$

3. Shalika 胚芽展开

在李代数层面建立轨道积分的胚芽展开： $O(\gamma, \eta, f') = \sum_{O \subset N_0} \Gamma_O(\gamma)\mu_O(f')$

实验设置

理论验证框架

本文主要是理论工作，通过以下方式验证结果：

1. 特殊情况的一致性：验证新结果与已知的特殊情况（如 $\chi$ 平凡时）一致
2. 函子性质的保持：检查 Jacquet-Langlands 对应下性质的保持
3. 全局-局部兼容性：通过全局构造验证局部结果

对比方法

• Prasad-Takloo-Bighash 的原始方法
• Xue (2021) 针对平凡特征的方法
• Suzuki (2021) 的分类方法

实验结果

主要结果

定理1.2（前向方向）

若 $\pi$ 是 $(H,\chi^{-1})$-可区分的，则：

1. $\pi_0$ 的 Langlands 参数取值于 $\mathrm{GSp}_{2n}(\mathbb{C})$
2. $\varepsilon(\pi_{0,E} \otimes \chi) = \varepsilon_D^n \eta(-1)^n \chi(-1)^n$

定理1.3（逆向方向）

在额外假设下，满足上述条件的离散级数表示是 $(H,\chi^{-1})$-可区分的。

技术成果

命题4.11（相对迹公式恒等式）

$I_{\mathrm{BC}(\sigma')}(f') = J_\sigma(f) + J_{\sigma \otimes \eta}(f)$

这一恒等式是连接分裂侧与非分裂侧的关键。

相关工作

历史发展

1. 经典情况：Flicker (1991) 的线性区分理论
2. Gross-Prasad 猜想：正交群和酉群的情况
3. Prasad-Takloo-Bighash 猜想：推广到一般中心单代数

近期进展

• Sécherre (2024)：$p \neq 2$ 时的尖点表示情况
• Suzuki (2021)：去除泛性假设
• Chommaux-Matringe (2022)：深度零尖点表示

本文优势

• 处理一般的扭曲特征 $\chi$
• 统一的相对迹公式方法
• 避免了复杂的幺幂轨道积分计算

结论与讨论

主要结论

1. 完全解决了四元数代数情况下 Prasad-Takloo-Bighash 猜想的前向方向
2. 在合理假设下部分解决了逆向方向
3. 发展了处理扭曲线性周期的新方法

局限性

1. 逆向方向需要额外假设 $\chi|_{F^×}$ 平凡
2. 方法局限于 $\mathrm{GL}_n(D)$ 的情况
3. 全局化步骤需要已知的 Gross-Prasad 型结果

未来方向

1. 推广到一般中心单代数
2. 处理一般扭曲特征的逆向方向
3. 发展 $\mathrm{GSpin}(2n+1) \times \mathrm{GSpin}(2)$ 的 Gross-Prasad 型猜想

深度评价

优点

1. 方法创新：相对迹公式方法为处理扭曲周期提供了新途径
2. 理论深度：椭圆性理论和 Shalika 胚芽展开具有独立的理论价值
3. 技术精湛：巧妙地结合了局部和全局方法
4. 结果重要：推进了重要猜想的解决

不足

1. 适用范围：仅限于四元数代数情况
2. 假设条件：逆向方向需要较强的假设
3. 技术复杂性：证明涉及大量技术细节，可读性有限

影响力

1. 理论贡献：为 Langlands 纲领中的重要问题提供了新见解
2. 方法论价值：相对迹公式方法可能适用于其他问题
3. 后续研究：为进一步推广提供了基础

适用场景

• 自守表示理论研究
• L-函数的解析性质研究
• 算术几何中的周期积分理论

参考文献

本文引用了37篇重要文献，主要包括：

• PTB11 Prasad-Takloo-Bighash 的原始猜想
• XZ23 相对迹公式的建立
• Xue21 平凡特征情况的先前结果
• AC89 Arthur-Clozel 的基变换理论