[论文解读] Takai Duality for Crossed Products by Hilbert C*-bimodules

Beatriz Abadie|ArXiv.org|Sep 7, 2007

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

一句话总结

本文建立了希尔伯特 C*-双模上交叉积的非交换对偶性版本，推广了塔卡伊对偶性。当双模为莫里塔等价时，通过圆群及其对偶作用的双重交叉积与原始 C*-代数莫里塔等价。关键构造将双重交叉积识别为一个分次希尔伯特模上的紧算子代数，从而将经典对偶性推广至希尔伯特双模设定。

ABSTRACT

We discuss the crossed product by the dual action of the circle on the crossed product of a C*-algebra A by a Hilbert C*-bimodule X. When X is an A-A Morita equivalence bimodule, the double crossed product is shown to be Morita equivalent to the C*-algebra A.

研究动机与目标

• 将塔卡伊对偶性推广至希尔伯特 C*-双模上的交叉积，推广经典群作用对偶性。
• 研究当 $ X $ 为 $ A\!\text{-}A $ 莫里塔等价双模时，双重交叉积 $ (A\rtimes X)\rtimes_\delta S^1 $ 的结构。
• 建立双重交叉积与分次希尔伯特模 $ E_X $ 上紧算子代数之间的同构，从而证明其与 $ A $ 的莫里塔等价。

提出的方法

• 通过希尔伯特双模 $ (A,X) $ 的表示，利用普遍性质，将交叉积 $ A\rtimes X $ 构造为由其生成的普遍 C*-代数。
• 定义 $ S^1 $ 在 $ A\rtimes X $ 上的对偶作用 $ \delta $，其在谱子空间 $ i_X(X) $ 上作用为乘以 $ \lambda \in S^1 $，而 $ i_A(A) $ 固定不变。
• 将双重交叉积 $ (A\rtimes X)\rtimes_\delta S^1 $ 表示为分次希尔伯特模 $ E_X = \bigoplus_{n\in\mathbb{Z}} X^{\otimes n} $ 上的有界可伴算子代数。
• 证明当 $ X $ 为全莫里塔等价双模时，此表示满射于 $ \mathcal{K}(E_X) $，即 $ E_X $ 上的紧算子代数。
• 利用交叉积的函子性及诱导表示的存在性，将对偶作用与 $ \mathcal{K}(E_X) $ 上由移位自同构诱导的 $ \mathbb{Z} $-作用联系起来。
• 将 $ \mathcal{K}(E_X) $ 上的双对偶作用识别为自同构 $ \sigma $，其定义为 $ \sigma(L^n_a) = L^{n-1}_a $ 与 $ \sigma(T^n_x) = T^{n-1}_x $，与经典塔卡伊对偶性框架一致。

实验结果

研究问题

• RQ1 塔卡伊对偶性是否适用于希尔伯特 C*-双模上的交叉积，特别是当双模为莫里塔等价时？
• RQ2 双重交叉积 $ (A\rtimes X)\rtimes_\delta S^1 $ 是否可实现为某个分次希尔伯特模上的 C*-代数？
• RQ3 双对偶作用在双重交叉积上的结构是什么？其与原始代数 $ A $ 的关系如何？
• RQ4 希尔伯特双模结构如何导致 $ A $ 与 $ (A\rtimes X)\rtimes_\delta S^1 $ 之间的莫里塔等价？
• RQ5 是否存在 $ (A\rtimes X)\rtimes_\delta S^1 $ 与 $ \mathcal{K}(E_X) $ 之间的典范同构？其在 $ \mathcal{K}(E_X) $ 上的诱导作用为何？

主要发现

• 当 $ X $ 为 $ A\!\text{-}A $ 莫里塔等价双模时，双重交叉积 $ (A\rtimes X)\rtimes_\delta S^1 $ 同构于分次希尔伯特模 $ E_X = \bigoplus_{n\in\mathbb{Z}} X^{\otimes n} $ 上的紧算子代数 $ \mathcal{K}(E_X) $。
• 此同构将双对偶作用 $ \hat{\delta} $ 识别为 $ \mathcal{K}(E_X) $ 上的自同构 $ \sigma $，其定义为 $ \sigma(L^n_a) = L^{n-1}_a $ 与 $ \sigma(T^n_x) = T^{n-1}_x $，与经典塔卡伊对偶性框架一致。
• 希尔伯特模 $ E_X $ 是 $ \mathcal{K}(E_X) $ 与 $ A $ 之间的莫里塔等价双模，因此 $ (A\rtimes X)\rtimes_\delta S^1 $ 与 $ A $ 莫里塔等价。
• 在 $ E_X $ 上的表示 $ \pi $ 满射于 $ \mathcal{K}(E_X) $，且其像包含所有秩一算子 $ \theta_{\eta,\xi} $，确认了作用的全性。
• 当 $ X $ 为全双模时，算子 $ T^n_x $ 与 $ L^n_a $ 为紧算子，确保 $ \pi $ 的像位于 $ \mathcal{K}(E_X) $ 内，且由 $ X^{\otimes n} $ 的全性可推出满射性。
• 在特殊情形下，若 $ X = A_\alpha $ 对某个自同构 $ \alpha $，则同构将 $ \mathcal{K}(E_X) $ 识别为 $ \mathcal{K} \otimes A $，且自同构 $ \sigma $ 变为 $ \mathrm{Ad}(\rho \otimes \alpha) $，从而恢复经典塔卡伊对偶性。