[論文レビュー] Tempered homogeneous spaces III

Yves Benoist, Toshiyuki Kobayashi|arXiv (Cornell University)|Sep 22, 2020

Advanced Algebra and Geometry参考文献 34被引用数 6

ひとこと要約

この論文は、単位的表現 $G$ が $L^2(G/H)$ に作用する再帰的・複素再帰的同次空間 $G/H$ に対して、その表現が温度的（tempered）である条件を分類する。複素群の場合、温度的性は一般に $H$ の安定化部分群がほとんどアーベルであることに同値である。実群の場合、その条件は必要ではあるが十分ではない。具体的な例外が列挙されている。主な貢献は、安定化部分群の構造を用いた完全な代数的特徴付けによる温度的表現の同定である。

ABSTRACT

Let G be a real semisimple algebraic Lie group and H a real reductive algebraic subgroup. We describe the pairs (G,H) for which the representation of G in $L^2(G/H)$ is tempered. When G and H are complex Lie groups, the temperedness condition is characterized by the fact that the stabilizer in H of a generic point on G/H is virtually abelian.

研究の動機と目的

• 実半単純・再帰的代数的リー群 $G$ と $H$ のすべての組 $(G,H)$ を特徴付け、$G$ が $L^2(G/H)$ に作用する単位的表現が温度的である条件を特定すること。
• 一般点における $G/H$ の安定化部分群の代数的構造を用いて、表現が温度的である条件を同定すること。
• 特に複素および実設定において、単純な $G$ と半単純な $H$ に対して、非温度的ケースの完全なリストを提供すること。
• 実の場合と複素の場合における温度的性の必要条件と十分条件の違いを明確にすること。

提案手法

• リー代数の表現 $V$ に関連する不変量 $p_V$ を用いて、行列係数の成長を制限する。
• 構造的分解と表現論を用いて、分類問題を単純リー代数に還元する。
• ドゥインキンの最大部分代数の分類を用いて、既約表現を分析する。
• 関数 $\rho_V$ を用いて表現の複雑さを測定し、温度的性条件と関連付ける。
• 特に $G/H$ の一般点の安定化部分群に注目し、代数的幾何学と再帰的部分群の構造に基づいた証明戦略を採用する。
• 特に対称空間設定において、実の場合を複素の場合に還元するための複素化技術を活用する。

実験結果

リサーチクエスチョン

• RQ1 実再帰的代数的リー群 $G$ と $H$ のどの組 $(G,H)$ に対して、$G$ が $L^2(G/H)$ に作用する単位的表現が温度的であるか？
• RQ2 一般点における $G/H$ の $H$-安定化部分群にどのような代数的条件が、$L^2(G/H)$ の温度的性を保証するか？
• RQ3 なぜ複素の場合には、一般に $H$-安定化部分群がほとんどアーベルであることが必要かつ十分となるが、実の場合にはそうではないのか？
• RQ4 アーベル的安定化部分群を持つにもかかわらず、なぜ温度的でない表現をもたらす対称的および非対称的同次空間 $G/H$ が存在するのか？
• RQ5 古典的および例外的リー群に対して、非温度的ケースの完全なリストは何か？

主な発見

• 複素半単純 $G$ と再帰的 $H$ に対して、$L^2(G/H)$ 上の表現は、$H$ による安定化部分群がほとんどアーベルである点の集合が $G/H$ で稠密であるときに限り温度的である。
• 実の場合、一般に $H$-安定化部分群がほとんどアーベルであることは、温度的性のための十分条件ではあるが、必要条件ではない。反例によって示されている。
• $G = \mathrm{SL}(2m,\mathbb{C})$, $H = \mathrm{Sp}(m,\mathbb{C})$ の場合、および $G = \mathrm{SO}(7,\mathbb{C})$, $H = G_2$ の場合、安定化部分群はアーベル的であるが、$L^2(G/H)$ 上の表現は温度的でない。
• $G = \mathrm{SL}(n,\mathbb{C})$, $H = \prod \mathrm{SL}(n_i,\mathbb{C})$ の場合、表現は $2n_1 \leq n+1$ のときに限り温度的であり、$\mathrm{SO}$ および $\mathrm{Sp}$ 型に対しても同様の境界が成り立つ。
• 実の場合、$L^2(\mathrm{SL}(2m,\mathbb{R})/\mathrm{Sp}(m,\mathbb{R}))$ は常に非温度的であり、一方 $L^2(\mathrm{SL}(m+n,\mathbb{R})/\mathrm{SL}(m,\mathbb{R}) \times \mathrm{SL}(n,\mathbb{R}))$ は $|m-n| \leq 1$ のときに限り温度的である。
• 実同次空間には、一般安定化部分群がアーベル的であるが表現が非温度的なものと、一般安定化部分群がアーベル的でないが表現が温度的なものがあり、これは定理1.1の逆含みの関係が一般には成り立たないことを示している。