[논문 리뷰] Genus zero Gromov-Witten axioms via Kuranishi atlases

Robert Castellano|arXiv (Cornell University)|2016. 01. 15.

Geometric and Algebraic Topology참고 문헌 7인용 수 6

한 줄 요약

이 논문은 Kuranishi 아틀라스를 사용하여 종수 0 Gromov-Witten 불변량을 수립하며, 교차하는 부분아틀라스의 개념을 도입하고, $C^1$ 분할 평탄한 Kuranishi 아틀라스가 임의의 가상 차원에 대해 가상 기본류를 정의하는 데 충분하다는 것을 증명한다. 이 불변량들이 모든 Kontsevich-Manin 공리(axiom)를 만족함을 검증하여, 가상 차원 0이 아닌 경우에도 종수 0의 경우를 완전히 구축한다. 엄밀한 편미분 이론과 교차성 기법을 활용한다.

ABSTRACT

A Kuranishi atlas is a structure used to build a virtual fundamental class on moduli spaces of $J$-holomorphic curves. They were introduced by McDuff and Wehrheim to resolve some of the challenges in this field. This paper completes the construction of genus zero Gromov-Witten invariants using Kuranishi atlases and proves the Gromov-Witten axioms of Kontsevich and Manin. To do so, we introduce the notion of a transverse subatlas, a useful tool for working with Kuranishi atlases.

연구 동기 및 목표

• 종수 0 Gromov-Witten 불변량의 구축을 가상 차원 0이 아닌 경우까지 Kuranishi 아틀라스를 통해 완료하는 것.
• 이전의 부드러운 아틀라스 결과를 일반화하여 $C^1$ 분할 평탄한 Kuranishi 아틀라스로 가상 기본류의 구축을 확장하는 것.
• 제약 조건과 편미분을 다루는 데 핵심 기술 도구로 사용할 수 있는 교차하는 부분아틀라스의 개념을 도입하고 활용하는 것.
• Kuranishi 아틀라스 프레임워크 내에서 종수 0 Gromov-Witten 불변량에 대해 모든 Kontsevich-Manin 공리가 만족됨을 검증하는 것.
• 특히 0차원의 경우에 하위집합의 차원이 낮은 경우를 피하면서도 교차성을 유지하는 $C^1$ SS 아틀라스에 대한 편미분 이론을 수립하는 것.

제안 방법

• 모듈리 공간인 안정적인 $J$-홀로모르픽 매핑의 모듈리 공간을 다룰 수 있도록 $C^1$ 분할 평탄한 (C^1 SS) Kuranishi 아틀라스를 도입한다.
• 편미분을 제어하고 모듈리 공간 내 제약 조건과의 호환성을 보장하기 위해 교차하는 부분아틀라스를 정의한다.
• Gromov-Pietsch의 교차성 확장 정리를 적용하여, 개방 부분집합에서 교차성을 달성하는 작은 편미분을 섹션 함수의 변형으로 구성한다.
• 중첩된 축소와 적응형 편미분을 사용하여 다양한 스트라타에서 교차성을 유지하면서 잊지 못한 맵과 평가 맵과의 호환성을 유지한다.
• 절단 함수와 국소 편미분을 활용하여 교차성을 컴acts부분집합에서 더 큰 영역으로 확장하여 전역적인 교차성을 확보한다.
• McDuff(2016)의 결과를 적용하여, 0차원 아틀라스의 편미분된 영점 집합이 전체적으로 최상위 스트라타에 위치하도록 선택할 수 있음을 보인다.

실험 결과

연구 질문

• RQ1 가상 차원이 0이 아닌 경우에도 $C^1$ SS Kuranishi 아틀라스를 사용하여 종수 0 Gromov-Witten 모듈리 공간의 가상 기본류를 구축할 수 있는가?
• RQ2 교차하는 부분아틀라스는 어떻게 편미분을 제어하고 호환성을 보장할 수 있는가? 특히 호모로지적 제약 조건과 도메인 제약 조건과의 관계에서.
• RQ3 특히 0차원의 경우에 하위집합의 차원이 낮은 경우를 피하면서도 교차성을 유지하는 편미분을 구성할 수 있는가?
• RQ4 모든 Kontsevich-Manin 공리들이 $C^1$ SS Kuranishi 아틀라스 프레임워크 내에서 검증될 수 있는가?
• RQ5 섹션 함수의 편미분이 교차성을 유지하면서도 충분히 작게 유지되어 가상 기본류를 보존할 수 있도록 보장하는 조건은 무엇인가?

주요 결과

• 종수 0 안정적인 $J$-홀로모르픽 매핑의 모듈리 공간 $\overline{\mathcal{M}}_{0,k}(A,J)$에는 가상 차원 $d = 2n + 2c_1(A) + 2k - 6$인 $C^1$ 분할 평탄한 Kuranishi 아틀라스가 존재한다.
• 임의의 옹호된, 약한, $d$차원의 $C^1$ SS Kuranishi 아틀라스가 컴act 메트릭 공간 $X$ 위에 존재할 경우, 가상 기본류 $[X]_{\mathcal{K}}^{vir} \in \check{H}_d(X;\mathbb{Q})$는 잘 정의되어 있다.
• 잊지 못한 맵 $\pi_0: U \to \overline{\mathcal{M}}_{0,k}^{\text{new}}$는 $C^1$ SS이므로, Deligne-Mumford 공간의 구조와 호환된다.
• 종수 0 Gromov-Witten 불변량은 $ev_k \times \pi_0$에 의한 가상 기본류의 푸시포워드와 사이클 표현자와의 교차를 통해 정의된다.
• 0차원의 $C^1$ SS Kuranishi 아틀라스의 경우, 편미분된 영점 집합은 전체적으로 최상위 스트라타에 위치하도록 선택할 수 있으며, 차원이 2 이상인 하위집합을 피할 수 있다.
• $C^1$ SS 편미분 $\nu$는 $s_J + \widetilde{\nu}_J + \nu_{\pitchfork}$ 가 전체 정의역에서 0과 교차하도록 구성할 수 있으며, $\nu$와 $\nu_{\pitchfork}$ 는 임의로 작고, 전구간에 대해 컴acts부분집합에 포함된다.