[논문 리뷰] Torelli buildings and their automorphisms

Benson Farb, Nikolai V. Ivanov|arXiv (Cornell University)|2014. 10. 23.

Geometric and Algebraic Topology참고 문헌 17인용 수 5

한 줄 요약

이 논문은 종수 5 이상의 닫힘 양방향 표면에 대해 관련된 추가 구조를 지닌 단순체 Torelli 빌딩을 도입하고, 그 자동형사상이 표면의 미분동형사상에 의해 완전히 유도됨을 증명한다. 핵심 결과는 Torelli 빌딩의 자동형사상군이 확장된 매핑 클래스 군과 동형임을 규명하여, Torelli 군 자체의 자동형사상을 연구하는 데 기초적인 도구를 제공한다.

ABSTRACT

In this paper we introduce, for each closed orientable surface, an analogue of Tits buildings adjusted to investigation of the Torelli group of this surface. It is a simplicial complex with some additional structure. We call this complex with its additional structure the Torelli building of the surface in question. The main result of this paper shows that Torelli buildings of surfaces of genus at least 5 have only obvious automorphisms, and identifies its group of automorphisms. Namely, we prove that for such a surface every automorphism of its Torelli building is induced by a diffeomorphism of the surface. This theorem about automorphisms of Torelli buildings is intended for applications to automorphisms and virtual automorphisms of Torelli groups. The latter results will be presented on some other occasion. All these results were announced in arXiv:math/0311123.

연구 동기 및 목표

• Torelli 군에 적합한 Torelli 빌딩이라 불리는 새로운 단순체를 정의함으로써, 표면의 Torelli 군에 대해 특화된 티츠 빌딩의 유사체를 제시한다.
• 종수 ≥5인 표면에 대해, Torelli 빌딩의 모든 자동형사상이 표면의 미분동형사상에 의해 유도됨을 증명한다.
• Torelli 빌딩의 구조를 통해 Torelli 군의 자동형사상과 가상 자동형사상 연구의 기초를 마련한다.
• 곡선 복합체 자동형사상 이론의 기법을 Torelli 군 설정으로 확장하여, 기존 곡선 복합체 자동형사상에 대한 결과를 활용한다.

제안 방법

• 표면 위의 분리 곡선과 경계 쌍 곡선에 대응하는 정점을 지닌 단순체로 Torelli 빌딩을 정의한다.
• 확장된 매핑 클래스 군이 곡선 복합체에 작용하는 방식을 이용해 Torelli 빌딩의 자동형사상들을 유도한다.
• 그들의 조합 구조를 분석함으로써, Torelli 빌딩의 자동형사상이 분리 곡선 및 경계 쌍 정점의 인cidenc 관계를 유지함을 증명한다.
• Farb-Ivanov 이론에 의해 알려진 곡선 복합체 자동형사상 결과를 활용하여, Torelli 빌딩 자동형사상이 곡선 복합체 자동형사상에 의해 유도됨을 보인다.
• 그러한 곡선 복합체 자동형사상이 표면의 미분동형사상에 의해 유도됨을 보이고, 이를 Torelli 빌딩으로 올린다.
• 결론적으로, Torelli 빌딩의 모든 자동형사상이 미분동형사상에 의해 유도됨을 보이며, 자동형사상군을 확장된 매핑 클래스 군과 동형으로 규명한다.

실험 결과

연구 질문

• RQ1 종수 5 이상인 표면에 대해 Torelli 빌딩의 자동형사상군의 구조는 어떻게 되는가?
• RQ2 Torelli 빌딩의 모든 자동형사상은 표면의 미분동형사상에 의해 실현될 수 있는가?
• RQ3 Torelli 빌딩은 곡선 복합체와 Torelli 군이 자동형사상 이론의 맥락에서 어떻게 관련되어 있는가?
• RQ4 Torelli 빌딩의 자동형사상은 기저 표면의 대칭성을 어느 정도 반영하는가?
• RQ5 Torelli 빌딩의 자동형사상 이론을 이용해 Torelli 군의 유한지수 부분군 간의 동형사상 분류가 가능한가?

주요 결과

• 종수 5 이상인 닫힘 양방향 표면 S에 대해, Torelli 빌딩의 모든 자동형사상은 S의 미분동형사상에 의해 유도된다.
• Torelli 빌딩의 자동형사상군은 S의 확장된 매핑 클래스 군과 동형이다.
• 증명은 Torelli 빌딩의 자동형사상이 기저 곡선 복합체의 자동형사상으로 유도됨을 근거로 하며, 이 자동형사상들이 이미 미분동형사상에 의해 유도됨이 알려져 있다.
• 미분동형사상에 의한 자동형사상 규명은 Torelli 군의 유한지수 부분군 간의 동형사상 분류를 가능하게 한다.
• 결과적으로 Torelli 군의 자동형사상군과 외부 자동형사상군 모두 확장된 매핑 클래스 군과 동형임을 시사한다.
• 이 결과를 통해 Torelli 군의 추상적 공명군 역시 확장된 매핑 클래스 군으로 규명된다.