[论文解读] Groupoid models for the C*-algebras of topological higher-rank graphs

Trent Yeend|ArXiv.org|Mar 3, 2006

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

一句话总结

本文为拓扑高阶图的 C*-代数建立了群胚模型，引入了路径群胚 $ G_{\bigwedge} $ 及其边界约化 $ \mathcal{G}_{\bigwedge} $，分别实现 Toeplitz 代数与 Cuntz-Krieger 代数。关键贡献在于证明了 C*-代数关于群的共作用（或对偶作用）的半直积同构于斜积拓扑 k-图的 C*-代数。

ABSTRACT

We provide groupoid models for Toeplitz and Cuntz-Krieger algebras of topological higher-rank graphs. Extending the groupoid models used in the theory of graph algebras and topological dynamical systems to our setting, we prove results on essential freeness and amenability of the groupoids which capture the existing theory, and extend results involving group crossed products of graph algebras.

研究动机与目标

• 通过群胚模型统一拓扑图与高阶图 C*-代数的理论。
• 为拓扑 k-图 $ \bigwedge $ 定义路径群胚 $ G_{\bigwedge} $ 及其边界约化 $ \mathcal{G}_{\bigwedge} $，以捕捉 Toeplitz 代数与 Cuntz-Krieger 代数。
• 将离散 k-图中关于本质自由性与可约性的结果推广至拓扑设定。
• 通过斜积构造，将离散 k-图中的半直积同构结果推广至拓扑 k-图。
• 为作用与共作用建立半直积 C*-代数与斜积拓扑 k-图 C*-代数之间的同构关系。

提出的方法

• 将拓扑 k-图 $ (\Lambda, d) $ 定义为具有连续度量映射 $ d: \Lambda \to \mathbb{N}^k $ 的小范畴，满足复合与分解公理。
• 构造路径群胚 $ G_{\bigwedge} $，其单位空间为 $ X_{\bigwedge} $，即 $ \Lambda $ 中有限与无限路径的集合，赋予使其成为局部紧、r-离散群胚的拓扑。
• 引入紧致对齐的概念，以确保范围与源映射的连续性，并保证 $ G_{\bigwedge} $ 的局部紧性。
• 定义边界路径空间 $ \partial\Lambda \subset X_{\bigwedge} $，并构造边界路径群胚 $ \mathcal{G}_{\bigwedge} = G_{\bigwedge}|_{\partial\Lambda} $，其允许 Haar 系统。
• 为连续函子 $ c: \Lambda \to A $（其中 $ A $ 为局部紧的阿贝尔群或离散群）定义斜积拓扑 k-图 $ \Lambda \times_c A $。
• 利用群胚对偶性与半直积理论，证明 $ C^*(G_{\bigwedge}) \times_{\delta(\tilde{c})} A \cong C^*(G_{\Lambda \times_c A}) $ 与 $ C^*(\mathcal{G}_{\bigwedge}) \times_{\delta(\tilde{c})} A \cong C^*(\mathcal{G}_{\Lambda \times_c A}) $，并对对偶作用得到类似结果。

实验结果

研究问题

• RQ1 在何种条件下，拓扑 k-图 $ \Lambda $ 的关联路径群胚 $ G_{\bigwedge} $ 是具有 Haar 系统的局部紧、r-离散拓扑群胚？
• RQ2 边界路径群胚 $ \mathcal{G}_{\bigwedge} $ 何时本质自由？这与非周期性条件有何关联？
• RQ3 边界路径群胚 $ \mathcal{G}_{\bigwedge} $ 何时可约？$ \Lambda $ 的何种结构条件可保证此性质？
• RQ4 群的共作用与对偶群的作用在 $ C^*(G_{\bigwedge}) $ 与 $ C^*(\mathcal{G}_{\bigwedge}) $ 上如何与斜积拓扑 k-图的 C*-代数相关联？
• RQ5 离散 k-图中的半直积同构在多大程度上可推广至拓扑设定？

主要发现

• 当且仅当 $ \Lambda $ 是紧致对齐时，路径群胚 $ G_{\bigwedge} $ 是具有 Haar 系统的局部紧、r-离散拓扑群胚。
• 当且仅当 $ \Lambda $ 满足非周期性条件时，边界路径群胚 $ \mathcal{G}_{\bigwedge} $ 本质自由。
• 当 $ \Lambda $ 为有限对齐的离散 k-图、拓扑 1-图，或无源的正规拓扑 k-图时，边界路径群胚 $ \mathcal{G}_{\bigwedge} $ 可约。
• 对于连续函子 $ c: \Lambda \to A $，半直积 $ C^*(G_{\bigwedge}) \times_{\delta(\tilde{c})} A $ 同构于 $ C^*(G_{\Lambda \times_c A}) $，其中 $ \tilde{c} $ 为 $ c $ 到群胚的提升。
• 类似地，$ C^*(\mathcal{G}_{\bigwedge}) \times_{\delta(\tilde{c})} A \cong C^*(\mathcal{G}_{\Lambda \times_c A}) $，将离散 k-图中的已知结果推广至拓扑 k-图。
• 当 $ A $ 为阿贝尔群时，$ C^*(G_{\bigwedge}) $ 上的对偶作用 $ \alpha(\tilde{c}) $ 满足 $ C^*(G_{\bigwedge}) \times_{\alpha(\tilde{c})} \widehat{A} \cong C^*(G_{\Lambda \times_c A}) $，且对边界代数同样成立。