[论文解读] Iterated crossed products for groupoid fibrations

Alcides Buss, Ralf Meyer|arXiv (Cornell University)|Apr 7, 2016

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

一句话总结

本文引入了群丛纤维化作为群丛作用的推广，通过等价关系实现拓扑群丛的交叉积分解。证明了群丛纤维化 $ L \to H $（纤维为 $ G $）的 C*-代数与迭代交叉积 $ (A \rtimes G) \rtimes H $ 同构，将已知结果推广至非 étale、局部 Hausdorff、局部紧致群丛且具有 Haar 系统的情形。

ABSTRACT

We define and study fibrations of topological groupoids. We interpret a groupoid fibration L->H with fibre G as an action of H on G by groupoid equivalences. Our main result shows that a crossed product for an action of L is isomorphic to an iterated crossed product first by G and then by H. Here groupoid action means a Fell bundle over the groupoid, and crossed product means the section C*-algebra.

研究动机与目标

• 将群丛作用的概念从同构推广至等价关系，尤其适用于非 étale 与非 Hausdorff 群丛。
• 将群丛纤维化定义为受高阶范畴理论与 Kan 纤维化启发的范畴推广。
• 建立群丛纤维化 C*-代数的分解，表示为基群丛与纤维群丛上的迭代交叉积。
• 从给定的 $ L $ 上的饱和 Fell 丛构造基群丛 $ H $ 上的饱和 Fell 丛，确保截面 C*-代数保持不变。
• 为非 Hausdorff 群丛在其箭头空间上的作用提供一个 C*-代数框架，利用 Čech 群丛与纤维化。

提出的方法

• 将群丛纤维化 $ L \to H $ 定义为连续函子，使得 $ H $ 中每个对象的纤维是一个群丛 $ G $，推广变换群丛的概念。
• 使用群丛上的饱和 Fell 丛概念，以建模 Morita-Rieffel 等价关系的作用。
• 通过限制 $ L $ 上原始丛在单位处的限制，构造 $ H $ 上以 $ \mathrm{C}^*(G) $ 为纤维的 Fell 丛。
• 通过普遍性质论证，证明 $ H $ 上诱导的 Fell 丛的截面 C*-代数与 $ \mathrm{C}^*(L) $ 同构。
• 利用 $ G $ 与 $ H $ 上的 Haar 系统，诱导出 $ L $ 上的 Haar 系统，确保与 C*-代数结构相容。
• 将理论应用于强满射上同调 $ L \to H $ 的例子，包括 $ H = \mathbb{Z} $，从而将 Cuntz–Pimsner 代数作为特例恢复。

实验结果

研究问题

• RQ1 如何在非 étale 与非 Hausdorff 的设定下，将群丛作用从自同构推广至等价关系？
• RQ2 何种条件可确保一个函子 $ L \to H $（纤维为 $ G $）在 C*-代数上诱导出良好行为的迭代交叉积结构？
• RQ3 群丛纤维化 $ L \to H $ 的 C*-代数能否表示为 $ (A \rtimes G) \rtimes H $，其中 $ A $ 是 $ L $ 上某个作用于 C*-代数 $ A $ 的适当作用？
• RQ4 如何从 $ L $ 上的丛构造 $ H $ 上的 Fell 丛，以保持其截面 C*-代数不变？
• RQ5 Haar 系统在确保总群丛上诱导的 C*-代数结构相容性方面起什么作用？

主要发现

• 群丛纤维化 $ L \to H $（纤维为 $ G $）诱导了 $ H $ 在 $ \mathrm{C}^*(G) $ 上通过 Morita-Rieffel 等价关系的良定义作用。
• 总群丛 $ L $ 的 C*-代数与迭代交叉积 $ (A \rtimes G) \rtimes H $ 同构，其中 $ A = \mathrm{C}^*_0(G) $，推广了经典的 $ \mathrm{C}^*(X \rtimes H) \cong \mathrm{C}_0(X) \rtimes H $ 结果。
• 对于强满射上同调 $ L \to H $，C*-代数 $ \mathrm{C}^*(L) $ 同构于 $ H $ 上以 $ \mathrm{C}^*(G) $ 为纤维的饱和 Fell 丛的截面 C*-代数。
• 当 $ H = \mathbb{Z} $ 时，结果恢复了 Cuntz–Pimsner 代数的构造，将 $ \mathrm{C}^*(L) $ 识别为希尔伯特双模 $ \mathfrak{B}_1 $ 的 Cuntz–Pimsner 代数。
• 该构造可推广至 Fell 丛系数情形：诱导等价双模的链接 C*-代数同构于 $ L $ 上链接 Fell 丛的截面 C*-代数。
• 该理论适用于非 Hausdorff 群丛，例如局部 Hausdorff 群丛的箭头空间覆盖的 Čech 群丛，为其平移作用提供了 C*-代数模型。