[논문 리뷰] Representations with Small $K$ Types

Seung Won Lee|arXiv (Cornell University)|2012. 09. 25.

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

한 줄 요약

이 논문은 단순 리 군의 연결, 단순연결, 스플릿 실수 형식(타입 $C_n$ 제외)에 대해 클리포드 대수를 사용하여 소형 $K$ 유형을 분류하고, 코스타ント의 $P^\gamma$와 유사한 일반화된 $P^\xi$ 행렬을 도입한다. 또한 양성 루트에 대응하는 랭크-일치 부분군에 대해 $P^\xi$의 행렬식에 대한 곱공식을 증명하여, 닫힌 랑글랜즈 챔버 내에서 소형 $K$ 유형의 순환성과 유니터리 주요 시리즈의 기약성을 확립하며, 소형 $K$ 유형을 갖는 기약 $(\mathfrak{g},K)$-모듈의 완전한 분류를 이룩한다.

ABSTRACT

Let $\mathfrak{g}_{\mathbb{R}}$ be a split real, simple Lie algebra with complexification $\mathfrak{g}$. Let $G_{\mathbb{C}}$ be the connected, simply connected Lie group with Lie algebra $\mathfrak{g}$, $G_{\mathbb{R}}$ the connected subgroup of $G_{\mathbb{C}}$ with Lie algebra $\mathfrak{g}_{\mathbb{R}}$, and $G$ a covering group of $G_{\mathbb{R}}$ with a maximal compact subgroup $K$. A complete classification of "small" $K$ types is derived via Clifford algebras, and an analog, $P^ξ$, of Kostant's $P^γ$ matrix is defined for a $K$ type $ξ$ of principal series admitting a small $K$ type. For the connected, simply connected, split real forms of simple Lie types other than type $C_n$, a product formula for the determinant of $P^ξ$ over the rank one subgroups corresponding to the positive roots is proved. We use these results to determine cyclicity of a small $K$ type of principal series in the closed Langlands chamber and irreducibility of the unitary principal series admitting a small $K$ type.

연구 동기 및 목표

• 스플릿 실수 형식의 단순 리 군(타입 $C_n$ 제외)에 대해 클리포드 대수를 사용하여 진정한 소형 $K$ 유형을 분류하는 것.
• 주요 시리즈 표현에서 소형 $K$ 유형에 대해 코스타ント의 $P^\gamma$와 유사한 일반화된 $P^\xi$ 행렬을 정의하는 것.
• 양성 루트에 대응하는 랭크-일치 부분군에 대해 $P^\xi$의 행렬식에 대한 곱공식을 증명하는 것.
• 닫힌 랑글랜즈 챔버 내에서 소형 $K$ 유형의 순환성과 유니터리 주요 시리즈의 기약성을 확립하는 것.
• 랑글랜즈 매개변수를 통해 소형 $K$ 유형을 갖는 기약 $(\mathfrak{g},K)$-모듈의 완전한 분류를 제공하는 것.

제안 방법

• 스플릿 실수 형식의 단순 리 군(타입 $C_n$ 제외)에 대해 클리포드 대수를 사용하여 소형 $K$ 유형을 분류한다.
• 주요 시리즈 $I_{P,\sigma,\nu}$ 내 각 소형 $K$ 유형 $\xi$에 대해 코스타ント의 $P^\gamma$와 유사한 일반화된 $P^\xi$ 행렬을 정의한다.
• 양성 루트에 대응하는 랭크-일치 부분군 $G_\phi$에 대해 $\det(P^\xi)$의 곱공식을 증명하며, 랭크-일치 행렬식 계산을 활용한다.
• 하리시-찬드라 부분모듈 정리와 표현론적 동형을 적용하여 $Y^{\tau,\nu}$를 유도 표현과 연결한다.
• $U(\mathfrak{g})^K$가 $V_\tau$ 위에서 맵 $\gamma_\tau$를 통해 작용함으로써 랑글랜즈 매개변수와 $\mathfrak{a}^*$-오빗을 연결한다.
• 랑글랜즈 분해와 유도 단계를 통해 $I_{P,\sigma,\nu}$의 구조를 분석하여 기약성과 온도성(temperedness)을 결정한다.

실험 결과

연구 질문

• RQ1 스플릿 실수 형식의 단순 리 군(타입 $C_n$ 제외)에 대해 진정한 소형 $K$ 유형의 완전한 분류는 무엇인가요?
• RQ2 코스타ント의 $P^\gamma$ 행렬은 비구면 주요 시리즈에서 소형 $K$ 유형으로 어떻게 일반화될 수 있나요?
• RQ3 $P^\xi$의 행렬식은 무엇이며, 랭크-일치 부분군에 대해 곱공식을 갖는가요?
• RQ4 주요 시리즈 표현에서 닫힌 랑글랜즈 챔버 내에서 소형 $K$ 유형은 순환적인가요?
• RQ5 소형 $K$ 유형을 갖는 유니터리 주요 시리즈 표현은 기약적인가요?

주요 결과

• 타입 $A_n$ ($n \geq 2$), $B_n$ ($n \geq 3$), $D_n$ ($n \geq 3$), $E_6$, $E_7$, $E_8$, $F_4$, $G_2$의 스플릿 실수 형식의 단순 리 군에 대해, $C_n$ 제외하고 진정한 소형 $K$ 유형의 완전한 분류를 확보하였다.
• 주요 시리즈 $I_{P,\sigma,\nu}$ 내 각 소형 $K$ 유형 $\xi$에 대해 코스타ント의 구성법을 확장한 일반화된 $P^\xi$ 행렬을 정의하였다.
• $C_n$ 이외의 군에 대해, 양성 루트에 대응하는 랭크-일치 부분군 $G_\phi$에 대해 $\det(P^\xi)$의 곱공식을 증명하였다.
• 행렬식 공식과 $Y^{\tau,\nu}$의 구조를 통해, 소형 $K$ 유형 $\xi$가 닫힌 랑글랜즈 챔버 내에서 순환적임을 보였다.
• 소형 $K$ 유형을 갖는 유니터리 주요 시리즈 $I_{P,\sigma,\nu}$는 기약적이며, 랑글랜즈 매개변수는 $\nu$의 실수부에 의해 결정된다.
• 소형 $K$ 유형 $\tau$를 갖는 기약 $(\mathfrak{g},K)$-모듈의 동치류와 $\mathfrak{a}^*$ 내 웨일 군 오빗 사이에 일대일 대응이 존재하며, 이는 구면 경우를 일반화한다.