[論文レビュー] Envelopes of Horospheres and Weingarten Surfaces in Hyperbolic 3-Space

Charles L. Epstein|arXiv (Cornell University)|Jan 22, 2024

Geometric Analysis and Curvature Flows被引用数 14

ひとこと要約

この論文は、超曲面を horosphere の包絡として表現を開発し、この設定での基本的な微分幾何を導出し、平行（Weingarten）流を分析し、境界∞を prescribed にする α-Weingarten surfaces in H^3 の existence/regularity を証明し、それらを conformal mappings および Schwarzian-type invariants へ link する。

ABSTRACT

We derive basic differential geometric formulae for surfaces in hyperbolic space represented as envelopes of horospheres. The dual notion of parallel hypersurfaces is also studied. The representation is applied to prove existence and regularity theorems for Weingarten surfaces in H^3, which satisfy (1-a)K = a(2-H), for an a < 0, and have a specified boundary curve at infinity. These surfaces are shown to be closely connected to conformal mappings of domains in S^2 into the unit disk and provide Riemannian interpretations for some conformal invariants associated to such mappings. This paper was originally written in 1984, before I learned to use TeX, and was typed by one of the secretaries in the Princeton Math Department. It was more or less, my first original work after my dissertation. For some reason, I was not able to get this paper published in a timely manner. The results and perspective in this paper have proved to be useful to a variety of people, some of whom asked me to render the article into TeX and post it to the arXiv. I had been seriously thinking about doing this, when Martin Bridgeman sent me a transcription of my original article into TeX. I am extremely grateful to him for the effort he has put into this project. The paper is now formatted in a more or less modern AMS-article style, but for lots of additional punctuation, a few corrections and some minor stylistic changes, the content has been largely reproduced as it originally was. Remarks about the 'state-of-the-art' in hyperbolic geometry are obviously way out of date, as there has been enormous progress in many aspects of this still rich subject.

研究の動機と目的

• 超曲面を horospheres の包絡として表現することを動機づけ formalize する。
• そのような包絡体とその平行（Weingarten-type）曲面の explicit な微分幾何公式を開発する。
• H^3 における α-Weingarten surfaces の existence および regularity を境界 at infinity を prescribed のもとで確立する。
• α-Weingarten surfaces を S^2 の領域の conformal maps into the unit disk へ link し、 conformal invariants を幾何学的に解釈する。

提案手法

• hypersurface を horospheres H(θ,ρ(θ)) の outer envelopes として表現し、包絡の parametrization (2.5) として Rρ(θ) を導く。
• unit normal による平行流 Sigma_t を研究し、 Σ_t(ρ)=Σ(ρ+t)（定理 2.1）を証明する。
• 平行流の下で第一・第二基本形式の進化方程式を導出する： dg_{ij}/dt = −2 Π_{ij}, dΠ_{ij}/dt = Π_{il}Π_{lj} − δ_{ij}, dΠ_{ij}/dt = 4Π_{ij}（定理 3.1）。
• 主曲率の ODE が流れに沿って分離される： dk_i/dt = k_i^2 − 1（系 3.2 の系外化 Corollary 3.2）。
• 焦点集合と凸性の概念を H^{n+1} で特徴づけ、α-Weingarten 面の Dirichlet 問題（α<0）を asymptotic boundary で適用する。 conformal maps および Schwarzian-type invariants への関連を示す。

実験結果

リサーチクエスチョン

• RQ1 超曲_space において immersed hypersurfaces を horospheres の包絡として表現できるか、そして得られる幾何量は何か？
• RQ2 平行流のもとで幾何データ（第一/第二基本形式、主曲率）の進化法則は何か、特に特異点の形成にどう影響するか？
• RQ3 境界 infinite に prescribed なデータを持つ α-Weingarten surfaces（(1−α)K = α(2−H)、α<0）は存在するか、どれくらい正則か？
• RQ4 α-Weingarten surfaces と S^2 の領域の unit disk への conformal maps との関係は何か、リーマン幾何的解釈を持つ conformal invariants は何か？

主な発見

• H^{n+1} の超曲面の具体的な包絡 representation R_ρ(θ) が得られ、 horosphere を surface geometry に結びつける。
• 平行流は ρ を t だけずらすことに対応する： Σ_t(ρ)=Σ(ρ+t)（定理 2.1）。
• 平行流の下で第一/第二基本形式は線形/半非線形の分離方程式で進化し、主曲率は独立な Riccati-type の ODE を満たす（ dk_i/dt = k_i^2 − 1 ）Corollary 3.2。
• 平行流に沿う焦点集合と特異性の基準を確立し、 det g_{ij}(t) が 0 になる precisely のときのみ滑らかさが失われる。
• α-Weingarten Dirichlet 問題（α<0）は conformal maps S^2 → D へ結びつき、関連する conformal invariants のリーマン幾何的解釈（Schwarzian-type 構造）を与える。
• 超曲空间における凸性の概念を研究し、主曲率を制御した完全な超曲面には自selves intersections がなくなる（定理 3.4）。