[论文解读] Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$

José M. M. Veloso, Marcos M. Diniz|arXiv (Cornell University)|Oct 26, 2012

Advanced Differential Geometry Research参考文献 3被引用 4

一句话总结

本文在子黎曼海森堡群 $\mathbb{H}^1$ 中建立了高斯-博内定理，通过水平高斯映射与球面Hausdorff测度定义了一种新型高斯曲率 $K$。对于微分同胚于环面的紧致曲面，总曲率积分为零，$\int_S K = 0$，将经典微分几何推广至具有特征方向和角部面积项的非欧几里得子黎曼几何。

ABSTRACT

We prove a version of Gauss-Bonnet theorem in sub-Riemannian Heisenberg space $H^1$. The sub-Riemannian distance makes $H^1$ a metric space and consenquently with a spherical Hausdorff measure. Using this measure, we define a Gaussian curvature at points of a surface S where the sub-Riemannian distribution is transverse to the tangent space of S. If all points of S have this property, we prove a Gauss-Bonnet formula and for compact surfaces (which are topologically a torus) we obtain $\int_S K = 0$.

研究动机与目标

• 将经典高斯-博内定理推广至海森堡群 $\mathbb{H}^1$ 的子黎曼几何设定中。
• 为横截于子黎曼分布的曲面定义有意义的高斯曲率 $K$ 概念。
• 在具有分段光滑边界的情况下，将测地曲率与角部面积纳入高斯-博内公式。
• 证明在 $\mathbb{H}^1$ 中，紧致、定向曲面的总曲率消失：$\int_S K = 0$。
• 建立一个框架，使用水平法向场、适配协变导数与球面Hausdorff测度，适用于非欧几里得度量空间。

提出的方法

• 定义水平高斯映射 $g = \exp \circ L^* \circ \eta^*$，将曲面上的点映射到水平分布中的单位圆周。
• 通过图像区域与定义域区域的球面Hausdorff测度之比的极限，引入高斯曲率 $K(p)$。
• 通过将左不变联络 $\overline{\nabla}$ 投影到水平法向方向，构造曲面上的适配协变导数 $\nabla$。
• 利用归一化的切向场 $T = \gamma' / \mathbf{e}^0(\gamma')$，为横截于特征方向的曲线定义测地曲率 $k$。
• 引入角部面积 $\mathrm{ca}(v,w)$，定义为 $\mathrm{d}V(\eta,v,w)/ (\mathbf{e}^0(v)\mathbf{e}^0(w))$，以处理边界顶点处的非光滑性。
• 通过微分形式与斯托克斯定理在三角剖分区域上的应用，推导出高斯-博内公式 $\int_\gamma k + \sum \mathrm{ca}_j + \int_R K = 0$。

实验结果

研究问题

• RQ1 在度量非黎曼且几何不可积的子黎曼海森堡群 $\mathbb{H}^1$ 中，如何构建高斯-博内定理？
• RQ2 当标准高斯映射因水平分布而失效时，如何为 $\mathbb{H}^1$ 中的曲面定义合适的高斯曲率 $K$？
• RQ3 在具有特征方向奇点的非欧几里得设定下，测地曲率与角部面积如何贡献于高斯-博内公式？
• RQ4 在满足横截性条件 $T_pS \neq D_p$ 的条件下，紧致曲面在 $\mathbb{H}^1$ 中会面临何种拓扑约束？
• RQ5 为何在 $\mathbb{H}^1$ 中，紧致、定向曲面的总曲率 $\int_S K$ 消失？这与曲面微分同胚于环面有何关联？

主要发现

• 本文建立了 $\mathbb{H}^1$ 中曲面的高斯-博内公式：$\int_\gamma k + \sum_{j=1}^r \mathrm{ca}_j + \int_R K = 0$，其中 $k$ 为测地曲率，$\mathrm{ca}_j$ 为角部面积，$K$ 为所定义的高斯曲率。
• 对于 $\mathbb{H}^1$ 中满足 $T_pS \neq D_p$ 处处成立的紧致、定向曲面，总曲率消失：$\int_S K = 0$，表明此类曲面在拓扑上同胚于环面。
• 曲率 $K$ 通过涉及球面Hausdorff测度与水平高斯映射的极限定义，确保与适配联络及曲率形式的一致性。
• 角部面积 $\mathrm{ca}(v,w)$ 量化了非光滑边界点处切向量之间的角度偏差，推广了经典几何中的外角概念。
• 证明依赖于对曲面进行三角剖分，并在相邻三角形之间应用斯托克斯定理与微分形式，实现边界项与角部项的抵消。
• 紧致曲面上存在非零的特征向量场，表明其微分同胚于环面，从而支持了拓扑结论。