[논문 리뷰] An involutive upsilon knot invariant

Matthew Hogancamp, Charles Livingston|arXiv (Cornell University)|2017. 10. 23.

Geometric and Algebraic Topology참고 문헌 10인용 수 4

한 줄 요약

이 논문은 헨드릭스-마놀레스쿠 이론의 역할을 반영한 초등형 히가드 플로어 homology를 이용해, [0,2]에서 정의된 조각선 함수로서의 두 가지 새로운 초등형 Upsilon knot 농도 불변량을 제안한다. 이러한 불변량은 농도 불변량이며, 링크의 삼차원 농도에 대한 경계를 제공하며, 고전적 Upsilon 불변량을 초등형으로 확장하여, 히가드 플로어 homology의 초등형 구조를 통합한다.

ABSTRACT

Using the theory of involutive Heegaard Floer knot theory developed by Hendricks-Manolescu, we define two involutive analogs of the Upsilon knot concordance invariant of Ozsvath-Stipsicz-Szabo. These involutive invariants are piecewise linear functions defined on the interval [0,2]. Each is a concordance invariant and provides bounds on the three-genus of a knot.

연구 동기 및 목표

• 초등형 히가드 플로어 homology 이론을 이용해 고전적 Upsilon 링크 농도 불변량을 초등형으로 확장하는 것.
• 고전적 Upsilon 함수의 유사체로 간주되는, $\overline{\Upsilon}_t(K)$와 $\underline{\Upsilon}_t(K)$로 표기된 두 가지 새로운 조각선 농도 불변량을 정의하는 것.
• 이 초등형 불변량이 링크 농도에 대해 불변이며, 링크의 삼차원 농도에 대한 경계를 제공함을 입증하는 것.
• 초등형 Upsilon 함수의 $t=2$에서의 값이 이전에 알려진 불변량 $\overline{V}_0(K)$와 $\underline{V}_0(K)$와 어떻게 관련되어 있는지 규명하는 것.

제안 방법

• 초등형 히가드 플로어 링크 복합체 $\operatorname{CFKI}^\infty(K)$를 $\operatorname{CFK}^\infty(K)$ 위의 비대칭 이중필터링 초등형 $\mathcal{I}$를 통해 구성한다.
• 초등형 히가드 플로어 복합체 $\operatorname{CFKI}^\infty(K)$ 위에서 최대-최소 필터링을 이용해 $[0,2]$에서 정의된 조각선 함수로서의 초등형 Upsilon 함수를 정의한다.
• 초등형 호몰로지의 연결 합 공식을 적용하여 농도에 따른 불변량의 행동을 분석한다.
• $\mathcal{I} + \mathrm{id}$의 맵핑 콘스트럭션을 이용해 $\operatorname{CFKI}^\infty(K)$를 정의하고, Upsilon 함수에 필요한 필터링 자료를 추출한다.
• 초등형의 자연성과 사르카르 맵과의 관계를 활용하여, 체인 호모토피 동치에 대해 불변성을 보장한다.
• $\overline{\Upsilon}_t(K)$와 $\underline{\Upsilon}_t(K)$의 $t=2$에서의 값이 $\overline{d}(S^3_p(K),[0])$와 $\underline{d}(S^3_p(K),[0])$와 관련되어 있으며, 이는 $\overline{V}_0(K)$와 $\underline{V}_0(K)$를 결정함을 규명한다.

실험 결과

연구 질문

• RQ1 초등형 히가드 플로어 호몰로지 프레임워크를 이용해 Upsilon 불변량을 초등형으로 확장할 수 있는가?
• RQ2 결과적으로 도출된 초등형 Upsilon 함수는 고전적 Upsilon 함수보다 더 강력한 농도 불변량을 제공하는가?
• RQ3 초등형 Upsilon 함수는 고전적 불변량 $\overline{V}_0(K)$와 $\underline{V}_0(K)$와 어떻게 관련되어 있는가?
• RQ4 초등형 Upsilon 함수를 이용해 링크의 삼차원 농도를 경계로 사용할 수 있는가?
• RQ5 초등형 Upsilon 함수는 링크 농도에 대해 불변인가?

주요 결과

• 초등형 Upsilon 함수 $\overline{\Upsilon}_t(K)$와 $\underline{\Upsilon}_t(K)$는 $[0,2]$에서 잘 정의된 조각선 함수이며, 농도 불변량이다.
• 모든 $t \in [0,2]$에 대해 $K$와 $J$가 농도 동치일 경우 $\overline{\Upsilon}_t(K) = \overline{\Upsilon}_t(J)$ 및 $\underline{\Upsilon}_t(K) = \underline{\Upsilon}_t(J)$를 만족한다.
• $t=2$에서의 값은 고전적 불변량과 다음 관계가 있다: $\overline{\Upsilon}_2(K) = -2\overline{V}_0(K)$ 및 $\underline{\Upsilon}_2(K) = -2\underline{V}_0(K)$.
• 초등형 Upsilon 함수는 네 번째 볼 유전에 대한 경계를 제공한다: 도함수가 존재하는 점에서 $g_4(K) \geq \left| \frac{d}{dt} \overline{\Upsilon}_t(K) \right|$.
• 삼차원 농도는 $g_3(K) \geq \max_{t \in [0,2]} \left| \frac{d}{dt} \overline{\Upsilon}_t(K) \right|$를 만족하며, 고전적 Upsilon 함수와 동일한 추론을 따른다.
• 테이터스 토르스 링크 $T(3,7)$에서 구조가 검증되었으며, $\operatorname{CFKI}^\infty(K)$가 계산되고 초등형 Upsilon 함수를 명시적으로 결정하는 데 사용되었다.