[논문 리뷰] Homological mirror symmetry without corrections

Mohammed Abouzaid|arXiv (Cornell University)|2017. 03. 23.

Geometric and Algebraic Topology참고 문헌 23인용 수 12

한 줄 요약

이 논문은 닫힌 심플렉틱 다양체 $X$에서 라그랑주 토러스 분할을 갖는 타우톨로지컬리 언오브스트럭티드이고 그레디에이티드된 라그랑주 부분다양체의 후카야 카테고리에 대한 완전 충실한 임bedding을, 콘체비치-소이벨만의 $T$-쌍대를 통해 구성된 라이지드 애날리틱 공간 $Y$ 위의 왜곡된 코herent sheaf의 도파르 카테고리로 확립한다. 핵심 진전은 조건 $\pi_2(Q) = 0$ 하에서 가족 플로어 맵의 상사상성(-surjectivity)을 증명함으로써, 유계 코히어런트(cochains)의 필요성을 제거하고, 테이트의 약성성과 무한 랭크 국소계체를 이용한 직접 미러 대칭 구축을 가능하게 한다.

ABSTRACT

Let $X$ be a closed symplectic manifold equipped a Lagrangian torus fibration over a base $Q$. A construction first considered by Kontsevich and Soibelman produces from this data a rigid analytic space $Y$, which can be considered as a variant of the $T$-dual introduced by Strominger, Yau, and Zaslow. We prove that the Fukaya category of tautologically unobstructed graded Lagrangians in $X$ embeds fully faithfully in the derived category of (twisted) coherent sheaves on $Y$, under the technical assumption that $π_2(Q)$ vanishes (all known examples satisfy this assumption). The main new tool is the construction and computation of Floer cohomology groups of Lagrangian fibres equipped with topological infinite rank local systems that correspond, under mirror symmetry, to the affinoid rings introduced by Tate, equipped with their natural topologies as Banach algebras.

연구 동기 및 목표

• 라그랑주 토러스 분할을 갖는 심플렉틱 다양체 $X$에서 타우톨로지컬리 언오브스트럭티드이고 그레디에이티드된 라그랑주 부분다양체의 후카야 카테고리가, 미러 라이지드 애날리틱 공간 $Y$ 위의 왜곡된 코herent sheaf의 도파르 카테고리로 완전 충실하게 임베딩됨을 확립한다.
• 이러한 라그랑주 부분다양체에 대해 가족 플로어 맵의 상사성(-surjectivity)을 증명함으로써, 기존의 단순 포함성 결과를 완전 충실성으로 강화한다.
• 모든 라그랑주 부분다양체가 유계 코히어런트를 필요로 하지 않도록 하기 위해 $\pi_2(Q) = 0$ 조건을 도입함으로써, 모든 힐버트-스피르링-디스크가 상수임을 보장한다.
• 무한 랭크 국소계체를 갖는 라그랑주 부분다양체의 플로어 코호몰로지 군을 구성하고 계산하며, 이는 테이트의 아핀로드 링과 그 자연스러운 반바르드 대수 위상수와의 미러 대칭을 반영한다.

제안 방법

• 라그랑주 토러스 분할 $X \to Q$로부터 콘체비치-소이벨만의 $T$-쌍대 구축을 통해 라이지드 애날리틱 공간 $Y$를 구성한다.
• $\pi_2(Q)$의 소멸성을 이용하여, 라그랑주 부분다양체에 의해 둘러싸이는 모든 힐버트-스피르링-디스크가 상수임을 보장함으로써, 플로어 이론에서 유계 코히어런트의 필요성을 제거한다.
• 라그랑주 토러스 분할의 부분다양체 위에 무한 랭크 국소계체를 도입하며, 이는 미러 대칭 하에서 테이트의 아핀로드 링과 그 자연스러운 반바르드 대수 위상수와 대응된다.
• 테이트의 약성성 정리를 적용하여, 왜곡된 계수를 갖는 코호몰로지 군을 계산함으로써, 플로어 이론적 자료로부터 $Y$ 위의 코herent sheaf를 구성할 수 있도록 한다.
• 각 그레디에이티드 라그랑주 부분다양체 $L$에 대해, $Y$ 위의 코herent 해석적 복합체의 층 $\mathcal{L}_L$을 할당하는 가족 플로어 함자를 수립하고, 그 사상 공간에서의 상사성성을 증명한다.
• 반반직선 분해와 이중모듈러 구조를 사용하여, 미러 공간의 다양한 커버 위의 모듈러 카테고리들을 비교함으로써, 이미지가 왜곡된 코herent sheaf의 도파르 카테고리에 속해 있음을 보장한다.

실험 결과

연구 질문

• RQ1 타우톨로지컬리 언오브스트럭티드 그레디에이티드 라그랑주 부분다양체의 후카야 카테고리에서, 미러 공간 $Y$ 위의 코herent sheaf의 도파르 카테고리로 가는 가족 플로어 맵이 상사성임을 입증할 수 있는가?
• RQ2 $\pi_2(Q) = 0$ 조건이 라그랑주 토러스 분할에 대한 플로어 이론에서 유계 코히어런트의 필요성을 제거하는 데 충분한가?
• RQ3 라그랑주 부분다양체 위에 정의된 무한 랭크 국소계체를 사용하여, 미러에서 테이트의 아핀로드 링을 모델링할 수 있으며, 이는 잘 정의된 코herent sheaf를 $Y$ 위에 유도하는가?
• RQ4 가족 플로어 함수의 구성에서 선택의 영향을 받지 않으며, 올바른 왜곡된 코herent sheaf의 부분카테고리에 이미지가 떨어지는가?
• RQ5 주어진 기하적 제약 조건 하에서, $Y$ 위의 왜곡된 코herent sheaf의 도파르 카테고리가 후카야 카테고리에서 완전 충실한 함수의 대상이 될 수 있는가?

주요 결과

• $\pi_2(Q) = 0$ 조건 하에서 모든 그레디에이티드 라그랑주 부분다양체 $L, L'$에 대해, 가족 플로어 맵 $HF^*(L, L') \to H^*(Y; \operatorname{Hom}_{\mathcal{O}_Y}(\mathcal{L}_{L'}, \mathcal{L}_L))$ 는 상사성이다.
• $X$ 내의 타우톨로지컬리 언오브스트럭티드이고 그레디에이티드된 라그랑주 부분다양체의 후카야 카테고리는, $\beta$-왜곡된 코herent sheaf의 도파르 카테고리로 완전 충실하게 임베딩되며, 여기서 $\beta$는 $H^2(Y, \mathcal{O}_Y^*)$ 에 의해 분류되는 게르베이다.
• 무한 랭크 국소계체를 갖는 라그랑주 부분다양체에 대한 플로어 코호몰로지 군의 구성은 잘 정의되어 있으며, 미러 대칭 하에서 반바르드 대수 위상수를 갖는 테이트의 아핀로드 링의 구조층과 대응된다.
• 테이트의 약성성 정리를 적용하여, 일부 왜곡된 계수를 갖는 코호몰로지 군이 소멸함을 보였으며, 이는 가족 플로어 맵의 상사성 증명에 필수적이다.
• 가족 플로어 함수의 이미지는 완전 모듈러의 부분카테고리에 속하며, 이는 조건식 D.6를 만족하는 호환성 조건을 갖는다. 이는 이미지가 왜곡된 코herent sheaf의 도파르 카테고리에 속해 있음을 보장한다.
• 그레디에이티드 라그랑주 부분다양체로의 제한은 특히 4.3절에서 기술적 이유로 필요하지만, 향후 에너지 필터링 기법의 정교화를 통해 이 조건을 제거할 수 있을 것으로 저자들은 기대한다.