[論文レビュー] CCR and GCR Groupoid C*-algebras

Lisa Orloff Clark|ArXiv.org|Nov 17, 2005

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

ひとこと要約

本稿は、変換群C*-代数の古典的結果を一般化し、群oids C*-代数がCCRまたはGCRであるための必要十分条件を確立する。同定された条件は、各軌道空間がT₁であり、すべての安定化部分群がCCRであるとき、C*(G)がCCRであること、また軌道空間がT₀であり、すべての安定化部分群がGCRであるとき、C*(G)がGCRであることである。この結果は、安定化部分群がアメニタリーであるという仮定の下で成り立つ。

ABSTRACT

Suppose $G$ is a second countable, locally compact, Hausdorff groupoid with a fixed left Haar system. Let $\go/G$ denote the orbit space of $G$ and $C^*(G)$ denote the groupoid $C^*$-algebra. Suppose that the isotropy groups of $G$ are amenable. We show that $C^*(G)$ is CCR if and only if $\go/G$ is a $T_1$ topological space and all of the isotropy groups are CCR. We also show that $C^*(G)$ is GCR if and only if $\go/G$ is a $T_0$ topological space and all of the isotropy groups are GCR.

研究の動機と目的

• 一般の局所コンパクト群oids C*-代数へ、変換群C*-代数に関するCCRおよびGCR分類定理を一般化すること。
• 群oidsの位相的および代数的性質を同定し、それらがC*(G)がCCRまたはGCRであることを保証する条件となるようにすること。
• C*(G)のスペクトルへの連続的かつ単射な写像G⁰/G → C*(G)∧を構成し、分類結果を可能にする。
• 主群oidsの場合に既に得られている結果を、非主群oids（非可換で、おそらく不連続な安定化部分群を有する）へと拡張すること。
• 安定化部分群のアメニタリー性が、スペクトル写像の構成に必要とされる技術的仮定である理由を示し、この条件が本質的であるか、あるいは単なる技術的制約であるかを検討すること。

提案手法

• 各u ∈ G⁰に対して、安定化部分群Gᵘᵘの自明表現を群oids C*-代数C*(G)に誘導することにより、C*(G)上の表現lᵘを定義する。
• 各軌道[u] ∈ G⁰/Gを、lᵘのユニタリ同値類に送る写像ω: G⁰/G → C*(G)∧を構成する。
• レナールの分解定理と安定化部分群のアメニタリー性を用いて、ωが適切に定義されており、連続的かつ単射であることを証明する。
• この連続的単射写像の存在を根拠に、G⁰/Gの位相的性質（T₁またはT₀）をC*(G)のスペクトル的性質に関連付ける。
• 既知の結果を活用する：C*(G)の任意の既約表現は、C*(G|ₐ[u]) ≅ C*(Gᵘᵘ) ⊗ Kを介して因数分解可能であり、C*(G|ₐ[u])がCCR/GCRであることとC*(Gᵘᵘ)がCCR/GCRであることは同値である。
• 文献[2, Corollary 3.5]および[8, Theorem 3.1]を適用し、C*(G)のグローバルなCCR/GCR性質を安定化部分群レベルに還元する。

実験結果

リサーチクエスチョン

• RQ1 群oids C*-代数C*(G)がCCRであるのはどのような条件下か？
• RQ2 群oids C*-代数C*(G)がGCRであるのはどのような条件下か？
• RQ3 非主群oidsの設定において、非可換で、おそらく不連続な安定化部分群を有する場合に、軌道空間G⁰/GからC*(G)∧へのスペクトル写像を構成できるか？
• RQ4 スペクトル写像の構成において、安定化部分群のアメニタリー性が要求される理由は何か？この条件は本質的であるのか、それとも単なる技術的仮定であるのか？
• RQ5 軌道空間のT₁およびT₀性質は、C*(G)のCCRおよびGCR構造とどのように関係するか？

主な発見

• C*(G)がCCRであるための必要十分条件は、軌道空間G⁰/GがT₁空間であり、かつすべての安定化部分群GᵘᵘがCCRであることである。
• C*(G)がGCRであるための必要十分条件は、軌道空間G⁰/GがT₀空間であり、かつすべての安定化部分群GᵘᵘがGCRであることである。
• 主な技術的貢献は、連続的かつ単射な写像ω: G⁰/G → C*(G)∧の構成であり、これにより軌道空間の位相的性質とC*-代数のスペクトルの性質が結びつけられる。
• 写像ωは、各安定化部分群GᵘᵘからC*(G)への自明表現の誘導により定義され、その適切な定義と連続性は、安定化部分群のアメニタリー性に依存する。
• 証明は、C*(G)の任意の既約表現が、あるu ∈ G⁰に対してC*(G|ₐ[u]) ≅ C*(Gᵘᵘ) ⊗ Kを介して因数分解可能であるという事実に依存しており、問題を安定化部分群レベルに還元する。
• アメニタリー性の仮定は、レナールの分解定理を介してωの連続性を保証するために不可欠であるが、著者らはこの仮定が最終的な特徴付けにおいて冗長である可能性を懸念している。