[논문 리뷰] Möbius transformations and the Poincaré distance in the quaternionic setting

Cinzia Bisi, Graziano Gentili|ArXiv.org|2008. 05. 03.

Mathematics and Applications참고 문헌 4인용 수 14

한 줄 요약

이 논문은 케일리 유사 변환을 통해 단위 원판 $\Delta_{\mathbb{H}}$와 상부 반평면 $\mathbb{H}^+$ 사이를 연결함으로써 허수기하학적 Poincaré 기하학의 유사체를 정의함으로써, 허수기하학적 설정에서 모비우스 변환과 Poincaré 거리를 수립한다. 허수기하학적 교차비를 도입하고, 그로 인해 유도된 Poincaré 거리가 모비우스 변환에 대해 불변임을 증명하며, 대칭 공간 분류와 일치하는 바, 허수기하학적 Poincaré 거리와 복소수 Kobayashi 거리 사이에 등장하는 등장하지 않는 등장이 있음을 보여준다.

ABSTRACT

In the space $\hh$ of quaternions, we investigate the natural, invariant geometry of the open, unit disc $Δ_{\hh}$ and of the open half-space $\hh^{+}$. These two domains are diffeomorphic via a Cayley-type transformation. We first study the geometrical structure of the groups of Möbius transformations of $Δ_{\hh}$ and $\hh^{+}$ and identify original ways of representing them in terms of two (isomorphic) groups of matrices with quaternionic entries. We then define the cross-ratio of four quaternions, prove that, when real, it is invariant under the action of the Möbius transformations, and use it to define the analogous of the Poincaré distances on $Δ_{\hh}$ and $\hh^{+}$. We easily deduce that there exists no isometry between the quaternionic Poincaré distance of $Δ_{\hh}$ and the Kobayashi distance inherited by $Δ_{\hh}$ as a domain of $\mathbb{C}^{2}$, in accordance with a direct consequence of the classification of the non compact, rank 1, symmetric spaces.

연구 동기 및 목표

• 허수기하학적 단위 원판 $\Delta_{\mathbb{H}}$와 상부 반평면 $\mathbb{H}^+$의 불변 기하학을 모비우스 변환을 사용하여 개발하기.
• 네 개의 허수기하학적 수의 교차비를 통해 Poincaré 거리의 허수기하학적 유사체를 정의하기.
• 허수기하학적 행렬을 갖는 행렬군을 사용하여 허수기하학적 모비우스 변환의 군을 특정하기.
• 모비우스 변환에 대해 허수기하학적 Poincaré 거리가 불변임을 증명하기.
• 허수기하학적 Poincaré 거리와 복소수 Kobayashi 거리를 비교하여, 두 기하학 사이에 등장하지 않는 등장이 있음을 보여주기.

제안 방법

• 2×2 허수기하학적 행렬에 대한 Dieudonné 행렬식을 정의하여 행렬의 역행렬과 군의 구조 분석을 가능하게 하기.
• 분수선형 변환 $L_A(q) = (aq + b)(cq + d)^{-1}$ 로서의 허수기하학적 모비우스 변환의 군 $\mathbb{G}$ 를 구성하기.
• 행렬군 $GL(2,\mathbb{H})$ 에서 군 $\mathbb{G}$ 로 가는 군 준동형사상 $\Phi: GL(2,\mathbb{H}) \to \mathbb{G}$ 를 수립하고, 그 핵이 $GL(2,\mathbb{H})$ 의 중심과 일치함을 보이기.
• 단위 원판 $\Delta_{\mathbb{H}}$ 와 상부 반평면 $\mathbb{H}^+$ 를 연결하는 케일리 변환 $\psi(q) = (1+q)(1-q)^{-1}$ 을 사용하며, 이는 복소수 직선 $L_I \cong \mathbb{C}$ 를 유지한다.
• 네 점의 실수 교차비를 이용하여 상부 반평면 $\mathbb{H}^+$ 에서 Poincaré 거리를 정의하며, 지오데식의 끝점도 포함한다.
• 상부 반평면 $\mathbb{H}^+$ 에서의 Poincaré 미분계량을 $ds_{{\mathbb{H}}^+}^2 = \frac{|d_I q|^2}{4|\Re e(q)|^2}$ 로 유도하고, $\mathbb{M}^*(\mathbb{H}^+)$ 에 의한 불변성을 증명하기.

실험 결과

연구 질문

• RQ1 행렬군을 사용하여 허수기하학적 설정에서 모비우스 변환은 어떻게 정의되고 표현될 수 있는가?
• RQ2 Poincaré 거리의 허수기하학적 유사체는 무엇이며, 기하학적으로 어떻게 구성되는가?
• RQ3 허수기하학적 Poincaré 거리는 $\Delta_{\mathbb{H}}$ 에서의 복소수 Kobayashi 거리와 등장하는가?
• RQ4 네 개의 허수기하학적 수의 교차비는 모비우스 변환에 대해 어떻게 행동하며, 언제 실수값을 가질까?
• RQ5 SL(\mathbb{H}^+)와 상부 반평면 $\mathbb{H}^+$ 에서의 모비우스 변환 군 사이의 관계는 무엇인가?

주요 결과

• 허수기하학적 모비우스 변환의 군 $\mathbb{G}$ 는 중심을 모듈로 취한 $GL(2,\mathbb{H})$ 와 동형이며, 행렬을 분수선형 변환으로 매핑하는 준동형사상 $\Phi$ 가 존재한다.
• Dieudonné 행렬식 $\det_{\mathbb{H}}(A) = \sqrt{|a|^2|d|^2 + |c|^2|b|^2 - 2\Re(c\overline{a}b\overline{d})}$ 는 허수기하학적 2×2 행렬에 대한 자연스러운 불변량을 제공한다.
• 케일리 변환 $\psi(q) = (1+q)(1-q)^{-1}$ 은 $\Delta_{\mathbb{H}}$ 를 $\mathbb{H}^+$ 로 미분동형으로 매핑하며, 복소수 직선 $L_I \cong \mathbb{C}$ 를 유지한다.
• 상부 반평면 $\mathbb{H}^+$ 에서의 Poincaré 거리는 $\omega(q_1, q_2) = \frac{1}{2} \log(\mathcal{CR}(q_1, q_2, q_3, q_4))$ 로 정의되며, 여기서 $\mathcal{CR}$ 는 두 점과 지오데식의 경계 교차점의 교차비이다.
• Poincaré 미분계량 $ds_{{\mathbb{H}}^+}^2 = \frac{|d_I q|^2}{4|\Re e(q)|^2}$ 는 확장된 모비우스 군 $\mathbb{M}^*(\mathbb{H}^+)$ 의 작용에 대해 불변이다.
• 허수기하학적 Poincaré 거리와 $\mathbb{C}^2$ 에서 유도된 Kobayashi 거리 사이에는 등장하지 않는 등장이 있으며, 이는 두 하이퍼볼릭 기하학이 서로 등장하지 않는다는 것을 확인한다.