[論文レビュー] Ideals in transformation-group $C^*$-algebras

Astrid an Huef, Dana P. Williams|ArXiv.org|Aug 2, 2000

Advanced Operator Algebra Research参考文献 20被引用数 3

ひとこと要約

本稿は、可換または自由な群作用の下で、変換群C*-代数 $C_0(X)\rtimes G$ における特定のタイプ——連続的トレース、フェル、リミナル、ポストリミナル——の最大のイデアルを特徴づける。これらのイデアルは、明示的に定義された $G$-不変な開集合 $Y\subset X$ に対する交差積 $C_0(Y)\rtimes G$ として特定され、軌道空間の $T_0$-分離性や散乱集合といった動的性質が用いられる。

ABSTRACT

We characterize the ideal of continuous-trace elements in a separable transformation-group $C^{*}$-algebra $C_0(X) imes G$. In addition, we identify the largest Fell ideal, the largest liminal ideal and the largest postliminal ideal.

研究の動機と目的

• 分離可能な変換群C*-代数における $C_0(X)\rtimes G$ の最大連続的トレースイデアルを特徴づけること。
• 可換または自由な群作用の下で、$C_0(X)\rtimes G$ の最大フェル、リミナル、ポストリミナルイデアルを同定すること。
• これらのイデアルを、$G$-不変な開集合 $Y\subset X$ に対して $C_0(Y)\rtimes G$ の形に表現すること。ここで $Y$ は作用の動的性質によって定義される。
• 安定性部分群の連続性と $G$-散乱コンパクト集合を用いて、グリーンの連続的トレース代数に関する結果を非自由作用へ拡張すること。
• 双対性と軌道空間の位相、特に $T_0$-分離性を用いて、異なるイデアルタイプ間の特徴づけ技法を統一すること。

提案手法

• 群 $G$ が可換である場合、双対作用を用いることでイデアルが不変であることを保証し、$X$ の $G$-不変な開集合を介して同定可能となる。
• アーベル群作用や自由作用の下で、$C_0(X)\rtimes G$ のイデアルが $G$-不変な開集合 $Y\subset X$ と一対一対応することを、Phillipsの結果に基づき適用する。
• Gootmanの特徴づけ：$C_0(X)\rtimes G$ がポストリミナルであるとは、$X/G$ が $T_0$ であることと同値であり、リミナルであるとはすべての軌道が閉じていることと同値である。
• Glimm–Effrosの定理を適用し、$G\cdot U/G$ の $T_0$-分離性を、軌道の正則性、$G_\delta$-性、または局所的閉性と同等とする。
• $G\cdot U/G$ が $T_0$ であるような近傍 $U$ を用いて、重要な集合 $Y$ を定義し、軌道の閉包性質に関する背理法を用いてその最大性を証明する。
• アーベル群作用や $T_0$ 軌道空間の下で、EH正則性が保証され、これによりイデアルと $G$-不変開集合の間の一対一対応が保証される。

実験結果

リサーチクエスチョン

• RQ1 $C_0(X)\rtimes G$ の最大連続的トレースイデアルを特徴づけるために、$X$ に必要な正確な動的条件は何か？
• RQ2 群 $G$ が可換または自由に作用するとき、$C_0(X)\rtimes G$ の最大ポストリミナルイデアルは、軌道空間の位相をどのように記述できるか？
• RQ3 $C_0(X)\rtimes G$ が最大フェルイデアルをもつための条件は何か？ また、そのイデアルはどのように交差積として実現されるか？
• RQ4 軌道の正則性、$G_\delta$-性、または局所的閉性といった性質は、リミナルおよびポストリミナルイデアルの構造とどのように関係するか？
• RQ5 $G\cdot U/G$ の $T_0$-分離性は、イデアル $C_0(Y)\rtimes G$ の最大性をどのように決定するか？

主な発見

• $C_0(X)\rtimes G$ の最大連続的トレースイデアルは $C_0(Y)\rtimes G$ であり、ここで $Y$ は、$q(N)$ が $X/G$ でコンパクトかつハウスドルフとなるようなコンパクトな散乱近傍 $N$ を持つ点からなる。
• 可換群 $G$ または自由に作用する $G$ の下で、最大ポストリミナルイデアルは $C_0(Z)\rtimes G$ であり、ここで $Z = \{x\in X : \text{ある } x \text{ の近傍 } U \text{ が存在し、} G\cdot U/G \text{ が } T_0 \text{ である}\}$ である。
• $C_0(X)\rtimes G$ の最大リミナルイデアルは $C_0(Y)\rtimes G$ であり、ここで $Y$ は $G\cdot x$ が $X$ で閉じている点 $x\in X$ の集合である。
• 群 $G$ が自由に作用し、$C_0(X)\rtimes G$ がEH正則であるとき、最大ポストリミナルイデアルは $C_0(Z)\rtimes G$ に等しく、ここで $Z$ は $G\cdot U/G$ の $T_0$-分離性によって定義される。
• 群 $G$ が自由に作用し、安定性部分群が連続的に変化する場合、$C_0(X)\rtimes G$ の最大フェルイデアルは $C_0(Y)\rtimes G$ であり、ここで $Y$ は $G\cdot U/G$ が $T_0$ であるような近傍 $U$ を持つ点の集合である。
• 軌道近傍が $T_0$-分離可能である点の集合として $Y$ を特徴づけることで、$Y\cup G\cdot V$ の中間集合における軌道の閉包性質に関する背理法により、最大性が保証される。