[论文解读] Rieffel deformation and twisted crossed products

Ingrid Beltiţă, M. Mantoiu|arXiv (Cornell University)|Aug 31, 2012

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

一句话总结

本文建立了在由对称形式扭曲的向量群作用下，Rieffel对$C^*$-代数的形变与相应的扭曲半直积代数之间的稳定同构。通过一个典范映射$M$，证明了扭曲半直积同构于Rieffel形变代数与紧算子代数的张量积，从而得出$K$-理论不变性与表示理论等价性。

ABSTRACT

To a continuous action of a vector group on a $C^*$-algebra, twisted by the imaginary exponential of a symplectic form, one associates a Rieffel deformed algebra as well as a twisted crossed product. We show that the second one is isomorphic to the tensor product of the first one with the $C^*$-algebra of compact operators in a separable Hilbert space and we indicate some applications.

研究动机与目标

• 建立Rieffel形变$C^*$-代数与由相同数据导出的扭曲半直积代数之间的精确同构。
• 证明通过与紧算子张量积，扭曲半直积与Rieffel形变之间存在稳定同构。
• 表明两个代数具有相同的本原理想空间、闭双侧理想与表示理论。
• 利用半直积技术，为Rieffel形变的$K$-群不变性提供新证明。
• 将框架扩展至交换$C^*$-代数，并探讨其在谱理论与调制空间中的应用。

提出的方法

• 从$C^*$-代数$\mathcal{A}$、向量群$\Xi$的连续作用$\Theta$，以及定义辛形式的反对称算子$J$出发，构造Rieffel形变代数$\mathfrak{A}$。
• 定义一个$2$-上循环$\kappa(X,Y) = \exp(-i/2 \cdot [X,Y])$，以形成$\mathcal{A}$上的扭曲作用$(\Theta, \kappa)$。
• 将扭曲半直积$\mathcal{A} \rtimes_\Theta^\kappa \Xi$构造为协变表示的普遍$C^*$-代数。
• 在Schwartz型函数的Fréchet子代数之间定义一个典范映射$M: \mathscr{K} \otimes \mathfrak{A} \to \mathcal{A} \rtimes_\Theta^\kappa \Xi$。
• 通过等距论证将$M$延拓为$C^*$-同构，从而证明$\mathscr{K} \otimes \mathfrak{A} \cong \mathcal{A} \rtimes_\Theta^\kappa \Xi$。
• 利用Connes的Thom同构与稳定性性质，推导出$K$-群不变性与核性保持性。

实验结果

研究问题

• RQ1 Rieffel形变代数$\mathfrak{A}$是否与扭曲半直积$\mathcal{A} \rtimes_\Theta^\kappa \Xi$稳定同构？
• RQ2 典范同构$M$在$\mathscr{K} \otimes \mathfrak{A}$与$\mathcal{A} \rtimes_\Theta^\kappa \Xi$之间的精确性质是什么？
• RQ3 稳定同构如何影响形变代数的$K$-理论？
• RQ4 当$\mathcal{A}$为交换代数时，对本原理想空间与表示理论有何影响？
• RQ5 在$\Theta$-不变测度下，典范映射$M$是否能在$L^2$-空间上实现为酉算子？

主要发现

• 扭曲半直积$\mathcal{A} \rtimes_\Theta^\kappa \Xi$与$\mathscr{K} \otimes \mathfrak{A}$*$-同构，其中$\mathfrak{A}$为Rieffel形变代数。
• 典范映射$M: \mathscr{K} \otimes \mathfrak{A} \to \mathcal{A} \rtimes_\Theta^\kappa \Xi$通过等距论证延拓为$C^*$-同构。
• $\mathfrak{A}$与$\mathcal{A}$的$K$-群同构，从而为Rieffel形变下的$K$-理论不变性提供了新证明。
• $\mathfrak{A}$与$\mathcal{A} \rtimes_\Theta^\kappa \Xi$的本原理想空间同胚，且其闭双侧理想一一对应。
• 当$\mathcal{A} = C_0(\Sigma)$为交换代数时，若作用自由，则$\mathfrak{C}(\Sigma)$的本原理想空间与拟轨道空间$Q^\Theta(\Sigma)$同胚。
• 在$\Theta$-不变测度$d\sigma$下，典范映射$M$可延拓为$L^2(\Xi \times \Sigma)$上的酉算子，满足$\langle \overline{M(F)}, M(G) \rangle = \langle \overline{F}, G \rangle$。