[論文レビュー] Global geometry and topology of spacelike stationary surfaces in the 4-dimensional Lorentz space

Zhiyu Liu, Xiang Ma+2 more|arXiv (Cornell University)|Mar 24, 2011

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

ひとこと要約

本稿は、4次元ローレンツ空間における時空的静止表面（平均曲率がゼロ）に対して、ガウス写像を2つ導入し、ワイエルシュトラス表現を用いたガウス＝ボンネ型の公式を確立する。有限な全曲率であっても、本質的特異点のためガウス写像の解析的拡張が保証されないことが示され、一般化されたキャテンォイド、ヘリコイド、エネッパー曲面の埋め込み例が構成される。これは3次元の最小曲面の剛性とは著しく対照的である。

ABSTRACT

For spacelike stationary (i.e. zero mean curvature) surfaces in 4-dimensional Lorentz space one can naturally introduce two Gauss maps and Weierstrass representation. In this paper we investigate their global geometry systematically. The total Gaussian curvature is related with the surface topology as well as the indices of the so-called good singular ends by a generalized Jorge-Meeks formula. On the other hand, as shown by a family of counter-examples to Osserman's theorem, finite total curvature no longer implies that Gauss maps extend to the ends. Interesting examples include the generalization of the classical catenoids, helicoids, the Enneper surface, and Jorge-Meeks' k-noids. Any of them could be embedded in the 4-dimensional Lorentz space, showing a sharp contrast with the case of 3-dimensional Euclidean space.

研究の動機と目的

• R³における最小曲面のグローバル理論を、最小でないが平均曲率がゼロであるR⁴₁における静止表面へ拡張すること。
• 有限な全曲率であっても、本質的特異点のためガウス写像の解析的拡張が保証されない状況において、ガウス写像および曲率積分の振る舞いを調査すること。
• R⁴₁における一般化された古典的曲面（キャテンォイド、ヘリコイド、エネッパー、k-ノイド）の埋め込み例を構成し、3次元の場合と比較して埋め込みの制約が弱いことを示すこと。
• 全曲率をトポロジーおよび良い特異的端のインデックスに関連付けるガウス＝ボンネ型の公式を確立し、ジョルジュ＝ミーカスの公式を一般化すること。
• 有理型関数としてのガウス写像φとψの値分布を分析し、特にφ = ȳのときが特異的端および曲率発散を示唆することを明らかにすること。

提案手法

• 2つの有理型関数φ, ψ（ガウス写像）と正則1次微分形式dh（高さ微分）を用いたワイエルシュトラス型表現を導入する。
• 2種類の端を定義する：良い特異的端（φ = ȳで異なる極限を持つ）と悪い特異的端（極限が一致し、曲率が発散する）。
• 各良い特異的端に、φとȳの多重度の差を用いてインデックスを割り当てる。
• 代数的静止表面に対してガウス＝ボンネ型の公式を導出する：∫K dM = 2πχ(M) − 2π∑ind(e) であり、これは曲率をトポロジーおよび端のインデックスに関連付ける。
• 曲率形式および特異点を調べるために、写像(φ, ȳ): M → Q² ⊂ CP¹×CP¹を用いる。ここでQ² = {(z, ȳ) | z ≠ ȳ}であり、不変2次微分形式Θ = dz ∧ dȳ / (z − ȳ)²が存在する。
• 3通りの方法により新しい例を構成する：x_z dzを指定し⟨x_z, x_z⟩ = 0を満たすようにし、既知の例を変形し、与えられた除数からワイエルシュトラスデータを決定する。

実験結果

リサーチクエスチョン

• RQ1 R⁴₁における有限な全曲率は、Ossermanの定理がR³に適用されるのと同様に、ガウス写像が端に解析的に拡張されることを保証するか？
• RQ2 φ = ȳである端において、曲率積分が収束するための条件は何か？ また、このような端はどのように分類できるか？
• RQ3 R⁴₁に一般化されたキャテンォイド、ヘリコイド、エネッパー曲面の埋め込み例が存在するか？ それらは3次元の類似物とどのように異なるか？
• RQ4 不変2次微分形式Θ = dz ∧ dȳ / (z − ȳ)²は、ガウス写像像における曲率および特異点を特徴付ける上で果たす役割は何か？
• RQ5 リーマン面上で方程式φ = ȳが解を持つための条件は何か？ また、その解が表面のグローバル幾何に与える影響は？

主な発見

• R⁴₁における有限な全曲率であっても、ガウス写像の解析的拡張が保証されない。本質的特異点を持つ反例が存在する。
• 代数的静止表面に対するガウス＝ボンネ公式は、∫K dM = 2πχ(M) − 2π∑ind(e) であり、ここでind(e)は良い特異的端のインデックスである。
• R⁴₁には一般化されたキャテンォイド、ヘリコイド、エネッパー曲面の埋め込み例が存在し、埋め込みが3次元の場合ほど制約が強くないことが示された。
• 写像(φ, ȳ): M → Q² ⊂ CP¹×CP¹は曲率解析の中心的役割を果たし、Θ = dz ∧ dȳ / (z − ȳ)²が−K + iK⊥に定数倍で引き戻される。
• 悪い特異的端（φ = ȳで多重度が等しい）では曲率積分が発散するが、良い特異的端では絶対収束する。
• deg(φ) ≠ deg(ψ)のとき、方程式φ = ȳは解をもたない。解が存在する場合は、孤立点または有限個の接続点を持つ解析的弧である。