[논문 리뷰] Family Floer cohomology and mirror symmetry

Mohammed Abouzaid|arXiv (Cornell University)|2014. 01. 01.

Geometric and Algebraic Topology참고 문헌 16인용 수 38

한 줄 요약

이 논문은 가속도 보존 및 수렴 문제를 다루기 위해 가족 플로어 코homology를 사용하여, 미러 공간 위의 $\alpha_X$-twisted 코herent sheaf의 도파르 도구에서, 스위프틱 매니폴드의 매끄러운 라그랑주 토르스 분할을 가진 푸카비 카테고리로의 미러 함수를 구축한다. 핵심 기여는 $A_\infty$-모듈러스와 이중 공간 위의 $\alpha_X$-twisted sheaf를 통해 실현된, 객체의 모듈리 공간으로서의 미러를 체계적이고 기하학적으로 유도하는 것이다.

ABSTRACT

Ideas of Fukaya and Kontsevich-Soibelman suggest that one can use Strominger-Yau-Zaslow's geometric approach to mirror symmetry as a torus duality to construct the mirror of a symplectic manifold equipped with a Lagrangian torus fibration as a moduli space of simple objects of the Fukaya category supported on the fibres. In the absence of singular fibres, the construction of the mirror is explained in this framework, and, given a Lagrangian submanifold, a (twisted) coherent sheaf on the mirror is constructed.

연구 동기 및 목표

• 스위프틱 매니폴드의 매끄러운 라그랑주 토르스 분할을 가진 미러 매니폴드를, SYZ 및 호모로지적 미러 대칭 추측에서 제안된 바와 같이, 푸카비 카테고리의 단순 객체의 모듈리 공간으로 기하학적이고 체계적으로 구축하는 것.
• 계류 및 특이점 문제를 해결하기 위해 계속성 사상과 강성 해석 방법을 사용하여 플로어 코homology의 수렴성을 확보하는 것.
• 스위프틱 매니폴드의 매끄러운 라그랑주 토르스 분할을 가진 도파르 푸카비 카테고리에서, 미러 공간 위의 $\alpha_X$-twisted 코herent sheaf의 도파르 도구로의 미러 함수를 정의하는 것.
• 이중 공간 위의 섬유에 지지된 객체의 집합으로서 미러를 실현하기 위해 $A_\infty$-프레샤프 및 티우드드 코herent sheaf의 구조를 사용하는 것.

제안 방법

• 가족 플로어 코homology를 사용하여, 각 라그랑주 부분매니폴드에 대해 기저 $Q$ 위에 정의된, 미러 위의 코herent sheaf를 부여한다.
• 수렴성을 확보하기 위해 계속성 사상과 플로어 데이터 간의 체인 호모토피를 사용하여, 강성 해석적 의미에서의 수렴성을 확보한다.
• 기저 내의 경로의 입방체에 대한 매개변수화된 계속성 사상을 사용하여, $\mathcal{O}^{\alpha_X}_{\mathcal{A}}$ 위의 $A_\infty$-모듈러스 구조를 구축한다.
• 개방 덮개에 제한된 플로어 데이터를 통해 전이 함수와 조합 데이터를 정의하여, 복합성에 대한 일관성을 확보한다.
• 아담스의 구성법을 사용하여, 기저의 삼각분할 내의 $r$-단체에 대해 $r-1$차원의 경로 입방체를 부여함으로써, 계속성 사상의 귀납적 구축을 가능하게 한다.
• 미러 공간 $Y$ 위에 $\alpha_X$-twisted $A_\infty$-프레샤프 구조를 실현하며, 이 티우드스터프 $\alpha_X$는 분할의 단일 회전성에서 유래한다.

실험 결과

연구 질문

• RQ1 스위프틱 매니폴드의 매끄러운 라그랑주 토르스 분할을 가진 미러를, 푸카비 카테고리의 객체의 모듈리 공간으로 기하학적으로 어떻게 구축할 수 있는가?
• RQ2 분할 내의 계류 및 특이점 존재 조건에서 플로어 코homology가 어떻게 잘 정의되고 수렴하게 만들 수 있는가?
• RQ3 플로어 이론적 자료를 사용하여, 푸카비 카테고리에서 미러 공간 위의 코herent sheaf의 도파르 도구로의 체계적 미러 함수를 어떻게 구성할 수 있는가?
• RQ4 미러를 객체의 모듈리 공간으로서 구성하는 데 있어, 인스턴턴 보정과 벽을 넘는 현상의 역할은 무엇인가?
• RQ5 어떻게 $A_\infty$-구조와 티우드드 코herent sheaf 자료를 사용하여, 호모로지적 미러 대칭과 호환되는 방식으로 미러 함수를 실현할 수 있는가?

주요 결과

• 구성은 미러 공간 $Y$ 위의 $\alpha_X$-twisted $A_\infty$-프레샤프 구조를 얻으며, 이는 $A_\infty$-완전 복합체의 카테고리 내의 객체를 정의한다.
• 할당 $L \mapsto \mathcal{L}$ 은 $X$의 도파르 푸카비 카테고리에서 $Y$ 위의 $\alpha_X$-twisted 코herent sheaf의 도파르 도구로의 잘 정의된 미러 함수를 제공한다.
• 충분히 미세한 삼각분할과 일반적인 매개변수화된 자료를 선택함으로써, 계속성 자료의 수렴성이 강성 해석적 의미에서 확보된다.
• $A_\infty$-모듈러스의 구조 사상은 $\exp(\alpha_X(ijk))$를 곱한 것으로 상호 작용하며, 이는 티우드스터프와의 일관성을 보장한다.
• 구성은 계속성 사상에 대해 불변이며, 라그랑주 부분매니폴드의 기저로의 사영에서 발생하는 계류 문제를 우회한다.
• 이 방법은 체계적이고 기하학적인 방식으로 호모로지적 미러 대칭 추측을 실현하며, 특수한 수단 없이도 미러 함수를 구성한다.