Change of weights operations for triangulated $({\varphi},{\Gamma})$-modules

技術要約：三角化された $(\varphi, \Gamma)$-加群における重みの変更操作

問題提起
本論文は、有限拡大体 $K/\mathbb{Q}_p$ およびアフィン代数 $A$ 上のロブ・リング $R_{K,A}$ における階数 $n$ の $(\varphi, \Gamma_K)$-加群における「重みの変更（change of weights）」操作の存在性と性質を扱っている。Wu [Wu] は、一般的な（$\varphi, \Gamma$）加群の族に対してこのような操作の存在性を確立したが、**三角化可能（trianguline）**な場合の（$\varphi, \Gamma$）加群における具体的な挙動、特に（三角化、すなわち）フィルトレーションの選択への依存性は、依然として微妙な問題であった。

核心となる困難は、重みのシフト操作（プルバック）が、一般に加群に選ばれた特定の三角化に依存するという点にある。例えば、分解可能な加群における重みのシフトは、どの階数1の劣商がターゲットになるかによって異なる結果をもたらす可能性がある。本論文は、これらの操作が三角化の選択に対して独立であるための条件を特定し、$p$ 進ラングランズ対応の下での自己型表現側における平行移動関手との適合性を確立することを目的としている。

手法
著者は、スタック論的幾何学、$(\varphi, \Gamma)$-加群のコホモロジー解析、および変形理論を組み合わせて用いている：

1. スタック論的定式化: 本論文では、Emerton-Gee スタック $X_n$（階数 $n$ の $(\varphi, \Gamma_K)$-加群をパラメータ化する）および $X_B$（三角化可能な加群をパラメータ化する）を利用している。著者は、Sen 重みの順序が三角化の選択によらず不変である重み一様三角可能部分スタック（$X^{S\text{-}wu}_n$）を導入している。
2. プルバック操作と Sen 多項式: 著者は「重みの変更」を、文字ツイスト $t_\sigma$ によるプルバック操作 $p_{i,\sigma}$ として解釈している。Wu の結果 [Wu, Prop. 3.16] を用いて、ある加群の Sen 多項式 $P_{Sen}(T)$ が共最大な因子分解 $Q(T)S(T)$ を持つ場合、修正された Sen 多項式 $Q(T-1)S(T)$ を持つ一意的な $(\varphi, \Gamma)$-部分加群が存在することを証明している。
3. 三角化への独立性: 劣商の Sen 重みが（重み空間における「壁」を避けて）十分に離れている部分スタックに限定することで、誘導されるプルバック写像が、選ばれた特定の三角化に依存しないことを証明している。
4. 変形理論と Ding の対応: 局所的なアルティン代数 $A \in \mathcal{C}_E$ 上の $(\varphi, \Gamma)$-加群の変形を分析している。著者は、非クリティカルなクリスタベリン（crystabelline）加群に関連する局所的に解析的な表現 $\pi_{min}(D)$ および $\pi_{fs}(D)$ の Ding による構成 [Din25] を活用している。著者は、$D$ の三角可能変形とこれらの表現の拡大との間の対応関係を確立している。

主要な貢献および結果

• 定理 A (幾何学的同型): 特定の Sen 重みを増加させるプルバック操作 $p_{i,\sigma}$ は、重み一様三角可能部分スタック $X^{\sigma\text{-}wu, i}_n$ 上のウェルディファインドな射へと降下する。具体的には、整数のタプル $k$ に対して、写像
  $$p_k: X^{S\text{-}wu, I, k}_n \xrightarrow{\sim} X^{S\text{-}wu, I, -k}_n$$
  は、重みの変更が重みの正則性を保持する限り、スタックの同型である。これは、「重みの変更」が、これらの特定の領域内において三角化の選択に依存しない幾何学的操作であることを裏付けている。
• 定理 B (平行移動関手とのインターツワイン): 正則な Sen 重み $h$ を持つ非クリティカルなクリスタベリン $(\varphi, \Gamma_K)$-加群 $D$ に対し、$p_k(D)$ を重みを $h'$ へとシフトして得られる加群とする。$\pi_{\bullet}(D)$（ここで $\bullet \in \{min, fs\}$）を Ding による $GL_n(K)$ の局所的に $\mathbb{Q}_p$-解析的表現とする。本論文は以下を証明する：
  $$T^{\lambda'}_{\lambda}(\pi_{\bullet}(D)) \cong \pi_{\bullet}(p_k(D))$$
  ここで $T^{\lambda'}_{\lambda}$ は、「自己型重み」$\lambda = h - \theta$ および $\lambda' = h' - \theta$ によって決定される無限小標数の表現の圏の間の平行移動関手である。
• コホモロジー同型: 著者は Colmez の点的な結果をアフィン代数係数へと一般化し、重み一様性の条件下で、プルバック操作が Ext 群およびコホモロジーに同型を誘導し、三角可能変形の構造を保存することを示す。

意義および主張
本論文は、三角可能な設定における「重みの変更」操作に関する厳密な幾何学的枠組みを提供し、三角化依存性の曖昧さを解消したと主張している。その主要な意義は、定理 B にあり、これは（ガロア側における $(\varphi, \Gamma)$-加群のプルバック操作と、自己型表現側の平行移動関手との間の正確な可換関係を確立している点にある。

この結果は、JLS [JLS24] および Ding [Dina] による $GL_2(\mathbb{Q}_p)$ から $GL_n(K)$（非クリティカルなクリスタベリン加群の場合）への拡張である。著者は、証明が正則な重みの間の平行移動関手による圏の同値性と、Ding の表現の特定の構成に依拠していることを明示している。本論文は、クリティカルな重みや非クリスタベリンな加群の一般の場合を解決したり、新しい実験的な応用を提案したりするものではなく、むしろ、$(\varphi, \Gamma)$-加群の変形理論と $p$ 進群の表現論との間の理論的な繋がりを、三角可能な領域において強固にするものである。