[논문 리뷰] Root Systems and the Quantum Cohomology of ADE resolutions

Jim Bryan, Amin Gholampour|ArXiv.org|2007. 07. 09.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 13

한 줄 요약

이 논문은 유한군 $G \subset SU(2)$에 대해 $\mathbb{C}^2/G$의 DuVal 특이점의 최소 해소 $Y$에 대한 ${\mathbb{C}}^{*}$-등변 양자 cohomology 링을 계산하며, $G$에 관련된 ADE 루트 체계를 통해 양자 곱을 표현한다. 주요 결과는 루트 체계의 구조를 이용한 양자 곱에 대한 닫힌 공식으로, 이는 단순하지 않은 루트 체계로 일반화되며, Crepant Resolution Conjecture를 통해 오비폴드 Gromov-Witten 잠재력을 예측한다.

ABSTRACT

We compute the C*-equivariant quantum cohomology ring of Y, the minimal resolution of the DuVal singularity C^2/G where G is a finite subgroup of SU(2). The quantum product is expressed in terms of an ADE root system canonically associated to G. We generalize the resulting Frobenius manifold to non-simply laced root systems to obtain an n parameter family of algebra structures on the affine root lattice of any root system. Using the Crepant Resolution Conjecture, we obtain a prediction for the orbifold Gromov-Witten potential of [C^2/G].

연구 동기 및 목표

• $G$에 관련된 ADE 루트 체계를 통해 ${\mathbb{C}}^2/G$의 최소 해소인 $Y$의 양자 cohomology를 기술하여 고전적 McKay 대응의 양자 확장 수립.
• ${\mathbb{C}}^{*}$-등변 양자 cohomology 링을 계산하며, 0-성질 Gromov-Witten 불변량과 루트 체계 자료를 사용.
• 유도된 프로베누스 대수의 구조를 단순하지 않은 루트 체계로 일반화하여, 애매한 루트 격자 위에 $n$-매개변수 가중 대수의 가중 가중 구조 제공.
• Crepant Resolution Conjecture를 사용하여 스택 $[{\/mathbb{C}}^2/G]$의 오비폴드 Gromov-Witten 잠재력을 예측.

제안 방법

• 양자 곱은 카르탕 행렬과 양자 매개변수 $q_i$를 포함하는 공식을 통해 표현되며, 구조 상수는 양성 루트 $\beta$를 따라 $\left\langle v,\beta\right\rangle\left\langle w,\beta\right\rangle t\frac{1+q^{\beta}}{1-q^{\beta}}\beta$로 주어진다.
• 양자 cohomology의 쌍대는 ${\mathbb{Q}}[t,t^{-1}][[q_1,\ldots,q_n]]$-값을 갖는 쌍대형으로 확장되며, $\left\langle 1,1\right\rangle = -1/(t^2|G|)$이다.
• 0-성질 등변 Gromov-Witten 불변량의 계산은 $Y$를 변형 가중 가중족을 통해 삼차원 다양체 $W$와 연결함으로써 이루어지며, Bryan, Katz, Leung의 방법을 적용한다.
• 0-차수 불변량은 국소화 기법을 사용하여 계산되며, 생성 함수의 삼중 도함수를 통해 잠재 함수가 도출된다.
• 웨일 군 작용이 프로베누스 대수의 구조를 유지함을 보이며, 단순하지 않은 경우의 결합법칙은 단순한 경우로의 축소를 통해 증명된다.
• 양자 매개변수를 단위근으로 특수화하고 $H(u) = \frac{1}{2}\tan(-u/2)$를 통해 삼각함수와 연결함으로써, $[{\/mathbb{C}}^2/G]$의 오비폴드 Gromov-Witten 잠재력에 대한 추측 공식을 유도한다.

실험 결과

연구 질문

• RQ1 $G$에 관련된 ADE 루트 체계를 통해 ${\mathbb{C}}^2/G$의 최소 해소인 $Y$의 ${\mathbb{C}}^{*}$-등변 양자 cohomology는 어떻게 표현할 수 있는가?
• RQ2 양자 cohomology 링의 대수적 구조는 무엇이며, 이는 단순하지 않은 루트 체계로 어떻게 일반화되는가?
• RQ3 웨일 군은 양자 cohomology에 어떻게 작용하며, 프로베누스 대수의 구조를 유지하는가?
• RQ4 Crepant Resolution Conjecture를 사용하여, 해소의 불변량을 바탕으로 $[{\/mathbb{C}}^2/G]$의 오비폴드 Gromov-Witten 잠재력을 예측할 수 있는가?

주요 결과

• 두 클래스 $v,w \in H^2(Y,\mathbb{Z})$의 양자 곱은 $v \star w = -t^2|G|\left\langle v,w\right\rangle + \sum_{\beta \in R^+} \left\langle v,\beta\right\rangle\left\langle w,\beta\right\rangle t\frac{1+q^{\beta}}{1-q^{\beta}}\beta$로 주어지며, $q^\beta = \prod q_i^{b_i}$이고 $\beta = \sum b_i \alpha_i$이다.
• 양자 cohomology 링은 ${\mathbb{Q}}[t,t^{-1}][[q_1,\ldots,q_n]]$ 위의 프로베누스 대수이며, $\left\langle v\star w,u\right\rangle = \left\langle v,w\star u\right\rangle$를 만족한다.
• 단순하지 않은 루트 체계로의 대수의 구조는 단순한 경우로의 축소를 통해 일반화되며, 이 설정에서 결합법칙이 증명된다.
• 웨일 군은 프로베누스 대수에 대해 자동형사상으로 작용하며, 양자 곱의 구조를 유지한다.
• $[{\/mathbb{C}}^2/G]$의 오비폴드 Gromov-Witten 잠재력에 대한 추측 공식은 $F_{\mathcal{X}} = 2t \sum_{\beta \in R^+} h(Q_\beta)$로 유도되며, 여기서 $h'''(u) = \frac{1}{2}\tan(-u/2)$이고 $Q_\beta = \pi + \sum_k \frac{b_k}{|G|}(2\pi n_k + \sum_g \sqrt{2 - \chi_V(g)} \bar{\chi}_k(g) x_{[g]})$이다.
• 이 추측은 $G = \mathbb{Z}_2, \mathbb{Z}_3, \mathbb{Z}_4$에 대해 검증되었으며, 최근에는 모든 $\mathbb{Z}_n$에 대해 검증되었으며, 단형성 제약 조건과 부분군 축소 관계와 일관된다.