Space of norms on locally algebraic representations

技術的要約：局所代数表現上のノルムの空間

1. 問題設定と背景
本論文は、簡約群 $G = \mathbf{G}(F)$（ここで $F$ および $E$ は $\mathbb{Q}_p$ の有限次拡大）の局所代数表現 $V = \pi_{\text{sm}} \otimes_E \sigma_{\text{alg}}$ における非アルキメデス型ノルムの空間の幾何学を調査するものである。表現 $V$ は、滑らかな可逆的表現 $\pi_{\text{sm}}$ と有限次元代数表現 $\sigma_{\text{alg}}$ のテンソル積である。

この研究を動機づけている中心的な算術的問題は、$V$ 上の $G$ 不変ノルムの構成である。このようなノルムは、$p$ 進ラングランズ・プログラムにおける整数性に関する問題（特に Breuil–Schneider 予想）において極めて重要である。不変ノルムの存在に関する必要条件（例えば、Jacquet 加群に関する Emerton の条件）は既知であるが、これらのスペクトル条件から、グローバルな不変ノルマの存在へと移行することは依然として大きな障壁となっている。本論文は、これらのノルムを支配する一般的な幾何学的枠組みを、有界性の条件を満たすために必要な困難な算術的入力から分離することを目的としている。

2. 手法と幾何学的枠組み
著者は、ノルムの空間上の拡張 Goldman–Iwahori 距離 $d_\infty$ を用いて、計量幾何学的アプローチを採用している。

• 射影極限構造: $V$ 上のノルムの空間は、有限次元部分空間 $V_K = \pi^K_{\text{sm}} \otimes_E \sigma_{\text{alg}}$ に付随する拡張 Bruhat–Tits ビルディングの射影極限として特定される。著者は、通常の射影極限（成分ごとの収束）と、有界射影極限（一様収束）を区別しており、後者こそが有界軌道を研究するための正しい対象であると主張している。
• 計量幾何学: $d_\infty$ は $\ell_\infty$ 型の距離であり、CAT(0) メトリックではない。参照ノルム $\alpha_0$ の有限距離成分 $N_{\alpha_0}(V)$ は、**超凸（hyperconvex/injective）**であることが証明されている。この性質により、有界なノルムの族は、その族の直径のちょうど半分に等しい半径を持つ外接中心を持つことが保証される。
• 不動点戦略: 本論文は CAT(0) 不動点定理への依存を回避している。代わりに、超凸性を利用して、有界軌道の成分ごとの上限として $G$ 不変ノルムを直接構成する：$\alpha_G(v) = \sup_{g \in G} \alpha_0(g^{-1}v)$。

3. 主要な貢献と結果

• 不変ノルムの幾何学的特徴付け (Theorem 1.1, Theorem 5.1):
  本論文は、以下の精密な同値性を確立している：有限距離成分 $N_{\alpha_0}(V)$ が $G$ 不変ノルムを含むための必要十分条件は、軌道 $G\alpha_0$ が Goldman–Iwahori メトリックに関して有界であることである。もし軌道が有界であれば、不変ノルムは軌道の成分ごとの上限であり、参照ノルムから不変集合までの距離は、軌道の直径のちょうど半分となる。

• 有限状態問題への還元 (Section 3 & 6):
  有界な軌道の存在は、「有限状態」問題へと還元される。著者は、ある判定基準（Theorem 3.2）を定式化しており、そこでは $G$ 不変ノルムが存在するための必要十分条件を、すべての有限ビルディング図式（制限および輸送写像を含む）が解を持つこととしている。これにより、一様な境界が存在する場合、局所的な解をグローバルな解へと持ち上げるためのコンパクト性議論の使用が可能となる。

• 整数群環および Type–Hecke 条件 (Section 6):
  不変ノルムの存在に関する必要十分条件を、以下の観点から定式化している：

  1. Emerton の条件 (EC): 正の Jacquet 作用素の固有値の絶対値が $\le 1$ であることを保証する、Jacquet 加群に関するスペクトル条件。
  2. 有限 Type–Bruhat 商: 行列係数の遷移グラフは、すべての有向サイクルが非負のコストを持つ有限グラフへと降下しなければならない。
  3. 整数 Type インタートウィナー: 異なる Type を関連付ける行列は整数である必要がある。

• $G = \text{GL}_n(F)$ に対する明示的な解析 (Section 7 & 8):
  $G = \text{GL}_n(F)$ かつ $V$ が潜在的に半安定な表現に関連する場合、著者は以下の明示的な組合せ論的枠組みを提供する：

  • マルチセグメントへの還元: 問題は Bernstein–Zelevinsky のマルチセグメントおよびアフィン Hecke 代数の言語へと翻訳される。
  • グローバル還元行列: アフィン–Bruhat シェリング上の決定論的なピボット規則を通じて、「グローバル還元行列」$R$ が構築される。この行列は、標準形式基底における群の作用を表現する。
  • パス公式: 行列係数は、還元グラフにおけるパスの和として表現される。これらの係数の値は、可認な Weil–Deligne 接頭辞に関連する「欠損（defects）」の和によって下から抑えられる。
  • 十分条件 (Proposition 8.8): 単一のセグメントの場合、欠損 $\Delta_k$ が非負（可認性）であり、Type インタートウィナーが整数であり、かつ還元パスが「正の向き（positive orientation）」（非中心的な平行移動の内容が優位錐内にあること）を持つならば、標準的な max-norm が Cartan 生成元に対して不変であることを本論文は証明している。

4. $G = \text{GL}_n(F)$ に関する具体的な知見
単一セグメント（一般化された Steinberg 表現）の場合、以下の条件が満たされるとき、不変ノルムの存在が従うことが示されている：

1. フィルタリングされた Weil–Deligne 加群が可認である（これは $\Delta_k \ge 0$ という非負の欠損を意味する）。
2. 中心文字がユニタリである。
3. 還元パスが、非中心的な平行移動の内容に関する正値条件を満たしている。
   著者は、Haines–Pettet の公式を用いて、これらの条件がブロック Cartan 方向に対して満たされることを明示的に検証し、「正の接頭辞（positive-prefix）」仮説がこれらの特定の生成元に対して成立することを示している。

5. 意義と主張
本論文は、$\ell_\infty$ メトリックには適用できない CAT(0) 外接中心の議論を回避し、軌道の有界性が不変ノルムの存在を意味するという、直接的な幾何学的証明を提供することを主張している。

主要な意義は、幾何学的なメカニズムを算術的な困難から分離している点にある。著者は、幾何学的な不動点ステップ自体は初等的かつ完全であるが、実質的な算術的課題は依然として残っていると述べている。すなわち、軌道全体が一様に有界となるようなノルムを構成することである。これには、「有限状態」条件（遷移グラフにおける非負のサイクルコスト）を検証する必要があり、これは Type インタートウィナーの整数性や欠損の正値性といった、深い表現論的性質に依存している。

本論文は、Breuil–Schneider 予想を全般的に解決すると主張するものではなく、問題をアフィン–Weyl 群および Type 加群内における特定の組合せ論的および値論的な不等式のチェックへと還元するための、必要な枠組みと明示的な基準（Proposition 7.22, Proposition 8.8）を提供している。$G = \text{GL}_n(F)$ の場合、問題はマルチセグメント還元における「欠損」が非負であること、および還元パスが優位錐を尊重することを確認することに帰着されることを強調している。