[論文レビュー] Irreducible Representations of Groupoid $C^*$-algebras

Marius Ionescu, Dana P. Williams|ArXiv.org|Dec 4, 2007

Advanced Operator Algebra Research参考文献 8被引用数 4

ひとこと要約

本稿では、第二可算、局所コン pact、ハウスドルフなホモロジー群の群の群に、ハール系を備えた場合、安定性（同型）群の既約表現から誘導される表現が、自身もまた既約であることを確立する。現代的なモラータ同値性および分解理論を用いて、変換群のためのマッケイの結果を一般の群の C*-代数へ一般化し、閉じた部分群の群への系統的誘導プロセスを通じて既約性を証明するとともに、ヒルベルト空間のユニタリ同値性による誘導の整合性を検証する。

ABSTRACT

If $G$ is a second countable locally compact Hausdorff groupoid with Haar system, we show that every representation induced from an irreducible representation of a stability group is irreducible.

研究の動機と目的

• 変換群 C*-代数において既知の、安定性群の既約表現からの誘導表現が既約であるという古典的結果を、一般の分離可能な群の C*-代数へ一般化すること。
• 現代的なモラータ同値性および分解理論のツールを用いて、群の C*-代数における閉じた部分群の群からの表現の誘導理論を形式化すること。
• 誘導の理論を、過去の特殊ケースにおける手作業的・直感的なアプローチを是正・拡張する、きめ細やかな現代的取り扱いを確立すること。
• 同型群の既約表現から出発する誘導プロセスが、既約性を保つことの証明を通じて、既約表現の体系的構成を提供すること。

提案手法

• 著者らは、空間 $ G_{H^{(0)}} = s^{-1}(H^{(0)}) $ から、$ H $ に対する対角的右作用を備えた、プリミティビティ群の群 $ H^G $ を構成する。
• 彼らは、$ G $ のハール系を用いて、$ G_{H^{(0)}} $ 上の $ s $-システム構造を介して、$ H^G $ にハール系を定義し、群の群の演算と整合性を持つように保証する。
• $ C_c(G_{H^{(0)}}) $ に作用と内積を定義し、$ C_c(H^G,\beta) $-$ C_c(H,\alpha) $-プリミティビティ双モジュールを構成し、これをヒルベルト双モジュール $ \mathsf{X}_H^G $ に完備化する。
• リエフェルのモラータ同値性理論および [mrw:jot87] の同値定理を用いて、$ C^*(H) $ と $ C^*(H^G) $ の表現の間の対応関係を確立し、表現の誘導を可能にする。
• 合成に関しての整合性は、$ \mathsf{X}_K^G \otimes_K (\mathsf{X}_H^K \otimes_H \mathcal{H}_L) $ と $ \mathsf{X}_H^G \otimes_H \mathcal{H}_L $ を同定する写像 $ \theta $ を用いて構成されたユニタリ同値 $ V $ を通じて示され、誘導の推移性が証明される。
• 主要な技術的ステップは、フビニの定理およびハール系の性質を用いて、写像 $ \theta $ が等長的かつ稠密な像を持つことを証明することであり、これにより誘導表現のユニタリ同値性が確立される。

実験結果

リサーチクエスチョン

• RQ1 第二可算、局所コン pact、ハウスドルフな群の群にハール系を備えた一般の群の群に対して、安定性群 $ G(u) $ の既約表現から誘導される表現が、群の C*-代数 $ C^*(G) $ においても既約となるか？
• RQ2 変換群のための古典的マッケイ誘導理論は、モラータ同値性および分解といった現代的ツールを用いて、一般の群の C*-代数へ拡張可能か？
• RQ3 部分群の群への誘導プロセスは推移的か？ また、部分群の群の鎖を通じて応用された場合、既約性を保つのか？
• RQ4 どのようにして、同型群 $ G(u) $ の既約表現から $ C^*(G) $ の既約表現を体系的に構成できるか？ また、プリミティビティ双モジュールはこの構成において果たす役割は何か？

主な発見

• 第二可算、局所コン pact、ハウスドルフな群の群にハール系を備えた場合、安定性群 $ G(u) $ の既約表現から誘導されるすべての表現は、群の C*-代数 $ C^*(G) $ において既約である。
• 閉じた部分群の群 $ H $ から $ G $ への誘導プロセスは、適切に定義されており、ヒルベルト空間の構造を保ち、プリミティビティ双モジュール $ \mathsf{X}_H^G $ が $ C^*(H^G) $ と $ C^*(H) $ の間のモラータ同値性を提供する。
• テンソル積のモジュールを同定する写像 $ \theta $ は、ヒルベルト空間の等長的同型写像であり、誘導プロセスの整合性を保証する。
• ユニタリ同値 $ V $ が $ \mathsf{X}_K^G \otimes_K (\mathsf{X}_H^K \otimes_H \mathcal{H}_L) $ と $ \mathsf{X}_H^G \otimes_H \mathcal{H}_L $ の間に存在することは、誘導の推移性を確認し、$ \operatorname{Ind}_K^G(\operatorname{Ind}_H^K L) \cong \operatorname{Ind}_H^G L $ を証明する。
• 証明は分解定理および現代的モラータ同値性に依拠しており、誘導表現の既約性が群の群の構造およびそのハール系の性質に由来することを示している。
• 主定理は第二可算性の仮定に依存しており、これにより分解定理の適用が保証されるが、著者らは、分離可能性が主定理に対して厳密には必要ではない可能性を指摘している。