[논문 리뷰] Enumerative Geometry of Calabi-Yau 5-Folds

Rahul Pandharipande, Aleksey Zinger|ArXiv.org|2008. 02. 12.

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

한 줄 요약

이 논문은 캘라비-야우 5-다양체에서 종수 0 및 종수 1 곡선에 대한 수형 기하학을 구축하기 위해 그로모프-위튼 이론을 사용한다. 종수 0 불변량에 대한 재귀식을 확립하고, 종수 1 불변량에 대한 이동 다중 커버의 기여도를 계산한다. 주요 결과는 국소 $\mathbb{P}^2$ 기하학에서 정수 BPS 불변량에 대한 추측 공식이며, degree 200까지 명시적 검증과 고급 형태의 추측(모비우스 함수와 부호/절대값 함수를 포함)이 제시된다.

ABSTRACT

Gromov-Witten theory is used to define an enumerative geometry of curves in Calabi-Yau 5-folds. We find recursions for meeting numbers of genus 0 curves, and we determine the contributions of moving multiple covers of genus 0 curves to the genus 1 Gromov-Witten invariants. The resulting invariants, conjectured to be integral, are analogous to the previously defined BPS counts for Calabi-Yau 3 and 4-folds. We comment on the situation in higher dimensions where new issues arise. Two main examples are considered: the local Calabi-Yau P^2 with balanced normal bundle 3O(-1) and the compact Calabi-Yau hypersurface X_7 in P^6. In the former case, a closed form for our integer invariants has been conjectured by G. Martin. In the latter case, we recover in low degrees the classical enumeration of elliptic curves by Ellingsrud and Stromme.

연구 동기 및 목표

• 캘라비-야우 5-다양체에 대해 고파쿠마르-바프의 정수성 추측을 확장하기 위해 종수 0 및 종수 1 불변량을 정의한다.
• 캘라비-야우 5-다양체에서 종수 0 곡선의 이동 다중 커버가 종수 1 그로모프-위튼 불변량에 기여하는 바를 계산한다.
• 캘라비-야우 3-다양체 및 4-다양체와 유사한 정수 BPS 불변량의 프레임워크를 제공한다.
• 국소 $\mathbb{P}^2$ 및 컴act 캘라비-야우 초곡면 $X_7 \subset \mathbb{P}^6$의 두 주요 예에서 종수 1 불변량의 정수성을 검증한다.
• 국소 $\mathbb{P}^2$ 기하학에서 종수 1 불변량에 대한 고급 형태의 표현 공식을 테스트하고 지지한다.

제안 방법

• 안정 사상의 모듈리 공간 위의 가상 기본류를 통해 그로모프-위튼 이론을 사용하여 종수 0 및 종수 1 불변량을 정의한다.
• 차수 감소 재귀식을 도출하기 위해 캐런 클래스 계산과 구성 공간 기법을 사용한다.
• 종수 1 불변량을 계산하기 위해 $\mathbb{C}^*$-작용 하에서 모듈리 공간의 고정점 집합을 분석하며, 특히 수축된 타원 곡선 성분을 가진 선의 $d$중 커버에 초점을 맞춘다.
• 지역화 기법을 적용하여 이동 다중 커버의 기여도를 계산하고, 장애 및 접선 벡터 다발의 등변 올림프스 오일러 급수에서 유도된 가중치를 사용한다.
• 아스피널-모리슨 공식을 적용하여 종수 0 그로모프-위튼 불변량을 정수 BPS 수 $n_{0,\beta}$와 연결한다.
• 종수 0 데이터와 종수 1 그로모프-위튼 불변량 $N_{1,d}$로부터 종수 1 불변량 $n_{1,d}$를 재귀 알고리즘으로 계산하며, degree 200까지 수치적으로 검증된다.

실험 결과

연구 질문

• RQ1 캘라비-야우 5-다양체에서 종수 0 및 종수 1 그로모프-위튼 불변량을 사용하여, 낮은 차원의 캘라비-야우 다양체에서와 유사한 정수 BPS 불변량을 정의할 수 있는가?
• RQ2 캘라비-야우 5-다양체에서 종수 0 곡선의 이동 다중 커버가 종수 1 불변량에 어떤 기여도를 하는가?
• RQ3 국소 $\mathbb{P}^2$ 기하학에서 종수 1 불변량 $n_{1,d}$는 마틴이 제안한 고급 형태의 공식을 따르는가?
• RQ4 일부 캘라비-야우 5-다양체에서 차수 8의 배수인 경우 종수 1 불변량이 0이 되는 이유는 무엇이며, 이를 심플렉틱적으로 설명할 수 있는가?
• RQ5 국소 $\mathbb{P}^2$ 기하학의 불변량은 컴팩트 캘라비-야우 초곡면에서의 고전적 수형 계수와 어떻게 비교되는가?

주요 결과

• 국소 $\mathbb{P}^2$에서 종수 0 불변량 $n_{0,d}$는 $d=1$일 때 1, $d=2$일 때 -1, $d \geq 3$일 때 0이며, 아스피널-모리슨 공식을 통해 계산된다.
• 종수 1 불변량 $n_{1,d}$는 degree 200까지 수치적으로 계산되었고, 정수임이 확인되어 정수성 추측을 지지한다.
• 국소 $\mathbb{P}^2$에서 종수 1 불변량은 $n_{1,d} = S(d)V(d)$를 만족하며, 여기서 $S(d)$는 모비우스 함수에 기반한 부호 함수이고 $V(d)$는 조건부 정의된 절대값 함수이다. 이는 마틴의 추측과 일치한다.
• 만약 $d$가 8의 배수이면 $S(d) = 0$이므로 $n_{1,d} = 0$이 되며, 이는 국소 $\mathbb{P}^2$ 기하학의 일반적인 변형이 8의 배수 차수의 임bedded 타원 곡선을 포함하지 않을 수 있음을 시사한다.
• 컴팩트 캘라비-야우 초곡면 $X_7 \subset \mathbb{P}^6$에서는 종수 1 불변량이 엘링스루드와 스트롬메의 저차수에서의 타원 곡선 수를 회복한다.
• 종수 1 그로모프-위튼 불변량 $N_{1,d}$는 $d$중 커버의 합으로 표현되며, 지역화 및 등변 적분을 통해 기여도가 계산되어 유리수를 얻고, 이를 통해 정수 BPS 수 $n_{1,d}$를 추출한다.