[论文解读] Volume estimates for Kähler-Einstein metrics: the three dimensional case

X-X. Chen, Simon Donaldson|arXiv (Cornell University)|Apr 1, 2011

Geometry and complex manifolds参考文献 5被引用 4

一句话总结

本文在紧致三维凯勒-爱因斯坦流形上建立了对曲率超过 $ r^{-2} $ 的集合 $ Z_r $ 的体积估计，该流形具有非负里奇曲率和非坍缩条件。通过利用归一化曲率能量的近似单调性性质以及同调携带球体的拓扑约束，证明了 $ \mathrm{Vol}(Z_r) \leq C(E(M)r^4 + b_2(M)r^6) $，其中 $ C $ 仅依赖于非坍缩常数和第二贝蒂数，为凯勒几何中的存在性问题提供了关键的分析输入。

ABSTRACT

We obtain an estimate for the volume of neighbourhoods of sets of large curvature in three-dimensional Kähler-Einstein manifolds.

研究动机与目标

• 推导紧致三维凯勒-爱因斯坦流形中曲率超过 $ r^{-2} $ 的集合 $ Z_r $ 的定量体积估计。
• 建立归一化曲率能量 $ E(x,r) = r^{4-6} \int_{B(x,r)} |\mathrm{Riem}|^2 \, d\mu $ 的近似单调性性质，以替代高维情形下缺失的单调性。
• 在非坍缩条件下，将曲率的几何集中现象与拓扑不变量（特别是第二贝蒂数 $ b_2(M) $）联系起来。
• 为紧致复三维流形上凯勒-爱因斯坦度量的一般存在性问题提供基础分析工具。

提出的方法

• 引入归一化能量泛函 $ E(x,r) = r^{-2} \int_{B(x,r)} |\mathrm{Riem}|^2 \, d\mu $，其为尺度不变量，是分析的核心。
• 将 $ Z_r $ 定义为集合 $ K_r $ 的 $ r $-邻域，其中 $ |\mathrm{Riem}| \geq r^{-2} $，代表高曲率的“坏”区域。
• 利用格罗莫夫-豪斯多夫关于里奇曲率极限的理论，以及切锥和余维4奇点的成果（来自切赫、科林德和田刚），分析 $ Z_r $ 的结构。
• 建立定理3：若球体 $ B(x,r) $ 不携带同调且归一化能量 $ E(x,r) \leq \delta $，则其内部所有更小的球体均具有统一小的能量。
• 使用不携带同调的球体进行覆盖论证，以控制 $ \mathrm{Vol}(Z_r) $，利用不等式 $ \mathrm{Vol}(Z_r) \leq C(E(M)r^4 + b_2(M)r^6) $。
• 利用相对等周不等式与体积比较，控制 $ M \setminus Z_r $ 的连通分支体积，从而得到定理2：存在一个大连通子集 $ \Omega' \subset M \setminus Z_r $。

实验结果

研究问题

• RQ1 能否在具有非负里奇曲率和非坍缩条件的三维凯勒-爱因斯坦流形中，对曲率超过 $ r^{-2} $ 的集合 $ Z_r $ 的体积进行有界估计？
• RQ2 当不存在携带同调的球体时，归一化曲率能量 $ E(x,r) $ 是否仍具有近似单调性？
• RQ3 第二贝蒂数 $ b_2(M) $ 如何影响曲率集中区域 $ Z_r $ 的大小？
• RQ4 能否保证在 $ M \setminus Z_r $ 中存在一个大连通子集 $ \Omega' $，且其补集的体积受控？
• RQ5 在形如 $ \mathrm{Vol}(Z_r) = O(r^\mu) $ 的估计中，最优指数 $ \mu $ 是多少？$ \mu = 4 $ 是否为最优？

主要发现

• 曲率集中区域 $ Z_r $ 的体积满足 $ \mathrm{Vol}(Z_r) \leq C(E(M)r^4 + b_2(M)r^6) $，其中 $ C $ 仅依赖于非坍缩常数 $ \kappa $ 和 $ b_2(M) $，而 $ E(M) $ 是与陈类相关的拓扑不变量。
• 定理3建立了近似单调性：若球体 $ B(x,r) $ 不携带同调且归一化能量 $ E(x,r) \leq \delta $，则其内部所有更小的球体均具有统一小的能量，其中 $ \delta $ 仅依赖于 $ \kappa $。
• 若一个不携带同调的球体 $ B(x,r) $ 上的能量条件较小，则其内部点 $ B(x,r/3) $ 上有点态曲率界 $ |\mathrm{Riem}| \leq K r^{-2} $，其中 $ K $ 为绝对常数。
• 定理2表明存在一个连通开子集 $ \Omega' \subset M \setminus Z_r $，使得 $ \mathrm{Vol}(M \setminus \Omega') \leq C(E(M)r^{18/5} + b_2(M)r^6) $，其中 $ C' $ 仅依赖于 $ \kappa $。
• 证明依赖于深层几何分析，包括格罗莫夫-豪斯多夫极限、无穷远处的切锥，以及切赫、科林德和田刚的余维4奇点理论。
• 结果是精确的：通过涉及轨道化面的解消的反例表明，近似单调性的失效恰好发生在存在携带同调的球体时。