[論文レビュー] On the uniqueness of generic representations in an $L$-packet

Hiraku Atobe|arXiv (Cornell University)|Nov 28, 2015

Advanced Algebra and Geometry参考文献 36被引用数 5

ひとこと要約

この論文は、非離散局所体上の擬分裂古典的群の$L$-パックに含まれる一般表現の一意性について、簡潔で洗練された証明を提供する。相互作用作用素と誘導表現上のWhittaker汎関数のShahidiの関数方程式を用いることで、もし臨界的表現がWhittakerデータに関して一般であれば、そのLanglandsパラメータは成分群の自明な特徴に一致しなければならないことが示され、各$L$-パックに一般表現が高々一つしか含まれないことを証明する。

ABSTRACT

In this paper, we give a simple and short proof of the uniqueness of generic representations in an $L$-packet for a quasi-split connected classical group over a non-archimedean local field.

研究の動機と目的

• 非離散局所体上の擬分裂古典的群の$L$-パックにおける一般表現の一意性を確立すること。
• Desideratum 1.1をより簡単で直接的な証明で示すこと、すなわち$L$-パックにおける一般表現に対応するのは成分群の自明な特徴に限ることを示すこと。
• ArthurとMokの既知の結果から形式的に一意性が導かれることが示され、深いつながりのないグローバルまたは降下理論的議論を必要としないこと。
• 局所的逆定理や局所的降下理論に依存せず、以前はSO(2n+1)に対して証明を複雑にしていた要因を回避すること。

提案手法

• 誘導表現上の正規化された自己相互作用作用素を用い、成分群の作用をWhittaker汎関数に関連付ける。
• Shahidiの関数方程式（定理3.2）を応用し、相互作用作用素を誘導表現上のWhittaker汎関数に関連付ける。
• より大きな群$G'$と誘導表現$…mathrm{Ind}_{P(F)}^{G'(F)}(\tau \boxtimes \pi)$を構成し、離散系列からより大きな設定に問題を移行させ、既知の結果を適用可能にする。
• Canonical inclusion $…mathcal{S}_\phi \hookrightarrow \mathcal{S}_{\phi'}$ と、誘導設定におけるこの写像の全単射性を活用し、一般性の条件を移行させる。
• Rodierの定理と標準モジュール予想を用い、元の表現が一般であれば誘導表現の標準モジュールが既約であることを示す。
• Langlands分類を用いて一般の場合を臨界的場合に還元し、$L$-パラメータを臨界的成分に分解する。

実験結果

リサーチクエスチョン

• RQ1 擬分裂古典的群の$L$-パックには高々一つの$\mathfrak{w}$-一般表現が含まれるか？
• RQ2 $L$-パックにおける一般表現の一意性は、グローバルまたは降下理論的手段を用いずに、局所的表現論的道具のみで証明可能か？
• RQ3 $\iota_{\mathfrak{w}}(\pi)$が$\mathcal{S}_\phi$の自明な特徴であることは、$\pi$が$\mathfrak{w}$-一般であるための必要十分条件か？
• RQ4 相互作用作用素がWhittaker汎関数に作用するとき、Langlands対応における成分群の作用はどのように制約されるか？

主な発見

• 擬分裂古典的群の$L$-パックにおける一般表現の一意性は、ArthurとMokの局所Langlands対応に関する結果の形式的帰結として確立される。
• 証明により、$\pi \in \Pi_\phi$ が$\mathfrak{w}$-一般であれば、$\iota_{\mathfrak{w}}(\pi)$は$\mathcal{S}_\phi$の自明な特徴でなければならないことが示され、Desideratum 1.1が確認される。
• 相互作用作用素$R_{\mathfrak{w}'}(w, \widetilde{\tau \boxtimes \pi})$はスカラー乗法$\iota_{\mathfrak{w}'}([\pi'])(a)$として作用し、Whittaker汎関数の非消滅性によりこのスカラーは1でなければならない。
• 誘導設定において、Canonical inclusion $\mathcal{S}_\phi \hookrightarrow \mathcal{S}_{\phi'}$ は全単射であり、これにより自明性の条件を元の群へ移行できる。
• 一般の場合において、誘導表現の標準モジュールは$\pi$が一般であれば既約であることが示され、これにより臨界的成分$\pi_0$も$\mathfrak{w}_0$-一般であることが示される。
• $\iota_{\mathfrak{w}_0}([\pi_0])$が$\mathcal{S}_{\phi_0}$上で自明であることと、包含写像$\mathcal{S}_{\phi_0} \hookrightarrow \mathcal{S}_\phi$の全単射性を組み合わせることで、$\iota_{\mathfrak{w}}([\pi])$が$\mathcal{S}_\phi$上で自明であることが示される。