[论文解读] On Uniqueness of Conformally Compact Einstein Metrics with Homogeneous Conformal Infinity

Gang Li|arXiv (Cornell University)|Dec 30, 2016

Geometric Analysis and Curvature Flows参考文献 13被引用 3

一句话总结

该论文在满足 $\frac{1}{4} < \frac{\lambda_1}{\lambda_2} < 4$ 的条件下，证明了在 4-球上具有 Berger 度量作为共形无穷远的非正曲率共形紧致爱因斯坦度量的唯一性。通过沿质心出发的测地线对爱因斯坦方程进行渐近分析，并利用对称性与 Killing 向量场的延拓，作者证明了此类度量在等距同构意义下唯一，并且当曲率为非正时，与 Pedersen 的构造一致。

ABSTRACT

In this paper we show that for a Berger metric $\hat{g}$ on $S^3$, the non-positively curved conformally compact Einstein metric on the $4$-ball $B_1(0)$ with $(S^3, [\hat{g}])$ as its conformal infinity is unique up to isometries and it is the metric constructed by Pedersen \cite{Pedersen}. In particular, since in \cite{LiQingShi}, we proved that if the Yamabe constant of the conformal infinity $Y(S^3, [\hat{g}])$ is close to that of the round sphere then any conformally compact Einstein manifold filled in must be negatively curved and simply connected, therefore if $\hat{g}$ is a Berger metric on $S^3$ with $Y(S^3, [\hat{g}])$ close to that of the round metric, the conformally compact Einstein metric filled in is unique up to isometries.

研究动机与目标

• 建立在 4-球上具有预设齐次共形无穷远的共形紧致爱因斯坦度量的全局唯一性。
• 利用爱因斯坦度量的渐近展开，将边界上的共形 Killing 向量场延拓到内部流形上的 Killing 向量场。
• 证明在对称性与曲率约束下，唯一满足条件的度量为 Pedersen 的构造（在等距同构意义下）。
• 证明当共形无穷远的 Yamabe 常数接近标准球面的值时，填充后的流形被唯一确定。

提出的方法

• 利用从质心出发的测地定义函数 $x = Ce^{-r}$，将爱因斯坦方程约化为沿径向测地线的边值问题。
• 应用爱因斯坦度量的渐近展开技术，证明边界上共形 Killing 向量场可延拓为流形上的渐近 Killing 向量场。
• 基于爱因斯坦方程的径向形式结构，采用反证法分析约化 ODE 系统解的差值符号。
• 利用唯一质心 $p_0$ 的存在性，确保所有等距同构均固定 $p_0$，从而实现对径向对称性的约化。
• 通过积分与解差值的符号比较分析边值问题 $(\ref{equn_BergerEinstein01})-(\ref{equn_BergerBV01})$，证明唯一性。
• 依赖 Wang (2020) 的定理 3.2，保证在非正曲率条件下，共形 Killing 场可延拓为 Killing 场。

实验结果

研究问题

• RQ1 在 4-球上，是否存在至多一个具有 Berger 度量作为共形无穷远的非正曲率共形紧致爱因斯坦度量？
• RQ2 在曲率与对称性假设下，边界上的共形 Killing 向量场能否延拓为内部流形上的 Killing 向量场？
• RQ3 约化 ODE 系统解的唯一性是否蕴含爱因斯坦度量的全局唯一性？
• RQ4 当比值 $\lambda_1/\lambda_2$ 满足何种条件时，共形紧致爱因斯坦度量在等距同构意义下唯一？

主要发现

• 对于 $S^3$ 上满足 $\frac{1}{4} < \frac{\lambda_1}{\lambda_2} < 4$ 的 Berger 度量，4-球上至多存在一个非正曲率共形紧致爱因斯坦度量，且在等距同构意义下唯一。
• 当 $\frac{\lambda_1}{\lambda_2}$ 接近 1 时，该度量唯一，并与 Graham 与 Lee (1991) 的摄动解一致。
• 当截面曲率为非正时，该唯一度量由 Pedersen 的构造显式给出。
• 共形 Killing 向量场从 $\partial M$ 延拓至 $M$ 的性质，由渐近爱因斯坦度量展开与曲率假设保证。
• 边值问题 $(\ref{equn_BergerEinstein01})-(\ref{equn_BergerBV01})$ 至多存在一个解，其证明基于在导数非零的区间上对解差值的符号分析。
• 由于共形无穷远的齐次性，以质心为中心的测地球面是 Killing 向量场生成的等距群的齐次空间。