[논문 리뷰] On a Heegaard Floer theory for tangles

Claudius Zibrowius|arXiv (Cornell University)|2016. 10. 24.

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

한 줄 요약

이 학위논문은 3차원 구 안의 테이글에 대해 국소적 헤가르드 플로어 호몰로지 이론 $\widehat{HFT}$를 도입하며, 이는 특정 테이글에 대한 아르바이터리안 다항식 $\nabla_T^s$ 를 분류화한다. 이 이론은 사수드 플로어 호몰로지와 보더드 사수드 기법을 통해 $\widehat{HFT}$ 를 구성하고, 접합 정리를 증명하며, (2,−3)-프레틀레즈 테이글을 통해 변형된 면상 링크들이 동일한 $\delta$-중량 링크 플로어 호몰로지를 가지며, 이는 계산적 검증을 통해 확인된다. 이 이론은 '특이 모듈러스'를 활용하여 4끝 테이글로 특수화되며, 스킨 관계를 복원하고 $\delta$-중량 변형 불변성에 대한 추측을 뒷받침한다.

ABSTRACT

The purpose of this thesis is to define a "local" version of Ozsváth and Szabó's Heegaard Floer homology $\operatorname{\widehat{HFL}}$ for links in the 3-dimensional sphere, i.e. a Heegaard Floer homology $\operatorname{\widehat{HFT}}$ for tangles in the closed 3-ball. After studying basic properties of $\operatorname{\widehat{HFT}}$ and its decategorified tangle invariant $ abla_T^s$, we prove a glueing theorem in terms of Zarev's bordered sutured Floer homology, which endows $\operatorname{\widehat{HFT}}$ with an additional glueing structure. For 4-ended tangles, we repackage this glueing structure into certain curved complexes $\operatorname{CFT}^\partial$, which we call peculiar modules. This allows us to easily recover oriented and unoriented skein relations for $\operatorname{\widehat{HFL}}$. Our peculiar modules enjoy some symmetry properties, which support a conjecture about $δ$-graded mutation invariance of $\operatorname{\widehat{HFL}}$. In fact, we show that any two links related by mutation about a $(2,-3)$-pretzel tangle have the same $δ$-graded link Floer homology. In the last part of this thesis, we explore the relationship between peculiar modules and twisted complexes in the fully wrapped Fukaya category of the 4-punctured sphere. This thesis is accompanied by two Mathematica packages. The first is a tool for computing the generators of $\operatorname{\widehat{HFT}}$ and its decategorified tangle invariant $ abla_T^s$. The second allows us to compute Zarev's bordered sutured Floer invariants of any bordered sutured manifold using nice diagrams.

연구 동기 및 목표

• 3차원 구 안의 테이글에 대해 국소적이고 분류화된 불변량을 개발하여 옥스바르스-스자보의 링크 플로어 호몰로지의 일반화를 이루는 것.
• 사수드 및 보더드 사수드 플로어 호몰로지 프레임워크를 사용하여 테이글 플로어 호몰로지 $\widehat{HFT}$ 를 정의하는 것.
• (2,−3)-프레틀레즈 테이글을 포함한 콘웨이 변형에 대해 $\delta$-중량 링크 플로어 호몰로지가 불변임을 증명하는 것.
• 특이 모듈러스를 통해 4끝 테이글에 대한 $\widehat{HFT}$ 의 구조를 탐색하고, 그 대수적 및 기하적 성질을 분석하는 것.
• 특이 모듈러스와 4구멍이 있는 구면의 랩프드 푸카야 분야 사이의 관계를 조사하는 것.

제안 방법

• 카우프만 상태와 아르바이터리안 코드를 사용하여 $\nabla_T^s$ 를 조합적으로 정의함으로써 $\widehat{HFT}$ 의 분류화되지 않은 형태를 제공하는 것.
• 테이글에 대한 헤가르드 다이어그램을 통해 $\widehat{HFT}(T,s)$ 를 이중중량 체인 복합체로 구성하며, 다이어그램 선택에 관계없이 호모토피 유형이 유지됨을 보이는 것.
• 줄라슈의 사수드 플로어 호몰로지와 자레브의 보더드 사수드 플로어 호몰로지를 활용하여 $\widehat{HFT}$ 를 두 가지 등가 방식으로 정의하는 것.
• 보더드 사수드 플로어 호몰로지를 사용하여 접합 정리를 확립함으로써, 링크의 $\widehat{HFL}$ 을 테이글 불변량으로부터 계산할 수 있도록 하는 것.
• 4끝 테이글에 대한 $\widehat{HFT}$ 의 재구성으로서 '특이 모듈러스'를 도입하며, 접합 구조를 대수적으로 표현하는 것.
• Mathematica(apt.m 및 bsfh.m)를 활용하여 $\widehat{HFT}$ 복합체의 생성자, 구조 사상 계산, 취소 및 호모토피 수행을 위한 계산 도구를 구현하는 것.

실험 결과

연구 질문

• RQ1 3차원 구 안의 테이글에 대해 $\widehat{HFL}$ 과 유사한 국소적 헤가르드 플로어 호몰로지 이론을 정의할 수 있는가?
• RQ2 $\widehat{HFT}$ 의 분류화가 일반화된 아르바이터리안 다항식을 갖는 테이글 불변량을 도출하는가?
• RQ3 (2,−3)-프레틀레즈 테이글을 포함한 변형에 대해 $\delta$-중량 링크 플로어 호몰로지가 불변인가?
• RQ4 4끝 테이글에 대한 $\widehat{HFT}$ 의 구조를 새로운 대수적 대상인 '특이 모듈러스'로 포착할 수 있으며, 이는 스킨 관계를 복원하는가?
• RQ5 특이 모듈러스와 4구멍이 있는 구면의 랩프드 푸카야 분야 사이의 관계는 무엇인가?

주요 결과

• 테이글 플로어 호몰로지 $\widehat{HFT}(T,s)$ 는 이중중량 체인 호모토피 동치에 대해 잘 정의되어 있으며, 사이트 구조를 갖는 테이글에 대한 위상 불변량을 제공한다.
• $\widehat{HFT}$ 의 분류화는 다변수 다항식 $\nabla_T^s$ 를 도출하며, 이는 4끝 테이글에 대해 변형 불변성을 갖는다.
• (2,−3)-프레틀레즈 테이글을 포함한 변형에 의해 연결된 임의의 두 링크는 동일한 $\delta$-중량 링크 플로어 호몰로지를 가지며, 이는 컴퓨터 보조 계산을 통해 확인되었다.
• 4끝 테이글에 대한 특이 모듈러스는 $\widehat{HFL}$ 의 정렬 및 비정렬 스킨 관계를 모두 복원하며, 링크 불변량 재구성에 있어 그 유용성을 입증한다.
• 특이 모듈러스는 $\delta$-중량 변형 불변성에 대한 추측을 뒷받침하는 대칭 관계를 만족하지만, 완전한 증명을 위해서는 더 강력한 대칭성이 필요하다.
• 특이 모듈러스와 4구멍이 있는 구면의 랩프드 푸카야 분야의 난이도 있는 연결 고리가 확립되었으며, 이는 대수적 불변량의 기하적 해석을 시사한다.