[论文解读] Topological full groups of ultragraph groupoids as an isomorphism invariant

Gilles G. de Castro, Daniel Gonçalves+1 more|arXiv (Cornell University)|Jan 1, 2021

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文在特定条件下证明了超图类群的拓扑全群是一个完全的同构不变量，扩展了图类群的结果。它证明了两个同构定理，表明当超图满足条件 (RFUM)、(K)、(W)、(∞)、(L)、(T) 和 (ND) 时，群胚同构等价于其拓扑全群的同构，从而将群胚同构与全群结构联系起来。

ABSTRACT

We prove two isomorphism-invariance theorems for groupoids associated with ultragraphs. These theorems characterize ultragraphs for which the topological full group of an associated groupoid is an isomorphism invariant. These results extend those of graph groupoids to ultragraph groupoids while providing another concrete example where the topological full group of a groupoid is a complete isomorphism invariant.

研究动机与目标

• 将图类群的拓扑全群的同构不变性性质从图类群推广到超图类群。
• 刻画那些其关联群胚的拓扑全群是完全同构不变量的超图。
• 建立群胚同构等价于其拓扑全群同构的条件。
• 将超图类群的同构与连续轨道等价性以及超图 C*-代数的对角保持同构联系起来。
• 提供一个超图 C*-代数的例子，该代数无法实现为图 C*-代数，但满足所需的不变性条件。

提出的方法

• 构造一个满足条件 (RFUM) 的超图的拓扑群胚，确保其为丰富群胚且具有紧开集的基。
• 利用命题 3.7 和 3.8 描述群胚的孤立点和有效性。
• 通过命题 3.14 识别拓扑全群的结构，使用柱集和支集条件。
• 利用空间-群对类 KF 的忠实性以及文献 [19] 中关于全群和交换子群的结果，证明定理 4.7。
• 通过用 (L)、(T) 和 (ND) 替代 (W) 和 (∞)，弱化定理 4.13 中的条件，依赖引理 4.12 将轨道大小与退化条件关联起来。
• 利用与 (L) 和 (T) 相关的群胚非游荡性，以及 (ND) 条件下退化结构的缺失，建立全群同构。

实验结果

研究问题

• RQ1 在何种条件下，超图的关联群胚的拓扑全群是完全的同构不变量？
• RQ2 条件 (RFUM)、(K)、(W) 和 (∞) 如何确保群胚同构蕴含拓扑全群同构？
• RQ3 在缺乏 (W) 和 (∞) 的情况下，非游荡条件与退化条件 (L)、(T) 和 (ND) 在建立同构关系中起什么作用？
• RQ4 拓扑全群能否区分那些不与任何图群胚同构的超图群胚？
• RQ5 拓扑全群如何与超图 C*-代数中的连续轨道等价性和对角保持同构相关联？

主要发现

• 当超图满足 (RFUM)、(K)、(W) 和 (∞) 时，其关联群胚的拓扑全群是完全的同构不变量，如定理 4.7 所示。
• 定理 4.7 建立了群胚同构等价于其拓扑全群同构，同时也等价于其交换子群同构。
• 提供了一个满足 (RFUM)、(K)、(W) 和 (∞) 的超图的例子，其关联 C*-代数与任何图 C*-代数都不同构。
• 定理 4.13 通过用 (L)、(T) 和 (ND) 替代 (W) 和 (∞) 来弱化条件，表明在这些更宽松的假设下，群胚同构仍蕴含全群同构。
• 定理 4.13 的证明依赖于引理 4.12，该引理刻画了轨道大小 ≥3 当且仅当不存在退化顶点或最小无限发射器。
• 当且仅当超图满足 (L) 和 (T) 时，群胚是非游荡的，这对定理 4.13 中的同构结果至关重要。