[논문 리뷰] Normal subgroups of the braid group and the metaconjecture of Ivanov

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

Geometric and Algebraic Topology참고 문헌 20인용 수 8

한 줄 요약

이 논문은 바운드 군과 매핑 클래스 군의 정상부분군에 대한 아이고바프의 메타추측을 해결한다. 특히, '영역의 그래프'에 대해, 특정 정상부분군의 자기동형군과 추상 공역군이 매핑 클래스 군임을 보여주며, 이는 기존의 알려진 결과를 복원하고 하위 중심계열, 도출계열, 조한슨 필터링의 항들로까지 확장한다. 중심과의 교차가 자명하고, 최대 $(n-1)/3$개의 표준 생성자를 포함하는 $B_n$의 임의의 정상부분군 $N$에 대해, $\mathrm{Aut}N$은 $\mathrm{Mod}^\pm(S_{n+1})$에서 $\Psi(N)$의 정규화군과 동형임을 증명한다.

ABSTRACT

We show that many normal subgroups of the braid group modulo its centre, and of the mapping class group of a sphere with marked points, have the property that their automorphism and abstract commensurator groups are mapping class groups of such spheres. As one application, we establish the automorphism groups of each term in the lower central series and derived series of the pure braid group. We also obtain new proofs of results of Dyer-Grossman and Orevkov, showing that the automorphism groups of the braid group and of its commutator subgroup are isomorphic. We then calculate the automorphism and abstract commensurator groups of each term in the hyperelliptic Johnson filtration, recovering a result of Childers for the Torelli case. The techniques used in the paper rely on resolving a metaconjecture of Nikolai V. Ivanov for "graphs of regions", extending work of Brendle-Margalit.

연구 동기 및 목표

• 브레인드 군과 매핑 클래스 군의 정상부분군에 대한 자동동형군과 추상 공역군의 구조에 관한 니콜라이 아이고바프의 메타추측을 해결하는 것.
• 순수 브레인드 군의 하위 중심계열, 도출계열, 하이퍼에일리프틱 조한슨 필터링의 항들의 자동동형군을 특성화하는 것.
• 브렌들-마르갈리트의 기법을 영역의 그래프로 확장하여, 자동동형군이 마크된 점이 있는 구면의 매핑 클래스 군임을 식별할 수 있도록 하는 것.
• 브레인드 군과 그 교환자부분군의 자동동형군에 관한 고전적 결과들에 대한 새로운 증명을 제공하는 것.

제안 방법

• 브레인드 군의 중심에 대한 몫군인 $B_n/Z$를, $n+1$개의 마크된 점을 가진 구면 위에서의 기하적 실현을 통해 $\mathrm{Mod}^\pm(S_{n+1})$의 부분군으로 간주한다.
• 단사 준동형사상 $\Psi: B_n/Z \hookrightarrow \mathrm{Mod}^\pm(S_{n+1})$를 이용하여, $B_n/Z$의 정상부분군을 매핑 클래스 군의 부분군과 연결한다.
• 자기동형군, 공역군, 정규화군을 포함하는 군 준동형사상의 다이어그램을 적용하여, $\mathrm{Aut}N$을 $\mathrm{Mod}^\pm(S_{n+1})$에서 $\Psi(N)$의 정규화군과 연결한다.
• 곡선 복합체 위에서의 작용을 포함한 영역의 그래프 이론을 활용하여 자동동형군과 공역군의 구조를 분석한다.
• $\mathrm{Mod}(S_{n+1},p)$가 $\mathrm{Mod}(S_{n+1})$의 유한지수부분군임을 이용하여, $\mathrm{Mod}^\pm(S_{n+1},p)$와 관련된 동형을 유도한다.
• 일련의 단사 준동형사상 $\Phi_1, \dots, \Phi_6$를 통해 동형을 확립하며, 특정 조건 하에서 $\mathrm{Aut}N \cong \mathrm{Comm}N \cong \mathcal{M}_1$임을 보인다.

실험 결과

연구 질문

• RQ1 중심과의 교차가 자명하고, 최대 $(n-1)/3$개의 표준 생성자를 포함하는 브레인드 군 $B_n$의 정상부분군 $N$에 대해, 그 자동동형군의 구조는 무엇인가?
• RQ2 순수 브레인드 군의 하위 중심계열과 도출계열의 항들에 대한 자동동형군과 추상 공역군은 매핑 클래스 군과 어떻게 관련이 있는가?
• RQ3 기하군론 기법을 활용하여 '영역의 그래프'에 대한 아이고바프의 메타추측을 브레인드 군과 매핑 클래스 군의 맥락에서 해결할 수 있는가?
• RQ4 중심에 대한 몫을 취한 브레인드 토렐리 군의 자동동형군은 무엇이며, 마크된 점이 있는 구면의 확장 매핑 클래스 군과 어떻게 관련이 있는가?
• RQ5 정상부분군 $N$의 추상 공역군이 그 자동동형군과 동형이 되는 조건은 무엇인가?

주요 결과

• 중심과의 교차가 자명하고, 최대 $(n-1)/3$개의 표준 생성자를 포함하는 브레인드 군 $B_n$의 임의의 정상부분군 $N$에 대해, $\mathrm{Aut}N$은 $\mathrm{Mod}^\pm(S_{n+1})$에서 $\Psi(N)$의 정규화군과 동형이다.
• 모든 $n \geq 7$에 대해, $\mathrm{Aut}[B_n, B_n] \cong \mathrm{Mod}^\pm(S_{n+1},p) \cong B_n/Z \rtimes \mathbb{Z}/2\mathbb{Z}$이다.
• 브레인드 토렐리 군의 중심에 대한 몫의 자동동형군은 $\mathrm{Mod}^\pm(S_{n+1})$와 동형이다.
• 하이퍼에일리프틱 조한슨 필터링의 각 항에 대해, 추상 공역군은 자동동형군과 동형이며, 둘 다 마크된 점이 있는 구면의 매핑 클래스 군과 동형이다.
• 순수 브레인드 군의 하위 중심계열과 도출계열의 각 항에 대해, 자동동형군은 마크된 점이 있는 구면의 매핑 클래스 군과 동형이다.
• 논문은 $n \geq 4$일 때 $\mathrm{Aut}B_n \cong \mathrm{Mod}^\pm(S_{n+1},p)$임을 보여주는 다이어-그로스먼 결과에 대한 새로운 증명을 제공한다.