[논문 리뷰] Large scale geometry of big mapping class groups

Kathryn Mann, Kasra Rafi|arXiv (Cornell University)|2019. 12. 23.

Geometric and Algebraic Topology인용 수 7

한 줄 요약

이 논문은 Rosendal의 거칠은 유계성 프레임워크를 사용하여 유형이 무한대인 표면의 큰 매핑 클래스 군의 대규모 기하학을 분류한다. 국소적 거칠은 유계성, 거칠은 유계 생성, 그리고 유계 직경에 대한 완전한 특성화를 제공하며, 이는 끝 공간의 구조와 비이동 가능한 부분표면과 같은 위상적 불변량과 연결된다.

ABSTRACT

We study the large-scale geometry of mapping class groups of surfaces of infinite type, using the framework of Rosendal for coarse geometry of non locally compact groups. We give a complete classification of those surfaces whose mapping class groups have local coarse boundedness (the analog of local compactness). When the end space of the surface is countable or tame, we also give a classification of those surface where there exists a coarsely bounded generating set (the analog of finite or compact generation, giving the group a well-defined quasi-isometry type) and those surfaces with mapping class groups of bounded diameter (the analog of compactness).

연구 동기 및 목표

• 비국소적으로 컴 pact한 폴란드 군, 특히 유형이 무한대인 표면의 큰 매핑 클래스 군에 기하군론을 확장하기 위해.
• 거칠은 유계 생성 집합을 통해 이러한 군이 잘 정의된 준등장 유형을 갖는지 결정하기 위해.
• 이러한 군이 유계 직경을 갖는 경우(즉, 컴 pact성과 유사함) 또는 국소적으로 거칠게 유계인 경우(즉, 국소 컴 pact성과 유사함)를 분류하기 위해.
• 비이동 가능한 부분표면과 끝 공간의 자기유사성과 같은 위상적 특징이 매핑 클래스 군의 기하학적 성질과 어떻게 연결되는지 밝히기 위해.
• 끝 공간의 구조와 성분의 분포를 기반으로 한 매핑 클래스 군의 완전한 분류를 제공하기 위해.

제안 방법

• 비국소적으로 컴 pact한 군에 대해 준등장 유형을 정의하기 위해 Rosendal의 거칠은 유계성 이론을 적용한다.
• 유한 또는 컴 pact 생성의 일반화로 유한형 표면에 대해 적용 가능한 거칠은 유계성(CB) 개념을 사용한다.
• 끝에 대한 부분 순서를 정의한다: $ x \preccurlyeq y $ 이면 $ x $의 이웃이 $ y $의 이웃으로 위상적으로 임베드되며, 닫힌 열린 집합 $ A $에 대해 최대 끝 $ \mathcal{M}(A) $ 를 정의한다.
• 부분표면 사영과 길이 함수를 사용하여 기하학적 비유계성을 탐지하며, 특히 궤도가 비유계인 메트릭 공간에 대한 작용을 통해 분석한다.
• 끝 공간의 자기유사성 분석: 쌍 $ (E, E^G) $ 는 어떤 닫힌 열린 부분집합의 분해 안에 임베드될 수 있을 때 자기유사하다고 정의된다.
• 텔레스코프 구조와 보완 영역의 위상형을 사용하여 거칠은 유계성과 유계 직경 조건을 검증한다.

실험 결과

연구 질문

• RQ1 유형이 무한대인 표면의 매핑 클래스 군이 언제 국소적으로 거칠게 유계인가?
• RQ2 큰 매핑 클래스 군이 언제 거칠게 유계 생성 집합을 갖는가? 이는 군이 잘 정의된 준등장 유형을 갖는다.
• RQ3 매핑 클래스 군이 언제 유계 직경을 갖는가? 이는 컴 pact성과 유사하다.
• RQ4 비이동 가능한 부분표면이나 자기유사적인 끝 공간과 같은 위상적 특징이 매핑 클래스 군의 대규모 기하학에 어떻게 영향을 주는가?
• RQ5 끝 공간의 구조—특히 최대 끝과 자기유사성—이 거칠은 기하학적 성질을 결정하는 데 어떤 역할을 하는가?

주요 결과

• 매핑 클래스 군 $ \operatorname{Map}(\Sigma) $ 는 유한형 부분표면 $ K \subset \Sigma $ 가 존재하여 각 보완 영역이 유형이 무한대이고 0 또는 무한 대수적 종수를 가지며, 끝 공간이 유한 개의 닫힌 열린 집합으로 분할될 때이고, 그때에만 국소적으로 거칠게 유계이다.
• 끝 공간이 가산이거나 옹호된 경우, $ \operatorname{Map}(\Sigma) $ 는 거칠게 유계 생성일 필요충분조건으로 끝 공간이 자기유사적이며, 종수가 유한하거나 통제된 방식으로 무한한 경우이다.
• 매핑 클래스 군이 유계 직경(즉, 전반적으로 거칠게 유계)을 갖는다 하는 것은 끝 공간 $ E $ 가 자기유사적이며 종수가 자기유사적인 방식으로 유한하거나 무한한 경우에만 성립한다.
• 비이동 가능한 부분표면은 비자명한 기하학의 원인이다: 그 존재는 부분표면 사영을 통한 군 위의 비유계 길이 함수의 존재를 암시한다.
• 끝 공간 $ (E, E^G) $ 의 자기유사성은 매핑 클래스 군이 유계 직경을 갖는 데 필수적이고 충분한 조건이다.
• 유계 직경의 증명은 자기유사성이 실패할 경우 $ \mathbb{Z} $ 로의 비유계 준동형을 구성함으로써 이루어지며, 이는 군이 거칠게 유계일 수 없음을 보여준다.