[论文解读] Renormalized area and properly embedded minimal surfaces in hyperbolic 3-manifolds

Spyridon Alexakis, Rafe Mazzeo|ArXiv.org|Feb 15, 2008

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

一句话总结

本文在双曲3-流形中为恰当嵌入的极小曲面的重整化面积泛函 𝒜 建立了局部公式，推导出 𝒜 的一阶与二阶变分的显式表达式，以曲面在渐近边界上的积分为形式。证明了此类曲面的模空间为光滑Banach流形，并为边界映射建立了 ℤ-值的度理论，表明 𝒜 是Willmore泛函的共形自然推广，且对加倍曲面有 𝒜(Y) = −½𝒲(2Y)。

ABSTRACT

If $Y$ is a properly embedded minimal surface in a convex cocompact hyperbolic 3-manifold $M$ with boundary at infinity an embedded curve $γ$, then Graham and Witten showed how to define a renormalized area $\calA$ of $Y$ via Hadamard regularization. We study renormalized area as a functional on the space of all such minimal surfaces. This requires a closer examination of these moduli spaces; following White and Coskunuzer, we prove these are Banach manifolds and that the natural map taking $Y$ to $γ$ is Fredholm of index zero and proper, which leads to the existence of a $\ZZ$-valued degree theory for this mapping. We show that $\calA(Y)$ can be expressed as a sum of the Euler characteristic of $Y$ and the total integral of norm squared of the trace-free second fundamental form of $Y$. An extension of renormalized area to a wider class of nonminimal surfaces has a similar formula also involving the integral of mean curvature squared. We prove a formula for the first variation of renormalized area, and characterize the critical points when $M = \HH^3$ and $γ$ has a single component. All of these results have analogues for 4-dimensional Poincaré-Einstein metrics. We conclude by discussing the relationship of $\calA$ to the Willmore functional.

研究动机与目标

• 在双曲3-流形中为重整化面积泛函 𝒜 建立严格的变分理论，特别关注具有光滑渐近边界的标准嵌入极小曲面。
• 证明此类极小曲面的模空间为光滑Banach流形，并为从曲面到其渐近曲线的边界映射定义 ℤ-值度。
• 以全局边界量表示 𝒜 的一阶与二阶变分的显式积分公式，从而刻画非退化的临界点。
• 阐明 𝒜 与经典Willmore泛函之间的关系，证明对加倍曲面有 𝒜(Y) = −½𝒲(2Y)。
• 为在曲率非零、共形紧致的设定下通过Willmore泛函研究极值曲面提供一个框架。

提出的方法

• 使用Hadamard正则化方法，尽管极小曲面在双曲空间中面积无穷，仍定义重整化面积 𝒜 为有限量。
• 应用几何分析与PDE技巧，包括尺度不变的Schauder估计及平均曲率算子的线性化，以控制边界行为。
• 构造从极小曲面的Banach流形 ℳₖ(M) 到边界曲线的Banach流形 ℰ 的Fredholm映射 Π，其指标为0，从而支持 ℤ-值度理论。
• 将 M 中的极小曲面进行加倍，得到 2M（即 M 的加倍）中的闭曲面，通过恒等式 𝒜(Y) = −½𝒲(2Y) 将 𝒜 与Willmore泛函 𝒲 联系起来。
• 利用边界定义函数 x 的渐近展开式，将度量表达为边界量，从而在重整化面积公式中表达几何量如平均曲率与第二基本形式。
• 通过障碍函数与比较原理分析极小曲面方程在边界附近的解的行为，包括使用 u_c(s,x) = u(s,x) − c x^{3+β} 来在最大值原理论证中导出矛盾。

实验结果

研究问题

• RQ1 在双曲3-流形中，恰当嵌入的极小曲面的重整化面积泛函 𝒜 的局部几何公式是什么？
• RQ2 𝒜 的一阶与二阶变分如何依赖于渐近边界曲线 γ？能否以 γ 上的全局积分形式表达？
• RQ3 具有嵌入渐近边界的恰当嵌入极小曲面的模空间是否为光滑Banach流形？其上可定义哪些拓扑不变量（如度）？
• RQ4 重整化面积泛函 𝒜 与Willmore泛函 𝒲 之间的精确关系是什么？
• RQ5 在 ℳₖ(ℍ³) 中是否存在非退化的临界点？其缺失对极值序列意味着什么？

主要发现

• 重整化面积泛函 𝒜 允许以几何不变量的积分为形式的局部公式，其显式表达式为 𝒜(Y) = −2πχ(Y) − ∫_Y (H̄² − κ₁κ₂) dAḡ。
• 𝒜 的一阶与二阶变分由渐近边界曲线 γ 上的全局量的积分给出，建立了边界数据与面积变分之间的直接联系。
• 在凸cocompact双曲3-流形 M 中，亏格为 k 的恰当嵌入极小曲面的模空间 ℳₖ(M) 是光滑Banach流形，且边界映射 Π: ℳₖ(M) → ℰ 是指标为0的恰当Fredholm映射，支持 ℤ-值度。
• 在 ℳₖ(ℍ³) 中，当亏格 k > 0 时，不存在非退化的临界点，表明极值序列可能不收敛于同亏格的曲面。
• 证明了泛函 𝒜 是Willmore泛函的共形自然推广，且对加倍曲面有 𝒜(Y) = −½𝒲(2Y)。
• 边界映射的度理论的存在使得对具有预设边界的极小曲面的精细存在性结果成为可能，扩展了经典存在性定理。