[논문 리뷰] The open Gromov-Witten-Welschinger theory of blowups of the projective plane

Asaf Horev, Jake P. Solomon|arXiv (Cornell University)|2012. 10. 15.

Geometric and Algebraic Topology참고 문헌 20인용 수 26

한 줄 요약

이 논문은 복소 프로젝티브 평면의 임의의 실수 및 켤레 점 쌍 구성에 대한 블로우업에 대해, 개방 Gromov-Witten 호모로지와 일반화된 WDVV 방정식을 이용하여 Welschinger 불변량을 계산하는 재귀적 알고리즘을 수립한다. 주요 기여는 모든 불변량을 닫힌 Gromov-Witten 불변량과 유한한 초기 값 집합으로부터 완전히 재구성할 수 있음을 보여주는 것으로, del Pezzo 및 비-del Pezzo 경우 모두에서 명시적 계산이 가능하게 한다.

ABSTRACT

We compute the Welschinger invariants of blowups of the projective plane at an arbitrary conjugation invariant configuration of points. Specifically, open analogues of the WDVV equation and Kontsevich-Manin axioms lead to a recursive algorithm that reconstructs all the invariants from a small set of known invariants. Example computations are given, including the non-del Pezzo case.

연구 동기 및 목표

• 임의의 호환성 있는 실수 및 켤레 점 구성에 대해 복소 프로젝티브 평면의 실수 블로우업에 대한 Welschinger 불변량을 계산하는 것.
• Kontsevich-Manin의 공리적 프레임워크를 실 대칭 기하학에서의 개방 Gromov-Witten 불변량으로 확장하는 것.
• 닫힌 Gromov-Witten 불변량과 유한한 초기 값 집합으로부터 모든 Welschinger 불변량을 재구성하는 재귀적 알고리즘을 수립하는 것.
• 저차수의 경우에 이전 결과들과의 일致성을 토양 기하학 및 대수기하학 기법을 사용하여 검증하는 것.

제안 방법

• 반대-심플렉틱 호모로지의 고정점 집합 위에 경계를 지닌 J-홀로모르픽 디스크의 모듈리 공간을 통해 개방 Gromov-Witten 불변량을 실 대칭 기하다양체에 적용한다.
• 일반화된 WDVV 방정식과 개방 Kontsevich-Manin 공리계를 적용하여 개방 불변량에 대한 재귀 관계를 도출한다.
• Göttsche와 Pandharipande에 의해 계산된 블로우업 공간의 닫힌 Gromov-Witten 불변량을 입력 자료로 사용한다.
• 관계식 (OGW1)–(OGW5)에 기반한 재귀적 알고리즘을 활용하여 초기 값에서 개방 불변량을 계산한다.
• 등급 조건과 영값 조건을 적용하여 직접 계산이 필요한 경우의 수를 줄인다.
• Maple 프로그램을 구현하여 다양한 차수와 점 구성에 대해 명시적 불변량을 계산한다.

실험 결과

연구 질문

• RQ1 CP²의 임의의 실수 및 켤레 점 구성에 대한 블로우업에 대해, Welschinger 불변량이 유한한 초기 값 집합으로부터 완전히 재구성될 수 있는가?
• RQ2 실 대칭 기하학적 맥락에서 개방 Gromov-Witten 불변량은 일반화된 WDVV 방정식과 Kontsevich-Manin 공리계를 어떻게 충족하는가?
• RQ3 성별 0에서 개방 Gromov-Witten 불변량과 Welschinger 불변량 사이의 정확한 관계는 무엇인가?
• RQ4 비-del Pezzo 경우(예: r+2s > 6)에서는 불변량이 어떻게 행동하는가?
• RQ5 재귀적 구조를 이용하여 불변량을 효율적으로 계산하고, 토양 기하학 결과와의 일致성을 검증할 수 있는가?

주요 결과

• CP²_{r,s}의 Welschinger 불변량은 개방 Kontsevich-Manin 공리계, 개방 WDVV 방정식, CP²_{r+2s}의 닫힌 Gromov-Witten 불변량, 그리고 유한한 초기 값 집합으로 완전히 결정된다.
• 알고리즘이 비-del Pezzo 경우, 즉 차수 8 이상의 경우에도 성공적으로 적용되며, Γ_{[8,(2⁵),0],13} = -2,824,394,880 등의 결과를 도출한다.
• r=10, s=0 인 경우, Γ_{[10,(3⁵),0],14} = -276,649,331,840 으로 나타나, 저차수 경우를 초월한 적용 가능성을 입증한다.
• 이 방법은 토양 기하학에서 알려진 결과를 재현하며, r+2s ≤ 3 인 Brugallé와 Mikhalkin의 결과, 그리고 순수 실수 제약 조건에 대해 Itenberg 등이 얻은 결과를 포함한다.
• 개방 Gromov-Witten 불변량과 Welschinger 불변량 사이의 부호 관계는 Γ_{[d,α,β],k} = ±2^{1−l} W_{...,l} 으로 명시적으로 주어지며, 여기서 l = (3d − |α| − 2|β| − k − 1)/2 이다.
• 알고리즘은 Maple으로 구현되었으며, s > 0 개의 켤레 점 쌍을 포함한 다양한 구성에서 일致성 있는 결과를 생성한다.