[論文レビュー] 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次元多様体内の適切に埋め込まれた最小的超曲面における正規化面積関数 functional 𝒜 に対して、局所的公式を確立し、漸近的境界上で積分として表される 𝒜 の明示的な一次および二次の変化を導出する。また、このような超曲面のモジュライ空間が滑らかなバナッハ多様体であることを証明し、境界写像に対して ℤ-値の次数理論を構築する。さらに、𝒜 がウィルモア関数 functional の共形的自然な一般化であることを示し、二重化された超曲面に対して 𝒜(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次元多様体における正規化面積関数 functional 𝒜 の厳密な変分論を発展させること、特に滑らかな漸近的境界をもつ適切に埋め込まれた最小的超曲面に対して。
• このような最小的超曲面のモジュライ空間が滑らかなバナッハ多様体であることを確立し、超曲面からその漸近的曲線への境界写像に対して ℤ-値の次数を定義すること。
• 𝒜 の一次および二次の変化に対する明示的な積分式を、グローバルな境界量を用いて導出し、非退化な臨界点の特徴づけを可能にする。
• 𝒜 と古典的ウィルモア関数 functional の間の正確な関係を明確にし、二重化された超曲面 2Y に対して 𝒜(Y) = −½𝒲(2Y) が成り立つことを示すこと。
• 曲がった、共形的コンパクトな設定下でウィルモア関数を用いた極値超曲面の研究のための枠組みを提供すること。

提案手法

• 最小的超曲面の面積が無限大であるにもかかわらず、正規化面積 𝒜 を有限量として定義するためのハダマール正則化の使用。
• 幾何解析およびPDE技法の応用、特にスケール不変のシューディンガー推定と平均曲率作用素の線形化を用いて境界挙動を制御すること。
• 最小的超曲面のバナッハ多様体 ℳₖ(M) と境界曲線の空間 ℰ の間の、指数 0 のフレドホルム写像 Π: ℳₖ(M) → ℰ を構築し、ℤ-値の次数理論を可能にする。
• 多様体 M 内の最小的超曲面を二重化して 2M（M の二重）内の閉じた超曲面 2Y にすることにより、𝒜 とウィルモア関数 functional 𝒲 の間の関係 𝒜(Y) = −½𝒲(2Y) を確立すること。
• 境界定義関数 x を用いた計量の漸近的展開を用いて、平均曲率や第二基本形式などの幾何的量を正規化面積の公式に表現すること。
• 壁関数と比較原理を用いた、最小的超曲面方程式の解が境界付近での挙動の分析、特に u_c(s,x) = u(s,x) − c x^{3+β} を用いて最大原理の矛盾を導くこと。

実験結果

リサーチクエスチョン

• RQ1 適切に埋め込まれた最小的超曲面における正規化面積関数 functional 𝒜 の局所的幾何的公式は何か？
• RQ2 𝒜 の一次および二次の変化は漸近的境界曲線 γ にどのように依存するか？ そして、これらは γ 上のグローバル積分として表現可能か？
• RQ3 滑らかな漸近的境界をもつ適切に埋め込まれた最小的超曲面のモジュライ空間は、滑らかなバナッハ多様体か？ また、その上にどのような位相的不変量（例：次数）を定義できるか？
• RQ4 正規化面積関数 functional 𝒜 とウィルモア関数 functional 𝒲 の正確な関係は何か？
• RQ5 ℳₖ(ℍ³) 内に非退化な臨界点は存在するか？ その不在は極値列に対して何を示唆するか？

主な発見

• 正規化面積関数 functional 𝒜 は、幾何的不変量の積分としての局所的公式を有し、明示的な式 𝒜(Y) = −2πχ(Y) − ∫_Y (H̄² − κ₁κ₂) dAḡ を持つ。
• 𝒜 の一次および二次の変化は、漸近的境界曲線 γ 上のグローバル量の積分として与えられ、境界データと面積変化の直接的な関係を確立する。
• 凸ココンパクトな双曲的3次元多様体 M 内の genus k の適切に埋め込まれた最小的超曲面のモジュライ空間 ℳₖ(M) は滑らかなバナッハ多様体であり、境界写像 Π: ℳₖ(M) → ℰ は指数 0 の適切なフレドホルム写像であり、ℤ-値の次数が存在する。
• genus k > 0 の場合、ℳₖ(ℍ³) 内に非退化な臨界点は存在しない。これは、極値列が同じ genus の超曲面に収束しない可能性を示唆する。
• 関数 functional 𝒜 がウィルモア関数 functional の共形的自然な一般化であることが示され、二重化された超曲面 2Y に対して 𝒜(Y) = −½𝒲(2Y) が成り立つ。
• 境界写像に対する次数理論の存在により、所望の境界をもつ最小的超曲面の存在に関する精密な存在定理が得られ、古典的存在定理の拡張が可能になる。