[논문 리뷰] Classifying spaces for proper actions of mapping class groups

Guido Mislin|ArXiv.org|2009. 05. 06.

Geometric and Algebraic Topology참고 문헌 19인용 수 19

한 줄 요약

이 논문은 오목 표면의 매핑 클래스 군에 대한 올바른 작용의 분류 공간에 대한 코코어팩트 모델을 구성한다. 표면의 종수 $g$, 경계 성분 수 $r$, 구멍 수 $s$를 갖는 경우에 대해, $\Gamma_{g,0}^0$에 대해 알려진 코코어팩트 모델을 기반으로 $r$과 $s$에 대한 귀납법을 사용하여, 모든 $\Gamma_{g,r}^s$에 대해 이러한 모델의 존재를 입증한다. 이는 군의 확장과 대칭 공간 또는 쌍곡 평면 위의 기하 작용을 활용한 것이다.

ABSTRACT

We describe a cocompact model for the classifying space for proper actions of the mapping class group of a surface with punctures and boundary components. Our construction relies on a known model for the case of a closed surface and uses an induction on the number of punctures and boundary components.

연구 동기 및 목표

• 종수 $g$, 경계 성분 수 $r$, 구멍 수 $s$를 갖는 올바른 표면의 매핑 클래스 군에 대해 모든 $\Gamma^{s}_{g,r}$에 대한 코코어팩트 모델 $\underline{E}\Gamma^{s}_{g,r}$의 통일된 구성 방법을 제공한다.
• 기존의 $\Gamma_{g,0}^0$ 경우에 대한 결과를 $r$과 $s$의 모든 구성으로 확장하기 위해 귀납적 기법을 적용한다.
• 모든 이러한 매핑 클래스 군에 대해 수축 가능 공간 위에서 올바르고 코코어팩트이며 $\Gamma$--equivariant한 작용의 존재를 확립한다.
• 저종수 경우($g=0,1$)에 대한 매핑 클래스 군의 올바른 작용 분류 문제를 기존의 자명성 및 동형사상 결과를 활용하여 해결한다.
• Ji와 Wolpert의 $\Gamma_{g,0}^s$에 대한 이전 구성들을 통합하고 일반화하여 단일 귀납적 프레임워크로 통합한다.

제안 방법

• 구성은 경계 성분 수 $r$과 구멍 수 $s$에 대한 귀납법을 통해 진행되며, 기저 사례인 $\Gamma_{g,0}^0$에서 시작된다.
• 귀납 단계에서는 $1 \to H \to \Gamma \to F \to 1$ 형태의 정확한 수열을 사용한다. 여기서 $F$는 유한군이며, $H$는 유한 생성 자유군 또는 $g>0$인 표면 군 $\pi_1(S_g)$이다.
• 각 확장에 대해, 기하 작용을 통해 코코어팩트 $\underline{E}\Gamma$의 존재를 입증한다: 자유군의 경우 $\mathbb{R}^n$에서, $g>1$인 표면군의 경우 쌍곡 평면 $U$에서의 작용을 사용한다.
• 핵심 기법은 표면에서의 유한군 작용을 그의 기본 덮개로 옮기는 것이다. Kerckhoff의 정리를 활용하여 쌍곡 평면 위에서 충실한 등거리 작용을 보장한다.
• 구성은 유한 확장된 군이 코코어팩트 $\underline{E}\Gamma$를 갖는다는 사실에 의존한다. 이는 핵이 표면군 또는 표면군이 되는 자유군일 경우에 성립한다.
• 일반 원리에 따르면, $H$가 코코어팩트 $\underline{E}H$를 갖는다면, $F$가 유한군이면 $\Gamma$는 기하적 또는 대수적 옮김을 통해 코코어팩트 $\underline{E}\Gamma$를 상속한다.

실험 결과

연구 질문

• RQ1 종수 $g$, 경계 성분 수 $r$, 구멍 수 $s$를 갖는 올바른 표면의 매핑 클래스 군에 대해 모든 $\Gamma^{s}_{g,r}$에 대한 $\underline{E}\Gamma^{s}_{g,r}$에 대한 통일된 코코어팩트 모델 구성이 가능한가?
• RQ2 기저 사례인 $\Gamma_{g,0}^0$에서 출발하여 귀납적 기법을 통해 모든 $\Gamma_{g,r}^s$로 코코어팩트 모델의 존재를 어떻게 확장할 수 있는가?
• RQ3 유한 몫군과 표면군 또는 자유군 핵을 갖는 군의 확장은 올바르고 코코어팩트한 $\Gamma$-CW-복합체를 구성하는 데 어떤 역할을 하는가?
• RQ4 대칭 공간(예: $\mathbb{R}^n$ 또는 상반평면) 위에서의 기하 작용은 올바른 작용에 대한 코코어팩트 분류 공간의 존재를 어떻게 보장하는가?
• RQ5 저종수 경우($g=0,1$)에서 이 구성의 행동은 어떠한가? 특히 예외적인 경우는 어떻게 다루는가?

주요 결과

• 종수 $g$, 경계 성분 수 $r$, 구멍 수 $s$를 갖는 올바른 표면의 매핑 클래스 군 $\Gamma_{g,r}^s$에 대해 코코어팩트 모델 $\underline{E}\Gamma^{s}_{g,r}$가 존재한다.
• 구성은 귀납적이다: $\Gamma_{g,0}^0$에서 시작하여, 이는 이전 연구에 의해 코코어팩트 모델을 갖는다. 이 결과는 수열 (B)를 통해 $\Gamma_{g,0}^s$로 확장되고, 이후 수열 (D)를 통해 $\Gamma_{g,r}^s$로 확장된다.
• 종수 $g \geq 2$인 경우, 군 $\Gamma_{g,r}^s$는 쌍곡 평면 $U$ 위에서의 쌍곡 등거리 변환 작용을 갖는 두 차원 코코어팩트 $\underline{E}\Gamma$를 갖는다.
• 종수 $g=0$인 경우, 매핑 클래스 군 $\Gamma_{0,0}^s$는 $s < 4$일 때 자명하며, 이 구성은 수열을 통해 더 높은 $s$와 $r$로 확장된다.
• 종수 $g=1$의 경우 $\Gamma_{1,0}^0 \cong \Gamma_{1,0}^1$임을 고려하여 동일한 귀납적 프레임워크를 통해 확장된다.
• 이 방법은 유한 확장된 군이 코코어팩트 $\underline{E}\Gamma$를 갖는다는 것을 확인한다. 이는 핵이 표면군 또는 유한 생성 자유군일 경우에 성립한다.