[论文解读] Metrizable linear connections in a Lie algebroid

Mihai Anastasiei|arXiv (Cornell University)|Mar 9, 2010

Advanced Topics in Algebra参考文献 18被引用 8

一句话总结

本文研究了李代数胚中线性联络的度量化条件，引入了与黎曼度量相容的联络概念（即 $Dh = 0$）。证明了此类联络当且仅当其所有平行移动均为等距变换时是度量化的，并确立了其单值群必须是正交群 $O(k)$ 的子群，从而通过单值结构给出了度量化的必要且充分条件。

ABSTRACT

A linear connection $D$ in a Lie algebroid is said to be metrizable if there exists a Riemannian metric $h$ in the Lie algebroid such that $Dh=0$. Conditions for the linear connection $D$ to be metrizable are investigated.

研究动机与目标

• 将线性联络的度量化概念从切丛推广至一般的李代数胚。
• 确定线性 $A$-联络通过 $Dh = 0$ 保持黎曼度量 $h$ 的必要且充分条件。
• 通过联络的单值群表征度量化，将几何相容性与群论约束联系起来。

提出的方法

• 通过李代数胚 $A$ 的锚映射 $\rho$ 和截面上的李括积，定义向量丛 $(F, q, M)$ 上的线性 $A$-联络。
• 通过条件 $Dh = 0$ 引入度量化的概念，其中 $h$ 是 $F$ 上的黎曼度量，确保平行移动下度量的相容性。
• 推导沿 $A$-路径的度量协变导数公式，表明 $\left(D_{\alpha}g\right)(\sigma_1, \sigma_2)$ 等于平行移动下内积的变化率。
• 利用泰勒展开和局部坐标表达式，将度量的导数与联络系数 $\Gamma^\mu_{\nu a}$ 及度量分量 $g_{\mu\nu}$ 关联起来。
• 证明 $Dh = 0$ 当且仅当所有平行移动均为等距变换，利用单值群 $\Phi(x)$ 作为几何不变量。
• 证明为使度量化成立，单值群 $\Phi(x)$ 必须同构于正交群 $O(k)$ 的子群。

实验结果

研究问题

• RQ1 在何种条件下，线性 $A$-联络能保持李代数胚上向量丛上的黎曼度量？
• RQ2 如何通过联络的单值群几何表征其度量化性质？
• RQ3 协变导数 $Dh$ 恒为零与平行移动的等距性之间存在何种关系？
• RQ4 能否利用李代数胚中联络的单值群判断其是否可度量化？
• RQ5 单值群位于 $O(k)$ 内是否为 $A$-联络度量化的必要且充分条件？

主要发现

• 线性 $A$-联络可度量化当且仅当其所有平行移动关于黎曼度量 $h$ 均为等距变换。
• 在任意点 $x \in M$ 处，单值群 $\Phi(x)$ 必须是正交群 $O(k)$ 的子群，其中 $k = \text{rank}(F)$，此为联络可度量化的必要条件。
• $Dh = 0$ 的条件等价于沿任意 $A$-路径的平行移动保持度量不变，此结论通过涉及 $P_\alpha^t$ 的极限表达式得以证明。
• 与正则拉格朗日量 $\mathcal{E}$ 相关的李代数胚上的 Levi-Civita 联络被证明是可度量化的，其测地线由齐次半喷射 $S$ 生成。
• 由度量导出的联络系数 $\Gamma^a_{cd}$ 在下标上对称，表明诱导联络的挠率恒为零。
• 可度量联络的唯一性源于：若存在两个此类联络，则其诱导的单值群相同，除非二者完全相等，否则将导致矛盾。