[论文解读] Amenability and exactness for dynamical systems and their C*-algebras

Claire Anantharaman-Delaroche|ArXiv.org|May 2, 2000

Advanced Operator Algebra ResearchMathematics参考文献 9被引用 19

一句话总结

本文建立了C*-动力系统可约性与交叉积的精确性/核性之间的精确对应关系，证明了离散群是精确的当且仅当它在紧致空间上存在可约作用。该工作提供了关键结果的直接、无需群胚理论的证明，这些结果将动力可约性与算子代数性质联系起来，并将这些结果推广至在无穷远处可约的群的均匀嵌入到希尔伯特空间的性质。

ABSTRACT

In this survey, we study the relations between amenability (resp. amenability at infinity) of C*-dynamical systems and equality or nuclearity (resp. exactness) of the corresponding crossed products.

研究动机与目标

• 阐明C*-动力系统的可约性与其交叉积的精确性或核性之间的关系。
• 在不依赖群胚理论的前提下，提供这些关系的直观且直接的证明。
• 建立离散群是精确的当且仅当它在紧致空间上存在可约作用。
• 将动力可约性与均匀嵌入希尔伯特空间之间的联系进一步拓展。
• 推广变换群的在无穷远处可约性的概念，并将其与精确性联系起来。

提出的方法

• 为变换群引入近似不变连续平均（a.i.c.m.）的概念，以定义可约性。
• 利用正类型函数和希尔伯特C*-模技术，通过系数函数刻画正类型核。
• 应用富比尼定理和逼近论证，将紧支集函数族与不变平均联系起来。
• 采用基尔伯格关于通过从l²(G)有界算子到单位完全正映射刻画精确性的特征。
• 通过具有受控支集和衰减特性的核序列构造希尔伯特空间中的均匀嵌入。
• 通过从可约G-空间到G-空间的正规G-等变满射定义在无穷远处的可约性。

实验结果

研究问题

• RQ1 在何种条件下，C*-动力系统的可约性意味着其交叉积的核性或精确性？
• RQ2 能否在不使用群胚理论的前提下，证明离散群的精确性与在紧致空间上存在可约作用之间的等价性？
• RQ3 群作用在无穷远处的可约性如何与均匀嵌入希尔伯特空间相关联？
• RQ4 正类型函数和系数映射在刻画动力系统中可约性的角色是什么？
• RQ5 群胚在无穷远处的可约性在多大程度上蕴含其约化C*-代数的精确性？

主要发现

• 离散群是精确的当且仅当它在紧致空间上存在可约作用，从而建立了动力性质与代数性质之间的深刻联系。
• 一个可约C*-动力系统的全交叉积与约化交叉积相等，且当且仅当该系统可约时，其交叉积是核的。
• 对有限生成群而言，在无穷远处的可约性蕴含其可均匀嵌入希尔伯特空间，该结论通过构造的核序列嵌入得以证明。
• 对离散群而言，精确性条件、存在正规可约扩张的条件，以及存在具有受控支集的正类型核序列的条件是等价的。
• 本文提供了精确性与在紧致空间上存在可约作用之间等价性的自包含证明，且完全独立于群胚理论。
• 利用通过单位完全正逼近刻画精确性的方法，构造了希尔伯特空间中的均匀嵌入。