[논문 리뷰] Discrete branching laws for minimal holomorphic representations

Jan Möllers, Yoshiki Oshima|arXiv (Cornell University)|2014. 02. 14.

Advanced Algebra and Geometry참고 문헌 21인용 수 7

한 줄 요약

이 논문은 실수 재수성 리 군의 최소 헬름홀로픽 표현을 대칭 부분군에 제한할 때 명시적인 분기 법칙을 수립하며, 헬름홀로픽 및 비헬름홀로픽 설정 모두에서 이산 분해 가능성을 증명한다. 헬름홀로픽 쌍의 경우 제한된 표현이 최저 무게 표현들의 직합으로 분해되며, 비헬름홀로픽 쌍의 경우 표현은 여전히 기약이고 알려진 표현과 동일시되며, 코바야시의 관련 다양체에 대한 추측을 확인한다.

ABSTRACT

We find the explicit branching laws for the restriction of minimal holomorphic representations to symmetric subgroups in the case where the restriction is discretely decomposable. For holomorphic pairs the minimal holomorphic representation decomposes into a direct sum of lowest weight representations which is made explicit. For non-holomorphic pairs the restriction is shown to be irreducible and identified with a known representation. We further study a conjecture by Kobayashi on the behaviour of associated varieties under restriction and confirm this conjecture in the setting of this paper.

연구 동기 및 목표

• 대칭 부분군에 제한된 최소 헬름홀로픽 표현에 대한 명시적 분기 법칙을 규명하는 것.
• 제한이 이산 분해 가능할 경우 이러한 표현의 분해를 분석하는 것.
• 최소 헬름홀로픽 표현의 맥락에서 관련 다양체의 제한에 따른 행동에 대해 코바야시의 추측을 검증하는 것.
• 표현 분해 측면에서 헬름홀로픽 및 비헬름홀로픽 대칭 쌍을 구분하는 것.

제안 방법

• 저자들은 $(\mathfrak{g},K)$-모듈과 최저 무게 모듈의 프레임워크를 사용하여 최소 헬름홀로픽 표현의 제한을 분석한다.
• 유니버설 포락하는 대수에 대한 표준 필터레이션을 적용하고, 필터레이션의 호환성을 활용하여 이산 분해 가능성을 증명한다.
• 헬름홀로픽 쌍의 경우, $U(\mathfrak{g}_{\mathbb{C}}) \otimes_{U(\mathfrak{k}_{\mathbb{C}} + \mathfrak{p}_{-})} F^{\mathfrak{k}}(\lambda)$의 구조를 통해 제한이 최저 무게 표현들의 직합으로 분해됨을 보인다.
• 비헬름홀로픽 케이스에서는 필터레이션 호환성 조건을 검증하고 결과 표현을 알려진 유니터리 표현과 동일시함으로써 제한이 기약임을 증명한다.
• 증명은 관련 그레이드 모듈의 호환성과 $\mathfrak{p}_{+}$, $\mathfrak{p}_{-}$의 $\operatorname{ad}(z')$에 대한 고유공간의 구조에 기반한다.
• 관련 다양체에 대한 추측은 유도 표현의 관련 다양체의 사영이 제한 표현의 관련 다양체와 일치함을 보여서 확인된다.

실험 결과

연구 질문

• RQ1 헬름홀로픽 설정에서 최소 헬름홀로픽 표현이 대칭 부분군에 제한될 때 어떻게 분해되는가?
• RQ2 비헬름홀로픽 대칭 쌍의 경우 최소 헬름홀로픽 표현의 제한의 구조는 무엇인가?
• RQ3 최소 헬름홀로픽 표현의 제한이 언제 이산 분해 가능하게 되는가?
• RQ4 코바야시의 추측에 따르면 관련 다양체가 제한에 따라 예측된 바와 같이 행동하는가?
• RQ5 필터레이션 호환성 방법을 사용하여 분기 법칙을 명시적으로 유도할 수 있는가?

주요 결과

• 헬름홀로픽 대칭 쌍의 경우, 최소 헬름홀로픽 표현 $L^{\mathfrak{g}}(c\zeta)$의 제한은 최저 무게 표현들의 직합으로 분해된다: $\bigoplus_{k=0}^{\infty} F^{\mathfrak{k}}(c\zeta + k\beta)$.
• 비헬름홀로픽 대칭 쌍의 경우, 제한은 여전히 기약이며 알려진 유니터리 표현과 동일시되며, 이 경우 유일성을 확인한다.
• 코바야시의 관련 다양체에 대한 추측은 확인된다: $\operatorname{pr}_{\mathfrak{g} \to \mathfrak{g}^\prime}(\mathcal{V}_{\mathfrak{g}_{\mathbb{C}}}(X)) = \mathcal{V}_{\mathfrak{g}^{\prime}_{\mathbb{C}}}(Y)$.
• 필터레이션 호환성 조건 $U_n(\mathfrak{g}_{\mathbb{C}})X_0 \cap U(\mathfrak{g}^{\prime}_{\mathbb{C}})X_0 = U_n(\mathfrak{g}^{\prime}_{\mathbb{C}})X_0$는 헬름홀로픽 및 비헬름홀로픽 케이스 모두에서 성립하며, 이는 이산 분해 가능성을 증명하는 데 기여한다.
• $L^{\mathfrak{g}}(c\zeta)$의 $K$-형 분해는 명시적으로 $\bigoplus_{k=0}^{\infty} F^{\mathfrak{k}}(c\zeta + k\beta)$로 주어지며, 여기서 $\beta$는 $\mathfrak{p}_+$의 최고 루트이다.
• 최소 헬름홀로픽 표현은 유니터리화 가능하며, 이들의 유형에 속하는 기약 표현들 중에서 가장 작은 겔판트-키릴로프 차원을 가진다.