[논문 리뷰] Broken Lefschetz fibrations and mapping class groups

R. İnanç Baykur, Kenta Hayano|arXiv (Cornell University)|2014. 10. 21.

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

한 줄 요약

이 논문은 히르츠 사이클 체계를 통해 단순화된 깨진 레프셰츠 필라션(BLF)의 완전한 조합적 분류를 수립하며, BLF의 동형류와 이러한 체계의 히르츠 동치류 사이의 전단사함을 증명한다. 주요 기여는 동일한 4차원 다양체 위에 무한히 많은 서로 다른 동형류를 갖는 BLF를 구성함으로써, 정규 섬유들이 동치일지라도 BLF의 동형류가 일반적인 사상의 호모토피 동치보다 엄밀히 더 세밀하다는 것을 보여주는 것이다.

ABSTRACT

The purpose of this note is to explain a combinatorial description of closed smooth oriented 4-manifolds in terms of positive Dehn twist factorizations of surface mapping classes, and further explore these connections. This is obtained via monodromy representations of simplified broken Lefschetz fibrations on 4-manifolds, for which we provide an extension of Hurwitz moves that allows us to uniquely determine the isomorphism class of a broken Lefschetz fibration. We furthermore discuss broken Lefschetz fibrations whose monodromies are contained in special subgroups of the mapping class group; namely, the hyperelliptic mapping class group and in the Torelli group, respectively, and present various results on them which extend or contrast with those known to hold for honest Lefschetz fibrations. Lastly, we show that there are 4-manifolds admitting infinitely many pairwise nonisomorphic relatively minimal broken Lefschetz fibrations with isotopic regular fibers.

연구 동기 및 목표

• 매핑 클래스 군 분해를 이용한 매끄러운 4차원 다각형 위의 단순화된 깨진 레프셰츠 필라션(BLF)의 완전한 조합적 기술 제공
• 히르츠 이동을 BLF로 확장하여, 사이클 체계의 히르츠 동치를 통해 필라션의 동형류를 유일하게 결정 가능하게 함
• 특정 매핑 클래스 군의 부분군, 특히 히퍼엘리프틱 및 토렐리 군에 몰입된 단일화된 필라션을 조사함
• 동치인 섬유를 가진 무한히 많은 비동형 필라션을 구성함으로써, BLF의 동형류가 일반적인 부정적 사상의 호모토피류보다 엄밀히 더 세밀하다는 것을 증명함

제안 방법

• 저자들은 매끄러운 곡면 위의 단순 닫힌 곡선들로 이루어진 순서쌍 (c; c₁,…,cₙ)을 히르츠 사이클 체계로 정의하여 BLF의 모노드로미를 표현함
• 히르츠 동치를 정의하기 위해 두 가지 이동—기본 변환과 동시에 공轭—을 도입하여, 해당 체계의 동형류에 따라 BLF의 동형류를 분류함
• 주요 결과로는 g ≥ 3일 때, 곡면의 종수 g에 대한 BLF의 동형류와 이러한 사이클 체계의 히르츠 동치류 사이의 전단사함이 성립함을 증명함
• Φ_c: Map(Σ_g) → Map(Σ_{g-1})의 핵을 이용해 유효한 모노드로미 분해를 특성화함
• 경로의 기하적 교차 수로 정의된 기하적 불변량 I(d₁,d₂)는 히르츠 이동에 대해 보존되며, 비동형 필라션을 구별하는 데 사용됨
• 증가하는 교차 수를 가진 경로를 이용한 구성은, 비록 섬유들이 동치이더라도 서로 다른 모노드로미 분해를 유도함으로써, 무한히 많은 비동형 필라션을 구성함

실험 결과

연구 질문

• RQ1 매끄러운 4차원 다각형 위의 단순화된 깨진 레프셰츠 필라션은 매핑 클래스 군 분해에서 유도된 조합적 자료를 통해 완전히 분류될 수 있는가?
• RQ2 히르츠 이동은 BLF로 어떻게 확장되며, 이를 통해 필라션의 동형류가 유일하게 결정될 수 있는가?
• RQ3 서로 다른 동형류를 가진 필라션과 동치인 정규 섬유를 가진 필라션을 구별하는 불변량은 무엇인가?
• RQ4 매핑 클래스 군의 히퍼엘리프틱 또는 토렐리 부분군에 모노드로미를 갖는 필라션은 진정한 레프셰츠 필라션과 유사한 성질을 가지는가, 아니면 다를까?
• RQ5 BLF의 동형류는 그 기저 사상 S²로의 호모토피류보다 엄밀히 더 세밀한가?

주요 결과

• g ≥ 3일 때, 종수 g의 BLF의 동형류와 히르츠 사이클 체계의 히르츠 동치류 사이에 전단사함이 존재함
• 기하적 교차 수 I(d₁,d₂)는 히르츠 이동에 대해 보존되며, Φ_c의 핵에 모노드로미를 갖는 비동형 필라션을 완전히 구별하는 불변량으로 기능함
• 동일한 4차원 다각형 X₀ 위에 무한히 많은 서로 다른 동형류를 갖는 BLF의 무한한 가족을 구성함
• fₙ과 fₘ (n ≠ m)는 I(d₁,d₂ⁿ) = 4n + 2로 다른 교차 수를 가지며, 이는 히르츠 동치에 대해 보존되므로 비동형임을 보여줌
• 비동형임에도 불구하고, hₙ = fₙ ∘ Φ₀,ₙ는 상호 호모토피이며, 동일한 원소로 π²(X₀) = [X₀, S²]의 코호모토피 집합에 속함
• 이 구성은 BLF의 동형류가 일반적인 사상의 호모토피 동치보다 엄밀히 더 세밀하다는 것을 보여주며, 4차원 다각형 필라션의 분류에서의 강성(rigidity)을 강조함