[论文解读] On quantum maps into quantum semigroups

Piotr M. Sołtan|arXiv (Cornell University)|Oct 16, 2010

Advanced Operator Algebra Research参考文献 13被引用 10

一句话总结

本文通过证明这些家族是量子半群自由积的特例，解决了 M.M. Sadr 提出的关于映射到紧致量子半群的量子映射家族的开放问题。关键结果是，尽管此类量子家族继承了量子半群结构，但它们不一定会具备量子群结构——即使是从有限量子空间映射到经典有限群的情形也是如此。

ABSTRACT

We analyze the recent examples of quantum semigroups defined by M.M. Sadr who also brought up several open problems concerning these objects. These are defined as quantum families of maps from finite sets to a fixed compact quantum semigroup. We show that these are special cases of free products of quantum semigroups. This way we can answer all the questions stated by M.M. Sadr. Along the way we discuss the question whether restricting the comultiplication of a compact quantum group to a unital $\mathrm{C}^*$-subalgebra defines such a structure on the subalgebra. In the last section we show that the quantum family of all maps from a non-classical finite quantum space to a quantum group (even a finite classical group) might not admit any quantum group structure.

研究动机与目标

• 解决 M.M. Sadr 提出的关于映射到紧致量子半群的量子映射家族的开放问题。
• 研究从有限量子空间到量子群的量子映射家族是否能继承量子群结构。
• 确定在何种条件下，C*-代数上的紧致量子半群结构会限制到子代数上。
• 分析从有限维 C*-代数到紧致量子半群的映射量子空间的拓扑与代数结构。

提出的方法

• 利用量子映射家族的普遍性质，定义表示量子空间 $ \mathsf{Q}\text{-Map}(\mathscr{QS}(B), \mathscr{QS}(A)) $ 的 C*-代数 $ C $，其中 $ B $ 是有限维的，$ A $ 是单位元且有限生成的。
• 证明映射到紧致量子半群的量子家族作为量子半群的自由积出现，从而回答了 Sadr 的问题。
• 分析 $ C $ 上的共乘法 $ \Delta_C $，证明其共结合性，并通过满足特定 $ C^* $-代数关系的生成元 $ p, q, z $ 推导其结构。
• 对 $ C $ 使用特征分析，利用弱-*拓扑将 $ C $ 的谱 $ X $ 描述为一个 2-球面与两个孤立点的不相交并集。
• 应用拓扑障碍（非一致性、缺乏群作用）证明 $ X $ 无法支持拓扑群结构。
• 利用 $ \mathsf{Q}\text{-Map} $ 的普遍性质，定义一个典范态射 $ \pi: C \to A $，表明 $ \mathscr{QS}(A) $ 是 $ \mathscr{QS}(C) $ 的量子子半群。

实验结果

研究问题

• RQ1 从有限维 C*-代数 $ B $ 到紧致量子半群 $ A $ 的量子映射家族能否被描述为量子半群的自由积？
• RQ2 在何种条件下，$ \mathscr{QS}(C) $ 上的紧致量子半群结构会源自于映射到紧致量子半群的量子映射家族？
• RQ3 从非经典有限量子空间到量子群的量子映射家族是否必然具备量子群结构？
• RQ4 紧致量子群上的共乘法能否限制到一个单位元 C*-子代数上，从而在子代数上定义量子群结构？
• RQ5 表示从有限维代数到紧致量子半群的映射量子空间的 C*-代数 $ C $ 的谱的拓扑结构是什么？

主要发现

• 从有限维 C*-代数 $ B $ 到紧致量子半群 $ A $ 的量子映射家族同构于量子半群的自由积，从而解决了 Sadr 的开放问题。
• 表示量子映射空间的 C*-代数 $ C $ 的谱 $ X $ 同胚于一个 2-球面与两个孤立点的不相交并集。
• 拓扑空间 $ X $ 无法具备拓扑群结构，因为它缺乏一致拓扑，且不存在任何同胚将孤立点映射到球面上的点。
• 从非经典有限量子空间到有限经典群的量子映射家族无法具备量子群结构，这由其特征空间的非群状拓扑结构所证明。
• 即使 $ A $ 是紧致量子群，量子映射家族 $ \mathsf{Q}\text{-Map}(\mathscr{QS}(B), \mathscr{QS}(A)) $ 也不一定继承量子群结构。
• C 上的共乘法是共结合的，并由量子映射家族的普遍性质导出，其显式生成元 $ p, q, z $ 满足关系：$ p^*=p $，$ p=p^2+z^*z $，$ zp=(\mathbb{1}-q)z $，$ q^*=q $，$ q=q^2+zz^* $。