[논문 리뷰] The Weil-Petersson Isometry Group

Howard Masur, Michael Wolf|ArXiv.org|2000. 08. 08.

Geometric and Algebraic Topology참고 문헌 14인용 수 12

한 줄 요약

이 논문은 $3g-3+n > 1$ 이고 $(g,n) \neq (1,2)$ 인 경우, 테이히뮐러 공간 $T_{g,n}$ 상의 웰-피터슨 계량의 모든 등거리변환은 확장된 매핑클래스군 $\mathrm{Mod}^*(g,n)$ 의 원소에 의해 유도됨을 증명한다. 증명은 등거리변환을 메트릭 완비화로 확장하고, 곡선 복합체에 유도된 작용을 통해 등거리변환을 매핑클래스와 식별하며, 웰-피터슨 지오데식선을 沿해 하이퍼볼릭 길이 함수의 볼록성을 응용하여 등거리변환이 내부에서 자명함을 보여, 따라서 매핑클래스에 의해 유도됨을 증명한다.

ABSTRACT

We prove that every Weil-Petersson isometry of the Teichmuller space T(g,n) is induced by an element of the extended mapping class group; here 3g-3+n > 1 and (g,n) is not (1,2). Our method follows Ivanov's proof of the Royden's analogous theorem for the Teichmuller metric: we study the action of an isometry on the frontier of the metric completion of the Teichmuller space, and show that the isometry then induces an automorphism on the relevant complex of curves. Some synthetic geometry of the Weil-Petersson metric completes the proof.

연구 동기 및 목표

• 웰-피터슨 계량에 대한 로이든 유사 정리를 확립함으로써, 고전적 테이히뮐러 계량 결과와 유사하게 만들기.
• 테이히뮐러 공간 $T_{g,n}$ 상의 웰-피터슨 계량의 모든 등거리변환이 확장된 매핑클래스군 $\mathrm{Mod}^*(g,n)$ 의 원소로부터 유도됨을 보임.
• 등거리변환을 $T_{g,n}$ 의 메트릭 완비화로 확장함으로써, 고립된 곡선에 대응하는 낮은 차원의 테이히뮐러 공간들로 구성된 외곽선을 포함함.
• 곡선 복합체 $C(F)$ 에 유도된 작용을 사용하여 등거리변환을 매핑클래스와 식별함. 이는 $C(F)$ 의 자동형사상에 관한 기존 결과를 활용함.
• 등거리변환이 $T_{g,n}$ 상에서 자명함을 모순에 기반해 증명함. 이는 웰-피터슨 지오데식선을 따라 하이퍼볼릭 길이 함수의 볼록성과 CAT(0) 공간에서의 고정점 추정치를 응용함.

제안 방법

• 주어진 웰-피터슨 등거리변환을 $T_{g,n}$ 에서의 메트릭 완비화로 확장함. 이 완비화에는 고립된 곡선에 대응하는 낮은 차원의 테이히뮐러 공간들로 구성된 외곽선 $A_{g,n}$ 이 포함됨.
• 확장된 등거리변환이 외곽선의 각 성분을 보존함을 보이며, 이는 곡선 복합체 $C(F)$ 의 자기사상으로 이어짐.
• 아이반옵의 정리(및 이반옵의 결과를 확장한 코르크마즈와 루오의 결과)를 활용하여, $C(F)$ 의 유도된 자동형사상이 $\mathrm{Mod}^*(g,n)$ 의 원소로부터 유도됨을 결론짓기.
• 울프트의 결과를 적용하여, 웰-피터슨 지오데식선을 따라 하이퍼볼릭 길이 함수 $l_c(x)$ 가 볼록함을 분석함.
• 등거리변환 $I$-불변 집합 $B_0$ 에서의 점들까지의 웰-피터슨 거리의 평균으로 구성된 $I$-불변 함수 $D(x)$ 를 정의하고, 엄격한 볼록성을 응용하여 고정점 $y_0$ 가 유일하게 존재함을 보임.
• 고정점 $y_0$ 와 각 최대로 고립된 외곽선 성분 사이의 거리를 추정함. 이 거리는 균일하게 유계이며, 등거리변환이 $T_{g,n}$ 상에서 자명하지 않다면 모순이 발생함.

실험 결과

연구 질문

• RQ1 테이히뮐러 공간 $T_{g,n}$ 상의 웰-피터슨 계량의 모든 등거리변환이 확장된 매핑클래스군 $\mathrm{Mod}^*(g,n)$ 의 원소로부터 유도되는가?
• RQ2 등거리변환의 작용은 $T_{g,n}$ 의 메트릭 완비화, 특히 고립된 리만 표면의 외곽선으로 어떻게 확장되는가?
• RQ3 곡선 복합체 $C(F)$ 에 유도된 작용을 사용하여 등거리변환을 매핑클래스와 식별할 수 있으며, 이러한 식별이 성립하는 조건은 무엇인가?
• RQ4 웰-피터슨 지오데식선을 따라 하이퍼볼릭 길이 함수 $l_c(x)$ 의 볼록성은 등거리변환이 자명함을 증명하는 데 어떤 역할을 하는가?
• RQ5 CAT(0) 공간의 고정점 집합과 하이퍼볼릭 기하학에서의 기하적 추정치를 어떻게 조합하여 비자명한 등거리변환을 배제할 수 있는가?

주요 결과

• 3g-3+n > 1 이고 $(g,n) \neq (1,2)$ 인 경우, $T_{g,n}$ 상의 웰-피터슨 등거리변환은 모두 확장된 매핑클래스군 $\mathrm{Mod}^*(g,n)$ 의 원소에 의해 유도됨.
• 등거리변환은 메트릭 완비화로 연속적으로 확장되며, 이는 고립된 곡선에 대응하는 낮은 차원의 테이히뮐러 공간들로 구성된 외곽선 $A_{g,n}$ 의 각 성분을 보존함.
• 곡선 복합체 $C(F)$ 에 유도된 작용은 자동형사상이며, 알려진 결과에 따르면 이 자동형사상은 $\mathrm{Mod}^*(g,n)$ 의 원소로부터 유도됨.
• 등거리변환의 고정점 집합은 비어 있지 않으며, 모든 최대로 고립된 외곽선 성분에 대해 균일하게 가까움. 거리는 $2\epsilon + 3\rho$ 로 유계.
• 웰-피터슨 거리 함수의 엄격한 볼록성과 길이 함수 $l_c(x)$ 의 볼록성 덕분에, $I$-불변 집합 위에서 중심-질량 추론을 통해 고유한 고정점 $y_0$ 를 구성할 수 있음.
• 일반적인 CAT(0) 고정점 이론과의 모순—즉, 고정점 집합이 모든 외곽선 성분에 균일하게 가까울 수 없다—는 고정점 집합이 $T_{g,n}$ 전체에 걸쳐 있음을 강제하며, 이는 등거리변환이 자명함을 증명함. 따라서 등거리변환은 매핑클래스에 의해 유도됨.