[논문 리뷰] Relative orbifold Gromov-Witten theory and degeneration formula

Bohui Chen, An-Min Li외 2명|arXiv (Cornell University)|2011. 10. 31.

Geometric and Algebraic Topology참고 문헌 34인용 수 19

한 줄 요약

이 논문은 상대 오비폴드 그로모프-위튼 이론을 수립하고, 상대 표시점에서 분수 접촉 차수를 가진 안정 스트림 맵으로 상대 및 오비폴드 구조를 확장하여 오비폴드 그로모프-위튼 불변량에 대한 열거 공식을 증명한다. 주요 기여는 쿠라니시 구조를 통한 가상 기본 사이클 구성과, 공통의 디바이저를 따라 심플렉틱 오비폴드의 열거에 의해 분해 가능한 불변량을 가능하게 하는 접합 정리이다. 이를 통해 리-루안의 공식을 오비폴드 설정으로 일반화한다.

ABSTRACT

Relative orbifold Gromov-Witten theory is set-up and the degeneration formula is given.

연구 동기 및 목표

• 대상 공간이 디바이저적 열거를 갖는 심플렉틱 오비폴드인 경우, 그로모프-위튼 불변량의 열거 공식을 오비폴드 설정으로 확장하는 것.
• 상대 표시점에서 분수 접촉 차수를 가진 상대 오비폴드 안정 스트림 맵을 정의하여, 매끄러운 경우의 접촉 차수 개념을 일반화하는 것.
• 쿠라니시 구조를 사용하여 상대 오비폴드 안정 스트림 맵의 모듈리 공간에 대한 가상 기본 사이클을 구성하고, 그 것이 열거와 호환됨을 증명하는 것.
• 열거된 오비폴드의 오비폴드 그로모프-위튼 불변량을 구성 요소들의 상대 불변량의 곱의 합으로 표현하는 열거 공식을 증명하는 것.
• 복소 차원 3에서 오비폴드 플롭에 대한 오비폴드 양자 코hom로지의 불변성을 증명하기 위한 기초를 마련하는 것.

제안 방법

• 심플렉틱 디바이저 $\mathsf{Z}$ 를 가진 오비폴드 $\mathsf{G}$ 에서의 오비폴드 상대 쌍 $(\mathsf{G}, \mathsf{Z})$ 를 도입하고, 표시점에서 몰로디(monodromy) 자료를 가진 안정 상대 오비폴드 준동형을 정의한다.
• 오비폴드 준동형의 국소 모델 $\mathbb{D}/\mathbb{Z}_m \to (V \times \mathbb{C})/G_z$ 로의 올림에서의 타일러 전개의 최저차항을 통해 분수 접촉 차수 $\ell = k/|h|$ 를 정의한다. 여기서 $h$ 는 몰로디를 생성한다.
• 상대 오비폴드 안정 스트림 맵의 모듈리 공간 $\overline{\mathcal{M}}_{g,\mathbf{g},A}(\mathsf{G}, \mathsf{Z})$ 를 구성하고, 기본 맵과 노드 및 구멍에서의 오비폴드 구조의 충족을 통한 컴팩트니스를 증명한다.
• 모듈리 공간에 쿠라니시 구조를 개발하며, 가중 소볼레프 공간과 노드에서의 접합 자료를 포함하는 국소 모델을 구성하고, 가상 기본 사이클의 존재를 증명한다.
• 가중 소볼레프 공간과 $\bar{\partial}$-연산자의 노름 추정 $\|\bar{\partial}\mathsf{v}\| \leq C r^{1-\alpha}$ 을 통한 제어를 통해 좌표 차트의 근사 쌍을 사용하여 접합 맵의 국소 홈오멀로지즘을 구성함으로써, 상대 오비폴드 맵의 접합 정리를 증명한다.
• 가상 사이클을 열거 위치에서 조합하여 열거 공식을 수립하고, 열거된 오비폴드의 총 불변량이 두 구성 요소의 상대 불변량의 곱의 합과 같음을 보인다.

실험 결과

연구 질문

• RQ1 심플렉틱 오비폴드에서 디바이저적 열거를 갖는 경우, 그로모프-위튼 불변량의 열거 공식을 오비폴드 설정으로 일반화할 수 있는가?
• RQ2 상대 오비폴드 안정 스트림 맵에 대한 접촉 차수의 올바른 개념은 무엇이며, 몰로디와 국소 오비폴드 올림을 통해 매끄러운 경우로 일반화되는가?
• RQ3 쿠라니시 구조를 사용하여 상대 오비폴드 안정 스트림 맵의 모듈리 공간에 대한 가상 기본 사이클을 구성할 수 있으며, 이는 열거와 호환되는가?
• RQ4 노드에서 상대 오비폴드 맵의 접합은 어떻게 행동하며, $\bar{\partial}$-연산자 및 우측 역함수 노름에 대한 추정을 통해 접합 맵의 국소 홈오멀로지즘을 확립할 수 있는가?
• RQ5 오비폴드 경우의 정확한 열거 공식은 무엇이며, 이는 오비폴드 플롭에 대한 오비폴드 양자 코호몰로지의 불변성과 어떻게 관련되는가?

주요 결과

• 논문은 가중 소볼레프 매핑과 오비폴드 접합 자료를 포함하는 국소 모델을 사용하여, 상대 오비폴드 안정 스트림 맵의 모듈리 공간에 대한 가상 기본 사이클을 쿠라니시 구조를 통해 구성한다.
• 가상 사이클의 존재를 증명하기 위해 $\|\bar{\partial}\mathsf{v}\| \leq C r^{1-\alpha}$ 와 같은 추정을 통해 $\bar{\partial}$-연산자 및 그 도함수의 노름을 제어하고, 접합 맵이 국소 홈오멀로지즘임을 보여주는 접합 정리를 수립한다.
• 열거 공식이 증명되었으며, 열거된 오비폴드 $X^+ \wedge_Z X^-$ 의 오비폴드 그로모프-위튼 불변량은 $(X^+, Z)$ 와 $(X^-, Z)$ 의 상대 불변량의 곱의 합으로 표현되며, 매끄러운 경우를 일반화한다.
• 분수 접촉 차수 $\ell = k/|h|$ 는 오비폴드 준동형의 국소 모델로의 올림에서의 타일러 전개의 최저차항을 통해 정의되며, 오비폴드 설정으로의 접촉 차수의 일관된 일반화를 제공한다.
• 이 구성은 채른-루안 코호몰로지와 호환되며, 가상 사이클 위에서의 적분을 통해 오비폴드 상대 그로모프-위튼 불변량을 정의할 수 있다.
• 이 틀은 향후 복소 차원 3에서 오비폴드 플롭에 대한 오비폴드 양자 코호몰로지의 불변성을 증명하는 데 응용 가능하며, 이는 후속 논문 [CLZ] 에서 제시되어 있다.