[논문 리뷰] Source Spaces and Perturbations for Cluster Complexes

François Charest|arXiv (Cornell University)|2012. 12. 12.

Geometric and Algebraic Topology참고 문헌 36인용 수 8

한 줄 요약

이 논문은 복소 디스크에 표시된 점이 거리 선분으로 연결된 소스 공간을 도입하여 클러스터 복합체의 비대칭 및 대칭 모듈리 공간을 구성한다. 이는 푸앵카레 경로를 통한 일관된 섭동을 제공하여, $Pin_{\pm}$ 단조 라그랑주 부분다양체 위의 차단된 $A_{\infty}$-구조에 대해 모스 이론을 통한 대체적 구성법을 가능하게 하며, 그 결과로 모스 함수의 임계점 위에 존재하는 $A_{\infty}$-대수 구조는 호모토피 불변이며 노비코프 링 위의 코チェ인 복합체의 호모토피 범주로의 함자적 성질을 가진다.

ABSTRACT

We define objects made of marked complex disks connected by metric line segments and construct nonsymmetric and symmetric moduli spaces of these objects. This allows choices of coherent perturbations over the corresponding versions of the Floer trajectories proposed by Cornea and Lalonde. These perturbations are intended to lead to an alternative description of the (obstructed) $A_\infty$-structures studied by Fukaya, Oh, Ohta and Ono. Given a $Pin_{\pm}$ monotone lagrangian submanifold $L \subset (M,ω)$ with minimal Maslov number $N_L \geq 2$, we define an $A_\infty$-algebra (resp. differential graded algebra) structure from the critical points of a generic Morse function on $L$. It is written as a cochain (resp. chain) complex extending the pearl complex introduced by Oh and further explicited by Biran and Cornea, equipped with its quantum product. We verify that the construction is homotopy invariant, defining a functor from a homotopy category of $Pin_{\pm}$ monotone lagrangian submanifolds $h\mathcal{L}^{mono, \pm}(M,ω)$ to the homotopy category of cochain (resp. chain) complexes $hK(Λ ext{-mod})$ where $Λ$ is a Novikov ring with coefficients in $\mathbb{Z}$.

연구 동기 및 목표

• 모스 이론과 섭동된 플로어 경로를 이용하여 $Pin_{\pm}$ 단조 라그랑주 부분다양체 위의 $A_{\infty}$-구조를 구성하기 위한 새로운 프레임워크를 개발하는 것.
• 표시된 디스크와 거리 선분으로 이루어진 소스 공간을 통해 플로어 경로의 모듈리 공간 위에서 일관된 섭동을 정의하는 것.
• 호모토피 범주론에서 $Pin_{\pm}$ 단조 라그랑주에 대한 호모토피 불변 함자를 수립하는 것.
• 양자 곱과 모스 이론적 자료를 통합하여 페얼 복합체의 일반화를 이루는 것.
• 푸카야, 오, 오타, 온오가 정의한 차단된 $A_{\infty}$-구조에 대해 기하학적 및 위상수학적 도구를 통해 대체적 기술을 제공하는 것.

제안 방법

• 거리 선분으로 연결된 표시된 복소 디스크에서 $\otimes$-클러스터와 퀼트드 $\otimes$-클러스터의 모듈리 공간을 구성하는 것.
• 모듈리 공간 위에서 일반 곡선과 일관된 끝자국 및 섭동의 체계를 정의하여 전형성 보장을 하는 것.
• 모듈리 공간 내의 방향성 문제를 다루기 위해 $\widetilde{Gl_n(\mathbb{R})}^{\pm}$-구조와 방향성 체계를 도입하는 것.
• L 위의 모스 함수의 음의 경로선을 이용해 코チェ인 복합체의 미분을 정의하며, 안정 다각형의 방향성에 따라 부호를 결정하는 것.
• 플로어 경로의 정규성 결과를 적용하고, 모듈리 공간을 분해하며 $n \geq 3$ 및 $n \leq 2$의 경우를 분석하는 것.
• $\otimes$-클러스터 복합체 간의 사상과 호모토피의 범주론적 기술을 수립하여 함자적 구성법을 확립하는 것.

실험 결과

연구 질문

• RQ1 기하학적 소스 공간을 사용하여 장애가 존재하는 상황에서 플로어 경로에 대한 일관된 섭동을 어떻게 구성할 수 있는가?
• RQ2 $Pin_{\pm}$ 단조 라그랑주 위의 $A_{\infty}$-구조는 일반적인 모스 함수의 임계점 위의 모스 이론적 자료를 통해 재구성될 수 있는가?
• RQ3 모스 함수의 임계점 위에 존재하는 $A_{\infty}$-대수 구조는 호모토피 불변이며 함자적인가?
• RQ4 $\otimes$-클러스터와 퀼트드 $\otimes$-클러스터의 모듈리 공간은 모스 이론과 플로어 이론에서 스타시프 아소시아헤드론과 멀티플리헤드론과 어떻게 관련되는가?
• RQ5 일관된 방향성과 섭동은 미분의 제곱이 0이 되게 하고, 코homology 가 $L$의 정칙 코homology 를 올바르게 계산하게 하는 데 어떤 역할을 하는가?

주요 결과

• 이 구성은 $N_L \geq 2$ 인 $Pin_{\pm}$ 단조 라그랑주 부분다양체 $L$ 위에서 일반적인 모스 함수의 임계점에 의해 생성된 코체인 복합체 위에 $A_{\infty}$-대수 구조를 유도한다.
• 미분 $\delta$ 는 $\delta \circ \delta = 0$ 을 만족하여 복합체가 잘 정의되어 있으며, 이는 정칙 코homology $H^*(L, \mathbb{Z})$ 를 계산한다.
• 결과로 얻어진 $A_{\infty}$-구조는 호모토피 불변이며, $h\mathcal{L}^{\text{mono},\pm}(M,\omega)$ 에서 $hK(\Lambda\text{-mod})$ 로 가는 함자를 정의한다. 여기서 $\Lambda$ 는 $\mathbb{Z}$ 위의 노비코프 링이다.
• 섭동은 소스 공간의 기하학과 일관되며, 편의적으로 잘 정의된 편의적 편의적 곡선의 모듈리 공간을 정의할 수 있도록 한다.
• 이 방법은 기존의 페얼 복합체를 확장하여 기하학적 트리 형태의 구조를 통해 기하학적 수정과 고차원 연산을 통합한다.
• 논문은 퀼트드 $\otimes$-클러스터의 모듈리 공간을 통해 멀티플리헤드론과 그 복소화의 기하적 실현을 수립하며, 이는 모스 이론과 플로어 이론을 연결한다.