[논문 리뷰] Isometries of the Hilbert Metric

Timothy John Speer|arXiv (Cornell University)|2014. 11. 07.

Holomorphic and Operator Theory참고 문헌 11인용 수 6

한 줄 요약

이 논문은 R^n 내 임의의 열려 있고 유계된 볼록 도메인에 대해 힐버트 거리의 등장사상 군이 프로젝티브 변환의 군과 같거나 그 인덱스가 2 이내임을 증명한다. 핵심 결과는 등장사상이 특정 방식으로 방향을 뒤집지 않는 한 등장사상은 프로젝티브임을 보여주며, 2차원에서는 등거리 힐버트 기하학이 항상 프로젝티브로 동치임을 보인다.

ABSTRACT

On any convex domain in $\mathbb{R}^n$ we can define the Hilbert metric. A projective transformation is an example of an isometry of the Hilbert metric. In this thesis we will prove that the group of projective transformations on a convex domain has at most index 2 in the group of isometries of the convex domain with its Hilbert metric. Furthermore we will give criteria for which the set of projective transformations between two convex domains is equal to the set of isometries of the Hilbert metric of these convex domains. Lastly we will show that $2$-dimensional convex domains with their corresponding Hilbert metrics are isometric if and only if they are projectively equivalent.

연구 동기 및 목표

• 일반적인 R^n 내 볼록 도메인에서 힐버트 거리의 등장사상 군의 구조를 규명하는 것.
• de la Harpe의 추측, 즉 Isom(Ω)가 항상 리 군임을 해결하는 것.
• 모든 등장사상이 프로젝티브 변환임을 보장하는 조건을 설정하는 것.
• 두 볼록 도메인이 등거리임을 프로젝티브 동치성으로 특성화하는 것.
• 대칭 콘, 강한 볼록, 다면체 도메인에 대한 기존 결과를 일반 볼록 도메인으로 확장하는 것.

제안 방법

• 등장사상이 프로젝티브가 아닌 경우를 특성화하기 위해 집중점과 최소 콘을 분석하는 것.
• 교차비와 프로젝티브 불변성을 사용하여 특정 기하적 구조를 보존하는 등장사상은 반드시 프로젝티브임을 보이는 것.
• 최소 콘의 개념과 등장사상 하에서의 행동을 적용하여 임의의 등장사상 τ에 대해 τ²가 프로젝티브임을 증명하는 것.
• 비프로젝티브 등장사상이 두 개 존재할 경우 그 조합은 반드시 프로젝티브임을 보여, 등장사상 군이 PGL(Ω)에 대해 최대 인덱스 2를 가짐을 제한하는 것.
• 점점 가까운 기하학과 콘 구조를 사용하여 등장사상이 콘을 콘으로 보존하고 최소 콘 구조를 유지함을 보이는 것.
• 극한 선과 극한 점이 등장사상 행동을 제약함을 활용하며, 특히 저차원에서 중요한 영향을 미침.

실험 결과

연구 질문

• RQ1 힐버트 거리의 등장사상 군이 프로젝티브 변환 군과 동일한 조건은 무엇인가?
• RQ2 비프로젝티브 등장사상이 존재할 수 있으며, 만약 존재한다면 어떤 구조적 제약 조건을 가져야 하는가?
• RQ3 어떤 조건에서 두 볼록 도메인이 힐버트 거리에 대해 등거리인가?
• RQ4 힐버트 기하학의 등장사상 군은 항상 리 군인가?
• RQ5 2차원에서 등거리 힐버트 기하학은 항상 프로젝티브로 동치인가?

주요 결과

• 모든 열려 있고 유계된 볼록 도메인 Ω ⊂ R^n 에 대해, 힐버트 거리의 등장사상 군 Isom(Ω)은 PGL(Ω)를 최대 인덱스 2의 정규부분군으로 포함한다.
• 등장사상 τ: Ω → Ω′ 는 집중점이 있을 때에만 프로젝티브 변환이다.
• 만약 볼록 도메인 Ω가 극한 선을 포함한다면, Ω에서 다른 도메인으로의 모든 등장사상은 프로젝티브 변환이다.
• 2차원에서는 두 볼록 도메인이 힐버트 거리에 대해 등거리임과 프로젝티브로 동치임이 동치이다.
• 콘으로 이루어지지 않은 3차원 도메인에 대해서는 모든 등장사상은 반드시 프로젝티브 변환이다.
• 등장사상 군 Isom(Ω)는 항상 리 군이며, de la Harpe의 추측을 확인한다.