[論文レビュー] Diagrammes canoniques et representations modulo $p$ de $\GL_2(F)$

Yongquan Hu|arXiv (Cornell University)|Apr 26, 2009

Advanced Algebra and Geometry参考文献 8被引用数 3

ひとこと要約

本稿は、非アーチメデス的局所体 $F$ の $\overline{\mathbb{F}}_p$ 上の非可約な滑らかな $\mathrm{GL}_2(F)$-表現に対して、標準的図式を構成する。この図式により、元の表現が同型を除いて完全に決定されることを証明し、特に $F = \mathbb{Q}_p$ または $\pi$ が非超特異な場合に図式を明示的に計算する。

ABSTRACT

Let $p$ be a prime number and $F$ a local field with residual characteristic $p$. In this article, to an irreducible smooth representation of $GL_2(F)$ over $\bar{\mathbf{F}}_p$ with central character, we associate canonically a diagram which determines the original representation up to isomorphism. We also determine it in some cases.

研究の動機と目的

• 非可約な滑らかな $\mathrm{GL}_2(F)$-表現 $\pi$ が中心的特徴に付随するとき、$\overline{\mathbb{F}}_p$ 上でその表現が同型を除いて標準的図式によって分類されることを確立すること。
• パシュクナスの図式的枠組みを拡張し、図式不変量から表現を明示的に再構成すること。
• 図式の有限性の性質と表現の適切性、あるいは有限提示可能性との関係を明確化すること。
• 非超特異および $F = \mathbb{Q}_p$ の場合に、標準的図式を明示的に計算すること。
• $I_1$-不変量の構造と、それらが図式の構成要素を決定する役割を調査すること。

提案手法

• 図式 $D(\pi) = (D_0(\pi), D_1(\pi), \mathrm{can})$ を定義し、$D_1(\pi) = \pi^{I_1}$ および $D_0(\pi) = \langle KZ \cdot D_1(\pi) \rangle$ とする。
• 図式の圏から滑らかな $G$-表現への関手 $H_0$ を用い、$H_0(D(\pi)) \cong \pi$ を示す。
• ブルハット＝ティツの木上の係数系の理論と $I_1$-不変量を用いて、$D_1(\pi)$ の構造を分析する。
• 表現上のヘッケ作用素 $T$ と $S$ の作用を用い、不変量と層構造を計算する。
• フロベニウスの双対性とコンパクト誘導の構造を活用し、$D_1(\pi)$ と $\pi$-不変量との関係を確立する。
• $F = \mathbb{Q}_p$ の場合および非超特異表現の場合の明示的計算により、図式再構成の正当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 非可約な滑らかな $\mathrm{GL}_2(F)$-表現 $\pi$ が中心的特徴を持つとき、$\overline{\mathbb{F}}_p$ 上でその表現が同型を除いて標準的図式から再構成可能か。
• RQ2 $D_1(\pi)$、すなわち $I_1$-不変部分空間の構造は、元の表現 $\pi$ を用いてどのように記述できるか。
• RQ3 図式の成分における有限性条件が、$\pi$ の適切性および有限提示可能性とどのように関係するか。
• RQ4 $D_1(\pi) = \pi^{I_1}$ が成り立つ条件は何か。また、$D_1(\pi) = \pi$ となる条件は何か。
• RQ5 $F = \mathbb{Q}_p$ または非超特異表現の場合に、標準的図式を明示的に計算可能か。

主な発見

• 自然な同型 $H_0(D(\pi)) \cong \pi$ が存在し、標準的図式 $D(\pi)$ が $\pi$ を同型を除いて完全に決定することを証明する。
• $D_1(\pi) = \pi^{I_1}$ は常に成り立ち、$F$ が特徴 $p$ を持ち $\pi$ が超特異であれば $D_1(\pi) = \pi$ である。
• $F = \mathbb{Q}_p$ の場合、$D_1(\pi) = \pi^{I_1}$ が成り立ち、図式は明示的に計算可能である。
• $D_1(\pi)$ が有限次元であること、$\pi$ が有限提示をもつこと、$\pi$ が標準的提示をもつことの3条件はすべて同値である。
• これらの有限性条件のいずれかが成り立つならば、$\pi$ は適切であり、空間 $I^+(\pi)^{\left(\begin{smallmatrix}1&\mathcal{O}\\0&1\end{smallmatrix}\right)}$ は有限次元である。
• 非超特異の場合、$D_1(\pi) = \pi^{I_1}$ であり、図式は $I_1$-不変量とその $KZ$-張りから構成される。