[논문 리뷰] A transverse knot invariant from Z2-equivariant Heegaard Floer cohomology

Sungkyung Kang|arXiv (Cornell University)|2018. 02. 01.

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

한 줄 요약

이 논문은 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $, 즉 표준 접촉 구조 $ (S^3, \xi_{\text{std}}) $ 속의 전이적 끈 $ K \subset (S^3, \xi_{\text{std}}) $ 의 분지 이중피복에 대한 $ \mathbb{Z}_2 $-등변 헤가르 플로어 코호몰로지에서 새로운 횡단 링크 불변량 $ c_{\mathbb{Z}_2}(\xi_K) $ 를 도입한다. 이 불변량은 잘 정의되어 있으며, 심플렉틱적으로 구성 가능한 코보르디즘에 대해 함자적이며, 비등변 접촉 불변량 $ c(\xi_K) $ 의 비영성(비영이 아님)을 감지한다. 이는 위상적으로 동치이지만 같은 자기링크 수를 가진 전이적 끈들을 구별할 잠재력을 지닌 새로운 효과적인 전이적 불변량을 제공한다.

ABSTRACT

We define an invariant of based transverse links, as a well-defined element inside the equivariant Heegaard Floer cohomology of its branched double cover, defined by Lipschitz, Hendricks, and Sarkar. We prove the naturality and functoriality of equivariant Heegaard Floer cohomology for branched double covers of $S^3$ along based knots, and then prove that our transverse link invariant $c_{\mathbb{Z}_{2}}(ξ_{K})$ is an well-defined element which is always nonvanishing and functorial under certain classes of symplectic cobordisms, and describe its behavior under negative stabilization. It follows that we can use properties of $c_{\mathbb{Z}_{2}}(ξ_{K})$ to give a condition on transverse knots K which implies the vanishing/nonvanishing of the contact class $c(ξ_{K})$.

연구 동기 및 목표

• 등변 헤가르 플로어 코호몰로지를 사용하여 새로운 전이적 끈 불변량을 정의하는 것.
• 기반된 끈에 대한 분지 이중피복에 대해 $ \widehat{HF}_{\mathbb{Z}_2} $ 의 자연성과 함자성을 확립하는 것.
• 불변량 $ c_{\mathbb{Z}_2}(\xi_K) $ 가 잘 정의되어 있고, 심플렉틱적으로 구성 가능한 심플렉틱 코보르디즘에 대해 함자적임을 증명하는 것.
• 음의 안정화에 따른 $ c_{\mathbb{Z}_2}(\xi_K) $ 의 행동을 통해 표준 접촉 불변량 $ c(\xi_K) $ 의 비영성 조건을 유도하는 것.
• 위상적으로 동치이지만 같은 자기링크 수를 가진 전이적 끈들을 $ c_{\mathbb{Z}_2}(\xi_K) $ 가 구별할 수 있는지 조사하는 것.

제안 방법

• 전이적 끈 $ K $ 의 분지 이중피복에 대한 등변 헤가르 플로어 코호몰로지인 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $ 에서 불변량 $ c_{\mathbb{Z}_2}(\xi_K) $ 를 원소로 구성하는 것.
• 기반된 끈에 대해 $ MCG(S^3, K, p) $ 의 작용을 갖는 것으로 보여, $ \widehat{HF}_{\mathbb{Z}_2} $ 의 자연성을 증명하는 것.
• 등변 심플렉틱 동치성의 버전을 가진 이sov의 조합으로서, 약간의 심플렉틱적으로 동치인 이sov, 생성, 사다리꼴을 포함하는 심플렉틱적으로 구성 가능한 심플렉틱 코보르디즘을 정의하는 것.
• 이러한 코보르디즘에 의해 유도되는 사상에서 불변량 $ c_{\mathbb{Z}_2}(\xi_K) $ 가 보존됨을 보여, 함자성을 확립하는 것.
• 음의 안정화 하에서 $ c_{\mathbb{Z}_2}(\xi_K) $ 의 행동을 이용해 자기링크 수에 대한 조건을 도출하여 $ c(\xi_K) $ 가 비영임을 보장하는 것.
• 고정된 끈 유형 $ K $ 의 모든 전이적 표현 $ T $ 에 대해 $ \{ c_{\mathbb{Z}_2}(\xi_T) \} $ 의 구조를 분석하여, 불변량이 효과적이지 않다면 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K)) $ 에서 $ \theta $-타워를 이룬다는 것을 보여주는 것.

실험 결과

연구 질문

• RQ1 불변량 $ c_{\mathbb{Z}_2}(\xi_K) $ 는 위상적으로 동치이지만 같은 자기링크 수를 가진 전이적 끈들을 구별할 수 있는 효과적인 전이적 불변량인가?
• RQ2 불변량 $ c_{\mathbb{Z}_2}(\xi_K) $ 는 표준 접촉 불변량 $ c(\xi_K) $ 의 비영성(비영이 아님)을 확인하는 데 사용될 수 있는가?
• RQ3 고정된 끈 $ K $ 의 모든 전이적 표현 $ T $ 에 대해 $ c_{\mathbb{Z}_2}(\xi_T) $ 의 집합은 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K)) $ 에서 단일한 $ \theta $-타워를 이룬다 할 수 있는가?
• RQ4 표준 심플렉틱 구조 $ (S^3, \xi_{\text{std}}) $ 속의 두 전이적 끈 사이에 구축 불가능한 심플렉틱 코보르디즘이 존재하는가?
• RQ5 $ c^{-}(K) $ 나 $ \hat{c}(K) $ 가 끈 플로어 호몰로지에서 $ c_{\mathbb{Z}_2}(\xi_K) $ 로부터 복구될 수 있는가?

주요 결과

• 불변량 $ c_{\mathbb{Z}_2}(\xi_K) \in \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $ 는 잘 정의되어 있으며, 기저점의 선택과 무관하여, $ K $ 의 전이적 위상동치류의 불변량이 된다.
• $ \mathbb{F}_2[\theta] $-모듈 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K),p) $ 는 자연스럽고, $ MCG(S^3, K, p) $ 의 작용을 갖는다. 따라서 기반된 코보르디즘에 대해 함자적이다.
• 심플렉틱적으로 구성 가능한 심플렉틱 코보르디즘에 대해, 사상 $ \hat{f}_{(S,s)} $ 는 $ c_{\mathbb{Z}_2}(\xi_K) $ 를 보존한다. 즉, $ \hat{f}_{(S,s)}(c_{\mathbb{Z}_2}(\xi_{K_2})) = c_{\mathbb{Z}_2}(\xi_{K_1}) $ 이다.
• 음의 안정화 하에서 불변량은 $ c_{\mathbb{Z}_2}(\xi_{K^{-}}) = \theta \cdot c_{\mathbb{Z}_2}(\xi_K) $ 를 만족하며, 이는 끈 플로어 호몰로지에서 $ c^{-}(K) $ 의 행동과 유사하다.
• 만약 $ c_{\mathbb{Z}_2}(\xi_K) $ 가 효과적이지 않다면, 끈 $ K $ 의 모든 전이적 표현은 $ \widehat{HF}_{\mathbb{Z}_2}(\Sigma(K)) $ 에서 $ \theta $-타워를 이룬다. 이 타워의 최소 차수 원소는 끈 불변량이 된다.
• 전이적 끈들 사이에 구축 불가능한 심플렉틱 코보르디즘이 존재하는가는 여전히 열려 있는 문제이지만, 본 논문은 이를 조사하기 위한 프레임워크를 구축하였다.