[論文レビュー] On p-adic Speh representations

Alexandru Ioan Badulescu|arXiv (Cornell University)|Oct 23, 2011

Advanced Algebra and Geometry参考文献 6被引用数 4

ひとこと要約

本稿では、任意の特徴値を持つ局所非アーケィメデス的体上の中心的除法代数 $D$ における $GL_n(D)$ 上の $p$-進 Speh 表現の主要な性質について、簡潔で組合せ的な証明を提示する。Moeglin-Waldspurger アルゴリズムを用いて双対表現を計算することで、トレース公式や Bernstein の定理に依存せずに、ユニタリ性、特性式、双対性関係を確立する。これにより、既知の $p$-進群の表現論の結果を、特徴値に依存しない一様なアプローチで再構成する。

ABSTRACT

This note contains new short proofs of known results on Speh representations of inner forms of $GL_n$ over a local non archimedean field of any characteristic.

研究の動機と目的

• 除法代数 $D$ を局所非アーケィメデス的体上の中心的除法代数とする $GL_n(D)$ 上の Speh 表現のユニタリ性、特性式、双対性に関する短く組合せ的な証明を提供すること。
• これらの結果を証明するにあたり、トレース公式、型理論、または Bernstein の既約性定理といった深い道具に依存しないようにすること。
• 双対表現の計算に Moeglin-Waldspurger アルゴリズムを用いることで、既存の証明を統一的かつ簡略化すること。
• Speh 表現がユニタリかつ自己双対であり、その特性式がすべての特徴値および除法代数に対して一様に成り立つことを確立すること。

提案手法

• 証明は、非可約表現の双対を計算する Moeglin-Waldspurger (MWA) アルゴリズムに依存しており、双対性に基づく推論を可能にする。
• 標準的表現論を用いて弱い関係 (R') を定式化し、それを MWA を用いて双対関係 (R") を分析することで精錬する。
• 誘導表現の半単純化における余分な項は、双対性と MWA の制約を用いてその係数が消えることを示すことによって除去する。
• Tadić に帰属するテクニックを用いて、ユニタリ性を既約性への還元することで、核心的な議論を簡略化する。
• 著者は Grothendieck 群 $\mathcal{R}$ と $*$-積を用い、表現を可換な ${\mathbb{Z}}$-代数の元として取り扱う。
• 特に $\nu_{\delta}^{-1/2}F(\delta,k)*\nu_{\delta}^{1/2}F(\delta,k) = F(\delta,k-1)*F(\delta,k+1) + F(\delta_-,k)*F(\delta_+,k)$ のような基本的恒等式を用いて、再帰的還元を導出する。

実験結果

リサーチクエスチョン

• RQ1 トレース公式や Bernstein の定理に依存せずに、$GL_n(D)$ 上の Speh 表現のユニタリ性を証明できるか？
• RQ2 すべての特徴値および除法代数に対して有効な、特性式の均一的で組合せ的な証明は存在するか？
• RQ3 Moeglin-Waldspurger アルゴリズムのみを用いて、Speh 表現の双対性（すなわち、Speh 表現の双対が再び Speh 表現であること）を確立できるか？
• RQ4 Speh 表現の Jacquet-Langlands 移行が、その構造および特性式を保存するか？
• RQ5 Zelevinsky の導来を用いないで、双対性と MWA を用いて、特定の誘導表現の既約性を示せるか？

主な発見

• 任意の本質的に平方可積分な表現 $\delta$ および整数 $k$ に対して、Speh 表現 $u(\delta,k)$ はユニタリである。これは双対性に基づく既約性への還元によって証明される。
• MWA と Grothendieck 環内の再帰的恒等式を用いて、$u(\delta,k)$ の特性式が組合せ的に確立される。
• Speh 表現 $u(\delta,k)$ の双対は再び Speh 表現であり、具体的には $\delta$ の双対を $\tau$ とし、$l$ をパラメータで定めた $u(\tau,l)$ に一致する。
• $GL_{nd}(F)$ から $GL_n(D)$ への $u(\delta,k)$ の Jacquet-Langlands 移行は、$\bar{u}(C(\delta),k)$ に等しい。ここで $C(\delta)$ は $\delta$ の移行である。
• 証明により、誘導表現の半単純化における余分な項が双対性の制約によって消えることが示され、結果として素朴な関係 (R') が正しい関係 (R) に還元される。
• この方法は体の特徴値や $D$ の構造に依存しないため、すべての局所非アーケィメデス的除法代数に一様に適用可能である。