[论文解读] Flats in Riemannian Submersions from Lie Groups

Kristopher Tapp|ArXiv.org|Mar 13, 2007

Geometric Analysis and Curvature Flows参考文献 2被引用 5

一句话总结

本文证明，在任意从紧致李群（配备双不变度量）出发的黎曼纤维丛中，总空间中任意水平零曲率平面在指数映射下生成一个平坦子流形，该子流形在底空间上的投影亦为平坦子流形。核心结果表明，此类底空间必然包含平坦子流形——确认了此前仅在双商空间中已知的性质——并为所有此类纤维丛可能均为双商空间提供了证据。

ABSTRACT

We prove that any base space of Riemannian submersion from a compact Lie group (with bi-invariant metric) must have a basic property previously known for normal biquotients; namely, any zero-curvature plane exponentiates to a flat.

研究动机与目标

• 确立从配备双不变度量的紧致李群出发的黎曼纤维丛之底空间的基本几何性质。
• 研究所有此类纤维丛是否均具有此前仅在双商空间纤维丛中已知的平坦子流形指数映射性质。
• 提供证据表明，从紧致李群出发的黎曼纤维丛可能全部为双商空间，回应 K. Grove 提出的问题。
• 将 Munteanu 关于一维纤维纤维丛的研究方法推广至任意纤维维数的情形。
• 分析在李群纤维丛背景下，平行移动与曲率关系中，仿射平行移动场（holonomy Jacobi fields）的行为，特别是其与曲率和平坦性的关系。

提出的方法

• 利用配备双不变度量的紧致李群的几何结构，分析水平分布与曲率性质。
• 沿水平测地线应用仿射平行移动场（holonomy Jacobi fields）的概念，研究向量场与竖直分布的正交性。
• 运用黎曼纤维丛的基本张量 A 与 T，推导控制 Jacobi 场演化的微分方程。
• 通过反证法，基于 Jacobi 场序列的收敛性，证明若初始导数不正交，则会导致无界增长。
• 利用平行 Jacobi 场在初始导数为零时保持有界的事实，将其与投影子流形的平坦性联系起来。
• 通过分析李群设定下平行移动与曲率的行为，将 Wilking 对双商空间的证明推广至一般黎曼纤维丛。

实验结果

研究问题

• RQ1 所有从配备双不变度量的紧致李群出发的黎曼纤维丛是否都具有如下性质：零曲率水平平面在指数映射下生成底空间中的平坦子流形？
• RQ2 平坦子流形指数映射性质能否从双商空间推广至从紧致李群出发的一般黎曼纤维丛？
• RQ3 仿射平行移动场在决定总空间中水平平面是否投影为底空间中的平坦子流形时起何种作用？
• RQ4 在何种条件下，仿射平行移动场保持有界？这与底空间的几何结构有何关联？
• RQ5 基于共享的几何约束（如平坦子流形指数映射性质），是否可能所有从紧致李群出发的黎曼纤维丛均为双商空间？

主要发现

• 在配备双不变度量的紧致李群中，任意水平零曲率平面在指数映射下生成一个保持水平的平坦子流形。
• 此类平坦子流形在黎曼纤维丛底空间上的投影为 ℝ² 的全测地嵌入，且配备平坦度量，即为底空间中的平坦子流形。
• 证明的关键在于：沿测地线平行移动的水平向量场始终保持水平，这由该向量场与所有仿射平行移动场正交所保证。
• 若仿射平行移动场的初始导数不正交于水平向量场，则会导致无界增长，从而与紧致性及连续性矛盾。
• 该结果不仅适用于双商空间，也适用于所有从配备双不变度量的紧致李群出发的黎曼纤维丛。
• 该定理表明，任何从对称空间或正规双商空间出发的黎曼纤维丛也满足平坦子流形指数映射性质，从而推广了先前的结果。