[论文解读] 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

一句话总结

该论文利用移动标架法与李群理论，建立了三维Heisenberg群 $H^1$ 中曲线与曲面的基本定理。它识别出 $p$-曲率与 $T$-变化为水平正则曲线的完整不变量，并证明曲线在Heisenberg刚性运动下由这些不变量唯一确定。对于曲面，该文推导出高斯曲率公式与基于内蕴不变量的新欧拉示性数公式。

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.

研究动机与目标

• 建立类似于经典欧几里得情形的三维Heisenberg群 $H^1$ 中曲线的基本定理。
• 在伪Hermitian群 $PSH(1)$ 作用下，识别出曲线与曲面的一组完整微分不变量。
• 利用内蕴不变量，推导出 $H^1$ 中曲面诱导度量的高斯曲率公式。
• 基于曲率不变量，构建闭曲面在 $H^1$ 中的欧拉示性数的新公式。
• 通过 $T$-变化为零与 $p$-曲率恒定，刻画 $H^1$ 中的测地线。

提出的方法

• 将Cartan的移动标架法应用于具有标准伪Hermitian结构 $(J_0, \theta_0)$ 的三维Heisenberg群 $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}}$。
• 利用Darboux导数与结构方程，基于诱导度量、$p$-变化 $\alpha$ 与 $p$-平均曲率 $l$，推导出 $H^1$ 中曲面嵌入的可积性条件。
• 通过证明Darboux导数由不变量唯一确定，证明曲面嵌入在 $PSH(1)$ 作用下唯一。

实验结果

研究问题

• RQ1 在伪Hermitian刚性运动下，哪些完整的微分不变量可对 $H^1$ 中的曲线进行分类？
• RQ2 如何将 $H^1$ 中曲线的基本定理表述为类似于经典欧几里得情形的形式？
• RQ3 曲面在 $H^1$ 中由适配度量诱导的高斯曲率的内蕴公式是什么？
• RQ4 如何用曲率不变量表达 $H^1$ 中闭曲面的欧拉示性数？
• RQ5 如何通过 $p$-曲率与 $T$-变化刻画 $H^1$ 中的测地线？

主要发现

• 在 $PSH(1)$-刚性运动下，$p$-曲率 $k(s)$ 与 $T$-变化 $\tau(s)$ 完全确定 $H^1$ 中的水平正则曲线。
• 任意光滑函数 $k(s)$ 与 $\tau(s)$ 均可实现为某条以水平弧长参数化的水平正则曲线的不变量。
• $H^1$ 中的测地线被刻画为满足 $\tau = 0$ 且 $k = c$（常数）的曲线，由此通过不变量确认了其几何特征。
• 利用高斯曲率与诱导度量的不变量，推导出 $H^1$ 中闭曲面欧拉示性数的新公式。
• $H^1$ 中曲面的高斯曲率通过结构方程显式表示为 $p$-变化 $\alpha$、$p$-平均曲率 $l$ 及其导数的函数。
• $H^1$ 中曲面嵌入的可积性条件等价于 $d\omega_1^2 = 0$，从而保证在 $PSH(1)$-作用下存在性与唯一性。