[논문 리뷰] The Crepant Resolution Conjecture for 3-dimensional flags modulo an involution

W. D. Gillam|ArXiv.org|2007. 08. 06.

Algebraic Geometry and Number Theory참고 문헌 9인용 수 4

한 줄 요약

이 논문은 $[ F/\mathbb{Z}_2 ]$에서의 Crepant Resolution Conjecture (CRC)를 검증한다. 여기서 $F$는 $$\mathbb{C}^3$$의 플래그 다양체이며, 양자 매개변수를 $-1$로 설정하고 선형 변수 변경 및 해석적 계속을 통해, 궤도 $[F/\mathbb{Z}_2]$의 종수 0 Gromov-Witten 포텐셜이 그의 crepant 해소 $Y$와 일치함을 보여, 이를 통해 CRC를 이 케이스에 대해 확인한다. 핵심 결과는 이러한 변환 하에서 포텐셜 함수의 명시적 일致성이며, 이는 3점 인버리언트 계산과 WDVV 및 Divisor Axiom의 활용을 통해 확인된다.

ABSTRACT

After fixing a non-degenerate bilinear form on a vector space V we define an involution of the manifold of flags F in V by taking a flag to its orthogonal complement. When V is of dimension 3 we check that the Crepant Resolution Conjecture of J. Bryan and T. Graber holds: the genus zero (orbifold) Gromov-Witten potential function of [F / Z_2] agrees (up to unstable terms) with the genus zero Gromov-Witten potential function of a crepant resolution Y of the quotient scheme F / Z_2, after setting a quantum parameter to -1, making a linear change of variables, and analytically continuing coefficients. The crepant resolution Y (a hypersurface in the Hilbert scheme Hilb^2 P^2) is the projectivization of a novel rank 2 vector bundle over P^2.

연구 동기 및 목표

• 비퇴화된 이차형식에 의해 유도되는 $$\mathbb{Z}_2$$-작용을 갖는 $$\mathbb{C}^3$$의 플래그 다양체 $F$에 대한 궤도 $[F/\mathbb{Z}_2]$에 대한 Crepant Resolution Conjecture (CRC)를 검증한다.
• Chen-Ruan 코homology와 궤도 안정 맵을 사용하여 궤도 $[F/\mathbb{Z}_2]$의 종수 0 Gromov-Witten 포텐셜을 계산한다.
• 해소 $Y$를 $$\mathrm{Hilb}^2\mathbb{P}^2$$ 내의 $$\mathbb{P}^1$$-_bundle로 $\mathbb{P}^2$ 위에 구축하고 기술한다.
• 선형 변수 변경과 매개변수 특수화를 통해 $Y$와 $[F/\mathbb{Z}_2]$의 양자 코hom로지 링 간의 동형을 확립한다.

제안 방법

• $[F/\mathbb{Z}_2]$의 Chen-Ruan 궤도 코homology 링을 플래그 다양체의 $$\mathbb{Z}_2$$-불변 코homology와 고정점 집합 코homology를 사용하여 계산한다.
• 안정 맵의 모듈리 공간과 양자 곱의 결합법칙을 이용하여 궤도의 차수 0 및 3점 Gromov-Witten 인버리언트를 명시적으로 계산한다.
• WDVV 방정식과 Divisor Axiom를 사용하여 저차수 데이터로부터 고차수 인버리언트를 결정한다.
• $Y$를 $$\mathrm{Hilb}^2\mathbb{P}^2$$ 내의 초곡면으로 기술하고, $$\mathbb{P}^2$$ 위의 계수 2 벡터 번들의 프로젝티비제이션으로 실현한다.
• 양자 곱의 구조를 전치된 양자 곱 행렬을 통해 매칭시킴으로써, $Y$와 $[F/\mathbb{Z}_2]$의 양자 매개변수 간 선형 변수 변경을 유도한다.
• 해석적 계속을 수행하고, 양자 매개변수 $q_1 = -1$로 설정하여 궤도 포텐셜과 해소 포텐셜을 일치시킨다.

실험 결과

연구 질문

• RQ1 플래그 다양체 $F$가 $$\mathbb{C}^3$$의 것이며, 비퇴화된 이차형식에 의해 유도되는 $$\mathbb{Z}_2$$-작용을 갖는 궤도 $[F/\mathbb{Z}_2]$에 대해 Crepant Resolution Conjecture가 성립하는가?
• RQ2 비퇴화된 이차형식에 의해 유도되는 $$\mathbb{Z}_2$$-작용 하에서 궤도 $[F/\mathbb{Z}_2]$의 종수 0 Gromov-Witten 포텐셜의 명시적 형태는 무엇인가?
• RQ3 해소 $Y$의 양자 코hom로지 링은 궤도 $[F/\mathbb{Z}_2]$의 그것과 어떻게 비교되는가?
• RQ4 양자 매개변수와 변수의 어떤 선형 변환을 통해 $q_1 = -1$ 설정 후 $Y$의 Gromov-Witten 포텐셜이 $[F/\mathbb{Z}_2]$의 것과 일치하는가?

주요 결과

• 해소 $Y$의 종수 0 Gromov-Witten 포텐셜은 선형 변수 변경과 $q_1 = -1$ 설정 후 일치하며, 이는 이 케이스에서 CRC가 성립함을 확인한다.
• 변환 $t_0 \mapsto s_0$, $t_1 \mapsto s_1 + i s_2$, $t_2 \mapsto -i s_2$, $t_3 \mapsto -6s_3 - \frac{3i}{2}s_4$, $t_4 \mapsto 3s_3 + i s_4$, $t_5 \mapsto 3s_5$ 하에서, $q_1 = -1$ 및 $q_2$의 해석적 계속을 통해 $Y$와 $[F/\mathbb{Z}_2]$의 포텐셜 함수가 일치한다.
• $Y$와 $[F/\mathbb{Z}_2]$의 3점 인버리언트는 명시적으로 계산되었으며, WDVV 방정식과 Divisor Axiom를 통해 고차수 인버리언트가 결정되었다.
• 해소 $Y$는 $$\mathbb{P}^2$$ 위의 $$\mathbb{P}^1$$-bundle로 실현되었으며, 특히 $$\mathrm{Hilb}^2\mathbb{P}^2$$ 내의 초곡면으로서 실현되었고, $$\mathbb{P}^2$$ 위의 새로운 계수 2 벡터 번들의 프로젝티비제이션과 동형이다.
• $q_2 = 0$ 하에서 $F^Y$의 $t_1^n$ 계수는 고전적 인버리언트로 결정되며, 변수 변경 하에서 궤도 포텐셜과 일致함을 확인하여 $s_2$-의존성에서의 일致성을 확인한다.
• 해석적 계속을 통해 $q_1 = -1$로 이동한 후, 포텐셜의 세 번째 미분 계수가 일치하며, 이는 $[\mathbb{C}^2/\mathbb{Z}_2]$의 알려진 결과와 일致한다. 여기서 6배와 부호 조정이 고려되었다.