[논문 리뷰] Naturality and mapping class groups in Heegaard Floer homology

András Juhász, Dylan P. Thurston외 1명|arXiv (Cornell University)|2012. 10. 18.

Botulinum Toxin and Related Neurological Disorders인용 수 4

한 줄 요약

이 논문은 Heegaard Floer homology, 링크 Floer homology, 그리고 sutured Floer homology가 기반을 둔 3차원 다중체(또는 링크 또는 sutured 다중체)의 범주에서 그라디드 아벨 군의 범주로 가는 함자로 정의됨을 증명함으로써 이들 이론의 자연성(naturality)을 확립한다. 이는 (기반을 둔) 미분동형사상에 대해 동형사상 할당이 호모토피에 대해 불변함을 의미한다. 핵심 기여는 Heegaard 다이어그램 공간의 기본군의 생성집합을 둘러싼 Heegaard Floer homology가 단일화(monodromy)를 가지지 않음을 보여, 이론의 모든 변형에 걸쳐 함자성과 자연성이 보장됨을 입증하는 데 있다.

ABSTRACT

We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simple generating set for the fundamental group of the "space of Heegaard diagrams," and then showing that Heegaard Floer homology has no monodromy around these generators. In fact, this allows us to give sufficient conditions for an arbitrary invariant of multi-pointed Heegaard diagrams to descend to a natural invariant of 3-manifolds, links, or sutured manifolds.

연구 동기 및 목표

• Heegaard Floer homology에서 오랫동안 남아있던 자연성 문제를 해결함: 이전에는 불변량이 동형사상의 정의에 대해만 주어졌음.
• 모든 Heegaard Floer homology의 변형들(_hat, plus, minus, infinity, 링크/sutured 변형 포함)이 (기반을 둔) 미분동형사상에 대해 함자적임을 입증함.
• 다중점이 있는 Heegaard 다이어그램의 불변량이 3차원 다중체, 링크, 또는 sutured 다중체의 자연불변량으로 강하하는 데 필요한 일반 기준을 제공함.
• 미분동형사상에 의해 유도된 동형사상의 할당이 호모토피에 대해 불변임을 보여, cobordism 사상의 구성과 접촉 불변량과 같은 특정 원소의 연구를 가능하게 함.

제안 방법

• Heegaard 다이어그램 공간의 기본군에 대한 단순한 생성집합을 식별함: 핸들슬라이드, 안정화, 비안정화, 그리고 미분동형사상.
• Heegaard Floer homology가 이 생성원들을 둘러싸며 단일화를 가지지 않음을 증명함: 다이어그램 복합체 내의 경로 선택에 관계없이 유도된 동형사상들이 독립적임을 보임.
• 핸들슬라이드의 2-복합체(Y₂(B))의 연결성과 단순연결성을 이용하여, 경로를 따라 정의된 동형사상들이 잘 정의되어 직사각형을 따라 교환됨을 보장함.
• α/β-등가성, 핸들슬라이드 고리, 안정화 슬라이드에 대한 공리들을 만족하는 약한 불변량을 확장하여 강한 Heegaard 불변량을 구성함.
• 전이 시스템과 코로이드 이론을 적용하여 다이어그램에 할당된 군의 체계에서 유일한 군을 정의함으로써 함자성 보장.
• 3차원 다중체 위의 경로의 기울기 벡터장의 분기 현상을 Heegaard 다이어그램의 이동으로 번역함: 일반적인 1- 및 2-매개변수 가속도 가족을 사용하여 호모토피와 핸들슬라이드를 모델링함.

실험 결과

연구 질문

• RQ1 Heegaard Floer homology는 동형사상의 정의에 국한된 불변량에서, 기반을 둔 3차원 다중체에 대해 구체적인 군을 할당하고, 미분동형사상에 대해 동형사상을 할당하는 진정한 함자적 불변량으로 승격시킬 수 있는가?
• RQ2 다이어그램 기반 불변량이 3차원 다중체, 링크, 또는 sutured 다중체의 자연불변량으로 강하하는 데 필요한 조건은 무엇인가?
• RQ3 Heegaard Floer homology는 Heegaard 다이어그램 공간의 기본군의 생성원들을 둘러싸며 단일화를 보이는가? 만약 그렇지 않다면, 그 이유는 무엇인가?
• RQ4 Heegaard Floer 이론의 맥락에서, 미분동형사상에 의해 유도된 동형사상의 호모토피 불변성은 어떻게 확립할 수 있는가?
• RQ5 핸들슬라이드 고리와 안정화 슬라이드는 다양한 다이어그램 표현 간의 불변량의 일관성을 확보하는 데 어떤 역할을 하는가?

주요 결과

• hat, plus, minus, infinity, 링크, sutured 등 Heegaard Floer homology의 모든 변형은 자연불변량이며, 기반을 둔 3차원 다중체, 링크, 균형 잡힌 sutured 다중체에 대해 구체적인 군을 할당한다.
• 기반을 둔 미분동형사상에 대해 동형사상의 할당은 함자적이며 호모토피에 대해 불변하므로, 이는 매핑 클래스군에 잘 정의된 작용으로 강하된다.
• Heegaard 다이어그램 공간의 기본군의 생성집합을 둘러싸며 Heegaard Floer homology는 단일화를 가지지 않으며, 이는 불변량이 경로 선택에 영향을 받지 않고 잘 정의됨을 보장한다.
• 핸들슬라이드의 2-복합체(Y₂(B))는 단순연결하므로, 핸들슬라이드 경로를 따라 정의된 동형사상들이 선택된 경로에 관계없이 독립적임을 보장한다.
• 강한 Heegaard 불변량이 존재하는 것은 오직 불변량이 모든 핸들슬라이드 고리와 안정화 슬라이드를 따라 교환될 때에만 가능하며, 이는 자연성에 대한 완전한 기준을 제공한다.
• 약한 Heegaard 불변량이 α/β-등가성, 핸들슬라이드 고리, 안정화 슬라이드에 대한 공리를 만족할 경우, 이를 강한 불변량으로 확장하는 것은 유일하다.