[论文解读] Renault's Equivalence Theorem for Reduced Groupoid C*-algebras

Aidan Sims, Dana P. Williams|arXiv (Cornell University)|Feb 16, 2010

Advanced Operator Algebra Research参考文献 9被引用 26

一句话总结

本文通過連結群叢構造與相容的哈爾系統，證明了等價群叢的約化群叢C*-代數彼此莫蒂亞等價。它進一步證明，里夫爾對應保持了到約化代數的典型滿射的核，從而確保了全代數與約化代數等價定理之間的相容性。

ABSTRACT

We use the technology of linking groupoids to show that equivalent groupoids have Morita equivalent reduced C*-algebras. This equivalence is compatible in a natural way in with the Equivalence Theorem for full groupoid C*-algebras.

研究动机与目标

• 提供一個嚴謹的證明，表明等價群叢具有莫蒂亞等價的約化C*-代數，此結果雖廣泛被假設，但尚未在文獻中正式建立。
• 展示約化代數的莫蒂亞等價與全群叢C*-代數的經典等價定理及里夫爾誘導之間的相容性。
• 在群叢等價的連結群叢上構造一個哈爾系統，從而使連結群叢的全C*-代數得以形成。
• 澄清約化代數的證明無需使用分解定理，使其比全代數情形更為初等。
• 澄清文獻中關於分解定理適用條件的模糊之處，特別是關於可分性假設的問題。

提出的方法

• 利用與$ (G,H) $-等價$ Z $相關的連結群叢$ L $，將$ G $、$ H $與$ Z $統一為單一的群叢結構。
• 從$ G $與$ H $的哈爾系統構造$ L $上的哈爾系統，確保$ C^*(L) $定義良好，且同構於偽等價雙模$ extsf{X} $的連結代數$ L( extsf{X}) $。
• 證明約化C*-代數$ C^*_{r}(L) $同構於約化雙模$ extsf{X}_r $的連結代數，其中$ extsf{X}_r $是$ extsf{X} $的商模。
• 應用里夫爾的誘導表示與莫蒂亞等價理論，證明$ C^*(H) \to C^*_{r}(H) $的滿射核與$ C^*(G) \to C^*_{r}(G) $的核在里夫爾對應下對應。
• 展示約化代數的莫蒂亞等價無需使用雷瑙的分解定理，僅依賴於連結群叢及其哈爾系統的結構即可建立。
• 澄清可分性並非預表示有界性的必要條件；考慮循環子空間已足夠，即使全空間不可分，其循環子空間仍為可分。

实验结果

研究问题

• RQ1 全群叢C*-代數之間的莫蒂亞等價是否可推廣至其約化對應？
• RQ2 當原群叢具有哈爾系統時，連結群叢構造是否可配備哈爾系統？
• RQ3 里夫爾對應在表示之間是否與到約化代數的典型滿射相容？
• RQ4 能否在不依賴分解定理的情況下證明約化群叢C*-代數的等價定理？
• RQ5 分解定理適用的最小條件為何，特別是關於希爾伯特空間可分性的問題？

主要发现

• 若$ G $與$ H $具有哈爾系統，則$ (G,H) $-等價的連結群叢$ L $亦具有哈爾系統，且$ C^*(L) $同構於偽等價雙模$ extsf{X} $的連結代數$ L( extsf{X}) $。
• 約化C*-代數$ C^*_{r}(G) $與$ C^*_{r}(H) $透過雙模$ extsf{X} $的商模$ extsf{X}_r $（即$ C_c(Z) $的完備化）實現莫蒂亞等價。
• 里夫爾對應將$ C^*(G) \to C^*_{r}(G) $的核$ I_{C^*_{r}(G)} $映射至$ C^*(H) \to C^*_{r}(H) $的核$ I_{C^*_{r}(H)} $，確保與約化代數結構的一致性。
• 若$ C^*(H) $的表示$ \rho $可分解為$ C^*_{r}(H) $，則誘導表示$ \textsf{X}\text{-}\text{Ind}\rho $亦可分解為$ C^*_{r}(G) $，確認誘導下的一致性。
• 約化等價定理的證明無需使用分解定理，使其比全代數情形更為初等。
• 分解定理中的可分性假設對預表示的有界性並非必要；僅考慮循環子空間已足夠，即使全空間不可分，其循環子空間仍為可分。