[논문 리뷰] Geometric normal subgroups in mapping class groups of punctured surfaces

Alan McLeay|arXiv (Cornell University)|2018. 10. 01.

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

한 줄 요약

이 논문은 구멍이 난 표면의 확장된 매핑 클래스 군의 많은 정규부군이 기하학적임을 입증한다. 즉, 그들의 자기동형군과 추상적 공역군이 전체 확장된 매핑 클래스 군과 동형임을 의미한다. 핵심 결과는 정규부군 원소의 최소 지지의 복잡도 조건에 기반하며, 삼등분 복합체의 자기동형군 고정성에 의해 닫힌 표면에서의 Brendle-Margalit의 결과를 구멍이 난 표면으로 일반화한다.

ABSTRACT

We prove that many normal subgroups of the extended mapping class group of a surface with punctures are geometric, that is, that their automorphism groups and abstract commensurator groups are isomorphic to the extended mapping class group. In order to apply our theorem to a normal subgroup we require that the "minimal supports" of its elements satisfy a certain complexity condition that is easy to check in practice. The key ingredient is proving that the automorphism groups of many simplicial complexes associated to punctured surfaces are isomorphic to the extended mapping class group. This resolves many cases of a metaconjecture of N. V. Ivanov and extends work of Brendle-Margalit, who prove the result for surfaces without punctures.

연구 동기 및 목표

• 닫힌 표면에서의 Brendle-Margalit의 기하학적 정규부군 결과를 구멍이 난 표면으로 확장한다.
• Ivanov의 메타추측을 해결한다. 즉, 매핑 클래스 군의 정규부군의 자기동형군과 공역군이 동형임을 증명한다.
• 정규부군이 기하학적임을 보장하는 충분조건을 최소 지지 복잡도에 기반하여 수립한다.
• 충분히 높은 종수와 구멍 수를 가진 구멍이 난 표면에서 존슨 필터링의 항들이 기하학적임을 증명한다.
• 구멍이 난 표면에 관련된 핵심 삼등분 복합체의 자기동형군이 확장된 매핑 클래스 군과 동형임을 보여준다.

제안 방법

• 정규부군의 원소에 대해 '최소 지지'를 정의한다. 즉, 원소가 지지되는 부분표면이며, 같은 위상형태를 가진 진부분표면에 포함되지 않는 것이다.
• 세 원소의 지지에 관여하는 종수와 구멍 수의 부등식을 통해 '작은 지지' 개념을 도입한다. 이는 최소 지지 원소와 다른 두 원소를 포함한다.
• 매핑 클래스 군의 곡선 복합체 및 그 변형에 대한 작용을 이용하여 자기동형군의 고정성을 확립한다.
• 자기동형군 복합체의 동형성을 위해 가환도형의 논증을 사용하여 정규부군의 자기동형군이 확장된 매핑 클래스 군과 동형임을 증명한다.
• 주요 정리를 존슨 필터링에 적용하기 위해, 지지가 Σ_{2,0}^1, Σ_{1,1}^1, 및 Σ_{0,3}^1 유형을 가진 원소들에 대해 작은 지지 조건을 검증한다.
• 유한지수부군은 동형인 추상적 공역군을 가진다는 사실을 이용하여 문제를 순수부군으로 줄이고, 단사성과 동형성 결과를 적용한다.

실험 결과

연구 질문

• RQ1 확장된 매핑 클래스 군의 구멍이 난 표면에서 정규부군이 기하학적일 조건은 무엇인가? 즉, 그 자기동형군이 전체 군과 동형이 되는가?
• RQ2 구멍이 난 표면에 관련된 삼등분 복합체의 자기동형군 고정성은 정규부군의 기하학성을 증명하는 데 사용될 수 있는가?
• RQ3 종수와 구멍 수의 부등식을 통해 정의된 작은 지지 조건은 정규부군이 기하학적임을 보장하는 데 충분한가?
• RQ4 종수 ≥5 및 충분한 구멍 수를 가진 구멍이 난 표면에서 존슨 필터링의 항들이 기하학적인가?
• RQ5 구멍의 존재는 닫힌 표면과 비교해 정규부군의 자기동형군과 공역군에 어떤 영향을 미치는가?

주요 결과

• 모든 최소 지지 원소가 작은 지지 조건을 만족할 경우, 확장된 매핑 클래스 군의 정규부군 N의 자기동형군은 전체 군과 동형이다.
• 그러한 N의 추상적 공역군 역시 확장된 매핑 클래스 군과 동형이며, 닫힌 표면에서의 결과를 구멍이 난 표면으로 확장한다.
• g ≥ 5 및 n ≥ 5인 표면 Σ_{g,n}에 대해, 존슨 필터링 항목 J_k(Σ)는 작은 지지 조건이 모든 최소 지지 원소에 대해 만족되므로 기하학적이다.
• 정규부군의 복합체 C_N(Σ)의 자기동형군은 잘 정의된 준동형사상 Φ를 통해 확장된 매핑 클래스 군과 동형이며, 이 Φ는 단사적이고 전사적이다.
• 이 증명은 구멍이 난 표면에 관련된 삼등분 복합체의 자기동형군 고정성에 기반하며, Ivanov와 Brendle-Margalit의 결과를 구멍이 난 경우로 일반화한다.
• 작은 지지 조건은 정규부군 N이 표면에 충분히 '산재'해 있음을 보장하여 곡선 복합체 기법과 공역군 고정성의 적용을 가능하게 한다.