[论文解读] Renault's Equivalence Theorem for Groupoid Crossed Products

Paul S. Muhly, Dana P. Williams|ArXiv.org|Jul 24, 2007

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

一句话总结

本文在局部Hausdorff、局部紧群胚的背景下，对群胚半积的Renault等价定理提供了全面的阐述与证明。通过建立纤维丛理论框架，构造具体的实现双模，并建立协变表示的分解定理，作者们将经典交叉积C*-代数与约化群胚C*-代数之间的等价性推广至非Hausdorff情形，为研究群胚的Brauer半群提供了基础工具。

ABSTRACT

We provide an exposition and proof of Renault's equivalence theorem for crossed products by locally Hausdorff, locally compact groupoids. Our approach stresses the bundle approach, concrete imprimitivity bimodules and is a preamble to a detailed treatment of the Brauer semigroup for a locally Hausdorff, locally compact groupoid.

研究动机与目标

• 将Renault的等价定理推广至局部Hausdorff、局部紧群胚，此类群胚在非交换几何与动力系统中常见，但通常被标准处理所排除。
• 为局部Hausdorff空间上的上半连续C*-丛建立严谨框架，解决Hausdorff情形下不存在的细微技术挑战。
• 为群胚动力系统的协变表示建立分解定理，这是在非Hausdorff情形下证明等价定理的关键。
• 为局部Hausdorff、局部紧群胚的Brauer半群系统理论奠定基础，其定义为作用于上半连续C*-丛上的Morita等价类的半群。
• 在非Hausdorff背景下，对近似单位元、协变表示与Radon测度提供自包含且详尽的处理，填补文献中的空白。

提出的方法

• 采用纤维丛方法，将C*-代数建模为局部Hausdorff、局部紧空间上上半连续C*-丛的截面。
• 通过关于哈尓系与模函数的积分，构造交叉积C*-代数与约化群胚C*-代数之间的具体实现双模。
• 应用Fubini定理与Borel可测性论证，验证诱导的酉表示在群胚上定义良好且可测。
• 通过构造希尔伯特丛上的表示与单位空间上L²的积分形式之间的酉等价，建立协变表示的分解定理（定理7.8），其形式类似于经典结果。
• 在C₀(X)-代数中使用近似单位元，以控制收敛性并确保群胚交叉积表示理论中的非退化性。
• 利用希尔伯特丛上酉表示(U, H)的积分形式，通过L²(G⁰ * H, μ)上的酉算子实现群胚C*-代数的作用。

实验结果

研究问题

• RQ1 如何将Renault的等价定理推广至非必然Hausdorff的局部Hausdorff、局部紧群胚？
• RQ2 在将上半连续C*-丛及其关联交叉积理论推广至非Hausdorff群胚时，会遇到哪些技术挑战？
• RQ3 如何在非Hausdorff情形下形式化并证明协变表示的分解定理？
• RQ4 近似单位元与Radon测度在非Hausdorff群胚交叉积的实现双模构造中扮演何种角色？
• RQ5 该理论如何支持对群胚Brauer半群的系统性处理？

主要发现

• 等价定理对满足第二可数性、局部Hausdorff、局部紧的群胚成立，其作用于上半连续C*-丛，将经典结果推广至非Hausdorff情形。
• 构造了协变表示的希尔伯特空间与L²(G⁰ * H, μ)之间的酉同构V，使表示L与酉表示U的积分形式相互交织。
• 证明依赖于一个分解定理（定理7.8），该定理在单位空间上以可测方式将表示分解为纤维，即使在非Hausdorff情形下也成立。
• 映射f ⊗ ζi ↦ Φ(u) := f ⊗ᵤ ζi 在L²(G⁰ * H, μ)中定义了一个行为良好的Borel截面，且关联映射V为等距算子且像稠密，因此为酉算子。
• 群胚C*-代数在L²(G⁰ * H, μ)上的作用通过酉表示的积分形式实现，模函数Δ(σ)⁻¹/²确保与哈尔系的相容性。
• 证明表明，映射σ ↦ (UσΦij(s(σ)) | Φkl(r(σ))) 在群胚上是Borel可测的，从而保证了表示的定义良好性与可测性。