[论文解读] Quantum Isometry Groups: Examples and Computations

Debashish Goswami, Jyotishman Bhowmick|ArXiv.org|Jul 18, 2007

Advanced Operator Algebra Research参考文献 9被引用 5

一句话总结

本文明确定義了經典與非交換球面及環面的量子等距群，並確立了流形的等譜變形之量子等距群，為原流形之量子等距群的變形。論文證明 $ QISO(S^n_\theta) \cong O_\theta(n) $，將量子等距群與 $ \theta $-變形正交群連結起來。

ABSTRACT

In this follow-up of the article: Quantum Group of Isometries in Classical and Noncommutative Geometry(arXiv:0704.0041) by Goswami, where quantum isometry group of a noncommutative manifold has been defined, we explicitly compute such quantum groups for a number of classical as well as noncommutative manifolds including the spheres and the tori. It is also proved that the quantum isometry group of an isospectral deformation of a (classical or noncommutative) manifold is a suitable deformation of the quantum isometry group of the original (undeformed) manifold.

研究动机与目标

• 明確計算經典與非交換流形（包括球面與環面）的量子等距群。
• 建立量子等距群在等譜變形下的普遍原則。
• 證明變形流形的量子等距群為原量子等距群的變形。
• 探討非交換幾何中量子等距群的結構及其在譜三元組理論中的角色。

提出的方法

• 使用譜三元組框架，具備緊緻類型、$ QC^\infty $，以及由狄拉克算子 $ D $ 衍生的拉普拉斯算子 $ \mathcal{L} $。
• 透過在 $ \mathcal{L} $ 下不變與 $ \mathcal{A}^\infty_0 $ 的保持，定義緊緻量子群在非交換流形上的光滑且等距作用。
• 應用量子等距群的普遍性質，作為在光滑且等距作用之緊緻量子群類別中的普遍對象。
• 構造 $ C(O(n)) $ 的 $ \theta $-變形，記為 $ O_\theta(n) $，作為變形球面 $ S^n_\theta $ 的量子等距群。
• 使用 [4] 中的普遍對象構造，並在忠實的哈爾測度下證明 $ (QISO({\cal A}))_{\widetilde{J}} \cong QISO({\cal A}_J) $。
• 將結果應用於 $ C(\mathbb{T}^2) $ 與 $ S^n $ 的里夫林型變形，驗證一般定理的條件。

实验结果

研究问题

• RQ1 非交換環面 $ \mathbb{T}^2_\theta $ 的量子等距群為何？
• RQ2 流形的等譜變形下，量子等距群如何變換？
• RQ3 變形球面 $ S^n_\theta $ 的量子等距群是否同構於 $ O(n) $ 的 $ \theta $-變形？
• RQ4 能否將經典流形的量子等距群變形，以得到其非交換對應物的量子等距群？
• RQ5 是否存在一個連通且緊緻的流形，其 $ C^* $-代數量子等距群為非交換的？

主要发现

• 非交換環面 $ \mathbb{T}^2_\theta $ 的量子等距群同構於 $ C(\mathbb{T}^2) $ 的 $ \theta $-變形，與一般變形原則一致。
• 對於 $ n $-維球面 $ S^n $，有 $ QISO(S^n) \cong C(O(n)) $，即正交群上連續函數的代數。
• 對於 $ \theta $-變形球面 $ S^n_\theta $，有 $ QISO(S^n_\theta) \cong O_\theta(n) $，即 $ C(O(n)) $ 的 $ \theta $-變形。
• 譜三元組的等譜變形 $ \mathcal{A}_J $ 的量子等距群，同構於原量子等距群的 $ \theta $-變形：$ (QISO(\mathcal{A}))_{\widetilde{J}} \cong QISO(\mathcal{A}_J) $。
• 此結果在 $ QISO(\mathcal{A}) $ 上的哈爾測度為忠實的假設下成立，此條件在經典流形如 $ S^n $ 與 $ \mathbb{T}^2 $ 上已驗證。
• 本文未解決的問題是：是否存在某個連通且緊緻的流形，其 $ C^* $-代數量子等距群為非交換的。