[论文解读] Connections on central bimodules

Michel Dubois‐Violette, Peter W. Michor|arXiv (Cornell University)|Mar 31, 1995

Advanced Topics in Algebra参考文献 12被引用 63

一句话总结

本文引入了非交换代数上中心双模的基于导子的联络，推广了非交换设置下的线性联络与伪黎曼几何。通过导子和外导子，建立了微分形式、联络与度量的框架，并在非退化与实性条件下证明了Levi-Civita联络的唯一性。

ABSTRACT

We define and study the theory of derivation-based connections on a recently introduced class of bimodules over an algebra which reduces to the category of modules whenever the algebra is commutative. This theory contains, in particular, a noncommutative generalization of linear connections. We also discuss the different noncommutative versions of differential forms based on derivations. Then we investigate reality conditions and a noncommutative generalization of pseudo-riemannian structures.

研究动机与目标

• 使用基于导子的微分演算，发展非交换几何中线性联络与伪黎曼几何的推广。
• 在代数为交换时退化为标准联络的前提下，定义并研究中心双模上的联络。
• 为非退化内积建立实性与对称性条件，以推广伪黎曼度量。
• 通过外导子李代数及其上同调，识别Morita不变的微分形式。
• 为非交换几何中的示性类与K-理论奠定基础工具，重点关注代数结构与双模范畴。

提出的方法

• 使用Chevalley-Eilenberg复形 $ C({\rm Der}(A), A) $ 定义最小与最大微分代数 $ \Omega_{{\rm Der}}(A) $ 与 $ \underline{\Omega}_{{\rm Der}}(A) $，推广微分形式。
• 将 $ \Omega_{{\rm Out}}(A) $ 与 $ \underline{\Omega}_{{\rm Out}}(A) $ 定义为在内导子下不变的子代数，利用收缩 $ i_X $ 与李导数 $ L_X $。
• 将基于导子的联络引入中心双模，定义为满足莱布尼茨法则的 $ A $-线性映射 $ \nabla: \underline{\Omega}^1_{{\rm Der}}(A) \to \underline{\Omega}^1_{{\rm Der}}(A) \otimes_A \underline{\Omega}^1_{{\rm Der}}(A) $。
• 施加无挠性与度量相容性条件，以在非退化实内积上定义Levi-Civita联络。
• 在 $ ({\rm Der}(A) \otimes_{Z(A)} {\rm Der}(A))^* $ 上引入双模自同构 $ \sigma $，要求 $ \sigma $-不变性以实现伪度量相容性。
• 证明：在 $ \underline{\Omega}^1_{{\rm Der}}(A) $ 上的实、非退化、$ \sigma $-不变内积 $ g $ 可推广为伪黎曼度量。

实验结果

研究问题

• RQ1 如何利用导子作为向量场，在非交换几何中推广线性联络？
• RQ2 在非交换设置下，何种条件可确保在非退化实内积上存在且唯一地定义Levi-Civita联络？
• RQ3 如何通过微分形式与双模自同构，在非交换代数中推广伪黎曼结构？
• RQ4 $ \Omega_{{\rm Out}}(A) $ 与 $ \underline{\Omega}_{{\rm Out}}(A) $ 在作为微分形式的Morita不变推广中起何种作用？
• RQ5 在何种情况下张量积 $ \underline{\Omega}^1_{{\rm Der}}(A) \otimes_A \underline{\Omega}^1_{{\rm Der}}(A) $ 关于对称性 $ \sigma $ 稳定，且为何这对定义度量至关重要？

主要发现

• 只要联络满足无挠性与度量相容性，对于 $ \underline{\Omega}^1_{{\rm Der}}(A) $ 上任意非退化实内积 $ g_* $，Levi-Civita联络存在且唯一。
• 在 $ \underline{\Omega}^1_{{\rm Der}}(A) $ 上的实联络满足 $ (\nabla_X Y)^* = \nabla_{X^*} (Y^*) $，确保与 $ * $-结构相容。
• 仅当内积 $ g $ 满足 $ \sigma $-不变性（即 $ g = g \circ \sigma $）时，$ g $ 才可推广为伪黎曼度量。
• 当 $ A $ 为有限维时，有 $ \underline{\Omega}^1_{{\rm Der}}(A) \otimes_A \underline{\Omega}^1_{{\rm Der}}(A) = ({\rm Der}(A) \otimes_{Z(A)} {\rm Der}(A))^* $，从而保证 $ \sigma $-不变性，并使度量的定义成为可能。
• $ \underline{\Omega}_{{\rm Out}}(A) $ 同构于 $ C_{Z(A)}({\rm Out}(A), Z(A)) $，为微分形式提供了Morita不变的推广。
• 该框架可通过扩展对称性 $ \sigma $ 推广至其他微分演算，如文献[13]所建议，并已在[7],[12]中应用。