[논문 리뷰] The Crepant Resolution Conjecture for Type A Surface Singularities

Tom Coates, Alessio Corti외 2명|ArXiv.org|2007. 04. 16.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 20

한 줄 요약

이 논문은 양자 코homology의 분석적 계속과 단위근으로의 전문화 이후, $[\mathbb{C}^2/\mu_n]$의 오르비트와 그의 크립탄트 해소 $Y$ 사이의 이sovorphism을 확립하여, 유형 A 표면 특이점에 대한 크립탄트 해소 추측을 증명한다. 증명은 토릭 오르비트에 대한 미러 대칭에 기반하며, $I$-함수와 $J$-함수를 사용하여 과거-제로 고모트-와이튼 불변량을 연결하고, 짝짓기 보존 선형 사상에 의해 양자 코homology 이sovorphism을 검증한다.

ABSTRACT

Let X be an orbifold with crepant resolution Y. The Crepant Resolution Conjectures of Ruan and Bryan-Graber assert, roughly speaking, that the quantum cohomology of X becomes isomorphic to the quantum cohomology of Y after analytic continuation in certain parameters followed by the specialization of some of these parameters to roots of unity. We prove these conjectures in the case where X is a surface singularity of type A. The key ingredient is mirror symmetry for toric orbifolds.

연구 동기 및 목표

• 오르비트 $\mathcal{X} = [\mathbb{C}^2/\mu_n]$에 대한 크립탄트 해소 추측을 증명하는 것, 특히 $A_{n-1}$ 유형의 표면 특이점에 대해.
• 양자 코homology의 분석적 계속과 매개변수 전문화 이후 오르비트 $\mathcal{X}$와 그의 크립탄트 해소 $Y$ 사이의 이sovorphism을 확립하는 것.
• 양자 매개변수의 전문화가 이루어지는 정확한 단위근을 규명하고, 코homology 간의 짝짓기 보존 선형 이sovorphism을 구성하는 것.
• 동일한 분석적 계속과 전문화 절차를 통해 $\mathcal{X}$와 $Y$의 프로베누스 다양체 구조가 일치함을 보이는 것.

제안 방법

• 토릭 오르비트에 대한 미러 대칭을 활용하여, 피카르-푸아수 방정식의 해인 $I$-함수와 제로-성질 고모트-와이튼 불변량의 생성함수인 $J$-함수를 연결한다.
• 기발란트의 형식을 적용하여, 코homology 값의 생성함수를 통해 $\mathcal{X}$와 $Y$의 양자 코homology 구조를 연결한다.
• $I$-함수를 사용하여 양자 곱과 $\mathcal{X}$ 및 $Y$의 모두에 대해 양자 코homology 관계를 계산한다.
• $H(Y)$에서 $H(\mathcal{X})$로의 선형 사상 $L^\dagger$를 구성하여 오르비트 포incare 짝짓기 보존 성질을 유지한다.
• 토릭 자료의 게일 쌍대를 사용하여 $L^\dagger$를 정의하고, 양자 곱의 구조와의 호환성을 검증한다.
• 오르비트 기본군이 큰 반경 한계점 사이의 경로에 작용하는 방식을 분석하여, 분석적 계속이 동일한 양자 코homology 구조를 유도함을 보인다.

실험 결과

연구 질문

• RQ1 양자 매개변수를 $n$차 단위근으로 전문화하고 분석적 계속을 거친 후, 오르비트 $[\mathbb{C}^2/\mu_n]$의 양자 코homology는 그 크립탄트 해소 $Y$의 양자 코homology와 이sovorphic가 되는가?
• RQ2 오르비트 포incare 짝짓기와 양자 곱을 모두 유지하는 $\mathcal{X}$와 $Y$의 코homology 링 사이의 정확한 선형 이sovorphism은 무엇인가?
• RQ3 토릭 오르비트에 대한 미러 대칭은 $\mathcal{X}$와 $Y$ 사이의 양자 코homology 구조 비교를 어떻게 지원하는가?
• RQ4 분석적 계속과 매개변수 전문화를 통해 $\mathcal{X}$와 $Y$의 프로베누스 다양체 구조를 일치시킬 수 있는가?
• RQ5 오르비트 기본군 $\pi_1^{\text{orb}}(\mathcal{M}_B \setminus \text{discriminant locus})$의 기하학적 및 군론적 의미는 양자 코homology 이sovorphism의 맥락에서 무엇인가?

주요 결과

• 크립탄트 해소 추측은 유형 $A$ 표면 특이점에 대해 성립한다: $\mathcal{X} = [\mathbb{C}^2/\mu_n]$의 양자 코homology는 분석적 계속과 $n$차 단위근으로의 전문화 이후, 그 크립탄트 해소 $Y$의 양자 코homology와 이sovorphic가 된다.
• 이sovorphism은 $L^\dagger: H(Y) \to H(\mathcal{X})$라는 선형 사상에 의해 실현되며, 이는 포incare 짝짓기를 보존한다. 여기서 $L^\dagger \omega_i = n \sum_{k=1}^{n-1} L_{ik} \delta_{n-k}$ 이고, $L^\dagger 1 = \delta_0$ 이다.
• $L^\dagger$에 의해 유도된 $H(\mathcal{X})$ 상의 짝짓기 구조는 $H(Y)$의 표준 포incare 짝짓기와 일치한다. 즉, $ (L^\dagger \omega_i, L^\dagger \omega_j)_{\mathcal{X}} = \begin{cases} 0 & |i-j|>1, \\ 1 & |i-j|=1, \\ -2 & i=j \end{cases} $.
• 분석적 계속과 전문화 이후, $\mathcal{X}$와 $Y$의 프로베누스 다양체 구조는 일치한다. 이는 $I$-함수와 $J$-함수가 미러 매핑을 통해 연결되기 때문이다.
• 오르비트 기본군 $G \cong \widetilde{A}_{n-1} \rtimes \mu_n$은 분석적 계속에 의한 가능한 좌표 변화 집합에 대해 추이적으로 작용하며, 이는 유도 범주 $D_Z^b(Y)$의 자동환위와 깊은 연관이 있음을 시사한다.
• 이 결과는 무아리크와 브라운-그래버-판다리파ande의 이전 계산과 일치하며, 이전의 특수 케이스($n=1,2,3$)를 일반적인 $n$으로 확장한다.