[论文解读] Coactions of Hopf-$C^*$-algebras and equivariant $E$-theory

Radu Popescu|ArXiv.org|Oct 1, 2004

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

一句话总结

本文提出了一个用于霍普夫 $C^*$-代数协作用的等变 E-理论框架，将 Kasparov 的 KK-理论推广至非群对称性。该文在该设定下建立了 Baaj-Skandalis 对偶性，并证明了 Baaj 与 Skandalis 的等变 KK-理论的普遍性质，附录中还给出了 $S$-代数的等变 Brown-Green-Rieffel 稳定化定理。

ABSTRACT

We define and study an equivariant $E$-theory with respect to coactions of Hopf $C^*$-algebras; we prove the Baaj-Skandalis duality in this setting. We show that the corresponding equivariant $KK$-theory of Baaj and Skandalis enjoys an universal property. In the appendix, we look at the different ways of expressing equivariant stability for a functor, and prove an equivariant Brown-Green-Rieffel stabilization result.

研究动机与目标

• 将 E-理论推广至霍普夫 $C^*$-代数协作用的设定，将等变 $KK$-理论的框架从群作用推广至非群对称性。
• 在协作用的等变 E-理论背景下，建立 Baaj-Skandalis 对偶性同构。
• 证明 Baaj 与 Skandalis 的等变 $KK$-理论在此推广框架下满足一个普遍性质。
• 对等变稳定化提供全面处理，包括将 Brown-Green-Rieffel 定理推广至 $S$-代数。
• 阐明协作用背景下不同形式的等变稳定性的关系及其等价性。

提出的方法

• 通过渐近代数构造 $\mathfrak{A}A = C_b(T,A)/C_0(T,A)$，为 $S$-代数（其中 $S$ 为霍普夫 $C^*$-代数）定义等变渐近态射与 E-理论。
• 通过将渐近态射上延至 $\mathfrak{A}B$ 中的 $*$-同态，建立等变 E-理论的函子性框架。
• 证明 Baaj 与 Skandalis 的等变 $KK$-理论是满足适当等变稳定性与同伦不变性性质的函子中的普遍理论。
• 利用渐近代数形式化方法，定义并分析等变稳定性，尤其关注与紧算子代数 $\mathcal{K}$ 的张量积关系。
• 对于任意 $S$-代数 $(B, \delta_B)$，证明 $B \otimes \mathcal{K}$ 上存在相容的协作用 $\delta_{B \otimes \mathcal{K}}$，确保 Morita 等价在稳定化下保持不变。
• 证明外等价的协作用产生同构的等变函子，且通过 $\mathcal{K}$ 的稳定化保持等变性，从而形成一个稳定的理论。

实验结果

研究问题

• RQ1 如何将 E-理论推广至霍普夫 $C^*$-代数的协作用，从而扩展等变 $KK$-理论的框架？
• RQ2 Baaj-Skandalis 对偶性同构是否在协作用的等变 E-理论设定下依然成立？
• RQ3 在该推广设定下，什么普遍性质刻画了 Baaj 与 Skandalis 的等变 $KK$-理论？
• RQ4 在 $S$-代数背景下，不同形式的等变稳定性——Morita 等价、外等价以及通过 $\mathcal{K}$ 的稳定化——之间有何关系？
• RQ5 Brown-Green-Rieffel 稳定化定理能否推广至具有相容协作用的 $S$-代数？

主要发现

• 本文构建了一个明确定义的霍普夫 $C^*$-代数协作用的等变 E-理论，将 Connes-Higson 框架推广至非群对称性。
• 在等变 E-理论设定下建立了 Baaj-Skandalis 对偶性同构，表明对于适当的 $S$，有 $KK^S(A,B) \cong KK^{C^*_r(G)}(A\rtimes_r G, B\rtimes_r G)$。
• 证明了 Baaj 与 Skandalis 的等变 $KK$-理论满足一个普遍性质：它是所有满足稳定性、同伦不变性且与协作用结构相容的函子中的普遍理论。
• 证明了一个等变版本的 Brown-Green-Rieffel 稳定化定理：若 $(A,\delta_A)$ 与 $(B,\delta_B)$ 是 $S$-Morita 等价的，则 $A \otimes \mathcal{K}$ 与 $B \otimes \mathcal{K}$ 是具有相容协作用的 $S$-同构。
• 本文证明了通过 $\mathcal{K}$ 的稳定化、Morita 等价与外等价在等变设定下均给出等价的稳定性概念。
• 对于群作用，一个函子 $F$ 是稳定的当且仅当 $F(A,\alpha) \simeq F(A \otimes \mathcal{K}_G, \alpha \otimes \lambda_G)$，表明通过 $\mathcal{K}_G$ 的稳定化捕捉了本质的稳定性条件。