[논문 리뷰] Canonical models of filtered $A_\infty$-algebras and Morse complexes

Kenji Fukaya, Yong‐Geun Oh외 2명|ArXiv.org|2008. 12. 10.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 4

한 줄 요약

이 논문은 모듈리 공간의 준정규 곡선과 기울기 흐름선을 이용하여 상대적으로 스피너인 라그랑주 부분다양체 위의 모어스 복합체에 대한 필터링된 $A_\infty$-대수의 표준 모델을 구축한다. 주요 기여는 가상 차원 0인 구성의 가중 수를 통해 모어스 코체인 복합체 위의 $A_\infty$-구조를 기하학적으로 실현한 것으로, 심플렉틱 토폴로지에서 플로어 이론적 계산을 위한 표준적이고 선택에 의존하지 않는 프레임워크를 제공한다.

ABSTRACT

The purpose of this paper is two-fold. First we explain the construction of the canonical model of filtered $A_\infty$-algebras given in the authors' book [FOOO]. The canonical model plays a crucial role in the study of Lagrangian Floer theory on toric manifolds in our recent papers, arXiv:0802.1703 and arXiv:0810.5654. Then using a variation of the arguments used in that construction, we define a natural filtered $A_\infty$-structure on the Morse complex of a Morse function and its $A_\infty$ homotopy to the $A_\infty$-algebras on a Lagrangian submanifold constructed in [FOOO]. The corresponding graphical moduli spaces `summing over trees' involve holomorphic discs connected by the gradient flow lines.

연구 동기 및 목표

• 상대적으로 스피너인 라그랑주 부분다양체의 모어스 코체인 복합체 위에 표준적이고 선택에 의존하지 않는 $A_\infty$-구조를 구축하는 것.
• 준정규 곡선과 기울기 흐름선의 모듈리 공간을 통해 필터링된 $A_\infty$-대수의 프레임워크를 모어스 이론으로 확장하여 연산을 기하학적으로 실현하는 것.
• 모어스 복합체에 관련된 $A_\infty$-대수에 대한 표준 모델을 제공하여, 구성 과정에서의 보조 선택 사항에 대해 불변성을 보장하는 것.
• 표준 모델을 사용하여 약한 바인딩 코체인 공간 위의 포텐셜 함수 $\mathfrak{PO}(b)$의 기하학적 실현을 확립하는 것.
• 모어스 이론적 자료를 통해 청결하거나 교차하는 라그랑주 부분다양체의 교차에 대한 필터링된 $A_\infty$-이중대수로의 구조를 일반화하는 것.

제안 방법

• 구성은 각각의 다이어그램 $\Gamma \in G_{k+1}^+$를 통해 준정규 곡선 디스크와 깨진 음의 기울기 흐름선의 구성 방식을 매개화한다.
• 각 트리 $\Gamma$에 대해, 경계 마킹점과 임계점들을 연결하는 흐름선을 포함하는 경계가 있는 안정적인 맵들의 모듈리 공간 $\mathcal{M}_\Gamma(h; p_1, \dots, p_k, q)$를 정의한다.
• 각 $\mathfrak{m}_\Gamma$ 연산은 $\mathcal{M}_\Gamma$의 가중된 가상 0차원 성분을 세는 방식으로 정의되며, 각 디스크 버블에 대해 $e^{\mu(\beta)/2}$의 가중치를 포함한다.
• 전체 $A_\infty$-연산 $\mathfrak{m}_k$는 $G_{k+1}^+$에 속한 모든 트리 $\Gamma$에 대해 $T^{E(\Gamma)}$로 가중한 합으로 얻어지며, 여기서 $E(\Gamma)$는 구성의 총 에너지이다.
• 표준 모델은 필터링된 $A_\infty$-대수의 호모토피 이론을 통해 유도되며, 부분복합체와 변형에 대한 선택에 대해 불변성을 보장한다.
• 이 방법은 쿠란스키 맵의 체계적인 다중값 변형과 단일 모어스 함수의 사용에 의존하며, 최종 구성에서 다수의 모어스 함수가 필요로 하지 않음을 보장한다.

실험 결과

연구 질문

• RQ1 어떻게 상대적으로 스피너인 라그랑주 부분다양체의 모어스 코체인 복합체 위에 표준적이고 선택에 의존하지 않는 $A_\infty$-구조를 구축할 수 있는가?
• RQ2 모어스 복합체 위의 $A_\infty$-연산은 준정규 곡선과 기울기 흐름선의 관점에서 어떻게 기하학적으로 실현될 수 있는가?
• RQ3 필터링된 $A_\infty$-대수의 표준 모델은 플로어 이론에서 포텐셜 함수 $\mathfrak{PO}(b)$와 어떻게 관련이 있는가?
• RQ4 단일 모어스 함수와 변형 이론을 사용하여, 다수의 모어스 함수에 의존하지 않고도 모어스 복합체 위의 $A_\infty$-구조를 구성할 수 있는가?
• RQ5 표준 모델 프레임워크는 청결하거나 교차하는 라그랑주 부분다양체의 교차에 대한 $A_\infty$-이중대수로 어떻게 일반화될 수 있는가?

주요 결과

• 모어스 복합체 위의 필터링된 $A_\infty$-연산은 준정규 곡선 디스크와 깨진 음의 기울기 흐름선을 포함하는 구성의 0차원 모듈리 공간의 가중 수로 실현된다.
• 최종적으로 유도된 $CM^\bullet(f)$ 위의 $A_\infty$-구조는 부분복합체와 변형과 같은 보조 선택 사항에 영향을 받지 않으며, 표준 모델 구성 덕분에 불변성을 보장한다.
• 표준 모델은 포텐셜 함수 $\mathfrak{PO}(b)$의 잘 정의된 정의역을 제공하여 플로어이론적 불변량의 일관성을 보장한다.
• 이 구성은 라그랑주 부분다양체의 교차가 교차하거나 청결한 경우에 모두 적용되며, $h$가 교차 위의 모어스 함수일 경우, $C^\bullet(L_0 \cap L_1; \Theta)$ 위의 이중대수 구조는 $CM^\bullet(h; \Theta)$로 축소된다.
• 최종 $A_\infty$-구조에서 다수의 모어스 함수가 필요로 하지 않으며, 단일 모어스 함수와 표준 모델 프레임워크를 통해 전치성(transversality)을 달성한다.
• 표준 모델은 스펙트럴 시퀀스의 수렴을 보장하며, 원래 복합체의 코homological 차수에 상관없이 $A_\infty$-대수의 안정적인 호모토피 유형을 제공한다.