[论文解读] Fubini-Study metrics and Levi-Civita connections on quantum projective spaces

Marco Matassa|arXiv (Cornell University)|Oct 7, 2020

Black Holes and Theoretical Physics参考文献 18被引用 7

一句话总结

本文利用Heckenberger-Kolb微分扩张，在量子射影空间上引入了Fubini-Study度量与Levi-Civita联络的量子类比。定义了一个对称的量子度量，并构造了一个无挠、无余挠且为双模联络的联络，满足完整的度量相容性（∇g = 0），从而在量子设定下推广了经典Levi-Civita联络。

ABSTRACT

We introduce analogues of the Fubini-Study metrics and the corresponding Levi-Civita connections on quantum projective spaces. We define the quantum metrics as two-tensors, symmetric in the appropriate sense, in terms of the differential calculi introduced by Heckenberger and Kolb. We define connections on these calculi and show that they are torsion free and cotorsion free, where the latter condition uses the quantum metric and is a weaker notion of metric compatibility. Finally we show that these connections are bimodule connections and that the metric compatibility also holds in a stronger sense.

研究动机与目标

• 将经典黎曼几何中的概念——特别是Fubini-Study度量与Levi-Civita联络——推广至非交换的量子射影空间设定。
• 在Heckenberger-Kolb微分扩张中，将量子度量定义为一个对称的二阶张量，确保其可逆性并能恢复经典极限。
• 在余切丛上构造一个联络，使其无挠且无余挠，通过余挠条件这一较弱形式的度量相容性实现。
• 建立所构造的联络为双模联络，并满足强形式的度量相容性（∇g = 0），从而使其成为真正的量子Levi-Civita联络。
• 提供量子度量与联络的显式公式，以实现对经典极限的直接验证，并确保其与量子群对称性的相容性。

提出的方法

• 使用Heckenberger与Kolb引入的量子射影空间上的标准微分扩张Ω•，该扩张由自然条件唯一确定。
• 将量子度量g ∈ Ω⊗B Ω定义为一个满足可逆性条件的对称二阶张量，并具有明确定义的逆度量。
• 通过微分扩张中的显式代数关系构造联络∇: Ω → Ω⊗B Ω，确保其与量子群共作用相容。
• 通过标准代数定义施加无挠性，通过涉及量子度量g的较弱度量相容性条件施加无余挠性。
• 通过检查其与Ω上左B-模与右B-模结构的相容性，验证联络为双模联络。
• 通过条件∇g = 0验证强形式的度量相容性，利用表示论与范畴论恒等式验证结果。

实验结果

研究问题

• RQ1 能否在量子射影空间上，以Heckenberger-Kolb微分扩张中的对称、可逆二阶张量形式，定义出Fubini-Study度量的量子类比？
• RQ2 是否存在一个一阶微分扩张上的联络，其同时满足无挠与无余挠性，且余挠条件作为度量相容性的弱形式？
• RQ3 所构造的联络是否为双模联络，且是否满足强形式的度量相容性条件∇g = 0？
• RQ4 该量子联络在经典极限下如何简化？其是否能恢复经典Fubini-Study度量下的经典Levi-Civita联络？
• RQ5 在要求量子群共作用协变性的前提下，量子度量与联络是否唯一？

主要发现

• 对任意量子射影空间B，存在一个量子度量g ∈ Ω⊗B Ω，且在经典极限下其退化为标准的Fubini-Study度量。
• 存在一个联络∇: Ω → Ω⊗B Ω，其无挠且无余挠，在经典极限下其退化为余切丛上的Levi-Civita联络。
• 联络∇为双模联络，即其尊重Ω上左B-模与右B-模结构。
• 联络满足完整的度量相容性：∇g = 0，从而确认其为强形式下的量子Levi-Civita联络。
• 该构造是显式且自包含的，仅依赖于Heckenberger-Kolb微分扩张中的关系及一般范畴恒等式。
• 由表示理论可知，在协变性要求下，联络与量子度量的唯一性得以隐含，尽管仅凭对称性无法立即看出其与度量的相容性。