[论文解读] Fredholm Operators and Einstein Metrics on Conformally Compact Manifolds

John M. Lee|ArXiv.org|May 7, 2001

Geometric Analysis and Curvature Flows参考文献 32被引用 20

一句话总结

本文在紧致带边流形内部证明了具有预设共形无穷的渐近双曲爱因斯坦度量的存在性，前提是背景爱因斯坦度量具有非正曲率，或共形无穷具有非负 Yamabe 不变量。证明依赖于渐近双曲流形上自伴椭圆算子的精确弗雷德霍姆理论，确保 Lichnerowicz 拉普拉斯算子加 2n 具有平凡的 L² 核，从而可通过隐函数定理在非线性爱因斯坦方程中实现摄动解法。

ABSTRACT

The main purpose of this monograph is to give an elementary and self-contained account of the existence of asymptotically hyperbolic Einstein metrics with prescribed conformal infinities sufficiently close to that of a given asymptotically hyperbolic Einstein metric with nonpositive curvature. The proof is based on an elementary derivation of sharp Fredholm theorems for self-adjoint geometric linear elliptic operators on asymptotically hyperbolic manifolds.

研究动机与目标

• 在给定背景爱因斯坦度量的前提下，建立紧致带边流形上具有预设共形无穷的渐近双曲爱因斯坦度量的存在性。
• 将 Graham 和 Lee（2001）的摄动结果推广至背景度量具有非正曲率或共形无穷具有非负 Yamabe 不变量的情形。
• 对渐近双曲流形上自伴几何线性椭圆算子提供自包含的精确弗雷德霍姆定理推导。
• 在所述曲率或 Yamabe 条件下，证明 Lichnerowicz 拉普拉斯算子加 2n 在迹零对称 2-张量上具有平凡的 L² 核，从而可在非线性情形下使用隐函数定理。

提出的方法

• 利用加权 Sobolev 空间与 Hölder 空间，推导渐近双曲流形上自伴几何线性椭圆算子的精确弗雷德霍姆定理。
• 分析迹零对称 2-张量上的 Lichnerowicz 拉普拉斯算子 Δ_L + 2n，证明在非正曲率或非负 Yamabe 不变量假设下其具有平凡的 L² 核。
• 在 Hölder 空间中使用隐函数定理，对接近给定渐近双曲爱因斯坦度量的度量摄动求解非线性爱因斯坦方程。
• 应用拉普拉斯型算子的弱唯一延拓性质，证明当满足曲率界或 Yamabe 条件时，(Δ_L + 2n)u = 0 的 L² 解必恒为零。
• 构造爱因斯坦方程的解映射 S(ĝ) + r，其中 r 满足非线性 PDE 系统，并证明所得度量 g 为 C^{l,β} 类的共形紧致度量。
• 利用环境度量构造与 Möbius 群实现，将共形不变量与爱因斯坦度量不变量关联，建立全局对应关系。

实验结果

研究问题

• RQ1 在紧致带边流形边界上，何种条件下其共形结构可作为渐近双曲爱因斯坦度量的共形无穷？
• RQ2 背景爱因斯坦度量的何种几何条件可保证 Lichnerowicz 拉普拉斯算子加 2n 在迹零对称 2-张量上具有平凡的 L² 核？
• RQ3 能否将接近双曲空间的爱因斯坦度量摄动结果推广至具有非正曲率或非负 Yamabe 不变量共形无穷的度量？
• RQ4 如何在渐近双曲设定下发展椭圆算子的弗雷德霍姆理论，以确保非线性爱因斯坦方程的可解性？
• RQ5 共形无穷的 Yamabe 不变量在附近爱因斯坦度量的存在性中起何种作用？

主要发现

• 对于任意具有非正截面曲率的渐近双曲爱因斯坦度量 h，存在 ε > 0，使得对任意 ∂M 上的 C^{l,β} 度量 ĝ，只要 ||ĝ - ĥ||_{C^{l,β}} < ε，则存在唯一一个 M 上的渐近双曲爱因斯坦度量 g，其共形无穷为 [ĝ]。
• 若共形无穷 [ĥ] 具有非负 Yamabe 不变量，且 h 的截面曲率有上界 (n² - 8n)/(8n - 8)，则 Lichnerowicz 拉普拉斯算子加 2n 在迹零对称 2-张量上具有平凡的 L² 核。
• 当 h 具有非正截面曲率时，Δ_L + 2n 具有平凡的 L² 核，这由不等式 (u, (Δ_L + 2n)u) ≥ (n - 1)κ||u||² 与 κ ≥ 0 所保证。
• 当 h 具有零截面曲率时，由于弱唯一延拓性质及曲率在无穷远处趋近于 -1，解必恒为零。
• 通过隐函数定理构造的解 g 在 C² 范数下一致接近 h，从而保证 g 具有严格负的 Ricci 曲率，因此根据 Graham 和 Lee 的结果，g 为爱因斯坦度量。
• 所得度量 g 为 C^{l,β} 类的共形紧致度量，ρ²g 在边界上光滑延拓并代表共形类 [ĝ]。