[论文解读] Einstein Metrics and Smooth Structures on Non-Simply Connected 4-Manifolds

Ioana Şuvaina|arXiv (Cornell University)|Apr 30, 2008

Geometry and complex manifolds参考文献 29被引用 7

一句话总结

本文利用Seiberg-Witten理论、循环分支覆盖和辛手术研究非单连通4-流形上的爱因斯坦度量。结果表明，对于整数格点中一大片区域内的可接受对(n, m)，连通和nCP² # mCP̄² admits无限多个非等价的有限循环群自由作用，然而这些流形上并不存在任何群不变的爱因斯坦度量，从而在具有复杂微分拓扑结构的非单连通4-流形上，为这类几何结构的存在性设立了强有力的障碍。

ABSTRACT

We analyze the existence or non-existence of Einstein metrics on 4-manifolds with non-trivial fundamental group and the relation with the differential structure considered. We conclude that for admissible pairs (n, m) in a large region of the integer lattice, the manifold nCP 2 #mCP2 admits infinitely many non-equivalent free actions of finite cyclic groups and there are no Einstein metrics which are group invariant. The main tools are Seiberg-Witten Theory, cyclic branched coverings of complex surfaces and symplectic surgeries.

研究动机与目标

• 确定具有非平凡基本群的4-流形上爱因斯坦度量的存在性或非存在性。
• 研究4-流形上光滑结构与群作用之间的关系。
• 分析循环群作用在复射影平面连通和上的爱因斯坦度量阻碍作用。
• 通过非单连通情形下的拓扑和微分工具建立几何障碍。

提出的方法

• 应用Seiberg-Witten理论分析具有非平凡基本群的4-流形的微分拓扑性质。
• 通过复曲面的循环分支覆盖构造生成新的光滑结构。
• 利用辛手术在保持或改变其几何与拓扑性质的同时修改流形。
• 研究可接受对(n, m)下有限循环群在nCP² # mCP̄²上的自由作用，以检测非等价的光滑结构。
• 结合Seiberg-Witten理论的拓扑不变量与群作用数据，排除群不变爱因斯坦度量的存在性。
• 分析光滑结构与非单连通4-流形中爱因斯坦度量存在性之间的相互作用。

实验结果

研究问题

• RQ1 对于整数格点中一大片区域内的可接受对(n, m)，流形nCP² # mCP̄²在何种情况下会存在无限多个非等价的有限循环群自由作用？
• RQ2 当流形nCP² # mCP̄²配备此类群作用时，爱因斯坦度量是否可能存在，特别是当度量需在群作用下不变时？
• RQ3 复曲面的循环分支覆盖如何影响所得4-流形的光滑结构？
• RQ4 何种拓扑障碍会阻止非单连通4-流形上群不变爱因斯坦度量的存在？
• RQ5 Seiberg-Witten不变量与辛手术技术在多大程度上能检测到这些情形下爱因斯坦度量的非存在性？

主要发现

• 对于整数格点中一大片区域内的可接受对(n, m)，流形nCP² # mCP̄²存在无限多个非等价的有限循环群自由作用。
• 尽管存在此类群作用，但在流形nCP² # mCP̄²上并不存在任何在这些作用下不变的爱因斯坦度量。
• 群不变爱因斯坦度量的非存在性通过Seiberg-Witten理论与循环分支覆盖的拓扑性质之间的相互作用得以确立。
• 结果表明，具有复杂光滑结构的非单连通4-流形上，爱因斯坦度量的存在性面临强烈的拓扑障碍。
• 辛手术的使用有助于保持或生成必要的光滑结构，同时维持几何约束。
• 研究结果凸显了在四维情形下，某些光滑结构与群不变爱因斯坦度量的存在性之间存在根本性不相容。