[논문 리뷰] Multipoint series of Gromov-Witten invariants of CP^1

Ezra Getzler, Andreĭ Okounkov외 1명|ArXiv.org|2002. 07. 12.

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

한 줄 요약

이 논문은 Toda 계열과 재귀 관계를 활용하여 모든 차수에서 ℂℙ¹의 다중점 Gromov-Witten 불변량에 대한 명시적 공식을 유도한다. 이를 통해 차수 0 자료를 기반으로 한 고차수 불변량에 대한 귀납적 공식을 수립하고, hyperbolic 함수를 포함하는 닫힌 형태의 표현식을 얻으며, ∫ψᵏλ_g 및 ∫ψᵏλ_{g−1} 형태의 Hodge 적분을 계산할 수 있다.

ABSTRACT

We give explicit formulas for the multipoint series of Gromov-Witten invariants of CP^1. We use the recursions of the Toda hierarchy to calculate these in degree 0, and the Toda equation and the degree 0 formulas to extend the calculation to higher degrees. We also obtain formulas for the Hodge series for the Hodge classes lambda_g and lambda_{g-1}.

연구 동기 및 목표

• Toda 계열을 사용하여 모든 차수에서 ℂℙ¹의 다중점 Gromov-Witten 불변량에 대한 명시적 공식을 도출하는 것.
• 공백인 매니폴드 공간 ℳ̄_{0,1}과 ℳ̄_{0,2}를 고려하여 차수 0의 다중점 시리즈를 특성화하는 것.
• 차수 0 자료를 기반으로 한 고차수 불변량에 대한 귀납적 공식을 수립하는 것.
• 유도된 다중점 시리즈를 사용하여 Hodge 적분 ∫ψᵏλ_g 및 ∫ψᵏλ_{g−1}을 계산하는 것.

제안 방법

• ∇ 및 𝒟 연산자를 포함하는 Toda 계열의 재귀 관계를 활용하여 서로 다른 차수의 다중점 불변량을 연결하는 것.
• ∂_Q²ℱ = qe^u 형태의 Toda 방정식을 적용하여, 저차수 불변량에 대한 고차수 불변량의 재귀 공식을 도출하는 것.
• n=1 또는 2일 때 ℳ̄_{g,n,0}에서 발생하는 위상수학적 장애를 반영하기 위해 차수 0 다중점 시리즈의 수정 정의를 도입하는 것.
• ℳ̄_{g,n,d}(ℂℙ¹) 위에서 ∫ψᵏ₁…ψᵏₘ ev*H ⋅ ψˡ₁…ψˡₙ 불변량을 코딩하는 생성함수 ℱ^d[y|z]를 사용하는 것.
• 변수의 분할 기반 분해와 sinh(ε(Y+Z)/2)/(ε(Y+Z)/2) 형태의 hyperbolic 함수를 사용하여 고차수 기여를 표현하는 것.
• 식 (5.2)에 의해, ℱ^d[y|z]가 저차수 불변량과 차수 0 시리즈의 이중적 곱에 의해 표현되는 귀납적 공식을 도출하는 것.

실험 결과

연구 질문

• RQ1 Toda 계열을 사용하여 ℂℙ¹의 다중점 Gromov-Witten 불변량을 모든 차수에서 어떻게 계산할 수 있는가?
• RQ2 ℳ̄_{0,1}과 ℳ̄_{0,2}가 공백일 경우, 차수 0 다중점 시리즈의 올바른 정의는 무엇인가?
• RQ3 Toda 재귀 관계는 어떻게 차수 0 자료로부터 고차수 불변량을 귀납적으로 계산하는가?
• RQ4 다중점 시리즈를 사용하여 ∫ψᵏ₁…ψᵏₙλ_g 및 ∫ψᵏ₁…ψᵏₙλ_{g−1} 형태의 명시적 공식을 어떻게 도출할 수 있는가?
• RQ5 Gromov-Witten 포텐셜의 구조에서 연산자 ∇ = ε⁻¹(e^{ε∂/2} − e^{−ε∂/2})의 역할은 무엇인가?

주요 결과

• 차수 0 다중점 시리즈는 ℱ⁰[y|~] = y⁻² + ∑_{g≥1} ε²ᵍ ∑_k yᵏ⟨τ_{k,Q}⟩_{g,0} 및 ℱ⁰[y|z] = (y+z)⁻¹ + ∑_{g≥1} ε²ᵍ ∑_{k,l} yᵏzˡ⟨τ_{k,Q}τ_{l,P}⟩_{g,0} 로 명시적으로 정의된다.
• 식 (5.2)에 의해, d>0인 ℱ^d[y|z]는 저차수 불변량, 변수 분할의 합, sinh 함수의 곱에 의해 표현된다.
• 고차수 불변량은 삼각함수 적분으로서, 특히 [sinh(ε(Y+Z)/2)/(ε(Y+Z)/2)]² 형태로 표현됨이 밝혀졌다.
• 유도된 다중점 시리즈를 통해 ∫_{ℳ̄_{g,n}} ψᵏ₁…ψᵏₙλ_g 및 ∫_{ℳ̄_{g,n}} ψᵏ₁…ψᵏₙλ_{g−1} 형태의 Hodge 적분이 명시적으로 계산되었다.
• ∂_k,Q 및 ∂_k,P 연산자를 포함하는 재귀식 (1.3)과 Toda 방정식은 ℂℙ¹의 Gromov-Witten 포텐셜을 완전히 특성화한다.
• 나무 합과 생성함수에 관한 항등식, 예를 들어 (x+Z)^{n−1} + (n−1)x(x+Z)^{n−2} = x∑_{0<|I|<n} (x+Z_I)^{|I|−1}(Z−Z_I)^{n−|I|−1} + Z^{n−1} 등이 주요 재귀의 기초가 되며, 이를 증명하였다.