[论文解读] 4-Manifolds without Einstein Metrics

Claude LeBrun|ArXiv.org|Nov 27, 1995

Geometric Analysis and Curvature Flows参考文献 19被引用 9

一句话总结

本文证明了存在无穷多个紧致、可定向、光滑的四维流形，其类型为一般型，尽管满足严格的Hitchin-Thorpe不等式 2χ > 3|τ|，却并不允许存在爱因斯坦度量。通过将Seiberg-Witten理论应用于非极小的复代数曲面，作者构造了反例，从而否定了四维情形下仅凭Hitchin-Thorpe不等式即可保证爱因斯坦度量存在的猜想。

ABSTRACT

It is shown that there are infinitely many compact orientable smooth 4-manifolds which do not admit Einstein metrics, but nevertheless satisfy the strict Hitchin-Thorpe inequality 2 chi > 3 |tau|. The examples in question arise as non-minimal complex algebraic surfaces of general type, and the method of proof stems from Seiberg-Witten theory.

研究动机与目标

• 为了推翻猜想：严格Hitchin-Thorpe不等式 2χ > 3|τ| 暗示紧致四维流形上存在爱因斯坦度量。
• 构造满足Hitchin-Thorpe不等式但不允许可微爱因斯坦度量的光滑四维流形的显式例子。
• 探讨Hitchin-Thorpe不等式作为四维几何中爱因斯坦度量存在性的充分条件时的局限性。
• 应用Seiberg-Witten理论于复代数曲面，以检测爱因斯坦度量不存在的障碍。
• 证明非极小的一般型复曲面可自然地作为爱因斯坦度量存在性猜想的反例。

提出的方法

• 本研究聚焦于已知具有正亏格且满足严格Hitchin-Thorpe不等式的非极小复代数曲面的一般型四维流形。
• 将Seiberg-Witten理论应用于这些四维流形，以分析自对偶调和2-形式的存在性及Seiberg-Witten不变量的结构。
• 利用某些Seiberg-Witten不变量的非零性来阻碍爱因斯坦度量的存在，因为爱因斯坦度量要求对这些不变量施加特定约束。
• 该论证依赖于这样一个事实：四维流形上的爱因斯坦度量施加了强烈的拓扑与分析限制，而这些限制被所构造例子的Seiberg-Witten数据所违反。
• 证明利用了爱因斯坦度量要求标量曲率为常数且里奇曲率与度量成比例，这与Seiberg-Witten理论导出的拓扑不变量相冲突。
• 该构造利用了非极小曲面包含例外球面的事实，这些例外球面影响Seiberg-Witten模空间，从而阻止与爱因斯坦几何相容的解的存在。

实验结果

研究问题

• RQ1 严格Hitchin-Thorpe不等式 2χ > 3|τ| 是否可作为紧致四维流形上爱因斯坦度量存在的充分条件？
• RQ2 非极小的一般型复代数曲面即使满足 2χ > 3|τ|，是否仍允许存在爱因斯坦度量？
• RQ3 Seiberg-Witten理论能否用于阻碍四维流形上爱因斯坦度量的存在？
• RQ4 在满足Hitchin-Thorpe不等式的情况下，哪些拓扑或几何障碍会阻止某些四维流形上爱因斯坦度量的存在？
• RQ5 是否存在无穷多个满足Hitchin-Thorpe不等式但不携带爱因斯坦度量的光滑四维流形？

主要发现

• 存在无穷多个满足严格Hitchin-Thorpe不等式 2χ > 3|τ| 但不允许可微爱因斯坦度量的紧致、可定向、光滑四维流形。
• 反例为非极小的一般型复代数曲面，已知其具有非平凡的Seiberg-Witten不变量。
• 通过Seiberg-Witten理论表明，爱因斯坦度量的存在所施加的拓扑约束与这些曲面的Seiberg-Witten不变量不相容。
• 这些例子中某些Seiberg-Witten不变量的非零性排除了爱因斯坦度量的存在，尽管满足了Hitchin-Thorpe不等式。
• 结果表明，Hitchin-Thorpe不等式在四维情形下不足以保证爱因斯坦度量的存在。
• 本文在四维流形几何的背景下，明确界定了拓扑障碍（通过Hitchin-Thorpe不等式）与微分几何障碍（通过Seiberg-Witten理论）之间的本质差异。