[논문 리뷰] Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: II

Kenji Fukaya, Yong‐Geun Oh외 2명|arXiv (Cornell University)|2018. 08. 18.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 경계와 모서리에서의 호환성을 보장하면서, 편평한 해석적 디스크의 모듈리 공간에 대해 디스크 성분별 장애 다발 자료를 이용하여 쿠란시 구조의 호환 가능한 체계를 구축한다. 이러한 체계의 존재성과 유일성(가짜-이sov의류에 대해)을 확립하여, 라그랑주 플로어 이론에서 $A_\infty$ 구조를 정의하기 위한 체계적인 프레임워크를 제공한다.

ABSTRACT

This is the second of a series of two articles in which we provide detailed and self-contained account of the construction of a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks. Using the notion of obstruction bundle data introduced in [FOOO8], we give a systematic way of constructing a system of Kuranishi structures on the moduli spaces of pseudo holomorphic disks which are compatible at the boundary and corners. More specifically, it defines a tree like K-system in the sense of [FOOO6, Definition 21.9]. The method given in this paper does not only simplify the description of the constructions in the earlier literature, but also is designed to provide a systematic utility tool for the construction of a system of Kuranishi structures in the future research. We also establish its uniqueness.

연구 동기 및 목표

• 경계와 모서리에서의 호환성을 보장하는, 편평한 해석적 디스크의 모듈리 공간에 대한 쿠란시 구조 체계를 구축하는 것.
• 이전의 구축 방식을 단순화하기 위해, 장애 다발 자료를 이용한 체계적이고 재사용 가능한 방법을 제공하는 것.
• 디스크 성분별 장애 다발 자료 체계의 존재성과 유일성(가짜-이sov의류에 대해)을 확립하는 것.
• 모듈리 공간의 경계가 낮은 차원의 모듈리 공간들의 피보터 곱으로 분해되는 것과의 호환성을 확보하는 것.
• 열린 경우의 호환성 문제를 해결하여, 라그랑주 플로어 homology에서 잘 정의된 $A_\infty$ 구조를 구축하는 데를 지원하는 것.

제안 방법

• 각각의 모듈리 공간 $\mathcal{M}_{k+1}(X,L;\beta)$에 대해 특정한 호환 조건을 갖는 장애 다발 자료의 디스크 성분별 체계를 도입하는 것.
• 내부 마킹 점을 통한 안정화를 이용하여 기하학을 제어하고, 장애 다발 자료의 반복적 구축을 가능하게 하는 것.
• 준-분할 수열과 이러한 수열의 동치류를 이용하여 장애 다발 자료의 국소 모델을 정의하는 것.
• 준-성분들 $\widehat{\mathscr{QC}}_{k+1,\ell}(X,L,\mathcal{J};\beta)$ 의 공간을 정의하고, 이를 하우스도르프 위상으로 장비하여 적절한 구조를 확보하는 것.
• 준-성분들 위에 유한한 장애 다발의 합집합을 구성하여, 디스크 성분별 장애 다발 자료 체계를 정의하는 것.
• 가짜-이sov의류 이론을 적용하여, 서로 다른 장애 다발 자료로부터 구축된 체계들 사이에 가짜-이sov의류가 존재함을 보여, 결과적으로 쿠란시 구조의 유일성을 증명하는 것. 이때, 캘러드 구조를 이용한 붙임을 위한 것.

실험 결과

연구 질문

• RQ1 편평한 해석적 디스크의 모듈리 공간에 대해, 특히 경계와 모서리에서의 호환성을 보장하면서, 쿠란시 구조의 체계를 어떻게 체계적으로 구축할 수 있는가?
• RQ2 개별 모듈리 공간에 대한 장애 다발 자료가 어떻게 전체적으로 일관된 체계로 조합될 수 있는가?
• RQ3 결과적으로 얻어진 쿠란시 구조는 가짜-이sov의류에 대해 유일한가? 그리고 이러한 유일성은 $A_\infty$ 구조 구축에 어떻게 기여하는가?
• RQ4 이 구축 과정이 거의 복소 구조의 선택에 의존하지 않도록 할 수 있는가?
• RQ5 준-분할 수열과 준-성분들은 모듈리 공간의 다양한 스트라타에 걸쳐 장애 자료를 어떻게 정리하는 데 기여하는가?

주요 결과

• 모든 모듈리 공간 $\mathcal{M}_{k+1}(X,L;\beta)$ 에 대해 디스크 성분별 장애 다발 자료 체계가 존재하며, 이는 경계 분해와의 호환성을 보장한다.
• 이러한 체계는 식 (1.1)에 기재된 바와 같이, 경계의 피보터 곱 분해와 호환되는 나무 모양의 K-시스템의 쿠란시 구조를 유도한다.
• 결과적으로 얻어진 $A_\infty$ 구조의 강건성을 보장하기 위해, 거의 복소 구조의 선택에 대해 가짜-이sov의류에 대해 독립적임이 입증된다.
• 결과적으로 얻어진 쿠란시 구조는 가짜-이sov의류에 대해 유일하며, 서로 다른 장애 다발 자료로부터 구축된 체계들 사이에 가짜-이sov의류가 존재함을 통해 증명된다.
• 이 방법은 향후 다른 모듈리 공간에 대한 쿠란시 구조 구축에 재사용 가능한 체계적이고 모듈러한 프레임워크를 제공한다.
• 거의 복소 구조가 캘러드 구조를 갖는 경우, 이 구축은 명시적으로 캘러드 구조를 갖게 되어, 오픈 과르모-위튼 이론과 같은 응용에서 매끄러운 붙임을 가능하게 한다.