[論文レビュー] Uniformly bounded multiplicities, polynomial identities and coisotropic actions

Masatoshi Kitagawa|arXiv (Cornell University)|Sep 12, 2021

Advanced Algebra and Geometry参考文献 45被引用数 4

ひとこと要約

本論文は、多項式恒等式（PI次数）とコイソトロピック作用を用いて、実再帰的リー群の表現における一様有界な重複度の特徴づけを確立する。ユニタリ最高重量表現に関するT.小林の予想を解決する。ユニバーサル包あらゆる代数の不変部分代数のPI次数が、制限および誘導表現における重複度の一様有界性を制御することを証明する。

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.小林の予想を解決すること。
• $({\frak g},K)$-加群、カステルマン＝ウォラック表現、ユニタリ表現の重複度の研究をPI次数とコイソトロピック幾何を用いて統一すること。

提案手法

• ユニバーサル包あらゆる代数の不変部分代数のPI次数を、重複度を有界化する主要な代数的不変量として用いる。
• コタンジェントバンドル上のコイソトロピック作用を、重複度有界表現を特徴づける幾何的不変量として適用する。
• カステルマン＝ウォラック表現および滑らかな誘導表現の理論を用いて、重複度の有界性を分析する。
• ${\mathcal{U}({\frak g})/I}$ のPI次数とホモロジー空間の次元の間の同値性に依拠して、有界性を導出する。
• ${\mathrm{Hom}_{G'_{\mathbb{R}}}(\mathcal{H}^\infty, \mathcal{C}_{G'_{\mathbb{R}}})}$ がPI次数を介して重複度の有界性を制御することを活用する。
• 定理10.24を用いて、分離可能かつ核型の表現に対して、PI次数と制限および誘導における重複度の有界性を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 リー群 $G_{\mathbb{R}}$ の無限次元ユニタリ表現を $G'_{\mathbb{R}}$ に制限したとき、どのような条件下で重複度が一様有界になるか？
• RQ2 $ (\mathcal{U}({\frak g})/I)^{G'_{\mathbb{R}}} $ のPI次数は、ユニタリ表現の制限における重複度の有界性とどのように関係するか？
• RQ3 同次空間のコタンジェントバンドル上のコイソトロピック作用は、重複度の一様有界性を特徴づけられるか？
• RQ4 $ (\mathcal{U}({\frak g})/I\mathcal{U}({\frak g}))^{G'_{\mathbb{R}}} $ が有限PI次数を持つとき、$L^2\text{-Ind}^{G_{\mathbb{R}}}_{G'_{\mathbb{R}}}({\mathcal{H}}')$ の重複度は一様有界か？
• RQ5 $ (\mathcal{U}({\frak g})/I)^{G'_{\mathbb{R}}} $ が可換であることは、ユニタリ表現の制限における重複度ゼロの必要条件か？

主な発見

• $ (\mathcal{U}({\frak g})/I)^{G'_{\mathbb{R}}} $ のPI次数は、$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次数によっても有界である。
• 制限 $\mathcal{H}|_{G'_{\mathbb{R}}}$ が重複度ゼロであるならば、$ (\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次数が有限であることである。
• $L^2\text{-Ind}^{G_{\mathbb{R}}}_{G'_{\mathbb{R}}}({\mathcal{H}}')$ が重複度ゼロであるのは、$ (\mathcal{U}({\frak g})/I\mathcal{U}({\frak g}))^{G'_{\mathbb{R}}} $ が可換であるときのみである。
• 本研究の結果は、$({\frak g},K)$-加群、カステルマン＝ウォラック表現、ユニタリ表現にわたって一様に適用可能であり、重複度有界問題の広範な枠組みを確立する。