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

Kenji Fukaya, Yong‐Geun Oh외 2명|arXiv (Cornell University)|2015. 03. 26.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 22

한 줄 요약

이 논문은 편미분기하학적 위상수학에서 가상 기본 체인(VFC) 기법을 Kuranishi 구조와 다중단면 편미분 기법을 사용하여 엄밀한 기초를 마련한다. R 계수에 대한 드람 스타일의 구성과 1차원 경우에 대한 자립형 Q 계수 버전을 도입하여 Kuranishi 구조를 가진 공간에서 VFC를 체계적으로 구성하는 프레임워크를 제공하며, 편미분기하학적 곡선의 모듈리 공간에 응용한다.

ABSTRACT

This is the first part of the article we promised at the end of [FOOO13, Section 1]. We discuss the foundation of the virtual fundamental chain and cycle technique, especially its version appeared in [FOn] and also in [FOOO4, Section A1, Section 7.5], [FOOO7, Section 12], [Fu2]. In Part 1, we focus on the construction of the virtual fundamental chain on a single space with Kuranishi structure. We mainly discuss the de Rham version and so work over $\mathbb R$-coefficients, but we also include a self-contained account of the way how to work over $\mathbb Q$-coefficients in case the dimension of the space with Kuranishi structure is $\le 1$. Part 1 of this document is independent of our earlier writing [FOOO13]. We also do not assume the reader have any knowledge on the pseudo-holomorphic curve, in Part 1. Part 2 (resp. Part 3), which will appear in the near future, discusses the case of a system of Kuranishi structures and its simultaneous perturbations (resp. the way to implement the abstract story in the study of moduli spaces of pseudo-holomorphic curves).

연구 동기 및 목표

• 편미분기하학적 위상수학, 특히 편미분기하학적 곡선의 모듈리 공간을 위한 가상 기본 체인(VFC) 기법에 대한 완전하고 자립형 기초를 제공하는 것.
• 미분기하학과 적분 이론과의 호환성을 확보하기 위해 R 계수에 대한 드람 형식의 VFC 구성 방식을 정식화하는 것.
• 1차원 경우에 대해 Q 계수로 프레임워크를 확장하여 유리수 교차 이론과 사이클 수준의 구성이 가능하도록 하는 것.
• Gromov-Witten 이론에 응용하기 위해 필수적인, 편미분과 피보트 곱에 대한 VFC의 일致성과 잘 정의됨을 확립하는 것.
• 위상수학적-대수적 구조와 해석적 구성 요소를 분리하여 Kuranishi 공간 체계 위에서 대수적 연산을 엄밀히 기술할 수 있도록 하는 것.

제안 방법

• 편미분기하학적 곡선의 특이 모듈리 공간을 기술하기 위해 오르비폭(orbifold)의 일반화로 Kuranishi 구조를 도입한다.
• 일致적인 편미분 이론과 피보트 곱 구성이 가능한 양호한 좌표 체계(good coordinate systems)를 Kuranishi 구조의 보완으로 정의한다.
• 편미분과 임베딩 기법을 가능하게 하기 위해 Kuranishi 구조의 두꺼움(Thickening) 개념을 개발한다.
• 특이성이 존재하는 상황에서도 전단면성(transversality)을 통해 가상 사이클을 정의하기 위해 다중단면과 CF-편미분(cohomological perturbations)을 도입한다.
• Kuranishi 구조와 양호한 좌표 체계에 대해 섬세한 적분(푸시아웃)을 구성하여, 피보트 적분을 통한 불변량 정의에 필수적인 요소를 확보한다.
• 양호한 좌표 체계와 Kuranishi 구조에 대해 스토크스 공식을 증명하여, 경계 작용에 대해 VFC가 닫혀 있고 잘 정의됨을 보장한다.

실험 결과

연구 질문

• RQ1 Kuranishi 구조를 가진 단일 공간에서 가상 기본 체인이 어떻게 엄밀하게 구성될 수 있는가?
• RQ2 오르비 특이성과 차단 다발이 존재하는 상황에서 가상 사이클을 정의하고 다루기 위한 올바른 프레임워크는 무엇인가?
• RQ3 편미분과 피보트 곱에 대해 가상 기본 체인이 잘 정의되고 불변함을 어떻게 보장할 수 있는가?
• RQ4 다중단면과 CF-편미분이 드람 또는 유리수 코homology 설정에서 VFC를 사이클로 실현하는 데 어떤 역할을 하는가?
• RQ5 추상적 VFC 기계장치를 편미분기하학적 곡선의 모듈리 공간 연구에 어떻게 구체적으로 적용할 수 있는가?

주요 결과

• CF-편미분과 피보트에 沿한 적분을 사용하여 R 계수에 대한 드람 형식의 가상 기본 체인이 구성되었으며, 미분형식과의 호환성이 보장된다.
• 다중단면과 오르비 위의 모스 이론을 통해 1차원 Kuranishi 공간에 대해 Q 계수에 대한 자립형 VFC 구성이 달성되었다.
• 스토크스 공식에 따라 가상 기본 사이클이 잘 정의되고 닫혀 있음을 입증하여 그 위상 불변성이 확인되었다.
• 정규다발 위에서의 확장 정리와 동형변형 추론을 통해 호환 가능한 편미분과 다중단면의 존재가 확립되었다.
• 이 프레임워크는 Kuranishi 공간 체계 위에서 대수적 구조(예: 합성 공식)의 구성이 가능하게 하여 Gromov-Witten 불변량의 정의를 가능하게 한다.
• 가상 기본 체인이 동형변형과 임베딩에 대해 불변임을 증명하였으며, 차트 간에 일致적으로 편미분을 확장할 수 있음을 보였다.