[论文解读] A zig-zag conjecture and local constancy for Galois representations

Eknath Ghate|arXiv (Cornell University)|Mar 20, 2019

Algebraic Geometry and Number Theory参考文献 10被引用 7

一句话总结

本文提出了一个关于 $G_{\mathbb{Q}_p}$ 上具有半整数斜率和例外权（即满足 $k \equiv 2v+2 \mod (p-1)$ 的权）的不可约晶体型二维伽罗瓦表示的约化行为的锯齿猜想，并证明了该猜想在斜率 $v \leq \frac{3}{2}$ 时成立。此外，本文进一步探讨了锯齿模式与权的局部常数性之间的相互作用，表明已知的锯齿结果意味着在小权时局部常数性不成立，而局部常数性则意味着在某些较高斜率下锯齿模式会失效。

ABSTRACT

We make a zig-zag conjecture describing the reductions of irreducible crystalline two-dimensional representations of $G_{\mathbb{Q}_p}$ of half-integral slopes and exceptional weights. Such weights are two more than twice the slope mod $(p-1)$. We show that zig-zag holds for half-integral slopes at most $\frac{3}{2}$. We then explore the connection between zig-zag and local constancy results in the weight. First we show that known cases of zig-zag force local constancy to fail for small weights. Conversely, we explain how local constancy forces zig-zag to fail for some small weights and half-integral slopes at least $2$. However, we expect zig-zag to be qualitatively true in general. We end with some compatibility results between zig-zag and other results.

研究动机与目标

• 提出一个定性描述具有半整数斜率和例外权（其中 $k \equiv 2v+2 \mod (p-1)$）的晶体型伽罗瓦表示约化的通用锯齿猜想。
• 针对较小的半整数斜率细化该猜想，明确指定约化形式，并与已知结果在 $v = \frac{1}{2}, 1, \frac{3}{2}$ 时进行验证。
• 研究锯齿猜想与权的局部常数性之间的关系，表明锯齿模式意味着在小权时局部常数性不成立，而局部常数性则意味着在某些较高斜率下锯齿模式会失效。
• 建立锯齿猜想与其他已知结果（包括不可约性猜想和 $\theta$-算子在过收敛模形式上的作用）的一致性。

提出的方法

• 利用 Fontaine 的 $D_{\mathrm{cris}}$ 函子描述晶体表示 $V_{k,a_p}$ 的滤子 $\varphi$-模结构，其中 $\varphi(e_1) = p^{k-1}e_2$，$\varphi(e_2) = -e_1 + a_p e_2$，并指定霍奇滤子。
• 应用模 $p$ 的朗兰兹对应，将约化 $\bar{V}_{k,a_p}^{ss}$ 与诱导表示 $\operatorname{ind}(\omega_2^c)$ 和 $\omega^b \oplus \omega^c$ 联系起来，具体取决于斜率和权。
• 通过参数化 $t = v(k-2)$ 和 $\tau = v(a_p) - v(k-2)$ 来分析不同斜率和权区间下模 $p$ 约化的结构。
• 分析模 $p$ 约化中约当-霍尔德因子 $F_1, F_2, F_3$ 的结构，分三种区域：$\tau < t$，$\tau = t$，和 $\tau > t$，其商模因 $\tau$ 的取值而异。
• 通过验证 $F_1, F_2, F_3$ 在关键阈值 $t$，$t+\frac{1}{2}$，和 $t+1$ 处的行为，证明了 $v = \frac{3}{2}$ 时的锯齿猜想，使用涉及 $T$-算子和 $\overline{c}$-项的显式商模。
• 将猜想中的约化模式与过收敛 $p$-进模形式上 $\theta$-算子的作用进行比较，通过 $\omega$ 的扭变实现匹配，表明在斜率 $v$ 和 $v+1$ 之间约化结构一致。

实验结果

研究问题

• RQ1 锯齿猜想是否准确描述了具有半整数斜率 $v$ 和例外权 $k \equiv 2v+2 \mod (p-1)$ 的晶体型伽罗瓦表示的约化 $\bar{V}_{k,a_p}^{ss}$？
• RQ2 锯齿模式如何与权的局部常数性相互作用？是否可用于预测局部常数性失效的位置？
• RQ3 锯齿猜想在多大程度上与 $\theta$-算子在过收敛 $p$-进模形式上的作用相容，特别是能否在斜率 $v$ 和 $v+1$ 之间匹配约化结构？
• RQ4 锯齿结构是否与分数斜率的不可约性猜想矛盾或一致？当 $v$ 为整数或半整数时，其行为如何？
• RQ5 锯齿模式能否推广至 $v = \frac{3}{2}$ 以上？在更高斜率下，选择约当-霍尔德因子的结构原理是什么？

主要发现

• 锯齿猜想已被证明在所有满足 $v \leq \frac{3}{2}$ 的半整数斜率下成立，特别是对 $v = \frac{3}{2}$，通过分析模 $p$ 约化在关键阈值 $t$，$t+\frac{1}{2}$，和 $t+1$ 处的结构得到证明。
• 对于 $v = \frac{3}{2}$，约化 $\bar{V}_{k,a_p}^{ss}$ 展现出锯齿模式：当 $\tau < t$ 时 $F_1$ 占主导，$\tau = t$ 时出现 $F_2$，$\tau = t+1$ 时出现 $F_3$，其商模涉及 $T$-算子和 $\overline{c}$-项。
• 该猜想表明，局部常数性在小权时不成立，因为约化模式在模 $p-1$ 的权同余类之间发生突变，尤其在例外权时更为显著。
• 相反，若局部常数性成立，则会迫使锯齿模式在某些小权和半整数斜率 $v \geq 2$ 时失效，表明两者之间存在根本性张力。
• 锯齿猜想与 $\theta$-算子的作用相容：在斜率 $v$ 处的约化经 $\omega$ 扭变后，与斜率 $v+1$ 处权为 $k+2$ 的形式的约化一致，确认了与希达-科尔曼族已知结果的一致性。
• 该猜想对分数斜率的不可约性猜想是空洞一致的，因为例外权 $k \equiv 2v+2 \mod (p-1)$ 仅在 $v$ 为整数时出现，此时该猜想不适用于半整数 $v$。