[논문 리뷰] Orbifold quantum cohomology of the symmetric product of A_r

Wan Keng Cheong|ArXiv.org|2009. 10. 05.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 3

한 줄 요약

이 논문은 $[\mathrm{Sym}^n(\mathcal{A}_r)]$의 등변 오르비포드 양자 cohomology를 계산하며, 유도자 연산자가 하나의 부분을 가진 이중 허리츠 수에 의해 결정됨을 보여준다. 비퇴화 추측을 가정할 경우, $[\mathrm{Sym}^n(\mathcal{A}_r)]$의 양자 cohomology와 $\mathrm{Hilb}^n(\mathcal{A}_r)$ 사이에 완전한 등장사상이 존재하며, 이는 크렙란트 해소 추측을 확인하고 $\mathcal{A}_r \times \mathbb{P}^1$의 상대 Gromov-Witten 이론과 함께 사면체적 동치 관계를 완성한다. 핵심 결과는 조합적 허리츠 수를 통한 3점 확장 Gromov-Witten 불변량의 명시적이고 폐형 표현이다.

ABSTRACT

Let A_r be the minimal resolution of the cyclic quotient singularity C^2/Z_{r+1}. We study the equivariant quantum cohomology ring of the n-fold symmetric product stack [Sym^n(A_r)] of A_r. We calculate the operators of quantum multiplication by divisor classes. Under the assumption of the nonderogatory conjecture, these operators completely determine the ring structure, which provides an affirmative answer to the Crepant Resolution Conjecture on [Sym^n(A_r)] and Hilb^n(A_r). More strikingly, this allows us to complete a tetrahedron of equivalences relating the Gromov-Witten theories of [Sym^n(A_r)]/Hilb^n(A_r) and the relative Gromov-Witten/Donaldson-Thomas theories of A_r x P^1.

연구 동기 및 목표

• 등변 오르비포드 양자 cohomology 링을 $[\mathrm{Sym}^n(\mathcal{A}_r)]$로 계산하는 것, 즉 $A_r$ 표면 특이점의 최소 해소의 대칭적 곱의 스택.
• 비퇴화 추측 하에 $[\mathrm{Sym}^n(\mathcal{A}_r)]$의 양자 cohomology와 $\mathrm{Hilb}^n(\mathcal{A}_r)$, 즉 $\mathcal{A}_r$ 위의 $n$개 점의 Hilbert 스킴 사이의 정확한 등장사상 수립.
• $[\mathrm{Sym}^n(\mathcal{A}_r)]$, $\mathrm{Hilb}^n(\mathcal{A}_r)$, 그리고 $\mathcal{A}_r \times \mathbb{P}^1$의 상대 Gromov-Witten/Donaldson-Thomas 이론 간의 동치 관계를 연결하는 사면체적 동치를 완성하는 것.

제안 방법

• $[\mathrm{Sym}^n(\mathcal{A}_r)]$의 확장된 2점 Gromov-Witten 불변량을 계산하기 위해, 날카로운 안정 맵의 매니폴드 공간에 국소화 기법을 적용.
• 가상 국소화와 고정점 기여를 통해 유도자 클래스에 의한 양자 곱셈의 계산을 유리 곡선의 분지 덮개 수에 근거하여 축소.
• 명시적으로 고틀던-재클슨-바칼 공식을 통해 계산 가능한 하나의 부분을 가진 이중 허리츠 수를 사용하여, 양자 곱의 기본 조합적 불변량으로 활용.
• 비퇴화 추측을 적용하여, 유도자 연산자가 오르비포드 양자 곱을 완전히 결정함을 보장.
• $[\mathrm{Sym}^n(\mathcal{A}_r)]$의 첸-룬 cohomology와 $\mathrm{Hilb}^n(\mathcal{A}_r)$의 cohomology 사이에 선형 등장사상 $L$을 구성하며, 이는 차수, 푸앵카레 쌍대성, 그리고 유도자에 의한 양자 곱을 유지한다.
• 확장된 Gromov-Witten 불변량에 대한 재귀적 WDVV 유형 관계를 적용하여, 등장사상 $L$이 모든 다점 함수를 유지함을 증명함으로써 크렙란트 해소 추측을 확인.

실험 결과

연구 질문

• RQ1 오르비포드 양자 cohomology의 $[\mathrm{Sym}^n(\mathcal{A}_r)]$가 조합적 불변량을 통해 완전히 계산될 수 있는가?
• RQ2 $[\mathrm{Sym}^n(\mathcal{A}_r)]$과 $\mathrm{Hilb}^n(\mathcal{A}_r)$ 사이에서 크렙란트 해소 추측이 성립하는가? 특히 선형 등장사상 하에서 양자 곱의 구조가 유지되는가?
• RQ3 $[\mathrm{Sym}^n(\mathcal{A}_r)]$의 Gromov-Witten 이론, Hilbert 스킴 $\mathrm{Hilb}^n(\mathcal{A}_r)$, 그리고 $\mathcal{A}_r \times \mathbb{P}^1$의 상대 Gromov-Witten 이론 간에 완전한 동치 관계가 존재하는가?
• RQ4 $[\mathrm{Sym}^n(\mathcal{A}_r)]$의 2점 확장 불변량이 허리츠 수와 같은 알려진 조합적 대상으로 표현될 수 있는가?
• RQ5 $q = -e^{iu}$의 변수 변경이 $[\mathrm{Sym}^n(\mathcal{A}_r)]$과 $\mathrm{Hilb}^n(\mathcal{A}_r)$의 양자 cohomology 간에 양자 곱과 푸앵카레 쌍대성을 유지하는 자연스러운 등장사상을 유도하는가?

주요 결과

• $[\mathrm{Sym}^n(\mathcal{A}_r)]$의 2점 확장 Gromov-Witten 불변량은 등변 오르비포드 푸앵카레 쌍대성과 하나의 부분을 가진 이중 허리츠 수에 의해 완전히 결정되며, 이는 명시적 폐형 공식을 갖는다.
• $[\mathrm{Sym}^n(\mathcal{A}_r)]$에서 유도자 클래스에 의한 양자 곱셈 연산자는 완전히 계산되었으며, $q = -e^{iu}$의 변수 변경 하에서 $\mathrm{Hilb}^n(\mathcal{A}_r)$의 것과 정확히 일치함을 보였다.
• 등변 첸-룬 cohomology와 $\mathrm{Hilb}^n(\mathcal{A}_r)$의 등변 cohomology 사이에 선형 등장사상 $L$이 존재하며, 이는 차수, 푸앵카레 쌍대성, 그리고 유도자에 의한 양자 곱을 유지한다.
• 크렙란트 해소 추측은 $[\mathrm{Sym}^n(\mathcal{A}_r)]$과 $\mathrm{Hilb}^n(\mathcal{A}_r)$에 대해 성립한다: 모든 확장된 다점 함수는 $L$ 하에서 유지되며, $q = -e^{iu}$가 핵심 전환 변환이다.
• $[\mathrm{Sym}^n(\mathcal{A}_r)]$의 양자 cohomology는 $\mathcal{A}_r \times \mathbb{P}^1$의 상대 Gromov-Witten 이론과 동치임을 보였으며, 더 깊은 기하학적 연결 고리가 있음을 시사한다.
• 완전한 사면체적 동치가 완성되었다: $[\mathrm{Sym}^n(\mathcal{A}_r)]$-GW, $\mathrm{Hilb}^n(\mathcal{A}_r)$-GW, 그리고 $\mathcal{A}_r \times \mathbb{P}^1$의 상대 불변량은 모두 $L$과 $q = -e^{iu}$의 변수 변경 하에서 서로 등장사상이 된다.