[논문 리뷰] Quantum Cohomology and Crepant Resolutions: A Conjecture

Tom Coates, Yongbin Ruan|ArXiv.org|2007. 10. 31.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 38

한 줄 요약

이 논문은 Gorenstein 오비폴드 $\mathcal{X}$의 양자코homology와 그의 크립란트 해소 $Y$의 양자코homology 사이의 관계를, 그들의 각 양자코homology의 Givental 라그랑주 서면에 대한 선형 심플렉틱 동형사상으로 연결하는 추측을 제안한다. 이 추측은 양자 매개변수의 해석적 계속을 통해 양자코homology 구조의 동치를 암시하며, Ruan과 Bryan–Graber의 이전 추측들을 통합하고 일반화한다. 또한 이는 양자화된 버전을 통해 고유성의 고차원 불변량으로까지 확장된다.

ABSTRACT

We give an expository account of a conjecture, developed by Coates--Corti--Iritani--Tseng and Ruan, which relates the quantum cohomology of a Gorenstein orbifold X to the quantum cohomology of a crepant resolution Y of X. We explore some consequences of this conjecture, showing that it implies versions of both the Cohomological Crepant Resolution Conjecture and of the Crepant Resolution Conjectures of Ruan and Bryan--Graber. We also give a "quantized" version of the conjecture, which determines higher-genus Gromov--Witten invariants of X from those of Y.

연구 동기 및 목표

• Gorenstein 오비폴드 $\mathcal{X}$의 양자코homology와 그의 크립란트 해소 $Y$의 양자코homology 사이의 일반적 추측을 수립하는 것.
• 적절한 조건 하에서 이 추측이 Cohomological Crepant Resolution Conjecture, Ruan의 추측, 그리고 Bryan–Graber의 추측의 형태를 암시함을 보이는 것.
• 고유성의 고차원 Gromov–Witten 불변량을 $\mathcal{X}$와 $Y$의 불변량 사이에 연결하는 '양자화된' 버전의 추측을 개발하는 것.
• Givental의 라그랑주 서면 형식론을 사용하여 해석적 계속과 심플렉틱 동형사상을 통해 양자코homology 구조를 인코딩하고 비교하는 프레임워크를 수립하는 것.

제안 방법

• 양자코homology의 계수 0 Gromov–Witten 불변량을 각각의 심플렉틱 벡터 공간 $\mathcal{H}_{\mathcal{X}}$와 $\mathcal{H}_{Y}$ 내부의 라그랑주 부분다양체 $\mathcal{L}_{\mathcal{X}} \subset \mathcal{H}_{\mathcal{X}}$ 및 $\mathcal{L}_{Y} \subset \mathcal{H}_{Y}$ 의 꼬리로 표현하는 것.
• 라그랑주 서면의 해석적 계속 이후에 $\mathbb{U}(\mathcal{L}_{\mathcal{X}}) = \mathcal{L}_{Y}$ 를 만족하는 선형 심플렉틱 동형사상 $\mathbb{U}: \mathcal{H}_{\mathcal{X}} \to \mathcal{H}_{Y}$ 가 존재한다는 추측을 제기하는 것.
• Givental 형식론을 사용하여, 정규수직선과 $J$-함수를 통해 라그랑주 서면으로부터 양자코homology를 추출하는 것.
• 위상적 재귀관계식과 스트링 방정식을 적용하여, 관련 매개변수 영역에서 내림차순 잠재함수의 해석성을 증명하는 것.
• 수렴 조건 하에서 계수를 가지는 양자미분방정식의 해를 통해 양자불변량의 해석성을 확립하는 것.
• 고유성의 고차원 불변량으로의 추측 확장을 위해, $\mathcal{X}$와 $Y$의 고유성 불변량 생성함수를 연결하는 양자화된 버전을 사용하는 것.

실험 결과

연구 질문

• RQ1 Gorenstein 오비폴드 $\mathcal{X}$의 양자코homology는 크립란트 해소 $Y$의 그것과 어떻게 관련이 있는가?
• RQ2 라그랑주 서면 사이의 추측된 심플렉틱 동형사상이 Ruan의 추측이나 Bryan–Graber의 추측과 같은 기존의 추측들을 복원할 수 있는가?
• RQ3 오비폴드 기하학과 해소 기하학 간의 양자코homology 구조를 연결하는 데 있어 해석적 계속의 역할은 무엇인가?
• RQ4 고유성의 Gromov–Witten 불변량을 양자화된 추측의 버전을 통해 $Y$의 불변량으로부터 $\mathcal{X}$의 불변량을 재구성할 수 있는가?
• RQ5 내림차순 잠재함수 $\mathcal{F}^{0}_{\mathcal{X}}$와 $\mathcal{F}^{0}_{Y}$는 어떤 매개변수 영역에서 해석적이며, 이는 추측을 어떻게 뒷받침하는가?

주요 결과

• 이 추측은 Cohomological Crepant Resolution Conjecture의 형태를 암시하며, 양자코homology의 해석적 계속 이후 오비폴드와 해소된 양자코homology 간의 동형사상을 확립한다.
• 이 추측은 Ruan의 소형 양자코homology 추측을 암시하며, 양자매개변수의 특수화와 해석적 계속 이후의 동형사상을 보여준다.
• 이 추측은 Bryan–Graber 추측의 보완된 형태를 암시하며, 큰 양자코homology 대수와 그들의 쌍대화를 선형 동형사상으로 매칭한다.
• 수렴 가정 2.1 하에, 내림차순 잠재함수 $\mathcal{F}^{0}_{\mathcal{X}}$ 는 $\mathbb{C}^s$ 상에서 $\tau_{0,1},\ldots,\tau_{0,s}$ 에 대해 해석적임을 보였다.
• 내림차순 잠재함수 $\mathcal{F}^{0}_{Y}$ 는 영역 $|t_{0,i}| < \infty$ 와 $|Q_i e^{t_{0,i}}| < R_i$ ($i > s$) 에서 $t_{0,1},\ldots,t_{0,r}$ 와 $Q_{s+1},\ldots,Q_r$ 에 대해 해석적이다.
• 위상적 재귀관계식, 스트링 방정식, 그리고 계수를 가지는 양자미분방정식의 계수가 해석적이라는 사실을 바탕으로 Gromov–Witten 불변량의 해석성이 확립되었다.