[论文解读] Extension of symmetries on Einstein manifolds with boundary

Michael T. Anderson|arXiv (Cornell University)|Apr 25, 2007

Geometric Analysis and Curvature Flows参考文献 21被引用 5

一句话总结

本文建立了爱因斯坦流形边界上基灵场扩展到内部基灵场的条件。在基本群条件 π₁(M, ∂M) = 0 且基灵场保持边界平均曲率的几何约束下，此类扩展保证存在且唯一，将等距扩展性质推广至带边界的爱因斯坦流形。

ABSTRACT

We investigate the validity of the isometry extension property for (Riemannian) Einstein metrics on manifolds with boundary. Given a metric on the boundary, this is the issue of whether any Killing field of the boundary metric extends to a Killing field of any bulk or filling Einstein metric inducing the given data on the boundary. Under a mild condition on the fundamental group, this is proved to be the case at least when the Killing field preserves the mean curvature of the boundary.

研究动机与目标

• 研究紧致爱因斯坦流形边界度量的等距是否可扩展为整个流形的等距。
• 确定爱因斯坦度量带边界的等距扩展性质成立的几何与拓扑条件。
• 解决当边界不连通或基本群不能满射到内部时扩展失败的原因。
• 阐明平均曲率保持在从边界到内部扩展基灵场中的作用。
• 将等距扩展性质推广至具有无穷远处边界的渐近平坦与渐近双曲爱因斯坦度量。

提出的方法

• 使用爱因斯坦度量的模空间，研究狄利克雷边界映射 Π_D: E → Met(∂M)，该映射将每个爱因斯坦度量映射为其边界度量。
• 应用 Π_D 的线性化，分析其核与像，以在非退化条件下建立扩展性质。
• 施加条件 X(H) = 0（平均曲率保持）以确保从 ∂M 到 M 的基灵场存在唯一扩展。
• 通过构造与边界上点相适应的基，构造 ∂M 上散度为零的对称二阶张量的截面，确保正交性与非退化性。
• 使用小 ε > 0 的扰动方法，构造一个接近 γ 的邻近度量 σ，使得迹条件 tr_γ(BA’_k) ≠ 0 成立，从而确保线性化算子的可逆性。
• 通过修改边界条件并验证基灵场下平均曲率变分的消失，将证明策略适配至外区域与渐近双曲情形。

实验结果

研究问题

• RQ1 在何种条件下，爱因斯坦流形边界上的基灵场可扩展为整个流形上的基灵场？
• RQ2 为何等距扩展性质通常不成立，特别是当边界不连通或 π₁(∂M) → π₁(M) 不是满射时？
• RQ3 平均曲率保持（X(H) = 0）如何促成边界基灵场向内部的扩展？
• RQ4 等距扩展性质能否推广至具有渐近平坦或双曲端的非紧致爱因斯坦流形？
• RQ5 狄利克雷边界映射的线性化在证明对称性扩展中起何作用？

主要发现

• 若 π₁(M, ∂M) = 0 且 g 是 C^{m,α} 爱因斯坦度量（m ≥ 5），则任一满足 X(H) = 0 的边界基灵场 X 均可唯一扩展为 (M,g) 上的基灵场。
• 当平均曲率为常数时，边界等距群的恒同连通分支可嵌入任意爱因斯坦填充度量的等距群中。
• 对于 S^n 上的标准度量，若 π₁(M) = 0 且 H = const，则 (M,g) 同构于单连通空间形式中的标准球体。
• 对于不属于 Isom(∂M,γ) 恒同连通分支的等距，等距扩展性质不成立，如在实心环面上的非扩展等距反例所示。
• 结果可推广至渐近平坦与渐近双曲爱因斯坦度量，定理 5.4 在双曲情形中建立了无需平均曲率保持的扩展性质。
• 证明依赖于在 ∂M 上构造一个非退化的散度为零对称二阶张量截面，并验证基灵场下平均曲率变分的消失，从而确保线性化问题的可解性。