[논문 리뷰] Nielsen equivalence and trisections of 4-manifolds

Gabriel Islambouli|arXiv (Cornell University)|2018. 04. 19.

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

한 줄 요약

이 논문은 트리세션 스파인의 기본군 생성자들 사이의 Nielsen 동치를 이용하여 동일한 4차원 다양체 위에서 동일한 종수를 가진 서로 다른 삼등분을 구성한다. Heegaard 분할 이론의 기법—특히 Nielsen 군류와 자기동형사상 작용—을 적용하여, 각 $k \geq 2$에 대해 스핀된 Seifert fiber 공간에서 $2^k - 1$개의 비디피오모르픽인 $(3k,k)$-삼등분이 존재함을 증명하며, 이는 비동치인 삼등분을 동치로 만드는 데 안정화가 필수적임을 보여준다.

ABSTRACT

The goal of this paper is to construct distinct trisections of the same genus on a fixed 4-manifold. For every $k \geq 2$, we construct $2^{k}-1$ non-diffeomorphic $(3k,k)$-trisections on infinitely many 4-manifolds. Here, the manifolds are spun Seifert fiber spaces and the trisections come from Meier's spun trisections. The technique used to distinguish the trisections parallels an established technique for distinguishing Heegaard splittings. In particular, we show that the Nielsen classes of the generators of the fundamental group, obtained from spines of the 4-dimensional 1-handlebodies of the trisection, are isotopy invariants of the trisection. If we additionally consider the action of the automorphism group on the Nielsen classes, we obtain diffeomorphism invariants of trisections.

연구 동기 및 목표

• 고정된 4차원 다각형 위에서 동일한 종수를 가진 다수의 비동치 삼등분을 구성하는 것.
• 다른 삼등분을 동치로 만들기 위해 안정화가 필수적임을 입증하여 삼등분 이론의 격차를 메우는 것.
• 특히 Nielsen 군류를 포함한 3차원 다각형 Heegaard 분할 불변량의 기법을 4차원 삼등분에 확장하는 것.
• 기본군 생성자들의 자기동형사상 불변 Nielsen 군류를 이용해 삼등분을 디피오모르피즘 기준으로 분류하는 것.
• 세 개의 특별한 섬유를 가진 소형 Seifert fiber 공간을 분석하여, 일부 비동치 삼등분이 균형 잡힌 안정화 이후에야 동치가 되며, 비균형 안정화에서는 그렇지 않음을 보여주는 것.

제안 방법

• 3차원 다각형의 Heegaard 분할로부터 Meier의 스핀된 삼등분 구성법을 이용해 삼등분을 구성한다.
• 각 삼등분에 대해 삼등분의 1-핸드바디 스파인에서 유도된 생성자들의 세 개의 Nielsen 군류를 할당한다.
• 기본군 내에서의 Nielsen 동치를 이용해 삼등분의 동치 불변량을 정의한다.
• 자기동형사상 군 작용을 Nielsen 군류에 적용하여 삼등분의 디피오모르피즘 불변량을 도출한다.
• Lustig, Moriah, Rosenberger의 Fuchsian 군 내에서의 Nielsen 동치에 관한 결과를 활용하여 생성자 집합을 분류한다.
• 세 개의 특별한 섬유를 가진 스핀된 소형 Seifert fiber 공간을 분석하며, 그들의 알려진 Heegaard 분할 분류 결과를 활용해 삼등분을 구성한다.

실험 결과

연구 질문

• RQ1 한 4차원 다각형 위에 동일한 종수를 가진 다수의 비동치 삼등분이 존재할 수 있는가?
• RQ2 안정화 이후에야 동치가 되는 삼등분이 존재하는가? 만약 그렇다면 어떤 조건에서 그러한 현상이 발생하는가?
• RQ3 기본군 생성자들의 Nielsen 군류가 삼등분의 동치성 및 디피오모르피즘에 대한 불변량으로서 기능할 수 있는가?
• RQ4 비동치 삼등분을 동치로 만들기 위해 안정화가 필수적인가? 그리고 균형 잡힌 안정화와 비균형 안정화의 유형이 이에 영향을 미치는가?
• RQ5 삼등분의 스파인에서의 Nielsen 군류는 3차원 다각형의 기저가 되는 Heegaard 분할과 어떻게 관련이 있는가?

주요 결과

• 모든 $k \geq 2$에 대해, 무한히 많은 4차원 다각형이 $2^k - 1$개의 비디피오모르픽인 $(3k,k)$-삼등분을 포함한다.
• 1-핸드바디 스파인과 관련된 Nielsen 군류 $\mathscr{N}(X_1), \mathscr{N}(X_2), \mathscr{N}(X_3)$는 삼등분의 동치성 불변량이다.
• 모든 $\phi \in \text{Aut}(\pi_1(M))$에 대해 $\phi(\mathscr{N}(H_1)) \neq \mathscr{N}(H_1')$이면, 해당 스핀된 삼등분은 디피오모르픽이 아니다.
• 고정된 스핀된 소형 Seifert fiber 공간 위에서 세 개의 비동치 삼등분은 단일 균형 잡힌 안정화 이후에 상호 동치가 된다.
• 이 삼등분들은 어떤 비균형 $k$- 및 $l$-안정화 시퀀스에도 여전히 상호 비동치이므로, 균형 잡힌 안정화가 필수적임을 증명한다.
• 구성된 삼등분은 최소 종수이면서 비동치이므로, 서로 다른 삼등분 간의 동치성을 달성하기 위해 안정화가 진정으로 필요하다는 것을 보여준다.