[论文解读] Quantum symmetries and quantum isometries of compact metric spaces

Debashish Goswami|arXiv (Cornell University)|Nov 2, 2008

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

一句话总结

本文证明，任何具有忠实哈尓测度的紧致量子群若忠实作用于紧致度量空间，则必为卡克斯代数，这意味着其反演算子有界且满足κ² = id。本文引入了紧致度量空间上量子等距作用的广义概念，并证明了在某些度量空间类（包括有限空间和具有不变度量的紧致李群）中存在普遍的量子等距群。

ABSTRACT

We prove that a compact quantum group with faithful Haar state which has a faithful action on a compact space must be a Kac algebra, with bounded antipode and the square of the antipode being identity. The main tool in proving this is the theory of ergodic quantum group action on $C^*$ algebras. Using the above fact, we also formulate a definition of isometric action of a compact quantum group on a compact metric space, generalizing the definition given by Banica for finite metric spaces, and prove for certain special class of metric spaces the existence of the universal object in the category of those compact quantum groups which act isometrically and are `bigger' than the classical isometry group.

研究动机与目标

• 刻画在紧致度量空间上忠实作用的紧致量子群的结构，特别是识别其代数性质的必要条件。
• 将巴尼卡对有限度量空间的量子等距群定义推广至任意紧致度量空间。
• 证明在特定类别的紧致度量空间（包括有限空间和具有不变度量的紧致李群）上，存在一个作用于该空间的普遍紧致量子群，且其作用为等距。
• 证明当度量空间存在一个热核为距离函数的双射函数时，此类普遍量子等距群存在。
• 证明对于配备标准度量的n维环面𝕋ⁿ，其量子等距群与经典等距群C(ISO(𝕋ⁿ))一致。

提出的方法

• 利用C*-代数上遍历量子群作用的理论，分析作用于紧致度量空间的紧致量子群的结构。
• 应用卡克斯代数的模理论及一维乘性泛函族f_z，证明忠实作用意味着哈尓测度为迹态，从而量子群为卡克斯代数。
• 通过热核导出的正算子T，引入紧致度量空间上量子等距作用的新定义，推广巴尼卡在有限空间上的定义。
• 通过考虑L²(μ)上作用的交换子及相应的酉表示，构造在等距作用的紧致量子群范畴中的普遍对象。
• 将热半群T_t作为等距条件中的算子T，利用其谱性质及与度量d的关系。
• 利用如下事实：若热核k是距离d的双射函数，则对任意t > 0，算子T = T_t可生成保持度量结构的量子群作用。

实验结果

研究问题

• RQ1 紧致量子群在紧致度量空间上的忠实作用对其代数结构施加了何种代数约束？
• RQ2 如何将有限度量空间上的量子等距概念推广至任意紧致度量空间？
• RQ3 在何种条件下，存在一个普遍的紧致量子群，其作用于给定的紧致度量空间且为等距？
• RQ4 在何种条件下，紧致度量空间的量子等距群与经典等距群一致？
• RQ5 热核在刻画黎曼流形与齐性空间上的量子等距作用中起何种作用？

主要发现

• 任何具有忠实哈尓测度的紧致量子群，若其忠实作用于紧致度量空间，则必为卡克斯代数，其反演算子有界且满足κ² = id。
• 对于热核为距离函数的双射函数的紧致度量空间（包括有限度量空间和具有不变度量的紧致李群），普遍量子等距群的存在性已确立。
• 对于配备标准度量的n维环面𝕋ⁿ，其普遍量子等距群QISO(𝕋ⁿ, d)同构于C(ISO(𝕋ⁿ))，即经典等距群上的连续函数代数。
• 普遍对象的构造依赖于L²(μ)上酉表示的交换子，以及算子T与作用之间的互换条件。
• 在等距条件中，算子T可取为任意t > 0的热半群T_t，前提是热核为距离的双射函数。
• 证明表明，该作用可延拓为L²(μ)上的酉表示，且与T可交换，从而在该类作用的范畴中保证了普遍量子群的存在。