[논문 리뷰] Bordered Floer homology for sutured manifolds

Rumen Zarev|ArXiv.org|2009. 08. 07.

Geometric and Algebraic Topology참고 문헌 9인용 수 42

한 줄 요약

이 논문은 둘레가 있는 삼각형 다면체와 둘레가 있는 삼각형 다면체를 일반화하는 통합 프레임워크로 경계가 있는 봉제 다면체를 도입하며, 이는 경계가 있는 플로어 호몰로지의 확장으로서 이러한 대상에 대한 불변량을 정의한다. 이는 장식된 봉제 코보르디즘 범주에서 $\mathcal{A}_{\infty}$-대수와 이중모듈러스로 가는 함자를 정의함으로써, sutured 플로어 호몰로지 $\text{SFH}(Y,\Gamma)$를 $\widehat{\text{CFA}}(Y)$ 또는 $\widehat{\text{CFD}}(Y)$로부터 복원할 수 있게 하고, 주아시의 표면 분해 공식에 대한 새로운 증명을 제공한다.

ABSTRACT

We define a sutured cobordism category of surfaces with boundary and 3-manifolds with corners. In this category a sutured 3-manifold is regarded as a morphism from the empty surface to itself. In the process we define a new class of geometric objects, called bordered sutured manifolds, that generalize both sutured 3-manifolds and bordered 3-manifolds. We extend the definition of bordered Floer homology to these objects, giving a functor from a decorated version of the sutured category to A-infinity algebras, and A-infinity bimodules. As an application we give a way to recover the sutured homology SFH(Y,Gamma) of a sutured manifold from either of the bordered invariants CFA(Y) and CFD(Y) of its underlying manifold Y. A further application is a new proof of the surface decomposition formula of Juhasz.

연구 동기 및 목표

• 경계가 있는 봉제 다면체와 봉제 플로어 호몰로지를 통합하기 위해 공통의 일반화를 도입함으로써 둘을 통합한다.
• 봉제 다면체와 경계가 있는 삼각형 다면체를 일반화하는 새로운 기하적 대상의 클래스인 경계가 있는 봉제 다면체를 정의한다.
• 장식된 봉제 코보르디즘 범주에서 $\mathcal{A}_{\infty}$-대수와 이중모듈러스로 가는 함자를 구성한다.
• 봉제 플로어 호몰로지 $\text{SFH}(Y,\Gamma)$가 $\widehat{\text{CFA}}(Y)$ 또는 $\widehat{\text{CFD}}(Y)$로부터 복원될 수 있음을 보인다.
• 새로운 프레임워크를 사용하여 주아시의 표면 분해 공식을 재정의하는 데 성공한다.

제안 방법

• 경계가 있는 표면과 모서리가 있는 삼각형 다면체로 구성된 봉제 코보르디즘 범주를 정의하며, 여기서 봉제 다면체는 공집합 표면에서 자신으로 가는 사상이다.
• 경계 매개변수화와 봉제를 포함하여 봉제 다면체와 경계가 있는 삼각형 다면체를 일반화하는 경계가 있는 봉제 다면체를 도입한다.
• 경계가 있는 플로어 호몰로지를 확장하여 경계가 있는 봉제 다면체에 $\mathcal{A}_{\infty}$-모듈러스 ($\widehat{\text{CFA}}$)와 $\mathcal{A}_{\infty}$-이중모듈러스 ($\widehat{\text{BSDA}}$)를 할당한다.
• 좋은 헤가르 다이어그램과 해석적 곡선의 모듈리 공간을 사용하여 불변량을 정의하며, Reeb 끈과 스핀^c 구조에 기반한 그레ading 구조를 사용한다.
• 이중모듈러스의 페어링 정리를 적용하여 접합된 다면체의 불변량이 구성 요소의 불변량과 관련이 있음을 밝힌다.
• 표면 분해 공식을 증명하기 위해, 분해된 다면체의 $\widehat{\text{BSD}}$ 불변량이 분해 표면으로 향하는 모든 스핀^c 구조에 대한 $\widehat{\text{BSD}}$ 불변량의 직합과 동형임을 보인다.

실험 결과

연구 질문

• RQ1 동일한 기저 삼각형 다면체에 대해 봉제 플로어 호몰로지가 경계가 있는 플로어 불변량으로 복원될 수 있는가?
• RQ2 경계가 있는 플로어 호몰로지가 경계에 봉제 구조를 포함하도록 어떻게 확장될 수 있는가?
• RQ3 삼각형 다면체의 $\widehat{\text{CFA}}$ 및 $\widehat{\text{CFD}}$ 불변량과 그 봉제 플로어 호몰로지 사이의 관계는 무엇인가?
• RQ4 통합된 경계-봉제 프레임워크를 사용하여 주아시의 표면 분해 공식을 재도출할 수 있는가?
• RQ5 경계가 있는 봉제 다면체에 대한 $\mathcal{A}_{\infty}$-이중모듈러스 불변량의 구조는 무엇이며, 접합 시 어떻게 행동하는가?

주요 결과

• 경계가 연결된 삼각형 다면체에 대해 봉제 플로어 호몰로지 $\text{SFH}(Y,\Gamma)$는 $\widehat{\text{CFA}}(Y)$ 또는 $\widehat{\text{CFD}}(Y)$로부터 복원될 수 있으며, 이는 경계가 있는 플로어 호몰로지와 봉제 플로어 호몰로지 사이의 다리를 쌓는다.
• 경계가 있는 봉제 다면체 $Y$의 $\widehat{\text{BSD}}$ 불변량은 분해 표면 $S$로 향하는 모든 스핀^c 구조에 대해 $\widehat{\text{BSD}}$ 불변량의 직합과 동형이다.
• 분해된 다면체의 $\widehat{\text{BSA}}$ 불변량은 분해 표면 $S$로 향하는 모든 스핀^c 구조에 대해 $\widehat{\text{BSA}}$ 불변량의 직합과 동형이다.
• 새로운 프레임워크는 이중모듈러스 페어링과 좋은 다이어그램에서의 해석적 곡선의 구조를 사용하여 주아시의 표면 분해 공식에 대한 새로운 증명을 제공한다.
• 특정 봉제 구조를 가진 제품 다면체 $P = F \times [0,1]$의 $\widehat{\text{BSD}}$ 불변량은 비자명한 미분을 가진 유일한 생성자를 가지며, 상단 스핀^c 구조에서 토러스 $T$의 $\widehat{\text{BSD}}$ 불변량과 동형이다.
• $\mathcal{A}_{\infty}$-이중모듈러스의 페어링 정리에 따르면, 접합된 다면체의 봉제 플로어 호몰로지는 해당 불변량의 텐서곱의 호몰로지와 동형이다.