Behaviour of Certain Crystalline Representations modulo $2$

技术摘要：某些模 2 晶格表示的行为

问题陈述
本文针对绝对伽罗瓦群 $G_{\mathbb{Q}_2}$ 的二维 2-进晶格伽罗瓦表示 $V_{k,a_2}$ 的半单化模 2 约化 $\bar{V}_{k,a_2}$ 的显式计算问题。这些表示由霍奇 - 泰特权重 $0$和$k-1$以及晶格弗罗贝尼乌斯特征多项式$X^2 - a_2 X + 2^{k-1}$所刻画。虽然此类约化的结构对于奇素数$p$（特别是小斜率情形）已通过 Breuil、Berger 等人的工作得到充分理解，但由于技术障碍，$p=2$ 的情形在历史上一直被回避。本文旨在填补这一空白，确定斜率 $\nu = v(a_2)$ 在区间 $(0, 1]$ 内的约化情况。

方法论
作者利用了 $p$-进与模 $p$ 局部朗兰兹对应（LLC）之间的相容性，这是由 Breuil 开创的方法。该策略包括：

1. 自守侧：构造附着于 $V_{k,a_2}$ 的酉 $p$-进巴拿赫空间表示 $B(V_{k,a_2})$。通过计算该空间内特定 $G$-稳定格 $\Theta_{k,a_2}$ 的半单化模约化，确定 $\bar{V}_{k,a_2}$。
2. 海克算子：格 $\Theta_{k,a_2}$ 被实现为诱导表示 $I(\text{Sym}^{k-2}\bar{\mathbb{Q}}_2^2)$ 在算子 $(T - a_2)$ 下的商，其中 $T$ 为海克算子。问题归结为分析该算子在约化 $\bar{\Theta}_{k,a_2} = \Theta_{k,a_2} \otimes \bar{\mathbb{F}}_2$ 上的像。
3. 布鲁哈 - 蒂茨树分析：计算通过研究 $GL_2(\mathbb{Q}_2)$ 的布鲁哈 - 蒂茨树上的函数进行。作者定义了支撑在树顶点上的特定初等函数，并计算 $T$（分为 $T^+$ 和 $T^-$ 分量）在这些函数上的作用。
4. 针对 $p=2$ 的修正：作者强调，用于奇素数的标准组合引理（例如涉及 $\mathbb{F}_p$ 上求和的恒等式）在 $p=2$ 时会平凡地失效。他们提供了这些引理的修正版本，并执行了模 2 幂（具体为 $2^{t+2}$，其中 $t$ 与 $k-2$ 或 $k-1$ 的赋值相关）的显式同余计算，以处理素数 2 独特的算术性质。

主要贡献与结果
本文建立了斜率在 $(0, 1]$ 且 $k \ge 4$ 时 $\bar{V}_{k,a_2}$ 的完整结构描述。结果呈现二分法，取决于由 $k$ 和 $a_2$ 导出的特定参数的赋值。

• 情形 1：斜率 $0 < v(a_2) < 1$
  令 $r = k-2$，$t = v(r-1)$，且 $\alpha' = \frac{a_2^2 - 2^{r^2}}{2a_2}$，其中 $\tau' = v(\alpha')$。

  • 若 $\tau' < t$，则约化是不可约的：$\bar{V}_{k,a_2} \cong \text{ind}(\omega_2)$。
  • 若 $\tau' \ge t$，则约化是可约的：$\bar{V}_{k,a_2} \cong \mu_\lambda \oplus \mu_{\lambda^{-1}}$，其中 $\lambda$ 满足 $\lambda^2 + c\lambda + 1 = 0$，且 $c = \frac{\alpha'}{r-1} \in \bar{\mathbb{F}}_2$。
  • 推论：对于斜率在 $(0, 1)$ 的情况，约化是可约的当且仅当 $k$ 为奇数且 $v(a_2) = 1/2$。如果 $k$ 为偶数，则约化总是不可约的。

• 情形 2：斜率 $v(a_2) = 1$
  令 $r = k-2$，$t = v(r-2)$，且 $\alpha = \frac{a_2^2 - 2^{2\binom{r}{2}}}{2a_2}$，其中 $\tau = v(\alpha)$。

  • 若 $\tau \le t-1$，则约化是可约的：$\bar{V}_{k,a_2} \cong \mu_\lambda \oplus \mu_{\lambda^{-1}}$，其中 $\lambda$ 满足 $\lambda^2 - c\lambda + 1 = 0$，且 $c = \frac{a_2}{2} + \frac{r-2}{2\alpha}$。
  • 若 $\tau > t-1$，则约化是不可约的：$\bar{V}_{k,a_2} \cong \text{ind}(\omega_2)$。
  • 推论：如果 $v(a_2) = 1$ 且 $k$ 为奇数，则约化总是不可约的。

意义与比较
作者强调，尽管针对一般 $p$ 所猜想的形式相似的“之字形”（Zig-zag）现象，素数 $p=2$ 的行为与奇素数存在显著差异。

• 不同的参数：$p=2$ 的决定性参数（具体为 $\alpha'$ 和 $\alpha$）不同于奇素数所用的一般表达式。例如，在斜率 $<1$ 的情形中，可约性的条件取决于 $\tau' = v(\alpha')$，而不是奇素数“之字形”猜想中使用的标准 $\tau$。
• 推广的失效：本文表明，仅凭决定性因素 $\tau$ 和 $t$ 不足以描述所有情形下 $p=2$ 的约化；素数 2 的具体算术性质需要不同的公式和条件。
• 技术障碍：这项工作克服了特定的技术障碍，例如恒等式 $\sum_{\mu \in \mathbb{F}_p} [\mu] = 0$ 在 $p=2$ 时的失效，以及关于布鲁哈 - 蒂茨树上函数的某些组合引理的不适用性。作者提供了必要的修正引理以使计算严谨。

验证
理论结果通过 SAGE 计算的数值示例进行了验证（参考 [R18] 中的算法）。文中提供的表格证实，基于 $k$ 的奇偶性以及赋值 $\tau, \tau'$ 的预测可约性条件，与各种权重 $k$ 和参数 $a_2$ 的计算输出完全一致。

总之，本文提供了小斜率下晶格表示模 2 约化的首个显式分类，确立了偶素数 $p=2$ 表现出与奇素数情形不同的独特结构行为，需要在局部朗兰兹框架内采用专门的方法。