[논문 리뷰] Mirror symmetry for P^2 and tropical geometry

Mark Gross|ArXiv.org|2009. 03. 08.

Polynomial and algebraic computation참고 문헌 14인용 수 15

한 줄 요약

이 논문은 $\mathbb{P}^2$에 대한 미러 대칭이 토폴로지적 $\mathbb{P}^2$에서의 종수 0 곡선 수세기와 본질적으로 동일시됨을 입증한다. 이는 마스로프 지수 2인 헬모르프릭 디스크와 랑드-긴즈부르크 포텐셜의 항들 사이의 기하학적 대응을 통해 이루어지며, 산산이 흩어진 다이어그램과 주기 적분 평가를 통한 개념적, 토폴로지 기하학적 증명을 제공한다. 이는 B모델에서의 오실레이터리 적분을 통한 프로베누스 다양체 구조가 A모델에서의 곡선 수세기와 토폴로지 불변량을 통해 정확히 일치함을 보여준다.

ABSTRACT

This paper explores the relationship between mirror symmetry for P^2, at the level of big quantum cohomology, and tropical geometry. The mirror of P^2 is typically taken to be ((C^*)^2,W), where W is a Landau-Ginzburg potential of the form x+y+1/xy. The complex moduli space of the mirror is the universal unfolding of W, and oscillatory integrals produce a Frobenius manifold structure on this universal unfolding. We show that W can be deformed by counting Maslov index two tropical disks, and the natural paramaters appearing in this deformation are then the flat coordinates on the moduli space. Furthermore, the oscillatory integrals are shown to read off directly tropical curve counts from the potential. Thus we show in fact that mirror symmetry for P^2 is equivalent in a strong sense to tropical curve counting formulas, including tropical formulas for gravitational descendent invariants.

연구 동기 및 목표

• 토론적 기하학적 증명을 통해 $\mathbb{P}^2$에 대한 미러 대칭을 개념적으로 증명하고, 토폴로지 곡선 수세기와 B모델 프로베누스 다양체 구조를 연결한다.
• 거울 $(\mathbb{C}^\times)^2$에서의 랑드-긴즈부르크 포텐셜이 마스로프 지수 2 디스크에서 온 토폴로지 데이터를 사용해 자연스럽게 변형될 수 있음을 보여준다.
• A모델 측의 토폴로지 유도 불변량과 B모델 측의 주기 적분 사이에 산산이 흩어진 다이어그램 구성법을 통해 정확한 대응 관계가 있음을 보여준다.
• 토닉 다양체 $\mathbb{P}^2$를 기본 사례로 삼아, 토폴로지 곡선과 양자 코hom올로지 사이의 대응을 다른 토닉 다양체로 일반화한다.

제안 방법

• 핵심 기하 객체로 특이점을 가진 정수 애프린 만능을 사용하여 A모델(심플렉틱)과 B모델(복소) 양측의 미러 대칭을 모델링한다.
• 산산이 흩어진 다이어그램을 애프린 만능 위에 구성하여 칼라비-야우 다양체의 붕괴를 코딩하며, 벽은 토폴로지 곡선에 대응한다.
• 정점에서 마스로프 지수 2 디스크의 접합을 통해 토폴로지 유도 불변량을 계산하며, 그래프의 구조적 조합 데이터에 의해 승수를 결정한다.
• 특정 점을 통과하는 마스로프 지수 2 디스크의 가족에 대응하는 항들을 추가하여 랑드-긴즈부르크 포텐셜을 변형하며, 자연스러운 변형 절차를 사용한다.
• B모델 측의 주기 적분은 오실레이터리 적분을 사용하여 평가되며, 이는 방정정식 시스템을 통해 토폴로지 불변량의 생성함수와 일치함을 보여준다.
• 핵심 기술 도구로는 다양한 디스크 구성에서 $L_{P,j}$에 기여하는 항들을 평가하며, 이들이 정의 3.4의 토폴로지 불변량과 정확히 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 $\mathbb{P}^2$에 대한 미러 대칭이 기존의 그로모프-위튼 이론이 아닌 토폴로지 기하학을 통해 증명될 수 있는가?
• RQ2 마스로프 지수 2인 헬모르프릭 디스크가 $\mathbb{P}^2$ 내에서 거울의 랑드-긴즈부르크 포텐셜의 항들과 직접적인 대응 관계를 가질 수 있는가?
• RQ3 A모델 측의 토폴로지 유도 불변량과 B모델 측의 주기 적분 사이에 어떤 방식으로 일치하는가?
• RQ4 토론적 곡선 수세기를 사용하여 랑드-긴즈부르크 포텐셜의 자연스러운 변형을 명시적으로 구성할 수 있는가?
• RQ5 애프린 만능 위의 산산이 흩어진 다이어그램 구성법이 A모델 곡선 수세기와 B모델 주기 적분을 통합적으로 코딩할 수 있는가?

주요 결과

• 논문은 $\mathbb{P}^2$에서 종수 0의 토폴로지 유도 불변량의 생성함수가 오실레이터리 적분을 통한 B모델 프로베누스 다양체 주기 적분과 정확히 일치함을 증명한다.
• 마크된 정점이 $\nu$ 개인 토폴로지 곡선과 $d$-차수에 기여하는 $L_{P,j}$의 기여는 토폴로지 불변량의 항 $u_{I(h)}q^{\nu'}$와 일치함을 확인한다.
• 포텐셜의 상수항 $q^{-1}$은 $\nu=0$인 유일한 구성에 기인하며, 이는 마크된 점이 없는 마스로프 지수 2 디스크에 해당한다.
• 오실레이터리 적분을 통한 주기 적분 평가는 방정정식 (5.2)–(5.4)를 통해 토폴로지 수세기와 등가임을 보여주며, 디스크 기여에 관한 보조정리들을 통해 증명된다.
• 산산이 흩어진 다이어그램 구성법은 랑드-긴즈부르크 포텐셜의 변형을 정확히 코딩하며, 벽을 횡단하는 데이터는 토폴로지 곡선 수세기와 일치한다.
• 결과는 $\mathbb{P}^1\times\mathbb{P}^1$와 같은 다른 토닉 다양체로 일반화되지만, 기하학적 구성이 토닉 경계에 사라지는 비가역 성분을 포함하는 일반적인 토닉 표면에서는 실패한다. 이는 현재 토폴로지 기하학이 이를 다룰 수 없기 때문이다.