[论文解读] The C*-algebra of symmetric words in two universal unitaries

Man-Duen Choi, Frédéric Latrémolière|arXiv (Cornell University)|Oct 16, 2006

Advanced Algebra and Logic参考文献 6被引用 4

一句话总结

本文计算了两个通用酉矩阵生成的自由群 F₂ 的 Z₂ 作用下交换生成元的对称词 C*-代数的 K-理论，该作用的不动点代数即为该对称代数。利用 Rieffel 的不动点代数与半直积之间的 Morita 等价性，以及 K-理论中的六项精确序列，作者确定 K₀ 群同构于 Z ⊕ Z，K₁ 群为平凡，揭示了对称代数中非平凡酉矩阵存在的结构性障碍。

ABSTRACT

We compute the K-theory of the C*-algebra of symmetric words in two universal unitaries. This algebra is the fixed point C*-algebra for the order-two automorphism of the full C*-algebra of the free group on two generators which switches the generators. Our calculations relate the K -theory of this C*-algebra to the K-theory of the associated C*-crossed-product by Z_2.

研究动机与目标

• 计算由自由群 F₂ 的生成元在 Z₂ 作用下交换的两个通用酉矩阵生成的对称词 C*-代数的 K-理论。
• 建立该不动点代数与 C*(F₂) ⋊σ Z₂ 中一个理想之间的 Morita 等价性。
• 通过比较不动点代数及其理想中的 K-理论类，分析对称 C*-代数中非平凡酉矩阵存在的障碍。
• 利用 K-理论中的六项精确序列，从半直积的 K-群推导出对称代数的 K-群。

提出的方法

• 利用 Rieffel 对有限群作用下的不动点代数与 C*-半直积之间的 Morita 等价性。
• 在半直积 C*(F₂) ⋊σ Z₂ 中构造一个理想 J，使其与不动点代数 C*(F₂)₁ 强 Morita 等价。
• 利用 Cuntz 对 C*(F₂) ⋊σ Z₂ 的 K-理论计算结果，确定其 K₀ 和 K₁ 群。
• 应用 K-理论中的六项精确序列，通过理想 J 将半直积的 K-理论与不动点代数的 K-理论联系起来。
• 在 M₂(C*(F₂)₁) 中定义一个酉矩阵 Y，实现投影 p₂ 与理想中投影 β 之间的酉等价，表明 K₀ 类的差异非平凡。
• 利用 K-理论精确序列中的指数映射，证明差 [β] - [p₂] 生成了理想的 K₀，从而确立障碍的非平凡性。

实验结果

研究问题

• RQ1 由自由群 F₂ 生成的两个通用酉矩阵的对称词 C*-代数的 K-理论是什么？
• RQ2 不动点代数 C*(F₂)₁ 的 K-理论与半直积 C*(F₂) ⋊σ Z₂ 的 K-理论有何关系？
• RQ3 对称 C*-代数中非平凡酉矩阵存在的障碍是什么？它在 K-理论中如何编码？
• RQ4 理想中投影 β 与 p₂ 的 K-理论类之差是否非平凡？
• RQ5 能否通过与半直积的 Morita 等价性，利用六项精确序列计算 C*(F₂)₁ 的 K-理论？

主要发现

• 两个通用酉矩阵的对称词 C*-代数的 K₀ 群同构于 Z ⊕ Z。
• 该代数的 K₁ 群为平凡，即 K₁(C*(F₂)₁) = 0。
• 半直积 C*(F₂) ⋊σ Z₂ 中的理想 J 与 C*(F₂)₁ 强 Morita 等价，从而支持了 K-理论的计算。
• 理想 I₁ 中 K₀ 的差 [β] - [p₂] 是一个非平凡生成元，证明了在 C*(F₂)₁ 中 β 与 p₂ 不是酉等价的。
• K-理论精确序列中的指数映射将生成元 [z] ∈ K₁(C(T)) 映射到 [β] - [p₂]，确认了障碍的非平凡性。
• 尽管其理想中存在非平凡的 K₀ 类，对称代数 C*(F₂)₁ 在 K₁ 中不包含非平凡酉矩阵，因为 K₁ 群为零。