[論文レビュー] How tempered representations of a semisimple Lie group contract to its Cartan motion group

Alexandre Afgoustidis|arXiv (Cornell University)|Jan 1, 2015

Advanced Algebra and Geometry参考文献 50被引用数 9

ひとこと要約

本稿は、パラボリック部分群とラングランズ分類に基づく幾何的誘導構成を用いて、半単純リー群 $G$ の温度双対とそのカルタン運動群 $G_0$ のユニタリ双対の間の自然な一対一対応を確立する。主な結果は、$G$ の温度表現が、そのレヴィ部分群の温度表現からの誘導表現の既約商として生じることであり、これは $G_0$-表現の構造を模倣する。

ABSTRACT

George Mackey suggested in 1975 that there should be analogies between the irreducible unitary representations of a noncompact reductive Lie group $G$ and those of its Cartan motion group $G_0$ $-$ the semidirect product of a maximal compact subgroup of $G$ and a vector space. He conjectured the existence of a natural one-to-one correspondence between "most" irreducible (tempered) representations of $G$ and "most" irreducible (unitary) representations of $G_0$. We here describe a simple and natural bijection between the tempered duals of both groups, and an extension to a one-to-one correspondence between the admissible duals.

研究の動機と目的

• 非コンパクトな再帰的リー群 $G$ の温度表現とそのカルタン運動群 $G_0$ の間の自然な対応についてジョージ・マッケイが1975年に提起した予想を解決すること。
• 既知の $G$ と $G_0$ の表現論の類似性を、主系列にとどまらず、全温度双対へと拡張すること。
• $G_0$-に類似する構造からの誘導を用いて、$G$ の既約温度表現を統一的かつ幾何的・代数的に構成するフレームワークを提供すること。
• ラングランズ分類が $G$ に対して成り立つことと、$G_0$ に対してマッケイ型構成が一致することを示し、対応の正当化を行うこと。

提案手法

• ラングランズ分類を用いて、$G$ の既約適切表現を、レヴィ部分群の温度表現からのパラボリック誘導表現の既約商としてパrameter化する。
• パラボリック部分群 $P_{\rho} = M_{\rho}A_{\rho}N_{\rho}$ からの誘導を適用し、ここで $M_{\rho}$ は最大コンパクト部分群 $K_{\rho}$ を持つ再帰的部分群である。
• 関数の汎比 $\frak{m}_{\rho} \bigcap \frak{p}$ に対する $K_{\rho}$ の作用における安定化部分群を用いて、$M_{\rho}$ の温度表現をマッケイ法により構成する。
• 誘導表現 $\tilde{\mathbf{M}}(\chi,\mu)$ が $\mathrm{Ind}_{P_{\alpha}}^{G}(\mathbf{M}_{M_{\alpha}}(\beta_1,\mu) \otimes e^{\alpha + i\beta_2})$ に同型であることを示し、$G$-表現と $G_0$-に類似する構造との間の対応を確立する。
• $\alpha$ が $\frak{a}_{\alpha}$-正則であり、正の根と正の内積を持つことから、唯一の既約商が存在することを保証する。
• コンネス–カスパロフ同型と $C^*$-代数的技法を用いて、群 $C^*$-代数の $K$-理論と $G$ と $G_0$ 間の双対性を結びつける。

実験結果

リサーチクエスチョン

• RQ1 半単純リー群 $G$ の温度双対とそのカルタン運動群 $G_0$ のユニタリ双対との間に、自然な一対一対応が存在するか？
• RQ2 $G$ の温度表現の構造を、$G_0$ のより単純で明示的な表現論と体系的に関連づけることができるか？
• RQ3 ラングランズ分類が $G$ に対して成り立つとき、$G_0$ におけるマッケイ型構成とどの程度一致するか？
• RQ4 パラボリック誘導と共対偶軌道の幾何学をどのように用いて、$G$ と $G_0$ の表現論を統一するか？
• RQ5 マッケイ–ヒグソンの双対性は、主系列を超えて全温度双対へと拡張可能か？

主な発見

• 本稿は、温度双対 $\widehat{G}^{\mathrm{temp}}$ とユニタリ双対 $\widehat{G_0}$ の間の自然な双対性を構成し、マッケイの予想が全温度双対に対して正当化されたことを確認する。
• すべての既約温度表現が、レヴィ部分群 $M_{\alpha}$ の温度表現からのパラボリック誘導表現の唯一の既約商として生じることを証明し、$G_0$-表現のパrameterと一致することを示す。
• 表現 $\tilde{\mathbf{M}}(\chi,\mu)$ が $\mathrm{Ind}_{P_{\alpha}}^{G}(\mathbf{M}_{M_{\alpha}}(\beta_1,\mu) \otimes e^{\alpha + i\beta_2})$ に同型であることが示され、$G$ と $G_0$ の構造との直接的なリンクが確立される。
• パrameter $\alpha$ は $\frak{a}_{\alpha}$-正則であり、すべての正の根と正の内積を持つため、唯一の既約商が存在することが保証され、これはラングランズ分類における重要な基準である。
• 対応は適切双対へ拡張可能である：$G$ のすべての既約適切表現は、レヴィ部分群の温度表現からの誘導表現の商と同値であることが確認され、完全な双対性が裏付けられる。
• この構成はコンネス–カスパロフ同型および $K$-理論的双対性と整合しており、$G$ と $G_0$ 間の $C^*$-代数的双対性の表現論的実現を提供する。