[論文レビュー] On the Stability and Gelfand Property of Symmetric Pairs

Shachar Carmeli|arXiv (Cornell University)|Nov 4, 2015

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

ひとこと要約

本稿では、特徴値がゼロの局所体上での対称対の安定性を確認するために、非アーベル群コホモロジーを用いたコhomologicalな手法を開発し、安定性がゲルファンド性を意味することを確立している。主な貢献は、$ (SL_n(F), S(GL_k(F)\times GL_{n-k}(F))) $、ユニタリおよび直交対、および $ (SL_n(E), SL_n(F)) $ を含む、古典的対称対におけるゲルファンド対の完全な分類であり、ランクおよび体の種別に関する明確な条件が提示されている。

ABSTRACT

A symmetric pair of reductive groups $(G,H,θ)$ is called stable, if every closed double coset of $H$ in $G$ is preserved by the anti-involution $g\mapsto θ(g^{-1})$. In this paper, we develop a method to verify the stability of symmetric pairs over local fields of characteristic 0 (Archimedean and $p$-adic), using non-abelian group cohomology. Combining our method with results of Aizenbud and Gourevitch, we classify the Gelfand pairs among the pairs \begin{align*} &(SL_n(F), (GL_k(F) imes GL_{n - k}(F)) \cap SL_n(F)), (U(B_1 \oplus B_2),U(B_1) imes U(B_2)),\\ &(GL_n(F),O(B)), (GL_n(F),U(B)), (GL_{2n}(F), GL_n(E)),(SL_{2n}(F), SL_n(E)), \end{align*} and the pair $(O(B_1 \oplus B_2),O(B_1) imes O(B_2))$ in the real case.

研究の動機と目的

• 特徴値がゼロの局所体上での再帰的群の対称対の安定性を体系的に検証するための方法を開発すること。
• コホモロジー的障害とp-安定性を通じて、安定性とゲルファンド性の関係を確立すること。
• 特に実数および非アーケイメデス体の場合に、対称対がゲルファンド対であるかどうかを分類すること。
• 安定性を主要基準として用いることで、古典的群におけるゲルファンド対分類の未解決事例を解消すること。
• 多くの対称対において、安定性とゲルファンド性が同値であることを示すこと、特に実数および準分裂の場合に有効である。

提案手法

• 非アーベル群コホモロジー $ H^1(\theta, G) $ を用いて、対称対 $ (G, H, \theta) $ の安定性の障害クラスを定義する。
• 安定性条件を、特定の要素 $ r = g\theta(g)^{-1} $ が $ H^1(\theta, Z_G(r)) $ で自明な類を表すかどうかの確認に還元する。
• ガロアコホモロジーとねじれ技法を用いて、対称部分群におけるコホモロジー的障害を分析する。
• 放棄的誘導と表現論的道具を用いて、p-安定性と多重性1性の関係を結ぶ。
• コホモロジー的検証とアイゼンブルトおよびゴウレヴィッチの既知の結果を組み合わせ、ゲルファンド対を分類する。
• 下降的正則性が安定性条件下でゲルファンド性を意味することを応用する。

実験結果

リサーチクエスチョン

• RQ1 特徴値がゼロの局所体上での対称対 $ (G, H) $ は、どのようなもので安定であり、安定性はどのようにアルゴリズム的に検証できるか？
• RQ2 再帰的群の対称対において、安定性はゲルファンド性とどのように関係するか？
• RQ3 $ (SL_n(F), S(GL_k(F)\times GL_{n-k}(F))) $ のような古典的対称対がゲルファンド対であるための明確な条件は何か？
• RQ4 実数体または準分裂群上の対称対において、p-安定性は安定性と同値か？
• RQ5 実数体および非アーケイメデス体上でのユニタリおよび直交対において、ゲルファンド性はどのように決定されるか？

主な発見

• 対 $ (SL_n(F), S(GL_k(F)\times GL_{n-k}(F))) $ は、$ k \neq n-k $ である場合に限りゲルファンド対である。
• 実数体上では、対 $ (O_{p_1+p_2,q_1+q_2}(\mathbb{R}), O_{p_1,q_1}(\mathbb{R})\times O_{p_2,q_2}(\mathbb{R})) $ は、$ p_1, p_2, q_1, q_2 $ の少なくとも一つがゼロである場合に限りゲルファンド対である。
• 非アーケイメデス体 $ F $ に対して、対 $ (U(B), U(B_1)\times U(B_2)) $ は、少なくとも一つのヘルミート形式 $ B_i $ がランク1である場合に限りゲルファンド対である。
• 対 $ (SL_n(E), SL_n(F)) $ は、$ n $ が奇数である場合に限りゲルファンド対である。
• 対 $ (SL_{2n}(F), SL_n(E)) $ は、$ n = 1 $ または $ F = \mathbb{R} $ の場合に限りゲルファンド対である。
• 検討されたすべての対称対において、安定性はゲルファンド性を意味し、これらのケースでは安定性とゲルファンド性が同値である。