[论文解读] When is a Connection a Levi-Civita Connection?

Richard Atkins|ArXiv.org|Apr 16, 2008

Fixed Point Theorems Analysis参考文献 4被引用 3

一句话总结

该论文通过分析局部与全局平行度量的存在性，为判断流形上对称联络是否为Levi-Civita联络提供了全面的判据。它引入了导出旗构造以检测对称二阶张量丛中的局部平行截面，并利用层上同调——特别是秩为一情况下的de Rham上同调——来刻画全局障碍。关键结果表明，尽管单连通流形上的解析联络若局部度量则总是全局度量，但光滑联络即使在可缩空间上也可能不具有全局平行度量，如通过构造的反例所示，该反例在导出旗中表现出纤维维数的变化。

ABSTRACT

We consider the more general question as to when a connection is a metric connection. There are two aspects to this investigation: first, the determination of the integrability conditions that ensure the existence of a local parallel metric in the neighbourhood of a given point and second, the characterization of the topological obstruction to a globally defined parallel metric.

研究动机与目标

• 确定流形上对称联络为Levi-Civita联络的必要与充分条件。
• 通过向量丛导出旗的可积性条件，刻画平行度量的局部存在性。
• 通过一般线性群的层上同调，识别全局平行度量存在的拓扑障碍。
• 对比解析与光滑联络，表明解析性可保证全局度量延拓，而光滑性则不能。
• 构造R²上一个光滑且局部度量的联络反例，其非全局度量，凸显光滑范畴中的病态现象。

提出的方法

• 构造对称协变二阶张量丛的子集导出旗，以检测局部非平凡的平行截面。
• 定义映射 αW′: W′ → (W/W′) ⊗ T*M，利用联络与投影，并分析其核以确定可积性条件。
• 利用终端子集 W̃ 判断局部平行度量是否存在；若 W̃ 为非零向量丛，则局部存在此类度量。
• 对于正则联络，将全局度量存在性表述为常值层 GL(n, ℝ) 截面的上同调群 H¹(M, Gₙ)。
• 当导出丛的秩为一，应用 de Rham 上同调，将障碍与 H¹dR(M) 中的闭1-形式联系起来。
• 利用解析开拓证明：在解析流形上，解析联络的导出丛 W̃ 全局定义良好，从而保证全局度量延拓。

实验结果

研究问题

• RQ1 在流形上，对称联络在每一点的邻域内何时存在局部平行度量？
• RQ2 何种拓扑或几何障碍会阻止一个局部度量联络拥有全局定义的平行度量？
• RQ3 对称二阶张量丛的导出旗如何决定局部平行截面的存在性？
• RQ4 为何光滑局部度量联络即使在可缩流形上也可能不是全局度量，而解析联络则不会？
• RQ5 当导出丛 W̃ 不是向量丛（如纤维维数变化）时，其在何种意义上阻碍全局度量的存在？

主要发现

• 当且仅当对称二阶张量丛的导出旗产生一个局部为向量丛的非平凡子丛 W̃ 时，联络才是局部度量的。
• 对于正则联络，全局平行度量的存在性等价于 H¹(M, GL(n, ℝ)) 中某个上同调类的消失，推广了平坦向量丛的分类。
• 当导出丛 W̃ 的秩为一，全局度量的障碍编码于 H¹dR(M) 中的一个 de Rham 上同调类。
• 在解析、单连通流形上，若解析联络是局部度量的，则其必为全局度量，这是由于解析开拓确保了平行截面的全局一致性。
• 在 R² 上存在一个光滑且局部度量的联络，但不是全局度量的，原因在于 W̃ 的纤维维数不连续变化（1 → 3 → 1），导致无法用层上同调表述。
• 该例子表明，光滑联络即使在可缩流形上，其局部平行度量也可能无法全局延拓，而解析情形则不会出现此类问题。