[论文解读] Involutive equivalence bimodules and inclusions of C*-algebras with Watatani index 2

Kazunori Kodaka, Tamotsu Teruya|ArXiv.org|Feb 7, 2006

Advanced Operator Algebra Research参考文献 8被引用 8

一句话总结

本文建立了具有 Watatani 指数 2 的单位 C*-代数包含与对合 A-A-等价双模之间的一一对应关系。证明了任意此类包含均源于一个对合等价双模，将 Goldman 对 II₁ 因子的定理推广至 C*-代数，并通过基本构造中 Jones 投影的 von Neumann 等价性，刻画了包含为扭曲半群积的条件。

ABSTRACT

Let A be a unital C*-algebra. We shall introduce involutive A-A-equivalence bimodules and prove that any C*-algebra containing A with Watatani index 2 is constructed by an involutive A-A-equivalence bimodule.

研究动机与目标

• 将 Goldman 对指数 2 子因子的定理推广至 C*-代数。
• 识别控制具有 Watatani 指数 2 的 C*-代数包含的结构不变量。
• 刻画此类包含在何种条件下同构于通过 2Z-内动力系统的扭曲半群积。
• 在较小代数上的对合等价双模与指数-2 包含之间建立一一对应关系。
• 分析将指数-2 包含表示为标准半群积的障碍，特别是在无理旋转 C*-代数中的情形。

提出的方法

• 利用 C*-基本构造和 Jones 投影的结构，引入对合 A-A-等价双模的概念。
• 使用 C*-基本构造 $ C^*\langle B, e_A \rangle $ 和对偶条件期望 $ \widetilde{E} $ 来分析包含 $ A \subset B $ 的结构。
• 利用条件 $ \text{Index} E = 2 $ 证明 $ (1 - e_A)C^*\langle B, e_A \rangle(1 - e_A) \cong A(1 - e_A) \cong A $，从而暗示自然的双模结构。
• 通过 $ x^\sharp = \begin{pmatrix} 0 & z^* \\ 0 & 0 \end{pmatrix} $ 对双模 $ X = e_{11}(A \otimes M_2(\mathbb{C}))e_{22} $ 定义一个对合，其中 $ x = \begin{pmatrix} 0 & z \\ 0 & 0 \end{pmatrix} $，推广了半群积情形。
• 构造一个单位元 $ U \in C^*\langle B, e_A \rangle $，满足 $ U^2 = 1 $ 且 $ UbU^* = 2E(b) - b $，从而诱导出 $ B $ 上的自同构 $ \beta $，其固定点代数为 $ A $。
• 利用 $ K_0 $-群计算和迹分析，区分 $ e_A \sim 1 - e_A $ 的情形，这在基本构造中刻画了扭曲半群积结构。

实验结果

研究问题

• RQ1 何种结构对象可分类具有 Watatani 指数 2 的 C*-代数包含？
• RQ2 Goldman 对 II₁ 因子的定理能否推广至具有指数 2 的 C*-代数？
• RQ3 在何种条件下，指数-2 包含同构于扭曲半群积？
• RQ4 在基本构造中，Jones 投影 $ e_A $ 何时与 $ 1 - e_A $ von Neumann 等价？
• RQ5 为何某些指数-2 包含（如 $ A_{2\theta} \subset A_\theta $）无法表示为标准半群积？

主要发现

• 任意具有条件期望指数 2 的单位 C*-代数包含 $ A \subset B $ 均源于一个对合 $ A $-$ A $-等价双模。
• 此类包含的同构类与对合 $ A $-$ A $-等价双模的同构类之间存在一一对应关系。
• 对于无理数 $ \theta $，包含 $ A_{2\theta} \subset A_\theta $ 不同构于任何 $ A_{2\theta} \rtimes_\beta \mathbb{Z}_2 $，其迹障碍为：$ \tau(A_\theta) = (\mathbb{Z} \cap \theta\mathbb{Z}) \cap (0,1) $，与 $ \tau(e) = 1/2 $ 矛盾。
• 在包含 $ C_\theta \subset A_\theta $ 中，Jones 投影 $ e $ 满足 $ [e] \not= [1 - e] $ 在 $ K_0(B_\theta) \cong \mathbb{Z}^6 $ 中，故 $ e \not\sim 1 - e $，表明其不是受限半群积。
• 包含 $ A \subset B $ 同构于扭曲半群积 $ A \rtimes_{\alpha/2\mathbb{Z}} \mathbb{Z} $ 当且仅当 $ e_A \sim 1 - e_A $ 在 $ C^*\langle B, e_A \rangle $ 中成立，此结论通过 $ K_0 $-群与迹分析得到证明。
• 对于指数 2，基本构造满足 $ (1 - e_A)C^*\langle B, e_A \rangle(1 - e_A) \cong A(1 - e_A) \cong A $，这使得双模结构与对合得以实现。