[论文解读] Quasidiagonality of crossed products

Stefanos Orfanos|arXiv (Cornell University)|Oct 18, 2007

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

一句话总结

本文证明了，当一个分离的单位 quasidiagonal C*-代数 $A$ 作用于一个离散可数的可均极大几乎周期群 $G$ 时，若该作用 $\alpha$ 是几乎周期的，则其交叉积 $A\rtimes_{\alpha}G$ 是 quasidiagonal 的。证明通过 Følner 集和 $G$ 的密铺构造了 quasidiagonal 投影，推广了 Pimsner 与 Voiculescu 对 $\mathbb{Z}$-作用的结果。

ABSTRACT

We prove that the crossed product A x G of a separable, unital, quasidiagonal C*- algebra A by a discrete, countable, amenable, maximally almost periodic group G is quasidiagonal, provided that the action is almost periodic.

研究动机与目标

• 将 Pimsner 与 Voiculescu 关于 $A\rtimes_{\alpha}\mathbb{Z}$ 的 quasidiagonality 结果推广到更广泛的群类。
• 在可均且极大几乎周期群作用下，建立单位、分离、quasidiagonal C*-代数的交叉积的 quasidiagonality。
• 通过在剩余有限可均群中使用 Følner 集和密铺，发展一种投影构造方法，以实现 quasidiagonality。
• 为广义 Bunce–Deddens 代数提供一个可应用的框架，作为关键应用。

提出的方法

• 利用 $G$ 的剩余有限性与可均性，构造 Følner 集和分解 $G = K_n L_n$，其中 $L_n$ 为有限指数正规子群。
• 通过 $\mathcal{H} \otimes \ell^2(G)$ 上的正则协变表示 $\sigma \otimes \lambda$，将交叉积实现为算子 C*-代数。
• 通过在陪集 $yL_n$ 上的特征函数 $\phi_n$ 构造 $\ell^2(G)$ 上的有限秩投影 $P_n$，形成对 $G$ 的密铺。
• 在 $\mathcal{H}$ 上引入辅助投影 $Q_n$，使得当 $n \to \infty$ 时，$\| [\rho(a_i), Q_n] \| \to 0$，从而确保 $\rho(a_i)$ 的 quasidiagonality。
• 将 $Q_n \otimes P_n$ 组合，形成 $\mathcal{H} \otimes \ell^2(G)$ 上的一系列投影，实现整个代数的 quasidiagonality。
• 利用 $\alpha$ 在有限生成子群上的几乎周期性，确保 $\| \alpha(l)a_i - a_i \| \leq 1/n$ 对所有 $l \in L_n \cap K_n K_n^{-1} F_n$ 成立，从而控制交换子范数。

实验结果

研究问题

• RQ1 当 $A$ 为 quasidiagonal 且 $G$ 为离散可数群时，交叉积 $A\rtimes_{\alpha}G$ 在何种条件下是 quasidiagonal 的？
• RQ2 quasidiagonality 是否可被建立于 $\mathbb{Z}$ 之外的可均、极大几乎周期群上？
• RQ3 如何利用可均剩余有限群中的密铺结构，为交叉积构造 quasidiagonal 投影？
• RQ4 群作用 $\alpha$ 的几乎周期性在确保交叉积 quasidiagonality 中起什么作用？
• RQ5 该方法是否可用于构造如广义 Bunce–Deddens 代数等 quasidiagonal C*-代数？

主要发现

• 当 $A$ 为分离的单位 quasidiagonal C*-代数，$G$ 为离散可数的可均极大几乎周期群，且作用 $\alpha$ 为几乎周期时，交叉积 $A\rtimes_{\alpha}G$ 是 quasidiagonal 的。
• 通过 $\mathcal{H} \otimes \ell^2(G)$ 上的一系列有限秩投影 $Q_n \otimes P_n$ 实现 quasidiagonality，这些投影强收敛于单位元，且满足 $\| [\sigma(a_i), Q_n \otimes P_n] \| \to 0$ 当 $n \to \infty$。
• 交换子范数 $\| [\sigma(a_i), Q_n \otimes P_n] \|$ 的上界为 $4/n$（当 $i \leq n$ 时），证明其收敛于零。
• 该构造依赖于分解 $G = K_n L_n$，其中 $K_n$ 包含一个 Følner 集 $F_n$，且 $L_n$ 为有限指数正规子群。
• 该方法适用于 $G$ 的所有有限生成子群，因为 $G$ 为极大几乎周期群，故其子群均为剩余有限群。
• 该结果推广了 Pimsner 与 Voiculescu 关于 $\mathbb{Z}$-作用的定理，并适用于广义 Bunce–Deddens 代数 $C(\tilde{G}) \rtimes G$。