[논문 리뷰] Normal subgroups of mapping class groups and the metaconjecture of Ivanov

Tara Brendle, Dan Margalit|arXiv (Cornell University)|2017. 10. 24.

Geometric and Algebraic Topology참고 문헌 32인용 수 11

한 줄 요약

이 논문은 닫힌 곡면의 확장된 매핑클래스군의 정규부분군 중에서 작은 지지를 가진 원소를 가지는 경우, 그 자동환군과 추상 공액군이 모두 확장된 매핑클래스군과 동형임을 증명한다. 증명은 표면와 관련된 많은 단순형 복합체의 자동환군이 확장된 매핑클래스군과 동형임을 보여줌으로써 이루어지며, 이는 아이바노프의 메타추측을 광범위한 객체의 범주에서 해결하고, 정규부분군을 분류하는 데 새로운 도구를 제공한다.

ABSTRACT

We prove that if a normal subgroup of the extended mapping class group of a closed surface has an element of sufficiently small support then its automorphism group and abstract commensurator group are both isomorphic to the extended mapping class group. The proof relies on another theorem we prove, which states that many simplicial complexes associated to a closed surface have automorphism group isomorphic to the extended mapping class group. These results resolve the metaconjecture of N.V. Ivanov, which asserts that any "sufficiently rich" object associated to a surface has automorphism group isomorphic to the extended mapping class group, for a broad class of such objects. As applications, we show: (1) right-angled Artin groups and surface groups cannot be isomorphic to normal subgroups of mapping class groups containing elements of small support, (2) normal subgroups of distinct mapping class groups cannot be isomorphic if they both have elements of small support, and (3) distinct normal subgroups of the mapping class group with elements of small support are not isomorphic. Our results also suggest a new framework for the classification of normal subgroups of the mapping class group.

연구 동기 및 목표

• 표면와 관련된 충분히 풍부한 객체가 모두 확장된 매핑클래스군과 동형인 자동환군을 가진다는 아이바노프의 메타추측을 해결하기 위해.
• 매핑클래스군의 정규부분군이 자동환군과 추상 공액군을 모두 확장된 매핑클래스군과 동형으로 가지는 일반적인 기준을 설정하기 위해.
• 작은 지지를 가진 원소의 존재를 바탕으로 매핑클래스군의 정규부분군을 분류하는 데 새로운 프레임워크를 제공하기 위해.
• 예를 들어, 직각 아르틴 군과 표면군과 같은 일부 군들이 작은 지지 원소를 포함하는 정규부분군과 동형일 수 없다는 것을 보여주기 위해.
• 서로 다른 작은 지지 원소를 가진 매핑클래스군의 정규부분군은 상호 동형이 아니며, 강력한 분류 불변량을 확립하기 위해.

제안 방법

• 저자들은 정규부분군의 자동환군을 연구하는 문제를 표면와 관련된 단순형 복합체의 자동환군 분석으로 환원한다.
• 정점이 연결된 부분표면에 대응하고, 변이 소속된 이웃성에 대응하는 단순형 복합체를 정의하며, 미묘한 조건 하에 이러한 복합체의 자동환군이 확장된 매핑클래스군과 동형임을 증명한다.
• 푸트만의 기법을 사용하여, 계수 $k-1$인 정점과 관련된 공유 쌍 그래프의 연결성을 보여주며, 이는 자동환군 결과에 필수적이다.
• 저자들은 디엔 트위스트 이론과 매핑클래스군의 구조를 활용하여 이러한 복합체 위에 작용을 생성한다.
• 아이바노프가 증명한 바와 같이, 곡선 복합체의 자동환군이 확장된 매핑클래스군과 동형이라는 사실을 이용하여 다른 복합체로 결과를 확장한다.
• 핵심 기술적 단계는 부분표면 내 곡선과 호의 구성 분석을 통해 다른 자동환군 유형이 제거됨을 보여주는 것이다.

실험 결과

연구 질문

• RQ1 아이바노프의 메타추측이 예측하는 바와 같이, 표면와 관련된 충분히 풍부한 모든 객체가 자동환군이 확장된 매핑클래스군과 동형일까?
• RQ2 매핑클래스군의 정규부분군의 자동환군은 작은 지지 원소의 존재로만 결정될 수 있을까?
• RQ3 작은 지지 원소를 가진 매핑클래스군의 정규부분군은 동형에 대해 유일하게 결정되는가?
• RQ4 직각 아르틴 군이나 표면군은 작은 지지 원소를 포함하는 매핑클래스군의 정규부분군과 동형일 수 있는가?
• RQ5 서로 다른 작은 지지 원소를 가진 매핑클래스군의 정규부분군은 상호 동형이 아닐까?

주요 결과

• 확장된 매핑클래스군의 정규부분군 중에서 충분히 작은 지지를 가진 원소를 포함하는 경우, 그 자동환군은 확장된 매핑클래스군과 동형이다.
• 그러한 정규부분군의 추상 공액군 역시 확장된 매핑클래스군과 동형이다.
• 표면와 관련된 자연스럽게 정의된 많은 단순형 복합체는 자동환군이 확장된 매핑클래스군과 동형이며, 곡선 복합체와 공유 쌍 그래프를 포함한다.
• 다른 종수 $g$를 가진 매핑클래스군의 정규부분군 중에서 작은 지지 원소를 가진 경우, 서로 동형이 될 수 없다.
• 직각 아르틴 군과 표면군은 작은 지지 원소를 포함하는 매핑클래스군의 어떤 정규부분군과도 동형이 될 수 없다.
• 작은 지지 원소를 가진 매핑클래스군의 서로 다른 정규부분군은 상호 동형이 아니며, 강력한 분류 불변량이 확립된다.