Gelfand-Kirillov bound for $p$-adic Banach representations with infinitesimal character for $\text{GL}_2$ and quaternion units

論文要約：無限小指標を持つ $p$ 進バナッハ表現のゲルファント・キリロフ次元の境界

1. 背景と問題設定 (Problem)

$p$ 進リ・群の表現論において、ゲルファント・キリロフ次元 (Gelfand-Kirillov dimension, GK次元) は、表現の「大きさ」を測る重要な不変量です。近年、$p$ 進ラングランズ・プログラムの文脈において、パッチング（patching）によって構成されるモジュール $M_\infty$ の特殊ファイバー（mod $p$ 表現）の GK次元を評価することが、パッチング・モジュールの非零性や忠実平坦性（faithful flatness）を証明するために極めて重要となっています。

先行研究 [DPS23] では、連結簡約群 $G$ の連結 $p$ 進バナッハ表現が無限小指標（infinitesimal character）を持つ場合、その GK次元は $2d_G$ 未満（$d_G$ は旗多様体の次元）であることが示されていました。本論文の主要な問いは、「この境界はより強く $\le d_G$ と抑えられるか？」 という点にあります。

2. 主な結果 (Main Results)

著者は、$\text{GL}_2(K)$ または $K$ 上の四元数体 $D^\times$ （$K$ は $p$ 進体）に対し、以下の定理を証明しました。

定理 (Theorem 6.2):
$p > 2$ とし、$K, L$ を $p$ 進体とする。$\Pi$ を $\text{GL}_2(K)$ または $D^\times$ の可認（admissible）な $L$-バナッハ空間表現とする。もし $\Pi$ の局所解析的ベクトル（locally analytic vectors）が無限小指標を持つならば、$\Pi$ の GK次元は以下を満たす：
$$\text{GKdim}(\Pi) \le [K : \mathbb{Q}_p]$$

• 最適性: $\text{GL}_2(K)$ の場合、主系列表現（principal series representations）において等号が成立するため、この境界は最適です。
• 適用: $p$ 進ラングランズ・プログラムにおけるパッチング・モジュールから得られるバナッハ表現 $\Pi_y$ に対しても、この次元の境界が適用されます。

3. 研究手法 (Methodology)

本論文の手法は、分配環（distribution algebras）のフィルタリングと、随伴勾配（associated graded）の代数的性質を利用するものです。

1. 随伴勾配と「カシミール・イデアル」:
   表現の双対 $\Pi^*$ を有限生成 $\mathcal{O}_L \mathcal{J}_H(K)$-加群として扱い、その随伴勾配 $\text{gr } M$ を解析します。無限小指標が存在するということは、ユニバーサル包絡環の元（カシミール元）が $\Pi^*$ に作用することと同義です。著者は、これらの元が $\text{gr } M$ を消去する特定のイデアル、すなわち 「カシミール・イデアル (Casimir ideal)」 を構成します。
2. $p$-値群とフィルタリング:
   $p$-値群（$p$-valued groups）の理論を用い、分配環 $D^r(H, L)$ に適切なフィルタリングを導入します。これにより、無限小作用から得られる情報（カシミール元）を、mod $p$ の随伴勾配 $\text{gr } M$ まで「輸送」することに成功しました。
3. 代数幾何学的アプローチ:
   GK次元の計算を、随伴勾配環のイデアルによる剰余環の クリュル次元 (Krull dimension) の計算に帰着させました。具体的には、カシミール元から生成されるイデアルによって、多項式環の変数の数が制限されることを示しました。

4. 主な貢献 (Key Contributions)

• 境界の改善: [DPS23] の $2d_G$ という境界を、$\text{GL}_2$ および四元数体の場合において $d_G$（すなわち $[K:\mathbb{Q}_p]$）へと大幅に改善しました。
• 概念的説明の提供: 先行研究 [BHH+23b] で見出されていた mod $p$ 表現の消去イデアルに対し、カシミール元という観点からより概念的かつ一般化可能な説明を与えました。
• 新しい技術的道具: $p$-値群の「厳密に飽和された (strictly saturated)」性質を利用した、$\epsilon$-捩れフリー（$\epsilon$-torsion freeness）の証明や、分配環のフィルタリングに関する詳細な理論を展開しました。

5. 意義 (Significance)

本研究は、$p$ 進ラングランズ・プログラムにおける表現論の構造的理解を深めるものです。特に、パッチング・モジュールの性質（非零性や平坦性）を証明するための強力な道具を提供しています。また、著者は $\text{GL}_3$ に対する予備的な計算から、この手法がより高次の群にも適用可能であることを示唆しており、将来的な一般化への道筋をつけています。