[論文レビュー] Unicity of types for supercuspidals

Vytautas Paškūnas|ArXiv.org|Jun 6, 2003

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

ひとこと要約

本稿は、非アーチメデス的局所体 $F$ における $\mathrm{GL}_N(F)$ の超臨界表現の型の唯一性を確立する。任意の滑らかで非可約な超臨界表現 $\pi$ に対して、$K = \mathrm{GL}_N(\mathfrak{o}_F)$ の最大コンパクト部分群における（同型を除いて）唯一の非可約表現 $\tau$ が存在し、$(K, \tau)$ が $\mathfrak{I}(\pi)$ のインertial同値類の型となることが示され、さらに $\tau$ は $\pi|_K$ に重複度1で現れる。この結果は $N=2$ の場合の先行研究を拡張し、インertial型を通じて局所ラングランズ対応への自然なリンクを提供する。

ABSTRACT

Let $F$ be a non-Archimedean local field, with the ring of integers $\mathfrak{o}_F. Let $G=GL_N(F)$, $K=GL_N(\mathfrak{o}_F)$ and $π$ a supercuspidal representation of $G$. We show that there exist a unique irreducible smooth representation $τ$ of $K$, such that the restriction to $K$ of a smooth irreducible representation $π'$ of $G$ contains $τ$ if and only if $pi'$ is isomorphic to $π\otimesχ\circ\det$, where $χ$ is an unramified quasicharacter of $F^{ imes}$. Moreover, we show that $π$ contains $τ$ with the multiplicity 1. As a corollary we obtain a kind of inertial local Langlands correspondence.

研究の動機と目的

• 超臨界表現 $\mathrm{GL}_N(F)$ の型の唯一性を確立し、$N=2$ の場合の先行結果を拡張する。
• 各超臨界表現のインertial同値類 $\mathfrak{I}(\pi)$ に対して、自然なインertial型 $\tau$ を定義する。
• $\tau$ が $\pi|_K$ に重複度1で現れることを証明し、対応の明確な定義を保証する。
• $K = \mathrm{GL}_N(\mathfrak{o}_F)$ への制限を通じて、超臨界表現に対する自然なインertial局所ラングランズ対応を構成する。

提案手法

• Bushnell–Kutzko理論による超臨界表現の分類を用い、$\pi$ をコンパクト中心をもつ部分群からコンパクトに誘導することにより実現する。
• Mackeyの分解を適用し、$\pi|_K$ を二重コセット $Kg\mathfrak{K}(\mathfrak{A})$ からの誘導表現に分解する。
• Proposition 3.1 を用いて、単位元を含む二重コセットから生じる表現を型 $\tau$ と特定する。
• 相互作用理論および単純ストラタと単純字の性質を用いて、他の非可約和成分が型である可能性を除外する。
• 性質 (A) および (B) を持つ二重コセットを用いて場合を区別し、Propositions 6.16, 7.3, 7.14, 7.16 を用いて、唯一の自明な二重コセットが有効な型をもたらすことを証明する。
• インertial対応および局所ラングランズ対応を用いて、$\tau(\varphi)$ と $\mathrm{WD}(\pi)|_{I_F}$ の関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 任意のインertial同値類 $\mathfrak{I}(\pi)$ の超臨界表現に対して、$K = \mathrm{GL}_N(\mathfrak{o}_F)$ の非可約表現 $\tau$ が一意に存在し、$(K, \tau)$ がそのインertial型となるか？
• RQ2 型 $\tau$ は $\pi$ の構造と $K$ への制限から自然に構成可能か？
• RQ3 表現 $\tau$ が $\pi|_K$ に重複度1で現れるか、すなわち一意性と有限性が保証されるか？
• RQ4 この型の構成が、超臨界表現に対する自然なインertial局所ラングランズ対応を定義するために利用可能か？
• RQ5 Mackey分解における二重コセット $Kg\mathfrak{K}(\mathfrak{A})$ が型である可能性にどのように影響を与えるか？

主な発見

• 任意の滑らかで非可約な超臨界表現 $\pi$ に対して、$K = \mathrm{GL}_N(\mathfrak{o}_F)$ の非可約表現 $\tau$ が（同型を除いて）一意に存在し、$(K, \tau)$ が $\mathfrak{I}(\pi)$ の型となる。
• $\tau$ が $\pi|_K$ に重複度1で現れることを確認し、制限における型の一意性と有限性を裏付けた。
• 型 $\tau$ は明示的に $\operatorname{Ind}_J^K \lambda$ として実現され、$(J, \lambda)$ は単純ストラタ $[\mathfrak{A}, n, 0, \beta]$ に関連する単純型であり、$\mathbf{U}(\mathfrak{A}) \leq K$ を満たす。
• この構成により、自然なインertial局所ラングランズ対応が得られる：任意の $I_F$ の $N$ 次元のFrobenius半単純表現 $\varphi$ に対して、$\pi'|_K$ に $\tau(\varphi)$ が含まれるための必要十分条件は $\mathrm{WD}(\pi')|_{I_F} \cong \varphi$ である。
• 自明でない二重コセット $Kg\mathfrak{K}(\mathfrak{A})$ は型をもたらさないことが、相互作用と単純ストラタの近似に関する結果を組み合わせることで示された。
• 証明は Bushnell–Kutzko理論による超臨界表現の分類および $V$ 内の整則的順序と格子鎖の構造に依存している。