[논문 리뷰] On the restriction of Zuckerman's derived functor modules A_q(\lambda) to reductive subgroups

Yoshiki Oshima|arXiv (Cornell University)|2011. 07. 14.

Advanced Algebra and Geometry참고 문헌 11인용 수 3

한 줄 요약

이 논문은 실수 재수정 리 군의 대칭 쌍 내에서 Zuckerman의 유도 함수 모듈 $A_q(\lambda)$를 재수정 부분군에 제한할 때의 분기 법칙을 수립한다. 복소 부분 플라그 다양체 위의 D-모듈 해석을 통해, $A_q(\lambda)$에서 부분군 위의 $A_{q''}(\lambda')$ 모듈의 직합으로의 임베딩을 구성함으로써, 각 불가약 성분이 그러한 유도 함수 모듈의 부분모듈과 동형임을 증명한다. 핵심 결과는 $A_q(\lambda)$의 사영된 관련 다양체와 제한 내 각 불가약 성분의 관련 다양체가 일치한다는 것이며, 이는 이산적으로 분해 가능한 경우에 대한 관련 다양체에 대한 추측을 확인한다.

ABSTRACT

In this article, we study the restriction of Zuckerman's derived functor (g,K)-modules A_q(\lambda) to g' for symmetric pairs of reductive Lie algebras (g,g'). When the restriction decomposes into irreducible (g',K')-modules, we give an upper bound for the branching law. In particular, we prove that each (g',K')-module occurring in the restriction is isomorphic to a submodule of A_q'(\lambda') for a parabolic subalgebra q' of g', and determine their associated varieties. For the proof, we construct A_q(\lambda) on complex partial flag varieties by using D-modules.

연구 동기 및 목표

• 대칭 쌍 내의 재수정 부분군에 대해 Zuckerman의 유도 함수 모듈 $A_q(\lambda)$의 제한에서의 분기 법칙을 규명하는 것.
• 제한 $A_q(\lambda)|_{(g', K')}\,$ 에서 불가약 $(g', K')$-모듈의 중복도에 대한 상한을 설정하는 것.
• 제한 내 불가약 성분의 관련 다양체를 특성화하는 것. 특히, 분해에서 불가약 $V$에 대해 $\mathrm{pr}_{g\to g'}(\mathrm{Ass}_g(A_q(\lambda))) = \mathrm{Ass}_{g'}(V)$ 의 등식을 검증하는 것.
• 복소 부분 플라그 다양체 위의 $A_q(\lambda)$에 대한 D-모듈 해석을 통해 일반화된 Blattner 공식을 비콤팩트 부분군으로 확장하는 것.

제안 방법

• 코homological induction의 프레임워크를 사용하여, 복소 부분 플라그 다양체 위의 외부 D-모듈의 전역 단위로 $A_q(\lambda)$를 실현하는 것.
• 명시적인 포물형 대수 $q''$와 중복 함수 $m(\lambda', p)$를 갖는 부분군 $g'$ 위의 $A_{q''}(\lambda')$ 모듈의 직합으로, $A_q(\lambda)$에서의 $(g', K')$-호모모르피즘을 단사적으로 구성하는 것.
• Borel–Weil 정리와 D-모듈의 푸시포워드를 이용하여 플라그 다양체 위의 전역 단위와 불가약 표현을 연결하는 것.
• Mackey 호모모르피즘과 유도 함수자의 성질을 적용하여, 큰 $N$에 대해 $A_q(\lambda)$와 $A_q(\lambda + 2N\rho(u))$를 비교함으로써 관련 다양체 이론과의 호환성을 확보하는 것.
• Kobayashi의 이산적 분해 가능성 기준을 활용하여, $g'$ 내의 관련 포물형 대수 $q''$를 정의하는 것.
• 플라그 다양체 위의 조밀성과 닫힘 성질을 이용하여, $\mathrm{pr}_{g\to g'}(\mathrm{Ad}(K)(\bar{u} \cap p)) = \mathrm{Ad}(K')(u'' \cap p')$ 를 보임으로써 사영된 다양체와 관련 다양체의 등식을 증명하는 것.

실험 결과

연구 질문

• RQ1 재수정 부분군 $g'$로의 $A_q(\lambda)$ 제한이 불가약 $(g', K')$-모듈로 분해되는 조건은 무엇인가?
• RQ2 제한이 이산적으로 분해 가능할 경우, $A_q(\lambda)|_{(g', K')}\,$ 의 분기 법칙의 정확한 구조는 어떻게 되는가?
• RQ3 제한 내 불가약 성분의 관련 다양체는 $A_q(\lambda)$의 관련 다양체와 어떻게 관련이 있는가?
• RQ4 비콤팩트 대칭 부분군에 대한 제한에 대해, D-모듈 기법을 통해 콤팩트 부분군 제한에 대한 일반화된 Blattner 공식을 확장할 수 있는가?
• RQ5 이전 연구에서 추측된 $\mathrm{pr}_{g\to g'}(\mathrm{Ass}_g(A_q(\lambda))) = \mathrm{Ass}_{g'}(V)$ 가 분해 내 불가약 $V$에 대해 성립하는가?

주요 결과

• 제한 $A_q(\lambda)|_{(g', K')}\,$ 은 부분군 $g'$ 내의 포물형 대수 $q''$와 명시적으로 정의된 중복 함수 $m(\lambda', p)$를 갖는 $A_{q''}(\lambda')$ 모듈의 직합으로의 단사 $(g', K')$-호모모르피즘을 갖는다.
• 제한 내로 나타나는 각 불가약 $(g', K')$-모듈은 어떤 $A_{q''}(\lambda')$ 의 부분모듈과 동형이며, 이는 콤팩트 경우 공식의 일반화이다.
• 제한 내 불가약 성분 $V$의 관련 다양체는 $\mathrm{Ass}_{g'}(V) = \mathrm{Ad}(K')(u'' \cap p')$ 를 만족한다. 여기서 $u'' \cap p'$ 는 포물형 대수 $q''$ 의 영향부분이다.
• 사영된 관련 다양체 $\mathrm{pr}_{g\to g'}(\mathrm{Ass}_g(A_q(\lambda)))$ 는 $\mathrm{Ad}(K')(u'' \cap p')$ 와 일치하며, 이는 $W = A_q(\lambda)$ 에 대해 $\mathrm{pr}_{g\to g'}(\mathrm{Ass}_g(W)) = \mathrm{Ass}_{g'}(V)$ 의 추측을 확인한다.
• 복소 부분 플라그 다양체 위의 $A_q(\lambda)$에 대한 D-모듈 실현은 푸시포워드와 전역 단위를 통한 기하학적 증명을 가능하게 하여 분기 법칙을 증명한다.
• $K'/(Q \cap K')$ 가 $K/(Q \cap K)$ 에 조밀하고 궤도 폐쇄가 닫혀 있음을 고려하여, 등식 $\mathrm{pr}_{g\to g'}(\mathrm{Ad}(K)(\bar{u} \cap p)) = \mathrm{Ad}(K')(u'' \cap p')$ 가 성립한다.