[论文解读] On p-adic Speh representations

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

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

一句话总结

本文為 $GL_n(D)$ 上 $p$-進 Speh 表示的關鍵性質提供了簡潔的組合證明，其中 $D$ 是任意特徵的局部非阿基米德域上的中心除法代數。透過使用 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.

研究动机与目标

• 為 $GL_n(D)$ 上 Speh 表示的單位性、特徵公式與對偶性提供簡短且組合的證明，其中 $D$ 是局部非阿基米德域上的除法代數。
• 消除在證明這些結果時對深層工具（如跡公式、類型理論或 Bernstein 的不可約性定理）的依賴。
• 透過使用 Moeglin-Waldspurger 算法計算對偶表示，統一並簡化現有的證明。
• 確立 Speh 表示是單位且自對偶的，且其特徵公式在所有特徵與除法代數中均一致成立。

提出的方法

• 該方法依賴於 Moeglin-Waldspurger (MWA) 算法來計算不可約表示的對偶，從而實現基於對偶的推理。
• 透過標準表示理論構造一個較弱的關係 (R')，並透過分析 MWA 下的對偶關係 (R") 來精煉它。
• 透過利用對偶性與 MWA 的約束，證明誘導表示的半簡化中多餘項的係數為零，從而消除這些項。
• 透過歸功於 Tadić 的技巧，將單位性證明簡化為不可約性的證明，從而簡化核心論證。
• 作者使用格羅滕迪克群 $\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 是否存在一種統一的、組合的證明方法，適用於所有特徵與除法代數的 Speh 表示的特徵公式？
• RQ3 能否僅使用 Moeglin-Waldspurger 算法來建立 Speh 表示的對偶性（即 Speh 表示的對偶仍是 Speh 表示）？
• RQ4 Speh 表示的 Jacquet-Langlands 轉移是否保持其結構與特徵公式？
• RQ5 能否僅透過對偶性與 MWA，而不依賴 Zelevinsky 之導出，證明某類誘導表示的不可約性？

主要发现

• 對於任意本質平方可積表示 $\delta$ 與整數 $k$，Speh 表示 $u(\delta,k)$ 是單位的，其證明基於對偶性，歸結為不可約性。
• Speh 表示 $u(\delta,k)$ 的特徵公式透過 MWA 與格羅滕迪克環中的遞歸恆等式，以組合方式建立。
• Speh 表示 $u(\delta,k)$ 的對偶仍是 Speh 表示，具體為 $u(\tau,l)$，其中 $\tau$ 是 $\delta$ 的對偶，$l$ 由參數決定。
• 從 $GL_{nd}(F)$ 到 $GL_n(D)$ 的 $u(\delta,k)$ 的 Jacquet-Langlands 轉移等於 $\bar{u}(C(\delta),k)$，其中 $C(\delta)$ 是 $\delta$ 的轉移。
• 證明顯示，誘導表示半簡化中多餘項的消失是因為對偶性約束，從而將 naïve 關係 (R') 精煉為正確的關係 (R)。
• 該方法與域的特徵及 $D$ 的結構無關，因此可統一適用於所有局部非阿基米德除法代數。