[논문 리뷰] On the Stability and Gelfand Property of Symmetric Pairs

Shachar Carmeli|arXiv (Cornell University)|2015. 11. 04.

Advanced Algebra and Geometry참고 문헌 21인용 수 7

한 줄 요약

이 논문은 특성 0인 국소체 위에서 대칭 쌍의 안정성을 검증하기 위해 비아벨 군 코hom로이를 사용하는 코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.

연구 동기 및 목표

• 특성 0인 국소체 위에서 재조정 군의 대칭 쌍의 안정성을 체계적으로 검증하기 위한 방법을 개발한다.
• 코homological 장벽과 p-안정성에 의해 안정성과 가르판드 성질 사이의 연결 고리를 확립한다.
• 특히 실수 및 비아르키메데스 경우에서, 어떤 대칭 쌍이 가르판드 쌍인지 분류한다.
• 안정성을 핵심 기준으로 삼아 고전적 군에 대한 가르판드 쌍 분류에서 열려 있는 케이스를 해결한다.
• 다수의 대칭 쌍에서 안정성과 가르판드 성질이 동치임을 보이며, 특히 실수 및 준스플릿 경우에서 그러하다.

제안 방법

• 비아벨 군 코hom로이 $ H^1(\theta, G) $를 사용하여 대칭 쌍 $ (G, H, \theta) $의 안정성에 대한 장벽 클래스를 정의한다.
• 특정 원소 $ r = g\theta(g)^{-1} $ 가 $ H^1(\theta, Z_G(r)) $ 에서 자명한 클래스를 나타내는지 확인하는 것으로 안정성 조건을 축소한다.
• 갈루아 코hom로이와 휘감김 기법을 적용하여 대칭 부분군에서의 코homological 장벽을 분석한다.
• 포물형 유도와 표현 이론적 도구를 활용하여 p-안정성과 다중도 일치 성질 사이의 연결을 맺는다.
• 코homological 검증을 아이젠부르크와 구레비치의 알려진 결과와 결합하여 가르판드 쌍을 분류한다.
• 유도된 정규성의 자명성은 안정성 조건 하에서 가르판드 성질을 함의한다.

실험 결과

연구 질문

• RQ1 특성 0인 국소체 위에서 어떤 대칭 쌍 $ (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 $ 인 경우에만 가르판드 쌍이다.
• 실수체 $ \mathbb{R} $ 에서 쌍 $ (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 $ 중 적어도 하나가 0이면 가르판드 쌍이다.
• 비아르키메데스 체 $ 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} $ 일 때에만 가르판드 쌍이다.
• 모든 고려된 대칭 쌍에서 안정성은 가르판드 성질을 함의하며, 이러한 케이스에서는 안정성과 가르판드 성질이 동치이다.