[논문 리뷰] Explicit equations for mirror families to log Calabi-Yau surfaces

Lawrence Jack Barrott|arXiv (Cornell University)|2018. 10. 19.

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

한 줄 요약

이 논문은 반경계가 루프를 이룬 유리 곡선의 순서로 이루어진, 차수 2 이상의 매끄러운 델 페조 표면을 갖는 로그 칼라비-야우 표면에 대해 미러 랑두-긴츠부르크 모델의 명시적 대수적 방정식을 수립한다. 그로스-시베르트 프로그램과 트로피컬 기하학을 활용하여, 형식적인 미러 가닥을 알려진 기저 위의 대수적 가닥으로 올리며, 잼비안 링 차원 검증과 수량적 일致성으로써 그 정확성을 확인한다.

ABSTRACT

Mirror symmetry for del Pezzo surfaces was studied by Auroux, Katzarkov and Orlov who suggested that the mirror should take the form of a Landau-Ginzburg model with a particular type of elliptic fibration. This problem was then considered again but from an algebro-geometric perspective by Gross, Hacking and Keel. Their construction allows one to construct a formal mirror family to a pair $(S,D)$ where $S$ is a smooth rational projective surface and $D$ a certain type of Weil divisor supporting an ample or anti-ample class. In the case of $S$ a Fano surface they proved that this family may be lifted to an algebraic family over an affine base. In this paper we perform this construction for all smooth del Pezzo surfaces of degree at least two and obtain explicit equations for the mirror families and explain some of the motivation for their construction. We also provide an implementation of the Kontsevich Soibelman lemma in Sage.

연구 동기 및 목표

• 로그-칼라비-야우 표면 (S,D)의 미러 랑두-긴츠부르크 모델에 대해 명시적인 대수적 방정식을 수립하는 것. 여기서 S는 차수 ≥2인 매끄러운 델 페조 표면이며, D는 유리 곡선의 순서이다.
• 그로스, 허킹, 키플이 제시한 형식적인 미러 가닥을, D의 자기교차 행렬이 음이 정부호가 아닐 경우에도 Spec k[NE(S)] 위의 대수적 가닥으로 확장하는 것.
• 그로스-시베르트 프로그램과 트로피컬화를 활용하여, 차수 ≥2인 모든 델 페조 표면의 경우에 대해 미러 가닥의 명시적 방정식을 제공하는 것.
• 초위력의 잼비안 링 차원을 통한 검증을 통해, 수립된 미러 가닥의 정확성을 확인하는 것 — 특히 초위력의 잼비안 링 차원이 원래 델 페조 표면의 양자 코hom로지의 랭크와 일치하는지 확인하는 것.

제안 방법

• 그로스-시베르트 프로그램을 활용하며, SYZ 추측을 트로피컬화하고 기저 B 위의 조각적 선형 함수를 이용해 미러를 구성한다.
• Spec k[[NE(S)]) 위에서 n-정점(평면의 순서)에 대한 형식적 스무딩을 적용하고, D의 자기교차 행렬이 음이 정부호가 아닐 경우, 이를 Spec k[NE(S)] 위의 대수적 가닥으로 올리는 것.
• 아핀 공간 내에서 다항식 방정식으로 정의된 다양체의 가닥으로서의 미러를 수립하며, 초위력은 토릭 분리자에 대응하는 좌표들의 합으로 주어진다.
• 마스로프 지수 0의 디스크를 모델링하고 산란 다이어그램의 접합 자료를 제어하기 위해 트로피컬 곡선과 깨진 선을 활용한다.
• Sage를 사용하여 초위력의 잼비안 링을 계산하며, 편도수 행렬의 3×4 행렬의 영행렬식 조건을 만족하는 임계점을 구한다.
• 양자 코hom로지의 랭크(차수 d에 대해 12−d)와 잼비안 링의 차원이 일치하는지 확인함으로써, 미러의 정확성을 검증한다.

실험 결과

연구 질문

• RQ1 그로스, 허킹, 키플이 Looijenga 쌍 (S,D)에 대해 수립한 형식적인 미러 가닥이, D의 자기교차 행렬이 음이 정부호가 아닐 경우에도 Spec k[NE(S)] 위의 대수적 가닥으로 올릴 수 있는가?
• RQ2 자기교차 행렬이 음이 정부호가 아닐 경우, 차수 ≥2인 매끄러운 델 페조 표면에 대해, 반경계가 유리 곡선의 순서인 경우의 미러 랑두-긴츠부르크 모델을 정의하는 명시적 대수적 방정식은 무엇인가?
• RQ3 미러 가닥의 초위력에 대한 잼비안 링의 차원이 원래 델 페조 표면의 양자 코호몰로지의 랭크와 일치하는가?
• RQ4 잼비안 링 차원과 같은 수량적 자료를 활용하여, 미러 구성 방식을 어떻게 체계적으로 검증할 수 있는가?

주요 결과

• 차수 2 델 페조 표면(dP₂)의 미러 가닥은 A⁴ 내에서 정의되는 방정식을 통해 명시적으로 수립되었으며, 초위력의 잼비안 링은 10차원으로 계산되었으며, 기대되는 랭크 12−2=10과 일치한다.
• D의 자기교차 행렬이 음이 정부호가 아닐 조건 하에서, 모든 차수 ≥2인 델 페조 표면에 대해, 미러 가닥이 Spec k[NE(S)] 위의 대수적 가닥임을 확인하였다.
• dP₂의 경우, 초위력의 임계점 집합을 정의하는 방정식계는 차원 10의 몫환을 유도하며, 이는 양자 코호몰로지의 랭크와 일致한다.
• 형식적인 미러를 대수적 가닥으로 성공적으로 올리는 방법을 통해, 로그-칼라비-야우 표면에 대한 그로스-시베르트 미러 대칭 프로그램의 구체적 실현이 이루어졌다.
• Sage를 통한 잼비안 링 계산은 dP₂에 대해 미러 가닥의 정확성을 확인하였으며, 이는 수립된 구성이 원하는 미러 가닥을 제공한다는 보다 넓은 주장에 대한 지지를 제공한다.