[논문 리뷰] Lagrangian Floer theory and mirror symmetry on compact toric manifolds

Kenji Fukaya, Yong‐Geun Oh외 2명|arXiv (Cornell University)|2010. 09. 08.

Geometric and Algebraic Topology인용 수 28

한 줄 요약

이 논문은 보다 토릭 다양체의 양자 코hom로지와 라그랑주 플로어 이론과 보빈 변형을 통해 구성된 랑드-긴즈부르크 잠재함수의 잭비안 링 사이의 미러 대칭 호환을 수립한다. 오픈-클로즈드 과르모-위튼 인버리언트와 쿠라니시 구조를 사용하여, 양자 코hom로지에서 잭비안 링으로의 코다이라-스펜서 사상이 링 호환임을 증명하고, 코hom로지 상의 파oincaré 대칭성이 잭비안 링 상의 잔여 쌍대화와 대응됨을 보여, 토릭 다양체에 대한 완전한 양자 보정된 미러 대칭을 실현한다.

ABSTRACT

In this paper we study Lagrangian Floer theory on toric manifolds from the point of view of mirror symmetry. We construct a natural isomorphism between the Frobenius manifold structures of the (big) quantum cohomology of the toric manifold and of Saito's theory of singularities of the potential function constructed in \cite{fooo09} via the Floer cohomology deformed by ambient cycles. Our proof of the isomorphism involves the open-closed Gromov-Witten theory of one-loop.

연구 동기 및 목표

• 라그랑주 플로어 이론을 사용하여 컴팩트 토릭 다양체에 대한 호환적 수학적 실현을 제공함으로써, 호모로지적 미러 대칭을 정밀하게 구현한다.
• 토릭 다양체의 빅 양자 코hom로지의 프로베누스 다양체 구조와 잠재함수의 특이점 이론인 사이토 이론 사이에 정규화된 호환을 구축한다.
• 보빈 변형된 잠재함수 $ P_O^b $ 의 잭비안 링으로의 양자 코hom로지에서의 코다이라-스펜서 사상이 링 호환임을 증명한다.
• 양자 코hom로지 상의 파oincaré 대칭성 쌍대화가 잭비안 링 상의 잔여 쌍대화와 대응됨을 보여준다.
• 오픈-클로즈드 과르모-위튼 인버리언트와 미러 대칭에서의 양자 보정 간의 상호관계에 대한 엄밀한 기반을 제공한다.

제안 방법

• 보빈 변형 $ b \in H^*(X; \Lambda_0) $ 를 사용하여 뉴비코프 링 상의 로랑 다항식환의 완비화를 값으로 가지는 잠재함수 $ P_O^b $ 를 구성한다.
• 잠재함수에 대한 $ b $ 에 대한 미분을 통해 $ \mathrm{ks}_b: H^*(X; \Lambda_0) \to \mathrm{Jac}(P_O^b) $ 를 정의하고, 이 사상이 잘 정의된 링 준동형임을 증명한다.
• 쿠라니시 구조와 다중단절 이론을 사용하여, 오픈-클로즈드 인버리언트를 계산하는 데 중심이 되는 편미분-해석형 원환형의 모듈리 공간을 정의하고 분석한다.
• 코다이라-스펜서 사상을 통해 $ H^*(X; \Lambda_0) $ 상의 양자 컵 곱 $ \cup_b $ 와 잭비안 링 내 곱셈 간의 호환을 수립한다.
• 순환 대칭성과 헤시안 행렬식 항등식을 사용하여, $ H^*(X; \Lambda) $ 상의 파oincaré 대칭성 쌍대화가 $ \mathrm{Jac}(P_O^b) \otimes_{\Lambda_0} \Lambda $ 상의 잔여 쌍대화와 대응됨을 증명한다.
• 세이델 호모모르피즘과 맥더프–톨먼의 결과를 활용하여, 이 사상의 심플렉틱 및 양자 변형에 대한 행동을 분석한다.

실험 결과

연구 질문

• RQ1 보빈 변형된 잠재함수 $ P_O^b $ 의 잭비안 링으로의 양자 코hom로지에서의 코다이라-스펜서 사상은 양자 코hom로지의 프로베누스 다양체 구조와 어떻게 관련이 있는가?
• RQ2 편미분-해석형 원환형에 관련된 오픈-클로즈드 과르모-위튼 인버리언트는 컴팩트 토릭 다양체 상의 A-모델과 B-모델 간의 완전한 미러 대칭 호환을 증명하는 데 사용될 수 있는가?
• RQ3 코다이라-스펜서 사상 하에서, 잭비안 링 $ \mathrm{Jac}(P_O^b) $ 상의 잔여 쌍대화가 양자 코함로지 $ QH^*(X; \Lambda_0) $ 상의 파oincaré 대칭성 쌍대화와 일치하는가?
• RQ4 잠재함수 $ P_O^b $ 는 특이점 이론의 의미에서 보편적일 수 있으며, 이는 양자 코함로지 링의 구조가 잭비안 링에 의해 완전히 기록됨을 의미하는가?
• RQ5 푸카야 카테고리의 프레임워크 내에서, 양자 코함로지와 잭비안 링 간의 호환은 전체 카테고리 동치로 확장될 수 있는가?

주요 결과

• 코다이라-스펜서 사상 $ \mathrm{ks}_b: H^*(X; \Lambda_0) \to \mathrm{Jac}(P_O^b) $ 는 잘 정의된 링 호환으로서, 양자 컵 곱과 잭비안 링 곱셈 간의 직접적 대응을 수립한다.
• $ H^*(X; \Lambda) $ 상의 파oincaré 대칭성 쌍대화는 $ \mathrm{Jac}(P_O^b) \otimes_{\Lambda_0} \Lambda $ 상의 잔여 쌍대화와 호환되며, 이는 쌍대화 수준에서의 미러 대칭 대칭성을 확인한다.
• 잠재함수 $ P_O^b $ 는 특이점 이론의 의미에서 보편적이다. 즉, 그 변형 공간은 특이점의 모든 일차 변형을 포괄한다.
• 일개의 루프 구성(원환형)에 대한 오픈-클로즈드 과르모-위튼 인버리언트는 핵심 사상과 쌍대화를 정의하고 계산하는 데 사용되며, 이는 호환성의 기하적 기반을 제공한다.
• 양자 코함로지와 잭비안 링 간의 호환성은 세이델 원소와 양자 곱의 작용과 호환되며, 이는 편미분-해석형 원환형의 모듈리 공간을 통해 검증되었다.
• 이 구성은 일반적인 컴팩트 토릭 다양체에 대해 유효하며, Fano일 필요는 없고, 뉴비코프 링에 대한 완비화를 통해 빅 양자 코함로지로 확장된다.