[论文解读] A dichotomy for groupoid C*-algebras

Timothy Rainone, Aidan Sims|arXiv (Cornell University)|Jul 14, 2017

Advanced Operator Algebra Research参考文献 20被引用 5

一句话总结

该论文在关联预序阿贝尔半群 $ S(G) $ 几乎无穿孔的条件下，为一个充裕、极小且拓扑本原的类群胚的约化 C*-代数建立了稳定有限性与纯无穷性的二分法。作者为埃莱特类群胚引入了一个广义的类型半群 $ S(G) $，将其代数结构与 C*-代数的有限/无限性质相联系，并证明了纯无穷性等价于 $ S(G) $ 上不存在状态，从而将先前针对群作用的结果推广到了更广泛的群胚设定。

ABSTRACT

We study the finite versus infinite nature of C*-algebras arising from etale groupoids. For an ample groupoid G, we relate infiniteness of the reduced C*-algebra of G to notions of paradoxicality of a K-theoretic flavor. We construct a pre-ordered abelian monoid S(G) which generalizes the type semigroup introduced by Rørdam and Sierakowski for totally disconnected discrete transformation groups. This monoid reflects the finite/infinite nature of the reduced groupoid C*-algebra of G. If G is ample, minimal, and topologically principal, and S(G) is almost unperforated we obtain a dichotomy between stable finiteness and pure infiniteness for the reduced C*-algebra of G.

研究动机与目标

• 将类型半群框架从群作用推广至一般的埃莱特充裕群胚。
• 在群胚的 C*-代数中建立稳定有限性与纯无穷性的二分法。
• 将 Rørdam 和 Sierakowski 关于悖论性与纯无穷性的结果推广至群胚设定。
• 定义一个预序阿贝尔半群 $ S(G) $，以捕捉 $ C^*_r(G) $ 的有限/无限性质，并证明其在群胚等价下不变。
• 证明当 $ S(G) $ 几乎无穿孔时，$ C^*_r(G) $ 要么是稳定有限，要么是纯无穷。

提出的方法

• 将埃莱特充裕群胚 $ G $ 的单位空间上紧支撑、局部常值的整值函数的半群取商，构造一个预序阿贝尔半群 $ S(G) $。
• 基于存在具有相同像集与源集的双分量，定义非负函数上的等价关系 $ \thicksim $。
• 通过有限对 $ f_i \thicksim g_i $ 生成进一步的关系 $ \thickapprox $，以捕捉有限分解等价性。
• 证明 $ S(G) $ 在群胚等价下不变，并且当 $ G $ 为变换群胚时，其同构于经典类型半群 $ S(X,\Gamma) $。
• 利用从拓扑图半群 $ S(E) $ 到群胚半群 $ S(G_E) $ 的同态 $ \tau: S(E) \to S(G_E) $，将 $ S(G) $ 的结构与图的 C*-代数相联系。
• 应用半群结构证明：若 $ S(G) $ 几乎无穿孔且 $ G $ 为极小且拓扑本原，则 $ C^*_r(G) $ 满足稳定有限性与纯无穷性的二分法。

实验结果

研究问题

• RQ1 在何种条件下，充裕群胚的约化 C*-代数会表现出稳定有限性与纯无穷性的二分法？
• RQ2 如何将类型半群构造从群作用推广至埃莱特群胚？
• RQ3 预序半群 $ S(G) $ 中的几乎无穿孔性质在决定 $ C^*_r(G) $ 的有限性性质中起什么作用？
• RQ4 在群胚设定中，$ S(G) $ 上无状态与 $ C^*_r(G) $ 的纯无穷性有何关联？
• RQ5 半群 $ S(G) $ 在多大程度上捕捉了群胚 $ G $ 的 K-理论与动力学结构？

主要发现

• 预序阿贝尔半群 $ S(G) $ 在群胚等价下不变，并且将 Rørdam 和 Sierakowski 的类型半群推广到了群胚设定。
• 对于一个充裕、极小且拓扑本原的群胚 $ G $，若 $ S(G) $ 几乎无穿孔，则 $ C^*_r(G) $ 满足二分法：它要么是稳定有限，要么是纯无穷。
• 当 $ G $ 为变换群胚 $ X \rtimes \Gamma $ 时，半群 $ S(G) $ 同构于经典类型半群 $ S(X,\Gamma) $。
• 对于拓扑图 $ E $，存在一个满同态 $ \tau: S(E) \to S(G_E) $，使得图设定中的结果可被转移到群胚设定中。
• 对于具有适当且满射的范围映射的完全不连通拓扑图 $ E $，若 $ C^*(E) $ 是单的且 $ S(E) $ 几乎无穿孔，则 $ C^*(E) $ 要么是纯无穷，要么是拟对角的。
• 纯无穷性等价于 $ S(G) $ 上无状态，且这等价于对所有 $ \theta \in S(G) $ 有 $ 2\theta \leq \theta $，推广了 Rørdam 和 Sierakowski 的一个结果。