[論文レビュー] Sub-Riemannian structures on 3D Lie groups

Andrei Agrachev, Davide Barilari|arXiv (Cornell University)|Jul 28, 2010

Geometric Analysis and Curvature Flows参考文献 18被引用数 5

ひとこと要約

本稿では、微分不変量 $\chi$ と $\kappa$ を用いて、3次元リー群上の左不変な部分リーマン構造を完全に分類する。これらの不変量が等長写像に関して幾何を完全に決定することを示している。主な結果は、非同型の群 $SL(2)$ と $A^{+}(bR)\times S^1$ 間に明示的な部分リーマン等長写像を構成したことであり、異なるリー群幾何から等スペクトルな構造が生じ得ることを示している。

ABSTRACT

We give the complete classification of left-invariant sub-Riemannian structures on three dimensional Lie groups in terms of the basic differential invariants. This classifications recovers other known classification results in the literature, in particular the one obtained in [Falbel-Gorodski, 1996] in terms of curvature invariants of a canonical connection. Moreover, we explicitly find a sub-Riemannian isometry between the nonisomorphic Lie groups $SL(2)$ and $A^{+}(\mathbb{R}) imes S^1$, where $A^+(\mathbb{R})$ denotes the group of orientation preserving affine maps on the real line.

研究の動機と目的

• 3次元リー群上の左不変部分リーマン構造を、内在的な微分不変量を用いて分類すること。
• 標準的不変量が等しい場合でも非等長な構造を区別する問題を解決すること。
• 明示的な部分リーマン等長写像を用いて、非同型のリー群間の幾何的同値性を確立すること。
• 先行の分類結果（特に標準接続の曲率不変量に基づくもの）を回復・統合すること。
• 不変量 $\chi$ と $\kappa$ が、3次元リー群上の正規化された左不変部分リーマン構造を完全に分類可能であることを示すこと。

提案手法

• 著者らは、先行研究で導入された2つの基本的微分不変量 $\chi$ と $\kappa$ を用いて、3次元リー群上の左不変部分リーマン構造を分類する。
• スケーリングにより構造を正規化し、$\chi = \kappa = 0$ または $\chi^2 + \kappa^2 = 1$ とすることで、スケーリングの不確かさを排除する。
• 分類は3次元リー代数の解析に帰着され、特に $\mathfrak{sl}(2)$ に注目する。ここでは、楕円型と双曲型の2つの非同値分布が存在する。
• 座標変換と行列分解を用いて、$\Psi: A^+(\bbR) \times S^1 \to SL(2)$ というグローバルな等長写像を明示的に構成する。
• 等長写像の正当性は、$SL(2)$ の計量の引き戻しが $A^+(\bbR) \times S^1$ の計量と一致することを示すことにより検証され、離散的核による商空間上で定義されていることが確認される。
• 三角関数および双曲線関数の恒等式を用いて、回転行列の合成を簡略化し、最終的な等長写像を $\rho$, $\theta$, および $\varphi = z/2$ の関数として表現する。

実験結果

リサーチクエスチョン

• RQ1 3次元リー群上の左不変部分リーマン構造は、微分不変量 $\chi$ と $\kappa$ を用いて完全に分類可能か？
• RQ2 非同型のリー群が、等長な部分リーマン構造をもつことはあり得るか？
• RQ3 $\mathfrak{sl}(2)$ 上の非同値分布を区別するにあたり、キリング形式の役割は何か？
• RQ4 $SL(2)$ と $A^+(\bbR) \times S^1$ 間に部分リーマン等長写像を明示的に構成するにはどうすればよいか？
• RQ5 不変量 $\chi$ と $\kappa$ は、3次元リー群上の左不変部分リーマン構造の等長写像類を完全に決定するか？

主な発見

• 3次元リー群上の左不変部分リーマン構造の分類は、その構造に対して定数となる2つの不変量 $\chi$ と $\kappa$ によって完全に決定される。
• 本稿は、先行の分類結果（特に標準接続の曲率不変量に基づくもの）を回復・統合している。
• 非同型のリー群 $SL(2)$ と $A^+(\bbR) \times S^1$ 間に明示的な部分リーマン等長写像が構成された。
• 等長写像は公式 \Psi(\rho,\theta,\varphi) = \frac{1}{\sqrt{\rho\cos\theta}} \begin{pmatrix} \cos\varphi & \sin\varphi \\ \rho\sin(\theta - \varphi) & \rho\cos(\theta - \varphi) \end{pmatrix} で与えられ、$\varphi \in S^1$ である。
• $\Psi$ は商空間 $A^+(\bbR) \times S^1$ 上で正しく定義されており、その核は $\bbZ$ に同型な離散的正規部分群であるため、普遍被覆写像であることが確認される。
• この構成により、$SL(2)$ と $A^+(\bbR) \times S^1$ がリー群として同型でないにもかかわらず、部分リーマン等長であることが示された。これは、部分リーマン幾何の微妙さを強調している。