[论文解读] 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$ 中特定类型的最大理想——连续迹、费尔、极限和后极限——的结构。它将这些理想识别为 $C_0(Y)\rtimes G$ 的形式，其中 $Y\subset X$ 是显式定义的 $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$ 中最大的费尔、极限与后极限理想。
• 将这些理想表示为 $C_0(Y)\rtimes G$ 的形式，其中 $Y\subset X$ 是 $G$-不变开子集，且 $Y$ 通过作用的动力学性质定义。
• 通过稳定子连续性与 $G$-游荡紧集，将格林关于连续迹代数的结果推广至非自由作用。
• 利用对偶性与轨道空间拓扑（特别是 $T_0$-分离性）统一不同理想类型的刻画方法。

提出的方法

• 当 $G$ 为阿贝尔群时，利用对偶作用确保理想不变，从而通过 $X$ 的 $G$-不变开子集进行识别。
• 应用菲利普斯的结果：在 EH-正则性条件下，$C_0(X)\rtimes G$ 中的理想与 $G$-不变开子集 $Y\subset X$ 一一对应。
• 使用古特曼的刻画：$C_0(X)\rtimes G$ 是后极限的当且仅当 $X/G$ 是 $T_0$ 空间，是极限的当且仅当所有轨道都是闭的。
• 应用格里姆-艾夫罗定理，将 $G\cdot U/G$ 的 $T_0$-分离性等价于轨道正则性、$G_\delta$-性或局部闭性。
• 通过邻域 $U$ 定义关键集合 $Y$，使得 $G\cdot U/G$ 是 $T_0$ 空间，并通过轨道闭包性质的反证法证明其最大性。
• 依赖 EH-正则性（由阿梅尔 $G$ 或 $T_0$ 轨道空间保证）以确保理想与 $G$-不变开集之间的一一对应关系。

实验结果

研究问题

• RQ1 在 $X$ 上何种精确的动力学条件可刻画 $C_0(X)\rtimes G$ 中最大连续迹理想的结构？
• 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$ 由满足存在紧游荡邻域 $N$ 且 $q(N)$ 在 $X/G$ 中闭且豪斯多夫的点构成。
• 当 $G$ 为阿贝尔群或自由作用时，最大后极限理想为 $C_0(Z)\rtimes G$，其中 $Z = \{x\in X : \text{存在 } x \text{ 的某个邻域 } U \text{，使得 } G\cdot U/G \text{ 是 } T_0\}$。
• 在 $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$-分离性定义。
• 在 $C_0(X)\rtimes G$ 中，最大费尔理想为 $C_0(Y)\rtimes G$，其中 $Y$ 是满足存在邻域 $U$ 使得 $G\cdot U/G$ 为 $T_0$ 的点的集合，前提是稳定子连续变化。
• 将 $Y$ 定义为具有 $T_0$-分离轨道邻域的点的集合，可确保其最大性，该结论通过在中间集合 $Y\cup G\cdot V$ 中对轨道闭包性质的反证法得以证明。