[논문 리뷰] Gluing maps and cobordism maps for sutured monopole Floer homology

Zhenkun Li|arXiv (Cornell University)|2018. 10. 31.

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

한 줄 요약

이 논문은 삼중 단극 플로어 homology와 삼중 인stanton 플로어 homology에 대해 잘 정의된 접합 및 코버디즘 맵을 구축하며, 그들의 함자성과 단위 원소에 대한 불변성을 입증한다. 이러한 구축을 삼중 인stanton 플로어 homology로 확장하여, 접합 맵이 하드들 분해에 의존하지 않음을 증명하고, 접합을 통한 새로운 접촉 불변량 정의를 제시한다. 이 새로운 정의가 기존 정의와 동치임을 보였다.

ABSTRACT

In this paper we construct gluing maps and cobordism maps for sutured monopole Floer homology.

연구 동기 및 목표

• 삼중 단극 플로어 homology의 자연성(naturality)을 잘 정의된 코버디즘 맵을 통해 확립하기 위해.
• 삼중 단극 플로어 homology에 대해 함자성과 위상수학적 변형 및 합성에 대한 불변성을 만족하는 접합 맵을 정의하고 연구하기 위해.
• 이러한 구축을 삼중 인stanton 플로어 homology로 확장하여 유사한 함자성 성질을 증명하기 위해.
• 삼중 인stanton homology에서 접촉 불변량을 접합 기반으로 새로운 방식으로 정의하기 위해.
• 하드들 분해에 대한 독립성과 코버디즘 맵의 대칭성에 관한 추측을 확인하기 위해.

제안 방법

• 삼중 다발 사이의 코버디즘에 대한 접촉 구조를 통해 하드들 접합 맵을 구축한다.
• 경계가 볼록이고 분할 집합이 사전에 정해진 접합 영역에 대한 접촉 구조를 사용하여 삼중 단극 플로어 homology의 접합 맵을 정의한다.
• 합성과 위상수학적 변형에 대해 접합 맵의 함자성을 증명하며, 미분형식과의 호환성을 보인다.
• 삼중 다발에 대한 접촉 구조를 갖춘 삼중 코버디즘 맵을 삼중 단극 플로어 homology와 관련지어 정의한다.
• 유사한 프레임워크를 삼중 인stanton 플로어 homology에 적용하며, 표시된 홀로노미 연산자의 일반화된 고유공간과 함께 표시된 홀로노미를 사용한다.
• 다르부 볼에서의 접합 맵에 의한 생성자의 상으로 삼중 인stanton homology에서의 접촉 불변량을 정의한다.

실험 결과

연구 질문

• RQ1 삼중 단극 플로어 homology의 접합 맵은 단위 원소에 대해 잘 정의되고 함자성인가?
• RQ2 삼중 단극 플로어 homology에 대해 함자성과 대칭성을 만족하는 코버디즘 맵을 구성할 수 있는가?
• RQ3 삼중 인stanton 플로어 homology의 접합 맵은 하드들 분해의 선택에 의존하지 않는가?
• RQ4 다르부 볼에서의 접합을 통한 새로운 접촉 불변량 정의가 기존 정의와 동치인가?
• RQ5 고전적 인stanton 플로어 homology에서의 접촉 원소는 이 접합 절차를 통해 재구성될 수 있는가?

주요 결과

• 삼중 단극 플로어 homology의 접합 맵 $\Phi_\xi$ 는 단위 원소에 대해 잘 정의되며, 합성과 위상수학적 변형에 대해 불변성을 만족한다.
• 코버디즘 맵 $\underline{\rm SHM}(\mathcal{W})$ 는 단위 원소에 대해 잘 정의되며, 합성에 대한 함자성과 자연 쌍대성에 의한 대칭성을 만족한다.
• 삼중 인stanton 플로어 homology의 접합 맵은 하드들 분해에 독립적이며, [3]의 추측 1.8을 확인한다.
• 다르부 볼에서의 접합을 통한 접촉 불변량의 새로운 정의는 클래스 $\phi(M,\gamma,\xi) = \Phi_\xi(1)$ 를 유도하며, 이는 기존의 접촉 원소와 동치이다.
• 접합을 통한 방식으로 정의된 접촉 원소는 접합 맵에 의해 보존되며, 이는 접촉 접합 연산에 대해 불변임을 확인한다.
• 이 구축은 삼중 인stanton 플로어 homology로 확장되어 잘 정의된 맵을 갖는 $\mathbb{C}$-모듈의 프로젝티브 전이 체계를 유도한다.