[논문 리뷰] Branching problems of Zuckerman derived functor modules

Toshiyuki Kobayashi|arXiv (Cornell University)|2011. 04. 22.

Advanced Algebra and Geometry인용 수 5

한 줄 요약

이 논문은 실 재조화군의 기저가 되는 유니터리 표현의 분기 법칙을 조사하며, Zuckerman의 유도된 함수 모듈 $A_{\frak{q}}(\lambda)$에 초점을 맞추고 있으며, 무한한 중복도, 기약성, 중복도 없는 분해, 이산적 분해 가능성과 같은 풍부하고 다양한 특성을 드러낸다. 또한 타원형 코어지어던 오비트의 기하학적 양자화와의 연결 고리를 설정하고, 향후 연구를 위한 핵심 추측을 제시한다.

ABSTRACT

We discuss recent developments on branching problems of irreducible unitary representations $π$ of real reductive groups when restricted to reductive subgroups. Highlighting the case where the underlying $(g,K)$-modules of $π$ are isomorphic to Zuckerman's derived functor modules $A_q(λ)$, we show various and rich features of branching laws such as infinite multiplicities, irreducible restrictions, multiplicity-free restrictions, and discrete decomposable restrictions. We also formulate a number of conjectures.

연구 동기 및 목표

• 실 재조화군의 기저가 되는 유니터리 표현을 재조화군 하위군으로 제한할 때의 분해를 이해하기 위해.
• 특히 중복도와 기약성 성질에 초점을 맞춰 Zuckerman의 유도된 함수 모듈 $A_{\frak{q}}(\lambda)$의 분기 법칙을 분석하기 위해.
• 분기 문제와 타원형 코어지어던 오비트의 기하학적 양자화 사이의 연결 고리를 탐색하기 위해.
• 대칭 쌍에서의 중복도 없는 성질, 이산적 분해 가능성, 유니터리화 가능성에 대한 새로운 추측을 수립하기 위해.
• 표현 이론에서 다양하게 나타나는 분기 현상들을 통합적인 프레임워크로 이해하기 위해.

제안 방법

• 기저가 되는 유니터리 표현을 포화 부분대수에서의 코homological 유도를 통해 실현하기 위해 Zuckerman의 유도된 함수 구성법을 사용한다.
• Dolbeault 코hom올로지 실현 $H^{S}_{\bar{\partial}}(G/L, \mathcal{L}_{\lambda+\rho(\frak{u})})$ 를 통해 $A_{\frak{q}}(\lambda)$ 의 유니터리 구조를 연구하기 위해 적용한다.
• 타원형 코어지어던 오비트의 기하학적 양자화를 적용하여 $A_{\frak{q}}(\lambda)$ 를 헬로모르픽 선다발과 $G$-불변의 복소 구조와 연결한다.
• Schmid의 최대성 원리를 적용하여 $A_{\frak{q}}(\lambda)$ 의 유니터리 글로벌라이제이션을 프리셰트 위상에서의 최대 글로벌라이제이션으로 식별한다.
• Vogan의 '좋은 범위'(good range) 조건을 적용하여 유니터리 표현 $\pi_\lambda$ 의 기약성과 비영성 보장을 한다.
• 특히 재조화군 $G'$ 가 재조화군일 때의 대칭 쌍 $(G,G')$ 에서 $G$-모듈의 제한을 통해 분기 법칙을 분석한다.

실험 결과

연구 질문

• RQ1 Zuckerman의 유도된 함수 모듈 $A_{\frak{q}}(\lambda)$ 가 재조화군 하위군 $G'$ 로 제한되었을 때, 어떤 조건에서 기약성을 유지하는가?
• RQ2 Zuckerman의 유도된 함수 모듈 $A_{\frak{q}}(\lambda)$ 가 $G'$ 로 제한되었을 때, 중복도가 유한한가 아니면 무한한가?
• RQ3 Zuckerman의 유도된 함수 모듈 $A_{\frak{q}}(\lambda)$ 가 $G'$ 로 제한되었을 때, 언제 이산적으로 분해 가능한가?
• RQ4 대칭 쌍에서 $A_{\frak{q}}(\lambda)$ 의 중복도 없는 분기 법칙은 무엇으로 특징지어지는가?
• RQ5 어떤 대칭 쌍 $(G,G')$ 가 $A_{\frak{q}}(\lambda)|_{G'}$ 에 대한 플랑커엘 유형의 분해를 허용하는가?

주요 결과

• 기저가 되는 재조화군 하위군 $G'$ 로 제한되었을 때, $A_{\frak{q}}(\lambda)$ 는 $({\frak{g}},K)$-모듈로서 기약이지만, 무한한 중복도를 가질 수 있다.
• 기저가 되는 재조화군 하위군 $G'$ 로 제한되었을 때, $A_{\frak{q}}(\lambda)$ 가 여전히 기약성을 유지하는 경우가 존재하며, 이는 유한 차원 표현에서는 관찰되지 않는 현상이다.
• 기저가 되는 재조화군 하위군 $G'$ 로 제한되었을 때, $A_{\frak{q}}(\lambda)$ 는 이산적으로 분해 가능할 수 있으며, 이는 기약 $G'$-표현들의 직합으로 분해됨을 의미한다.
• 제한의 스펙트럼이 순수하게 연속적일 수 있으며, 이는 플랑커엘 공식에서 비이산 측도가 포함됨을 나타낸다.
• 만약 $\lambda$ 가 좋은 범위에 속해 있다면, $A_{\frak{q}}(\lambda)$ 와 관련된 유니터리 표현 $\pi_\lambda$ 는 기약적이며 영이 아니며, 이는 유니터리화 가능성 보장을 한다.
• Zuckerman의 유도된 함수 모듈 $A_{\frak{q}}(\lambda)$ 는 Dolbeault 코호몰로지 $H^{S}_{\bar{\partial}}(G/L, \mathcal{L}_{\lambda+\rho(\frak{u})})$ 와 동형이며, 이는 프리셰트 위상과 연속적인 $G$-작용을 지닌다.