[论文解读] Exhaustion of isoperimetric regions in asymptotically hyperbolic manifolds with scalar curvature $R\geq -6$

Dandan Ji, Yuguang Shi+1 more|arXiv (Cornell University)|Dec 9, 2015

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

一句话总结

该论文证明，在标量曲率 $ R \geq -6 $ 且质量参数 $ m > 0 $ 的三维渐近双曲流形中，等周区域要么充满整个流形，要么收敛到平均曲率为 $ H = 2 $ 的极限曲面，该曲面必须共形等价于 $ \mathbb{C} $。若霍金质量一致有界，则区域必充满流形，且等周轮廓展开式与重整化体积满足关系式 $ \lim_{i\to\infty}(A_g(v_i) - A_{\mathbb{H}}(v_i)) = -2V(M,g) $。

ABSTRACT

In this paper, aimed at exploring the fundamental properties of isoperimetric region in $3$-manifold $(M^3,g)$ which is asymptotic to Anti-de Sitter-Schwarzschild manifold with scalar curvature $R\geq -6$, we prove that connected isoperimetric region $\{D_i\}$ with $\mathcal{H}_g ^3(D_i)\geq δ_0>0$ cannot slide off to the infinity of $(M^3,g)$ provided that $(M^3,g)$ is not isometric to the hyperbolic space. Furthermore, we prove that isoperimetric region $\{D_i\}$ with topological sphere $\{\partial D_i\}$ as boundary is exhausting regions of $M$ if Hawking mass $m_H(\partial D_i)$ has uniform bound. In the case of exhausting isoperimetric region, we obtain a formula on expansion of isoperimetric profile in terms of renormalized volume.

研究动机与目标

• 理解三维渐近双曲流形中等周区域的渐近行为，其标量曲率满足 $ R \geq -6 $。
• 确定大尺寸等周区域是否可能“滑离”至无穷远，或必须充满流形。
• 建立等周区域构成流形充填的条件。
• 为充满流形的等周区域推导其等周轮廓展开式与重整化体积的关系公式。

提出的方法

• 通过几何与分析技术，研究等周区域序列 $ \{D_i\} $ 在体积 $ \mathcal{H}^3_g(D_i) \to \infty $ 时的极限行为。
• 将霍金质量有界性 $ m_H(\partial D_i) \leq C $ 作为关键条件，以排除非充满行为。
• 利用与 trace-free 第二基本形式 $ \AA $ 相关的曲率估计，证明在霍金质量有界条件下有 $ \int_{\Sigma_i} |\AA|^2 \to 0 $。
• 在极限曲面 $ \mathbb{S} $ 上应用高斯-博内定理，推导出 $ \int_{\mathbb{S}} K = 0 $，除非 $ (M,g) \cong \mathbb{H}^3 $，否则将导致矛盾。
• 将实际的等周轮廓 $ A_g(v) $ 与双曲空间的轮廓 $ A_{\mathbb{H}}(v) $ 进行比较，利用重整化体积框架下的体积与面积渐近展开。
• 通过 $ \sinh^2 \rho $ 及体积差的渐近展开，推导出关键恒等式 $ \lim_{i\to\infty}(A_g(v_i) - A_{\mathbb{H}}(v_i)) = -2V(M,g) $。

实验结果

研究问题

• RQ1 在标量曲率 $ R \geq -6 $ 的渐近双曲三维流形中，等周区域在何种条件下不会充满流形？
• RQ2 是否存在一个霍金质量有界的等周区域序列，其行为避免充满流形？
• RQ3 对于充满流形的等周区域，其等周轮廓的渐近展开式如何用重整化体积表示？
• RQ4 若存在一个极限曲面满足 $ H = 2 $ 且 $ \int K \leq 0 $，是否必然导致流形等距同构于 $ \mathbb{H}^3 $？
• RQ5 重整化体积 $ V(M,g) $ 如何与实际轮廓和双曲轮廓之间的差异相关联？

主要发现

• 若边界 $ \partial D_i $ 的霍金质量一致有界，则等周区域 $ \{D_i\} $ 必须充满流形 $ (M,g) $。
• 任何非充满的等周区域序列必收敛至一个极限曲面 $ \mathbb{S} $，该曲面为完备、稳定、常平均曲率曲面，且满足 $ H = 2 $，共形等价于 $ \mathbb{C} $。
• 若此类极限曲面存在且满足 $ \int_{\mathbb{S}} K \leq 0 $，则 $ (M,g) $ 必须等距同构于 $ \mathbb{H}^3 $，与 $ m > 0 $ 矛盾，因此在此条件下非充满行为被排除。
• 对于充满流形的等周区域，等周轮廓满足 $ \lim_{i\to\infty}(A_g(v_i) - A_{\mathbb{H}}(v_i)) = -2V(M,g) $，从而将轮廓与重整化体积联系起来。
• 在霍金质量有界条件下，有 $ \int_{\Sigma_i} |\AA|^2 \to 0 $ 当 $ i \to \infty $，表明曲面趋于更加圆形。
• 体积差 $ \mathcal{H}^3_g(D_i) - \mathcal{H}^3_{\mathbb{H}}(D_i) \to V(M,g) $，且面积差渐近受此体积项控制。