[논문 리뷰] A Hyperelliptic View on Teichmuller Space. I

Sasha Anan’in, Eduardo C. Bento Gonçalves|ArXiv.org|2007. 09. 11.

Geometric and Algebraic Topology참고 문헌 9인용 수 3

한 줄 요약

이 논문은 초등적이고 기하학적인 접근을 통해 히퍼에르미티안 리만 곡면과 단순 지진운동(지오데식을 沿해 연속적인 변형)을 이용하여 테이히뮐러 공간을 다루며, 지진운동 군이 히퍼에르미티안 곡면의 테이히뮐러 공간에 추이적으로 작용함을 증명한다. 자연적 경계 좌표를 통해 표현의 충실성과 이산성에 대한 단순하고 효과적인 기준을 수립하고, 일반 리만 곡면으로 이 프레임워크를 확장하여, 테이히뮐러 공간이 히퍼에르미티안 위치에 대해 유일한 사영을 갖는 피브리레이션을 이룬다는 것을 보여준다.

ABSTRACT

We explicitly describe the Teichmuller space TH_n of hyperelliptic surfaces in terms of natural and effective coordinates as the space of certain (2n-6)-tuples of distinct points on the ideal boundary of the Poincare disc. We essentially use the concept of a simple earthquake which is a particular case of a Fenchel-Nielsen twist deformation. Such earthquakes generate a group that acts transitively on TH_n. This fact can be interpreted as a continuous analog of the well-known Dehn theorem saying that the mapping class group is generated by Dehn twists. We find a simple and effective criterion that verifies if a given representation of the surface group π_1Σin the group of isometries of the hyperbolic plane is faithful and discrete. The article also contains simple and elementary proofs of several known results, for instance, of W. M. Goldman's theorem [Gol1] characterizing the faithful discrete representations as having maximal Toledo invariant (which is essentially the area of the representation in the two-dimensional case).

연구 동기 및 목표

• 분석적 방법에 의존하지 않고, 테이히뮐러 공간을 연구하기 위한 초등적이고 기하학적인 프레임워크를 개발하는 것.
• 테이히뮐러 공간을 푸앵카레 원판의 이상 경계에 있는 자연적 경계 좌표를 통해 히퍼에르미티안 리만 곡면의 성질을 기술하는 것.
• 지진운동 군이 히퍼에르미티안 곡면의 테이히뮐러 공간에 추이적으로 작용함을 증명하고, 델른의 정리의 연속적 해석을 제공하는 것.
• 해당 방법을 일반 리만 곡면으로 확장하여 자연적 기본 도메인을 통해 표현의 이산성에 대한 기준을 수립하는 것.
• 특히 토울레의 정리와 이산 군 표현을 위한 복소 하이퍼볼릭 이론의 해석에 기초가 되는 이론의 기초를 다지는 것.

제안 방법

• 히퍼에르미티안 곡면을 푸앵카레 원판 내의 $ n = 2g+2 $개의 점의 구성으로 표현하고, 반사가 기본군 $ H_n $ 를 생성하도록 한다.
• 단순 지진운동(SEs)을 지오데식을 따라 인접한 점들 사이의 거리를 유지하는 연속적 변형으로 정의하고, 지진운동 군 $ \tilde{\rm E}_n $ 를 생성한다.
• 지정된 $ 2n-6 $개의 서로 다른 경계 점들의 순환 순서를 이용하여 테이히뮐러 공간 $ \tilde{\rm T}H_n $ 를 매개변수화하고, 자연적이고 기하학적인 좌표를 제공한다.
• 푸앵카레의 다면체 정리를 적용하여, $ 2(n-2) $개의 꼭짓점과 면적 $ 2(n-4)\pi $ 를 갖는 다각형 $ Q $ 가 군 작용에 대한 기본 도메인임을 보인다.
• 일반적인 $ G_n = \pi_1(Σ) $ 에 대해 기본 도메인을 구성하여, $ \tilde{\rm T}_n $ 위에 있는 리만 곡면의 보편 가족을 시각화할 수 있도록 한다.
• 표현 속의 쌍곡 원소를 따라 공액 변환 토글을 정의하여, $ \tilde{\rm T}H_n $ 에서의 지진운동 작용을 $ \tilde{\rm T}_n $ 으로 확장한다.

실험 결과

연구 질문

• RQ1 히퍼에르미티안 곡면의 테이히뮐러 공간은 푸앵카레 원판의 경계에 있는 자연적 기하 좌표로 매개변수화될 수 있는가?
• RQ2 지진운동 군 $ \tilde{\rm E}_n $ 는 테이히뮐러 공간 $ \tilde{\rm T}H_n $ 에 추이적으로 작용하는가? 그리고 이는 델른의 정리의 연속적 해석으로 볼 수 있는가?
• RQ3 표현 $ \varrho: H_n \to \mathrm{PU}(1,1) $ 가 충실하고 이산임을 판단하는 단순하고 효과적인 기준이 존재하는가?
• RQ4 히퍼에르미티안 곡면에 사용된 방법을 일반 리만 곡면으로 확장하여 표현의 이산성에 대한 기준을 도출할 수 있는가?
• RQ5 구조 $ \tilde{\rm T}_n $ 와 $ \tilde{\rm T}H_n $ 는 어떻게 관련되어 있으며, $ \tilde{\rm T}_n $ 은 $ \tilde{\rm T}H_n $ 에 대해 피브리레이션을 이룰 수 있는가?

주요 결과

• 생성수 $ g \geq 2 $ 인 히퍼에르미티안 곡면의 테이히뮐러 공간 $ \tilde{\rm T}H_n $ 는 이상 경계 $ \partial\mathbb{D} $ 상의 $ 2n-6 $개의 서로 다른 점들로 매개변수화되며, 이들은 순환적으로 배열되어 있다.
• 지진운동 군 $ \tilde{\rm E}_n $ 는 $ \tilde{\rm T}H_n $ 에 추이적으로 작용하며, 매핑 클래스 군의 델른 변환 생성 방식에 대한 연속적 해석을 제공한다.
• 특히 $ n=5 $ 인 경우, 모든 비자명한 표현 $ \varrho: H_5 \to \mathrm{PU}(1,1) $ 는 자동으로 충실하고 이산적임을 보이며, 이는 이전 문헌에서 주목받지 못한 결과이다.
• 표현 $ \varrho: G_n \to \mathrm{PU}(1,1) $ 가 이산적이고 충실한 것은, 관련된 기본 다각형 $ Q $ 가 면적 $ 2(n-4)\pi $ 를 가지며, 내부 각의 합이 $ 2\pi $ 라는 것과 동치이다.
• 리만 곡면의 보편 가족 $ \mathcal{F} \to \tilde{\rm T}_n $ 는 $ \mathbb{D} \times \tilde{\rm T}_n $ 내의 기본 도메인을 통해 시각화되며, 각 섬유는 $ \mathbb{D}/G_n $ 와 동형이다.
• 테이히뮐러 공간 $ \tilde{\rm T}_n $ 은 $ \tilde{\rm T}H_n $ 에 대해 두 번 피브리레이션되며, $ \tilde{\rm T}_n $ 의 모든 점은 $ \tilde{\rm T}H_n $ 에 대한 사영에 의해 유일하게 결정된다.