[论文解读] Noncommutative Borsuk-Ulam-type conjectures revisited

Ludwik Dąbrowski, Piotr M. Hajac+1 more|arXiv (Cornell University)|Nov 13, 2016

Advanced Operator Algebra Research被引用 2

一句话总结

本文证明了具有非平凡扭子群或非平凡 K1-类的紧致量子群的非交换 Borsuk-Ulam 型猜想。它建立了从 A 或 H 到等变非交换连积代数 A⊛δH 的等变 ∗-同态不存在，从而推广了经典 Borsuk-Ulam 定理。关键结果是通过 Mayer-Vietoris 序列以及量子群和群 C*-代数的 K-理论证明的 K-理论障碍，表明相关投影模不是稳定自由的。

ABSTRACT

Let $H$ be the C*-algebra of a non-trivial compact quantum group acting freely on a unital C*-algebra $A$. It was recently conjectured that there does not exist an equivariant $*$-homomorphism from $A$ (type-I case) or $H$ (type-II case) to the equivariant noncommutative join C*-algebra $A\circledast^\delta H$. When $A$ is the C*-algebra of functions on a sphere, and $H$ is the C*-algebra of functions on ${\mathbb Z}/2{\mathbb Z}$ acting antipodally on the sphere, then the conjecture of type I becomes the celebrated Borsuk-Ulam theorem. Following recent work of Passer, we prove the conjecture of type I for compact quantum groups admitting a non-trivial torsion character. Next, we prove that, if a compact quantum group admits a representation whose \mbox{$K_1$-class} is non-trivial and $A$ admits a character, then a stronger version of the type-II conjecture holds: the finitely generated projective module associated with $A\circledast^\delta H$ via this representation is not stably free. In particular, we apply this result to the $q$-deformations of compact connected semisimple Lie groups and to the reduced group C*-algebras of free groups on $n>1$ generators.

研究动机与目标

• 解决紧致量子群在单位 C*-代数上自由作用时的非交换 Borsuk-Ulam 猜想 I 型和 II 型问题。
• 通过量子群作用和等变非交换连积，将经典 Borsuk-Ulam 定理推广至非交换设定。
• 建立与非交换连积构造相关的投影模非稳定自由性的 K-理论障碍。
• 证明 q-变形的紧致连通半单李群和自由群在 n > 1 个生成元下的约化群 C*-代数的猜想。
• 通过表示的 K1-类，提供 II 型猜想的更强版本。

提出的方法

• 使用 C*-代数的非约化悬垂的 Mayer-Vietoris 正合序列，关联 K0 和 K1 群。
• 应用悬垂的上积图以定义 K-理论中的短正合序列，从而分析稳定自由性。
• 利用同构 β: ˜K0(SG) → K1(G)，将表示的 K1-类与相关模的非平凡性联系起来。
• 证明：若表示矩阵的 K1-类非零，则 A⊛δH 上的关联模不是稳定自由的。
• 利用 q > 0 时 C(Gq) 上的连续场结构，证明 K1-类在形变下保持不变，从而保持非平凡性。
• 将结果应用于 C*(Fn)（n > 1），其中生成元具有非平凡 K1-类，以验证群 C*-代数情形下的猜想。

实验结果

研究问题

• RQ1 当紧致量子群自由作用于单位 C*-代数 A 时，是否存在从 A 到等变非交换连积 A⊛δH 的等变 ∗-同态？
• RQ2 对于具有非平凡扭子群特征的紧致量子群，是否可证明非交换 Borsuk-Ulam 猜想 I 型？
• RQ3 在何种条件下，与 A⊛δH 关联的有限生成投影模不是稳定自由的？
• RQ4 表示矩阵的 K1-类在紧致连通半单李群的 q-形变下是否保持非零？
• RQ5 当量子群具有非平凡 K1-类时，是否可将 II 型猜想强化为 K-理论障碍？

主要发现

• 对于具有非平凡扭子群特征的紧致量子群，非交换 Borsuk-Ulam 猜想 I 型成立。
• 对于任意具有非平凡 K1-类的紧致量子群，以及任一具有特征的单位 C*-代数 A，A⊛δH 上的关联模不是稳定自由的。
• 在紧致连通半单李群的 q-形变下，表示矩阵的 K1-类保持非零，从而确保关联模的非稳定自由性。
• 在自由群在 n > 1 个生成元下的约化 C*-代数上，由于群生成元具有非平凡 K1-类，猜想成立。
• C(Gq) 的 K-理论同构于经典群 G 的 K-理论，且在形变下 K1-类的非平凡性得以保持。
• 通过 Mayer-Vietoris 序列，本文证明：若 [U] ≠ 0 在 K1(A) 中，则 [pU] 不属于 Z[1]，从而表明关联模的非稳定自由性。