[论文解读] Proper actions, fixed-point algebras and naturality in nonabelian duality

S. Kaliszewski, John Quigg+1 more|ArXiv.org|Dec 30, 2007

Advanced Operator Algebra Research参考文献 17被引用 4

一句话总结

本文通過證明 Rieffel 的廣義固定點代數在非交換對偶性中的函子性與自然性，建立了一個函子性且自然的框架。具體而言，證明了映射 $(A,\alpha) \mapsto A^\alpha$ 在以 $(C_0(X), \gamma)$ 為基的 $C^*$-動力系統的 comma category 上定義了一個良定義的函子。關鍵貢獻在於證明 Rieffel 的 $A^\alpha$ 與約化交叉積 $A \times_{\alpha,r} G$ 之間的 Morita 等價是自然的，進而導出 Landstad 對偶性與 Mansfield 迷向性的范畴化表述。

ABSTRACT

Suppose a locally compact group G acts freely and properly on a locally compact Hausdorff space X, and let gamma be the induced action on C_0(X). We consider a category in which the objects are C*-dynamical systems (A, G, alpha) for which there is an equivariant homomorphism of (C_0(X), gamma) into the multiplier algebra M(A). Rieffel has shown that such systems are proper and saturated, and hence have a generalized fixed-point algebra A^alpha which is Morita equivalent to A times_{alpha,r} G. We show that the assignment (A, alpha) maps to A^alpha is functorial, and that Rieffel's Morita equivalence is natural in a suitable sense. We then use our results to prove a categorical version of Landstad duality which characterizes crossed products by coactions, and to prove that Mansfield imprimitivity for crossed products by homogeneous spaces is natural.

研究动机与目标

• 在適當且飽和作用的背景下，為 Rieffel 的廣義固定點代數建立函子結構。
• 證明 Rieffel 的固定點代數與約化交叉積之間的 Morita 等價在範疇論意義下是自然的。
• 利用 comma category 結構，對共作用的 Landstad 對偶性提供範疇論的重述。
• 證明 Mansfield 對齊次空間的迷向定理中，Morita 等價在此框架下亦為自然的。
• 透過將現有結果嵌入具有自然變換的範疇框架中，統一並推廣非交換對偶性中的相關成果。

提出的方法

• 作者定義了以系統 $(C_0(X), \gamma)$ 為基的 comma category，其中 $G$ 在局部緊 Hausdorff 空間 $X$ 上自由且適當作用，並考慮那些存在從 $(C_0(X), \gamma)$ 到 $M(A)$ 的等變同態的 $C^*$-動力系統 $(A, \alpha)$。
• 他們在稠密 $^*$-子代數 $\operatorname{span} C_c(X) A C_c(X)$ 上構造了一個平均化過程 $E$，其像生成廣義固定點代數 $\operatorname{Fix}(A, \alpha, \phi)$。
• 他們證明 $\operatorname{Fix}$ 可擴展為從 comma category 到 $C^*$-代數範疇的函子，將每個系統映射至其廣義固定點代數。
• 他們建立當 $X$ 上的作用為自由時，$A^\alpha$ 與 $A \times_{\alpha,r} G$ 之間的 Rieffel Morita 等價，是固定點函子與約化交叉積函子之間的自然變換。
• 他們應用此框架推導出 Landstad 對偶性的範疇版本，將共作用的交叉積特徵化為 $(C_0(G), \text{rt})$ 上 comma category 中的系統，並證明 Mansfield 迷向性在齊次空間上的自然性。
• 他們運用 coaction 理論中的技術工具，包括歸一化與簡化函子，連結全與約化共作用，並建立交叉積函子之間的自然同構。

实验结果

研究问题

• RQ1 Rieffel 的廣義固定點代數構造在配備從 $(C_0(X), \gamma)$ 到 $(C_0(X), \gamma)$ 的等變映射之 $C^*$-動力系統的 comma category 中是否具有函子性？
• RQ2 能否在範疇論意義下證明固定點代數與約化交叉積之間的 Morita 等價是自然的？
• RQ3 能否利用 comma category 結構，以範疇論方式重述共作用的 Landstad 對偶性？
• RQ4 Mansfield 迷向定理中針對齊次空間的 Morita 等價是否在此框架下自然實現？
• RQ5 coaction 上的簡化與歸一化函子是否保持交叉積構造的自然性？

主要发现

• 映射 $(A, \alpha) \mapsto A^\alpha$ 定義了從 comma category $(C_0(X), \gamma) \downarrow \mathcal{A}(G)$ 到 $C^*$-代數範疇的函子。
• 當 $G$ 在 $X$ 上自由作用時，$A^\alpha$ 與 $A \times_{\alpha,r} G$ 之間的 Rieffel Morita 等價，是固定點函子與約化交叉積函子之間的自然變換。
• 建立了 Landstad 對偶性的範疇版本：共作用的交叉積恰好是 $(C_0(G), \text{rt})$ 上 comma category 中的系統，從而為此類系統提供了新的特徵化。
• Mansfield 迷向定理中針對齊次空間的 Morita 等價被證明是自然的，並擴展了以往針對商群的結果。
• 全共作用上的歸一化函子與交叉積函子相容，且 $\textup{CP}^n \circ \textup{Nor}$ 與 $\textup{CP}^m$ 之間存在自然同構，確認了不同類型共作用之間的一致性。
• 本研究提供了一個統一的範疇論框架，強化了對非交換對偶性的理解，特別是在對偶函子與自然變換方面的應用。