[논문 리뷰] Simplifying indefinite fibrations on 4-manifolds

R. İnanç Baykur, Osamu Saeki|arXiv (Cornell University)|2017. 05. 31.

Geometric and Algebraic Topology참고 문헌 26인용 수 15

한 줄 요약

이 논문은 4-다양체 위의 불확정성 fibrations, 즉 불연속 레프셰츠 fibrations과 모어스 2-함수를 단순화하기 위한 명시적이고 구성적인 알고리즘을 제시한다. 스무스 1-매개변수 호모토피 이동을 사용하여, 섬유 연결, 방향성, 임베딩된 라운드 이미지, 연결된 라운드 궤적의 구조를 달성한다. 이는 존재 정리에 대한 순수 위상수학적 증명을 가능하게 하며, Gay–Kirby 삼등분과의 대응 관계를 수립하여, 모든 4-다양체에서 이국적인 삼등분과 단순화된 삼등분의 새로운 구성법을 이끌어낸다.

ABSTRACT

We present explicit algorithms for simplifying the topology of indefinite fibrations on 4-manifolds, which include broken Lefschetz fibrations and indefinite Morse 2-functions. The algorithms consist of sequences of moves, which modify indefinite fibrations in smooth 1-parameter families. In particular, given an arbitrary broken Lefschetz fibration, we show how to turn it to one with directed and embedded round (indefinite fold) image, and to one with all the fibers and the round locus connected. We also show how to realize any given null-homologous 1-dimensional submanifold with prescribed local models for its components as the round locus of such a broken Lefschetz fibration. These algorithms allow us to give purely topological and constructive proofs of the existence of simplified broken Lefschetz fibrations and Morse 2-functions on general 4-manifolds, and a theorem of Auroux-Donaldson-Katzarkov on the existence of broken Lefschetz pencils with directed embedded round image on near-symplectic 4-manifolds. We moreover establish a correspondence between broken Lefschetz fibrations and Gay-Kirby trisections of 4-manifolds, and show the existence of simplified trisections on all 4-manifolds. Building on this correspondence, we provide several new constructions of trisections, including infinite families of genus-3 trisections with homotopy inequivalent total spaces, and exotic same genera trisections of 4-manifolds in the homeomorphism classes of complex rational surfaces.

연구 동기 및 목표

• 4-다양체 위의 불확정성 fibrations의 위상수학적 단순화를 위한 명시적이고 위상수학적인 알고리즘을 개발하는 것.
• 일반적인 4-다양체 위에서 단순화된 불연속 레프셰츠 fibrations와 모어스 2-함수의 존재성을 이러한 이동을 통해 구성적으로 증명하는 것.
• 불연속 레프셰츠 fibrations와 Gay–Kirby 삼등분 사이의 대응 관계를 수립하여, 삼등분의 새로운 구성법을 가능하게 하는 것.
• 임의의 주어진 1차원 부분다양체를 라운드 궤적으로 갖는 불연속 레프셰츠 fibrations로 실현하고, 국소 모델을 제어할 수 있도록 하는 것.
• 복소수 유리 표면의 호메오모르피즘 유형에 속하는 모든 4-다양체에서 무한한 수의 이국적인 삼등분과 단순화된 삼등분을 구성하는 것.

제안 방법

• 이 방법은 항상 실현 가능한 단일-균기 및 다중-균기 이동, 즉 플립, 언싱크, 셸프 합성, 푸시, 크리스-크로스 브레이딩, R2⁰ 및 R2¹ 유형의 리드마이스터 이동 등을 포함한, 스무스 1-매개변수 가중족에서 작용하는 이동들을 사용한다.
• 이러한 이동들은 기저 다이어그램과 섬유 위상수학을 수정하면서도 fibrations의 구조를 유지하며, 특이 이미지와 섬유 연결성의 체계적 단순화를 가능하게 한다.
• 알고리즘은 2-구면체 위로의 사상에 적용되어, 방향성, 임베딩된 라운드 이미지, 연결된 섬유 및 라운드 궤적을 달성한다.
• 핵심 기법은 1-매개변수 가중족에서의 분기와 대응하는 기저 다이어그램 이동을 사용하여 fibrations의 전반적 위상수학적 구조를 제어하는 것이다.
• 불연속 레프셰츠 fibrations와 삼등분 사이의 대응 관계는 명시적 구성에 의해 수립되며, 이를 통해 단순화된 fibrations로부터 삼등분을 유도하거나 그 반대의 방향으로도 가능하다.
• 이 방법은 핸들바디 기술과 안정화 연산을 활용하여, 서로 다른 불변량을 갖는 알려진 심플렉틱 4-다양체들로부터 무한한 수의 이국적인 삼등분을 구성한다.

실험 결과

연구 질문

• RQ1 4-다양체 위의 불확정성 fibrations는 명시적이고 위상수학적인 호모토피 이동을 통해 체계적으로 단순화될 수 있는가?
• RQ2 이러한 이동을 통해 단순화된 불연속 레프셰츠 fibrations와 모어스 2-함수의 존재성이 구성적으로 증명될 수 있는가?
• RQ3 임의의 주어진 1차원 부분다양체는 특정한 국소 모델을 갖는 불연속 레프셰츠 fibrations의 라운드 궤적으로 실현될 수 있는가?
• RQ4 불연속 레프셰츠 fibrations와 Gay–Kirby 삼등분 사이의 정확한 대응 관계는 무엇이며, 이를 통해 새로운 삼등분을 어떻게 구성할 수 있는가?
• RQ5 이러한 방법을 사용하여 고정된 호메오모르피즘 유형의 4-다양체 위에서 무한한 수의 이국적인 삼등분을 구성할 수 있는가?

주요 결과

• 항상 실현 가능한 호모토피 이동을 사용하는 명시적 알고리즘이, 임의의 닫힘 양방향 4-다양체 위의 불확정성 fibrations를 섬유 연결, 방향성, 임베딩된 라운드 이미지, 연결된 라운드 궤적을 갖는 단순화된 형태로 변환한다.
• 논문은 모든 4-다양체 위에서 단순화된 불연속 레프셰츠 fibrations와 모어스 2-함수의 존재성을 순수 위상수학적이고 구성적인 방법으로 증명한다.
• 불연속 레프셰츠 fibrations와 Gay–Kirby 삼등분 사이의 대응 관계를 수립하여, 모든 4-다양체에서 단순화된 삼등분의 구성이 가능하다.
• 저자들은 복소수 2차원 복소프로젝티브 평면 #9ℂℙ²의 호메오모르피즘 유형에서 무한한 수의 이국적 (34,8)-삼등분을 구성하였으며, ℂℙ²#7ℂℙ² 유형에서 단일 이국적 (20,4)-삼등분을 구성하였다.
• 이 방법은 호모토피적으로 서로 다른 총공간을 갖는 성질 3의 삼등분을 도출하며, 안정화 및 핸들바디 조작을 통한 새로운 이국적 삼등분의 구성법을 제공한다.
• 논문은 임의의 1차원 부분다양체를 라운드 궤적으로 갖는 불연속 레프셰츠 fibrations를 특정한 국소 모델로 실현하였으며, 핵심 실현 조건을 확인하였다.