[논문 리뷰] Log BPS numbers of log Calabi-Yau surfaces

Jinwon Choi, Michel van Garrel외 2명|arXiv (Cornell University)|2018. 10. 04.

Algebraic Geometry and Number Theory참고 문헌 77인용 수 4

한 줄 요약

이 논문은 로그 칼라비-ยอ우 표면 $(S,E)$ 에서 분할자 $E$ 에 대해 최대 접촉을 갖는 $\u0001$-곡선을 세는 정수 값으로 예측되는 로그 BPS 수를 도입한다. 다중 커버 공식과 유사한 공식을 통해 이들 불변량은 귀무성 0 로그 그로모프-위튼 불변량으로부터 유도되며, 이는 델 페초 표면에서 산술 기하학 수가 2 이하인 곡선 계열에 대해 국소 BPS 수와 루프 퀘일 DT 불변량과 일치함을 보여준다.

ABSTRACT

Let $(S,E)$ be a log Calabi-Yau surface pair with $E$ a smooth divisor. We define new conjecturally integer-valued counts of $\mathbb{A}^1$-curves in $(S,E)$. These log BPS numbers are derived from genus 0 log Gromov-Witten invariants of maximal tangency along $E$ via a formula analogous to the multiple cover formula for disk counts. A conjectural relationship to genus 0 local BPS numbers is described and verified for del Pezzo surfaces and curve classes of arithmetic genus up to 2. We state a number of conjectures and provide computational evidence.

연구 동기 및 목표

• 최대 접촉을 갖는 분할자 $E$ 를 가진 로그 칼라비-요우 표면에서 $\u0001$-곡선을 세는 새로운 정수 값 불변량—로그 BPS 수—를 정의하는 것.
• 최대 접촉을 갖는 로그 그로모프-위튼 불변량과 이 로그 BPS 수를 연결하는 다중 커버 공식과 유사한 공식을 수립하는 것.
• 델 페초 표면에서 로그 BPS 수와 국소 BPS 수, 루프 퀘일 도널드슨-테이터스 불변량 사이의 관계를 추측하고 검증하는 것.
• 논문의 1.3번 추측에서 제기된 바와 같이, 로그 BPS 수가 $E$ 상의 접촉점 선택에 따라 영향을 받지 않는지 조사하는 것.
• 산술 기하학 수가 2 이하인 델 페초 표면의 곡선 계열에 대해 계산적 증거를 제시하고 추측을 증명하는 것.

제안 방법

• 다중 커버 공식과 유사한 공식을 통해, 기약 곡선의 $l:1$ 커버와 분해 가능 구성요소의 기여를 이용해 로그 BPS 수를 정의한다.
• 최대 접촉을 갖는 귀무성 0 안정 로그 매핑의 모듈리 공간 $\u0001\overline{\operatorname{M}}_{\beta}(S,E)$ 의 가상 기본류를 이용해 로그 그로모프-위튼 불변량 $\mathcal{N}_{\beta}(S,E)$ 를 정의한다.
• 기약 곡선 및 분해 가능 곡선 구성요소의 기여를 통해 로그 BPS 수를 일반화된 퀘일 DT 불변량, 특히 루프 퀘일 DT 불변량과 연결한다.
• 아벨-자코비 사상과 $\operatorname{Pic}^\beta(S)$ 의 선다발 위의 섬세한 분석을 통해 $|L|$ 내 곡선 구성요소를 분석한다.
• $\mathbb{P}^2$ 에서 $E$ 가 매끄러운 쿠빅일 경우, 유도된 곡선의 기여를 직접 계산하여 불변량을 검증한다. 특히 유연한 접선선과 포물선의 기여를 계산한다.
• 도수 $d \leq 4$ 에 대해 $m^k_{dh}$ 와 $\mathcal{N}^k_{dh}(\mathbb{P}^2,E)$ 를 비교하여 로그 BPS 수와 국소 BPS 수 사이의 대응관계를 검증한다.

실험 결과

연구 질문

• RQ1 다중 커버 유형의 공식을 통해 정의된 로그 BPS 수는 항상 추측과 같이 정수인가?
• RQ2 논문의 1.3번 추측에서 제시된 lin 로그 BPS 수는 $E$ 상의 접촉점 $P$ 의 선택에 따라 영향을 받지 않는가?
• RQ3 델 페초 표면의 맥락에서 로그 BPS 수는 국소 BPS 수와 루프 퀘일 DT 불변량과 어떻게 관련이 있는가?
• RQ4 모듈리 공간 $\overline{\operatorname{M}}^P_\beta(S,E)$ 의 각 고립된 구성요소의 기여가, 개방 질문 6.16에서 제기된 lin 퀘일의 DT 불변량으로 표현될 수 있는가?
• RQ5 고차 곡선 계열에 대해 모듈리 공간 $\overline{\operatorname{M}}^P_\beta(S,E)$ 의 구조는 어떠한가? 그리고 그 구성요소들은 불변량에 어떻게 영향을 미치는가?

주요 결과

• $\mathbb{P}^2$ 에서 $E$ 가 매끄러운 쿠빅일 경우, 로그 BPS 수 $m^1_h = 1$ 이 로그 그로모프-위튼 불변량 $\mathcal{N}^1_h(\mathbb{P}^2,E) = 1$ 과 일치하여 도수 1에 대한 공식이 확인된다.
• 도수 2에 대해 $m^1_{2h} = 1$ 이고 $\mathcal{N}^1_{2h}(\mathbb{P}^2,E) = \frac{3}{4}$ 이며, 로그 BPS 수는 $\operatorname{DT}^{(2)}_2 = 1$ 에 기인하여 다중 커버 공식과 일관됨을 보여준다.
• 도수 3에 대해 $m^1_{3h} = 3$ 이고 $\mathcal{N}^1_{3h}(\mathbb{P}^2,E) = 3 + \frac{1}{9}$ 이며, $m^1_{3h}$ 는 세 개의 유연한 접선선과 두 개의 기약 포물선의 기여를 포함한다.
• 도수 4에 대해 $m^1_{4h} = 16$ 이고 $\mathcal{N}^1_{4h}(\mathbb{P}^2,E) = 16 + \frac{3}{16}$ 이며, $\operatorname{DT}^{(2)}_4 = 1$, 최소값 3과 9, 그리고 8개의 기약 구성요소의 기여가 포함된다.
• $\mathbb{P}^2$ 에서 모든 $d \leq 4$ 에 대해 로그 BPS 수 $m^k_{dh}$ 는 $\mathcal{N}^k_{dh}(\mathbb{P}^2,E)$ 와 일치하여 델 페초 경우의 추측된 공식이 확인된다.
• $\overline{\operatorname{M}}^P_\beta(S,E)$ 의 각 고립된 구성요소가 불변량에 기여하는 방식이, 특히 $\mathbb{P}^2$ 에서 $E$ 가 쿠빅일 경우, DT 불변량으로 표현될 수 있음을 보여준다.