[논문 리뷰] An invariant of link cobordisms from symplectic Khovanov homology

Jack W. Waldron|arXiv (Cornell University)|2009. 12. 27.

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

한 줄 요약

이 논문은 R⁴ 내의 매끄러운 링크 코버디즘에 대한 함자적 불변량을 심플렉틱 코반로프 homology를 사용하여 구성하며, 부호의 모호성까지 고려한 심플렉틱 코반로프 homology 군 간의 사상들을 정의한다. 이는 시멜의 상대 불변량을 비콤팩트 특이점 집합을 가진 정확한 모어즈-보트-레프슈츠 피브레이션으로 일반화하며, 이러한 사상들이 코버디즘의 동치류에 대해 불변임을 증명함으로써, 심플렉틱 코반로프 homology에 대해 위상적 양자장 이론의 구조를 확립한다.

ABSTRACT

Symplectic Khovanov homology is an invariant of oriented links defined by Seidel and Smith and conjectured to be isomorphic to Khovanov homology. I define morphisms (up to a global sign ambiguity) between symplectic Khovanov homology groups, corresponding to isotopy classes of smooth link cobordisms in 4D between a fixed pair of links. These morphisms define a functor from the category of links and such cobordisms to the category of abelian groups and group homomorphisms up to a sign ambiguity. This provides an extra structure for symplectic Khovanov homology and more generally an isotopy invariant of smooth surfaces in 4D; a first step in proving the conjectured isomorphism of symplectic Khovanov homology and Khovanov homology. The maps themselves are defined using a generalisation of Seidel's relative invariant of exact Lefschetz fibrations to exact Morse-Bott-Lefschetz fibrations with non-compact singular loci.

연구 동기 및 목표

• R⁴ 내의 매끄러운 링크 코버디즘에 대해 심플렉틱 코반로프 homology를 사용하여 함자적 불변량을 정의한다.
• 정확한 레프슈츠 피브레이션에 대한 시멜의 상대 불변량을 비콤팩트 특이점 집합과 모어즈-보트 붕괴를 고려한 경우로 확장한다.
• 심플렉틱 코반로프 homology에 유도된 사상들이 코버디즘의 동치류에 대해 부호의 모호성까지 고려해 불변임을 보인다.
• 심플렉틱 코반로프 homology와 코반로프 homology 사이의 추측된 동형사상 증명을 위한 첫걸음으로, 이를 함자적 구조로 부여한다.

제안 방법

• 정확한 레프슈츠 피브레이션에 대한 시멜의 상대 불변량을 비콤파クト 특이점 집합을 가진 정확한 모어즈-보트-레프슈츠 피브레이션으로 일반화한다.
• 홀로모르픽 곡선의 정규성을 보장하기 위해, 심플렉틱 관련 번들의 정규 S¹-동차 거의 복소다양체 구조를 구성한다.
• 피브레이션의 홀로모르픽 단면을 사용하여 모어즈-보트 설정에서의 상대 불변량을 정의한다.
• 링크 코버디즘을 R³×[0,1] 내의 동치류로 표현하고, 일반화된 불변량을 통해 사상을 정의함으로써, 심플렉틱 코반로프 homology에 적용한다.
• 영화 이동과 동치류 변형, 특히 스위칭 이동과 안정화/해안정화를 포함한 모든 변형에서의 불변성 증명을 통해 함자성을 확립한다.
• 브릿지 다이어그램과 사다리꼴 코버디즘을 기본 구성 요소로 사용하여, 일반적인 매끄러운 코버디즘에 대한 사상을 복합함으로써 사상을 정의한다.

실험 결과

연구 질문

• RQ1 심플렉틱 코반로프 homology는 R⁴ 내의 매끄러운 링크 코버디즘에 대해 함자적 구조를 지닐 수 있는가?
• RQ2 시멜의 정확한 레프슈츠 피브레이션에 대한 상대 불변량은 비콤팩트 특이점 집합과 모어즈-보트 붕괴를 다룰 수 있도록 어떻게 확장할 수 있는가?
• RQ3 심플렉틱 코반로프 homology에 유도된 사상들은 부호의 모호성까지 고려해 코버디즘의 동치류에 대해 불변인가?
• RQ4 이 구성은 심플렉틱 코반로프 homology와 코반로프 homology 사이의 추측된 동형사상 증명에 사용될 수 있는가?
• RQ5 코버디즘을 통해 정의된 사상들은 위상적 양자장 이론의 공리를 만족하는가?

주요 결과

• 논문은 R³×[0,1] 내의 매끄러운 링크 코버디즘의 동치류에 대해 부호의 모호성까지 고려한 심플렉틱 코반로프 homology 군 간의 잘 정의된 사상을 구성한다.
• 영화 이동(10번 및 12번)과 스위칭 이동을 포함한 코버디즘의 동치류에 대한 불변성으로 인해, 다양한 다이어그램 표현 간의 일관성이 보장된다.
• 이 구성은 심플렉틱 코반로프 homology가 링크와 매끄러운 코버디즘의 범주에서 부호까지 고려한 아벨 군과 준동형사상의 범주로의 함자적 구조를 지닌다는 것을 증명한다.
• 안정화 및 해안정화 사상이 부호까지 고려해 서로 역관계에 있음을 보여, 코버디즘 계산의 일관성을 확인한다.
• 생성, 소멸, 사다리꼴 코버디즘에 의해 유도된 사상들이 교차 다이어그램의 심플렉틱 코반로프 homology에서 잘 정의되며, 대표 곡선의 선택과 무관하다.
• 구성의 국소성 덕분에 먼 코버디즘의 교환 불변성이 직접적으로 유도되며, 이는 불변량이 TQFT 유사 행동을 보임을 확인한다.