[논문 리뷰] Fukaya categories of symmetric products and bordered Heegaard-Floer homology

Denis Auroux|arXiv (Cornell University)|2010. 01. 25.

Geometric and Algebraic Topology참고 문헌 16인용 수 54

한 줄 요약

이 논문은 Lipshitz, Ozsváth, 그리고 Thurston의 대수 $τ(F)$와 $A_∞$-모듈러를 표면의 대칭적 곱의 부분적으로 람부르트된 Fukaya 카테고리의 관점에서 재해석함으로써, 경계가 있는 Heegaard-Floer homology에 대한 심플렉틱 프레임워크를 수립한다. 경계가 있는 불리너티브는 일반화된 라그랑주 대응과 퀼트드 Floer homology로부터 유래되며, 핵심 결과는 $τ(Y)$가 $\mathrm{Sym}^g(F)$ 내의 라그랑주 부분다양체의 Floer 복합체와 추측적으로 일치한다는 것이다. 이는 심플렉틱 위상수학을 통한 경계가 있는 불리너티브의 기하적 실현을 제공한다.

ABSTRACT

The main goal of this paper is to discuss a symplectic interpretation of Lipshitz, Ozsvath and Thurston's bordered Heegaard-Floer homology in terms of Fukaya categories of symmetric products and Lagrangian correspondences. More specifically, we give a description of the algebra A(F) which appears in the work of Lipshitz, Ozsvath and Thurston in terms of (partially wrapped) Floer homology for product Lagrangians in the symmetric product, and outline how bordered Heegaard-Floer homology itself can conjecturally be understood in this language.

연구 동기 및 목표

• 대칭적 곱의 Fukaya 카테고리를 사용하여 경계가 있는 Heegaard-Floer homology에 대한 심플렉틱적 해석을 제공한다.
• 경계가 있는 Heegaard-Floer homology의 대수 $τ(F)$를 $\mathrm{Sym}^g(F)$ 내의 곱 라그랑주에 대한 부분적으로 람부르트된 Floer homology와 연결한다.
• 3차원 다양체 $Y$에 대해 $A_∞$-모듈러 $\widehat{CFA}(Y)$가 $\mathrm{Sym}^g(F)$의 확장된 Fukaya 카테고리 내의 일반화된 라그랑주 부분다양체 $\mathbb{T}_Y$와 추측적으로 일치한다는 것을 제안한다.
• 대칭적 곱에서의 라그랑주 대응과 퀸트드 Floer homology를 통해 TQFT 유사 접합 구조를 확립한다.

제안 방법

• 경계가 있는 3차원 다양체에서의 기본 코보르디즘으로부터 $\mathrm{Sym}^{g_{i-1}}(\Sigma_{i-1}) \times \mathrm{Sym}^{g_i}(\Sigma_i)$ 내의 라그랑주 대응 $L_i \subset$ 를 구성한다.
• 이러한 대응의 순서에 대한 퀸트드 Floer homology를 사용하여 $\widehat{HF}(Y)$를 계산하고, 고전적 Heegaard-Floer 구성의 일반화를 이룬다.
• 경계가 있는 3차원 다양체 $Y$에 대해 $\mathrm{Sym}^g(F)$의 확장된 Fukaya 카테고리 $\mathcal{F}^\sharp(\mathrm{Sym}^g(F))$ 내에 일반화된 라그랑주 부분다양체 $\mathbb{T}_Y$를 정의한다.
• 비콤팩트성과 버블링을 다루기 위해 해밀토니안 페르튜브레이션 $H'_{L_i,\tau}$와 수정된 전이 조건을 도입한다.
• Ma’u, Wehrheim, 그리고 Woodward의 형식을 적용하여 표면 간 코보르디즘에 대해 $\mathcal{F}^\sharp(\mathrm{Sym}^{k_1}(F_1))$에서 $\mathcal{F}^\sharp(\mathrm{Sym}^{k_2}(F_2))$로의 $A_\infty$-함수를 정의한다.
• 편향된 라그랑주에 대해 경계를 가진 $J$-홀로모르픽 디스크의 모듈리 공간 $\mathcal{M}_\ell^{\mathrm{hol}}$을 사용하여 $A_\infty$-작용을 정의하고, 전이성과 인덱스 제약 조건 하에서 고차 작용의 소멸을 보인다.

실험 결과

연구 질문

• RQ1 경계가 있는 Heegaard-Floer homology의 대수 $\mathcal{A}(F)$는 어떻게 $\mathrm{Sym}^g(F)$의 부분적으로 람부르트된 Fukaya 카테고리로 실현될 수 있는가?
• RQ2 경계가 있는 3차원 다양체 $Y$에 대해 $A_\infty$-모듈러 $\widehat{CFA}(Y)$는 $\mathrm{Sym}^g(F)$의 확장된 Fukaya 카테고리 내의 객체로서 기하적으로 실현될 수 있는가?
• RQ3 표면 $\mathrm{Sym}^0(D^2)$에서 $\mathrm{Sym}^g(F)$로의 라그랑주 대응의 퀸트드 Floer homology는 $\widehat{HF}(Y)$와 동형이며, 이는 경계가 있는 불리너티브를 복원하는가?
• RQ4 해밀토니안 페르튜브레이션 $H'_{L_i,\tau}$는 심플렉틱 설정에서 전이성과 홀로모르픽 디스크 모듈리 공간을 제어하는 데 어떤 역할을 하는가?
• RQ5 Fukaya 카테고리 내의 $A_\infty$-작용은 $\widehat{CFA}(Y)$의 미분과 고차 곱에 어떻게 대응하는가?

주요 결과

• 표면 $F$에 관련된 대수 $\mathcal{A}(F)$는 $\mathrm{Sym}^g(F)$의 부분적으로 람부르트된 Fukaya 카테고리로 식별되며, 이는 곱 라그랑주에 대응하는 객체들로 구성된다.
• $A_\infty$-모듈러 $\widehat{CFA}(Y)$는 추측적으로 $\mathcal{F}^\sharp(\mathrm{Sym}^g(F))$ 내의 일반화된 라그랑주 부분다양체 $\mathbb{T}_Y$의 Floer 복합체와 동형이며, 이는 라그랑주 대응의 순서로부터 구성된다.
• $\mathrm{Sym}^0(D^2)$에서 $\mathrm{Sym}^g(F)$로의 라그랑주 대응 $(L_1, \dots, L_r)$의 퀸트드 Floer homology는 $\widehat{HF}(Y)$를 계산하며, 고전적 구성과 일치한다.
• 전이성과 인덱스 제약 조건 하에서, $F \neq \emptyset$ 이면 고차 $A_\infty$-작용 $m_\ell^F$는 소멸하며, 오직 동치사상 $m_1^{\{1\}} = \kappa$만 남는다. 이는 동치사상에 의한 위상수학적 변형에 기인한다.
• $\ell$-중 곱 작용 $m_\ell^\emptyset$는 경계 조건이 페르튜브레이션된 라그랑주 $\phi_{\tau_i H_\rho + H'_{L_i,\tau_i}}(L_i)$에 있는 모듈리 공간 $\mathcal{M}_\ell^{\mathrm{hol}}$ 내의 강성 있는 $J$-홀로모르픽 디스크를 세는 것으로 정의된다.
• 이 구성은 접합과 호환된다: $Y = Y_1 \cup_F Y_2$ 이면 $\hom_{\mathcal{F}^\sharp(\mathrm{Sym}^g(F))}(\mathbb{T}_{Y_1}, \mathbb{T}_{-Y_2}) \simeq \widehat{CF}(Y)$이며, 이는 TQFT 유사 구조를 확인한다.