[논문 리뷰] The Birman exact sequence does not virtually split

Lei Chen, Nick Salter|arXiv (Cornell University)|2018. 04. 30.

Finite Group Theory Research참고 문헌 2인용 수 3

한 줄 요약

이 논문은 $g \geq 4$인 곡면의 매핑 클래스 군에 대한 Birman 정확수열이 가상으로 분해되지 않음을 증명한다. 즉, 토렐리 군의 유한지수부분군이 단면을 가지지 않는다는 뜻이다. 호모로지 제약 조건과 후보 단면 사상 $s$에 대한 세밀한 분석을 통해, 유도된 호모로지 사상이 대각류에서 영이 될 수 없음을 보여, 1990년 G. 메스가 주장했지만 잘못된 바가 있었던 오랜 동안 미해결이었던 문제를 해결한다.

ABSTRACT

This paper answers a basic question about the Birman exact sequence in the theory of mapping class groups. We prove that the Birman exact sequence does not admit a section over any subgroup $Γ$ contained in the Torelli group with finite index. A fortiori this proves that there is no section of the Birman exact sequence for any finite-index subgroup of the full mapping class group. This theorem was announced in a 1990 preprint of G. Mess, but an error was uncovered and described in a recent paper of the first author.

연구 동기 및 목표

• 곡면의 매핑 클래스 군에 대해 $g \geq 4$인 경우 Birman 정확수열이 가상으로 분해되는지 여부라는 열린 문제를 해결하기 위해.
• 1990년 G. 메스가 같은 결과를 주장했지만 부분군 가정에서 심각한 오류를 포함하고 있었기에, 그 잘못된 추론을 수정하고 보완하기 위해.
• 토렐리 군의 유한지수부분군이 Birman 정확수열의 단면을 가질 수 없음을 보여주기 위해.
• 토렐리 공간 위의 호모로지적으로 프레임된 곡선의 보편가운데 연속적인 다중단면이 존재하지 않음을 증명하기 위해.
• 2차 곡면에서는 다중단면이 존재하나, 가상으로 분해되지 않는다는 점을 고려할 때, 단면이 존재하지 않는 것이 가상의 경우에도 유지됨을 보여주기 위해.

제안 방법

• 가능한 Birman 정확수열의 단면에서 유도된 후보 단면 사상 $s: \overline{\mathcal{H}} \to \pi_1(\Sigma_p)$를 구성하기 위해.
• 데인 회전의 작용과 쌍대성 불변성에 기반하여 $s$의 이미지 분석을 통해, 토렐리 군의 이미지에 속하는 모든 $x$에 대해 $s(x)$가 항등원이어야 함을 보여주기 위해.
• 좌표 변경 원리를 적용하여 $\pi_1(\Sigma_p)$의 비자명한 원소는 반드시 어떤 분리 곡선과 교차해야 하므로, $s(x)$가 비자명할 경우 모순이 발생함을 보여주기 위해.
• 포incare 쌍대성과 톰 이sovomorphism을 적용하여, $i \times s$에 의한 대각류 $[\Delta]$의 역상이 호모로지에서 영이 됨을 보여주기 위해.
• 역상이 $H^2(\overline{\mathcal{H}})$에서 영이 아니라는 점을 보여, $\iota^*([\Delta])$가 $H^2(\operatorname{PConf}_2(\Sigma_p))$에서 영임을 고려할 때 모순을 유도하기 위해.
• 두 경우를 구분한다: (A) $s^* = i^*$가 1차수에서 성립하는 경우, (B) $s^*$가 양의 차수에서 0인 경우로, 둘 다 비영인 오일러 특성 항을 통해 모순을 도출한다.

실험 결과

연구 질문

• RQ1 $g \geq 4$인 경우, 토렐리 군의 유한지수부분군에 대해 Birman 정확수열이 가상으로 분해되는가?
• RQ2 $g \geq 4$인 경우, 토렐리 공간 위의 호모로지적으로 프레임된 곡선의 보편가운데 연속적인 다중단면을 구성할 수 있는가?
• RQ3 1990년 G. 메스의 잘못된 추론이 실제로 Birman 수열이 가상으로 분해되지 않음을 올바르게 증명했는가?
• RQ4 모듈리 공간 $\mathcal{M}_g$의 유한겹 덮개 위에서 단면의 존재에 대한 호모로지적 장벽이 존재하는가?
• RQ5 다중단면(즉, 여러 개의 서로 다른 점을 연속적으로 선택하는 것)을 允허할 경우에도 단면의 존재는 여전히 배제될 수 있는가?

주요 결과

• 곡면의 곡면 수가 $g \geq 4$일 때, $\Gamma \leq \mathcal{I}(\Sigma_g)$인 유한지수부분군에 대해 Birman 정확수열은 가상으로 분해되지 않으며, 이는 오랫동안 미해결이었던 문제를 해결한다.
• 가능한 단면에서 유도된 호모모르피즘 $s$는 $\pi_1(\Sigma_p)$ 안에서 모든 원소를 항등원으로 보낸다. 이는 코homology 역상의 비자명성과 모순된다.
• $i \times s$에 의한 대각류 $[\Delta]$의 역상은 $H^2(\overline{\mathcal{H}})$에서 영이 아니며, 이는 $\iota^*([\Delta]) = 0$임을 고려할 때 모순된다.
• (A) 경우에서 $s^* = i^*$가 1차수에서 성립할 경우, $[\Sigma_p]$의 역상은 $\chi(\Sigma_p)[\overline{\mathcal{H}}]$가 되며, 이는 비자명하므로 영이 되어야 하는 조건과 모순된다.
• (B) 경우에서 $s^* = 0$이 양의 차수에서 성립할 경우, $[\Sigma_p]$의 역상 역시 $\chi(\Sigma_p)[\overline{\mathcal{H}}]$가 되며, 이 역시 비자명하므로 다시 모순된다.
• 결과적으로, $g \geq 4$일 때 보편가운데 $\mathscr{I}_{g,*} \to \mathscr{I}_g$는 연속적인 다중단면을 가질 수 없으며, 이는 단면이 존재하지 않는 결과를 다중단면 상황으로까지 확장한다.