[論文レビュー] 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)$-代数における局所的内部作用を分類する。具体的には、原始的イデアル空間の第二可算、局所コンパクト、完備正則化が$X$である分離$C^*$-代数に対して、そのような作用の外部同値類が群$\mathcal{E}_G(X)$によってパラメータ化されることを示している。この群は$H^1(X,\widehat{\mathcal{G}}_{\text{ab}}) \oplus C(X, H^2(G,\mathbb{T}))$に同型であり、$G$が$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^*$-代数上の局所的内部作用を分類すること。
• 群$\mathcal{E}_G(X)$を用いて、$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$が$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}))$を確立する。
• グリーンのねじれ写像と共変表現理論を用いて、問題を$N = \overline{[G,G]}$をとる$G/N$上の作用に還元する。ここで$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_{\text{ab}}$がコンパクト生成である場合、$C_0(X)$-代数上の局所的内部作用の分類は、このコホロロジー群の直和の計算に帰着される。
• $G$が$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}$が点単位的ユニタリであり、したがって局所ユニタリであることが導かれる。