[論文レビュー] 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$ 内の曲面に対して、水平ガウス写像と球面ヒューベルト測度を用いて新しいガウス曲率 $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$。
• 非ユークリッド的計量空間における水平法線場、適応型共変微分、球面ヒューベルト測度を用いた枠組みを確立すること。

提案手法

• 水平ガウス写像 $g = \exp \circ L^* \circ \eta^*$ を定義し、曲面の点を水平分布内の単位円板へ写像する。
• 画像領域と定義域領域の球面ヒューブルト測度の比の極限としてガウス曲率 $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$ を満たす場合、コンパクト曲面に生じる位相的制約は何か？
• RQ5 コンパクトかつ向き付け可能な曲面において、全曲率 $\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$ は定義されたガウス曲率である。
• すべての点 $p$ で $T_pS \neq D_p$ を満たす $\mathbb{H}^1$ 内のコンパクトかつ向き付け可能な曲面に対して、全曲率が消える：$\int_S K = 0$ であり、このことはそのような曲面が位相的にトーラスに同相であることを示唆する。
• 曲率 $K$ は球面ヒューブルト測度の極限と水平ガウス写像を用いて定義され、適応接続および曲率形式と整合的であることを保証する。
• 角領域 $\mathrm{ca}(v,w)$ は、非滑らか境界点における接ベクトル間の角度のずれを定量化し、古典幾何学における外角を一般化する。
• 証明は、曲面を三角形に分割し、微分形式に対してストークスの定理を適用することで、隣接する三角形間で境界項と角項が相殺されることに依拠する。
• コンパクト曲面上に非ゼロの特徴的ベクトル場が存在することは、それがトーラスに微分同相であることを示唆し、位相的結論を正当化する。