[논문 리뷰] Kuranishi structure, Pseudo-holomorphic curve, and virtual fundamental chain: Part 2

Kenji Fukaya, Yong‐Geun Oh외 2명|arXiv (Cornell University)|2017. 04. 06.

Advanced Algebra and Geometry인용 수 11

한 줄 요약

이 논문은 캄비오 구조를 사용하여 심플렉틱 기하학에서 가상 기본 체인과 사이클 기법에 대한 엄밀한 기초를 구축한다. K-시스템의 동시에 이루어지는 페르터베이션을 통해 편의성 있는 정의를 통해 편의성 있는 불변량을 정의한다. 이는 이전의 작업에 의존하지 않는 자가 포함된 프레임워크를 제공하며, 모듈리 공간이 특이점이 있거나 비콤팩트한 경우에도 잘 정의된 수세기 불변량의 구축을 가능하게 한다.

ABSTRACT

This article is the second part of the article we promised to write at the end of Section 1 of [FOOO15] (arXiv:1209.4410). (Part I appeared in [Part I] (arXiv:1503.07631).) We discuss the foundation of the virtual fundamental chain and cycle technique, especially its version that appeared in [FOn] and also in Section A1, Section 7.5 [FOOO4], Section 12 [FOOO7], [Fu2]. This article is independent of our earlier writing [FOOO15]. We also do not assume that the readers have any knowledge on the pseudo-holomorphic curve. In this second part, we consider a system of spaces with Kuranishi structures (abbreviated as a K-system) and its simultaneous perturbations.

연구 동기 및 목표

• 심플렉틱 토폴로지에서 가상 기본 체인과 사이클 기법에 대한 종합적이고 독립적인 기초를 제공하는 것.
• 편의성 있는 불변량의 이론을 편의성 있는 불변량의 이론을 이해할 필요 없이 접근 가능한 방식으로 캄비오 구조와 그들의 동시에 이루어지는 페르터베이션을 체계화하는 것.
• 특이점이 있거나 비콤팩트한 모듈리 공간이 존재하는 상황에서 편의성 있는 불변량을 잘 정의하는 것.
• [FOn], [FOOO4], [FOOO7], [Fu2]에서의 이전 접근법을 통합하고 일반화하여 일관된 프레임워크로 만드는 것.
• 그로모프-위튼 이론과 관련 분야에서의 수세기 불변량을 위한 엄밀한 기술적 기초를 확립하는 것.

제안 방법

• 심플렉틱 기하학에서 특이 모듈리 공간을 다루기 위한 일반적 프레임워크로 캄비오 구조를 가진 공간의 시스템(K-시스템)을 도입한다.
• 기하학적 구조를 변경하지 않고도 정규성(transversality)을 달성하기 위해 K-시스템의 동시에 이루어지는 페르터베이션의 개념을 개발한다.
• 다양한 모듈리 공간의 스트라타 간의 일관성을 확보하기 위해 캄비오 차트와 접합 데이터를 사용한 패치워크 구조를 활용한다.
• 가상 차원을 유지하는 전역 페르터베이션을 구성하기 위해 캄비오 차트 위에서 분할 단위의 추론을 적용한다.
• 가상 기본 체인의 존재성과 유일성을 보장하기 위해 캄비오 차트의 일관된 체계와 균일한 경계를 사용한다.
• 편의성 있는 불변량의 체인 수준의 구성은 페르터베이션된 섹션과 그 영점의 집합을 통해 수행된다.

실험 결과

연구 질문

• RQ1 모듈리 공간이 특이점이 있거나 비콤팩트한 경우, 편의성 있는 불변량의 기본 체인을 어떻게 정의할 수 있는가?
• RQ2 기하학적 구조의 페르터베이션에 대해 편의성 있는 불변량의 기본 체인이 존재하고 불변성을 보장하는 조건은 무엇인가?
• RQ3 가상 차원을 유지하면서 정규성을 달성하기 위해 K-시스템의 동시에 이루어지는 페르터베이션을 어떻게 구성할 수 있는가?
• RQ4 캄비오 구조가 일관되고 잘 정의된 편의성 불변량의 구성에 기여하는 정확한 역할은 무엇인가?
• RQ5 이 프레임워크는 [FOn], [FOOO4], [FOOO7], [Fu2]에서의 이전 구성들을 어떻게 통합하고 일반화하는가?

주요 결과

• 논문은 캄비오 구조와 동시에 이루어지는 페르터베이션를 사용하여 편의성 있는 불변량의 기본 체인을 잘 정의된 방식으로 구성한다.
• 편의성 있는 불변량의 기본 체인이 작은 기하학적 구조의 페르터베이션와 페르터베이션 데이터에 대해 불변임을 증명한다.
• 이 프레임워크는 편의성 있는 불변량의 이론에 대한 사전 지식이 없이도 접근 가능하므로 더 넓은 청중에게도 접근 가능하다.
• 이 구성은 그로모프-위튼 이론에서 수세기 불변량을 정의하는 데 사용할 수 있는 잘 정의된 가상 기본 사이클을 산출한다.
• 선택된 페르터베이션들이 충분히 일반적이며 캄비오 구조와 호환되는 한, 결과로 얻는 불변량은 페르터베이션의 선택에 영향을 받지 않는다.
• 이 이론은 [FOn], [FOOO4], [FOOO7], [Fu2]에서의 이전 결과들과 일관되며 이를 일반화함을 입증한다.