[논문 리뷰] Different versions of mapping class groups of surfaces

Søren Kjærgaard Boldsen|ArXiv.org|2009. 08. 16.

Advanced Numerical Analysis Techniques인용 수 6

한 줄 요약

이 논문은 구면, 디스크, 실린더, 모비우스 밴드, 토러스, 클라인 병, 실수 프로젝티브 평면을 제외한 컴팩트하고 비자명한 표면에 대해, 미분동형사상, 위상동형사상, 호모토피 동치에 의해 정의된 매핑 클래스군이 모두 동형임을 자가 포함된 증명을 제공한다. 핵심 결과는 미분동형사상, 위상동형사상, 호모토피 동치의 공간의 기본군이 모두 동치임을 보여주며, 이는 매핑 클래스군에 있어 매끄러운, 위상적, 호모토피적 카테고리의 선택이 이러한 경우에 영향을 주지 않음을 확인한다.

ABSTRACT

We give a short, mostly elementary and self-contained proof of the classical result that the groups of diffeomorphisms, homeomorphisms, and homotopy equivalences of a surface have the same group of connected components.

연구 동기 및 목표

• 컴팩트 표면에서 미분동형사상, 위상동형사상, 호모토피 동치에 의해 정의된 매핑 클래스군의 동치성을 확립하기 위해.
• 특수 표면이 없는 상황에서 다양한 카테고리의 사상이 동형인 매핑 클래스군을 유도하는지 여부라는 기초적 질문을 해결하기 위해.
• 미분동형사상, 위상동형사상, 호모토피 동치 그룹의 경로 성분 사이의 전단사성에 대한 자가 포함된 엄밀한 증명을 제공하기 위해.
• 매핑 클래스군의 정렬 및 경계를 유지하는 변형으로의 결과 확장하기 위해.
• 표준 정의인 방향을 유지하는 미분동형사상의 집합을 등기변형에 대해 몫으로 취한 것(π₀(Diff₊(F, ∂F)))이 다양한 카테고리 간에 강인함을 확인하기 위해.

제안 방법

• 경계 및 곡선 주변의 콜라르 이웃에서 등기변형 이론과 등기변형 확장 정리를 사용하여, 미분동형사상과 위상동형사상 간의 관계를 설정한다.
• Lemma 2.2를 적용하여 원환사상의 미분동형사상에 대한 스무스 등기변형을 항등사상으로 구성함으로써, 미분동형사상의 구조를 유지한다.
• 튜브형 좌표계와 버블 함수를 사용하여 디스크 위의 호모토피 동치를 디스크의 미분동형사상으로 호모토피 변형하는 콜라르 이웃 증명을 활용한다.
• 스메이의 정리(디스크의 미분동형사상에 대한)를 적용하여, 쌍-오-팬츠 분해에서 유도된 디스크에서의 사상들을 항등사상으로 등기변형한다.
• 표면 및 그 경계의 미분동형사상군을 포함하는 피브레이션 시퀀스를 사용하여, 미분동형사상군과 위상동형사상군의 호모토피 유형을 비교한다.
• 피브레이션의 장대 정확 시퀀스의 호모토피 군에 대해 5-레마를 적용하여, 미분동형사상군의 경로 성분과 위상동형사상군의 경로 성분 사이의 사상의 상사상성(onto)을 증명한다.

실험 결과

연구 질문

• RQ1 비특수 표면에 대해, 컴팩트 표면의 미분동형사상, 위상동형사상, 호모토피 동치 그룹의 경로 성분이 동형인지 여쭤보는 것인가?
• RQ2 미분동형사상, 위상동형사상, 또는 호모토피 동치에 의해 정의된 매핑 클래스군이 변하지 않는가?
• RQ3 표면 위의 호모토피 동치를 경계를 유지하고 콜라르 이웃에서 스무스인 호모토피를 통해 미분동형사상으로 변형할 수 있는가?
• RQ4 경계를 유지하는 미분동형사상군의 포함 사상이 전체 미분동형사상군의 경로 성분에 대해 상사상인가?
• RQ5 방향을 유지하는 조건이 다양한 카테고리 간의 매핑 클래스군 동치성과 동시에 작용하는가?

주요 결과

• 구면, 디스크, 실린더, 모비우스 밴드, 토러스, 클라인 병, 실수 프로젝티브 평면과 위상적으로 동치가 아닌 컴팩트 표면에 대해, 미분동형사상, 위상동형사상, 호모토피 동치 그룹의 경로 성분은 모두 동형이다.
• 미분동형사상군의 경로 성분에서 호모토피 동치 그룹의 경로 성분으로의 사상은 전사적이며 단사적이며, 따라서 전단사이다.
• 경계를 유지하는 미분동형사상군의 포함 사상이 전체 미분동형사상군의 경로 성분에 대해 상사상임을 피브레이션의 장대 정확 시퀀스에 대해 5-레마를 적용하여 증명하였다.
• 같은 동형성은 방향을 유지하는 부분군에 대해서도 성립하며, 이는 표준 정의인 π₀(Diff₊(F, ∂F))가 카테고리에 관계없이 불변임을 확인한다.
• 경계에서 항등사상인 사상으로 제한하는 경우에도 결과가 성립함을 Corollary 4.8로 보여주었다.
• 위상적 경우에서 단사성을 보장하는, 경계가 없는 홈오모르피즘이 항등사상과 호모토피일 경우 등기변형 가능임을 보여주는 에프스타인의 정리에 기반한다.