[論文レビュー] A combinatorial solution to Mœglin's parametrization of Arthur packets for p-adic quasisplit $Sp(N)$ and $O(N)$

Bin Xu|arXiv (Cornell University)|Mar 24, 2016

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

ひとこと要約

この論文は、$p$-進擬分裂シンプレクティック群および正交群 $Sp(N)$ と $O(N)$ のアーチュールパケージを完全にパrametrizeするための組合せ的枠組みを提供する。ジョルダン分解と偶性条件を用い、モーリンのパラメトライゼーションを明示的に計算することで、成分群のキャラクターグループを介してアーチュールパケージのサイズと構造を同定し、重複除去性を証明するとともに、各パケージ内の既約表現の完全分類を達成する。

ABSTRACT

We develop a general procedure to study the combinatorial structure of Arthur packets for $p$-adic quasisplit $Sp(N)$ and $O(N)$ following the works of Mœglin. This allows us to answer many delicate questions concerning the Arthur packets of these groups, for example the size of the packets.

研究の動機と目的

• $p$-進擬分裂 $Sp(N)$ および $O(N)$ のアーチュールパケージの構造を分析する一般的な組合せ的手順を構築すること。
• アーチュールパケージのパラメトライゼーションを、そのサイズと成分群の構造を特定することによって解消すること。
• アーチュールパケージ内の既約表現と $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$ のキャラクターとの間の標準的対応を確立すること。
• アーチュールパケージが重複除去的であることを証明し、自動表現理論における重要な予想を確認すること。

提案手法

• 論文は、アーチュールパラメータ $\psi$ のジョルダン分解 $Jord(\psi)$ を用いて、アーチュールパケージ内の既約表現を分類する。
• 表現 $\rho$ のタイプ（正交的かシンプレクティックか）に基づいて、ジョルダンブロック $(\rho, a, b)$ に対する偶性条件を定義し、成分群の構造を決定する。
• $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$ を $(\mathbb{Z}/2\mathbb{Z})^{Jord(\psi_p)}$ の部分群として構成し、積条件を課えることで、$\mathrm{Im}\,\underline{\psi}$ の中心化群の成分群を符号化する。
• ねじれ内紹体キャラクター恒等式を用いて、$\Pi_{\psi}^{\Sigma_0}$ 内の既約表現と $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$ のキャラクターとの間の標準的双対写像を構成する。
• 特定の表現がパケージに含まれるかどうかを決定するための明示的な不等式 $l_i, A_i, B_i, \eta_i^*$ を導出する。これは符号条件と重複制約に基づく。
• 符号 $\eta_i^*$ と $A_i - B_i$ の偶奇に関する場合分けを用いた解析により、パケージ構造の完全な組合せ的特徴付けが得られる。

実験結果

リサーチクエスチョン

• RQ1 $p$-進擬分裂 $Sp(N)$ および $O(N)$ のアーチュールパケージの正確な組合せ的構造は何か。また、どのようにパラメトライズ可能か？
• RQ2 アーチュールパケージのサイズはどのように決定され、その重複除去性は何かが制御するか？
• RQ3 成分群 $\mathcal{S}_{\psi}^{\Sigma_0}$ は、パケージ内の既約表現の分類において果たす役割は何か？
• RQ4 符号 $\eta_i^*$ と $A_i - B_i$ の偶奇は、表現のパケージ内への含む条件にどのように影響するか？
• RQ5 モーリンのパラメトライゼーションを、明示的な計算が可能な完全な組合せ的かつアルゴリズム的形に一般化できるか？

主な発見

• アーチュールパケージ $\bar{\Pi}_\psi$ は重複除去的であり、組合せ的枠組みを用いてモーリンの結果を確認した。
• アーチュールパケージ $\bar{\Pi}_\psi$ のサイズは、$(\mathbb{Z}/2\mathbb{Z})^{Jord(\psi_p)}$ の部分群としての $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$ の位数に等しい。
• $\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$ は、$\mathrm{Cent}(\mathrm{Im}\,\underline{\psi}, \widehat{G}\rtimes\langle\widehat{\theta_0}\rangle)/Z(\widehat{G})^{\Gamma_F}$ の成分群のキャラクター群と標準的に同型である。
• 論文は、$\Pi_{\psi}^{\Sigma_0}$ に含まれる表現のための明示的な必要十分条件を提示する。これは符号条件 $\eta_i^*$ と $l_i, A_i, B_i$ を含む不等式に基づく。
• パラメトライゼーションは完全に組合せ的である。$\bar{\Pi}_\psi$ の構造は、$Jord(\psi)$ とその偶性タイプによって完全に決定される。
• 解析により、$\widehat{\mathcal{S}_{\psi}^{\Sigma_0}}$ との双対写像を通じて、$\Pi_{\psi}^{\Sigma_0}$ 内の既約表現の完全分類が得られ、モーリンのパラメトライゼーションが構成的に解消された。