[논문 리뷰] Relative and orbifold Gromov-Witten invariants

Dan Abramovich, Charles Cadman외 1명|arXiv (Cornell University)|2010. 04. 06.

Algebraic Geometry and Number Theory인용 수 4

한 줄 요약

이 논문은 쌍 (X, D)의 상대 Gromov-Witten 불변량과 매끄러운 분할 D에 沿해 정의된 r차 근 스택 Xr의 오비폴드 Gromov-Witten 불변량 사이의 정확한 대응을 확립한다. 종수 0 이며 충분히 큰 나누어지는 r에 대해, 이 불변량들은 정확히 일치하며, 이는 오비폴드 불변량이 수세미적일 경우에도 상대 불변량으로 수렴함을 보여준다. 증명은 변형 이론, 가상 기본류, 그리고 Costello의 정리에 의한 국소 완전교차의 장애이론 비교를 사용한다.

ABSTRACT

We prove that genus zero Gromov--Witten invariants of a smooth scheme relative to a smooth divisor coincide with genus zero orbifold Gromov--Witten invariants of an appropriate root stack construction along the divisor.

연구 동기 및 목표

• 오비폴드 Gromov-Witten 불변량이 루트 스택의 것들이 상대 불변량으로 수렴하는지 여부에 대한 오랜 동안의 질문을 해결하는 것.
• 종수 0에서 상대 및 오비폴드 Gromov-Witten 이론 간의 엄밀한 비교를 제공하는 것.
• 오비폴드 불변량이 상대 불변량과 같은 값을 갖는 조건을 명확히 하는 것, 특히 둘 다 수세미적이지 않을 때에도 성립함을 밝히는 것.
• 상대 맵과 오비폴드 맵이라는 두 가지 다른 기하적 구성 간의 비교를 통해 Gromov-Witten 불변량의 이해를 수세미적 영역을 초월해 확장하는 것.
• 고종수 불변량이 수렴하지 않음을 보여주어 종수 0에서의 일치가 특별한 현상임을 입증하는 것.

제안 방법

• 상대 안정 맵의 모듈리 공간과 r차 루트 스택 Xr에 대한 오비폴드 안정 맵의 모듈리 공간을 구성하는 것.
• Li와 Behrend–Fantechi의 가상 기본류 형식을 사용하여 두 상황 모두에서 불변량을 정의하는 것.
• 모듈리 스택의 카르테시안 다이어그램을 통해 Costello의 정리에 의한 가상 기본류의 비교를 적용하여 장애이론을 비교하는 것.
• Behrend–Fantechi 형식을 사용하여 상대 및 오비폴드 모듈리 공간의 장애이론을 분석하고, 장애군의 동형을 보이는 것.
• 완전히 비퇴화된 대상의 밀도 있는 열린 부분스택으로 제한하여 비교를 국소 완전교차 설정으로 환원하는 것.
• 일반적인 선다발과 그 절단을 사용하여 비교의 기초를 마련하는 것.

실험 결과

연구 질문

• RQ1 r → ∞ 일 때, r차 루트 스택 Xr의 오비폴드 Gromov-Witten 불변량이 쌍 (X, D)의 상대 불변량으로 수렴하는가?
• RQ2 오비폴드 불변량이 상대 불변량과 일치하는 조건은 무엇인가? 특히 둘 다 수세미적이지 않을 때에도 성립하는가?
• RQ3 왜 종수 0의 일치 현상이 고종수에서는 실패하는가?
• RQ4 카르테시안 다이어그램의 스택을 통해 상대 및 오비폴드 모듈리 공간의 장애이론을 비교할 수 있는가?
• RQ5 동일한 조합론적 자료를 갖는 상대 모듈리 공간의 가상 기본류가 오비폴드 모듈리 공간의 것과 동형일 수 있는가?

주요 결과

• 종수 0 이며 충분히 큰 나누어지는 r에 대해, 쌍 (X, D)의 상대 Gromov-Witten 불변량과 Xr의 오비폴드 불변량은 정확히 일치한다.
• 둘 다 수세미적이지 않을 때도 불변량이 동일함을 보여주며, 이는 수치적 일치를 초월한 깊은 구조적 동치를 나타낸다.
• 증명은 상대 및 오비폴드 모듈리 공간의 장애이론이 카르테시안 다이어그램의 스택을 통해 동형임을 보이는 데 기반한다.
• 비교가 종수 0에서만 유효하며, 고종수 오비폴드 불변량은 수렴하지 않으며 따라서 상대 불변량과 일치하지 않는다.
• 핵심 기술적 단계는 안정 맵의 모듈리 스택 간의 비형식적, 딜레인–머피 사상에 Costello의 정리를 적용하는 것임.
• 동일한 조합론적 자료를 갖는 상대 및 오비폴드 모듈리 공간의 가상 기본류는 서로 동형이며, 이는 불변량의 불변성을 확인한다.