[論文レビュー] The fundamental theorems for curves and surfaces in 3d Heisenberg group

Hung-Lin Chiu, Sin-Hua Lai|arXiv (Cornell University)|Jan 28, 2013

Advanced Differential Geometry Research参考文献 5被引用数 6

ひとこと要約

本稿は、3次元ヘイゼンベルク群 $H^1$ における曲線と曲面の基本定理を、カルタンの動径法とリー群論を用いて確立する。水平的正則な曲線に関して、$p$-曲率と $T$-変動が完全不変量であることを特定し、これらがヘイゼンベルク群の剛体運動を除いて曲線を一意に決定することを証明する。曲面に関しては、内在的不変量を用いてガウス曲率の公式と新しいオイラー特性数の公式を導出する。

ABSTRACT

We study the local equivalence problems of curves and surfaces in three dimensional Heisenberg group via Cartans method of moving frames and Lie groups, and find a complete set of invariants for curves and surfaces. For surfaces, in terms of these invariants and their suitable derivatives, we also give a Gaussian curvature fromula of the metric induced from the adapted metric on Heisenberg group, and hence form a new formula for the Euler number of a closed surface.

研究の動機と目的

• 3次元ヘイゼンベルク群 $H^1$ における曲線の基本定理を、古典的ユークリッドの場合に類似した形で確立すること。
• 擬ヘルミート群 $PSH(1)$ の作用の下で、曲線と曲面の完全な微分不変量の集合を同定すること。
• 適応度量に基づく、$H^1$ 内の曲面上の誘導計量のガウス曲率の公式を導出すること。
• 曲率不変量に基づいて、$H^1$ 内の閉曲面のオイラー特性数の新しい公式を構成すること。
• $T$-変動の消滅と一定の $p$-曲率を満たすことで、$H^1$ 内の測地線を特徴付けること。

提案手法

• 標準的な擬ヘルミート構造 $(J_0, \theta_0)$ を持つ3次元ヘイゼンベルク群 $H^1$ にカルタンの動径法を適用する。
• 水平的正則な曲線の水平弧長パラメータ化を定義し、速度の水平成分を正規化する。
• 曲線の主要な不変量として、$p$-曲率 $k(s) = \langle \frac{dX}{ds}, Y \rangle$ と $T$-変動 $\tau(s) = \langle \gamma', T \rangle$ を導入する。
• 曲線のパラメトリック導関数を用いて、$k(t)$ と $\tau(t)$ の明示的公式を導出する：$k(t) = \frac{x'y'' - x''y'}{((x')^2 + (y')^2)^{3/2}}$、$\tau(t) = \frac{xy' - x'y + z'}{((x')^2 + (y')^2)^{1/2}}$。
• ダーブォー微分と構造方程式を用いて、$H^1$ への曲面埋め込みの可積分性条件を、誘導計量、$p$-変動 $\alpha$、$p$-平均曲率 $l$ を用いて導出する。
• ダーブォー微分が不変量によって一意に定まることを示すことにより、曲面埋め込みが $PSH(1)$-作用を除いて一意に定まることを証明する。

実験結果

リサーチクエスチョン

• RQ1 3次元ヘイゼンベルク群における曲線を、擬ヘルミート的剛体運動を除いて分類する完全な微分不変量は何であるか？
• RQ2 $H^1$ 内の曲線の基本定理は、古典的ユークリッドの場合に類似した形でどのように定式化できるか？
• RQ3 適応計量によって誘導される $H^1$ 内の曲面のガウス曲率の内在的公式は何か？
• RQ4 閉曲面のオイラー特性数は、曲率不変量を用いてどのように表現できるか？
• RQ5 $p$-曲率と $T$-変動を用いて、$H^1$ 内の測地線はどのように特徴付けられるか？

主な発見

• 水平的正則な曲線は、$p$-曲率 $k(s)$ と $T$-変動 $\tau(s)$ によって、$PSH(1)$-剛体運動を除いて一意に決定される。
• 任意の滑らかな関数 $k(s)$ と $\tau(s)$ は、水平弧長パラメータ化されたある水平的正則曲線の不変量として実現可能である。
• $H^1$ 内の測地線は、$\tau = 0$ かつ一定の $k = c$ を満たす曲線として特徴付けられ、不変量による幾何的特徴付けを確認する。
• 閉曲面のオイラー特性数の新しい公式が、ガウス曲率と誘導計量の不変量を用いて導出された。
• $H^1$ 内の曲面のガウス曲率は、構造方程式を用いて $p$-変動 $\alpha$、$p$-平均曲率 $l$ 及びそれらの微分の明示的式で表される。
• $H^1$ への曲面埋め込みの可積分性条件は、$d\omega_1^2 = 0$ と同値であり、$PSH(1)$-作用を除いて存在と一意性を保証する。