[论文解读] $C^*$-pseudo-Kac systems and duality for coactions of concrete Hopf $C^*$-bimodules

Thomas Timmermann|ArXiv.org|Sep 28, 2007

Algebraic structures and combinatorial models参考文献 12被引用 5

一句话总结

本文通过引入 $C^*$-伪-Kac 系统和约化交叉积，将 Baaj-Skandalis 对偶性推广至具体 Hopf $C^*$-双模的协作用。它建立了类似于 Baaj-Skandalis 对偶性的对偶定理，适用于与局部紧群胚相关的 Hopf $C^*$-双模的协作用，利用一个正规的 $C^*$-伪乘法单位酉算子和由模函数导出的对称单位酉算子。

ABSTRACT

We study coactions of concrete Hopf $C^{*}$-bimodules in the framework of (weak) $C^{*}$-pseudo-Kac systems, define reduced crossed products and dual coactions, and prove an analogue of Baaj-Skandalis duality.

研究动机与目标

• 将 Baaj-Skandalis 对偶性推广至具体 Hopf $C^*$-双模的协作用，这些双模是 Hopf $C^*$-代数的推广。
• 克服早期方法（如作者先前工作）中存在的限制性可分解性条件。
• 在 $C^*$-代数框架内而非 $C^*$-族框架内工作，从而简化基础假设。
• 为这类协作用构造约化交叉积和对偶协作用，从而建立对偶性框架。

提出的方法

• 引入弱 $C^*$-伪-Kac 系统作为定义约化交叉积的框架。
• 通过源自局部紧群胚的 $C^*$-伪乘法单位酉算子来定义具体 Hopf $C^*$-双模。
• 构造 $C^*$-代数在具体 Hopf $C^*$-双模上协作用的约化交叉积。
• 利用对偶 $C^*$-伪乘法单位酉算子在约化交叉积上定义对偶协作用。
• 利用由哈尔系的 Radon-Nikodym 导数导出的对称单位酉算子 $U$ 来建立对偶性。
• 证明两个对偶构造的复合会稳定原始协作用，类似于 Baaj-Skandalis 对偶性。

实验结果

研究问题

• RQ1 Baaj-Skandalis 对偶性能否被推广至具体 Hopf $C^*$-双模的协作用，而不仅仅是 Hopf $C^*$-代数？
• RQ2 对偶性理论如何在不依赖早期工作中存在的可分解性条件的情况下进行表述？
• RQ3 $C^*$-伪乘法单位酉算子在构造交叉积和对偶协作用中起什么作用？
• RQ4 由模函数导出的对称单位酉算子 $U$ 如何与对偶同构相关联？
• RQ5 能否为与局部紧群胚相关的 Hopf $C^*$-双模的协作用建立对偶性？

主要发现

• 从局部紧群胚构造 $C^*$-伪-Kac 系统是有效的，其中 $C^*$-伪乘法单位酉算子 $V$ 定义为 $(V\theta)(x,y) = \theta(x, x^{-1}y)$，作用于 $L^2(G^2_{s,r}, \nu^2_{s,r})$。
• 由 $(U\xi)(x) = \xi(x^{-1})D(x)^{-1/2}$ 定义的对称单位酉算子 $U$ 满足 $U^2 = \mathrm{id}$，因此它是一个真正的对称算子。
• 该 $C^*$-伪乘法单位酉算子 $V$ 的对偶 $\widehat{V}$ 满足 $\widehat{V} = V^{\mathrm{op}} = \Sigma V^* \Sigma$，从而确认了其正规性。
• 算子 $Z = \Sigma U_{[2]} V$ 满足 $Z^3 = \mathrm{id}$，这是 $C^*$-伪-Kac 系统的关键条件。
• 对偶构造在两次应用后会稳定原始协作用，从而推广了 Baaj-Skandalis 对偶性。
• 该框架避免了对可分解性的需求，且直接在 $C^*$-代数设定下工作，简化了早期方法。