[论文解读] Traces on crossed products

Sergey Neshveyev|arXiv (Cornell University)|Oct 4, 2010

Advanced Operator Algebra Research参考文献 3被引用 4

一句话总结

本文对可数群 $ G $ 作用于紧致度量空间 $ X $ 时的半直积 C*-代数 $ C(X) \rtimes G $ 上的迹进行了完整刻画。结果表明，迹与稳定子群 $ G_x $ 上的可测迹场一一对应，且 $ u_g $ 上的迹仅在 $ g \in G_x $ 时非零；同时建立了此类迹与配备 $ C^*(G_x) $ 上相容迹的 $ X $ 上的不变测度之间的双射关系。主要贡献在于，以稳定子迹和不变测度为结构单元，对迹进行了分解。

ABSTRACT

We give a description of traces on C(X) times G in terms of measurable fields of traces on the C*-algebras of the stabilizers of the action of G on X.

研究动机与目标

• 描述可数群 $ G $ 作用于紧致度量空间时，半直积 C*-代数 $ C(X) \rtimes G $ 上迹的结构。
• 阐明迹如何通过群作用的稳定子群 $ G_x $ 因子化。
• 提供 $ C(X) \rtimes G $ 上迹与 $ C^*(G_x) $ 上可测迹场之间精确的对应关系，且与群作用相容。
• 将此描述推广至 $ G = \mathbb{Z} $ 的情形，展示迹如何分解为非周期轨道与周期轨道的贡献。

提出的方法

• 利用状态的中心化子在 $ C(X) \otimes C^*(G) $ 上定义一个状态 $ \Phi $，形式为 $ \Phi(f \otimes a) = \varphi(f j(a)) $，其中 $ j: C^*(G) \to C(X) \rtimes G $ 为典范同态。
• 对 $ C(X) $ 进行 $ \Phi $ 的分解，得到 $ X $ 上的概率测度 $ \nu $ 与 $ C^*(G) $ 上的状态 $ \varphi_x $，使得 $ \Phi = \int^\oplus \varphi_x \, d\nu(x) $。
• 证明对 $ \nu $-几乎处处的 $ x $ 及所有 $ g \notin G_x $，有 $ \varphi_x(\lambda_g) = 0 $，从而刻画了半直积上的迹。
• 证明：若迹在 $ C(X) $ 上的中心化子包含 $ C(X) $，则此类迹与满足稳定子条件的分解状态 $ \Phi $ 之间存在双射。
• 利用 GNS 构造与表示理论，将状态 $ \Phi $ 提升回 $ C(X) \rtimes G $ 上的状态，确保中心化子条件得以保持。
• 对于 $ G = \mathbb{Z} $，将迹分解为两部分：一部分由条件期望与 $ \mathbb{T} $ 上的勒贝格测度支持在非周期点上；另一部分由 $ \mathbb{T} $ 上的旋转不变测度支持在周期轨道上。

实验结果

研究问题

• RQ1 如何以群作用的稳定子群 $ G_x $ 描述 $ C(X) \rtimes G $ 上的迹？
• RQ2 何种条件下，$ C^*(G_x) $ 上的可测迹场可延拓为整个半直积上的迹？
• RQ3 当系统具有可数个周期轨道时，$ C(X) \rtimes \mathbb{Z} $ 上的迹如何分解？
• RQ4 群作用的遍历性在半直积上迹的结构中起何作用？
• RQ5 能否通过群作用与不变测度对 $ C(X) \rtimes G $ 上的极小迹进行分类？

主要发现

• 在 $ C(X) \rtimes G $ 上的迹与 $ C^*(G_x) $ 上的状态族 $ \varphi_x $ 之间存在双射，其中 $ \varphi_x(\lambda_g) = 0 $ 对所有 $ g \notin G_x $ 成立，且该族关于 $ X $ 上的不变测度 $ \nu $ 可测。
• 对于 $ G = \mathbb{Z} $，任意 $ C(X) \rtimes \mathbb{Z} $ 上的迹态 $ \tau $ 唯一分解为 $ \tau = \nu_* \circ E + \sum_i \lambda_{i,*} \circ E_{x_i} $，其中 $ \nu $ 是 $ T $-不变测度且满足 $ \nu(O_i) = 0 $，而 $ \lambda_i $ 是 $ \mathbb{T} $ 上的 $ |O_i| $-旋转不变测度。
• 与周期轨道（周期为 $ n $）相关的 $ C(X) \rtiimes \mathbb{Z} $ 上的迹由公式 $ E_{x}(fu^m) = \frac{1}{n} \left( \sum_{k=0}^{n-1} f(T^k x) \right) u^m $ 给出，随后对 $ \mathbb{T} $ 上的 $ n $-旋转不变测度进行积分。
• 当测度 $ \nu $ 是遍历的且群 $ G $ 在 $ X $ 上的作用本质上是自由时，$ C(X) \rtimes G $ 上的极小迹出现，从而产生一个因子表示。
• 当 $ \nu $ 仅支持在一个周期为 $ n $ 的轨道上时，迹通过半直积 $ C(\mathbb{Z}/n\mathbb{Z}) \rtimes \mathbb{Z} $ 因子化，该代数通过对偶性同构于 $ C(\mathbb{T}) \rtimes \mathbb{Z}/n\mathbb{Z} $。
• 条件 $ \varphi_x(\lambda_g) = 0 $ 对所有 $ g \notin G_x $ 成立，是状态 $ \Phi $ 在 $ C(X) \rtimes G $ 上定义迹的必要且充分条件。