[논문 리뷰] Automatically generating Fukaya categories and computing quantum cohomology

Sheel Ganatra|arXiv (Cornell University)|2016. 05. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 38인용 수 17

한 줄 요약

이 논문은 컴act한 심플렉틱 다양체의 플루카이 카테고리의 호모로지적으로 매끄러운 전부의 부분카테고리가, 1차 체르누이 클래스가 0이 아닐 때 0차 호흐실트 코homology의 랭크가 충분히 크면 자동으로 분할 생성함을 증명한다. 결과는 개방-폐쇄 사상의 형식적 성질과 쌍대성과의 호환성에 기반하며, 이는 이전의 미러 대칭 결과를 일반화하고 기하적 생성 조건을 부분카테고리의 내재적 대수적 조건으로 환원한다.

ABSTRACT

Suppose one has found a non-empty sub-category $\mathcal{A}$ of the Fukaya category of a compact Calabi-Yau manifold $X$ which is homologically smooth in the sense of non-commutative geometry, a condition intrinsic to $\mathcal{A}$. Then, we show $\mathcal{A}$ split-generates the Fukaya category and moreoever, that our hypothesis implies (and is therefore equivalent to the assertion that) $\mathcal{A}$ satisfies Abouzaid's geometric generation criterion [Abo]. An immediate consequence of earlier work [G1, GPS1, GPS2] is that the open-closed and closed-open maps, relating quantum cohomology to the Hochschild invariants of the Fukaya category, are also isomorphisms. Our result continues to hold when $c_1(X) eq 0$ (for instance, when $X$ is monotone Fano), under a further hypothesis: the 0th Hochschild cohomology of $\mathcal{A}$ $\mathrm{HH}^0(\mathcal{A})$ should have sufficiently large rank: $\mathrm{rk}\ \mathrm{HH}^0(\mathcal{A}) \geq \mathrm{rk}\ \mathrm{QH}^0(X)$. Our proof depends only on formal properties of Fukaya categories and open-closed maps, the most recent and crucial of which, compatibility of the open-closed map with pairings, was observed independently in ongoing joint work of the author with Perutz and Sheridan [GPS2] and by Abouzaid-Fukaya-Oh-Ohta-Ono [AFO+]; a proof in the simplest settings appears here in an Appendix. Because categories Morita equivalent to categories of coherent sheaves or matrix factorizations are homologically smooth, our result applies to resolve the split-generation question in homological mirror symmetry for compact symplectic manifolds (generalizing a result of Perutz-Sheridan [PS2] proven in the case $c_1(X) = 0$): any embedding of coherent sheaves or matrix factorizations into the split-closed derived Fukaya category is automatically a Morita equivalence when it has large enough $\mathrm{HH}^0$ (which it always does if $c_1(X)=0$).

연구 동기 및 목표

• 컴act한 심플렉틱 다양체의 플루카이 카테고리의 분할 생성을 보장하는 일반 기준을 수립함. 이는 칼라비-야우 또는 미러 대칭 가정 없이 수행됨.
• 호모로지적 매끄러움을 갖는 전부의 부분카테고리 𝒜 ⊂ 𝒦(X)가 c₁(X) ≠ 0일 때도 플루카이 카테고리 𝒦(X)를 분할 생성함을 보임.
• 아부자이드의 기하적 생성 조건 검증을 부분카테고리 𝒜에 대한 내재적 대수적 조건으로 환원함으로써 새로운 편평한 해석 기하 곡선 계산이 필요 없도록 함.
• HH⁰(𝒜)의 랭크 조건을 통해 이전의 칼라비-야우 경우에서의 자동 생성 결과를 단조한 파노 또는 일반적인 심플렉틱 다양체로 확장함.
• 부분카테고리 𝒜가 매끄럽고 HH⁰(𝒜)의 랭크가 충분히 크면 개방-폐쇄 및 폐쇄-개방 사상이 동형임을 보임.

제안 방법

• 플루카이 카테고리의 형식적 공리와 개방-폐쇄 사상의 성질을 사용하며, 개방-폐쇄 사상이 쌍대성과 호환됨을 이전의 공동 연구 및 AFOOO에 의해 별도로 증명한 바를 기반으로 함.
• 아부자이드의 기하적 생성 조건을 핵심 도구로 활용하여, 𝒜의 매끄러움과 비어 있지 않음을 보임으로써 이 조건을 만족함을 보임.
• 특히 rk(HH⁰(𝒜)) ≥ rk(QH⁰(X))를 활용한 호흐실트 코homology 계산을 통해 c₁(X) ≠ 0일 때 분할 생성의 충분 조건을 제공함.
• 경계 조건과 대각선 사이클을 따라 하는 편평한 해석 기하 원환형의 모듈리 공간을 정의하고 분석함으로써 개방-폐쇄 사상을 정의함.
• 모듈리 공간의 그로모프-플로어 콪팩티피케이션과 경계 스트라타 분석(특히 내부 점에서 두 개의 디스크가 붙은 노드형 리만 표면으로의 분열 포함)을 활용함.
• 대각선과 푸앵카레 쌍대 사이클 사이의 코바리언트 볼록성과 관련된 사슬 호모토피 추론을 통해 개방-폐쇄 사상과 호흐실트 호모로지 상의 쌍대성과의 관계를 규명함.

실험 결과

연구 질문

• RQ1 컴act한 심플렉틱 다양체 X의 플루카이 카테고리 𝒦(X)에서 전부의 부분카테고리 𝒜 ⊂ 𝒦(X)가 어떤 대수적 조건을 만족하면 분할 생성하는가?
• RQ2 아부자이드의 기하적 생성 조건은 부분카테고리 𝒜에 대한 내재적 대수적 조건으로 환원될 수 있는가? 이는 환경 기하학과 독립적이다.
• RQ3 c₁(X) ≠ 0일 때 HH⁰(𝒜)의 랭크는 분할 생성과 어떻게 관련되며, 최소한의 랭크는 얼마여야 하는가?
• RQ4 어떤 설정에서 개방-폐쇄 및 폐쇄-개방 사상이 동형이 되며, 이는 𝒜의 매끄러움과 어떻게 관련되는가?
• RQ5 분할 생성 결과는 칼라비-야우 다양체를 초월해 단조한 파노 또는 일반적인 심플렉틱 다양체로 확장될 수 있는가?

주요 결과

• 비어 있지 않은 전부의 부분카테고리 𝒜 ⊂ 𝒦(X)가 호모로지적으로 매끄럽고 rk(HH⁰(𝒜)) ≥ rk(QH⁰(X))를 만족하면, c₁(X) ≠ 0이어도 플루카이 카테고리가 분할 생성됨.
• 개방-폐쇄 사상과 쌍대성의 공리 체계를 만족하는 플루카이 카테고리의 모든 구성에 대해 결과가 성립하므로 광범위하게 적용 가능함.
• 부분카테고리 𝒜가 매끄럽고 HH⁰(𝒜)의 랭크 조건을 만족하면 개방-폐쇄 및 폐쇄-개방 사상이 동형이 되며, 이는 [Perutz:2015aa]의 이전 결과를 일반화함.
• 증명 과정에서 아부자이드의 기하적 기준이 부분카테고리 𝒜의 내재적 대수적 성질로 환원되며, 새로운 편평한 해석 기하 곡선 계산이 필요 없어짐.
• 이 방법은 코herent sheaves나 행렬 분해와 모리타 동치인 카테고리에도 적용 가능하며, 이러한 카테고리는 자동으로 매끄럽기 때문에, 컴act한 심플렉틱 다양체에서의 호모로지적 미러 대칭의 분할 생성 문제를 해결함.
• 핵심 기술적 입력은 개방-폐쇄 사상과 쌍대성의 호환성인데, 이는 GPS2와 AFOOO에 의해 별도로 증명되었으며, 본 논문에서 기초적인 역할을 함.