[논문 리뷰] Chen-Ruan cohomology of ADE singularities

Fabio Perroni|ArXiv.org|2006. 05. 08.

Algebraic Geometry and Number Theory인용 수 5

한 줄 요약

이 논문은 전이적 ADE 특이성을 가진 궤도에 대해 Ruan의 코homological crepant resolution 추측을 조사하며, A_n 특이성에 대해 Chen-Ruan cohomology와 양자 보정 cohomology를 계산한다. A₁의 경우 q = -1에서 Chen-Ruan cohomology와 양자 보정 cohomology 사이의 명시적 isomorphism을 증명하고, A₂의 경우 원래 추측의 실패를 해결하기 위해 수정된 추측을 제안하고 검증한다. q₁ = ... = qₙ = -1에서의 실패를 해결한다.

ABSTRACT

We study Ruan's extit{cohomological crepant resolution conjecture} for orbifolds with transversal ADE singularities. In the $A_n$-case we compute both the Chen-Ruan cohomology ring $H^*_{ m CR}([Y])$ and the quantum corrected cohomology ring $H^*(Z)(q_1,...,q_n)$. The former is achieved in general, the later up to some additional, technical assumptions. We construct an explicit isomorphism between $H^*_{ m CR}([Y])$ and $H^*(Z)(-1)$ in the $A_1$-case, verifying Ruan's conjecture. In the $A_n$-case, the family $H^*(Z)(q_1,...,q_n)$ is not defined for $q_1=...=q_n=-1$. This implies that the conjecture should be slightly modified. We propose a new conjecture in the $A_n$-case which we prove in the $A_2$-case by constructing an explicit isomorphism.

연구 동기 및 목표

• 전이적 ADE 특이성을 가진 궤도에 대해 Ruan의 cohomological crepant resolution 추측을 검증한다.
• A_n 특이성에 대해 Chen-Ruan cohomology 링을 일반적으로 계산한다.
• 기술적 가정, 특히 A_n 사례에서의 양자 보정 cohomology 링을 계산한다.
• A_n 사례에서 q₁ = ... = qₙ = -1일 때 원래 추측이 실패하는 이유를 규명하고 수정된 버전을 제안한다.
• A₂ 사례에서 Chen-Ruan cohomology 링과 양자 보정 cohomology 링 사이의 명시적 isomorphism을 통해 수정된 추측을 증명한다.

제안 방법

• 편향된 섹터와 군 작용 자료를 사용하여 전이적 ADE 특이성을 가진 궤도의 Chen-Ruan cohomology 링 H*_{CR}([Y])를 계산한다.
• 粗모듈리 공간 Y의 crepant resolution Z를 구축하고, 이의 기하학적 성질을 통해 H*(Z)를 묘사한다.
• Z에 대한 유리 곡선의 Gromov-Witten 불변량에 관한 추측(Conj. 5.1)을 제안하여 양자 보정 cohomology 링 H*(Z)(q₁,…,qₙ)를 정의한다.
• 변형 이론과 차단 이론을 사용하여 안정 사상의 모듈리 공간의 가상 기본 클래스를 계산한다.
• Aspinwall-Morrison 공식과 Poincaré 대칭을 적용하여 3점 함수를 평가하고 양자 보정을 계산한다.
• 고전적 McKay 대응을 활용하여 A₁ 및 A₂ 사례에서 H*_{CR}([Y])와 H*(Z)(-1) 사이의 명시적 isomorphism을 구성한다.

실험 결과

연구 질문

• RQ1 전이적 ADE 특이성을 가진 궤도에 대해 Ruan의 cohomological crepant resolution 추측이 성립하는가?
• RQ2 왜 A_n 사례에서 q₁ = ... = qₙ = -1일 때 원래 추측이 실패하며, 어떻게 수정되어야 하는가?
• RQ3 A₁ 및 A₂ 사례에서 Chen-Ruan cohomology와 양자 보정 cohomology 사이에 명시적 isomorphism을 구성할 수 있는가?
• RQ4 A_n 특이성에 대해 양자 보정 cohomology 링 H*(Z)(q₁,…,qₙ)의 구조는 어떠한가?
• RQ5 A_n 설정에서 양자 보정에 필요한 Gromov-Witten 불변량은 계산 가능한가, 그리고 어떤 가정 하에 가능한가?

주요 결과

• A₁ 사례에서 Chen-Ruan cohomology 링 H*_{CR}([Y])와 양자 보정 cohomology 링 H*(Z)(-1) 사이의 명시적 isomorphism이 구성되어 Ruan의 추측이 검증된다.
• 원래 추측은 A_n 사례(n ≥ 2)에서 실패한다. 이는 q₁ = ... = qₙ = -1일 때 양자 보정 3점 함수를 평가할 수 없기 때문이다.
• A_n 사례에 대해 실패를 고려한 수정된 추측(Conj. 1.9)이 제안된다.
• A₂ 사례에서 H*_{CR}([Y])와 H*(Z)(-1) 사이의 명시적 isomorphism을 구성함으로써 수정된 추측이 증명된다.
• 양자 보정에 필요한 Gromov-Witten 불변량은 변형 이론과 차단 이론을 통해 계산되며, 특히 캐논리컬 번들의 첫 번째 체르누 클래스가 핵심적인 역할을 한다.
• 수정된 추측 하에 양자 매개변수를 -1으로 설정할 경우, 양자 보정 cohomology 링의 구조가 Chen-Ruan cohomology 링과 isomorphic하다는 것이 입증된다.