[論文レビュー] 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

ひとこと要約

本稿は、半整数の勾配と例外的重み（$k \equiv 2v+2 \mod (p-1)$ と定義される重み）を持つ $G_{\mathbb{Q}_p}$ の2次元の非可約クリスタリンガロア表現の還元について、ズイザック予想を提示し、勾配 $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}}$ 関手を用いて、$\varphi(e_1) = p^{k-1}e_2$, $\varphi(e_2) = -e_1 + a_p e_2$ および指定されたホッジフィルトレーションを持つクリスタリン表現 $V_{k,a_p}$ のフィルター付き $\varphi$-加群構造を記述する。
• mod $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)$ を用いたパrametrizationを用いる。
• mod $p$ 還元のジョルダン・ホルダー因子 $F_1, F_2, F_3$ の構造を、$\tau < t$, $\tau = t$, $\tau > t$ の3つの領域で分析し、$\tau$ の値に応じて異なる商をとることを明らかにする。
• $v = \frac{3}{2}$ の場合に、$t$, $t+\frac{1}{2}$, $t+1$ の臨界閾値を越える際の $F_1, F_2, F_3$ の振る舞いを、$T$-作用素と $\overline{c}$-項を含む明示的な商を用いて検証することで、ズイザック予想を証明する。
• 予想された還元パターンと、過収束モジュラー形式への $\theta$-作用素の作用を比較し、$\omega$ によるねじれを介して、勾配 $v$ と $v+1$ の間で還元構造が一致することを示し、整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 ズイザック予想は、半整数勾配 $v$ と例外的重み $k \equiv 2v+2 \mod (p-1)$ を持つクリスタリン表現の還元 $\bar{V}_{k,a_p}^{ss}$ を正確に記述するか？
• RQ2 ズイザックパターンと重みにおける局所定数性の相互作用は何か？また、局所定数性が失敗する場所を予測するために使用できるか？
• RQ3 ズイザック予想は、過収束 $p$-進モジュラー形式への $\theta$-作用素の作用とどの程度整合するか？特に、勾配 $v$ と $v+1$ の間で還元が一致するかを確認する。
• RQ4 ズイザック構造は、分数勾配における不可約性予想と矛盾するか、あるいは一致するか？また、$v$ が整数または半整数のとき、どのように振る舞うか？
• RQ5 ズイザックパターンは $v = \frac{3}{2}$ を超えて拡張可能か？また、より高い勾配におけるジョルダン・ホルダー因子の選択を支配する構造的原則は何か？

主な発見

• ズイザック予想は、すべての半整数勾配 $v \leq \frac{3}{2}$ に対して、特に $v = \frac{3}{2}$ に対して、臨界閾値 $t$, $t+\frac{1}{2}$, $t+1$ を超えるmod $p$ 還元の構造を分析することで、証明された。
• $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$ が半整数のときは予想が適用されないからである。