[论文解读] On the Stability and Gelfand Property of Symmetric Pairs

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

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

一句话总结

本文利用非交换群上同调发展了一种上同调方法，以验证特征为零的局部域上对称对的稳定性，证明了稳定性蕴含Gelfand性质。关键贡献在于对经典对称对中的Gelfand对进行了完整分类，包括 $ (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-稳定性，建立稳定性与Gelfand性质之间的联系。
• 对哪些对称对是Gelfand对进行分类，特别是实数域与非阿基米德域的情形。
• 利用稳定性作为关键判据，解决经典群中Gelfand对分类的开放问题。
• 证明对于许多对称对，稳定性与Gelfand性质等价，尤其是在实数域与拟分裂情形下。

提出的方法

• 使用非交换群上同调 $ H^1(\theta, G) $ 定义对称对 $ (G, H, \theta) $ 稳定性的障碍类。
• 将稳定性条件简化为检查某些元素 $ r = g\theta(g)^{-1} $ 是否在 $ H^1(\theta, Z_G(r)) $ 中表示平凡类。
• 应用伽罗瓦上同调与扭结技术，分析对称子群中的上同调障碍。
• 运用抛物诱导与表示论工具，将p-稳定性与重数一性质联系起来。
• 结合上同调验证与Aizenbud与Gourevitch的已知结果，对Gelfand对进行分类。
• 利用后代平凡正规性在稳定性条件下蕴含Gelfand性质的事实。

实验结果

研究问题

• RQ1 在特征为零的局部域上，哪些对称对 $ (G, H) $ 是稳定的，以及如何算法化地验证稳定性？
• RQ2 在半单群的对称对中，稳定性如何与Gelfand性质相关联？
• RQ3 经典对称对如 $ (SL_n(F), S(GL_k(F)\times GL_{n-k}(F))) $ 成为Gelfand对的精确条件是什么？
• RQ4 对于实数域或拟分裂群上的对称对，p-稳定性是否等价于稳定性？
• RQ5 在 $ \mathbb{R} $ 与非阿基米德域上，酉对与正交对的Gelfand性质由什么决定？

主要发现

• 当且仅当 $ k \neq n-k $ 时，对 $ (SL_n(F), S(GL_k(F)\times GL_{n-k}(F))) $ 是Gelfand对。
• 在 $ \mathbb{R} $ 上，当且仅当 $ p_1, p_2, q_1, q_2 $ 中至少一个为零时，对 $ (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})) $ 是Gelfand对。
• 在非阿基米德域 $ F $ 上，当且仅当某个厄米形式 $ B_i $ 的秩为1时，对 $ (U(B), U(B_1)\times U(B_2)) $ 是Gelfand对。
• 当且仅当 $ n $ 为奇数时，对 $ (SL_n(E), SL_n(F)) $ 是Gelfand对。
• 当且仅当 $ n = 1 $ 或 $ F = \mathbb{R} $ 时，对 $ (SL_{2n}(F), SL_n(E)) $ 是Gelfand对。
• 在所有考虑的对称对中，稳定性蕴含Gelfand性质，且在这些情形下，稳定性与Gelfand性质等价。