[论文解读] Local Galois representations of Swan conductor one

Naoki Imai, Takahiro Tsushima|arXiv (Cornell University)|Sep 9, 2015

Advanced Algebra and Geometry参考文献 37被引用 8

一句话总结

本文通过有限域上仿射直线上的Artin–Schreier层的étale上同调，构造了复数域上导子数为1的局部伽罗瓦表示。它提供了这些表示的显式几何实现，并通过局部兰道斯 correspondence 建立了与 $π_{\zeta,\chi,c}$ 的对应关系，特别在 $p \mid n$ 的非基本纯 tame 情况下。关键结果是此类表示的 Langlands 参数的完整几何构造。

ABSTRACT

We construct the local Galois representations over the complex field whose Swan conductors are one by using etale cohomology of Artin-Schreier sheaves on affine lines over finite fields. Then, we study the Galois representations, and give an explicit description of the local Langlands correspondences for simple supercuspidal representations. We discuss also a more natural realization of the Galois representations in the etale cohomology of Artin-Schreier varieties.

研究动机与目标

• 在不依赖局部兰道斯 correspondence 的前提下，构造韦伊群 $W_K$ 的不可约伽罗瓦表示，其导子数为1。
• 利用 $π^*\mathcal{L}_\psi$ 在 $\mathbb{A}^1_{k^{\mathrm{ac}}}$ 上的étale上同调，提供这些表示的显式几何实现。
• 在 $p \mid n$ 的情况下，建立 $π_{\zeta,\chi,c}$ 的局部兰道斯 correspondence，该情况超出基本纯 tame 的设定。
• 将构造推广至 $\ell$-adic 整系数与模 $\ell$ 系数，增强方法的几何与算术鲁棒性。

提出的方法

• 构造使用了映射 $\pi(y) = y^{p^e + 1}$ 下拉的 Artin–Schreier $\ell$-adic 层 $\mathcal{L}_\psi$ 的上同调 $H^1_c(\mathbb{A}^1_{k^{\mathrm{ac}}}, \pi^*\mathcal{L}_\psi)$。
• 在韦伊群 $W_{E_\zeta}$ 上定义了自然作用，其中 $E_\zeta = K[X]/(X^{n'} - \zeta\varpi)$，从而得到 $W_{E_\zeta}$ 的一个本原表示 $\tau_{n,\zeta,\chi,c}$。
• 通过诱导 $\tau_{n,\zeta,\chi,c}$ 得到 $W_K$ 上的表示 $\tau_{\zeta,\chi,c}$，其中包含一个微妙的特征扭，类似于基本纯 tame 情况下的 rectifier。
• 该构造被推广至在由 $x^p - x = y^{p^e+1} + \nu_{n-2}((y_i))$ 定义的 Artin–Schreier簇 $X$ 的上同调中实现伽罗瓦表示 $\tau_n$，使用 Künneth 公式与几何工具如 Lefschetz 跟踪公式。
• $H^{n-1}_c(X, \overline{\mathbb{Q}}_\ell)$ 上的 $Q \rtimes \mathbb{Z}$ 作用被分析，通过与特征扭和 Frobenius 作用的相容性，证明表示 $\rho_n$ 同构于 $\tau_n$。
• 通过 Bushnell–Henniart 的局部兰道斯 correspondence 特征化与 $\varepsilon$-因子，验证了同构 $\tau_{\zeta,\chi,c} \simeq \pi_{\zeta,\chi,c}$。

实验结果

研究问题

• RQ1 如何在不假设局部兰道斯 correspondence 的前提下，几何地构造导子数为1的不可约伽罗瓦表示？
• RQ2 当 $p \mid n$ 时，即在非基本纯 tame 情况下，简单超奇表示的 Langlands 参数的显式形式是什么？
• RQ3 此类表示的局部兰道斯 correspondence 是否能实现在 Artin–Schreier 簇的 étale 上同调中？
• RQ4 构造中类似于 rectifier 的特征扭如何与兰道斯 correspondence 中的 $\varepsilon$-因子和 $L$-因子数据相关联？
• RQ5 实现本原伽罗瓦表示 $\tau_n$ 的上同调的精确几何结构是什么？

主要发现

• 通过 $W_{E_\zeta}$ 上的诱导与 $\mathbb{A}^1_{k^{\mathrm{ac}}}$ 上 $\pi^*\mathcal{L}_\psi$ 的 étale 上同调，构造了 $W_K$ 上导子数为1的伽罗瓦表示 $\tau_{\zeta,\chi,c}$，其中包含确保与局部兰道斯 correspondence 相容的特征扭。
• 当 $n = p^e$ 时，证明了表示 $\tau_{\zeta,\chi,c}$ 是本原的（不来自真子群），确认其非基本纯 tame 的性质。
• 局部兰道斯 correspondence 被显式实现：$\tau_{\zeta,\chi,c}$ 对应于 $π_{\zeta,\chi,c}$ 的简单超奇表示，通过匹配 $L$-因子与 $\varepsilon$-因子得到验证。
• $\tau_n$ 在由 $x^p - x = y^{p^e+1} + \nu_{n-2}((y_i))$ 定义的 Artin–Schreier 簇 $X$ 的上同调 $H^{n-1}_c(X, \overline{\mathbb{Q}}_\ell)$ 中实现，且 $Q \rtimes \mathbb{Z}$ 有显式作用。
• 通过 Künneth 公式与 $Q \rtimes \mathbb{Z}$-作用与特征扭的相容性，结合跟迹公式与高斯和计算，建立了同构 $\rho_n \simeq \tau_n$。
• $\varepsilon$-因子 $\varepsilon(\xi_{n,\zeta}, \psi_{M'^{\mathrm{u}}_\zeta})$ 被计算为 $(-1)^{1 + \epsilon_0}$，与局部兰道斯特征化一致。