[논문 리뷰] Trisecting Smooth 4-dimensional Cobordisms

Nickolas A. Castro|arXiv (Cornell University)|2017. 03. 16.

Advanced Algebra and Logic참고 문헌 2인용 수 6

한 줄 요약

이 논문은 4차원 다양체의 상대적 트리세크션을 경계 성분이 하나 이상인 경우로 확장하고, 호환 가능한 경계 오픈 북을 가진 트리세크션된 4차원 다각체 간의 접합 조건을 설정하며, 오픈 북의 호프 스태빌라이제이션과 유사한 상대적 스태빌라이제이션 연산을 도입한다. 주요 기여는 개방된 3차원 다각체와 오픈 북 분해를 갖는 것을 객체로, 상대적 트리세크션이며, 4차원 위상수학에 대한 범주적 프레임워크를 제공하는 범주 Tri의 구축이다.

ABSTRACT

We extend the theory of relative trisections of smooth, compact, oriented $4$-manifolds with connected boundary given by Gay and Kirby to include $4$-manifolds with an arbitrary number of boundary components. Additionally, we provide sufficient conditions under which relatively trisected $4$-manifolds can be glued to one another along diffeomorphic boundary components so as to induce a trisected manifold. These two results allow us to define a category $ extrm{Tri}$ whose objects are smooth, closed, oriented $3$-manifolds equipped with open book decompositions, and morphisms are relatively trisected cobordisms. Additionally, we extend the Hopf stabilization of open book decompositions to a relative stabilization of relative trisections.

연구 동기 및 목표

• 연결된 경우뿐 아니라 임의의 수의 경계 성분을 갖는 4차원 다각체로 상대적 트리세크션을 일반화하는 것.
• 두 상대적 트리세크션된 4차원 다각체가 서로 미분형이 동일한 경계 성분을 따라 접합될 수 있는 충분한 조건을 설정하여, 그 결과로 트리세크션된 4차원 다각체를 얻는 것.
• 선택된 경계 성분의 오픈 북 분해에 대해 호프 스태빌라이제이션을 유도하는 상대적 스태빌라이제이션 연산을 정의하는 것.
• 개방된 3차원 다각체와 오픈 북 분해를 갖는 것을 객체로, 상대적 트리세크션된 4-코버디즘의 호환성 클래스를 사상으로 갖는 범주 Tri를 구축하는 것.
• 내부 및 상대적 스태빌라이제이션을 모두 고려하여 상대적 트리세크션의 유일성 결과를 강화하는 것.

제안 방법

• m > 1인 경계 성분을 갖는 4차원 다각체에 대해 상대적 트리세크션의 정의를 확장하여 각 경계 성분이 오픈 북 분해를 유도하도록 보장하는 것.
• 상대적 트리세크션이 존재하고 각 경계 성분에 대해 지정된 오픈 북을 유도하며, 내부 스태빌라이제이션에 대해 유일성까지 보장하는 것.
• 접합 정리 수립: 두 상대적 트리세크션이 호환 가능한 유도된 오픈 북을 갖는 경계 성분을 가진다면, 그들을 미분형을 통해 접합하여 트리세크션된 4차원 다각체를 형성할 수 있음.
• 선택된 경계 성분의 오픈 북을 호프 스태빌라이제이션과 유사하게 수정하는 상대적 스태빌라이제이션 연산을 도입하며, 레프슈체츠 피브레이션의 스태빌라이제이션과 유사함.
• 상대적 스태빌라이제이션의 접합과의 호환성을 이용하여, 스태빌라이제이션된 트리세크션이 여전히 호환 가능한 경계 성분을 따라 접합 가능하도록 보장하는 것.
• 객체를 개방된 3차원 다각체와 오픈 북 분해로, 사상을 상대적 트리세크션된 4-코버디즘의 호환성 클래스로 하여 범주 Tri를 구성하며, 복합은 접합을 통해 주어진다.

실험 결과

연구 질문

• RQ1 미분형이 동일한, 유한하고, 양의 방향성을 갖는 4차원 다각체에 대해, 경계 성분이 여러 개인 경우에도 상대적 트리세크션이 일관되게 정의될 수 있는가? 이 경우 각 경계 성분이 오픈 북 분해를 유도하는가?
• RQ2 두 상대적 트리세크션된 4차원 다각체가 서로 미분형이 동일한 경계 성분을 따라 접합될 수 있는 조건은 무엇인가? 그 결과로 트리세크션된 4차원 다각체를 얻을 수 있는가?
• RQ3 선택된 경계 성분의 오픈 북 분해에 대해 호프 스태빌라이제이션을 유도하는 상대적 스태빌라이제이션 연산이 존재하는가?
• RQ4 오픈 북 분해를 갖는 3차원 다각체를 객체로, 상대적 트리세크션을 사상으로 갖는 트리세크션의 범주가 엄밀히 정의될 수 있는가? 접합을 통한 복합에 대해 닫혀 있는가?
• RQ5 상대적 트리세크션이 오픈 북의 이동(예: 더블 투스팅)을 고려할 때, 안정 등가에 대해 4차원 다각체를 얼마나 잘 분류하는가?

주요 결과

• 모든 미분형이 동일하고, 유한하며, 양의 방향성을 갖는 4차원 다각체는 m > 1개의 경계 성분을 가지며, 각 경계 성분에 대해 지정된 오픈 북 분해를 유도하는 상대적 트리세크션을 갖는다.
• 경계에 대해 주어진 임의의 오픈 북 분해 집합에 대해, 그 오픈 북들을 유도하는 상대적 트리세크션이 존재하며, 내부 스태빌라이제이션에 대해 유일하다.
• 두 상대적 트리세크션된 4차원 다각체는 호환 가능한 유도된 오픈 북을 갖는 경계 성분을 따라 접합될 수 있으며, 접합 사상이 오픈 북의 구조를 존중할 경우, 그 결과로 트리세크션된 4차원 다각체를 형성할 수 있다.
• 상대적 스태빌라이제이션은 존재하며, 경계의 오픈 북에 대해 호프 스태빌라이제이션을 유도하는 범주론적 스태빌라이제이션 연산으로 작용하며, 접합과의 호환성을 유지한다.
• 범주 Tri는 잘 정의되어 있으며, 복합는 접합을 통해 주어지며, 접합 정리에 의해 결합법칙이 보장되고, 항등 사상은 동일한 경계에서 안정적으로 동치인 트리세크션들로 주어진다.
• 상대적 트리세크션의 유일성은 강화된다: 두 트리세크션이 경계에서 안정적으로 동치인 오픈 북을 유도한다면, 유한 번의 내부 및 상대적 스태빌라이제이션을 거친 후 서로 호환성 클래스가 된다.