[논문 리뷰] Gromov-Witten invariants of the Hilbert scheme of 3-points on P^2

Dan Edidin, Wei-Ping Li외 1명|arXiv (Cornell University)|2003. 03. 28.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 10

한 줄 요약

이 논문은 고장이 없는 백터 번들 방법, 조합 법칙, 그리고 등변 국소화를 사용하여 ℙ²의 3점에 대한 Hilbert 스킴의 3점 종수 0 Gromov-Witten 불변량을 계산한다. 이들 불변량에 대한 명시적 공식이 Heisenberg 대수 연산자로 표현되며, Ruan의 양자 보정에 대한 추측을 확인하고 Mathematica를 통해 차수 d ≤ 4에 대해 핵심 2점 불변량을 계산하여 정확한 값을 얻는다: d = 1에서부터 4까지 각각 −27, 27/2, 18, 27/4이다.

ABSTRACT

Using obstruction bundles, composition law and the localization formula, we compute certain 3-point genus-0 Gromov-Witten invariants of the Hilbert scheme of 3-points on the complex projective plane. Our results partially verify Ruan's conjecture about quantum corrections for this Hilbert scheme.

연구 동기 및 목표

• ℙ²에서 3점에 대한 Hilbert 스킴의 3점 종수 0 Gromov-Witten 불변량을 계산하는 것.
• Hilbert-Chow 사상에 의해 수축되는 곡선의 기여를 특정하여, 특히 dβ₃에 동치인 것들을 규명하는 것.
• 이 Hilbert 스킴의 양자 cohomology 링에 대한 Ruan의 추측, 즉 양자 보정에 대한 확인.
• 등변 국소화와 기호 계산을 사용하여 소수 차수 d ≤ 4에 대해 핵심 2점 불변량 ⟨PD(𝔞₋₃(ℓ)|0⟩, PD(𝔞₋₃(X)|0⟩)⟩₀,d를 명시적으로 계산하는 것.

제안 방법

• 장애가 없는 백터 번들 기법과 조합 법칙을 사용하여 3점 불변량을 2점 불변량 또는 더 단순한 3점 케이스로 감소시키는 것.
• Gómez과 Pantev의 가상 국소화 공식을 적용하여 ℙ²에서 (ℂ*)² 작용 하에서의 불변량을 계산하는 것.
• 2점 불변량의 계산을 차수 제약 조건을 가진 안정 그래프의 합산으로 감소시키는 것.
• Mathematica에서의 기호 계산을 사용하여 d ≤ 4에 대해 합산을 평가하는 것.
• 각 안정 그래프의 불변량에 대한 기여를 위한 명시적 유리 함수 fₖ,ᵢ,ⱼ를 유도하는 것.
• Poincaré 대칭과 Heisenberg 대수 생성자들을 사용하여 코homology 클래스를 |0⟩ 상태로 표현하는 것.

실험 결과

연구 질문

• RQ1 ℙ²에서 3점에 대한 Hilbert 스킴의 3점 종수 0 Gromov-Witten 불변량은 무엇인가?
• RQ2 비영인 3점 불변량은 무엇이며, Heisenberg 대수 연산자로 표현된 값은 무엇인가?
• RQ3 소수 차수 d에 대해 2점 불변량 ⟨PD(𝔞₋₃(ℓ)|0⟩, PD(𝔞₋₃(X)|0⟩)⟩₀,d의 값은 무엇인가?
• RQ4 계산된 불변량은 이 Hilbert 스킴에 대한 Ruan의 추측, 즉 양자 보정에 대한 지지를 제공하는가?
• RQ5 국소화와 기호 방법을 사용하여 d ≤ 4에 대해 2점 불변량을 명시적으로 계산할 수 있는가?

주요 결과

• 2점 불변량 ⟨PD(𝔞₋₃(ℓ)|0⟩, PD(𝔞₋₃(X)|0⟩)⟩₀,d는 d = 1에서 4까지 정확하게 계산되었으며, 각각 −27, 27/2, 18, 27/4이다.
• d = 1일 때, 3점 불변량 ⟨PD(𝔞₋₂(X)𝔞₋₁(ℓ)|0⟩, PD(𝔞₋₂(X)𝔞₋₁(ℓ)|0⟩, PD(𝔞₋₁(X)𝔞₋₂(ℓ)|0⟩)⟩₀,1의 값은 −24이다.
• d = 1일 때, 3점 불변량 ⟨PD(𝔞₋₃(X)|0⟩, PD(𝔞₋₃(X)|0⟩, PD(𝔞₋₂(X)𝔞₋₁(ℓ)|0⟩)⟩₀,1의 값은 −54이다.
• d = 1일 때, 3점 불변량 ⟨PD(𝔞₋₃(X)|0⟩, PD(𝔞₋₃(X)|0⟩, PD(𝔞₋₃(X)|0⟩)⟩₀,1의 값은 −178이다.
• 2점 불변량 f(d) = d·⟨PD(𝔞₋₃(ℓ)|0⟩, PD(𝔞₋₃(X)|0⟩)⟩₀,d는 d = 1일 때 27, d = 2일 때 27, d = 3일 때 54, d = 4일 때 108으로 나타난다.
• d = 1에 대한 3점 불변량은 완전히 결정되었으며, f(d)와 d₁ < d에 대한 합을 포함하는 일반 공식과 일관된다.