[论文解读] Cartan structure equations and Levi-Civita connection in braided geometry

Paolo Aschieri|arXiv (Cornell University)|Jun 4, 2020

Advanced Topics in Algebra被引用 8

一句话总结

该论文在具有三角 Hopf 代数作用的辫子交换代数上建立了非交换黎曼几何的框架，引入了使用左连接和右连接的新形式的 Cartan 结构方程与 Bianchi 恒等式。它证明了在不依赖于特定导子或双模连接的前提下，对任意辫子对称伪黎曼度量，Levi-Civita 连接的存在性与唯一性。

ABSTRACT

We study the differential and Riemannian geometry of algebras $A$ endowed with an action of a triangular Hopf algebra $H$ and noncomutativity compatible with the associated braiding. The modules of one forms and of braided derivations are modules in a compact closed category of $H$-modules $A$-bimodules, whose internal morphisms correspond to tensor fields. Different approaches to curvature and torsion are proven to be equivalent by extending the Cartan calculus to left (right) $A$-module connections. The Cartan structure equations and the Bianchi identities are derived. Existence and uniqueness of the Levi-Civita connection for arbitrary braided symmetric pseudo-Riemannian metrics is proven.

研究动机与目标

• 为具有三角 Hopf 代数作用与辫子交换性的代数发展一致的微分与黎曼几何。
• 通过在 A-双模上使用左连接与右连接，克服非交换几何中双模连接与中心受限度量的局限性。
• 在不假设 H-等变度量或特定导子的前提下，推导出辫子设定下的 Cartan 结构方程与 Bianchi 恒等式。
• 在缺乏未变形导子的情况下，通过 Koszul 型公式定义满足度量相容性与无挠性的连接。
• 在 H-模的辫子范畴中定义里奇张量、数量曲率与爱因斯坦空间，从而支持非交换广义相对论模型。

提出的方法

• 使用 H-模与 A-双模的紧致闭合范畴，将内同态定义为张量场。
• 在微分形式模上引入左连接与右连接，协变导数定义为右连接与内导数的复合。
• 推导辫子 Cartan 关系 $[ \nabla_u, \text{i}_v ] = \text{i}_{[u,v]}$，以统一曲率与挠率的表述。
• 利用范畴中的对偶性定义迹与曲率收缩，从而实现里奇张量与数量曲率的构造。
• 通过算子 $K_{\text{g}}$ 应用 Koszul 公式，从度量相容性与无挠性推导 Levi-Civita 连接。
• 利用度量与共评估映射的辫子对称性，证明所导连接的度量相容性与无挠性。

实验结果

研究问题

• RQ1 如何在辫子非交换几何中一致地表述 Cartan 结构方程与 Bianchi 恒等式？
• RQ2 对于任意辫子对称伪黎曼度量，是否可以在不依赖特定导子的前提下，唯一且存在性地定义 Levi-Civita 连接？
• RQ3 左连接与右连接在非交换设定下统一曲率与挠率中起什么作用？
• RQ4 如何在 H-模的紧致闭合范畴中代数地定义里奇张量与数量曲率？
• RQ5 能否在此框架中表述真空爱因斯坦方程？非交换爱因斯坦空间的条件是什么？

主要发现

• 对于有限生成投射模上的任意辫子对称伪黎曼度量，Levi-Civita 连接存在且唯一。
• 该连接既满足度量相容性也满足无挠性，其证明基于 Koszul 公式与辫子 Cartan 关系。
• 由于辫子 Cartan 微分法与对偶结构的存在，曲率张量与挠率张量在不同表述下等价。
• 里奇张量通过紧致闭合范畴中的共评估映射对黎曼曲率张量取迹而定义。
• 数量曲率通过将里奇张量与逆度量收缩得到，其中逆度量由配对诱导的同构定义。
• 非交换爱因斯坦空间定义为满足 $\text{Ric} = \lambda \langle \cdot, \mathsf{g} \rangle$ 的条件，将经典爱因斯坦方程推广至辫子设定。