[论文解读] Deligne--Langlands gamma factors in families

David Helm, Gilbert Moss|arXiv (Cornell University)|Oct 29, 2015

Advanced Algebra and Geometry参考文献 11被引用 5

一句话总结

本文证明了 Deligne–Langlands 的 gamma 因子（结合了 epsilon 因子与 L 因子）可在 Noetherian $W(k)$-代数上的 $\varepsilon$-adic Galois 表示族中连续插值——解决了单个 epsilon 与 L 因子无法实现插值的关键问题。主要结果在局部化的洛朗多项式环中构造了一个明确定义、普遍相容的 gamma 因子，满足函子性、与特化的一致性以及乘法性。

ABSTRACT

Let F be a p-adic field, W_F its absolute Weil group, and let k be an algebraically closed field of prime characteristic l different from p. Attached to any l-adic representation of W_F are local epsilon- and L-factors. There are natural notions of families of l-adic representations of W_F, such as the theory of Galois deformations or, more generally, families over arbitrary Noetherian W(k)-algebras. However, the epsilon and L-factors do not interpolate well in such families. In this paper it is shown that the gamma factor, which is the product of the epsilon factor with a ratio of L-factors, interpolates over such families.

研究动机与目标

• 解决 $\epsilon$- 和 $L$- 因子在 $\ell$-adic Galois 表示族中无法插值的问题。
• 证明 gamma 因子（定义为 $\epsilon$- 因子与 $L$- 因子之比的乘积）可在这些族中实现插值。
• 在 Noetherian $W(k)$- 代数 $R$ 的环 $S^{-1}(R[X,X^{-1}])$ 中构造一个典范的、函子性的且相容的 gamma 因子。
• 确认在族中与局部 Langlands 对应的一致性，扩展了对可约表示的先前结果。
• 为局部 Langlands 对应与 Galois 表示族的变形理论相容提供一个框架。

提出的方法

• 在 Noetherian $W(k)$- 代数 $R$ 上定义一族连续的 $\ell$-adic 表示 $\rho: W_F \to \mathrm{GL}_n(R)$，推广 Galois 变形理论。
• 引入局部化环 $S^{-1}(R[X,X^{-1}])$ 以处理非整环情形，并确保族中函数的有理函数行为。
• 通过修正的 epsilon 因子 $\epsilon_0(\rho,\psi)$ 与涉及弗罗贝尼乌斯与挠群的特征多项式恒等式，构造插值 gamma 因子 $\gamma_R(\rho,X,\psi)$。
• 利用分解 $\rho = \rho^0 \oplus \rho^{>0}$ 将问题约化至完全顽固（wildly ramified）情形，此时 $\gamma = \epsilon_0$。
• 借助 [Yas09] 中关于 $\epsilon_0$- 插值的结果与定理 6.1，证明 $\gamma_R$ 在基变换下明确定义且相容。
• 通过在 Zariski 开集上粘合并验证其在特征零点的特化，证明唯一性与相容性。

实验结果

研究问题

• RQ1 Deligne–Langlands 的 gamma 因子能否在任意 Noetherian $W(k)$- 代数上的 $\ell$-adic Galois 表示族中实现插值？
• RQ2 为何 $\epsilon$- 与 $L$- 因子在这些族中无法插值，而 gamma 因子可以？
• RQ3 在局部化洛朗环 $S^{-1}(R[X,X^{-1}])$ 中，是否存在一个典范的、函子性的且乘法性的 gamma 因子构造？
• RQ4 在特化到特征零时，插值 gamma 因子是否与经典 gamma 因子一致？
• RQ5 在族设定下，插值 gamma 因子在诱导与正合序列下的行为如何？

主要发现

• 对任意 Noetherian $W(k)$- 代数 $R$ 与连续的 $\ell$-adic 表示 $\rho$，gamma 因子 $\gamma_R(\rho,X,\psi)$ 在 $S^{-1}(R[X,X^{-1}])$ 中明确定义。
• 该构造满足函子性：沿 $f: R \to R'$ 的基变换诱导出 gamma 因子的预期映射。
• 当 $R$ 是特征零的完备局部整环的分式域时，$\gamma_R(\rho,X,\psi)$ 恢复为经典的 Deligne–Langlands gamma 因子。
• gamma 因子具有乘法性：对正合列 $0 \to \rho' \to \rho \to \rho'' \to 0$，有 $\gamma_R(\rho,X,\psi) = \gamma_R(\rho',X,\psi) \cdot \gamma_R(\rho'',X,\psi)$。
• 对有限可分扩张上的诱导表示，有 $\gamma_R(\mathrm{Ind}_{E/F} r_E, X, \psi) = \gamma_R(r_E, \psi \circ \mathrm{tr}_{E/F})$。
• 该构造唯一且与特征零点的特化相容，确保与经典理论的一致性。