Behaviour of Certain Crystalline Representations modulo $2$

技術的概要：ある 2 進晶性表現のモジュロ 2 における挙動

問題提起
本論文は、絶対ガロア群 $G_{\mathbb{Q}_2}$ の 2 次元 2 進晶性ガロア表現 $V_{k,a_2}$ の、半単純化されたモジュロ 2 還元 $\bar{V}_{k,a_2}$ の明示的な計算を取り扱っている。これらの表現は、ホッジ・テイト重み $0$と$k-1$、および晶性フロベニウスの特性多項式$X^2 - a_2 X + 2^{k-1}$によって特徴づけられる。そのような還元が、ブレイユやベジェらによる研究を通じて、奇素数$p$に対しては（特に小さい傾きにおいて）その構造が十分に理解されているのに対し、$p=2$の場合は技術的な障害により歴史的に回避されてきた。この研究は、傾き$\nu = v(a_2)$が区間$(0, 1]$ にある場合の還元を決定することにより、そのギャップを埋めることを目指している。

手法
著者らは、ブレイユによって先駆された $p$ 進局所ラングランズ対応（LLC）とモジュロ $p$ 局所ラングランズ対応との間の整合性を利用する。その戦略は以下の通りである：

1. 自己同型側: $V_{k,a_2}$ に付随するユニタリ $p$ 進バナッハ空間表現 $B(V_{k,a_2})$ を構成する。$\bar{V}_{k,a_2}$ は、この空間内の特定の $G$-安定格子 $\Theta_{k,a_2}$ の半単純化された還元を計算することで決定される。
2. ヘッケ作用素: 格子 $\Theta_{k,a_2}$ は、ヘッケ作用素 $T$ を用いて $(T - a_2)$ による誘導表現 $I(\text{Sym}^{k-2}\bar{\mathbb{Q}}_2^2)$ の商として実現される。この問題は、還元 $\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$ が $k-2$ または $k-1$ の付値に関連する $2^{t+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$ に対して予想されている「ジグザグ」現象の形式的な類似性にもかかわらず、素数 $p=2$ の挙動は奇素数とは著しく異なることを強調している。

• 異なるパラメータ: $p=2$ における決定パラメータ（具体的には $\alpha'$ と $\alpha$）は、奇素数に対して用いられる一般的な式とは異なる。例えば、傾きが 1 未満の場合、可約性の条件は、奇素数に対するジグザグ予想で用いられる標準的な $\tau$ ではなく、$\tau' = v(\alpha')$ に依存する。
• 一般化の失敗: 本論文は、決定因子 $\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$ が奇素数の場合とは異なる固有の構造的挙動を示し、局所ラングランズの枠組み内で専門的なアプローチを必要とすることを確立している。