[논문 리뷰] Virtual Neighborhood Technique for Holomorphic Curve Moduli Spaces

An-Min Li, Sheng Li|arXiv (Cornell University)|2017. 10. 29.

Geometric and Algebraic Topology참고 문헌 33인용 수 4

한 줄 요약

이 논문은 Ruan과 Li-Ruan의 프레임워크를 기반으로 한 가상의 이웃 기법을 제안하여, 하위 스트라타의 영향을 피하고 가상의 이웃의 최상위 스트라타 위에서 적분함으로써 일반적인 심플렉틱 다양체에 대한 Gromov-Witten 불변량을 정의한다. 저자들은 국소 정규화 절차와 지수 감쇠 조절이 가능한 전역 범주 구조를 통해 이러한 불변량이 모든 Kontsevich-Manin 공리, 특히 WDVV 방정식과 분할 공리에 만족함을 증명한다.

ABSTRACT

In this paper we use the approach of Ruan and Li-Ruan to construct virtual neighborhoods and show that the Gromov-Witten invariants can be defined as an integral over top strata of virtual neighborhood. We prove that the invariants defined in this way satisfy all the Gromov-Witten axioms of Kontsevich and Manin.

연구 동기 및 목표

• 일반적인 심플렉틱 다양체에 대해 반순수 조건 없이 Gromov-Witten 불변량을 정의하기 위해.
• 홀로모르픽 곡선 모듈리 공간의 하위 스트라타로 인한 기술적 과제를 해결하기 위해.
• 최상위 스트라타가 적분을 통해 불변량을 지지하는 가상의 이웃을 구성하기 위해.
• 유도된 불변량이 WDVV 및 분할 공리를 포함한 모든 Gromov-Witten 공리를 만족함을 증명하기 위해.
• 유한계수 오비_bundle과 제어된 감쇠를 갖는 범주 맵을 사용한 전역 정규화를 수립하기 위해.

제안 방법

• G_{b_o}-불변 부분공간 \widetilde{K}_{b_o}와 \mathbf{A} 위의 Diff^+(\Sigma)-불변 거리로 두꺼운 프레드홀름 체계를 통한 국소 정규화를 구축한다.
• 선형화 D\mathcal{S}가 전사인 범주 맵 \mathcal{S}: \mathbf{F} \to \mathcal{E}를 사용하여 전역 가상 이웃 \mathbf{U} = \mathcal{S}^{-1}(0) \subset \mathcal{U}를 정의한다.
• \overline{\mathcal{M}}_{g,n}(A)의 유한 개의 열린 덮개 \{\mathbf{O}_{[b_i]}(\delta_i, \rho_i)\}를 사용하며, 그룹 작용과 전이 자료가 일치하도록 한다.
• \mathcal{U} 위에 유한계수 오비_bundle \mathbf{F}를 구성하고, \widetilde{\mathbf{F}}|_{b_i}가 \mathbb{R}[G_{b_i}]를 포함하도록 하여 Siebert의 구성과 유사하게 만든다.
• Thom 형식 \Phi_c와 지수 감쇠 추정을 적용하여 \mathbf{U}^T_c 위의 적분을 \mathbf{U}^T_{1c} \times \mathbf{U}^T_{2c} 위의 곱으로 줄이며, 이는 분할 공리 증명을 가능하게 한다.
• 스토크스 정리와 \Phi - \Delta^* = d\sigma 를 만족하는 형식 \sigma 를 사용하여 적분을 Poincaré dual과 교차 수에 연결한다.

실험 결과

연구 질문

• RQ1 모듈리 공간의 하위 스트라타를 피함으로써 반순수 조건 없이 Gromov-Witten 불변량을 정의할 수 있는가?
• RQ2 Ruan과 Li-Ruan의 접근법에 기반한 가상의 이웃 구성이 모든 Kontsevich-Manin 공리를 만족하는 불변량을 도출할 수 있는가?
• RQ3 하위 스트라타 근처에서 미형식의 지수 감쇠를 어떻게 활용하여 최상위 스트라타 적분을 통한 불변량 정의를 가능하게 할 수 있는가?
• RQ4 유한계수 오비_bundle과 제어된 전사성을 갖는 범주 맵을 사용한 전역 정규화를 구성할 수 있는가?
• RQ5 가상의 이웃 맥락에서 Thom 형식과 Poincaré dual을 사용하여 분할 공리를 증명할 수 있는가?

주요 결과

• 가상 이웃의 최상위 스트라타 위에서의 적분을 통해 정의된 Gromov-Witten 불변량은 모든 Kontsevich-Manin 공리를 만족한다.
• 형식이 이러한 스트라타 근처에서 지수 감쇠하므로, 모듈리 공간이 하위 스트라타를 포함하더라도 불변량은 잘 정의되어 있다.
• 분할 공리는 부호 인자 \epsilon(K,\alpha) = (-1)^{\deg(K_2)\sum_{i=1}^{n_1} \deg(\alpha_i)} 와 Poincaré 쌍대 \Delta^* = \sum_{a,b} \eta^{ab} \beta_a \otimes \beta_b 와 함께 성립한다.
• WDVV 방정식은 불변량의 공리적 프레임워크와 가상 이웃 구성의 일관성에 기인하여 만족된다.
• 전역 정규화는 미분 D\mathcal{S}가 전사인 범주 맵 \mathcal{S}: \mathbf{F} \to \mathcal{E}를 통해 달성되며, 이는 잘 정의된 영점 집합을 보장한다.
• 겹치는 국소 차트 간의 접합과 전이 자료와의 호환성으로 인해 전역 일관성이 보장된다.