[论文解读] Locally Inner Actions on $C_0(X)$-Algebras

Siegfried Echterhoff, Dana P. Williams|ArXiv.org|Jun 17, 1997

Advanced Operator Algebra Research参考文献 38被引用 33

一句话总结

本文对具有第二可数、局部紧致、完备正则化的原理想空间的 $C_0(X)$-代数上的局部内自同构作用进行分类——具体而言，通过证明此类作用的外等价类由群 $\mathcal{E}_G(X)$ 参数化，该群同构于 $H^1(X,\widehat{\mathcal{G}}_{\text{ab}}) \oplus C(X, H^2(G,\mathbb{T}))$。关键结果为在 $X$ 上作用平凡时，对等变布勃代数群提供了完整的上同调描述，将分类推广至非阿贝尔群并克服了麦基障碍的限制。

ABSTRACT

We make a detailed study of locally inner actions on C*-algebras whose primitive ideal spaces have locally compact Hausdorff complete regularizations. We suppose that $G$ has a representation group and compactly generated abelianization $G_{ab}$. Then if the complete regularization of $\Prim(A)$ is $X$, we show that the collection of exterior equivalence classes of locally inner actions of $G$ on $A$ is parameterized by the group $\E_G(X)$ of exterior equivalence classes of $C_0(X)-actions of $G$ on $C_0(X,\K)$. Furthermore, we exhibit a group isomorphism of $\E_G(X)$ with the direct sum $H^1(X,\sheaf \hat{G_{ab}}) \oplus C(X,H^2(G,\T))$. As a consequence, we can compute the equivariant Brauer group $\Br_G(X)$ for $G$ acting trivially on $X$.

研究动机与目标

• 对原理想空间具有第二可数、局部紧致、完备正则化 $X$ 的 $C^*$-代数上的局部内作用进行分类。
• 利用 $C_0(X)$-线性作用在 $C_0(X,\mathcal{K})$ 上的群 $\mathcal{E}_G(X)$ 参数化此类作用的外等价类。
• 建立 $\mathcal{E}_G(X)$ 与 $H^1(X,\widehat{\mathcal{G}}_{\text{ab}}) \oplus C(X, H^2(G,\mathbb{T}))$ 之间的群同构，提供上同调分类。
• 计算在 $X$ 上作用平凡时的等变布勃代数群 $\mathrm{Br}_G(X)$，将分类扩展至非阿贝尔群并克服麦基障碍的限制。

提出的方法

• 使用稳定化技巧，将交叉积的分类约化为在稳定连续迹代数上保持谱不变的作用。
• 通过在谱空间 $X$ 的开子集上利用 $C_0(X,\mathcal{K})$ 的结构，以局部酉实现来刻画局部内作用。
• 将 $\mathcal{E}_G(X)$ 定义为 $C_0(X,\mathcal{K})$ 上 $C_0(X)$-线性作用的外等价类群，作为核心参数空间。
• 利用层上同调与摩尔群上同调，建立群同构 $\mathcal{E}_G(X) \cong H^1(X,\widehat{\mathcal{G}}_{\text{ab}}) \oplus C(X, H^2(G,\mathbb{T}))$。
• 应用格林的扭转变换与协变表示理论，将问题约化为在 $G/N$ 上的作用，其中 $N = \overline{[G,G]}$ 且 $N_{\text{ab}}$ 紧致。
• 利用拓扑性质（如局部连通性、紧致性）与贝尔范畴论证，证明麦基障碍恒为零，从而推出局部酉性。

实验结果

研究问题

• RQ1 当 $X$ 是 $\operatorname{Prim}(A)$ 的完备正则化时，如何对 $C_0(X)$-代数上的局部内作用在外部等价下进行分类？
• RQ2 $\mathcal{E}_G(X)$ 群的结构是什么，该群参数化了 $C_0(X,\mathcal{K})$ 上 $C_0(X)$-线性作用的外等价类？
• RQ3 当 $G$ 在 $X$ 上作用平凡时，等变布勃代数群 $\mathrm{Br}_G(X)$ 如何与群上同调和层上同调关联？
• RQ4 在谱空间局部连通的连续迹 $C^*$-代数上，何时一个逐点酉作用会成为局部酉作用？
• RQ5 能否将局部内作用的分类推广至非阿贝尔群并克服麦基障碍的限制？

主要发现

• $C_0(X,\mathcal{K})$ 上 $C_0(X)$-线性作用的外等价类群 $\mathcal{E}_G(X)$ 同构于 $H^1(X,\widehat{\mathcal{G}}_{\text{ab}}) \oplus C(X, H^2(G,\mathbb{T}))$，提供了完整的上同调参数化。
• 当 $G$ 的阿贝尔化 $G_{\text{ab}}$ 是紧生成时，$C_0(X)$-代数上局部内作用的分类可约化为计算该上同调群的直和。
• 在 $X$ 上作用平凡时，等变布勃代数群 $\mathrm{Br}_G(X)$ 同构于 $H^1(X,\widehat{G}_{\text{ab}}) \oplus C(X, H^2(G,\mathbb{T}))$，从而实现显式计算。
• 每个可分、紧生成的 $[FD]\bar{}$-群或连通幂零李群对可分连续迹 $C^*$-代数（其谱局部连通）的逐点酉作用均为局部酉作用。
• 由拓扑约束（连通性、紧致性、可数性）保证了在谱 $\hat{A}$ 上麦基障碍恒为零，从而推出 $\dot{\beta}$ 逐点酉，故为局部酉。