[논문 리뷰] Introduction to Representations of Real Semisimple Lie Groups

Matvei Libine|arXiv (Cornell University)|2012. 12. 11.

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

한 줄 요약

이 논문은 실(semisimple) 리 군의 표현 이론에 대한 접근 가능한 소개를 제공하며, 중심적인 예로 $SU(1,1)$를 다룬다. 하리슈-차이라 모듈러의 이론을 발전시키고, 해석적 이산 계열과 주요 계열을 통해 유니터리 표현을 구성하며, 분포적 극한과 추적 공식을 이용해 특성치를 계산하여, $SU(1,1)$에 대해 특성치가 명시적인 공식을 가진 실해석적 분포임을 입증한다.

ABSTRACT

These are lecture notes for a one semester introductory course I gave at Indiana University. The goal was to make this exposition as clear and elementary as possible. A particular emphasis is given on examples involving SU(1,1). These notes are in part based on lectures given by my graduate advisor Wilfried Schmid at Harvard University and PQR2003 Euroschool in Brussels as well as other sources.

연구 동기 및 목표

• 실 semisimple 리 군의 표현 이론에 대해 명확하고 초보자도 이해할 수 있도록 간단한 소개를 제공하는 것, 특히 $SU(1,1)$에 초점을 맞추어.
• 무한 가속성 벡터와 $K_{\mathbb{R}}$-유한 벡터를 통해 하리슈-차이라 모듈러의 이론을 발전시켜 기약 표현을 구성하고 분류하는 데 사용하는 것.
• 특히 이산 계열과 주요 계열에 대해 $SU(1,1)$의 유니터리 표현의 특성치를 분포적 극한과 추적 공식을 사용하여 계산하는 것.
• 기약 유니터리 표현의 특성치가 실해석적 분포이며, 명시적인 표현식을 가짐을 입증하고, 고전적 특성치 공식을 일반화하는 것.
• $SU(1,1)$의 표현 이론을 $K$-형식, $KAK$ 분해, 하리슈-차이라 모듈러의 글로벌라이제이션과 같은 더 넓은 구조와 연결하는 것.

제안 방법

• $SU(1,1)$를 실 semisimple 리 군 표현 이론의 일반 원리를 설명하는 주요 예로 사용한다.
• $C^\infty$ 벡터와 $K_{\mathbb{R}}$-유한 벡터를 통해 표현을 구성하고, 하리슈-차이라 모듈러의 정의로 이어진다.
• 아와사와 분해와 $KAK$ 분해를 적용하여 행렬 계수를 분석하고, 정규적 단순 원소에서 특성치를 계산한다.
• 기하급수와 분포적 극한을 사용하여 특성치를 계산한다: 예를 들어, $\lim_{n\to\infty} e^{i(2l+1-2n)\theta} = 0$ 는 분포의 의미에서 성립한다.
• 추적 공식을 통해 특성치 공식을 유도한다: 유한 차원 표현에 대해 $\operatorname{Tr}\pi_d(a_t) = \frac{e^{(d+1)t} - e^{-(d+1)t}}{e^t - e^{-t}}$.
• 하리슈-차이라 정규성 정리(Regularity Theorem)를 사용하여 특성치가 실해석적 분포이며, 특이점이 있음을 보여주며, 명시적 공식이 존재하지 않더라도 성립함을 입증한다.

실험 결과

연구 질문

• RQ1 실 semisimple 리 군의 표현 이론은 비콤팩트 군에 대해서도 어떻게 접근 가능하고 초보자도 이해할 수 있도록 만들 수 있는가?
• RQ2 무한 가속성 벡터가 해석적이지 않을 때, 하리슈-차이라 모듈러가 기약 표현을 분류하는 데 어떤 역할을 하는가?
• RQ3 특히 이산 계열과 주요 계열에 대해 $SU(1,1)$의 유니터리 표현의 특성치는 정규적 단순 원소에서 어떻게 행동하는가?
• RQ4 주요 계열 표현의 특성치는 이산 계열과 유한 차원 표현의 특성치의 합으로 표현될 수 있는가?
• RQ5 행렬 계수의 분포적 극한 행동은 어떠한가? 그리고 이것이 특성치 계산에 어떻게 기여하는가?

주요 결과

• 유한 차원 표현 $\pi_d$의 특성치, $SU(1,1)$에서 $F_d$에 대해 $\operatorname{Tr}\pi_d(k_\theta) = \frac{e^{i(d+1)\theta} - e^{-i(d+1)\theta}}{e^{i\theta} - e^{-i\theta}}$ 로 주어지며, 이는 기하급수의 합이다.
• 동일한 표현에 대해 $\operatorname{Tr}\pi_d(a_t) = \frac{e^{(d+1)t} - e^{-(d+1)t}}{e^t - e^{-t}}$ 이며, $a_t = \exp(tH)$ 이므로, 분열 토러스에서의 해석성(analyticity)을 보여준다.
• 해석적 이산 계열 $\pi_\chi$의 특성치, $\mathcal{D}_l^-$ 에서는 $\Theta^{-}_{\pi_\chi}(k_\theta) = \frac{e^{i(2l+1)\theta}}{e^{i\theta} - e^{-i\theta}}$ 로 주어지며, 분포적 극한을 통해 유도된다.
• $t > 0$ 에 대해 $\Theta^{-}_{\pi_\chi}(a_t) = \frac{e^{(2l+1)t}}{|e^t - e^{-t}|}$ 이며, 반해석적 계열의 경우에도 유사하게, $\Theta^{+}_{\pi_\chi}(-a_t) = (-1)^{2l}\frac{e^{(2l+1)t}}{|e^t - e^{-t}|}$ 이다.
• 주요 계열 특성치 $\Theta_{\pi_\chi}(a_t) = \frac{e^{(2l+1)t} + e^{-(2l+1)t}}{|e^t - e^{-t}|}$ 이며, $k_\theta$ 에서는 0이 되어, 유니터리성과 분해 성질을 확인한다.
• $l = -1/2, \varepsilon = 1/2$ 일 때, 주요 계열 특성치는 해석적 이산 계열과 반해석적 이산 계열의 극한 특성치의 합과 일치하며, 분해 $\pi_\chi \simeq \mathcal{D}_{-1/2}^- \oplus \mathcal{D}_{-1/2}^+$ 와 일致함을 검증한다.