[논문 리뷰] The mapping class group cannot be realized by homeomorphisms

Vladimir Marković, Dragomir Šarić|ArXiv.org|2008. 07. 01.

Geometric and Algebraic Topology참고 문헌 7인용 수 6

한 줄 요약

이 논문은 $ g \geq 2 $ 인 닫힌 곡면의 매핑 클래스 군이 방향을 유지하는 호메오모르피즘에 의해 실현될 수 없다는 것을 증명한다. 즉, 표준 사영 아래에서 항등사상으로 작용하는 매핑 클래스 군에서 호메오모르피즘 군으로의 군 준동형사상이 존재하지 않는다는 뜻이다. 증명은 파브-마르갈리의 결과에서 유도된 매핑 클래스 군 내의 아르틴형 관계를 분석하고, 원환면 위의 위상적 동역학과 보편 커버에서의 업그레이드 성질을 이용해 모순을 도출한다.

ABSTRACT

Let $M$ be a closed surface. By $\Homeo(M)$ we denote the group of orientation preserving homeomorphisms of $M$ and let $\MC(M)$ denote the Mapping class group. In this paper we complete the proof of the conjecture of Thurston that says that for any closed surface $M$ of genus $\g \ge 2$, there is no homomorphic section $\E:\MC(M) o \Homeo(M)$ of the standard projection map $\Proj:\Homeo(M) o \MC(M)$.

연구 동기 및 목표

• 테리슨이 제기한 오랜 추측, 즉 $ g \geq 2 $ 인 곡면에서 매핑 클래스 군이 호메오모르피즘에 의해 실현될 수 없다는 것을 해결하기 위해.
• 기존의 미분형 및 해석적 미분형에 대한 실현 불가능성 결과를 전체 호메오모르피즘 군으로 확장하기 위해.
• 닫힌 곡면 $ M $ 에 대해 매핑 클래스 군 $ \mathcal{MC}(M) $ 에서 $ \operatorname{Homeo}(M) $ 으로의 군 준동형사상의 단면이 존재하지 않음을 입증하기 위해.
• 연속 대칭을 통한 매핑 클래스 군의 업그레이드에 대한 군론적 장벽을 통합하고 완성하기 위해.

제안 방법

• 파브-마르갈리의 자료에서 유도된, 곡선의 체인에 따른 디엔 트위스트를 포함하는 매핑 클래스 군 내의 아르틴형 관계를 분석한다.
• 원환면의 호메오모르피즘에 대한 트위스트 수 개념을 도입하여 보편 커버로의 업그레이드에서의 동적 행동을 연구한다.
• 가장 작은 원환면 $ A_{\min} $ 을 구성하여, 가상의 단면의 동역학을 분석한다.
• 하위군의 $ \operatorname{Homeo}(M) $ 에 대한 상한 연속 분해와 최소 분해를 사용하여, 불변 집합의 위상적 구조를 제어한다.
• 군 원소를 보편 커버 $ P $ 로 업그레이드하고, 업그레이드된 고정점 및 궤도 행동을 연구하여 모순을 이끌어낸다.
• 순환군 작용에 대한 리프시츠 유형 조건을 적용하여, $ \mathcal{E}(t_\gamma) $ 의 회전수는 반드시 0이 되어야 하며, 이는 기대되는 비자명한 동역학과 모순된다.

실험 결과

연구 질문

• RQ1 닫힌 곡면 $ M $ 의 매핑 클래스 군이 $ g \geq 2 $ 일 때, 군 준동형사상 $ \mathcal{E}: \mathcal{MC}(M) \to \operatorname{Homeo}(M) $ 를 통해 방향을 유지하는 호메오모르피즘의 부분군으로 실현될 수 있는가?
• RQ2 매핑 클래스 군 내의 아르틴형 관계가 호메오모르피즘 작용으로 업그레이드될 경우, 위상적 모순이 발생하는가?
• RQ3 미분형에 대해 단면이 존재하지 않더라도, $ \mathcal{MC}(M) $ 에서 $ \operatorname{Homeo}(M) $ 으로의 군 준동형사상 단면의 존재에 대해 위상적 장벽이 존재하는가?
• RQ4 가능한 단면 하에서의 디엔 트위스트의 동역학을 원환면 업그레이드와 회전수를 통해 분석하여 모순을 이끌어낼 수 있는가?
• RQ5 최소 원환면 구성과 관련된 업그레이드 성질이 회전수를 0으로 이끌어내어, 디엔 트위스트의 기대되는 행동과 모순되는가?

주요 결과

• 군 준동형사상 $ \mathcal{E}: \mathcal{MC}(M) \to \operatorname{Homeo}(M) $ 가 존재하지 않으며, $ \mathcal{P} \circ \mathcal{E} = \text{id}_{\mathcal{MC}(M)} $ 를 만족하는 경우가 없음을 증명하여, 호메오모르피즘에 의한 매핑 클래스 군의 실현 불가능성을 입증한다.
• 모순은 $ \rho(\mathcal{E}(t_\gamma), A_{\min}) = 0 $ 임을 보여줌으로써 발생하며, 이는 디엔 트위스트의 기대되는 비자명한 동역학과 모순된다.
• 최소 원환면 $ A_{\min} $ 과 그 업그레이드 $ P $ 는 $ \mathcal{E}(t_\gamma) $ 의 작용을 분석하는 데 사용되며, 궤도에 대한 장거리 리프시츠 제어를 통해 모순이 도출된다.
• 증명은 모든 $ g \geq 2 $ 의 곡면에 대해 동일하게 적용되며, 짝수 및 홀수 곡면의 경우에 대해 미세한 위상적 차이를 제외하고 동일하게 처리된다.
• 이 결과는 모리타, 프랭크스-핸델, 칸타트-서보의 작업을 완성하여, 최소한의 정규성 클래스(호메오모르피즘)에서도 그러한 단면이 존재하지 않음을 보여준다.
• 핵심 장벽은 아르틴형 관계와 보편 커버로의 업그레이드에서의 원환면 동역학의 위상적 강성 사이의 상호작용에 있다.