[논문 리뷰] Comparison theorems for Gromov-Witten invariants of smooth pairs and of degenerations

Dan Abramovich, Steffen Marcus외 1명|arXiv (Cornell University)|2012. 07. 09.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 7

한 줄 요약

이 논문은 상대 Gromov-Witten 불변량에 대한 네 가지 서로 다른 접근법—Li의 원래 이론, Abramovich-Fantechi의 오비폴드 방법, Kim의 로그 확장, Abramovich-Chen-Gross-Siebert의 확장 없이 로그 이론—의 등가성을 증명한다. 이는 각 이론의 모듈리 공간 사이의 사상들을 구축하고, 그들의 가상 기본류가 푸시포워드에 대해 호환됨을 증명함으로써 이루어진다. 핵심 결과는 네 이론이 모두 동일한 Gromov-Witten 불변량을 산출한다는 것이다.

ABSTRACT

We consider four approaches to relative Gromov-Witten theory and Gromov-Witten theory of degenerations: Jun Li's original approach, Bumsig Kim's logarithmic expansions, Abramovich-Fantechi's orbifold expansions, and a logarithmic theory without expansions due to Gross-Siebert and Abramovich-Chen. We exhibit morphisms relating these moduli spaces and prove that their virtual fundamental classes are compatible by pushforward through these morphisms. This implies that the Gromov-Witten invariants associated to all four of these theories are identical.

연구 동기 및 목표

• 열화되거나 특이적인 대상에 대해 상대 Gromov-Witten 불변량을 다수의 구성 방식으로 비교하는 데 오랫동안 남아 있던 문제를 해결하기 위해.
• Li의 확장된 대상, Abramovich-Fantechi의 오비폴드 확장, Kim의 로그 확장, Abramovich-Chen-Gross-Siebert의 로그 없이 확장 없는 이론이라는 네 가지 서로 다른 이론적 프레임워크를 통합하기 위해.
• 기하학적 및 변형 이론적 기초가 다름에도 불구하고, 네 이론 모두 동일한 Gromov-Witten 불변량을 산출함을 보여주기 위해.
• 이러한 구성들 사이에서 가상 기본류에 대한 일관된 프레임워크를 확립하여, 수량 기하학에서의 일관성을 확보하기 위해.
• 열화나 상대 불변량을 포함한 적용 분야에서 이 이론들 중 어느 것이든 상호 교환 가능하게 사용할 수 있도록 기초적인 비교를 제공하기 위해.

제안 방법

• 네 이론 ${\mathsf{AF}}$, ${\mathsf{Li}}$, ${\mathsf{Kim}}$, ${\mathsf{ACGS}}$에 대응하는 안정 사상의 모듈리 공간 사이에 명시적인 사상들을 구축한다.
• 변형 이론과 로그 기하학을 사용하여 각 모듈리 공간의 차단 이론을 연결한다.
• 로그 코탄젠트 복합체와 보편적 대상 구성법을 활용하여 가상 기본류를 비교한다.
• 각 이론의 가상 기본류가 구축된 사상들을 통해 동일하게 푸시포워드됨을 보여준다.
• 로그 코탄젠트 복합체에 의존하지 않는 상대적 구성 방식을 사용하여, Li의 원래 접근법과의 비교를 가능하게 한다.
• 특히 선다발과 그 확장의 맥락에서, 토르서와 스택 이론적 기법을 활용하여 접선 복합체와 변형 공간을 분석한다.

실험 결과

연구 질문

• RQ1 Li의 확장된 대상 방법으로 계산된 Gromov-Witten 불변량은 Abramovich-Fantechi의 오비폴드 이론으로부터 산출된 것과 동일한가?
• RQ2 Kim의 로그 확장 접근법이 변형 이론적 구조가 다름에도 불구하고, Li의 원래 이론과 동일한 불변량을 산출할 수 있는가?
• RQ3 Abramovich-Chen-Gross-Siebert의 로그 없이 확장 없는 이론은 다른 세 접근법과 동일한 불변량을 산출하는가, 특히 확장 없이도 성립하는가?
• RQ4 네 이론의 가상 기본류 사이의 정확한 관계는 무엇이며, 자연스러운 사상에 의한 푸시포워드에서 어떻게 관련되는가?
• RQ5 모든 네 이론에 걸쳐 통합된 가상 기본류 프레임워크를 확립할 수 있으며, 이는 수량 기하학에서의 일관성을 보장하는가?

주요 결과

• 모듈리 공간 ${\mathsf{AF}}$의 가상 기본류는 사상 $\Psi$를 통해 Li의 이론의 가상 기본류로 동일하게 푸시포워드된다.
• 모듈리 공간 ${\mathsf{Kim}}$의 가상 기본류는 사상 $\Theta$를 통해 Li의 이론의 가상 기본류로 동일하게 푸시포워드된다.
• 모듈리 공간 ${\mathsf{Kim}}$의 가상 기본류는 사상 $\Upsilon$를 통해 Abramovich-Chen-Gross-Siebert 이론의 가상 기본류로 동일하게 푸시포워드된다.
• 모든 네 이론—${\mathsf{Li}}$, ${\mathsf{AF}}$, ${\mathsf{Kim}}$, ${\mathsf{ACGS}}$—은 동일한 주요 및 유도 Gromov-Witten 불변량을 산출한다.
• 가상 기본류의 호환성은 로그 코탄젠트 복합체에 의존하지 않는 보편적 대상 구성법을 통해 확립된다.
• 이론 간의 등가성은 그들의 가상 사이클의 푸시포워드가 일치함을 보여줌으로써 증명되며, 이는 서로 다른 기초적 접근 방식 간의 일관성을 확인한다.