[論文レビュー] Branching problems of unitary representations

Toshiyuki Kobayashi|arXiv (Cornell University)|Apr 22, 2003

Advanced Algebra and Geometry参考文献 3被引用数 7

ひとこと要約

本稿は、再帰的リー群のユニタリ表現の制限について、部分群への制限が離散的かつ有限重複度で分解されるような適切な制限の理論を導入し、発展させる。主な貢献は、表現の漸近的台と部分群の錐の交わりに基づく基準（定理B）であり、離散的分解可能性を保証する。この枠組みにより、明示的な分岐則が得られ、$L^p$-調和解析およびモジュラー多様体の位相的性質への応用が可能になる。

ABSTRACT

The irreducible decomposition of a unitary representation often contains continuous spectrum when restricted to a non-compact subgroup. The author singles out a nice class of branching problems where each irreducible summand occurs discretely with finite multiplicity (admissible restrictions). Basic theory and new perspectives of admissible restrictions are presented from both analytic and algebraic view points. We also discuss some applications of admissible restrictions to modular varieties and $L^p$-harmonic analysis.

研究の動機と目的

• ユニタリ表現の分解が不可約成分に離散的かつ有限重複度で分解されるような分岐問題の枠組みを確立し、連続スペクトルを避けること。
• 非コンパクト部分群へのユニタリ制限がしばしば無限重複度または連続スペクトルを含むという表現論における根本的課題に取り組むこと。
• 特に漸近的台と部分群の錐の間の相互作用を用いた、幾何学的・解析的道具を用いた適切な制限の基準を提供すること。
• 非対称な同次空間における$L^p$-調和解析およびモジュラー多様体の位相的不変量への理論の応用。
• 離散的分解可能な制限を用いて、正則離散系列およびモジュラー記号の消滅に関する新規結果を証明すること。

提案手法

• G'-適切制限の概念を導入：Gのユニタリ表現πがG'に制限され、各不可約表現τに対して離散的かつ有限重複度で分解される。
• 定理Bの確立：$\pi|_{G'}$ が $G'$-適切であるための必要十分条件は $\operatorname{Cone}(G') \cap \operatorname{AS}_K(\pi) = \{0\}$ であること。特性の微局所解析および超関数の特異点を用いて証明。
• 再帰的対称対 $(G, G')$ にこの基準を適用し、特に正則離散系列および対称空間の文脈で応用。
• 離散的分解可能な制限の理論を用いて明示的な分岐則を導出し、非対称空間における$L^p$-調和解析を分析。
• マツシマ＝ムラカミ双対性および局所的に対称な空間のde Rhamコホモロジーを介して、表現論的結果と位相の関係を確立。
• 定理Mの証明：$\operatorname{AS}_K(\pi) \cap \operatorname{Cone}(G') = \{0\}$ かつ $\pi \neq \mathbf{1}$ ならば、$\pi$-成分はコホモロジーにおけるモジュラー記号 $\iota_*[Y]$ を消滅させる。この証明には $\pi|_{G'}$ の $G'$-適切性が用いられる。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ表現を非コンパクト部分群に制限したとき、どのような条件下で不可約成分への離散的かつ有限重複度の分解が成立するか？
• RQ2 表現の漸近的台と部分群の錐の間の相互作用は、制限の適切性を決定するためにどのように利用できるか？
• RQ3 非対称な同次空間における$L^p$-調和解析において、離散的分解可能性がどのような意味を持つのか？
• RQ4 適切な制限の理論は、局所的に対称な空間のコホモロジーにおけるモジュラー記号の消滅定理をどのように導くか？
• RQ5 正則離散系列表現は、非コンパクト対称空間上にどのような場合に存在するか？また、表現論的基準を用いてどのように特徴づけられるか？

主な発見

• 定理Bは、$G'$-適切性の鋭い基準を提供する：$\pi|_{G'}$ が $G'$-適切であるための必要十分条件は $\operatorname{Cone}(G') \cap \operatorname{AS}_K(\pi) = \{0\}$ であること。ハリシュ・チャンドラの適切性の一般化であり、非コンパクト部分群へも適用可能。
• ユニタリ表現の再帰的部分群 $G'$ への制限が $G'$-適切であるための条件は、$\pi$ の漸近的台と $G'$ の錐の交わりが自明であること。これにより、分岐則に対する代数的・解析的制御が可能になる。
• 定理Kは、正則離散系列が $G/H$ 上に存在するための必要十分条件を示す：$G/K$ が複素形式的対称空間であり、かつ $H/(H \cap K)$ が全実部分多様体であること。ハリシュ・チャンドラの結果の一般化。
• 定理Lは排他的法則を示す：表現 $\pi$ が $G'$ への制限で離散的分解可能であると同時に、$G/G'$ に関して離散系列であることはありえない。調和解析における双対性の解消。
• 定理Mはモジュラー記号の消滅基準を与える：$\operatorname{AS}_K(\pi) \cap \operatorname{Cone}(G') = \{0\}$ かつ $\pi \neq \mathbf{1}$ ならば、コホモロジーにおける $\pi$-成分はモジュラー記号 $\iota_*[Y]$ を消滅させる。
• この理論により、従来は到達不可能であった、正則離散系列の非コンパクト部分群への制限における明示的分岐則が得られ、自動形式および対称空間への応用が可能になる。