[논문 리뷰] Uniformly bounded multiplicities, polynomial identities and coisotropic actions

Masatoshi Kitagawa|arXiv (Cornell University)|2021. 09. 12.

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

한 줄 요약

이 논문은 다항식 항등식(PI degree)과 동역학적 등변 작용(coisotropic actions)을 이용하여 실 재조화 리 군의 표현에서 균일하게 유계인 중복도를 특성화한다. 특히, 보편 포락 대수의 불변 부분대수의 PI degree가 제한 및 유도 표현에서 중복도의 균일 유계성을 제어함을 증명하며, T. Kobayashi의 단위 최고 무게 모듈에 대한 중복도의 균일 유계성에 대한 추측을 해결한다.

ABSTRACT

Let $G_{\mathbb{R}}$ be a real reductive Lie group and $G'_{\mathbb{R}}$ a reductive subgroup of $G_{\mathbb{R}}$ such that $\mathfrak{g'}$ is algebraic in $\mathfrak{g}$. In this paper, we consider restrictions of irreducible representations of $G_{\mathbb{R}}$ to $G'_{\mathbb{R}}$ and induced representations of irreducible representations of $G'_{\mathbb{R}}$ to $G_{\mathbb{R}}$. Our main concern is when such a representation has uniformly bounded multiplicities, i.e. the multiplicities in the representation are (essentially) bounded. We give characterizations of the uniform boundedness by polynomial identities and coisotropic actions. For the restriction of (cohomologically) parabolically induced representations, we find a sufficient condition for the uniform boundedness by spherical actions and some fiber condition. This result gives an affirmative answer to a conjecture by T. Kobayashi. Our results can be applied to $(\mathfrak{g}, K)$-modules, Casselman--Wallach representations, unitary representations and objects in the BGG category $\mathcal{O}$. We also treat with an upper bound of cohomological multiplicities.

연구 동기 및 목표

• 실 재조화 리 군의 무한차원 표현의 제한 및 유도에서 중복도가 균일하게 유계가 되는 조건을 특성화하는 것.
• 대수적 및 기하적 불변량을 이용하여 고전적 구면 다양체의 특성화를 무한차원 표현으로 일반화하는 것.
• T. Kobayashi의 단위 최고 무게 모듈에서 중복도의 균일 유계성에 대한 추측을 해결하는 것.
• PI degree와 동역학적 등변 기하학을 이용하여 $({\frak g},K)$-모듈, Casselman–Wallach 표현, 단위 표현 간의 중복도 연구를 통합하는 것.

제안 방법

• 중복도를 유계화하기 위한 핵심 대수적 불변량으로 보편 포락 대수의 불변 부분대수의 PI degree를 사용한다.
• 중복도가 유계인 표현을 특성화하기 위해 코탄젠트 벡터 장에서의 동역학적 등변 작용을 기하적 불변량으로 적용한다.
• 중복도 유계성을 분석하기 위해 Casselman–Wallach 표현 이론과 매끄러운 유도 표현을 활용한다.
• 표현의 $\mathcal{U}({\frak g})/I$의 PI degree와 Hom-공간의 차원 사이의 등가성을 이용하여 유계를 도출한다.
• $\mathrm{Hom}_{G'_{\mathbb{R}}}(\mathcal{H}^\infty, \mathcal{C}_{G'_{\mathbb{R}}})$가 PI degree를 통해 중복도 유계를 제어함을 이용한다.
• 분리 가능하고 핵심적인 표현에 대해 Theorem 10.24를 적용하여 PI degree와 제한 및 유도에서의 중복도 유계를 연결한다.

실험 결과

연구 질문

• RQ1 군 $G_{\mathbb{R}}$의 기약 단위 표현을 $G'_{\mathbb{R}}$로 제한할 때 어떤 조건에서 중복도가 균일하게 유계가 되는가?
• RQ2 불변 부분대수 $ (\mathcal{U}({\frak g})/I)^{G'_{\mathbb{R}}} $의 PI degree는 기약 단위 표현의 제한에서 중복도 유계와 어떻게 관련되는가?
• RQ3 동차 공간의 코탄젠트 벡터 장에서의 동역학적 등변 작용이 중복도의 균일 유계성을 특성화할 수 있는가?
• RQ4 만약 $ (\mathcal{U}({\frak g})/I\mathcal{U}({\frak g}))^{G'_{\mathbb{R}}} $의 PI degree가 유한하다면, $L^2\text{-Ind}^{G_{\mathbb{R}}}_{G'_{\mathbb{R}}}({\mathcal{H}}')$의 유도 표현에서 중복도가 균일하게 유계가 되는가?
• RQ5 기약 단위 표현의 제한에서 중복도가 0인 경우, $ (\mathcal{U}({\frak g})/I)^{G'_{\mathbb{R}}} $가 가환여야 하는가?

주요 결과

• $ (\mathcal{U}({\frak g})/I)^{G'_{\mathbb{R}}} $의 PI degree는 $G_{\mathbb{R}}$의 단위 표현 $\mathcal{H}$의 제한에서 중복도에 대한 상한을 제공한다.
• 중복도 $\mathcal{M}_{G'_{\mathbb{R}}}(\mathcal{H})$는 $\mathrm{Hom}_{G'_{\mathbb{R}}}(\mathcal{H}^\infty, \mathcal{C}_{G'_{\mathbb{R}}})$의 차원에 의해 상한이 제시되며, 이는 PI degree의 상수배로 유계이다.
• 제한 $\mathcal{H}|_{G'_{\mathbb{R}}}$가 중복도가 0이라면, $ (\mathcal{U}({\frak g})/I)^{G'_{\mathbb{R}}} $는 반드시 가환여야 한다.
• 유도 표현의 경우, $L^2\text{-Ind}^{G_{\mathbb{R}}}_{G'_{\mathbb{R}}}({\mathcal{H}}')$의 중복도가 균일하게 유계이기 위한 필요충분조건은 $ (\mathcal{U}({\frak g})/I\mathcal{U}({\frak g}))^{G'_{\mathbb{R}}} $의 PI degree가 유한한 것이다.
• 유도 표현 $L^2\text{-Ind}^{G_{\mathbb{R}}}_{G'_{\mathbb{R}}}({\mathcal{H}}')$가 중복도가 0이 되기 위해서는 $ (\mathcal{U}({\frak g})/I\mathcal{U}({\frak g}))^{G'_{\mathbb{R}}} $가 가환여야 한다.
• 결과는 $({\frak g},K)$-모듈, Casselman–Wallach 표현, 단위 표현에 모두 균일하게 적용되며, 중복도 유계 문제에 대한 광범위한 프레임워크를 수립한다.