[论文解读] Deformation of finite dimensional C*-quantum groupoids

Jean-Michel Vallin|arXiv (Cornell University)|Oct 17, 2003

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

一句话总结

该论文证明，任何有限维C*-量子群胚均可通过其Cartan子代数中的酉元进行形变，使得对偶映射的平方在基代数上成为恒等映射。此外，当Cartan子代数非交换时，存在不可数无穷多个非同构的C*-量子群胚，其具有相同的底层C*-代数结构，从而揭示了与典范元素谱数据相关的同构不变量下丰富的形变空间。

ABSTRACT

In this work we prove, in full details, that any finite dimensional $C^*$-quantum groupoid can be deformed in order that the square of the antipode is the identity on the base. We also prove that for any $C^*$-quantum groupoid with non abelian base, there is uncountably many $C^*$-quantum groupoids with the same underlying algebra structure but which are not isomorphic to it. In fact, the $C^*$-quantum groupoids are closed in an analog of the procedure presented by D.Nikshych ([N] 3.7) in a more general situation.

研究动机与目标

• 构建一种有限维C*-量子群胚的形变程序，使得对偶映射在Cartan子代数上为对合。
• 研究具有同构底层C*-代数但不同余乘法与对偶结构的C*-量子群胚的同构类结构。
• 确定当Cartan子代数为非交换时，是否存在不可数无穷多个同构于给定C*-代数的非同构C*-量子群胚。
• 将子因子与乘法部分等距算子背景下的已知形变技术推广至C*-量子群胚。
• 建立同构类的谱不变量——特别是典范元素的谱——作为形变后C*-量子群胚同构类的内在基础。

提出的方法

• 通过Cartan子代数 $ A_t $ 中的酉元 $ k $ 的共轭实现形变，修改余乘法为 $ Δ_k(x) = Δ(x)(1 \otimes k^{-1}) $。
• 对偶映射 $ \kappa_k $ 定义为 $ \kappa_k(x) = k \kappa(x) k^{-1} $，而余元 $ \epsilon_k $ 通过 $ \epsilon_k(x) = \epsilon(xk) $ 调整，从而保持C*-量子群胚公理。
• 原始结构相关的典范元素 $ q $ 在形变系统中被替换为 $ k^{-1}q $，该元素成为同构下的关键不变量。
• 证明依赖于在 $ N^o \otimes N $ 中构造一个分离元素 $ e $，其为满足 $ e(a^o \otimes 1) = e(1 \otimes a) $ 的正交投影，并利用其性质定义形变。
• 形变保持Cartan子代数结构，确保底层C*-代数不变，同时改变余乘法与对偶映射。
• 同构类由 $ k^{-1}q $ 的谱决定，且由于 $ k $ 可从不可数多个不在中心的元素中选取，因此产生不可数多个非同构结构。

实验结果

研究问题

• RQ1 是否每个有限维C*-量子群胚均可形变，使得对偶映射的平方在Cartan子代数上为恒等映射？
• RQ2 对于具有非交换Cartan子代数的C*-量子群胚，是否存在不可数多个非同构的C*-量子群胚，其具有相同的底层C*-代数？
• RQ3 $ k^{-1}q $ 的谱是否为形变后C*-量子群胚同构类的不变量？
• RQ4 该形变程序是否在改变对偶映射在基代数上行为的同时，保持C*-量子群胚公理？
• RQ5 是否可利用Cartan子代数中的酉元构造形变，使得新余乘法与对偶映射满足所需的代数恒等式？

主要发现

• 任何有限维C*-量子群胚均可通过形变程序实现，使得对偶映射的平方在Cartan子代数上为恒等映射，当在形变过程中取 $ k = q $ 时即可达成。
• 当Cartan子代数为非交换时，存在不可数多个非同构的C*-量子群胚，其具有相同的底层C*-代数结构，原因在于 $ k $ 的不可数多个选择可产生 $ k^{-1}q $ 的不同谱。
• $ k^{-1}q $ 的谱是形变后C*-量子群胚同构类的不变量，从而可用于区分非同构结构。
• 该形变保持底层C*-代数与Cartan子代数不变，通过酉元 $ k $ 的共轭改变余乘法与对偶映射，确保新结构仍为C*-量子群胚。
• 该构造自包含且推广了Nikshych在更专门设定下的程序，确认了此类形变下的封闭性。
• 典范元素 $ e \in N^o \otimes N $，定义为 $ \sum_\gamma \sum_{i,j} \frac{1}{n_\gamma} e^\gamma_{i,j}^o \otimes e^\gamma_{j,i} $，在定义分离结构与实现形变中起核心作用。