[论文解读] Frame, cotangent and tangent bundles of the quantum plane

Piotr M. Hajac, Rainer Matthes|ArXiv.org|Mar 26, 1998

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

本文利用 $GL_{q,p}(2)$-协变微分微积分，为量子平面 $ackslash mathbbigackslash{C}^2_p$ 构造了量子标架、余切和切丛。通过要求微分微积分作为双模与量子余切丛的截面空间同构，作者定义了量子标架丛，并证明量子切丛自然对偶于微分微积分，从而建立了一致的非交换几何框架。

ABSTRACT

We construct a quantum frame bundle of the quantum plane $C^2_p$ by requiring that a $GL_{q,p}(2)$-covariant differential calculus on $C^2_p$ be isomorphic as a bimodule to the space of sections of the associated quantum cotangent bundle. We also construct the section space of the associated quantum tangent bundle, and show that it is naturally dual to the differential calculus.

研究动机与目标

• 通过构造量子标架、余切和切丛，为量子平面发展一个一致的非交换几何框架。
• 通过要求微分微积分作为双模同构于量子余切丛的截面空间，定义量子标架丛。
• 构造量子切丛的截面空间，并建立其与微分微积分的对偶性。
• 将经典微分几何中的概念——标架、余切和切丛——推广到量子平面的非交换设定中。
• 利用 $GL_{q,p}(2)$-协变性，为量子空间上的非交换微分几何提供基础。

提出的方法

• 构造始于在量子平面 $\mathbb{C}^2_p$ 上的 $GL_{q,p}(2)$-协变微分微积分。
• 量子余切丛被实现为与微分微积分同构的截面空间，后者被视为双模。
• 量子标架丛被定义为与其伴随向量丛为量子余切丛的主丛。
• 量子切丛被构造为微分微积分的对偶，其截面空间自然同构于对偶双模。
• 通过尊重 $GL_{q,p}(2)$-协变性的模同构，建立了微分微积分与量子切丛之间的对偶性。
• 该框架依赖于非交换代数技术，包括双模结构以及量子群作用下的协变性。

实验结果

研究问题

• RQ1 如何通过将微分微积分视为双模，一致地定义量子平面的量子标架丛？
• RQ2 当从 $GL_{q,p}(2)$-协变微分微积分导出时，量子余切丛的结构是什么？
• RQ3 在非交换设定中，量子切丛与微分微积分有何关系？
• RQ4 在此框架中，量子切丛能否自然地对偶于微分微积分？
• RQ5 $GL_{q,p}(2)$-协变性在确保量子标架、余切和切丛之间的一致性方面起什么作用？

主要发现

• 通过要求微分微积分作为双模同构于量子余切丛的截面空间，成功构造了量子标架丛。
• 量子余切丛的截面空间被识别为微分微积分，同时保持了 $GL_{q,p}(2)$-协变性。
• 量子切丛被构造为微分微积分的对偶，其截面空间自然同构于对偶双模。
• 证明了量子切丛自然对偶于微分微积分，从而建立了统一的非交换几何对偶性。
• 整个框架与 $GL_{q,p}(2)$-协变性一致，确保了所有丛之间对称性和兼容性。
• 结果为利用量子群对称性在量子空间上进行非交换微分几何研究提供了基础构造。