Non-admissibility of some universal supersingular representations

技術的サマリー：いくつかの普遍的超特異表現の非許容性

問題提起
本論文は、$K/\mathbb{Q}_p$ が次数 $f$ の非分岐拡大である $p$-進簡約群 $G = \mathrm{GL}_n(K)$ の mod $p$ 表現の構造を取り扱っている。$\mathrm{GL}_2(\mathbb{Q}_p)$ における mod $p$ 局所ラングランズ対応はよく理解されているが、$n \ge 3$ または $K \neq \mathbb{Q}_p$ の場合は、はるかに複雑な振る舞いを示す。研究の中心対象は、$\mathrm{GL}_n(k)$（$k$ は $K$ の剰余体）の既約なセル重み $\sigma$ に付随する「普遍的超特異表現」$SS(\sigma)$ である。これは、コンパクト誘導表現 $c\text{-}\mathrm{Ind}_{KZ}^G \sigma$ を、ヘッケ作用素 $T_1, \dots, T_{n-1}$ が生成するイデアルで割った商として定義され、$SS(\sigma)$ は超特異表現を分類すると期待されている。

先行研究により、$n=2$ かつ $K \neq \mathbb{Q}_p$ の場合、$SS(\sigma)$ は非許容であり、無限長のことが示された。しかし、非許容性を証明するための既存の方法（図式理論やプロ-$p$ イワホリ不変量の明示的な計算に依存するもの）は $n=2$ に限定されていた。未解決の問題は、$n \ge 3$ における $SS(\sigma)$ の許容性と長さを決定することだった。

手法
著者らは、従来の図式ベースのアプローチとは異なる手法を開発し、重み循環論法とグローバル化技術、およびEmerton–Gee スタックの幾何学を組み合わせる。

1. 重み循環論法：著者らは、Buzzard によって考案され、Emerton–Gee–Herzig によって一般化された、重み循環論法の一般形を利用する。セル重み $\sigma$ と基本的な反支配コウェイト $\mu$ に対して、$KZ$の滑らかな表現$C_\mu(\sigma)$ と、全射準同型
   $$\mathrm{cyc}_\mu: c\text{-}\mathrm{Ind}_{KZ}^G C_\mu(\sigma) \twoheadrightarrow c\text{-}\mathrm{Ind}_{KZ}^G \sigma / (T_\mu)$$
   を構成する。$c\text{-}\mathrm{Ind}_{KZ}^G \sigma / (T_\mu)$ は $SS(\sigma)$ に全射するため、$c\text{-}\mathrm{Ind}_{KZ}^G C_\mu(\sigma)$ の特定の部分商が非許容であることを示せば、$SS(\sigma)$ についても同様であることがわかる。課題は、$C_\mu(\sigma)$ のジョルダン・ヘルダー因子を特定し、重み循環写像におけるそれらの像を理解することにある。

2. グローバル化とガロア表現：関連する部分商を特定する難しさを解決するため、著者らはグローバルな手法を採用する。連続ガロア表現 $\rho: G_K \to \mathrm{GL}_n(\mathbb{F}_p)$ を構成し、mod $p$ 局所ラングランズ対応の候補を通じて、$G$ の許容な滑らかな表現 $\pi$ をこれに付随させる。$\sigma$ が「モジュラー重み」となるように $\rho$ を慎重に選択することで、$C_\mu(\sigma)$ から $\pi|_{KZ}$ への非零準同型を確立する。これにより、特定のジョルダン・ヘルダー因子 $\sigma' \in \mathrm{JH}(C_\mu(\sigma))$ が $\pi|_{KZ}$ の底（socle）に現れることが強制される。

3. 局所モデル理論と Emerton–Gee スタック：適切な $\rho$ の存在は、mod $p$ ガロア表現のモジュライ空間として機能する、簡約化された Emerton–Gee スタック $X_{n, \mathrm{red}}$ の幾何学を研究することで保証される。著者らは、$\sigma$ と $\sigma'$ に対応する既約成分 $C_\sigma$ と $C_{\sigma'}$ の交わりを解析する。

   • [LLHM+24] で開発された、潜在的にクリスタリンなスタックの明示的な局所チャートを利用する。
   • $\sigma$ の最高ウェイトを含む $p$-アルコブに対して「特別」という条件を定義する。
   • 「特別」な重みに対して、$\sigma$ の超特異部分空間、成分 $C_{\sigma'}$、および $\sigma'$ の通常部分空間の交わりが空でないことを証明する。これにより、$\sigma$ に関しては超特異だが $\sigma'$ に関しては通常であるような $\rho$ の存在が保証される。

4. 非許容性の議論：そのような $\rho$ に対して、$c\text{-}\mathrm{Ind}_{KZ}^G \sigma'$ の $\pi$ における像は、主系列表現を通じて因子分解する。$\rho$ の対角成分を無限に多くの非分岐な指標でねじることで、著者らは像の商として無限に多くの非同型な主系列表現を生成する。補題 2.11 により、無限に多くの非同型な既約商を持つ表現は非許容である。

主要な貢献と結果

• 定理 1.1（定理 5.1）：$K/\mathbb{Q}_p$ を次数 $f \ge 1$ の非分岐拡大とする。$n \ge 3$ であり、$\sigma$ が十分深く、その $p$-制限された最高ウェイトが「特別」な $p$-制限された $p$-アルコブに含まれる場合、普遍的超特異表現 $SS(\sigma)$ は非許容であり、無限長である。
• 一般化：この結果は、$n=2$ かつ $K \neq \mathbb{Q}_p$ に対して既知であった非許容性を、より高いランク（$n \ge 3$）へ一般化するものである。
• 幾何学的洞察：本論文は、特別重みに対して、Emerton–Gee スタックの既約成分 $C_\sigma$ における超特異部分空間の余次元が 1 であることを確立する（系 3.28）。これは、最も低いアルコブの場合（超特異部分空間がより自明である場合）とは対照的である。
• 方法論的転換：本論文は、ガロア表現が $p$-進群の mod $p$ 表現論を導くことができることを示しており、具体的には Emerton–Gee スタックの幾何学を用いて普遍的表現の構造を制御するものである。

意義と限界
著者らは、自らの手法が、現在 $n \ge 3$ に対して利用できない図式理論の限界を超えて、$p$-進群の mod $p$ 表現を研究するための新たな道筋を提供すると主張している。この結果は、$n \ge 3$ における $\mathrm{GL}_n(K)$ で観察される「驚くほど複雑な振る舞い」には、一般的な条件下での普遍的超特異表現の非許容性も含まれることを確認するものである。

本論文は明示的に以下の限界を指摘している。

• 結果は、$\sigma$ が「十分深く」、その最高ウェイトが「特別」な $p$-アルコブに含まれることを必要とする。そのようなアルコブの割合は $1 - (\frac{n-2}{n-1})^f$ である。
• $n \ge 3$ に対する証明は、局所チャートの交差の特定の幾何学に依存している。著者らは、特別でない重み（例えば、基底 $p$-アルコブにある場合）に対しては、重み循環論法に必要な交わりが空になる可能性があり、その場合問題が著しく困難になることを指摘している。
• 議論は $n=2$ かつ $f \ge 2$ に対する非許容性を示すように適応可能であるが、主な焦点は、従来の手法が失敗した $n \ge 3$ の場合にある。

本論文は、確立された非許容性の結果と Emerton–Gee スタックの幾何学的性質の範囲を超えて、新しい実験的応用や将来の予想を提案するものではない。