[论文解读] Topological realizations and fundamental groups of higher-rank graphs

S. Kaliszewski, Alex Kumjian+2 more|arXiv (Cornell University)|May 13, 2012

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

一句话总结

本文建立了高阶图的拓扑实现为CW复形，证明图的基本群与其实现的基本群一致。此外，证明了将k图映射到其拓扑实现的赋值是一个函子，该函子在图的代数覆盖与空间的拓扑覆盖之间诱导出范畴等价，保持普遍覆盖，并与投射极限和半直积构造相关联。

ABSTRACT

We investigate topological realizations of higher-rank graphs. We show that the fundamental group of a higher-rank graph coincides with the fundamental group of its topological realization. We also show that topological realization of higher-rank graphs is a functor, and that for each higher-rank graph Λ, this functor determines a category equivalence between the category of coverings of Λ and the category of coverings of its topological realization. We discuss how topological realization relates to two standard constructions for k-graphs: projective limits and crossed products by finitely generated free abelian groups.

研究动机与目标

• 将k图的拓扑实现定义为CW复形，以捕捉其组合结构。
• 证明k图的基本群同构于其拓扑实现的基本群。
• 证明将k图映射到其拓扑实现的赋值是k图范畴与拓扑空间范畴之间的函子。
• 在k图的代数覆盖范畴与其实现的拓扑覆盖范畴之间建立范畴等价，保持普遍覆盖。
• 将拓扑实现与标准构造（如k图的投射极限和Z^l作用下的半直积）联系起来。

提出的方法

• 通过在范畴中将开胞胞粘合到交换立方体的内部，构造k图$\Lambda$的拓扑实现$X_\Lambda$。
• 为每个k图同态$\varphi: \Lambda \to \Gamma$定义一个连续映射$\widetilde{\varphi}: X_\Lambda \to X_\Gamma$，使该赋值成为一个函子。
• 通过显式的同伦理论论证，证明$X_\Lambda$的基本群同构于$\Lambda$的基本群。
• 证明该函子保持覆盖关系，从而在$\Lambda$的代数覆盖范畴与$X_\Lambda$的拓扑覆盖范畴之间诱导出范畴等价，且普遍覆盖映射到普遍覆盖。
• 证明对于有限对一覆盖的投射极限$\varprojlim(\Lambda_n, p_n)$，其拓扑实现$X_{\varprojlim(\Lambda_n, p_n)}$同胚于$\varprojlim(X_{\Lambda_n}, \widetilde{p}_n)$，并保持基本群的逆极限。
• 证明交叉积k图$\Lambda \times_\alpha \mathbb{Z}^l$的拓扑实现同胚于诱导同胚$\widetilde{\alpha}$在$X_\Lambda$上的映射环面$M(\widetilde{\alpha})$，即$X_{\Lambda \times_\alpha \mathbb{Z}^l} \cong M(\widetilde{\alpha})$。

实验结果

研究问题

• RQ1 k图的基本群是否与其实现为CW复形后的基本群一致？
• RQ2 赋值$\Lambda \mapsto X_\Lambda$是否是从k图范畴到拓扑空间范畴的函子？
• RQ3 该函子是否在$\Lambda$的代数覆盖与$X_\Lambda$的拓扑覆盖之间诱导出范畴等价？
• RQ4 拓扑实现如何与k图的投射极限相互作用？
• RQ5 交叉积k图$\Lambda \times_\alpha \mathbb{Z}^l$的拓扑实现如何通过标准拓扑构造表达？

主要发现

• k图$\Lambda$的基本群同构于其拓扑实现$X_\Lambda$的基本群，即$\pi_1(\Lambda) \cong \pi_1(X_\Lambda)$。
• 赋值$\Lambda \mapsto X_\Lambda$定义了一个从k图范畴到拓扑空间范畴的函子，将态射映射为连续映射。
• 该函子在$\Lambda$的代数覆盖范畴与$X_\Lambda$的拓扑覆盖范畴之间诱导出范畴等价，且普遍覆盖映射到普遍覆盖。
• 对于k图的有限对一覆盖的投射极限$\varprojlim(\Lambda_n, p_n)$，其拓扑实现满足$X_{\varprojlim(\Lambda_n, p_n)} \cong \varprojlim(X_{\Lambda_n}, \widetilde{p}_n)$，且$\pi_1(X_{\varprojlim(\Lambda_n, p_n)}) \cong \varprojlim(\pi_1(\Lambda_n), (p_n)^*)$。
• 交叉积k图$\Lambda \times_\alpha \mathbb{Z}^l$的拓扑实现同胚于诱导同胚$\widetilde{\alpha}$在$X_\Lambda$上的映射环面$M(\widetilde{\alpha})$，即$X_{\Lambda \times_\alpha \mathbb{Z}^l} \cong M(\widetilde{\alpha})$。
• 基本群扩张$1 \to \pi_1(\Lambda) \to \pi_1(\Lambda \times_\alpha \mathbb{Z}^l) \to \mathbb{Z}^l \to 0$成立，反映了交叉积的结构。