[논문 리뷰] Gromov--Witten invariants for mirror orbifolds of simple elliptic singularities

Ikuo Satake, Atsushi Takahashi|arXiv (Cornell University)|2011. 03. 04.

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

한 줄 요약

이 논문은 가중 투영선 $×^1_{3,3,3}$의 고루모브-바이트너 이론, $E_6^{(1,1)}$ 유형의 타원적 웨일 군의 불변량 이론, 그리고 단순 타원적 특이점 $T_{3,3,3}$의 보편적 편미분에서 프로비니우스 다양체 사이의 동형을 설정한다. 이는 종수 0 및 종수 1 고루모브-바이트너 포텐셜이 준모듈라 형식으로 표현됨을 증명하며, K. 사이토가 연구한 에타 곱의 푸리에 계수에 대한 기하적 해석을 제공한다.

ABSTRACT

We consider a mirror symmetry of simple elliptic singularities. In particular, we construct isomorphisms of Frobenius manifolds among the one from the Gromov--Witten theory of a weighted projective line, the one from the theory of primitive forms for a universal unfolding of a simple elliptic singularity and the one from the invariant theory for an elliptic Weyl group. As a consequence, we give a geometric interpretation of the Fourier coefficients of an eta product considered by K. Saito.

연구 동기 및 목표

• K. 사이토가 연구한 에타 곱의 푸리에 계수에 대한 기하적 실현을 미러 대칭을 통해 제공하는 것.
• 고루모브-바이트너 이론, 타원적 웨일 군의 불변량 이론, 그리고 $T_{3,3,3}$의 보편적 편미분에서 유래한 프로비니우스 다양체 사이의 동형 존재를 증명하는 것.
• $×^1_{3,3,3}$의 종수 0 및 종수 1 고루모브-바이트너 포텐셜이 준모듈라 형식임을 확인하는 것.
• $×^1_{3,3,3}$ 오비폴드의 G-함수 값이 기존의 미러 대칭 결과 및 무한대에서의 원시 형식과 일관됨을 확인하는 것.

제안 방법

• 종수 0 및 종수 1 포텐셜을 사용하여 오비폴드 $×^1_{3,3,3}$의 고루모브-바이트너 이론에서 프로비니우스 다양체를 구성하는 것.
• WDVV 방정식의 해의 유일성을 이용하여 프로비니우스 다양체 사이의 동형을 확립하는 것.
• 무한대에서의 $T_{3,3,3}$ 특이점의 보편적 편미분에 대해 K. 사이토의 원시 형식 이론을 적용하여 프로비니우스 다양체 구조를 정의하는 것.
• 기존 문헌에서 알려진 동형을 통해 타원적 웨일 군 $W_{E_6^{(1,1)}}$의 불변량 이론에서 유도된 프로비니우스 다양체를 다른 두 개와 연결하는 것.
• 오비폴드 안정 사상 수를 통해 종수 1 고루모브-바이트너 포텐셜을 계산하고, 그것이 $-\frac{1}{3}\log(\eta(q^3))$와 일치함을 검증하는 것.
• Dubrovin–Zhang의 바이레소르 제약 조건과 $×^1_{3,3,3}$에 대한 Strachan의 G-함수 계산 결과와의 일관성을 검증하는 것.

실험 결과

연구 질문

• RQ1 K. 사이토의 에타 곱의 푸리에 계수는 오비폴드의 고루모브-바이트너 불변량을 통해 기하적으로 해석될 수 있는가?
• RQ2 $×^1_{3,3,3}$의 종수 0 및 종수 1 고루모브-바이트너 포텐셜이 준모듈라 형식으로 표현될 수 있는가?
• RQ3 $×^1_{3,3,3}$의 종수 1 고루모브-바이트너 포텐셜은 준모듈라 형식으로 표현될 수 있는가?
• RQ4 $×^1_{3,3,3}$ 오비폴드의 G-함수는 알려진 결과인 $-\frac{1}{3}\log(\eta(q^3))$와 일치하는가?
• RQ5 무한대에서의 원시 형식의 선택이 미러 대칭의 맥락에서 프로비니우스 다양체 구조에 어떻게 영향을 미치는가?

주요 결과

• 프로비니우스 다양체 $M_{\u00d7^1_{3,3,3}}$, $M_{T_{3,3,3},\infty}$, 및 $M_{E_6^{(1,1)}}$는 동형이며, 이는 $(3,3,3)$ 케이스에 대한 미러 대칭 대응을 확립한다.
• 종수 0 고루모브-바이트너 포텐셜 $F_0^{\u00d7^1_{3,3,3}}$는 WDVV 해의 유일성에 의해 준모듈라 형식임을 보장받는다.
• 종수 1 고루모브-바이트너 포텐셜 $F_1^{\u00d7^1_{3,3,3}}$는 명시적으로 $-\frac{1}{3}\log(\eta(q^3))$로 주어지며, 이는 그 준모듈라 성질을 확인한다.
• $F_1^{\u00d7^1_{3,3,3}}$의 계산은 Dubrovin–Zhang의 바이레소르 제약 조건과 Strachan의 $×^1_{3,3,3}$에 대한 G-함수 결과와 일관됨을 확인한다.
• 포텐셜의 유일성과 무한대에서의 원시 형식에서 유도된 평탄한 좌표의 선택을 통해 $M_{\u00d7^1_{3,3,3}} \simeq M_{T_{3,3,3},\infty}$의 동형이 확립된다.
• 에타 곱의 푸리에 계수에 대한 기하적 해석은 $×^1_{3,3,3}$에서 항등사상의 수를 세는 고루모브-바이트너 불변량 $a_0(1) = 1$을 통해 실현된다.