[논문 리뷰] The Cohomological Crepant Resolution Conjecture for the Hilbert-Chow morphisms

Wei-Ping Li, Zhenbo Qin|arXiv (Cornell University)|2012. 01. 15.

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

한 줄 요약

이 논문은 단순 연결된 매끄럽고 사영인 표면 $X$ 에 대해, Hilbert-Chow 사상 $\rho_n: X^{[n]} \to X^{(n)}$ 에 대한 Ruan의 코homological Crepant Resolution 추측을 증명한다. 이를 위해 양자 보정 코homology 환 $H^{*}_{\rho_n}(X^{[n]})$ 가 궤도 코homology 환 $H^{*}_{\rm CR}(X^{(n)})$ 와 동형임을 확립한다. 증명은 Heisenberg 대수 작용을 통한 정점 연산자 기법과 고급 Gromov-Witten 이론(공분모델링 및 색인 기법 포함)을 융합하여, 일반적인 경우를 이전에 검증된 토릭 표면의 결과로 환원한다.

ABSTRACT

In this paper, we prove that Ruan's Cohomological Crepant Resolution Conjecture holds for the Hilbert-Chow morphisms. There are two main ideas in the proof. The first one is to use the representation theoretic approach proposed in [QW] which involves vertex operator techniques. The second is to prove certain universality structures about the 3-pointed genus-0 extremal Gromov-Witten invariants of the Hilbert schemes by using the indexing techniques from [LiJ], the product formula from [Beh2] and the co-section localization from [KL1, KL2, LL]. We then reduce Ruan's Conjecture from the case of an arbitrary surface to the case of smooth projective toric surfaces which has already been proved in [Che].

연구 동기 및 목표

• 임의의 단순 연결된 매끄럽고 사영인 표면 $X$ 에 대해 Hilbert-Chow 사상 $\rho_n: X^{[n]} \to X^{(n)}$ 에 대한 Cohomological Crepant Resolution 추측을 확립하는 것.
• 이전에 알려진 사례(예: $n=2,3$, $K_X$가 자명, 또는 토릭 표면)를 초월하여 추측의 유효성을 확장하는 것.
• 표현 이론적 및 Gromov-Witten 이론적 방법을 통해 Hilbert 스킴의 양자 코homology를 symmetric product의 궤도 코homology와 통합하는 것.

제안 방법

• 표면 $A = A^{[1]}$ 가 생성하는 Heisenberg 대수의 Fock 공간으로서 $H^{*}_{\rho_n}(X^{[n]})$ 와 $H^{*}_{\rm CR}(X^{(n)})$ 의 코homology 환을 모델링하는 [QW] 의 표현 이론적 프레임워크를 활용하는 것.
• 정점 연산자 기법과 Heisenberg 대수 작용의 축약 구조를 이용하여, $\widetilde{\mathfrak{G}}_k(\alpha)$ 와 $\mathfrak{a}_{-1}(\beta)$ 를 포함하는 식 (1.1)과 (1.2)를 통해 $A^{[n]}$ 의 대수적 곱을 정의하는 것.
• 색인 기법 [LiJ], [Beh2] 의 곱 공식, [KL1, KL2, LL] 의 공분모델링을 적용하여 $X^{[n]}$ 의 3점형 종수 0 극한 Gromov-Witten 불변량을 분석하는 것.
• 안정 사상 분해와 가상 기본 사이클을 통한 기여도 분석을 통해, 일반 표면에 대해서도 핵심 관계 (1.2) 가 성립함을 증명하는 것.
• Gromov-Witten 불변량의 보편성에 기반하여 일반적인 경우를 이미 검증된 매끄럽고 사영인 토릭 표면의 경우로 환원하는 것.

실험 결과

연구 질문

• RQ1 임의의 단순 연결된 매끄럽고 사영인 표면 $X$ 에 대해, Ruan의 Cohomological Crepant Resolution 추측이 Hilbert-Chow 사상 $\rho_n: X^{[n]} \to X^{(n)}$ 에 대해 성립하는가?
• RQ2 양자 보정 코homology 환 $H^{*}_{\rho_n}(X^{[n]})$ 의 대수적 구조가 Heisenberg 대수 작용과 정점 연산자 관계 (1.1) 및 (1.2) 로 완전히 결정될 수 있는가?
• RQ3 $X^{[n]}$ 의 3점형 종수 0 극한 Gromov-Witten 불변량은 $\langle K_X, K_X \rangle$ 와 기타 위상수학적 불변량으로 보편적으로 표현 가능한가? 이를 통해 토릭 표면의 경우로 환원할 수 있는가?
• RQ4 비자명한 궤도 특이성이 존재하는 상황에서 공분모델링 및 가상 사이클 기법은 Gromov-Witten 불변량을 어느 정도 제어할 수 있는가?

주요 결과

• 임의의 단순 연결된 매끄럽고 사영인 표면 $X$ 에 대해, 양자 보정 코homology 환 $H^{*}_{\rho_n}(X^{[n]})$ 는 궤도 코homology 환 $H^{*}_{\rm CR}(X^{(n)})$ 과 동형이며, 이는 Ruan의 추측이 완전한 일반성 하에서 확인됨을 의미한다.
• $H^{*}_{\rho_n}(X^{[n]})$ 의 대수적 구조는 [QW] 의 축약 조건 (A1) 및 (A2)를 충족하며, 비토릭 표면에 대해서도 $\widetilde{\mathfrak{G}}_k(\alpha)$ 와 $\mathfrak{a}_{-1}(\beta)$ 의 핵심 관계 (1.2) 가 성립함을 보였다.
• $X^{[n]}$ 의 3점형 종수 0 극한 Gromov-Witten 불변량은 $\langle K_X, K_X \rangle$ 에 대한 유계 차수의 보편 다항식이며, 계수는 $(u_1', u_2)$ 형식을 띤다. 이는 토릭 표면의 경우로의 환원 가능성을 보장한다.
• Gromov-Witten 생성함수의 각 항의 기여도는 $\langle K_X, K_X \rangle$ 에 대한 보편 다항식이며, 차수는 각 경우에 따라 최대 $n/2$ 또는 $(n+1)/2$ 이다.
• 보편성과 심플렉틱 변환에 대한 불변성에 기반하여 추측을 이미 검증된 매끄럽고 사영인 토릭 표면의 경우로 환원함으로써 증명을 완료하였다.