[论文解读] A characterization of amenability of group actions on $C^\ast$-algebras

Masayoshi Matsumura|arXiv (Cornell University)|Apr 13, 2012

Advanced Operator Algebra Research参考文献 7被引用 12

一句话总结

该论文证明了：对于作用在单位交换 $C^*$-代数 $A$ 上的离散精确群 $\Gamma$，若全交叉积与约化交叉积 $C^*$-代数重合，则该作用是可均的。证明利用了弱期望性质（WEP）和性质 $C'$，通过阿夫森的延拓定理及等变完全正映射，表明约化交叉积是核的，从而根据已知刻画推出可均性。

ABSTRACT

We show that coincidence of the full and reduced crossed product $C^\ast$-algebras of a group action on a unital commutative $C^\ast$-algebra implies amenability of the action whenever the group is exact. This is a partial answer to a problem posed by C. Anantharaman-Delaroche in 1987.

研究动机与目标

• 解决安纳塔拉曼-德拉萨尔在1987年提出的问题的部分情形，即通过交叉积重合来刻画可均群作用。
• 建立已知结果的逆命题：可均作用蕴含全交叉积与约化交叉积重合。
• 在 $A \otimes A^{\rm op}$ 具有核性的假设下，将该刻画推广至非交换 $C^*$-代数。
• 证明：对于精确群，当 $A$ 为单位且交换时，若交叉积重合，则该作用是可均的。
• 提出一种新颖的证明技术，利用弱期望性质和性质 $C'$，与胡拉尼克的证明方法不同。

提出的方法

• 使用阿夫森延拓定理，将约化交叉积的表示提升为 $B(\ell^2\Gamma \otimes H)$ 上的完全正映射。
• 构造从 $\ell^\infty\Gamma \otimes A$ 到 $A^{\ast\ast}$ 的 $\Gamma$-等变完全正映射，利用乘法子代数的性质。
• 应用阿彻博德与巴蒂的弱期望性质（WEP）和性质 $C'$，以确保此类映射的存在。
• 证明当 $\Gamma$ 精确且 $A$ 为单位代数时，作用 $\Gamma \curvearrowright \ell^\infty\Gamma \otimes A$ 是可均的。
• 利用约化交叉积的函子性，构造一个交换图，使得包含映射 $A \rtimes_r \Gamma \hookrightarrow (A \rtimes_r \Gamma)^{\ast\ast}$ 通过一个核 $C^*$-代数因子化。
• 利用如下事实：若一个 $C^*$-代数通过一个核映射嵌入其双重对偶，则该代数是核的，从而得出 $A \rtimes_r \Gamma$ 是核的。

实验结果

研究问题

• RQ1 对于作用在单位交换 $C^*$-代数上的群，若全交叉积与约化交叉积重合，且群为精确群，则该作用是否可均？
• RQ2 在群为精确群的条件下，是否可建立安纳塔拉曼-德拉萨尔结果的逆命题——即可均作用蕴含交叉积重合？
• RQ3 通过约化交叉积的核性来刻画可均性的结果，能在多大程度上推广至非交换 $C^*$-代数？
• RQ4 弱期望性质（WEP）与性质 $C'$ 在构造交叉积代数的等变完全正映射时如何相互作用？
• RQ5 当 $\Gamma$ 为精确群且 $A$ 为单位代数时，对角作用 $\Gamma \curvearrowright \ell^\infty\Gamma \otimes A$ 是否可均？

主要发现

• 对于离散精确群 $\Gamma$ 及单位交换 $\Gamma$-$C^*$-代数 $A$，若全交叉积与约化交叉积重合，则作用 $\Gamma \curvearrowright A$ 是可均的。
• 约化交叉积 $A \rtimes_r \Gamma$ 是核的，当 $A$ 为单位且交换时，这蕴含了作用的可均性。
• 当 $A \otimes A^{\rm op}$ 为核代数且 $A \otimes A^{\rm op}$ 的全交叉积与约化交叉积重合时，该结果可推广至非交换 $C^*$-代数。
• 证明依赖于利用阿夫森延拓定理和乘法子代数论证，从 $\ell^\infty\Gamma \otimes A$ 到 $A^{\ast\ast}$ 构造一个 $\Gamma$-等变完全正映射。
• 对于精确群，作用 $\Gamma \curvearrowright \ell^\infty\Gamma \otimes A$ 的可均性已得证，这是证明约化交叉积核性的关键。
• 由于其包含映射到双重对偶可因子化为核 $C^*$-代数，因此 $A \rtimes_r \Gamma$ 是核的。