[논문 리뷰] Point pushing, homology, and the hyperelliptic involution

Tara Brendle, Dan Margalit|arXiv (Cornell University)|2011. 10. 06.

Geometric and Algebraic Topology참고 문헌 13인용 수 3

한 줄 요약

이 논문은 초타원형 토렐리 군에 대해 버르만 완전열을 수립하며, 초타원형 호환의 고정점이나 교환되는 점 쌍을 표기할 경우 두 가지 주요 케이스에서 그 분할이 성립함을 증명한다. 분할 덕분에 저자들은 초타원형 토렐리 군이 대칭 분리 곡선에 대한 디엔 트위스트로 생성됨이 유일한 조건으로서, 감소 가능한 원소들에 의한 생성과 동치임을 보이며, 이는 일부 추측을 해결하고 버르만 표현의 핵에 대한 연결을 이룬다.

ABSTRACT

The hyperelliptic Torelli group is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. We prove a Birman exact sequence for hyperelliptic Torelli groups, and we show that this sequence splits. As a consequence, we show that the hyperelliptic Torelli group is generated by Dehn twists if and only if it is generated by reducible elements. We also give an application to the kernel of the Burau representation.

연구 동기 및 목표

• 호모로지에 자명하게 작용하고 초타원형 호환과 가환하는 군의 부분군인 초타원형 토렐리 군으로의 버르만 완전열을 확장하기 위해.
• 표기된 표면과 경계 성분을 포함한 완전열을 통해 초타원형 토렐리 군의 구조를 이해하기 위해.
• 초타원형 토렐리 군에서 디엔 트위스트에 의한 생성과 감소 가능한 원소들에 의한 생성 사이의 관계를 해결하기 위해.
• 결과를 버르만 표현의 핵에 적용하여, 특히 대칭 곡선 구조의 맥락에서 이를 다루기 위해.

제안 방법

• 표기된 점이나 경계 성분을 가진 표면를 고려하여 초타원형 토렐리 군에 대한 버르만 완전열을 구성하기 위해.
• 구멍이 있는 구면의 기본군 자료를 사용하여 표기된 초타원형 토렐리 군에서 표기되지 않은 군으로의 忘却 사상의 핵을 특정하기 위해.
• 버르만–힐덴 정리를 사용하여 핵을 2g+1개 생성자를 가진 자유군의 부분군으로 실현하며, 짝수 길이의 단어에 대해 ℤ^{2g+1}로의 호모모르피즘 ε를 정의하기 위해.
• 핵이 유한 생성되지 않은 자유군임을 이용하여, 대칭적이고 사전 대칭적인 곡선을 사용하여 단면을 구성함으로써 완전열이 분할됨을 증명하기 위해.
• 분할을 적용하여 핵에 속한 원소들이 대칭 분리 곡선에 대한 디엔 트위스트의 곱임을 보여주기 위해.
• 종수에 대한 귀납법을 사용하고, 버르만 완전열과 대칭적으로 감소 가능한 원소들의 구조를 조합하여 대칭 디엔 트위스트에 의한 생성을 증명하기 위해.

실험 결과

연구 질문

• RQ1 초타원형 토렐리 군은 표준 매핑 클래스 군과 유사한 버르만 완전열을 갖는가?
• RQ2 표기된 초타원형 토렐리 군에서 표기되지 않은 군으로의 忘却 사상의 핵은 자유군과 동형이며, 이 완전열이 분할되는가?
• RQ3 초타원형 토렐리 군이 대칭 분리 곡선에 대한 디엔 트위스트로 생성됨이 유일한 조건으로서, 감소 가능한 원소들에 의한 생성과 동치인가?
• RQ4 대칭적이고 사전 대칭적인 곡선은 버르만 완전열의 단면을 구성하는 데 어떤 역할을 하는가?
• RQ5 핵의 구조는 버르만 표현의 핵과 어떻게 관련되어 있는가?

주요 결과

• 단일 고정 표기된 점을 가진 초타원형 토렐리 군에서 표기되지 않은 군으로의 忘却 사상은 동형사상이므로, 버르만 완전열이 붕괴된다.
• 한 개의 경계 성분을 가진 표면에 대해 초타원형 토렐리 군은 표기되지 않은 군과 ℤ의 곱과 동형이다.
• 초타원형 호환에 의해 서로 교환되는 점 쌍을 표기할 경우, 忘却 사상의 핵은 자유군의 짝수 길이의 단어에서 ℤ^{2g+1}로의 호모모르피즘 ε의 핵과 동형이다.
• 결과적으로 얻어진 단순 완전열은 분할되므로, 표기된 초타원형 토렐리 군은 표기되지 않은 군과 무한 생성 자유군의 반직접곱과 동형이다.
• 잊혀진 사상의 핵에 속한 모든 원소는 대칭 분리 곡선에 대한 디엔 트위스트의 곱이다.
• 초타원형 토렐리 군은 대칭 분리 곡선에 대한 디엔 트위스트로 생성됨이 유일한 조건으로서, 감소 가능한 원소들에 의한 생성과 동치임이 밝혀졌으며, 종수에 대한 귀납법과 버르만 완전열의 사용을 통해 이를 증명하였다.