[논문 리뷰] Tempered homogeneous spaces III

Yves Benoist, Toshiyuki Kobayashi|arXiv (Cornell University)|2020. 09. 22.

Advanced Algebra and Geometry참고 문헌 34인용 수 6

한 줄 요약

이 논문은 unitary 표현 $G$ on $L^2(G/H)$가 tempering임을 판별하는 실수 및 복소수 재조정 동차공간 $G/H$를 분류한다. 복소수 군의 경우, tempering은 일반적인 $H$-스태빌라이저가 가상 아벨임과 동치임을 증명한다; 실수 군의 경우 조건은 필요하지만 충분하지 않으며, 명시적인 예외가 목록화되어 있다. 주요 기여는 스테빌라이저의 구조를 통해 tempering 표현의 완전한 대수적 특성화이다.

ABSTRACT

Let G be a real semisimple algebraic Lie group and H a real reductive algebraic subgroup. We describe the pairs (G,H) for which the representation of G in $L^2(G/H)$ is tempered. When G and H are complex Lie groups, the temperedness condition is characterized by the fact that the stabilizer in H of a generic point on G/H is virtually abelian.

연구 동기 및 목표

• 실수 단순 및 재조정 대수적 리 군 $(G,H)$의 모든 쌍을 특성화하여, $G$의 $L^2(G/H)$ 상의 unitary 표현이 tempering임을 밝히는 것.
• 일반적인 점들에서의 $G/H$의 스테빌라이저의 대수적 구조에 따라 표현이 tempering이 되는 조건을 규명하는 것.
• 특히 복소수 및 실수 설정에서 단순 $G$와 단순하지 않은 $H$에 대해 tempering이 아닌 경우의 완전한 목록을 제공하는 것.
• 실수 케이스와 복소수 케이스에서 tempering을 위한 필요 조건과 충분 조건의 차이를 명확히 하는 것.

제안 방법

• 리 대수의 표현 $V$에 관련된 불변량 $p_V$를 사용하여 행렬 계수의 성장률을 제한하는 것.
• 구조 분해와 표현 이론을 통해 분류 문제를 단순 리 대수로 환원하는 것.
• 불가약 표현을 분석하기 위해 다인킨의 최대 부분대수 분류를 적용하는 것.
• $\rho_V$ 함수를 사용하여 표현의 복잡도를 측정하고, 이와 tempering 조건을 연결하는 것.
• 특히 $G/H$의 일반적인 점들의 스테빌라이저에 중점을 두고, 대수적 기하학과 재조정 부분군의 구조를 기반으로 한 증명 전략.
• 특히 대칭 공간 설정에서 실수 케이스를 복소수 케이스로 환원하기 위해 복소화 기법을 활용하는 것.

실험 결과

연구 질문

• RQ1 실수 재조정 대수적 리 군 $(G,H)$의 어떤 쌍에 대해 $G$의 $L^2(G/H)$ 상의 unitary 표현이 tempering인가?
• RQ2 어떤 정확한 대수적 조건이 $G/H$의 일반적인 점들에서의 $H$-스테빌라이저가 $L^2(G/H)$의 tempering을 보장하는가?
• RQ3 왜 복소수 케이스에서는 가상 아벨인 일반적인 스테빌라이저 조건이 필요하고 충분한가, 그러나 실수 케이스에서는 그렇지 않은가?
• RQ4 대칭적이지 않은 동차공간 $G/H$ 중에서, 일반적인 스테빌라이저가 유연함에도 불구하고 tempering 표현을 유도하지 못하는 경우는 무엇인가?
• RQ5 고전적 및 예외적 리 군에 대해 tempering이 아닌 경우의 완전한 목록은 무엇인가?

주요 결과

• 복소수 단순 $G$와 재조정된 $H$에 대해, $L^2(G/H)$ 상의 표현은 $H$에서 가상 아벨 스테빌라이저를 가진 점들의 집합이 $G/H$에서 조밀할 때에만 tempering이다.
• 실수 케이스에서, 일반적인 $H$-스테빌라이저가 가상 아벨일 경우는 tempering을 보장하지만, 필요 조건은 아니며, 반례를 통해 이를 입증한다.
• $G = \mathrm{SL}(2m,\mathbb{C})$, $H = \mathrm{Sp}(m,\mathbb{C})$인 경우와 $G = \mathrm{SO}(7,\mathbb{C})$, $H = G_2인 경우, 스테빌라이저가 유연함에도 불구하고 $L^2(G/H)$ 표현은 tempering이 아니다.
• $G = \mathrm{SL}(n,\mathbb{C})$, $H = \prod \mathrm{SL}(n_i,\mathbb{C})$인 경우, 표현은 $2n_1 \leq n+1$일 때에만 tempering이며, $\mathrm{SO}$ 및 $\mathrm{Sp}$ 유형에 대해서도 유사한 경계가 존재한다.
• 실수 케이스에서 $L^2(\mathrm{SL}(2m,\mathbb{R})/\mathrm{Sp}(m,\mathbb{R}))$는 결코 tempering이 아니며, $L^2(\mathrm{SL}(m+n,\mathbb{R})/\mathrm{SL}(m,\mathbb{R}) \times \mathrm{SL}(n,\mathbb{R}))$는 $|m-n| \leq 1$일 때에만 tempering이다.
• 실수 동차공간 중에는 일반적인 스테빌라이저가 유연하지만 표현이 tempering이 아닌 경우와, 일반적인 스테빌라이저가 아벨이 아니지만 표현이 여전히 tempering인 경우가 존재하여, 정리 1.1의 역함수 포함 관계가 일반적으로 성립하지 않음을 보여준다.