[논문 리뷰] Reduction theory for mapping class groups and applications to moduli spaces

Enrico Leuzinger|ArXiv.org|2008. 01. 10.

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

한 줄 요약

이 논문은 유한 지수 부분군에 대한 정밀한 환원 이론을 수립하고, 테이히뮐러 공간에서 명시적인 기본 도메인을 구성한다. 모듈리 공간의 점근적 원뿔이 곡선 복합체의 몫 복합체에 대한 유클리드 원뿔과 비-리프츠 등가임을 증명하며, $d(S) \geq 2$ 일 때 테이히뮐러 거리의 준동형 등가류 내에서 유한 체적의 양의 평균 곡률이 일정한 리만 기하학적 구조를 가질 수 없음을 보여, 펄의 추측을 확인한다. 이는 테이히뮐러 기하학과 기하군론에서 핵심적인 추측을 해결한다.

ABSTRACT

Let $S=S_{g,p}$ be a compact, orientable surface of genus $g$ with $p$ punctures and such that $d(S):=3g-3+p>0$. The mapping class group $ extup{Mod}_S$ acts properly discontinuously on the Teichmüller space $\mathcal T(S)$ of marked hyperbolic structures on $S$. The resulting quotient $\mathcal M(S)$ is the moduli space of isometry classes of hyperbolic surfaces. We provide a version of precise reduction theory for finite index subgroups of $ extup{Mod}_S$, i.e., a description of exact fundamental domains. As an application we show that the asymptotic cone of the moduli space $\mathcal M(S)$ endowed with the Teichmüller metric is bi-Lipschitz equivalent to the Euclidean cone over the finite simplicial (orbi-) complex $ extup{Mod}_S\backslash\mathcal C(S)$, where $\mathcal C(S)$ of $S$ is the complex of curves of $S$. We also show that if $d(S)\geq 2$, then $\mathcal M(S)$ does \emph{not} admit a finite volume Riemannian metric of (uniformly bounded) positive scalar curvature in the bi-Lipschitz class of the Teichmüller metric. These two applications confirm conjectures of Farb.

연구 동기 및 목표

• 테이히뮐러 공간에서 작용하는 유한 지수, 토르션 없는 순수 매핑 클래스 군 부분군에 대한 정밀한 환원 이론을 개발한다.
• 그러한 부분군의 작용에 대한 테이히뮐러 공간에서의 명시적 기본 도메인을 구성한다.
• 점근적 원뿔을 이용하여 모듈리 공간의 대규모 기하학을 분석한다.
• 테이히뮐러 거리의 준동형 등가류 내에서 모듈리 공간에 유한 체적의 양의 평균 곡률이 일정한 기하학적 구조가 존재하지 않는다는 펄의 추측을 해결한다.
• 노일레판 군에 대한 강력한 노비코프 추측을 활용하여 코arse 지표 이론을 통해 양의 곡률에 대한 기하학적 장벽을 수립한다.

제안 방법

• 곡선 복합체 $ \mathcal{C}(S) $의 정점 $ \alpha $ 와 관련된 길이 함수 $ l_\alpha(x) $ 를 사용하여 테이히뮐러 공간을 테일링하고, $ \varepsilon $-두꺼운 부분 $ \textup{Thick}_\varepsilon\mathcal{T}(S) $ 를 정의한다.
• 곡선 복합체의 단체 분할과 $ \varepsilon $-두꺼운 부분을 이용하여 모듈리 공간 $ \mathcal{M}(S) = \Gamma \backslash \mathcal{T}(S) $ 에 대한 $ \Gamma $-불변 테일링을 정의한다.
• 곡선 복합체와 그 몫의 구조를 활용하여, 모듈리 공간 $ \mathcal{M}(S) $ 의 점근적 원뿔이 $ \Gamma \backslash |\mathcal{C}(S)| $ 에 대한 유클리드 원뿔과 비-리프츠 등가임을 증명한다.
• 두꺼운 부분의 경계 근처에서 FN 좌표 $ (\theta, u) $ 를 사용하여 원뿔 유사한 구조를 모델링하고, 이는 $ \mathcal{B}_{\varepsilon_0}(\tau) \times \mathbb{R}_{\geq 0}^{d(S)} $ 와 미분동형이며, 여기서 $ \mathcal{B}_{\varepsilon_0}(\tau) \cong T^{d(S)} $ 이다.
• 두께가 두꺼운 부분의 경계에서의 초표면 $ Q \subset \mathbb{R}_{\geq 0}^{d(S)} $ 를 이용하여, $ A \cap B \cong T^{d(S)} \times \mathbb{R}^{d(S)-1} $ 를 만족하는 코어스하게 분리 가능한 분할 $ (A, B) $ 를 구성한다.
• 일반화된 코어스 지표 이론과 노일레판 군에 대한 강력한 노비코프 추측을 적용하여, 디랙 연산자의 지표가 0이 아니며, 이는 테이히뮐러 거리의 준동형 등가류 내에서 균일하게 양의 곡률을 가진 기하학적 구조의 존재를 차단함을 보여준다.

실험 결과

연구 질문

• RQ1 모듈리 공간 $ \mathcal{M}(S) $ 의 테이히뮐러 거리에서의 점근적 원뿔은 유한 단체 복합체에 대한 유클리드 원뿔과 비-리프츠 등가인가?
• RQ2 모듈리 공간 $ \mathcal{M}(S) $ 는 $ d(S) \geq 2 $ 일 때 테이히뮐러 거리의 준동형 등가류 내에서 유한 체적의 양의 평균 곡률가 일정한 리만 기하학적 구조를 가질 수 있는가?
• RQ3 매핑 클래스 군의 유한 지수 부분군에 대한 환원 이론은 테이히뮐러 공간 내에서 명시적인 기본 도메인을 통해 정밀하게 기술될 수 있는가?
• RQ4 모듈리 공간 $ \mathcal{M}(S) $ 에서 균일하게 양의 곡률을 가진 기하학적 구조의 존재를 방해하는 기하학적 또는 위상수학적 장벽은 무엇인가?
• RQ5 특히, 그 몫 $ \Gamma \backslash \mathcal{C}(S) $ 를 포함한 곡선 복합체 $ \mathcal{C}(S) $ 의 구조는 $ \mathcal{M}(S) $ 의 대규모 기하학을 어떻게 제어하는가?

주요 결과

• 테이히뮐러 거리로 장비된 모듈리 공간 $ \mathcal{M}(S) $ 의 점근적 원뿔은 유한 단체 복합체 $ \Gamma \backslash \mathcal{C}(S) $ 에 대한 유클리드 원뿔과 비-리프츠 등가이며, 펄의 추측을 확인한다.
• 곡선 복합체의 몫 $ \Gamma \backslash |\mathcal{C}(S)| $ 가 구의 단체들의 합집합이므로 CAT(1) 성질을 가지며, 이에 따라 점근적 원뿔은 CAT(0)이므로, 수축 가능하다.
• $ d(S) \geq 2 $ 일 때, 모듈리 공간 $ \mathcal{M}(S) $ 는 테이히뮐러 거리의 비-리프츠 등가류 내에서 유한 체적의 양의 평균 곡률가 일정한 리만 기하학적 구조를 가질 수 없다.
• 노일레판 군에 대한 강력한 노비코프 추측에 기반하여, 보편 커버링 공간 $ \mathcal{T}(S) $ 상에서 디랙 연산자의 일반화된 코어스 지표가 0이 아니며, 이는 그러한 기하학적 구조의 존재를 차단한다.
• 기본 도메인 $ A \cap B \cong T^{d(S)} \times \mathbb{R}^{d(S)-1} $ 을 갖는 코어스하게 분리 가능한 분할 $ (A, B) $ 의 구성은 K-이론적 지표 이론을 적용하여 기하학적 장벽을 탐지할 수 있게 한다.
• 결과적으로 펄의 추측을 확인하였으며, 창과 블록-바이너버거의 이전 결과를 리만 곡면의 모듈리 공간 설정으로 확장한다.