[논문 리뷰] A-infinity functors for Lagrangian correspondences

S. Ma’u, Katrin Wehrheim외 1명|arXiv (Cornell University)|2016. 01. 19.

Homotopy and Cohomology in Algebraic Topology참고 문헌 26인용 수 14

한 줄 요약

이 논문은 단조성 라그랑주 대응관계를 사용하여 푸카야 카테고리 간의 $A_\infty$ 함자를 구성하며, 호모로지 미러 대칭에서 무카이 함수에 해당하는 체인 수준의 동치를 수립한다. 주요 결과는 조합이 매끄럽고 임베딩된 경우, 이러한 함자들의 조합이 기하적 조합에 관련된 함수와 호모토피적임을 보여준다.

ABSTRACT

We construct A-infinity functors between Fukaya categories associated to monotone Lagrangian correspondences between compact symplectic manifolds. We then show that the composition of A-infinity functors for correspondences is homotopic to the functor for the composition, in the case that the composition is smooth and embedded.

연구 동기 및 목표

• 단조성 라그랑주 대응관계와 관련된 푸카야 카테고리 간의 $A_\infty$ 함자를 구성하여, 무카이 함수에 유사한 체인 수준의 미러 대칭 함수의 실현을 제공한다.
• 이전의 이중성 기반 구성에서 발생하는 조합 문제를 해결하기 위해, 일반화된 라그랑주 브레인을 포함하도록 푸카야 카테고리를 확장한다.
• 조합이 매끄럽고 임베딩된 조건 하에서, $A_\infty$ 함자들의 조합과 대응관계의 기하적 조합에 관련된 함수 사이의 호모토피 동치를 수립한다.
• 플로어 코사이클을 통해 $A_\infty$ 함자 간의 자연 변환을 정의함으로써, 푸카야 카테고리 프레임워크 내에서 일관된 함수의 미적분학을 가능하게 한다.
• 이전 연구에서의 코homology 수준 결과를 체인 수준으로 확장하여, 유도 카테고리와 호모로지 미러 대칭에 대한 호환성을 확보한다.

제안 방법

• 모든 객체가 브레인 구조(방향, 그레딩, 상대 스핀 구조 포함)를 갖는 적합한 일반화된 라그랑주 대응관계인 일반화된 푸카야 카테고리 $\operatorname{Fuk}^\sharp(M_0,M_1)$ 를 구성한다.
• 각 단조성 라그랑주 대응관계 $L_{01} \subset M_0^- \times M_1$ 에 대해, $\operatorname{Fuk}^\sharp(M_0)$ 에서 $\operatorname{Fuk}^\sharp(M_1)$ 으로의 $A_\infty$ 함자 $\Phi(L_{01})$ 를 정의한다.
• 스트립 유사 끝을 갖는 퀼트된 표면의 가중치 가중 가중치를 사용하여, 편형 해석적 퀼트를 통해 pseudo-holomorphic 사상의 모듈리 공간을 정의함으로써 $A_\infty$ 함자의 고차 연산을 정의한다.
• 플로어 코사이클 $\alpha \in CF(L_{01}, L_{01}')$ 을 사용하여, $A_\infty$ 함자 $\Phi(L_{01})$ 과 $\Phi(L_{01}')$ 사이의 자연 변환 $\mathcal{T}_\alpha$ 를 정의한다.
• 부분 자연 변환의 미분을 $A_\infty$ 연산과 함수 성분을 포함한 부호가 있는 합성의 조합으로 정의하여, 자연 변환이 닫혀 있음을 보장한다.
• 경계 조건이 조합된 대응관계에 대해 설정된 퀼트의 모듈리 공간에서 명시적인 호모토피 자료를 구성함으로써, $\Phi(L_{12}) \circ \Phi(L_{01}) \simeq \Phi(L_{01} \circ L_{12})$ 를 증명한다.

실험 결과

연구 질문

• RQ1 라그랑주 대응관계에 대해 $A_\infty$ 함자를 어떻게 구성할 수 있으며, 이는 푸카야 카테고리의 대수적 구조를 유지하는가?
• RQ2 함수들의 조합과 라그랑주 대응관계의 기하적 조합 사이의 관계는 무엇인가?
• RQ3 플로어 코사이클을 통해 $A_\infty$ 함수 간의 자연 변환을 정의할 수 있으며, 이는 $A_\infty$ 구조와 어떻게 상호작용하는가?
• RQ4 어떤 조건에서 대응관계에 관련된 함수의 조합이 기하적 조합에 관련된 함수와 호모토피적인가?
• RQ5 체인 수준의 $A_\infty$ 함수의 미적분학은 호모로지 미러 대칭의 코homology 수준의 구성과 도이드 카테고리와 어떻게 관련이 있는가?

주요 결과

• 각 단조성 라그랑주 대응관계 $L_{01} \subset M_0^- \times M_1$ 에 대해, $\operatorname{Fuk}^\sharp(M_0)$ 에서 $\operatorname{Fuk}^\sharp(M_1)$ 으로의 $A_\infty$ 함자 $\Phi(L_{01})$ 가 구성되며, 이는 [42, 정의 5.1]의 코homology 수준 함수를 유도한다.
• 라그랑주 브레인 $L_0 \subset M_0$, $L_1 \subset M_1$ 에 대해, $\mathbb{Z}_2$ 계수에서 $H\operatorname{Hom}(\Phi(L_{01})L_0, L_1) \cong HF(L_0^- \times L_1, L_{01})$ 이다.
• 각 플로어 코사이클 $\alpha \in CF(L_{01}, L_{01}')$ 에 대해, 자연 변환 $\mathcal{T}_\alpha: \Phi(L_{01}) \to \Phi(L_{01}')$ 이 구성되며, 이는 닫힌 전자 자연 변환을 이룬다.
• 기하적 조합 $L_{01} \circ L_{12}$ 가 매끄럽고 임베딩된 경우, 함수의 조합 $\Phi(L_{12}) \circ \Phi(L_{01})$ 는 $\Phi(L_{01} \circ L_{12})$ 와 호모토피적이다.
• 상대 스핀 케이스에서는 배경 클래스의 이동을 고려한 호모토피 동치가 유지되며, $A_\infty$ 구조가 보존된다.
• 이 구성은 이전의 코homology 수준 함수의 체인 수준 정밀화를 제공하며, 라그랑주 대응관계에 대한 일관된 $A_\infty$ 함수의 미적분학을 가능하게 한다.