[論文レビュー] Unipotent Representations and Quantum Induction

Hongyu He|arXiv (Cornell University)|Oct 23, 2002

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

ひとこと要約

本稿は、実直交群 $O(p,q)$ およびメタプレクティック群 $Mp_{2n}(\bbR)$ に対して、量子誘導（偶数個のシータ対応の合成として定義される）を用いて、非可約ユニタリ単位的表現を構成する。この方法によりユニタリティが自動的に保証され、各特別なノルム軌道に付随するこのような表現の存在が確認され、ヴォーガン・プログラムにおける重要な予想が検証される。

ABSTRACT

In this paper, we construct certain unipotent representations for the real orthogonal group and the metaplectic group in the sense of Vogan. Our construction is based on quantum induction which involves the compositions of even number of theta correspondences. In particular, our results imply that there are irreducible unitary representations attached to each special nilpotent orbit.

研究の動機と目的

• ヴォーガンの意味における実直交群およびメタプレクティック群の単位的表現の存在を検証すること。
• 得られる表現のユニタリティを保証する構成法を確立すること。
• 量子誘導を用いて、既知のケースを超えて単位的表現の理論を拡張すること。
• 各特別なノルム軌道が非可約ユニタリ表現に対応することを確認すること。

提案手法

• 量子誘導は、双対対 $(O(p,q), Sp_{2n}(\bbR))$ 間の偶数個のシータ対応の合成として定義される。
• この構成は、オシレーター表現およびハウ双対性の理論を活用し、双対再帰的対間の表現を関連付ける。
• 非自明な場合にユニタリティが保たれ、結果として得られる表現が非可約かつユニタリであることを保証する。
• 本稿は、軌道法および共随伴軌道を用いて、ノルム軌道による表現の特徴づけを行う。
• 関連する表現を比較するための分割への優位順序を適用し、関連するデータに対して $\bar{\fI_-}(\bbd) \trianglelefteq \frac{m}{2n}\rho(G)$ を証明する。
• 証明はヒルベルト空間における積分収束に基づき、内積に $L^1$-型の条件が成り立つ場合に、ベクトル値積分が適切に定義されることを確立する。

実験結果

リサーチクエスチョン

• RQ1 $O(p,q)$ および $Mp_{2n}(\bbR)$ に対して、ユニタリティを保証する方法を用いて単位的表現を構成できるか？
• RQ2 双対リー代数における各特別なノルム軌道が、非可約ユニタリ表現に対応するか？
• RQ3 偶数個のシータ対応の合成として定義される量子誘導は、ユニタリ表現を生成できるか？
• RQ4 軌道法を用いて、ノルム軌道によるこれらの単位的表現の特徴づけは可能か？
• RQ5 量子誘導における関連する分割間の優位関係は何か？

主な発見

• $O(p,q)$ および $Mp_{2n}(\bbR)$ に対する単位的表現の構成が、量子誘導を用いて達成され、非自明な場合にユニタリティが保たれることが示された。
• 各特別なノルム軌道 $\mathcal{O}$ に対して、非可約ユニタリ表現のパケット $\mathcal{N}(\mathcal{O})$ が付随し、それぞれがヴォーガン（1989）の特徴づけを満たす。
• すべての関連するデータ $\bbd$ に対して、優位順序 $\bar{\fI_-}(\bbd) \preceq \frac{m}{2n}\rho(G)$ が確立され、関連する表現の順序付けが確認された。
• この方法により、各特別なノルム軌道に非可約ユニタリ表現が存在することが確認され、ヴォーガンのプログラムにおける重要な予想が解決された。
• 条件 $\int\!\int |(\Phi(x),\Phi(y))|\,dx\,dy < \infty$ の下で、ヒルベルト空間内でのベクトル値積分 $\int \Phi(x)\,dx$ が適切に定義され、コンパクト集合上で収束することが保証された。
• 収束の証明はヒルベルト空間におけるコーシー列に基づき、$K_i \nearrow \bbR^n$ のとき $\|u - u_{K_i}\| \to 0$ が成り立ち、極限の内積が内積の二重積分に等しいことが示された。