[논문 리뷰] Orbifold Quasimap Theory

Daewoong Cheong, Ionuţ Ciocan-Fontanine외 1명|arXiv (Cornell University)|2014. 05. 28.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 5

한 줄 요약

이 논문은 오비폴드로의 쿼아지맵 이론과 종수 0 벽을 넘는 결과를 확장하여 토릭 딜레인-멈포드 스택에 대한 일반화된 미러 정리를 수립한다. 오비폴드 GIT 몫에 대한 안정 쿼아지맵의 컴actified 모듈리 공간 가중치를 구성하고, 이들이 딜레인-멈포드 스택이자 올림스태이블임을 증명하며, 쿼아지맵 이론의 $ S^\varepsilon $-연산자와 그로모프-위튼 이론의 $ S^\infty $-연산자 사이의 벽을 넘는 공식을 유도한다. 이 공식은 $ (0+) $-쿼아지맵 불변량의 생성함수로 표현된 미러 사상에 의해 기술된다.

ABSTRACT

We extend to orbifolds the quasimap theory of arXiv:0908.4446 and arXiv:1106.3724, as well as the genus zero wall-crossing results from arXiv:1304.7056 and arXiv:1401.7417. As a consequence, we obtain generalizations of orbifold mirror theorems, in particular, of the mirror theorem for toric orbifolds recently proved independently by Coates, Corti, Iritani, and Tseng (arXiv:1310.4163).

연구 동기 및 목표

• 오비폴드 GIT 몫의 맥락에서 쿼아지맵 이론의 기초 프레임워크를 개발하여 이전의 매끄러운 다양체에 대한 결과를 일반화한다.
• 쿼아지맵 불변량의 종수 0 벽을 넘는 공식을 $ S^\varepsilon $-연산자와 $ S^\infty $-연산자 간의 관계로 수립한다.
• 특히 토릭 딜레인-멈포드 스택에 대해 오비폴드 미러 정리를 일반화하며, 미러 사상을 $ (0+) $-쿼아지맵 불변량의 생성함수로 표현한다.
• 쿼아지맵 이론의 $ \mathds{I} $-함수가 깁탈 랑그랑주안의 원뿔 위에 놓여 있음을 증명함으로써, 쿼아지맵 불변량과 그로모프-위튼 이론을 직접 연결한다.

제안 방법

• 오비폴드 GIT 몫 $ X = [W^{ss}/G] $ 에 대한 안정 쿼아지맵의 모듈리 스택 가중치를 구성하며, 안정성 매개변수 $ \varepsilon \in \mathbb{Q}_{>0} \cup \{0+, \infty\} $ 에 따라 매개변수화하고, 이들이 아핀 몫 위에서 올림스태이블 딜레인-멈포드 스택임을 증명한다.
• lci 및 비매끄러움 조건 하에서 이러한 모듈리 공간에 완벽한 오염 이론을 수립하여 가상 기본류와 유도 불변량의 정의를 가능하게 한다.
• $ \varepsilon $-쿼아지맵 이론에 대한 $ J^\varepsilon $-함수와 $ S^\varepsilon $-연산자를 도입하고, 벽을 넘는 공식 $ S^\varepsilon_t(\mathbbm{1}_X) = S^\infty_{\tau^\varepsilon(t)}(\mathbbm{1}_X) $ 를 증명한다. 여기서 $ \tau^\varepsilon(t) $ 는 $ (0+) $-쿼아지맵 불변량으로 구성된 미러 사상이다.
• 그래프 공간에서의 국소화를 이용하여 쿼아지맵 이론의 $ \mathds{I} $-함수를 유도하고, 이 함수가 그로모프-위튼 이론의 깁탈 랑그랑주안 원뿔 위에 놓여 있음을 보인다.
• 토릭 딜레인-멈포드 스택에 이 프레임워크를 적용하여 $ \mathds{I} $-함수를 명시적으로 계산하고, 소형 $ I $-함수 $ I^{\mathrm{Giv}}(t,q,z) $ 가 깁탈 원뿔 위에 놓여 있음을 증명한다.
• 쿼아지맵 이론의 $ \mathds{I} $-함수를 사용하여, 쿼아지맵 이론에 의존하지 않는 토릭 DM 스택 내 완전교차의 오비폴드 미러 정리를 재증명한다.

실험 결과

연구 질문

• RQ1 왜곡된 표시와 게르베 구조가 존재하는 오비폴드 GIT 대상에 대해 쿼아지맵 이론을 어떻게 일반화할 수 있는가?
• RQ2 안정 쿼아지맵의 모듈리 공간은 어떤 구조를 가지며, 어떤 조건에서 올림스태이블 딜레인-멈포드 스택이자 완벽한 오염 이론을 갖는가?
• RQ3 오비폴드 환경에서 쿼아지맵 불변량의 종수 0 벽을 넘는 공식을 수립할 수 있으며, 이는 그로모프-위튼 불변량과 어떻게 관련이 있는가?
• RQ4 쿼아지맵 불변량을 통해 오비폴드 그로모프-위튼 이론의 미러 사상은 어떻게 해석할 수 있는가?
• RQ5 쿼아지맵 이론의 $ \mathds{I} $-함수가 어느 정도까지 그로모프-위튼 이론의 깁탈 랑그랑주안 원뿔 위에 놓여 있는가?

주요 결과

• 모든 $ \varepsilon \in \mathbb{Q}_{>0} \cup \{0+, \infty\} $ 에 대해 오비폴드 GIT 몫에 대한 안정 쿼아지맵의 모듈리 공간은 $ W $ 의 특이점이 최소한 lci 이며 $ W^{ss} $ 가 비매끄럽지 않은 경우에 대해 올림스태이블 딜레인-멈포드 스택임을 증명한다.
• $ S^\varepsilon $-연산자는 $ S^\varepsilon_t(\mathbbm{1}_X) = S^\infty_{\tau^\varepsilon(t)}(\mathbbm{1}_X) $ 라는 벽을 넘는 공식을 만족하며, 여기서 $ \tau^\varepsilon(t) $ 는 $ (0+) $-쿼아지맵 불변량의 생성함수이다.
• 쿼아지맵 이론의 $ \mathds{I} $-함수는 그로모프-위튼 이론의 깁탈 랑그랑주안 원뿔 위에 놓여 있으며, 이는 두 이론 간의 직접적인 연결 고리를 수립한다.
• 반양성 토릭 오비폴드의 경우 소형 $ I $-함수 $ I^{\mathrm{Giv}}(t,q,z) $ 가 깁탈 원뿔 위에 놓여 있음을 보였으며, 미러 사상은 명시적으로 $ t + I_1(q) = t + \sum_{i=0}^s \sum_{\beta \neq 0} q^\beta \gamma_i \langle \gamma^i, \mathbbm{1}_X \rangle_{0,2,\beta}^{0+} $ 로 주어진다.
• 결과들은 토릭 DM 스택 내 완전교차에 대한 오비폴드 미러 정리를, 츄엥의 양자 레프슈츠 정리에 의존하지 않고 새롭게 증명한다.
• 쿼아지맵 이론의 $ \mathds{I} $-함수는 등변 코호몰로지 클래스와 오일러 인자로 명시적으로 계산되며, $ 1/z $-계수에는 오직 비왜곡 섹터 클래스만 포함된다.