[论文解读] Topological freeness for $*$-commuting covering maps

Nicolai Stammeier|arXiv (Cornell University)|Nov 4, 2013

Advanced Operator Algebra Research参考文献 19被引用 10

一句话总结

本文建立了在紧致豪斯多夫空间上，可数个 ∗-交换覆盖映射族所关联的 C*-代数 𝒪[X,P,θ] 中，拓扑自由性、理想交集性质、ℓ²(X) 上典范表示的忠实性，以及 C(X) 作为极大阿贝尔自伴子代数（masa）的等价性。此外，本文证明了 𝒪[X,P,θ] 的简单性等价于其动力系统的极小性，并表明该 C*-代数同构于与该系统自然关联的积系统上的 Cuntz-Nica-Pimsner 代数。

ABSTRACT

A countable family of $*$-commuting surjective, non-injective local homeomorphisms of a compact Hausdorff space $X$ gives rise to an action $θ$ of a countably generated, free abelian monoid $P$. For such a triple $(X,P,θ)$, which we call an irreversible $*$-commutative dynamical system, we construct a universal $C^*$-algebra $\mathcal{O}[X,P,θ]$. Within this setting we show that the following four conditions are equivalent: $(X,P,θ)$ is topologically free, $C(X) \subset \mathcal{O}[X,P,θ]$ has the ideal intersection property, the natural representation of $\mathcal{O}[X,P,θ]$ on $\ell^2(X)$ is faithful, and $C(X)$ is a masa in $\mathcal{O}[X,P,θ]$. As an application, we characterise simplicity of $\mathcal{O}[X,P,θ]$ by minimality of $(X,P,θ)$. We also show that $\mathcal{O}[X,P,θ]$ is isomorphic to the Cuntz-Nica-Pimsner algebra of a product system of Hilbert bimodules naturally associated to $(X,P,θ)$. Moreover, we find a close connection between $*$-commutativity and independence of group endomorphisms, a notion introduced by Cuntz and Vershik. This leads to the observation that, for commutative irreversible algebraic dynamical systems of finite type $(G,P,θ)$, the dual model $(\hat{G},P,\hatθ)$ is an irreversible $*$-commutative dynamical system and $\mathcal{O}[\hat{G},P,\hatθ]$ is canonically isomorphic to $\mathcal{O}[G,P,θ]$. This allows us to conclude that minimality of $(G,P,θ)$ is not only sufficient, but also necessary for simplicity of $\mathcal{O}[G,P,θ]$ if $(G,P,θ)$ is commutative and of finite type.

研究动机与目标

• 定义并研究由紧致豪斯多夫空间上可数个 ∗-交换、非单射、满射局部同胚所生成的不可逆 ∗-交换动力系统。
• 为这类系统构造一个普遍 C*-代数 𝒪[X,P,θ]，将 Exel 的单变量自同态交叉积推广至多变量、非可逆的情形。
• 建立四个关键结构性质的等价性：拓扑自由性、理想交集性质、ℓ²(X) 上典范表示的忠实性，以及 C(X) 作为极大阿贝尔自伴子代数（masa）的最大性。
• 通过底层动力系统的极小性来刻画 𝒪[X,P,θ] 的简单性。
• 证明 𝒪[X,P,θ] 同构于与该系统自然关联的希尔伯特双模积系统所生成的 Cuntz-Nica-Pimsner 代数。

提出的方法

• 将不可逆 ∗-交换动力系统 (X,P,θ) 定义为三元组，其中 P 是可数生成的自由阿贝尔半群，且每个 θ_p: X → X 是满足 ∗-交换性的满射、非单射局部同胚：θ_p ∘ θ_q = θ_q ∘ θ_p，且对所有 x ∈ X 有 θ_p^{-1}(θ_q(x)) = θ_q^{-1}(θ_p(x))。
• 通过生成元与关系构造普遍 C*-代数 𝒪[X,P,θ]：用等距算子 (s_p) 实现内自同态 α_p(f) = f∘θ_p，以及共等距算子 (s_p^*) 满足 L_p(f) = s_p^* f s_p，关系确保在 ∗-交换性下的相容性。
• 利用典范表示 φ: 𝒪[X,P,θ] → B(ℓ²(X)) 分析忠实性，其中 s_p δ_x = δ_{θ_p(x)} 且 s_p^* δ_y = ∑_{z∈θ_p^{-1}(y)} δ_z。
• 应用理想交集性质：每个 𝒪[X,P,θ] 中的非零理想 I 满足 I ∩ C(X) ≠ 0，该性质被证明与拓扑自由性等价。
• 通过一系列蕴含链证明：拓扑自由性（即每个非单位元 p ∈ P 的不动点集内部为空）等价于其余三个性质。
• 建立 𝒪[X,P,θ] 与由覆盖映射构造的希尔伯特双模积系统所生成的 Cuntz-Nica-Pimsner 代数之间的同构关系。

实验结果

研究问题

• RQ1 在何种条件下，𝒪[X,P,θ] 在 ℓ²(X) 上的典范表示是忠实的？
• RQ2 C*-代数 𝒪[X,P,θ] 何时具有理想交集性质，即每个非零理想与 C(X) 的交集非平凡？
• RQ3 C(X) 何时是 𝒪[X,P,θ] 中的极大阿贝尔自伴子代数（masa）？
• RQ4 对 (X,P,θ) 的精确条件是什么，可保证 𝒪[X,P,θ] 的简单性？
• RQ5 ∗-交换性与 Cuntz 和 Vershik 所定义的群自同态独立性之间有何关系？

主要发现

• 若 (X,P,θ) 满足拓扑自由性，则其在 𝒪[X,P,θ] 中的每个非零理想与 C(X) 的交集非平凡。
• 𝒪[X,P,θ] 在 ℓ²(X) 上的典范表示 φ 是忠实的，当且仅当 (X,P,θ) 是拓扑自由的。
• C(X) 是 𝒪[X,P,θ] 中的极大阿贝尔自伴子代数（masa），当且仅当 (X,P,θ) 是拓扑自由的。
• C*-代数 𝒪[X,P,θ] 是简单的，当且仅当动力系统 (X,P,θ) 是极小的。
• 𝒪[X,P,θ] 同构于与 (X,P,θ) 自然关联的希尔伯特双模积系统所生成的 Cuntz-Nica-Pimsner 代数。
• 对于有限类型的不可逆代数动力系统 (G,P,θ)，(G,P,θ) 的极小性是 𝒪[G,P,θ] 简单性的充要条件，通过与对偶系统 (Ĝ,P,θ̂) 的对偶性建立。