[论文解读] A Real Groups Construction of the Tame Local Langlands Correspondence for PGSp(4,F)

Moshe Adrian, Joshua M. Lansky|arXiv (Cornell University)|Sep 26, 2012

Advanced Algebra and Geometry参考文献 13被引用 3

一句话总结

本文通过借鉴实李群表示理论的技术，提出了一种新的、适用于 $\mathrm{PGSp}(4,F)$（其中 $F$ 为 $p$-进域）的纯 tame 局部 Langlands 对应的构造方法。该方法通过椭圆环面的覆盖的特征标来参数化 Langlands 参数，并通过类似于 Harish-Chandra 的相对离散系列公式的形式，建立了这些特征标与超临界表示 $L$-包之间的对应关系，证明了由此构造出的映射正是 $\mathrm{PGSp}(4,F)$ 的纯局部 Langlands 对应。

ABSTRACT

In this paper, we continue the work of the first author and give a new construction of the tame local Langlands correspondence for PGSp(4,F), where F is a p-adic field, that is analogous to the construction of the local Langlands correspondence for real groups.

研究动机与目标

• 为 $\mathrm{PGSp}(4,F)$（一个 $p$-进李群）开发一种受实李群理论启发的新构造方法，以实现其纯局部 Langlands 对应。
• 通过从环面子群的特征标转向环面覆盖的特征标，填补对超临界表示 $L$-包参数化不足的空白。
• 通过 $p$-进域上 Harish-Chandra 相对离散系列特征标公式的类比，建立 Langlands 参数与 $L$-包之间的典范对应关系。
• 证明由此构造出的从 Langlands 参数到 $L$-包的映射，正是 $\mathrm{PGSp}(4,F)$ 的正确纯局部 Langlands 对应。

提出的方法

• 利用 Benedict Gross 的构造，将一个椭圆环面 $T$ 的 $F$-有理点的覆盖 $T(E)_{\Gamma}$ 上的特征标 $\chi$ 与一个 Langlands 参数 $\phi$ 关联起来。
• 通过将一个特征标 $\eta$ 作用于 $\Delta^0(\gamma,\Delta^+)$，定义一个 $p$-进域上的 Weyl 分母 $\Delta^0(\gamma,\Delta^+)$ 的类比，确保其取值在 $\mathbb{C}^*$ 中。
• 在 $T(E)_{\Gamma}$ 上引入一个函数 $\eta_\rho$，作为 $\eta \circ 2\rho$ 的平方根，以模拟实李群情形中 $\rho(\tilde{\gamma})$ 的作用。
• 利用涉及 $\eta \circ \Delta^0$ 和 $\eta_\rho$ 的特征标公式，从 $\chi$ 构造一个猜想的超临界特征标在 Weyl 群轨道上的表示，并通过迹恒等式将其与 $L$-包关联。
• 通过比较在 $Z(F)T(F)_{0,s}$ 上的迹函数，证明所构造表示的特征标与 DeBacker 和 Reeder 构造中的 $L$-包特征标一致。
• 通过线性无关性与上同调界，证明该对应关系的单射性与唯一性：若两个特征标在 $Z(F)T(F)_{0,s}$ 上迹函数相同，则其在 $W$-共轭意义下等价。

实验结果

研究问题

• RQ1 能否通过椭圆环面覆盖上的特征标理论，类比实李群情形，重构 $\mathrm{PGSp}(4,F)$ 的纯局部 Langlands 对应？
• RQ2 如何为超临界 $L$-包构造一个 $p$-进域上 Harish-Chandra 相对离散系列特征标公式的类比？
• RQ3 覆盖 $T(E)_{\Gamma}$ 在参数化 Langlands 参数及其相关 $L$-包中起何关键作用？
• RQ4 由 $\chi \in \widehat{T(E)_{\Gamma}}$ 构造出的 $L$-包的特征标是否能唯一确定该 $L$-包，并与已知构造一致？
• RQ5 当域 $F$ 的剩余特征为多少时，该特征标理论方法能产生良定义且无冗余的对应关系？

主要发现

• 映射 $\phi \mapsto \chi \in \widehat{T(E)_{\Gamma}} \mapsto L(\chi)$ 定义了一个对 $\mathrm{PGSp}(4,F)$ 良定义且典范的纯局部 Langlands 对应。
• 该构造生成的 $L$-包 $L(\chi)$ 由 $T(F)$ 上 Weyl 群轨道的特征标所对应的深度为零的超临界表示组成，与 DeBacker 和 Reeder 框架中的 $L$-包一致。
• 当 $q > 46$ 时，特征标公式确保 $L$-包在 $Z(F)T(F)_{0,s}$ 上非零，且由特征标的线性无关性保证唯一性。
• 该方法证明：若两个特征标 $\chi_1, \chi_2$ 在 $Z(F)T(F)_{0,s}$ 上的迹函数相同，则它们必为 $W$-共轭，从而确认该对应关系在 $W$-等价意义下是单射的。
• 该构造在 $\mathrm{char}(F) > 46$ 条件下成立，确保上同调界 $|Y|/|\mathbb{T}^{\Phi_\sigma}| < 1/|W|$ 成立，这对非零性论证至关重要。