[논문 리뷰] Stable maps to Looijenga pairs

Pierrick Bousseau, Andrea Brini외 1명|White Rose Research Online (University of Leeds, The University of Sheffield, University of York)|2020. 11. 17.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 Looijenga 쌍 (Y,D) 와 관련된 다섯 가지 서로 다른 수세기 불변량—로그 Gromov–Witten, 로컬 Gromov–Witten, 오픈 Gromov–Witten, BPS 불변량, 그리고 퀘이버 Donaldson–Thomas 불변량—사이의 상호관계를 수립하며, 양의 조건 하에서 이들의 동치성을 증명하고 대칭 함수 및 최상위 정점의 형태로 모든 불변량에 대한 완전한 폐형 해를 제공한다.

ABSTRACT

A log Calabi-Yau surface with maximal boundary, or Looijenga pair, is a pair $(Y,D)$ with $Y$ a smooth rational projective complex surface and $D=D_1+\dots + D_l \in |-K_Y|$ an anticanonical singular nodal curve. Under some positivity conditions on the pair, we propose a series of correspondences relating five different classes of enumerative invariants attached to $(Y,D)$: 1) the log Gromov-Witten theory of the pair $(Y,D)$, 2) the Gromov-Witten theory of the total space of $\bigoplus_i \mathcal{O}_Y(-D_i)$, 3) the open Gromov-Witten theory of special Lagrangians in a Calabi-Yau 3-fold determined by $(Y,D)$, 4) the Donaldson-Thomas theory of a symmetric quiver specified by $(Y,D)$, and 5) a class of BPS invariants considered in different contexts by Klemm-Pandharipande, Ionel-Parker, and Labastida-Marino-Ooguri-Vafa. We furthermore provide a complete closed-form solution to the calculation of all these invariants.

연구 동기 및 목표

• Looijenga 쌍 (Y,D) — 경계가 최대인 로그 Calabi–Yau 표면의 한 종류 — 와 관련된 다섯 가지 다른 종류의 수세기 불변량을 통합하는 것.
• 로그 Gromov–Witten 불변량( (Y,D) 에서), 로컬 Gromov–Witten 불변량(⊕O_Y(−D_i) 의 총공간에서), 그리고 특수한 라그랑주 부분다발을 가진 Calabi–Yau 3-fold 에서의 오픈 Gromov–Witten 불변량 사이의 정확한 수학적 상관관계 수립.
• 이 불변량들을 Klemm–Pandharipande, Ionel–Parker, Labastida–Mariño–Ooguri–Vafa 가 고안한 BPS 불변량들과 연결하고, l=2 일 때는 퀘이버 DT 불변량과 연결하는 것.
• 불변량들에 대한 강력한 정수성 제약 조건을 증명하여, 로컬 CY (l+2)-다양체에서의 종수 0 Gopakumar–Vafa 불변량의 정수성을 알지오-기하학적 방법으로 증명하는 것.
• 대칭 함수와 최상위 정점 형식을 사용하여 모든 불변량에 대한 완전하고 명시적이며 비재귀적인 폐형 해를 제공하는 것.

제안 방법

• Looijenga 쌍 (Y,D) 에서 네 가지 기하학적 구조를 구성: 로그 Calabi–Yau 표면, 로컬 Calabi–Yau (l+2)-다양체, l−1개의 라그랑주 사이클을 가진 비콤팩트 Calabi–Yau 3-fold, 그리고 l=2 일 때 대칭 퀘이버.
• 로그-로컬 상응관계를 사용하여, (Y,D) 에서의 로그 GW 불변량과 E_Y(D) = Tot(⊕O_Y(−D_i)) 에서의 로컬 GW 불변량 사이의 관계를 종수 0 에서 설정.
• 오픈-클로즈드 상응관계를 적용하여, 로그 GW 불변량과 라그랑주 부분다발에 경계 조건이 있는 CY3-fold 에서의 오픈 GW 불변량을 동치로 만든다.
• 최상위 정점 형식과 대칭 함수의 주요 특성화를 사용하여, 불변량들을 q-계승과 곱 공식으로 표현한다.
• Littlewood–Richardson 규칙과 이동된 샤우 함수를 활용하여, 후크 분할의 경우에 대해 편향된 샤우 함수의 폐형 표현을 유도한다.
• 변수 치환를 통한 BPS 불변량 간의 동치성 수립과, q 에 대한 생성함수의 구조를 이용한 정수성 증명.

실험 결과

연구 질문

• RQ1 Looijenga 쌍 (Y,D) 의 로그 Gromov–Witten 불변량은 ⊕O_Y(−D_i) 의 총공간에서의 로컬 Gromov–Witten 불변량과 종수 0 에서 일치하는가?
• RQ2 로그 Gromov–Witten 불변량과 l−1개의 라그랑주 사이클을 가진 Calabi–Yau 3-fold 에서의 오픈 Gromov–Witten 불변량 사이에 상응관계가 존재하는가?
• RQ3 모든 Looijenga 쌍에 대해, 종수 0 로컬 BPS 불변량(GV/KP/IP 유형)과 종수 0 오픈 BPS 불변량(LMOV 유형)은 동치인가?
• RQ4 l=2 일 때, 로컬 BPS 불변량은 (Y,D) 와 관련된 대칭 퀘이버 Q(Y(D)) 의 Donaldson–Thomas 불변량과 일치하는가?
• RQ5 불변량들은 강력한 정수성 제약 조건을 만족하는가? 그리고 이를 통해 로컬 CY (l+2)-다양체에서의 종수 0 Gopakumar–Vafa 불변량의 정수성을 증명할 수 있는가?

주요 결과

• 로그 Gromov–Witten 불변량은 (Y,D) 에서의 로컬 Gromov–Witten 불변량과 종수 0 에서 동치이며, van Garrel–Graber–Ruddat 의 추측을 확인한다.
• 로그 Gromov–Witten 불변량은 모든 종수에서 l−1개의 라그랑주 경계 성분을 가진 CY3-fold 에서의 오픈 Gromov–Witten 불변량과 동치이다.
• 모든 l ≥ 2 에 대해, 종수 0 로컬 BPS 불변량(GV/KP/IP 유형)은 종수 0 오픈 BPS 불변량(LMOV 유형)과 동치이다.
• l=2 일 때, 로컬 BPS 불변량은 대칭 퀘이버 Q(Y(D)) 의 Donaldson–Thomas 불변량과 동치이며, 새로운 퀘이버 상응관계를 수립한다.
• 모든 불변량은 강력한 정수성 제약 조건을 만족하며, 이는 로컬 CY (l+2)-다양체에서의 종수 0 Gopakumar–Vafa 불변량의 정수성을 알지오-기하학적 방법으로 증명한다. 이는 CY4 표면를 포함한다.
• 대칭 함수와 최상위 정점 형식을 사용하여 모든 불변량에 대한 완전한 폐형 해를 확보하였으며, 후크 분할의 경우 q-계승과 곱 항등식을 포함한 명시적 공식을 제공한다.