[论文解读] Locally nearly spherical surfaces are almost-positively $c$-curved

Philippe Delanoë, Yuxin Ge|arXiv (Cornell University)|Sep 18, 2010

Geometric Analysis and Curvature Flows参考文献 15被引用 4

一句话总结

本文通过微扰论证和在标准球面附近的分情况分析，证明了高斯曲率在 $C^2$ 范数下与 1 非常接近的紧致完备曲面，对于代价函数 $c = \frac{1}{2}d^2$ 是几乎正 $c$-曲率的。关键结果表明，几乎正交叉曲率条件（APCC）在标准度量的小 $C^2$-扰动下是稳定的，扩展了先前关于非负交叉曲率稳定性结果。

ABSTRACT

The $c$-curvature of a complete surface with Gauss curvature close to 1 in $C^2$ norm is almost-positive (in the sense of Kim--McCann). Our proof goes by a careful case by case analysis combined with perturbation arguments from the constant curvature case, keeping track of an estimate on the closeness curvature condition.

研究动机与目标

• 建立在紧致曲面上，当高斯曲率在 $C^2$ 范数下与 1 接近时，对于代价函数 $c = \frac{1}{2}d^2$ 的几乎正交叉曲率（APCC）条件的稳定性。
• 将先前关于非负交叉曲率（NNCC）稳定性的结果扩展到更弱的 APCC 条件，特别是在标准 2-球面附近。
• 通过扰动的显式界，提供一个曲率接近 1 的定量估计，以确保 APCC 成立。
• 通过基于 2009 年草稿（早于 [9, 10]）的独立分析，弥补文献中的空白，独立证明 APCC 的稳定性。
• 使用一种与 [10] 不同的新方法，分析在共轭点附近交叉曲率的行为，特别是在 $C^4$-小形变范围内。

提出的方法

• 从常曲率情形（标准 2-球面）出发，使用微扰框架，分析小的 $C^2$-范数偏差如何影响交叉曲率张量。
• 在乘积流形 $M \times \overline{M}$ 上进行分情况分析，重点关注由代价函数 $c = \frac{1}{2}d^2$ 诱导的伪黎曼度量 $h$。
• 采用 Kim–McCann 定义的交叉曲率 $\mathop{\rm cross}\nolimits_{(m,\overline{m})}(\xi,\bar{\xi}) = \mathop{\rm Sect}\nolimits_h[(\xi \oplus 0) \wedge (0 \oplus \bar{\xi})]$，并在小曲率扰动下证明其非负性。
• 通过三角函数和贝塞尔型函数的估计，推导出 $\varepsilon$ 和 $\delta$（分别度量 $C^2$-接近曲率 1 的程度和截面点集的接近程度）的显式定量界。
• 利用指数映射的拉回，将交叉曲率与黎曼截面曲率联系起来，利用恒等式 $\mathop{\rm cross}\nolimits_{(m,m)}(\xi,\bar{\xi}) = \frac{4}{3}\mathop{\rm Sect}\nolimits_g(\xi \wedge \bar{\xi})$ 在对角点处成立。
• 实施一系列不等式（如 (52)–(65)），以控制曲率扰动引起的误差项，确保 APCC 条件成立。

实验结果

研究问题

• RQ1 在 2-球面上，几乎正交叉曲率（APCC）条件在标准度量的小 $C^2$-扰动下是否保持稳定？
• RQ2 对于接近球面几何的曲面，$C^2$-接近曲率 1 的定量阈值是多少，才能保证 APCC 成立？
• RQ3 在小度量形变下，交叉曲率在共轭点附近的行为如何？是否可以在不依赖 $C^4$-小性的情况下加以控制？
• RQ4 能否独立于 [10] 等后续工作，通过一种不同的分析方法，在截面点集附近建立 APCC 条件？
• RQ5 在黎曼子丛或乘积下，APCC 的稳定性在标准球面的 $C^2$-小扰动下在多大程度上成立？

主要发现

• 对于任何高斯曲率在 $C^2$ 范数下与 1 接近的完备曲面，只要扰动足够小，几乎正交叉曲率（APCC）条件即成立。
• 本文建立了定量界：若 $\|K - 1\|_{C^2} \leq \varepsilon$ 且截面点集受 $\delta$ 控制，则在 $\varepsilon$ 和 $\delta$ 的显式约束下（例如 $\varepsilon \leq 2.19 \times 10^{-3} \cdot \sin^3(1)/C_4 \cdot \delta_2^2$）有 APCC 成立。
• 分析确认，在标准 2-球面处，APCC 条件在 $C^2$-小形变下是稳定的，补充了早期的 $C^4$-稳定性结果。
• 该方法提供了在球面附近 APCC 稳定性的新且独立的证明，与 [10] 的方法不同，尤其在处理共轭区域方面。
• 推导出显式不等式（如 (52)–(57)、(61)–(65)），以确保交叉曲率保持非负，其常数由涉及 $\tau \in [0, \pi/2]$ 的三角函数表达式的上确界导出。
• 结果确认，局部接近球面的曲面是几乎正 $c$-曲率的，验证了在非标准情形下最优传输正则性的一个关键几何条件。