[논문 리뷰] The orbifold quantum cohomology of C^2/Z_3 and Hurwitz-Hodge integrals

Jim Bryan, Tom Graber외 1명|ArXiv.org|2005. 10. 16.

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

한 줄 요약

이 논문은 오비폴드 $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$에 대해 등변 성분 0 크레팬트 해소 추측을 증명하며, 비틀림이 있는 양자 cohomology 잠재함수 $F^\mathcal{X}$가 비틀림이 없는 Gromov-Witten 잠재함수 $F^Y$와 비자명한 변수 치환 후 동일하다는 것을 보여준다. 주요 기여는 새로운 Hodge 적분을 이용한 두 잠재함수의 완전한 계산이며, 이 적분들은 삼각형 Hurwitz 공간 위에서 이루어지며, 자가 일관된 부록에서 이러한 적분에 대한 닫힌 형식의 공식이 유도된다.

ABSTRACT

Let Z_3 act on C^2 by non-trivial opposite characters. Let X =[C^2/Z_3] be the orbifold quotient, and let Y be the unique crepant resolution. We show the equivariant genus 0 Gromov-Witten potentials of X and Y are equal after a change of variables -- verifying the Crepant Resolution Conjecture for the pair (X,Y). Our computations involve Hodge integrals on trigonal Hurwitz spaces which are of independent interest. In a self contained Appendix, we derive closed formulas for these Hurwitz-Hodge integrals.

연구 동기 및 목표

• 오비폴드 $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$와 그 크레팬트 해소 $Y$에 대해 등변 성분 0 크레팬트 해소 추측을 검증한다.
• Picard 수가 2인, 이는 이전 예시들보다 더 복잡한 변수 치환을 보이는, 오비폴드 $\mathcal{X}$의 해소 $Y$에 대해 전체 등변 성분 0 Gromov-Witten 잠재함수 $F^Y$를 계산한다.
• 특히 $\mathbb{P}^1$에 대한 순환 삼중 피복의 연결 성분 위에서 $\lambda_{g-1}$의 적분을 포함하는 삼각형 Hurwitz 공간 위의 Hurwitz-Hodge 적분에 대해 닫힌 형식의 표현식을 유도한다. 이는 대수기하학에서 독립적인 관심사이다.

제안 방법

• 해소 $Y$의 등변 성분 0 Gromov-Witten 잠재함수 $F^Y$를 계산하기 위해, $Y$의 등변 cohomology와 교차 이론을 사용한다.
• 등변 오비폴드 cohomology 클래스 $D_1, D_2$를 이용해 오비폴드 잠재함수 $F^\mathcal{X}$를 유도한다. 이 클래스들은 $\mathbb{Z}_3$의 비자명한 원소에 대응한다.
• 생성 함수 $A(u) = \frac{1}{\sqrt{3}}\tan\left(\frac{u}{\sqrt{12}} + \frac{\pi}{6}\right)$를 도입하고 이를 통해 삼각형 Hurwitz 공간 위에서 $\lambda_{g-1}$의 적분을 계산한다. 이 함수는 $\lambda_{g-1}$의 적분을 코딩한다.
• 구조적 유사성에 기반해 $F^\mathcal{X}$와 $F^Y$의 등변 매개변수 간의 변수 치환을 수립하며, 치환 후 두 잠재함수의 동치성을 보인다.
• 생성 함수와 단위근 필터를 사용하여 $F^\mathcal{X}$를 $A_{g}$를 포함하는 성분들로 분해하고, 복소해석학과 삼각함수 항등식을 통해 재귀관계의 일관성을 증명한다.
• 부록에서 복소적 적분과 $\omega = e^{2\pi i/3}$를 포함한 대칭성 논증을 통해 Hurwitz-Hodge 적분의 유일성과 닫힌 형식 표현을 자가 일관되게 증명한다.

실험 결과

연구 질문

• RQ1 크레팬트 해소 추측이 예측하는 바에 따라, 오비폴드 $\mathcal{X} = [\mathbb{C}^2 / \mathbb{Z}_3]$의 등변 성분 0 Gromov-Witten 잠재함수와 그 크레팬트 해소 $Y$의 잠재함수 간에 적절한 변수 치환 후 동일한가?
• RQ2 해소 $Y$의 성분 0 Gromov-Witten 잠재함수 $F^Y$의 명시적 형태는 무엇이며, 오비폴드 잠재함수 $F^\mathcal{X}$와의 관계는 어떻게 되는가?
• RQ3 삼각형 곡선의 매개변수 공간 위에서 $\int_{\overline{\mathcal{H}}_{g}^{3}} \lambda_{g-1}$의 Hodge 적분 값은 무엇이며, 이를 닫힌 형식으로 표현할 수 있는가?
• RQ4 오비폴드와 해소된 기하학 간의 등변 매개변수 $t_1, t_2$와 변수 $x_i, y_i$는 어떻게 변환되어 추측된 동치성을 실현하는가?
• RQ5 Hurwitz-Hodge 적분은 Hurwitz 스킴의 연결 성분의 선택에 영향을 받는가? 그리고 생성 함수를 통해 균일하게 계산될 수 있는가?

주요 결과

• 크레팬트 해소 $Y$의 등변 성분 0 Gromov-Witten 잠재함수 $F^Y$는 $t_1, t_2, y_1, y_2, y_0$에 따라 변하는 계수를 가진 다항식 항과 $q_1^d, q_2^d, (q_1 q_2)^d$를 포함하는 급수의 합으로 명시적으로 계산된다.
• 오비폴드 잠재함수 $F^\mathcal{X}$는 $x_0^3$, $x_0 x_1 x_2$, $t_1 x_1^3$, $t_2 x_2^3$ 및 $g \geq 2$에 대한 급수로 주어지며, 계수 $A_g$는 생성 함수 $A(u) = \frac{1}{\sqrt{3}}\tan\left(\frac{u}{\sqrt{12}} + \frac{\pi}{6}\right)$에 의해 결정된다.
• Hurwitz-Hodge 적분 $\int_{\overline{\mathcal{H}}_g^3} \lambda_{g-1}$는 $A_g$와 동일하며, 이 값은 Hurwitz 스킴의 연결 성분에 영향을 받지 않음을 증명한 Proposition A.1에서 밝혀진다.
• 생성 함수 $A(u)$는 $A(u) = \frac{i}{\sqrt{3}} \frac{1 + \overline{\omega} e^{iu/\sqrt{3}}}{1 - \overline{\omega} e^{iu/\sqrt{3}}}$로 유도되며, 이는 복소해석학을 통해 적분에 대한 닫힌 형식의 표현을 제공한다.
• 변수 치환 후 $F^\mathcal{X} = F^Y$의 동치성이, $\omega$-틀린 항에 대한 대칭 합의 급수 구조가 $F^Y$의 구조와 일치함을 보여줌으로써 검증된다.
• Hurwitz 적분의 재귀관계가 일관됨을 증명하기 위해 $9(\theta_0 - \theta_1) = 1$을 증명함으로써, 유일성과 유도된 공식의 정확성이 확립된다.