[논문 리뷰] Well-rounded equivariant deformation retracts of Teichmüller spaces

Lizhen Ji|arXiv (Cornell University)|2013. 02. 04.

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

한 줄 요약

이 논문은 양면성 있는, ${\mathrm{Mod}}_g$-동차인, 양의 codimension을 갖는 부분공간 $S$를 정의하고, $\mathcal{T}_g$에서 $S$로의 내재적이고 동차인 변형 수축의 존재를 증명함으로써, 테이히뮐러 공간 $\mathcal{T}_g$에 대한 ${\mathrm{Mod}}_g$-동차 변형 수축을 구성한다. 주요 기여는, 충분히 작은 $\varepsilon$에 대해 두꺼운 부분공간 $\mathcal{T}_g(\varepsilon)$로의 표준적 변형 수축을 통해, 매핑 클래스군에 대한 적절한 작용의 보편 공간 $\underline{E}{\mathrm{Mod}}_g$의 코컴팩트 모델을 확보하는 데 있다. 이는 이전 접근법의 한계를 해결하고, 기존에 격자 공간에 사용된 잘 둘러싸인 변형 수축 원리를 테이히뮐러 공간으로 확장함으로써 이루어진다.

ABSTRACT

In this paper, we construct spines, i.e., $\Mod_g$-equivariant deformation retracts, of the Teichmüller space $\T_g$ of compact Riemann surfaces of genus $g$. Specifically, we define a $\Mod_g$-stable subspace $S$ of positive codimension and construct an intrinsic $\Mod_g$-equivariant deformation retraction from $\T_g$ to $S$. As an essential part of the proof, we construct a canonical $\Mod_g$-deformation retraction of the Teichmüller space $\T_g$ to its thick part $\T_g(\varepsilon)$ when $\varepsilon$ is sufficiently small. These equivariant deformation retracts of $\T_g$ give cocompact models of the universal space $\underline{E}\Mod_g$ for proper actions of the mapping class group $\Mod_g$. These deformation retractions of $\T_g$ are motivated by the well-rounded deformation retraction of the space of lattices in $\R^n$. We also include a summary of results and difficulties of an unpublished paper of Thurston on a potential spine of the Teichmüller space.

연구 동기 및 목표

• 테이히뮐러 공간 $\mathcal{T}_g$에 대한 ${\mathrm{Mod}}_g$-동차인 변형 수축을 구성하여, 이가 코컴팩트하고 유한한 유형을 갖도록 한다.
• 이전에 격자 공간에 사용된 잘 둘러싸인 변형 수축 원리를, $g \geq 2$인 하이퍼볼릭 곡면의 테이히뮐러 공간으로 확장한다.
• 테이히뮐러의 비공식적 접근법에서의 실패를 해결하기 위해, 전체 공간이 균일하게 잘 둘러싸인 지역으로 수축되는 벡터장의 흐름을 구성한다.
• 매핑 클래스군 $\mathrm{Mod}_g$에 대한 적절한 작용의 보편 공간 $\underline{E}{\mathrm{Mod}}_g$의 코컴팩트이고 최소 차원인 모델을 제공한다. 이는 ${\mathrm{Mod}}_g$의 가상 공학 차원과 일치한다.
• 충분히 작은 $\varepsilon$에 대해, $\mathcal{T}_g$에서 두꺼운 부분공간 $\mathcal{T}_g(\varepsilon)$로의 표준적 변형 수축을 확립하여, 동차성과 적절한 수렴성을 보장한다.

제안 방법

• 짧은 지오데식이 곡면을 메우는 조건을 만족하는 하이퍼볼릭 곡면의 집합으로서 잘 둘러싸인 지역 $P$를 정의하고, $g$에만 의존하는 상수 $B > 1$에 따라 $P_{B\varepsilon}$라는 이웃을 구성한다.
• $\mathcal{T}_g$의 커버링의 각 열린 부분집합에서, 메우지 않는 단순 폐곡선의 집합 $\Gamma$에 따라 정의된 국소 벡터장을 구성하여, $\Gamma$에 속한 모든 지오데식의 길이를 증가시킨다.
• 서로소인 단순 폐곡선 $\delta$에 대해 길이 함수의 기울기 $\nabla\ell(\delta)$를 사용하여, 메우지 않는 지오데식 집합의 모든 시스톨의 길이를 동시에 증가시키는 방향을 정의한다.
• 커버링에 대한 파artition of unity를 사용하여, $\mathcal{T}_g$ 위에 전역 벡터장 $X_\varepsilon$를 구성한다. 이는 $P_{B\varepsilon}$에서 정확히 0이 되고, $\mathcal{T}_g \setminus P_{B\varepsilon}$에서는 0이 아님을 보장한다.
• $X_\varepsilon$의 흐름이 $\mathcal{T}_g$를 균일하게 $P_{B\varepsilon}$로 수축함을 증명한다. 이는 이전 방법에서 애초에 전체 공간이 아니라 컴팩트 부분집합만 수축되었던 문제를 해결한다.
• $\mathcal{T}_g$에서 $P_{B\varepsilon}$로의 변형 수축이 ${\mathrm{Mod}}_g$-동차임을 증명하고, 이로 인해 $\underline{E}{\mathrm{Mod}}_g$의 코컴팩트 모델이 유도됨을 보인다.

실험 결과

연구 질문

• RQ1 양면성 있는, ${\mathrm{Mod}}_g$-동차인 변형 수축을 통해, 양의 codimension을 갖는 잘 둘러싸인 부분공간으로의 $\mathcal{T}_g$의 표준적 변형 수축을 구성할 수 있는가?
• RQ2 메우지 않는 지오데식의 길이 기울기를 기반으로 한 벡터장 구성이, 전체 공간을 잘 둘러싸인 지역의 이웃으로 균일하게 수축하는 흐름을 유도하는가?
• RQ3 테이히뮐러의 비공식적 접근법에서 전체 공간이 균일하게 수축되지 않는 문제를, 벡터장과 흐름의 구성 방식을 정교화함으로써 극복할 수 있는가?
• RQ4 $\mathrm{Mod}_g$의 매핑 클래스군에 대해, 코컴팩트이고 유한한 유형의 $\Gamma$-CW-복합체 모델 $\underline{E}{\mathrm{Mod}}_g$를 구성할 수 있는가?
• RQ5 $\mathcal{T}_g$에서 충분히 작은 $\varepsilon$에 대해 두꺼운 부분공간 $\mathcal{T}_g(\varepsilon)$로의 변형 수축은 최소 차원의 뼈대 존재성과 어떻게 관련이 있는가?

주요 결과

• 양면성 있는, ${\mathrm{Mod}}_g$-동차인 변형 수축이 존재하며, 이는 양의 codimension을 갖는 잘 둘러싸인, ${\mathrm{Mod}}_g$-안정 부분공간 $S$로의 $\mathcal{T}_g$에서의 변형 수축을 제공하고, 이는 $\underline{E}{\mathrm{Mod}}_g$의 코컴팩트 모델이 된다.
• 이 구성은 충분히 작은 $\varepsilon > 0$에 대해, $\mathcal{T}_g$에서 두꺼운 부분공간 $\mathcal{T}_g(\varepsilon)$로의 내재적이고 ${\mathrm{Mod}}_g$-동차인 변형 수축을 확립한다.
• 테이히뮐러의 비공식적 접근법에서의 핵심 결함을 극복하기 위해, 구성된 벡터장 $X_\varepsilon$의 흐름이 전체 공간 $\mathcal{T}_g$를 균일하게 $P_{B\varepsilon}$의 이웃으로 수축함을 보장한다. 이는 이전 방법에서 컴팩트 부분집합만 수축되었던 것과 대비된다.
• 서로소인 지오데식 $\delta$에 대한 길이 기울기 $\nabla\ell(\delta)$의 사용은, 메우지 않는 시스톨 집합이 동시에 길이가 증가하도록 보장하여, 잘 둘러싸인 지역으로의 통제된 변형을 가능하게 한다.
• 결과적으로 유도된 변형 수축은 $\mathrm{Mod}_g$-CW-복합체 모델을 제공하며, 이의 차원은 ${\mathrm{Mod}}_g$의 가상 공학 차원과 정확히 일치한다. 이는 가능한 최소 차원과 일치한다.
• 이 구성은 이전에 $\mathbb{R}^n$에서의 격자 공간에 사용된 잘 둘러싸인 변형 수축 원리를 테이히뮐러 공간으로 일반화하여, 매핑 클래스군 작용을 연구하기 위한 새로운 기하학적 및 역학적 프레임워크를 제공한다.