[論文レビュー] Behavior of Gaussian curvature and mean curvature near non-degenerate singular points on wave fronts

Luciana F. Martins, Kentaro Saji+2 more|arXiv (Cornell University)|Aug 9, 2013

Geometric Analysis and Curvature Flows参考文献 12被引用数 4

ひとこと要約

本稿では、リーマン3次元多様体上の波面における非退化特異点に対して、固有の幾何的不変量である、cuspidal curvature $\kappa_c$ と limiting normal curvature $\kappa_\nu$ を導入する。また、その積 $\kappa_\Pi = \kappa_\nu \kappa_c$ が、高斯曲率の有界性を決定する固有不変量であることが示され、$\kappa_\Pi = 0$ であることは、特異点近傍における高斯曲率が有理的有界であるための必要十分条件である。

ABSTRACT

We define cuspidal curvature $κ_c$ (resp. normalized cuspidal curvature $μ_c$) along cuspidal edges (resp. at swallowtail singularity) in Riemannian $3$-manifolds, and show that it gives a coefficient of the divergent term of the mean curvature function. Moreover, we show that the product $κ_Π$ called the product curvature (resp. $μ_Π$ called normalized product curvature) of $κ_c$ (resp. $μ_c$) and the limiting normal curvature $κ_ν$ is an intrinsic invariant of the surface, and is closely related to the boundedness of the Gaussian curvature. We also consider the limiting behavior of $κ_Π$ when cuspidal edges accumulate to other singularities. Moreover, several new geometric invariants of cuspidal edges and swallowtails are given.

研究の動機と目的

• リーマン3次元多様体上の波面における非退化特異点のための固有幾何的不変量を定義すること。
• cusp曲線やswallowtail特異点近傍における高斯曲率と平均曲率の振る舞いと、固有微分不変量との関係を明確にすること。
• 積曲率 $\kappa_\Pi = \kappa_\nu \kappa_c$ が、高斯曲率の有界性を決定する固有不変量であることを確立すること。
• 任意のランク1特異点における limiting normal curvature $\kappa_\nu$ の概念を一般化すること。
• cusp曲線が他の特異点に近づく際の $\kappa_c$ と $\kappa_\nu$ の極限的挙動を分析すること。

提案手法

• cusp曲線に沿って、平均曲率関数の発散項における最初の係数として cusp曲率 $\kappa_c$ を定義する。
• 第一基本形式とガウス写像から導かれる幾何的不変量として limiting normal curvature $\kappa_\nu$ を導入する。
• 積曲率 $\kappa_\Pi = \kappa_\nu \kappa_c$ を構成し、第一基本形式の座標不変表現を用いてそれが固有不変量であることを証明する。
• 吹き上げ技法を用いて、特異点近傍における曲率関数の有理的有界性と連続性を定義する。
• ウェイングルテンの公式とガウス方程式を用いて、符号付き面積要素 $d\hat{A}$ を高斯曲率 $K$ とガウス写像と関係付ける。
• de Sitter空間 $S^3_1$ へのガウス写像を考慮することにより、双曲的3次元空間 $H^3$ に対しても同様の結果を示す。

実験結果

リサーチクエスチョン

• RQ1 非退化特異点近傍における波面の高斯曲率と平均曲率の振る舞いを支配する固有不変量は何か？
• RQ2 積曲率 $\kappa_\Pi = \kappa_\nu \kappa_c$ は、高斯曲率の有界性とどのように関係しているか？
• RQ3 cusp曲線またはswallowtail特異点近傍で高斯曲率が有理的有界となる条件は何か？
• RQ4 limiting normal curvature $\kappa_\nu$ はガウス写像の特異性とどのように関係しているか？
• RQ5 cusp曲線が他の特異点に近づくとき、曲率 $\kappa_c$ と $\kappa_\nu$ はどのように変化するか？

主な発見

• 積曲率 $\kappa_\Pi = \kappa_\nu \kappa_c$ は、表面の固有不変量であり、第一基本形式のみを用いて表現可能である。
• 非退化特異点 $p$ において、高斯曲率 $K$ が有理的有界であることは、$\kappa_\nu(p) = 0$ であることと同値である。
• $\mathbb{R}^3$ 内の波面に対して、2次微分形式 $K\,d\hat{A}$ の拡張が $p$ で消えることは、$\kappa_\nu(p) = 0$ であることと同値であり、これはガウス写像が $p$ で特異点を持つことと同値である。
• cusp曲率 $\kappa_c$ は、cusp曲線の接線方向に直交する平面断面におけるcuspの曲率と一致する。
• swallowtail特異点における正規化された積曲率 $\mu_\Pi = \kappa_\nu \mu_c$ もまた固有不変量であり、高斯曲率の有界性を制御する。
• cusp曲線が他の特異点に近づくとき、limiting normal curvature $\kappa_\nu$ と cusp曲率 $\kappa_c$ は制御された発散を示すが、$\kappa_\Pi$ が有界のままであるのは $\kappa_\nu \to 0$ のときに限る。