[논문 리뷰] Irreducible representations of product of real reductive groups

Dmitry Gourevitch, Alexander Kemarsky|arXiv (Cornell University)|2012. 12. 25.

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

한 줄 요약

이 논문은 실수 재구성군의 곱 $G_1 \times G_2$ 의 모든 기약 스무스, 적응 가능한 표현이 $G_1$ 과 $G_2$ 의 기약 스무스, 적응 가능한 표현들의 완비 텐서곱으로 유일하게 분해된다는 것을 증명한다. 증명은 하리슈-찰다 모듈과 스무스 표현 사이의 캐슬먼-월라흐 등가성에 기반하며, 기약성의 기존 결과를 확장하여 곱군에서의 기약성이 인자 분해를 암시함을 보인다. 핵심 추론은 쌍 $H \subset G$ 에 대한 강력한 겔판 성질과 대각 쌍 $\Delta H \subset G \times H$ 에 대한 일반적인 겔판 성질 사이의 동치성을 밝힌다. 이는 실수 재구성군 표현 이론의 구조적 질문을 해결한다.

ABSTRACT

Let $G_1,G_2$ be real reductive groups and $(π,V)$ a smooth, irreducible, admissible representation of $G_1 imes G_2$. We prove that $(π,V)$ is the completed tensor product of $(π_i,V_i)$, $i=1,2$, where $(π_i,V_i)$ is a smooth,irreducible,admissible representation of $G_i$, $i=1,2$. We deduce this from the analogous theorem for Harish-Chandra modules, for which one direction was proven in [AG] and the other direction we prove here. As a corollary, we deduce that strong Gelfand property for a pair $H \subset G$ of real reductive groups is equivalent to the usual Gelfand property of the pair $ΔH \subset G imes H$.

연구 동기 및 목표

• 실수 재구성 리 군의 곱에 대한 기약 스무스, 적응 가능한 표현의 구조적 분류를 확립하기 위해.
• 이러한 표현들이 인자들 위의 기약 표현들의 완비 텐서곱으로 분해된다는 것을 증명하기 위해.
• 하리슈-찰다 모듈의 텐서곱의 기약성에 관한 기존 결과를 스무스 표현의 전체 범주로 확장하기 위해.
• 분해 결과를 적용하여 다중도수 없는 쌍과 겔판 쌍을 대각 부분군을 통해 특성화하기 위해.
• 대각 포함을 통해 강력한 겔판 성질과 표준 겔판 성질 사이의 동치성을 확립하기 위해.

제안 방법

• Casselman-Wallach 등가성을 사용하여 $G_i$ 의 스무스 표현을 $(\mathfrak{g}_i, K_i)$-모듈로 연결하기 위해.
• 유한 길이성과 적응 가능성의 논증을 사용하여 $\mathfrak{g}_1 \times \mathfrak{g}_2$ 의 임의의 기약 하리슈-찰다 모듈이 $\mathfrak{g}_1$ 과 $\mathfrak{g}_2$ 의 기약 모듈의 텐서곱과 동형임을 증명하기 위해.
• $K$-유한 벡터가 스무스 표현에서 하리슈-찰다 모듈을 형성하고, $K$-유한 함자가 동치임을 이용하기 위해.
• $K$-형을 표현 공간에서 식별하고 작동의 교환 법칙을 이용하여 각 인자 군에서의 성분을 분리함으로써 인자 분해를 구성하기 위해.
• Casselman의 통합 정리를 사용하여 기약 하리슈-찰다 모듈이 주요 계열에 임베딩됨을 보이고, 유한 길이 논증을 지원하기 위해.
• Casselman-Wallach 전역화를 통해 완비 텐서곱의 구조를 적용하여 스무스 표현에 대한 해당 결과를 유도하기 위해.

실험 결과

연구 질문

• RQ1 모든 기약 스무스, 적응 가능한 표현 $G_1 \times G_2$ 는 $G_1$ 과 $G_2$ 의 기약 스무스, 적응 가능한 표현들의 완비 텐서곱으로 표현될 수 있는가?
• RQ2 $G_1$ 과 $G_2$ 의 기약 스무스 표현들의 완비 텐서곱은 $G_1 \times G_2$ 에서 기약인가?
• RQ3 실수 재구성 군의 쌍 $H \subset G$ 에 대한 강력한 겔판 성질은 대각 쌍 $\Delta H \subset G \times H$ 에 대한 표준 겔판 성질과 대응하는가?
• RQ4 기약 표현의 곱군에 대한 구조는 하리슈-찰다 모듈의 표현 이론과 어떻게 관련되는가?
• RQ5 $G$ 의 표현에서 $H$-불변 함수형과 $G \times H$ 의 표현에서 $\Delta H$-불변 함수형 사이의 정확한 관계는 무엇인가?

주요 결과

• $G_1 \times G_2$ 의 모든 기약 스무스, 적응 가능한 표현은 $G_1$ 과 $G_2$ 의 기약 스무스, 적응 가능한 표현들의 완비 텐서곱과 동형이며, 이는 완전한 인자 분해를 확립한다.
• $G_1$ 과 $G_2$ 의 기약 스무스 표현들의 완비 텐서곱은 $G_1 \times G_2$ 에서 기약이며, 기존 결과의 역을 확인한다.
• $\mathfrak{g}_1 \times \mathfrak{g}_2$ 의 기약 하리슈-찰다 모듈이 $M_1 \otimes M_2$ 로 분해되며, $M_i$ 는 $\mathfrak{g}_i$-모듈에서 기약임을 증명하였고, 이는 이전 작업을 확장한다.
• $H \subset G$ 에 대한 강력한 겔판 성질이 성립하는 것은 $(G \times H, \Delta H)$ 가 겔판 쌍임과 동치이며, 이는 구조적 동치성을 제공한다.
• $G$ 의 표현 $\pi$ 에서의 $H$-불변 함수형 공간은 $\pi \otimes \widetilde{\tau}$ 에서의 $\Delta H$-불변 함수형 공간과 자연스럽게 동형이며, 여기서 $\widetilde{\tau}$ 는 $\tau$ 의 대조 표현이다. 이는 쌍대성 다리를 확립한다.
• 증명은 Casselman-Wallach 등가성과 스무스 표현의 $K$-유한 벡터가 하리슈-찰다 모듈을 형성한다는 사실에 기반하며, 범주 간 결과 이행을 가능하게 한다.