[论文解读] Two papers which changed my life: Milnor's seminal work on flat manifolds and flat bundles

William M. Goldman|arXiv (Cornell University)|Aug 1, 2011

Geometric and Algebraic Topology参考文献 31被引用 6

一句话总结

本文综述了约翰·米尔诺（John Milnor）1958年和1977年关于平坦流形与仿射结构的奠基性论文的深远影响，探讨了这些工作如何重塑了人们对曲率、特征类以及流形上几何结构的理解。文章强调了平坦联络、欧拉示性数以及完备仿射流形中的恰当仿射变形的作用，最终通过辛几何与洛伦兹几何方法，给出了马尔古利斯时空（Margulis spacetimes）的显式构造。

ABSTRACT

We survey developments arising from Milnor's 1958 paper, "On the existence of a connection with curvature zero" and his 1977 paper, "On fundamental groups of complete affinely flat manifolds".

研究动机与目标

• 综述米尔诺1958年与1977年论文对平坦流形及仿射结构的几何与拓扑产生的深远影响。
• 探讨平坦切丛的拓扑障碍，特别是平坦联络存在时欧拉示性数消失的条件。
• 研究具有非平凡基本群与恰当仿射作用的完备仿射流形的存在性与构造方法。
• 分析特征类（尤其是欧拉类）在分类平坦丛与仿射结构中的作用。
• 通过辛几何与洛伦兹几何，显式构造弗克辛群（Fuchsian groups）的恰当仿射形变，从而构造出以拐折平面为边界的基本多面体的马尔古利斯时空。

提出的方法

• 利用陈省身的高斯-博内定理，将曲率形式与特征类（特别是欧拉类）关联到欧拉示性数等拓扑不变量。
• 应用发展映射与单值表示，通过纤维积构造 $\xi_\rho = \tilde{M} \times_\rho \mathbb{R}^n$ 在流形上构建仿射结构。
• 运用辛几何及 $\mathsf{Sp}(4,\mathbb{R})$ 在拉格朗日子空间上的作用，对闵可夫斯基空间与 $\mathsf{SL}(2,\mathbb{Z})$ 的仿射形变进行建模。
• 通过分块上三角矩阵中的剪切变换构造恰当仿射作用，并在自伴映射空间上识别洛伦兹结构。
• 以 $\mathsf{GL}(2,\mathbb{Z})$ 的二阶同余子群 $\Gamma_0 \subset \mathsf{GL}(2,\mathbb{Z})$ 为基础，在 $\mathsf{Sp}(4,\mathbb{Z})$ 中构造恰当仿射形变。
• 应用 Charette-Drumm-Goldman 的主要结果，通过拐折平面界定基本域，验证马尔古利斯时空构造中基本域的恰当性与有界性。

实验结果

研究问题

• RQ1 具有平坦切丛的闭的可缩流形是否可能具有非零欧拉示性数？
• RQ2 欧拉类在阻碍流形上存在平坦仿射结构方面起什么作用？
• RQ3 当一个基本群表示到 $\mathsf{Aff}(\mathbb{R}^n)$ 时，在何种条件下会诱导出完备仿射流形？
• RQ4 如何利用辛几何与洛伦兹几何显式构造弗克辛群的恰当仿射形变？
• RQ5 $\mathsf{Sp}(4,\mathbb{Z})$ 在辛向量空间的拉格朗日子空间上的作用会产生何种几何结构？

主要发现

• 斯米利（Smillie）1976年的例子表明，在偶数维 $n > 2$ 时，存在非零挠率的平坦联络，但这些流形并非可缩的，因此关于具有非零欧拉示性数的可缩平坦流形的问题仍悬而未决。
• 根据陈省身的高斯-博内定理，若联络无挠率且无曲率，则具有平坦切丛的流形的欧拉示性数为零。
• 当且仅当单值表示允许恰当形变时，才存在具有恰当仿射作用的完备仿射流形，这一结论在马尔古利斯时空的构造中得到验证。
• 在 $\mathsf{Sp}(4,\mathbb{Z})$ 中显式构造了 $\Gamma_0 \subset \mathsf{SL}(2,\mathbb{Z})$ 的二阶同余子群的恰当仿射形变，得到一个与亏格为二的环柄体同胚的三维流形。
• 商流形 $M^3 = \Gamma \backslash \mathsf{E}$ 是一个具有由拐折平面界定的基本域的完备仿射流形，其柱面单值表示为抛物型，反映在时空截面上的平行线段中。
• 闵可夫斯基空间 $\mathsf{E}$ 被识别为自伴映射 $L_0 \to L_0^*$ 的图的集合，构成洛伦兹向量空间 $\mathsf{V}$ 上的一个主齐性空间，平移通过 $\mathsf{Sp}(4,\mathbb{R})$ 中的剪切实现。