[논문 리뷰] On the Moduli Space of Singular Euclidean Surfaces

Marc Troyanov|ArXiv.org|2007. 02. 22.

Geometric Analysis and Curvature Flows참고 문헌 17인용 수 29

한 줄 요약

이 논문은 구멍이 있는 리만 표면의 모듈리 공간에 대해, 평탄한 거칠은 지오메트리와 원추 특이점을 가진 메트릭의 변형 공간으로 테이히뮐러 공간을 실현함으로써 새로운 기하적 구조를 구성한다. 유클리드 운동군으로의 호로노미 표현을 사용하여, 테이히뮐러 공간에서 동치관계 $\Phi$를 갖는 국소 위상동형사상 $\mathcal{H}$를 $\mathbb{T}^{2g} \times \mathbb{CP}^{2g+n-3}$로 수립한다. 이는 모듈리 오비폴드 $\mathcal{M}_{g,n}$ 위에 특이 각도 데이터 $\beta_i$에 의해 매개화된 $(G,X)$-구조의 가중치를 부여하며, 테이히뮐러 이론, 평탄한 표면, 오비폴드 위의 기하학적 구조에 대한 접근법을 통합한다.

ABSTRACT

The goal of this paper is to develop some aspects of the deformation theory of piecewise flat structures on surfaces and use this theory to construct new geometric structures on the moduli space of Riemann surfaces.

연구 동기 및 목표

• 구멍이 있는 리만 표면 위의 원추 특이점을 가진 조각별 평탄한 표면의 변형 이론을 개발한다.
• 테이히뮐러 공간과 유클리드 등거리변환군 $\operatorname{SE}(2)$로의 기본군 표현 다양체 사이의 대응을 확립한다.
• 테이히뮐러 공간에서 동치관계 $\Phi$를 갖는 국소 위상동형사상 $\mathcal{H}: \mathcal{T}_{g,n} \to \mathbb{T}^{2g} \times \mathbb{CP}^{2g+n-3}$를 구성하여 모듈리 공간 $\mathcal{M}_{g,n}$에 기하학적 구조의 가중치를 제공한다.
• 델리뉴–모스토우와 터스턴의 단일화된 다항식과 복소 하이퍼볼릭 기하학적 구조에 대한 접근법을 평탄한 표면의 변형을 통해 일반화하고 통합한다.

제안 방법

• 구멍이 있는 표면 $\Sigma_{g,n}$ 위의 평탄한 메트릭을, 구멍에서의 주어진 각도 $\beta_i$를 가진 원추 특이점을 갖도록 매개화하며, 이때 $\sum \beta_i = 2g-2$ 이고 $\beta_i \in (-1,\infty) \setminus \mathbb{Z}$ 를 만족시킨다.
• 각 메트릭에 대해 호로노미 표현 $\rho: \pi_1(\Sigma_{g,n}) \to \operatorname{SE}(2)$를 부여하고, 표현 다양체 $\mathcal{SR}^{\text{reg}}_{\vec{\beta}}$로 사상한다.
• 표현 다양체의 공간을 $\Xi = \mathbb{T}^{2g} \times \mathbb{CP}^{2g+n-3}$ 로 동치로 식별한다. 이는 아벨 부분(특성 사상 $\mathbb{T}^{2g}$ 로)과 코homological 부분(프로젝티브 클래스 $\mathbb{CP}^{2g+n-3}$ 에서)으로의 분해를 통해 이루어진다.
• 순수 매핑 클래스 군 $\operatorname{PMod}_{g,n}$ 의 표현 다양체 위의 작용을 이용하여, 테이히뮐러 공간의 식별과 호로노미 사상, $\Xi$ 로의 동형사상을 조합함으로써 $\Phi$-동치관계를 갖는 사상 $\mathcal{H}: \mathcal{T}_{g,n} \to \Xi$ 를 정의한다.
• 테이히뮐러 공간 $\mathcal{T}_{g,n}$ 과 $\Xi$ 가 모두 실해석적 다양체이며 차원이 $6g-6+2n$ 이며, 브라우어의 도메인 불변성 정리를 적용하여 $\mathcal{H}$ 가 국소 위상동형사상임을 결론내린다.
• 구의 경우($g=0$)에, 단일화 표현의 이미지가 $PU(1,n-3)$ 에 속하며, $\beta_i$ 에 대한 산술 조건이 만족되면 이미지는 격자이며, 이는 유한 체적 복소 하이퍼볼릭 오비폴드를 유도한다.

실험 결과

연구 질문

• RQ1 구멍이 있는 표면의 테이히뮐러 공간은 원추 특이점을 가진 평탄한 메트릭의 변형 공간으로 자연스럽게 식별될 수 있는가?
• RQ2 이러한 평탄한 메트릭의 호로노미 표현은 $\operatorname{SE}(2)$ 내의 표현 다양체와 어떻게 관련이 있는가?
• RQ3 모듈리 공간 $\mathcal{M}_{g,n}$ 은 이러한 호로노미 대응으로부터 어떤 기하학적 구조를 유산으로 얻는가?
• RQ4 순수 브레이드 군 $PB_n$ 의 단일화 표현이 $PU(1,n-3)$ 에서 격자가 되는 조건은 무엇인가?
• RQ5 이 구성은 델리뉴–모스토우의 대수기하학적 접근과 터스턴의 기하학적 위상수학적 접근을 통합할 수 있는가?

주요 결과

• 테이히뮐러 공간 $\mathcal{T}_{g,n}$ 은 $\Phi$-동치관계를 갖는 국소 위상동형사상 $\mathcal{H}: \mathcal{T}_{g,n} \to \mathbb{T}^{2g} \times \mathbb{CP}^{2g+n-3}$ 을 갖는다. 여기서 $\Phi: \operatorname{PMod}_{g,n} \to \operatorname{Aut}(\mathbb{T}^{2g}) \times \operatorname{PGL}_{2g+n-2}(\mathbb{C})$ 는 군 준동형사상이다.
• 사상 $\mathcal{H}$ 는 각 동치류의 특이 평탄한 메트릭을 그 호로노미 표현으로 보내며, 이는 테이히뮐러 공간을 표현 다양체의 몫으로 기하학적으로 실현한다.
• 구멍이 있는 구($g=0$)의 경우, 이 구성은 $\Phi$-동치관계를 갖는 국소 위상동형사상 $\mathcal{H}: \mathcal{T}_{0,n} \to \mathbb{CP}^{n-3}$ 을 유도하며, $\Phi: PB_n \to \operatorname{PGL}_{n-2}(\mathbb{C})$ 이다.
• 만약 $-1 < \beta_i < 0$, $\sum \beta_i = -2$, 그리고 $\beta_i + \beta_j > -1 \Rightarrow (1 + \beta_i + \beta_j)^{-1} \in \mathbb{N}$ 이면, 이미지 $\Phi(PB_n)$ 는 $PU(1,n-3)$ 에서 격자가 되며, 이는 유한 체적 복소 하이퍼볼릭 오비폴드를 이끈다.
• 모듈리 공간의 완비화 $\overline{\mathcal{M}}$ 는 자연스러운 복소 하이퍼볼릭 메트릭을 지니며 원추 특이점을 갖는다. 산술 조건이 만족되면 이는 오비폴드가 된다.
• 특성 사상 $\rho: \mathcal{T}_{g,n} \to \mathbb{T}^{2g}$ 는 실해석적 부분사상이며, 그 섬유는 $\mathbb{CP}^{2g+n-3}$ 에 기반한 기하학적 구조를 지닌다.