[논문 리뷰] Sub-Riemannian structures on 3D Lie groups

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

Geometric Analysis and Curvature Flows참고 문헌 18인용 수 5

한 줄 요약

이 논문은 미분 불변량 $\chi$ 와 $\kappa$ 를 사용하여 3차원 리 군 위의 왼쪽 불변 부분리만노이드 구조를 완전히 분류한다. 이 불변량들이 등급에 따라 등급을 결정함을 보여주며, 등급에 따라 기하학이 유일하게 결정됨을 보인다. 주요 결과는 비이sovolumetric한 군인 $SL(2)$ 와 $A^{+}(\mathbb{R})\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차원 리 군 위의 모든 왼쪽 불변 부분리만노이드 구조를 내재된 미분 불변량을 사용하여 분류하는 것.
• 기본 불변량이 동일한 경우 비등급인 구조를 구별하는 문제를 해결하는 것.
• 명시적인 부분리만노이드 등급을 통해 비이sovolumetric한 리 군 간의 기하학적 동치를 확립하는 것.
• 이전의 분류 결과를 복원하고 통합하는 것. 이는 표준 연결의 곡률 불변량 기반 결과 포함.
• $\chi$ 와 $\kappa$ 가 3차원 리 군 위의 정규화된 왼쪽 불변 부분리만노이드 구조를 완전히 분류하는 데 충분한지 확인하는 것.

제안 방법

• 저자들은 이전 연구에서 도입된 두 기본 미분 불변량 $\chi$ 와 $\kappa$ 를 사용하여 3차원 리 군 위의 왼쪽 불변 부분리만노이드 구조를 분류한다.
• 척도의 모호성을 제거하기 위해 구조를 스케일링하여 $\chi = \kappa = 0$ 또는 $\chi^2 + \kappa^2 = 1$ 이 되도록 정규화한다.
• 분류는 3차원 리 대수 분석으로 축소되며, 특히 $\mathfrak{sl}(2)$ 에서는 타원형과 쌍곡형인 두 가지 비동치 분포가 존재함을 주의 깊이 고려한다.
• 좌표 변환과 행렬 분해를 사용하여 $A^+(\mathbb{R}) \times S^1 \to SL(2)$ 의 전역 등급 $\Psi$ 를 명시적으로 구성한다.
• 등급이 $SL(2)$ 메트릭의 후퇴가 $A^+(\mathbb{R}) \times S^1$ 메트릭과 일치함을 보여 등급이 올바르게 정의되었음을 검증한다. 또한 이는 이산 핵심에 의해 몫을 취한 공간에서 잘 정의됨을 보인다.
• 삼각함수와 쌍곡함수 항등식을 사용하여 회전 행렬의 복합을 단순화하고 최종 등급을 $\rho$, $\theta$, 및 $\varphi = z/2$ 로 표현한다.

실험 결과

연구 질문

• RQ1 3차원 리 군 위의 모든 왼쪽 불변 부분리만노이드 구조는 미분 불변량 $\chi$ 와 $\kappa$ 를 사용하여 분류될 수 있는가?
• RQ2 비이sovolumetric한 리 군이 등급인 부분리만노이드 구조를 가질 수 있는가?
• RQ3 $\mathfrak{sl}(2)$ 에서 비동치 분포를 구별하는 데 죽음 형식(Killing form)의 역할은 무엇인가?
• RQ4 $SL(2)$ 와 $A^+(\mathbb{R}) \times S^1$ 사이에 부분리만노이드 등급을 명시적으로 어떻게 구성할 수 있는가?
• RQ5 $\chi$ 와 $\kappa$ 가 3차원 리 군 위의 왼쪽 불변 부분리만노이드 구조의 등급류를 완전히 결정하는가?

주요 결과

• 3차원 리 군 위의 왼쪽 불변 부분리만노이드 구조의 분류는 두 불변량 $\chi$ 와 $\kappa$ 에 의해 완전히 결정되며, 이러한 구조에 대해 이들은 상수이다.
• 논문은 이전의 분류 결과를 복원하고 통합하였으며, 표준 연결의 곡률 불변량 기반 결과 포함.
• 비이sovolumetric한 군인 $SL(2)$ 와 $A^+(\mathbb{R}) \times S^1$ 사이에 명시적인 부분리만노이드 등급을 구성하였다.
• 등급은 공식 $\Psi(\rho,\theta,\varphi) = \frac{1}{\sqrt{ρ\cos\theta}} \begin{pmatrix} \cos\varphi & \sin\varphi \\ \rho\sin(\theta - \varphi) & \rho\cos(\theta - \varphi) \end{pmatrix}$ 로 주어지며, $\varphi \in S^1$ 이다.
• 사상 $\Psi$ 는 $A^+(\mathbb{R}) \times S^1$ 의 몫에서 잘 정의되며, 핵심은 $\mathbb{Z}$ 와 동형인 이산 정규부분군이므로, 이는 전방사 덮개 사상임을 확인한다.
• 이러한 구성은 $SL(2)$ 와 $A^+(\mathbb{R}) \times S^1$ 이 리 군 등급이 아니지만 부분리만노이드 등급임을 보여주며, 부분리만노이드 기하학의 미묘함을 부각시킨다.